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

Iain Lane iain at orangesquash.org.uk
Tue Apr 3 10:31:12 UTC 2012

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>
-------------- next part --------------
Sorry, changesfile not available.

More information about the Precise-changes mailing list