-
agda (2.3.2.1-1) unstable; urgency=low
* [8cfbabf] Imported Upstream version 2.3.2.1
* [74f34b0] Bump BD on mtl per .cabal file
* [a3bff17] Drop Debian patches now obsoleted by this upstream release
-- Iain Lane <email address hidden> Sun, 16 Jun 2013 13:14:47 +0100
-
agda (2.3.2-4) unstable; urgency=low
* [3d77fff] Build-Depend on ghc-ghci; we require this due to Template
Haskell
-- Iain Lane <email address hidden> Wed, 12 Jun 2013 10:44:41 +0100
-
agda (2.3.2-3) unstable; urgency=low
* Clean up build dependencies
-- Joachim Breitner <email address hidden> Wed, 29 May 2013 14:06:03 +0200
-
agda (2.3.2-2) unstable; urgency=low
* Upload to unstable
* [0faee65] Use compat 9
* [02dba24] Standards Version → 3.9.4
* [bd2a43f] Use common substvars for description blurbs.
* [06ddb90] Remove obsolete DM-Upload-Allowed field
-- Iain Lane <email address hidden> Mon, 27 May 2013 19:13:14 +0100
-
agda (2.3.2-1build2) saucy; urgency=low
* Rebuild for new GHC ABIs.
-- Colin Watson <email address hidden> Mon, 27 May 2013 15:51:02 +0100
-
agda (2.3.2-1build1) saucy; urgency=low
* Rebuild for new GHC ABIs.
-- Colin Watson <email address hidden> Thu, 02 May 2013 23:50:54 -0700
-
agda (2.3.2-1) experimental; urgency=low
[ Kiwamu Okabe ]
* New patch: Extend haskell-src-exts dependency and fix type miss.
[ Iain Lane ]
* [dfbca48] Imported Upstream version 2.3.2
* [7746bcc] Remove all patches — all upstream.
* [2cdb691] Update build-deps to match control file
* [868ebf4] agda-mode no longer depends on haskell-mode or GHCi.
Remove dependency and update .el file accordingly
* [9e0ba22] Add agda-bin package here, as the separate package has been
removed
* [75a240f] agda-mode needs to depend on agda-bin
* [d290f95] Allow Quickcheck up to 2.7. Fix haskeline build-dep.
* [79190e6] Add missing geniplate and parallel BDs
-- Iain Lane <email address hidden> Wed, 10 Apr 2013 11:46:43 +0100
