agda-stdlib (0.6~darcs20111129t1640-1) unstable; urgency=low
* [ef445ab] Imported Upstream version 0.6~darcs20111129t1640
+ Darcs snapshot required for Agda 2.3.0 compatibility
* [f801f83] Update BDs and deps to require Agda 2.3.0
* [c52be90] Use 3.0 (quilt) for bz2 orig
Date: 2011-11-30 03:21:04.168225+00:00
Changed-By: Iain Lane <[email protected]>
https://launchpad.net/ubuntu/precise/+source/agda-stdlib/0.6~darcs20111129t1640-1
Sorry, changesfile not available.
--
Precise-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/precise-changes
