-
Committer:
Package Import Robot
-
Author(s):
Iain Lane
-
Date:
2011-11-29 17:00:35 UTC
-
mfrom:
(1.1.3)
-
Revision ID:
package-import@ubuntu.com-20111129170035-00v3pq4mmhoo5ulf
Tags: 0.6~darcs20111129t1640-1
* [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