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 <i...@orangesquash.org.uk>
https://launchpad.net/ubuntu/precise/+source/agda-stdlib/0.6-2
Sorry, changesfile not available.
--
Precise-changes mailing list
Precise-changes@lists.ubuntu.com
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/precise-changes
