Ubuntu
agda package

Branches for Utopic

Name		Status	Last Modified	Last Commit
lp:ubuntu/utopic/agda		2 Mature	2014-08-11 11:55:48 UTC 2014-08-11	38. [e33e7a9] Pregenerate the Primitive.a... Author: Colin Watson Revision Date: 2014-08-11 11:55:48 UTC [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.
lp:ubuntu/utopic-proposed/agda		1 Development	2014-08-11 11:55:48 UTC 2014-08-11	38. [e33e7a9] Pregenerate the Primitive.a... Author: Colin Watson Revision Date: 2014-08-11 11:55:48 UTC [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.