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

[Colin Watson]

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 <cjwatson at canonical.com>
https://launchpad.net/ubuntu/utopic/+source/agda/2.4.0.2-2
-------------- next part --------------
Sorry, changesfile not available.