agda-stdlib 0.13-1

Architecture: i686
Repository: Community
Description: Agda standard libraries
Upstream URL:
License(s): MIT
Maintainers: Orphan
Package Size: 17.4 MB
Installed Size: 23.0 MB
Last Packager: Felix Yan <felixonmars@archlinux.org>
Build Date: 2017-01-24 16:29 UTC
Signed By: Unknown (0x30D7CB92)
Signature Date: 2017-01-24 16:30 UTC
Last Updated: 2017-05-14 07:18 UTC

Dependencies (4)

Required By (1)