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 <ajmitch at ajmitch.net.nz> https://launchpad.net/ubuntu/precise/+source/agda/2.3.0.1-1 -------------- next part -------------- Sorry, changesfile not available.