~ubuntu-branches/debian/sid/coq/sid

Viewing all changes in revision 13.

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu
  • Date: 2011-02-21 16:51:11 UTC
  • Revision ID: james.westby@ubuntu.com-20110221165111-edr0xfymjnw6qskl
Tags: 8.2.pl2+dfsg-2
* Add Fix-build-with-camlp5-6.02.1.patch
* Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease
  lablgtk2 transition

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: