agda-stdlib 1.7.2-3

Architecture: x86_64
Repository: Extra
Description: Agda standard libraries
Upstream URL:
License(s): MIT
Maintainers: Felix Yan
Package Size: 113.5 MB
Installed Size: 146.0 MB
Last Packager: Felix Yan
Build Date: 2023-05-09 07:57 UTC
Signed By: Felix Yan
Signature Date: 2023-05-09 08:46 UTC
Last Updated: 2023-05-19 15:40 UTC

Dependencies (3)

Required By (2)

  • agda (optional)
  • agda (staging) (optional)