agda-stdlib 0.13-1

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

Dependencies (4)

Required By (1)