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

Viewing all changes in revision 13.

  • Committer: Bazaar Package Importer
  • Author(s): Iain Lane
  • Date: 2011-06-09 09:22:19 UTC
  • Revision ID: james.westby@ubuntu.com-20110609092219-u2hdjbsxdb0n46qt
Tags: 2.2.10-2build1
No change rebuild against new GHC ABIs

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: