Ubuntu
agda package

lp:ubuntu/vivid-proposed/agda

Created by Ubuntu Package Importer on 2014-10-30 and last modified on 2014-10-30

Members of Ubuntu branches can upload to this branch. Log in for directions.

No branches dependent on this one.

39. By Colin Watson on 2014-10-29: Rebuild for new GHC ABIs.
38. 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.
37. 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
36. By Colin Watson on 2014-06-12: Rebuild for new GHC ABIs.
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

This branch contains Public information

Everyone can see this information.