agda (2.3.0.1-1) unstable; urgency=low * New upstream release, GHC-7.4.1 compatible (Closes: #663048)
Date: 2012-03-12 21:21:07.117849+00:00 Signed-By: Andrew Mitchell <[email protected]> https://launchpad.net/ubuntu/precise/+source/agda/2.3.0.1-1
Sorry, changesfile not available.
-- Precise-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/precise-changes
