agda 2.5.2-11

Architecture: i686
Repository: Community
Description: A dependently typed functional programming language and proof assistant
Upstream URL:
License(s): custom
Maintainers: Orphan
Package Size: 5.1 MB
Installed Size: 29.9 MB
Last Packager: Felix Yan <felixonmars@archlinux.org>
Build Date: 2017-04-27 15:26 UTC
Signed By: Unknown (0x30D7CB92)
Signature Date: 2017-04-27 15:27 UTC
Last Updated: 2017-05-14 07:17 UTC