lp:ubuntu/trusty-proposed/agda

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

35. By Iain Lane on 2013-11-06

* [244f29d] Use new watch file template
* [16a3f05] Imported Upstream version 2.3.2.2
* [bdb8574] Update BDs to match cabal file
* [9bc56ee] debian/patches/support-alex-3.1: Remove patch applied upstream
  in this release

34. By Colin Watson on 2013-10-27

Rebuild for new GHC ABIs.

33. By Iain Lane on 2013-10-19

* [da376f6] Update BDs per .cabal; extend hashable, remove packages provided
  by ghc
* [e21e765] Cherry-pick from upstream: Suppoert Alex 3.1.x
* [2263659] Remove "dist" generated files accidently commited

32. By Iain Lane on 2013-06-16

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

31. By Iain Lane on 2013-06-12

[3d77fff] Build-Depend on ghc-ghci; we require this due to Template
Haskell

30. By Joachim Breitner on 2013-05-29

Clean up build dependencies

29. By Iain Lane on 2013-05-27

* 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

28. By Colin Watson on 2013-05-27

Rebuild for new GHC ABIs.

27. By Colin Watson on 2013-05-02

Rebuild for new GHC ABIs.

26. By Iain Lane on 2013-04-10

[ 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