agda (2.4.0.2-2) unstable; urgency=medium
* [e33e7a9] Pregenerate the Primitive.agdai interface file in
libghc-agda-dev, since agda users typically can't write to that
directory. Fixes agda-stdlib build.
Date: 2014-08-11 16:10:48.123954+00:00
Signed-By: Colin Watson <[email protected]>
https://launchpad.net/ubuntu/utopic/+source/agda/2.4.0.2-2
Sorry, changesfile not available.
--
Utopic-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.canonical.com/mailman/listinfo/utopic-changes
