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.) Removing autopkgtest-satdep (0) ... autopkgtest [10:26:31]: test testdirectives: [--- Target file: `directives.ml.result'. Extraction : `directives.ml' Done. 77c77 < exit (QCheck_ounit.run ("" >::: List.rev !___tests)) --- > exit (QCheck_runner.run ("" >::: List.rev !___tests)) testdirectives FAIL non-zero exit status 1 not sure if a new ounit is needed. G.
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 coccinelle-1.0.4.deb/debian/changelog --- coccinelle-1.0.4.deb/debian/changelog 2020-02-16 16:13:10.0 + +++ coccinelle-1.0.4.deb/debian/changelog 2020-02-24 18:44:58.0 + @@ -1,3 +1,9 @@ +coccinelle (1.0.4.deb-5.1) unstable; urgency=medium + + * Depend on python2 (Closes: #-1) + + -- Gianfranco Costamagna Mon, 24 Feb 2020 19:44:58 +0100 + coccinelle (1.0.4.deb-5) unstable; urgency=medium * Team upload diff -Nru coccinelle-1.0.4.deb/debian/control coccinelle-1.0.4.deb/debian/control --- coccinelle-1.0.4.deb/debian/control 2020-02-16 16:13:10.0 + +++ coccinelle-1.0.4.deb/debian/control 2020-02-24 18:43:36.0 + @@ -8,7 +8,7 @@ dh-ocaml (>= 1.0.3~), ocaml-nox (>= 3.11.1-3~), libpycaml-ocaml-dev (>= 0.82-13~), - python (>= 2.6.6-3~), + python2 (>= 2.6.6-3~), menhir (>= 20090204.dfsg), libmenhir-ocaml-dev (>= 20090204.dfsg), ocaml-findlib,
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 coq-8.9.1/debian/patches/avoid-usr-bin-env.patch coq-8.9.1/debian/patches/avoid-usr-bin-env.patch --- coq-8.9.1/debian/patches/avoid-usr-bin-env.patch2020-01-28 19:23:39.0 + +++ coq-8.9.1/debian/patches/avoid-usr-bin-env.patch2020-02-24 17:08:50.0 + @@ -44,3 +44,19 @@ import sys from TimeFileMaker import * +--- coq-8.9.1.orig/dev/tools/update-compat.py coq-8.9.1/dev/tools/update-compat.py +@@ -1,4 +1,4 @@ +-#!/usr/bin/env python ++#!/usr/bin/python3 + from __future__ import with_statement + import os, re, sys + +--- coq-8.9.1.orig/doc/tools/coqrst/notations/fontsupport.py coq-8.9.1/doc/tools/coqrst/notations/fontsupport.py +@@ -1,4 +1,4 @@ +-#!/usr/bin/env python2 ++#!/usr/bin/python3 + # -*- coding: utf-8 -*- + ## + ## # The Coq Proof Assistant / The Coq Development Team ## I don't have the log anymore with PRINT_LOGS=1, but it was something like ) > "tools/update-compat.log" FAILEDtools/update-compat.log /usr/bin/make report make[5]: Entering directory '/<>/test-suite' /usr/bin/make --quiet summary > "summary.log" bash report.sh FAILURES tools/update-compat/run.sh...Error! To print details of failed tests, rerun with environment variable PRINT_LOGS=1 eg "make report PRINT_LOGS=1" from the test suite directory" See README.md in the test suite directory for more information. make[5]: *** [Makefile:200: report] Error 1 "/usr/bin/env python" not found or similar. G.
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 (1.10.2-6) unstable; urgency=medium . * Add build-dependency texlive-extra-utils (closes: #951922) * Build-depend on debhelper-compat, drop file debian/compat * Debhelper compatibility level 12 * Rename debian/TODO.Debian to debian/TODO * Standards-Version 4.5.0 (no change) Checksums-Sha1: 1976c2be158ab9c09fe93b80174d3464b2db14fc 2252 advi_1.10.2-6.dsc 3463ae180534953613c124ae11c59a7c7a30b948 27016 advi_1.10.2-6.debian.tar.xz 430d543432ea78ae0912b648f98f03c64bce790f 10113 advi_1.10.2-6_source.buildinfo Checksums-Sha256: 9a4cb26190cb715cec1f210d7a96d3f161cf809d36ff70682e47f8ca0c1aa837 2252 advi_1.10.2-6.dsc fe1ee63252b4b7f2454aec4490ec0b9f850578ed66539c0f987fcec8c104 27016 advi_1.10.2-6.debian.tar.xz c7e5b15893a8047502c73124056d708e9cdfd8c266d5aad2a4b3a2a3c83ffbab 10113 advi_1.10.2-6_source.buildinfo Files: 4baa2339e8793c6a1bdd94674fa05a8b 2252 tex optional advi_1.10.2-6.dsc a465f759659a9451887a3b4ed748d9c7 27016 tex optional advi_1.10.2-6.debian.tar.xz 1248d1660c72dc3c5108a5ad9373ccb2 10113 tex optional advi_1.10.2-6_source.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5TfpQACgkQdFxHZtTK zf8YcQ/9FXw4v3nM4zqycIyMEyMDspn2O5DCd0rFOKsA1IgI0YZdpXkP1pTdreei WcUCJ1ixxTyWs/UWKl+AgdTpvgggbMKOHdyjaicDkleFwS4MaAJX3+8jn410sP9M h05wpCPJxVFkI5FWamDw/4GwJvqetDu6X53q5VSas7hD+qWCelH9UN2TIUZUpjqP pLKolhL3GMwvP+vP/PiVIWNSu8fON2xABs+ILtsKr4vFqPW8VBfBiAhUEU8ilM0d OnP7GWlu0vycnx2j2/ydA35seceR59lpbMhgb3xIPpJv9Pz469AVu0FPssI0H5wy PzP7xvxB0+LRR/EWJVz0tFnAemyOlplSvCQF/6gaktgiUBKSwP/t9DlcED2kpSOl 6cjLKhQ4y2bPvF1kIaxFeuwMofR0RSWP/jKJcxeTW6cRh9+2dQFlHpPIflL6Wvyw hsNBBzj8pjAttzJR+u7iLAHDYFtxghcfVw42hh1wGampFWEhZlo8sGFnIJIrk7Fs 0tNIOxP78GkyRnC3+NUtiG6NKoBPxV7jN0qT65o4sAlm6Uhebhbgj6T9eji1D4sg isRbTN3T1qT9Wkf+S9DM2FdKqStx8MZVshbMV2KpAnJ41lAfLcguqKH3EEQCvHWC YjQd0hb7jt/iKy746vMt5oEsP1uiEb/KWkRNyWi55Tdha8ooF8A= =DXgy -END PGP SIGNATURE- Thank you for your contribution to Debian.
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 problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 951922: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=951922 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: advi Version: 1.10.2-5 Severity: serious Justification: FTBFS on amd64 Tags: buster sid Usertags: ftbfs-20200222 ftbfs-buster Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > checking X11/extensions/Xinerama.h usability... yes > checking X11/extensions/Xinerama.h presence... yes > checking for X11/extensions/Xinerama.h... yes > checking for XineramaQueryScreens in -lXinerama... yes > checking for kpsexpand... no > configure: error: kpsexpand not found, check your PATH > make[1]: *** [debian/rules:12: override_dh_auto_configure] Error 1 > make[1]: Leaving directory '/<>' The full build log is available from: http://qa-logs.debian.net/2020/02/22/advi_1.10.2-5_unstable.log A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on EC2 VM instances from Amazon Web Services, using a clean, minimal and up-to-date chroot. Every failed build was retried once to eliminate random failures. --- End Message --- --- Begin Message --- Source: advi Source-Version: 1.10.2-6 Done: Ralf Treinen We believe that the bug you reported is fixed in the latest version of advi, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 951...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ralf Treinen (supplier of updated advi package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -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 (1.10.2-6) unstable; urgency=medium . * Add build-dependency texlive-extra-utils (closes: #951922) * Build-depend on debhelper-compat, drop file debian/compat * Debhelper compatibility level 12 * Rename debian/TODO.Debian to debian/TODO * Standards-Version 4.5.0 (no change) Checksums-Sha1: 1976c2be158ab9c09fe93b80174d3464b2db14fc 2252 advi_1.10.2-6.dsc 3463ae180534953613c124ae11c59a7c7a30b948 27016 advi_1.10.2-6.debian.tar.xz 430d543432ea78ae0912b648f98f03c64bce790f 10113 advi_1.10.2-6_source.buildinfo Checksums-Sha256: 9a4cb26190cb715cec1f210d7a96d3f161cf809d36ff70682e47f8ca0c1aa837 2252 advi_1.10.2-6.dsc fe1ee63252b4b7f2454aec4490ec0b9f850578ed66539c0f987fcec8c104 27016 advi_1.10.2-6.debian.tar.xz c7e5b15893a8047502c73124056d708e9cdfd8c266d5aad2a4b3a2a3c83ffbab 10113 advi_1.10.2-6_source.buildinfo Files: 4baa2339e8793c6a1bdd94674fa05a8b 2252 tex optional advi_1.10.2-6.dsc a465f759659a9451887a3b4ed748d9c7 27016 tex optional advi_1.10.2-6.debian.tar.xz 1248d1660c72dc3c5108a5ad9373ccb2 10113 tex optional advi_1.10.2-6_source.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5TfpQACgkQdFxHZtTK zf8YcQ/9FXw4v3nM4zqycIyMEyMDspn2O5DCd0rFOKsA1IgI0YZdpXkP1pTdreei WcUCJ1ixxTyWs/UWKl+AgdTpvgggbMKOHdyjaicDkleFwS4MaAJX3+8jn410sP9M h05wpCPJxVFkI5FWamDw/4GwJvqetDu6X53q5VSas7hD+qWCelH9UN2TIUZUpjqP pLKolhL3GMwvP+vP/PiVIWNSu8fON2xABs+ILtsKr4vFqPW8VBfBiAhUEU8ilM0d OnP7GWlu0vycnx2j2/ydA35seceR59lpbMhgb3xIPpJv9Pz469AVu0FPssI0H5wy PzP7xvxB0+LRR/EWJVz0tFnAemyOlplSvCQF/6gaktgiUBKSwP/t9DlcED2kpSOl 6cjLKhQ4y2bPvF1kIaxFeuwMofR0RSWP/jKJcxeTW6cRh9+2dQFlHpPIflL6Wvyw hsNBBzj8pjAttzJR+u7iLAHDYFtxghcfVw42hh1wGampFWEhZlo8sGFnIJIrk7Fs 0tNIOxP78GkyRnC3+NUtiG6NKoBPxV7jN0qT65o4sAlm6Uhebhbgj6T9eji1D4sg isRbTN3T1qT9Wkf+S9DM2FdKqStx8MZVshbMV2KpAnJ41lAfLcguqKH3EEQCvHWC YjQd0hb7jt/iKy746vMt5oEsP1uiEb/KWkRNyWi55Tdha8ooF8A= =DXgy -END PGP SIGNATURE End Message ---
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)