coq-float_8.2-1.2-9_amd64.changes ACCEPTED into unstable

Accepted: coq-float_8.2-1.2-9.debian.tar.gz to main/c/coq-float/coq-float_8.2-1.2-9.debian.tar.gz coq-float_8.2-1.2-9.dsc to main/c/coq-float/coq-float_8.2-1.2-9.dsc libfloat-coq_8.2-1.2-9_all.deb to main/c/coq-float/libfloat-coq_8.2-1.2-9_all.deb Override entries for your package: coq-f

Processing of coq-float_8.2-1.2-9_amd64.changes

coq-float_8.2-1.2-9_amd64.changes uploaded successfully to localhost along with the files: coq-float_8.2-1.2-9.dsc coq-float_8.2-1.2-9.debian.tar.gz libfloat-coq_8.2-1.2-9_all.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To UNSUBSCRIBE, email to

ssreflect override disparity

There are disparities between your recently accepted upload and the override file for the following file(s): libssreflect-coq_1.3pl2-2_all.deb: package says priority is optional, override says extra. libssreflect-ocaml-dev_1.3pl2-2_amd64.deb: package says priority is optional, override says extr

ssreflect_1.3pl2-2_amd64.changes ACCEPTED into unstable

Accepted: libssreflect-coq_1.3pl2-2_all.deb to main/s/ssreflect/libssreflect-coq_1.3pl2-2_all.deb libssreflect-ocaml-dev_1.3pl2-2_amd64.deb to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl2-2_amd64.deb libssreflect-ocaml_1.3pl2-2_amd64.deb to main/s/ssreflect/libssreflect-ocaml_1.3pl2-2_am

Processing of ssreflect_1.3pl2-2_amd64.changes

ssreflect_1.3pl2-2_amd64.changes uploaded successfully to localhost along with the files: ssreflect_1.3pl2-2.dsc ssreflect_1.3pl2-2.debian.tar.gz libssreflect-ocaml_1.3pl2-2_amd64.deb libssreflect-ocaml-dev_1.3pl2-2_amd64.deb libssreflect-coq_1.3pl2-2_all.deb Greetings, Your Deb

aac-tactics_0.2.pl2-4_amd64.changes ACCEPTED into unstable

Accepted: aac-tactics_0.2.pl2-4.debian.tar.gz to main/a/aac-tactics/aac-tactics_0.2.pl2-4.debian.tar.gz aac-tactics_0.2.pl2-4.dsc to main/a/aac-tactics/aac-tactics_0.2.pl2-4.dsc libaac-tactics-coq_0.2.pl2-4_all.deb to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-4_all.deb libaac-tactics-o

Processing of aac-tactics_0.2.pl2-4_amd64.changes

aac-tactics_0.2.pl2-4_amd64.changes uploaded successfully to localhost along with the files: aac-tactics_0.2.pl2-4.dsc aac-tactics_0.2.pl2-4.debian.tar.gz libaac-tactics-ocaml_0.2.pl2-4_amd64.deb libaac-tactics-ocaml-dev_0.2.pl2-4_amd64.deb libaac-tactics-coq_0.2.pl2-4_all.deb Greetings,

coq_8.3.pl3+dfsg-1_amd64.changes ACCEPTED into unstable

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

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

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

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 25 Dec 2011 13:46:09 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.3.pl3+dfsg-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainer