-
agda (2.3.0.1-1build2) precise; urgency=low
* No change rebuild for haskell-hashtables
-- Iain Lane <email address hidden> Sat, 21 Apr 2012 17:18:26 +0100
-
agda (2.3.0.1-1build1) precise; urgency=low
* No-change rebuild to restore Architecture: all packages on powerpc, lost
due to an archive administration accident.
-- Colin Watson <email address hidden> Wed, 11 Apr 2012 00:40:57 +0100
-
agda (2.3.0.1-1) unstable; urgency=low
* New upstream release, GHC-7.4.1 compatible (Closes: #663048)
-- Joachim Breitner <email address hidden> Mon, 12 Mar 2012 14:12:34 +0100
-
agda (2.3.0-1build2) precise; urgency=low
* No-changes rebuild against current libghc-agda-dev.
-- Leo Iannacone <email address hidden> Mon, 23 Jan 2012 10:50:43 +0100
-
agda (2.3.0-1build1) precise; urgency=low
* No-change rebuild for GHC ABIs
-- Iain Lane <email address hidden> Wed, 04 Jan 2012 00:27:08 +0000
-
agda (2.3.0-1) unstable; urgency=low
* [c0e4746] Imported Upstream version 2.3.0. New/changed features include:
+ New more liberal syntax for mutually recursive definitions
+ Pattern matching on lambdas
+ New syntax for updating (some fields of) records
+ Universe polymorphism is now enabled by default
+ New type of hidden function argument: instance arguments
+ Dependent irrelevant function types and records with irrelevant fields
+ See http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-0
for a full list
* [369ed3a] Update BDs in line with cabal requirements in new upstream
* [3798aee] Remove all patches. They are all now upstream.
-- Iain Lane <email address hidden> Wed, 23 Nov 2011 10:12:59 +0000
-
agda (2.2.10-4build1) precise; urgency=low
* Rebuild for new GHC ABIs.
-- Colin Watson <email address hidden> Mon, 14 Nov 2011 08:42:48 +0000
-
agda (2.2.10-4) unstable; urgency=low
* [16d953e] Remove old left-around patches
* [af671fe] Explicitly add haskell-mode directory to load path.
Thanks to Joey Capper for discovering the bug.
* [6fa096d] Update to use my d.o email address
* [f228ca0] Add an alexGetByte function for alex-3.0 compatibility
-- Ubuntu Archive Auto-Sync <email address hidden> Mon, 17 Oct 2011 09:09:21 +0000
-
agda (2.2.10-3build1) oneiric; urgency=low
* Rebuild for new libghc-src-exts-dev ABI.
-- Colin Watson <email address hidden> Sat, 09 Jul 2011 22:31:19 +0100
