← Back to branch summary

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

Viewing all changes in revision 17.

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu, Stefano Zacchiroli, Stéphane Glondu
  • Date: 2009-12-03 11:54:58 UTC
  • mfrom: (4.1.5 sid)
  • Revision ID: james.westby@ubuntu.com-20091203115458-xvnzne3b4it6yy20
Tags: 8.2.pl1+dfsg-4
http://bugs.debian.org/557458
[ 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: