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

[Iain Lane]

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 <iain at orangesquash.org.uk>
https://launchpad.net/ubuntu/precise/+source/agda-stdlib/0.6~darcs20111129t1640-1
-------------- next part --------------
Sorry, changesfile not available.