← Back to branch summary

~ubuntu-branches/ubuntu/trusty/agda/trusty

Viewing all changes in revision 11.

  • Committer: Bazaar Package Importer
  • Author(s): Iain Lane
  • Date: 2011-05-19 13:43:17 UTC
  • mfrom: (7.1.1 sid)
  • Revision ID: james.westby@ubuntu.com-20110519134317-xwh8qc1cm136kkos
Tags: 2.2.10-1
* [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

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: