QA
Skip Quicknav
Debian Quality Assurance
Architectures: armel, armhf
Summary: unsatisfied dependency on libghc-agda-dev (>= 2.6.3)