lp:ubuntu/oneiric/agda

Created by James Westby and last modified
Get this branch:
bzr branch lp:ubuntu/oneiric/agda
Members of Ubuntu branches can upload to this branch. Log in for directions.

Related bugs

Related blueprints

Branch information

Owner:
Ubuntu branches
Status:
Mature

Recent revisions

15. By Colin Watson

Rebuild for new libghc-src-exts-dev ABI.

14. By Joachim Breitner

Extend haskell-src-exts dependency range to include 0.11.*

13. By Iain Lane

No change rebuild against new GHC ABIs

12. By Joachim Breitner

Adjust conflict on haskell-agda-doc to exclude the dummy package (Closes:
#629572)

11. By Iain Lane

* [60c4b8a] Imported Upstream version 2.2.10
* [81c6857] Add haskell-src-exts BD
* [d0ce959] Add QuickCheck BDs
* [5c875b0] Update short descriptions to reflect best practice
* [705223c] d/copyright: Update copyright years
* [ee8a4bc] GHC6 → GHC, for GHC 7 transition
* [12d4e49] Standards-Version bump to 3.9.2, no changes required
* [9244cc3] Add 'agda' meta package
* [c28c44c] Relax BD on src-exts
* [86be090] Backport upstream patch to add syb-0.3 compatibility
* [828c999] Lexer: Compatibility with the new GHC
* [db55ca5] Clean up some autogenerated files

10. By Iain Lane

* [60c4b8a] Imported Upstream version 2.2.10
* [81c6857] Add haskell-src-exts BD
* [e7b276a] Add QuickCheck BDs
* [d807f09] Add new patch from upstream to build against versions of
  libraries in Debian

9. By Iain Lane

Rebuild against new library ABIs

8. By Iain Lane

No change rebuild to build against new quickcheck

7. By Marco Tulio Gontijo e Silva

control: Use versioned Replaces: and Conflicts:

6. By Marco Tulio Gontijo e Silva

[ Iain Lane ]
* debian/rules, debian/watcher.sh: Add a ticker to the build to prevent
  timeouts on some arches. This was taken from the GHC6 source package and
  modified a bit to add some rudimentary locking. Previously the build was
  timing out on some slow arches (armel, mips*) but does actually make
  progress and complete when given enough time
* debian/control:
  + Add field ${haskell:Provides} to -dev and -prof packages in preparation
    the upcoming GHC6/haskell-devscripts uploads into unstable
  + Standards-Version bump to 3.8.4, no changes required

[ Marco Túlio Gontijo e Silva ]
* debian/control: Remove unneeded Build-Depends: on libghc6-utf8-
  string-*.
* debian/control: Bump version of haskell-devscripts on Build-Depends
  to 0.7. Remove versioned Build-Depends: of ghc6* and remove
  hscolour and haddock from Build-Depends:.
* debian/control: Split Build-Depends in Buid-Depends-Indep:.
* debian/control: Use all haskell: variables.
* debian/watch: Use format that downloads current version and checks
  for new versions.

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:ubuntu/precise/agda
This branch contains Public information 
Everyone can see this information.

Subscribers