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

Tue, 12 Aug 2014 09:32:32 -0700 

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 <[email protected]>
Signed-By: Colin Watson <[email protected]>
https://launchpad.net/ubuntu/utopic/+source/agda-stdlib/0.8-2

Sorry, changesfile not available.
-- 
Utopic-changes mailing list
[email protected]
Modify settings or unsubscribe at: 
https://lists.canonical.com/mailman/listinfo/utopic-changes

Reply via email to