agda-stdlib 0.17-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:31.0 MB
Installed Size:40.6 MB
Last Packager:Felix Yan
Last Updated:2018-12-05 01:52:21 JST

Dependencies (3)

Required By agda-stdlib (1)