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 experimental distribution.
The current package version is 8.3~rc1+dfsg-1 and latest by upstream is 8.3-rc1.
If you are the maintainer or a co-maintainer of the package
please consider updating the package.
The source code of version 8.3-rc1 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.