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

[Mehdi]

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.