Bug#952505: ocaml-qtest: autopkgtests regression

Source: ocaml-qtest Version: 2.10.1-1 Severity: serious Hello, looks like the last 2.10.1-1 version has autopkgtests failures. Look e.g. to https://ci.debian.net/data/autopkgtest/unstable/amd64/o/ocaml-qtest/4368021/log.gz (Reading database ... 16955 files and directories currently installed.)

apron is marked for autoremoval from testing

apron 0.9.10-9.1 is marked for autoremoval from testing on 2020-03-25 It (build-)depends on packages with these RC bugs: 943451: ppl: libppl-doc: FTBFS with doxygen 1.8.16-1~exp3 from experimental

ocaml-lastfm is marked for autoremoval from testing

ocaml-lastfm 0.3.2-1 is marked for autoremoval from testing on 2020-03-15 It (build-)depends on packages with these RC bugs: 911166: gtksourceview2: Do not release with Bullseye

Bug#952461: coccinelle: build-depend on python instead of python2

Source: coccinelle Version: 1.0.4.deb-5 Severity: serious tags: patch Hello, your package depends on python instead of python2. Please update the dependency accordingly. (or port to python3 if possible) trivial patch: diff -Nru coccinelle-1.0.4.deb/debian/changelog

Bug#952454: coq: patch to use python3 (missing tests)

Source: coq Version: 8.9.1-5 Severity: serious tags: patch Hello, looks like coq is still calling python2 in testsuite, leading to build failures if python2 is not installed anymore. Adding two more calls to the avoid-usr-bin-env.patch seems to do the trick diff -Nru

advi_1.10.2-6_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 23 Feb 2020 22:03:49 +0100 Source: advi Architecture: source Version: 1.10.2-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 951922 Changes: advi

Bug#951922: marked as done (advi: FTBFS: configure: error: kpsexpand not found, check your PATH)

Your message dated Mon, 24 Feb 2020 08:47:15 + with message-id and subject line Bug#951922: fixed in advi 1.10.2-6 has caused the Debian Bug report #951922, regarding advi: FTBFS: configure: error: kpsexpand not found, check your PATH to be marked as done. This means that you claim that the

Processing of advi_1.10.2-6_source.changes

advi_1.10.2-6_source.changes uploaded successfully to localhost along with the files: advi_1.10.2-6.dsc advi_1.10.2-6.debian.tar.xz advi_1.10.2-6_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)