agda-stdlib 1.7.1-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:2022-01-16 07:06:26 JST

Dependencies (3)

Required By agda-stdlib (1)