[ubuntu/precise] coq 8.3.pl4+dfsg-1 (Accepted)

[Iain Lane]

coq (8.3.pl4+dfsg-1) unstable; urgency=low

  * New upstream release
  * Replace proofgeneral-coq by proofgeneral in dependencies
  * Switch debian/copyright to format 1.0
  * Bump Standards-Version to 3.9.3

coq (8.3.pl3+dfsg-2) unstable; urgency=low

  * Recompile with camlp5 6.04 (no changes)

Date: 2012-03-27 15:17:35.153895+00:00
Signed-By: Iain Lane <iain at orangesquash.org.uk>
https://launchpad.net/ubuntu/precise/+source/coq/8.3.pl4+dfsg-1
-------------- next part --------------
Sorry, changesfile not available.