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

Viewing all changes in revision 12.

  • Committer: Bazaar Package Importer
  • Author(s): Joachim Breitner
  • Date: 2011-06-07 23:57:04 UTC
  • Revision ID: james.westby@ubuntu.com-20110607235704-gvjzzy14u4sxdynq
Tags: 2.2.10-2
Adjust conflict on haskell-agda-doc to exclude the dummy package (Closes:
#629572)

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: