agda-stdlib 1.7-1

Architecture:x86_64
Repository:community
Base Package:agda-stdlib
Description:Agda standard libraries
Upstream URL:https://github.com/agda/agda-stdlib
License(s):MIT
Package Size:101.3 MB
Installed Size:132.5 MB
Last Packager:Felix Yan
Last Updated:2021-06-24 18:14:57 JST

Dependencies (3)

Required By agda-stdlib (1)