[ubuntu/precise] agda-stdlib 0.6-1 (Accepted)

[Iain Lane]

agda-stdlib (0.6-1) unstable; urgency=low

  * [a88bdc0] Imported Upstream version 0.6
  * [7aea5f2] Update copyright for new copyright holders and for new DEP5

Date: 2011-12-31 09:20:46.249954+00:00
Changed-By: Iain Lane <iain at orangesquash.org.uk>
https://launchpad.net/ubuntu/precise/+source/agda-stdlib/0.6-1
-------------- next part --------------
Sorry, changesfile not available.