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