[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq: New upstream version available


The Debian External Health Status system (a.k.a. DEHS) has found a new
 upstream version of the package coq in the unstable distribution.
The current package version is 8.2.pl2+dfsg-1 and latest by upstream is 8.3.

If you are the maintainer or a co-maintainer of the package
 please consider updating the package (probably uploading it to
 experimental, because of the freeze.)

The source code of version 8.3 by upstream can be found at:

For more information please refer to the DEHS report of coq at:

If you believe this message can be improved in any way don't hesitate
 to contact me by replying to this message.
Note that the latest version by upstream is found thanks to the debian/watch
 file provided by the package, in case this message is a false positive please
 review the watch file before reporting.

Raphael Geissert

Reply to: