coq (8.3.pl3+dfsg-1) unstable; urgency=low
* New upstream release
- remove all patches (applied upstream)Date: 2011-12-25 15:21:21.260822+00:00 Signed-By: Andreas Moog <[email protected]> https://launchpad.net/ubuntu/precise/+source/coq/8.3.pl3+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
