Processed: moreinfo

Processing commands for cont...@bugs.debian.org: tags 755014 + sid jessie Bug #755014 [apq] apq: uninstallable on sid, needs update for gnat-4.9 Added tag(s) sid and jessie. tags 755016 + sid jessie Bug #755016 [apq-postgresql] apq-postgresql: uninstallable on sid, needs update for gnat-4.9

Re: Processed: moreinfo

the subject should have been jessie not moreinfo... signature.asc Description: This is a digitally signed message part.

Accepted coq 8.4pl4dfsg-1 (source amd64 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 27 Jul 2014 15:25:03 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl4dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

Bug#755953: marked as done (coq: Updated packaging for upstream release 8.4pl4)

Your message dated Sun, 27 Jul 2014 15:34:55 + with message-id e1xbqtp-0008kg...@franck.debian.org and subject line Bug#755953: fixed in coq 8.4pl4dfsg-1 has caused the Debian Bug report #755953, regarding coq: Updated packaging for upstream release 8.4pl4 to be marked as done. This means

Processing of coq_8.4pl4dfsg-1_amd64.changes

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

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

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 27 Jul 2014 15:25:03 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl4dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian

Processing of dose3_3.2.2-2_amd64.changes

dose3_3.2.2-2_amd64.changes uploaded successfully to localhost along with the files: libdose3-ocaml-dev_3.2.2-2_amd64.deb libdose3-ocaml_3.2.2-2_amd64.deb dose-distcheck_3.2.2-2_amd64.deb dose-builddebcheck_3.2.2-2_amd64.deb dose-extra_3.2.2-2_amd64.deb apt-cudf_3.2.2-2_amd64.deb

ocsigenserver is marked for autoremoval from testing

ocsigenserver 2.2.0-3 is marked for autoremoval from testing on 2014-08-27 It is affected by these RC bugs: 750319: ocsigenserver: FTBFS: Error: Unbound module Netstring_pcre -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

eliom is marked for autoremoval from testing

eliom 3.0.3-5 is marked for autoremoval from testing on 2014-08-27 It (build-)depends on packages with these RC bugs: 750319: ocsigenserver: FTBFS: Error: Unbound module Netstring_pcre 751693: libjs-of-ocaml-dev: Broken dependencies render unrelated packages FTBFS -- To UNSUBSCRIBE, email to

nurpawiki is marked for autoremoval from testing

nurpawiki 1.2.3-7 is marked for autoremoval from testing on 2014-08-27 It (build-)depends on packages with these RC bugs: 750319: ocsigenserver: FTBFS: Error: Unbound module Netstring_pcre 751693: libjs-of-ocaml-dev: Broken dependencies render unrelated packages FTBFS -- To UNSUBSCRIBE, email