agda 2.6.1-68.0

Architecture: i686
Repository: i686/community
Description: A dependently typed functional programming language and proof assistant
Upstream URL:
License(s): custom
Package Size: 23207.75 kB
Installed Size: 162.12 MB
Build Date: 2020-08-02 18:00:34
Last Updated: 2020-08-03 20:56:23

Dependencies (110)

Required By (2)

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