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

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

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>
-------------- next part --------------
Sorry, changesfile not available.

More information about the Precise-changes mailing list