[ubuntu/raring-proposed] agda-stdlib 0.7-1 (Accepted)

[Iain Lane]

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