[ubuntu/precise] coq 8.3.pl3+dfsg-1 (Accepted)
Mehdi
mehdi+lp at dogguy.org
Sat Jan 7 12:30:19 UTC 2012
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 <andreas-launchpad at warperbbs.de>
https://launchpad.net/ubuntu/precise/+source/coq/8.3.pl3+dfsg-1
-------------- next part --------------
Sorry, changesfile not available.
More information about the Precise-changes
mailing list