agda 2.6.1-68.0

Architecture: pentium4
Repository: pentium4/community
Description: not found in pkg-api
Upstream URL:
License(s): not found in pkg-api
Package Size: B
Installed Size: B
Build Date: not found in pkg-api
Last Updated: 2020-08-03 21:04:20

Dependencies (110)

Required By (2)

  • agda-stdlib
  • libHSAgda-2.6.1-3Ee1hsQW1vOIyOlUt7gZrA-ghc8.10.1.so (agda) (link)