Publishing details
-
Removal requested
.
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
agda-bin (2.3.0.1-1) unstable; urgency=low
* New upstream release
-- Joachim Breitner <email address hidden> Mon, 12 Mar 2012 14:31:48 +0100
Builds
Package files