[ubuntu/utopic-proposed] agda-stdlib 0.8-2 (Accepted)

[Colin Watson]

agda-stdlib (0.8-2) unstable; urgency=medium

  * [f9da3dc] Build-Depend on FileManip to fix GenerateEverything.hs
    generation

Date: 2014-08-12 16:10:52.280016+00:00
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Signed-By: Colin Watson <cjwatson at canonical.com>
https://launchpad.net/ubuntu/utopic/+source/agda-stdlib/0.8-2
-------------- next part --------------
Sorry, changesfile not available.