Log in / Register
Debian
agda-bin package
Overview
Code
Bugs
Blueprints
Translations
Answers
agda-bin in Debian does not use Launchpad for bug tracking.
Getting started with bug tracking in Launchpad
.