coq: New upstream version available

Hello, 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.pl1. If you are the maintainer or a co-maintainer of the package please con

Accepted coq 8.3.pl1+dfsg-1 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 24 Dec 2010 12:51:59 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.3.pl1+dfsg-1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Mainta

coq_8.3.pl1+dfsg-1_amd64.changes ACCEPTED into experimental

Accepted: coq-theories_8.3.pl1+dfsg-1_all.deb to main/c/coq/coq-theories_8.3.pl1+dfsg-1_all.deb coq_8.3.pl1+dfsg-1.debian.tar.gz to main/c/coq/coq_8.3.pl1+dfsg-1.debian.tar.gz coq_8.3.pl1+dfsg-1.dsc to main/c/coq/coq_8.3.pl1+dfsg-1.dsc coq_8.3.pl1+dfsg-1_amd64.deb to main/c/coq/coq_8.3.p

Processing of coq_8.3.pl1+dfsg-1_amd64.changes

coq_8.3.pl1+dfsg-1_amd64.changes uploaded successfully to localhost along with the files: coq_8.3.pl1+dfsg-1.dsc coq_8.3.pl1+dfsg.orig.tar.gz coq_8.3.pl1+dfsg-1.debian.tar.gz coq_8.3.pl1+dfsg-1_amd64.deb coqide_8.3.pl1+dfsg-1_amd64.deb coq-theories_8.3.pl1+dfsg-1_all.deb libcoq-ocaml_