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

Viewing all changes in revision 9.

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu, Stefano Zacchiroli, Stéphane Glondu
  • Date: 2009-12-03 11:54:58 UTC
  • Revision ID: james.westby@ubuntu.com-20091203115458-3au5e11lkciwrmjs
Tags: 8.2.pl1+dfsg-4
[ Stefano Zacchiroli ]
* debian/control: fix typo in long description (Closes: #557458)

[ Stéphane Glondu ]
* Switch to dh-ocaml 0.9

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: