lp:ubuntu/oneiric/agda
- Get this branch:
- bzr branch lp:ubuntu/oneiric/agda
Branch information
- Owner:
- Ubuntu branches
- Status:
- Mature
Recent revisions
- 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 - 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