agda-stdlib 1.3-1.0

Architecture: pentium4
Repository: pentium4/community
Description: Agda standard libraries
Upstream URL:
License(s): MIT
Package Size: 514.15 kB
Installed Size: 2983.25 kB
Build Date: 2020-03-19 21:02:36
Last Updated: 2020-03-27 00:38:22

Dependencies (3)

Required By (0)