-
agda (2.5.1.1-3) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
-- Clint Adams <email address hidden> Thu, 27 Oct 2016 18:32:12 -0400
-
agda (2.5.1-2) unstable; urgency=low
[ Joachim Breitner ]
* Fix Vcs-Browser field.
[ Sean Whitton ]
* Add --ghc-options="-optc--param -optcggc-min-expand=10" to GHC
configure args in an attempt to fix FTBFS on arm buildds.
As suggested by Joachim Breitner.
* Set Priority: extra and Section: oldlibs on agda-mode transitional package.
* Add missing continuation marker in d/copyright.
-- Sean Whitton <email address hidden> Mon, 20 Jun 2016 17:34:46 +0900
-
agda (2.4.2.5-1) unstable; urgency=medium
* [a116bca] Imported Upstream version 2.4.2.5
* [2c258f5] Update build-deps for new release
* [7d835fa] Remove patches which are applied upstream
-- Iain Lane <email address hidden> Mon, 04 Jan 2016 12:56:33 +0000
-
agda (2.4.2.2-4) unstable; urgency=medium
* [d59dba4] Revert modification of upstream source in
a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
* [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:
#793194)
-- Iain Lane <email address hidden> Tue, 04 Aug 2015 14:46:23 +0100
-
agda (2.4.2.2-3) unstable; urgency=medium
* Fix dependency on hashtables
-- Joachim Breitner <email address hidden> Wed, 01 Jul 2015 19:26:22 +0200
-
agda (2.4.2.2-2) unstable; urgency=medium
* [d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps
-- Iain Lane <email address hidden> Wed, 20 May 2015 13:08:33 +0100
-
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.
-- Colin Watson <email address hidden> Mon, 11 Aug 2014 11:55:48 +0100