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

[Iain Lane]

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

  * Relax agda dependency a bit to allow for minor releases 
  * Add the Debian Haskell Group as uploaders, by Iains suggestion

Date: 2012-03-14 21:21:00.909824+00:00
Changed-By: Iain Lane <iain at orangesquash.org.uk>
https://launchpad.net/ubuntu/precise/+source/agda-stdlib/0.6-2
-------------- next part --------------
Sorry, changesfile not available.