lp:ubuntu/quantal/agda

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

25. By Iain Lane on 2012-08-27

No-change rebuild for GHC 7.4.2

24. By Joachim Breitner on 2012-05-25

New patch: Extend mtl dependency

23. By Iain Lane on 2012-04-21

No change rebuild for haskell-hashtables

22. By Colin Watson on 2012-04-11

No-change rebuild to restore Architecture: all packages on powerpc, lost
due to an archive administration accident.

21. By Joachim Breitner on 2012-03-12

New upstream release, GHC-7.4.1 compatible (Closes: #663048)

20. By Leo Iannacone on 2012-01-23

No-changes rebuild against current libghc-agda-dev.

19. By Iain Lane on 2012-01-04

No-change rebuild for GHC ABIs

18. By Iain Lane on 2011-11-23

* [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.

17. By Colin Watson on 2011-11-14

Rebuild for new GHC ABIs.

16. By Iain Lane on 2011-09-03

* [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