agda-bin (2.3.0-1) unstable; urgency=low * [f578578] Imported Upstream version 2.3.0 * [4a61a40] Update BDs and deps for new release
Date: 2011-11-24 03:21:11.502811+00:00 Signed-By: Iain Lane <[email protected]> https://launchpad.net/ubuntu/precise/+source/agda-bin/2.3.0-1
Sorry, changesfile not available.
-- Precise-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/precise-changes
