agda-stdlib (0.7-1) experimental; urgency=low
* [6d52289] Imported Upstream version 0.7
* [54104d0] Update Depends and Build-Depends for this version, compatible
with Agda 2.3.2
* [b3ddce4] No need for the .install file to be executable (thanks lintian)
* [a9a6cb7] Standards-Version → 3.9.4, no changes required
Date: 2013-04-10 16:25:37.524617+00:00
Changed-By: Iain Lane <[email protected]>
https://launchpad.net/ubuntu/raring/+source/agda-stdlib/0.7-1
Sorry, changesfile not available.
--
Raring-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/raring-changes
