sbuild (Debian sbuild) 0.91.8 (14 April 2026) on cil.up7.fr +==============================================================================+ | why3 1.8.2-3+ocaml1 (amd64) Thu, 14 May 2026 13:06:18 +0000 | +==============================================================================+ Package: why3 Version: 1.8.2-3+ocaml1 Source Version: 1.8.2-3+ocaml1 Distribution: bookworm-backports-ocaml Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: Unpacking /home/steph/srv/ocaml.debian.net/backports/20260514/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.rruPSKXdI7... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... +------------------------------------------------------------------------------+ | Chroot Setup Commands Thu, 14 May 2026 13:06:25 +0000 | +------------------------------------------------------------------------------+ /repo/conf/mk-release.sh ------------------------ dpkg-scanpackages: info: Wrote 1199 entries to output Packages file. I: Finished running '/repo/conf/mk-release.sh'. Finished processing commands. -------------------------------------------------------------------------------- I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Thu, 14 May 2026 13:06:50 +0000 | +------------------------------------------------------------------------------+ Get:1 file:/repo rebuilt InRelease Ign:1 file:/repo rebuilt InRelease Get:2 file:/repo rebuilt Release [1498 B] Get:2 file:/repo rebuilt Release [1498 B] Get:3 file:/repo rebuilt Release.gpg Ign:3 file:/repo rebuilt Release.gpg Get:4 file:/repo rebuilt/main amd64 Packages [1137 kB] Get:5 http://localhost:9999/debian bookworm InRelease [151 kB] Get:6 http://localhost:9999/debian bookworm/contrib amd64 Packages [53.5 kB] Get:7 http://localhost:9999/debian bookworm/non-free-firmware amd64 Packages [6368 B] Get:8 http://localhost:9999/debian bookworm/main amd64 Packages [8792 kB] Get:9 http://localhost:9999/debian bookworm/non-free amd64 Packages [102 kB] Fetched 9104 kB in 2s (5508 kB/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 Thu, 14 May 2026 13:06:54 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.VqIVUfeE00/why3_1.8.2-3+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.VqIVUfeE00; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Thu, 14 May 2026 13:06:56 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), dh-ocaml, autoconf, ocaml, ocaml-findlib, menhir (>= 20200123), libmenhir-ocaml-dev (>= 20200123), libzarith-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.2), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev, tex-common, build-essential, python3-sphinx, python3-sphinxcontrib.bibtex, texlive-plain-generic, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-bibtex-extra, tex-gyre, graphviz-tools Filtered Build-Depends: debhelper-compat (= 13), dh-ocaml, autoconf, ocaml, ocaml-findlib, menhir (>= 20200123), libmenhir-ocaml-dev (>= 20200123), libzarith-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.2), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev, tex-common, build-essential, python3-sphinx, python3-sphinxcontrib.bibtex, texlive-plain-generic, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-bibtex-extra, tex-gyre, graphviz-tools dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-yoamwc/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-yoamwc/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-yoamwc/apt_archive ./ Release [615 B] Ign:3 copy:/build/reproducible-path/resolver-yoamwc/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-yoamwc/apt_archive ./ Sources [1094 B] Get:5 copy:/build/reproducible-path/resolver-yoamwc/apt_archive ./ Packages [1114 B] Fetched 2823 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... 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. apt-get failed. E: Package installation failed Not removing build depends: cloned chroot in use +------------------------------------------------------------------------------+ | Cleanup Thu, 14 May 2026 13:07:04 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use E: Package build dependencies not satisfied; skipping +------------------------------------------------------------------------------+ | Summary Thu, 14 May 2026 13:07:05 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: n/a Build-Time: 0 Distribution: bookworm-backports-ocaml Fail-Stage: install-deps Host Architecture: amd64 Install-Time: 0 Job: /tmp/tmp.ben.transition-scripts.VqIVUfeE00/why3_1.8.2-3+ocaml1.dsc Machine Architecture: amd64 Package: why3 Package-Time: 0 Source-Version: 1.8.2-3+ocaml1 Space: n/a Status: given-back Version: 1.8.2-3+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-05-14T13:06:18Z Build needed 00:00:00, no disk space