-
agda-stdlib (0.12-2) unstable; urgency=medium
* Team upload.
* Add Breaks: agda-bin << 2.5.1: agdai files incompatible
* Switch Enhances from agda-mode to elpa-agda2-mode
* 60agda-stdlib.el: Switch to agda2-program-args as agda2-include-dirs is
deprecated
* Skip running tests when DEB_BUILD_OPTIONS contains nocheck.
-- Helmut Grohne <email address hidden> Thu, 23 Jun 2016 19:43:37 +0200
-
agda-stdlib (0.11-1) unstable; urgency=medium
* [22d7b46] Imported Upstream version 0.11
* [cb56887] Bump relationships with agda to ≥ 2.4.2.4
-- Iain Lane <email address hidden> Mon, 04 Jan 2016 13:01:15 +0000
-
agda-stdlib (0.9-1) unstable; urgency=medium
* [b306254] Imported Upstream version 0.9
* [bb746af] Bump BDs and deps to ≥ 2.4.2.2
-- Iain Lane <email address hidden> Wed, 20 May 2015 12:33:35 +0100
-
agda-stdlib (0.8-2) unstable; urgency=medium
* [f9da3dc] Build-Depend on FileManip to fix GenerateEverything.hs
generation
-- Iain Lane <email address hidden> Tue, 12 Aug 2014 10:22:32 +0100