lp:ubuntu/wily-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

30. By Colin Watson on 2015-08-16

Rebuild for new GHC ABIs.

29. By Iain Lane on 2015-08-04

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

28. By Colin Watson on 2015-07-20

Rebuild for new GHC ABIs.

27. By Joachim Breitner on 2015-07-01

Fix dependency on hashtables

26. By Iain Lane on 2015-05-20

[d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps

25. By Colin Watson on 2014-08-11

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

24. By Iain Lane on 2014-08-05

* [6e140ac] Imported Upstream version 2.4.0.2
* [2049fc8] Update Build-Depends to match control
* [93dc4d4] Install the new primitives
* [e48f40f] Fix typo dev→doc

23. 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

22. 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

21. 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