DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
Patches
/
agda-stdlib
/0.12-2
Package: agda-stdlib / 0.12-2
Metadata
Package
Version
Patches format
agda-stdlib
0.12-2
3.0 (quilt)
This package has no patches.