sbuild (Debian sbuild) 0.91.10 (27 June 2026) on derowd.up7.fr +==============================================================================+ | ssreflect 2.6.0-2+ocaml1 (amd64) Tue, 11 Aug 2026 09:55:34 +0000 | +==============================================================================+ Package: ssreflect Version: 2.6.0-2+ocaml1 Source Version: 2.6.0-2+ocaml1 Distribution: trixie-backports-ocaml Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: No tarballs found in /home/steph/.cache/sbuild I: Unpacking /home/steph/srv/ocaml.debian.net/backports/20260811/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.pbCjhdShsX... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... +------------------------------------------------------------------------------+ | Chroot Setup Commands Tue, 11 Aug 2026 09:55:40 +0000 | +------------------------------------------------------------------------------+ /repo/conf/mk-release.sh ------------------------ dpkg-scanpackages: info: Wrote 1293 entries to output Packages file. I: Finished running '/repo/conf/mk-release.sh'. Finished processing commands. -------------------------------------------------------------------------------- I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Tue, 11 Aug 2026 09:55:56 +0000 | +------------------------------------------------------------------------------+ Ign:1 file:/repo rebuilt InRelease Get:2 file:/repo rebuilt Release [1496 B] Get:2 file:/repo rebuilt Release [1496 B] Ign:3 file:/repo rebuilt Release.gpg Get:4 file:/repo rebuilt/main amd64 Packages [1251 kB] Get:5 http://localhost:9999/debian trixie InRelease [140 kB] Get:6 http://localhost:9999/debian trixie/non-free amd64 Packages [100 kB] Get:7 http://localhost:9999/debian trixie/contrib amd64 Packages [53.8 kB] Get:8 http://localhost:9999/debian trixie/non-free-firmware amd64 Packages [6884 B] Get:9 http://localhost:9999/debian trixie/main amd64 Packages [9673 kB] Fetched 9974 kB in 1s (12.3 MB/s) Reading package lists... W: Conflicting distribution: file:/repo rebuilt Release (expected rebuilt but got ) Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files Tue, 11 Aug 2026 09:55:58 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.MMvWF1JHiq/ssreflect_2.6.0-2+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.MMvWF1JHiq; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Tue, 11 Aug 2026 09:55:59 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), dh-coq, coq (>= 9), graphviz, graphviz-tools, libcoq-hierarchy-builder, libcoq-micromega-plugin, libcoq-stdlib, lua5.4, rocqnavi, build-essential Filtered Build-Depends: debhelper-compat (= 13), dh-coq, coq (>= 9), graphviz, graphviz-tools, libcoq-hierarchy-builder, libcoq-micromega-plugin, libcoq-stdlib, lua5.4, rocqnavi, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-GPh4TR/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-GPh4TR/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-GPh4TR/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-GPh4TR/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-GPh4TR/apt_archive ./ Sources [730 B] Get:5 copy:/build/reproducible-path/resolver-GPh4TR/apt_archive ./ Packages [769 B] Fetched 2108 B in 0s (0 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... Solving dependencies... Some packages could not be installed. This may mean that you have requested an impossible situation or if you are using the unstable distribution that some required packages have not yet been created or been moved out of Incoming. The following information may help to resolve the situation: The following packages have unmet dependencies: sbuild-build-depends-main-dummy : Depends: graphviz-tools but it is not installable E: Unable to correct problems, you have held broken packages. E: The following information from --solver 3.0 may provide additional context: Unable to satisfy dependencies. Reached two conflicting decisions: 1. sbuild-build-depends-main-dummy:amd64=0.invalid.0 is selected for install 2. sbuild-build-depends-main-dummy:amd64 Depends graphviz-tools but none of the choices are installable: [no choices] apt-get failed. E: Package installation failed Not removing build depends: cloned chroot in use +------------------------------------------------------------------------------+ | Cleanup Tue, 11 Aug 2026 09:56:03 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use E: Package build dependencies not satisfied; skipping +------------------------------------------------------------------------------+ | Summary Tue, 11 Aug 2026 09:56:03 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: n/a Build-Time: 0 Distribution: trixie-backports-ocaml Fail-Stage: install-deps Host Architecture: amd64 Install-Time: 0 Job: /tmp/tmp.ben.transition-scripts.MMvWF1JHiq/ssreflect_2.6.0-2+ocaml1.dsc Machine Architecture: amd64 Package: ssreflect Package-Time: 0 Source-Version: 2.6.0-2+ocaml1 Space: n/a Status: given-back Version: 2.6.0-2+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-08-11T09:55:34Z Build needed 00:00:00, no disk space