agda-bin (2.3.0.1-1) unstable; urgency=low * New upstream release Date: 2012-03-12 21:21:13.231158+00:00 Signed-By: Iain Lane <iain at orangesquash.org.uk> https://launchpad.net/ubuntu/precise/+source/agda-bin/2.3.0.1-1 -------------- next part -------------- Sorry, changesfile not available.