labltk_8.06.0+dfsg-3_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 13 Oct 2015 11:43:06 +0200 Source: labltk Binary: labltk liblabltk-ocaml-dev liblabltk-ocaml Architecture: source amd64 Version: 8.06.0+dfsg-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

Processing of labltk_8.06.0+dfsg-3_amd64.changes

labltk_8.06.0+dfsg-3_amd64.changes uploaded successfully to localhost along with the files: labltk_8.06.0+dfsg-3.dsc labltk_8.06.0+dfsg-3.debian.tar.xz labltk_8.06.0+dfsg-3_amd64.deb liblabltk-ocaml-dev_8.06.0+dfsg-3_amd64.deb liblabltk-ocaml_8.06.0+dfsg-3_amd64.deb Greetings,

Bug#801560: marked as done (liblabltk-ocaml: fails to upgrade from 'testing' - trying to overwrite /usr/lib/ocaml/stublibs/dlllabltk.so)

Your message dated Tue, 13 Oct 2015 09:53:42 + with message-id and subject line Bug#801560: fixed in labltk 8.06.0+dfsg-3 has caused the Debian Bug report #801560, regarding liblabltk-ocaml: fails to upgrade from 'testing' - trying to overwrite

Processing of coq_8.4pl4dfsg-2_amd64.changes

coq_8.4pl4dfsg-2_amd64.changes uploaded successfully to localhost along with the files: coq_8.4pl4dfsg-2.dsc coq_8.4pl4dfsg-2.debian.tar.xz coq-theories_8.4pl4dfsg-2_all.deb coq_8.4pl4dfsg-2_amd64.deb coqide_8.4pl4dfsg-2_amd64.deb libcoq-ocaml-dev_8.4pl4dfsg-2_amd64.deb

coq_8.4pl4dfsg-2_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 13 Oct 2015 17:26:06 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source all amd64 Version: 8.4pl4dfsg-2 Distribution: unstable Urgency: medium Maintainer: Debian

Accepted coq 8.4pl4dfsg-2 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 13 Oct 2015 17:26:06 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source all amd64 Version: 8.4pl4dfsg-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml