This page shows all known information about package libghc-agda-doc.
libghc-agda-doc - dependently typed functional programming language; documentation
From source: agda
debian/control- Section
- Architecture
- Distribution