agda-stdlib 1.0.1-1

Architecture:x86_64
Repository:community
Base Package:agda-stdlib
Description:Agda standard libraries
Upstream URL:https://github.com/agda/agda-stdlib
License(s):MIT
Package Size:42.7 MB
Installed Size:56.2 MB
Last Packager:Felix Yan
Last Updated:2019-05-31 18:21:20 JST

Dependencies (3)

Required By agda-stdlib (1)