agda-stdlib 1.6-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:94.3 MB
Installed Size:123.1 MB
Last Packager:Felix Yan
Last Updated:2021-05-29 00:23:48 JST

Dependencies (3)

Required By agda-stdlib (1)