~ubuntu-branches/ubuntu/oneiric/agda/oneiric

Viewing all changes in revision 9.

  • Committer: Bazaar Package Importer
  • Author(s): Iain Lane
  • Date: 2011-01-26 13:59:13 UTC
  • Revision ID: james.westby@ubuntu.com-20110126135913-vxlmoe21oo4c7v4v
Tags: 2.2.6-7build2
Rebuild against new library ABIs

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: