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

[Iain Lane]

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 <iain at orangesquash.org.uk>
https://launchpad.net/ubuntu/precise/+source/agda-bin/2.3.0-1
-------------- next part --------------
Sorry, changesfile not available.