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 <[email protected]>
https://launchpad.net/ubuntu/precise/+source/coq/8.3.pl4+dfsg-1
Sorry, changesfile not available.
--
Precise-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/precise-changes
