← Back to branch summary

~ubuntu-branches/ubuntu/trusty/coq/trusty

Viewing all changes in revision 21.

  • Committer: Bazaar Package Importer
  • Author(s): Colin Watson
  • Date: 2011-05-17 08:24:50 UTC
  • Revision ID: james.westby@ubuntu.com-20110517082450-1hq722o83hjhgj5k
Tags: 8.2.pl2+dfsg-1ubuntu2
Rebuild for OCaml 3.12.0.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: