[ubuntu/precise] agda-bin 2.3.0.1-1 (Accepted)

Iain Lane iain at orangesquash.org.uk
Sun Mar 18 21:17:11 UTC 2012


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.


More information about the Precise-changes mailing list