=============================================================================== About this build: this rebuild has been done as part of reproduce.debian.net where we aim to reproduce Debian binary packages distributed via ftp.debian.org, by rebuilding using the exact same packages as the original build on the buildds, as described in the relevant .buildinfo file from buildinfos.debian.net. For more information please go to https://reproduce.debian.net or join #debian-reproducible on irc.debian.org =============================================================================== Preparing download of sources for /srv/rebuilderd/tmp/rebuilderdlutORt/inputs/coq-simple-io_1.11.0-1+b4_amd64.buildinfo Source: coq-simple-io Version: 1.11.0-1 rebuilderd-worker node: osuosl41-amd64 +------------------------------------------------------------------------------+ | Downloading sources Sun, 21 Jun 2026 16:00:52 +0000 | +------------------------------------------------------------------------------+ Get:1 https://deb.debian.org/debian trixie InRelease [140 kB] Get:2 https://deb.debian.org/debian-security trixie-security InRelease [43.4 kB] Get:3 https://deb.debian.org/debian trixie-updates InRelease [47.3 kB] Get:4 https://deb.debian.org/debian trixie-proposed-updates InRelease [57.6 kB] Get:5 https://deb.debian.org/debian trixie-backports InRelease [54.0 kB] Get:6 https://deb.debian.org/debian forky InRelease [151 kB] Get:7 https://deb.debian.org/debian sid InRelease [189 kB] Get:8 https://deb.debian.org/debian experimental InRelease [91.7 kB] Get:9 https://deb.debian.org/debian trixie/non-free-firmware Sources [6,552 B] Get:10 https://deb.debian.org/debian trixie/main Sources [10.5 MB] Get:11 https://deb.debian.org/debian-security trixie-security/main Sources [181 kB] Get:12 https://deb.debian.org/debian-security trixie-security/non-free-firmware Sources [696 B] Get:13 https://deb.debian.org/debian trixie-updates/main Sources [2,788 B] Get:14 https://deb.debian.org/debian trixie-proposed-updates/main Sources [94.4 kB] Get:15 https://deb.debian.org/debian trixie-backports/main Sources [269 kB] Get:16 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [3,376 B] Get:17 https://deb.debian.org/debian forky/main Sources [10.9 MB] Get:18 https://deb.debian.org/debian forky/non-free-firmware Sources [8,528 B] Get:19 https://deb.debian.org/debian sid/main Sources [11.7 MB] Get:20 https://deb.debian.org/debian sid/non-free-firmware Sources [10.8 kB] Get:21 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,568 B] Get:22 https://deb.debian.org/debian experimental/main Sources [395 kB] Fetched 34.9 MB in 3s (10.5 MB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/c/coq-simple-io/coq-simple-io_1.11.0-1.dsc' coq-simple-io_1.11.0-1.dsc 2183 SHA256:9d478461f046761802730e485fafaaacb359c0ef60975f520374fce22c734389 'https://deb.debian.org/debian/pool/main/c/coq-simple-io/coq-simple-io_1.11.0.orig.tar.gz' coq-simple-io_1.11.0.orig.tar.gz 35489 SHA256:d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 'https://deb.debian.org/debian/pool/main/c/coq-simple-io/coq-simple-io_1.11.0-1.debian.tar.xz' coq-simple-io_1.11.0-1.debian.tar.xz 2676 SHA256:71c68010951ba9e8c3d8b26a426febe9d02a98d43403314c5874998e06f876b2 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f coq-simple-io_1.11.0.orig.tar.gz 71c68010951ba9e8c3d8b26a426febe9d02a98d43403314c5874998e06f876b2 coq-simple-io_1.11.0-1.debian.tar.xz 9d478461f046761802730e485fafaaacb359c0ef60975f520374fce22c734389 coq-simple-io_1.11.0-1.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Sun, 21 Jun 2026 16:00:55 +0000 | +------------------------------------------------------------------------------+ Rebuilding coq-simple-io=1.11.0-1 in /srv/rebuilderd/tmp/rebuilderdlutORt/inputs now. + nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdlutORt/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdlutORt/inputs/coq-simple-io_1.11.0-1+b4_amd64.buildinfo /srv/rebuilderd/tmp/rebuilderdlutORt/inputs/coq-simple-io_1.11.0-1+b4_amd64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/coq-simple-io-1.11.0 I: verifying dsc... successful! Get:1 http://deb.debian.org/debian unstable InRelease [189 kB] Get:2 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable InRelease [189 kB] Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [10.5 MB] Get:4 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable/main amd64 Packages [10.5 MB] Fetched 21.4 MB in 2s (10.3 MB/s) Reading package lists... W: http://snapshot.debian.org/archive/debian/20260618T203814Z/dists/unstable/InRelease: Loading /etc/apt/trusted.gpg from deprecated option Dir::Etc::Trusted Get:1 http://deb.debian.org/debian unstable/main amd64 python3.13-minimal amd64 3.13.14-1 [2271 kB] Fetched 2271 kB in 0s (109 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpichv_638/python3.13-minimal_3.13.14-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libctf-nobfd0 amd64 2.46.50.20260617-1 [160 kB] Fetched 160 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqo02qn9p/libctf-nobfd0_2.46.50.20260617-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libctf0 amd64 2.46.50.20260617-1 [92.2 kB] Fetched 92.2 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpei_de2p8/libctf0_2.46.50.20260617-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libstdc++-15-dev amd64 15.3.0-1 [2784 kB] Fetched 2784 kB in 0s (126 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpn6ltu30e/libstdc++-15-dev_15.3.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 mawk amd64 1.3.4.20260302-1 [142 kB] Fetched 142 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzgbxb93y/mawk_1.3.4.20260302-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.24.1-1 [1336 kB] Fetched 1336 kB in 0s (86.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpffmqhlig/groff-base_1.24.1-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 gcc amd64 4:15.2.0-5+b1 [5160 B] Fetched 5160 B in 0s (0 B/s) dpkg-name: info: moved 'gcc_4%3a15.2.0-5+b1_amd64.deb' to '/srv/rebuilderd/tmp/tmpj_vfu8jj/gcc_15.2.0-5+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libaudit1 amd64 1:4.1.2-1+b1 [60.2 kB] Fetched 60.2 kB in 0s (0 B/s) dpkg-name: info: moved 'libaudit1_1%3a4.1.2-1+b1_amd64.deb' to '/srv/rebuilderd/tmp/tmp9i3ntreh/libaudit1_4.1.2-1+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.1-1 [6020 B] Fetched 6020 B in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpc50_hw8b/dh-strip-nondeterminism_1.15.1-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libsframe3 amd64 2.46.50.20260617-1 [84.7 kB] Fetched 84.7 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmh6btlh6/libsframe3_2.46.50.20260617-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 patch amd64 2.8-2 [134 kB] Fetched 134 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbe3inodv/patch_2.8-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libitm1 amd64 16.1.0-2 [26.9 kB] Fetched 26.9 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfdafe734/libitm1_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Fetched 104 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdaznj61h/libarchive-zip-perl_1.68-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libdebconfclient0 amd64 0.283 [7572 B] Fetched 7572 B in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzu7zmact/libdebconfclient0_0.283_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.14-1 [864 kB] Fetched 864 kB in 0s (66.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpy_5mncah/libpython3.13-minimal_3.13.14-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 binutils-common amd64 2.46.50.20260617-1 [2636 kB] Fetched 2636 kB in 0s (118 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4y_xg3w9/binutils-common_2.46.50.20260617-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.195-1 [58.1 kB] Fetched 58.1 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqol9qn2n/libelf1t64_0.195-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Fetched 60.0 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphjjl9a55/autotools-dev_20240727.1+nmu1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Fetched 22.9 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5p47v3sp/intltool-debian_0.35.0+20060710.6_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 hostname amd64 3.25 [11.0 kB] Fetched 11.0 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp166y41xo/hostname_3.25_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libuuid1 amd64 2.42.2-1 [33.6 kB] Fetched 33.6 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0jx95awf/libuuid1_2.42.2-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libbz2-1.0 amd64 1.0.8-6+b2 [39.9 kB] Fetched 39.9 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9_jrf9pg/libbz2-1.0_1.0.8-6+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 perl amd64 5.40.1-8 [264 kB] Fetched 264 kB in 0s (25.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcub1d2a2/perl_5.40.1-8_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libtinfo6 amd64 6.6+20251231-1+b1 [350 kB] Fetched 350 kB in 0s (34.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4rvjlf_2/libtinfo6_6.6+20251231-1+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libhwasan0 amd64 16.1.0-2 [1580 kB] Fetched 1580 kB in 0s (85.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp3t4deb78/libhwasan0_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 debhelper all 14.1 [933 kB] Fetched 933 kB in 0s (75.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqidu4u2j/debhelper_14.1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml amd64 1.14-1+b5 [110 kB] Fetched 110 kB in 0s (9525 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpx5vgw7v_/libzarith-ocaml_1.14-1+b5_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 debconf all 1.5.92 [123 kB] Fetched 123 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphw4egb_0/debconf_1.5.92_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 gcc-15 amd64 15.3.0-1 [546 kB] Fetched 546 kB in 0s (51.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp40kq2f4q/gcc-15_15.3.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5+b2 [641 kB] Fetched 641 kB in 0s (54.3 MB/s) dpkg-name: info: moved 'libgmp-dev_2%3a6.3.0+dfsg-5+b2_amd64.deb' to '/srv/rebuilderd/tmp/tmp6a0y4g7j/libgmp-dev_6.3.0+dfsg-5+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 xz-utils amd64 5.8.3-1 [740 kB] Fetched 740 kB in 0s (61.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpox95q56u/xz-utils_5.8.3-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml-dev amd64 1.14-1+b5 [109 kB] Fetched 109 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpefmf_v4d/libzarith-ocaml-dev_1.14-1+b5_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 ncurses-bin amd64 6.6+20251231-1+b1 [442 kB] Fetched 442 kB in 0s (42.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp02axeo1m/ncurses-bin_6.6+20251231-1+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64 1.9.8-1+b4 [194 kB] Fetched 194 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5xhtu_mm/libfindlib-ocaml_1.9.8-1+b4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libxml2-16 amd64 2.15.3+dfsg-1 [642 kB] Fetched 642 kB in 0s (59.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5n_8ddp6/libxml2-16_2.15.3+dfsg-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml-dev amd64 8.20.1+dfsg-1+b4 [52.0 MB] Fetched 52.0 MB in 0s (175 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0q_e83rx/libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.6+20251231-1+b1 [107 kB] Fetched 107 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpo2xpb0ij/libncurses6_6.6+20251231-1+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 media-types all 14.0.0 [30.8 kB] Fetched 30.8 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpr8dg2x2e/media-types_14.0.0_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libcrypt1 amd64 1:4.5.1-1+b1 [96.4 kB] Fetched 96.4 kB in 0s (0 B/s) dpkg-name: info: moved 'libcrypt1_1%3a4.5.1-1+b1_amd64.deb' to '/srv/rebuilderd/tmp/tmpu_k0nte_/libcrypt1_4.5.1-1+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libgmp10 amd64 2:6.3.0+dfsg-5+b2 [560 kB] Fetched 560 kB in 0s (51.6 MB/s) dpkg-name: info: moved 'libgmp10_2%3a6.3.0+dfsg-5+b2_amd64.deb' to '/srv/rebuilderd/tmp/tmpzokua2ea/libgmp10_6.3.0+dfsg-5+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libpam-modules amd64 1.7.0-6 [168 kB] Fetched 168 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpivta53s8/libpam-modules_1.7.0-6_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 1.0-1 [332 kB] Fetched 332 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_l188991/gettext-base_1.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libgdbm-compat4t64 amd64 1.26-1+b2 [52.0 kB] Fetched 52.0 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpt8_rqx24/libgdbm-compat4t64_1.26-1+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 findutils amd64 4.10.0-4 [700 kB] Fetched 700 kB in 0s (57.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpsumrkkum/findutils_4.10.0-4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libzstd1 amd64 1.5.7+dfsg-3+b2 [305 kB] Fetched 305 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1hy7hq99/libzstd1_1.5.7+dfsg-3+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.14-1 [1982 kB] Fetched 1982 kB in 0s (110 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkljpi4el/libpython3.13-stdlib_3.13.14-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 tzdata all 2026b-1 [260 kB] Fetched 260 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpclr_8wcq/tzdata_2026b-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libncursesw6 amd64 6.6+20251231-1+b1 [136 kB] Fetched 136 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp71ihx7zb/libncursesw6_6.6+20251231-1+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.47-4 [111 kB] Fetched 111 kB in 0s (0 B/s) dpkg-name: info: moved 'libmagic1t64_1%3a5.47-4_amd64.deb' to '/srv/rebuilderd/tmp/tmp6grr5o1o/libmagic1t64_5.47-4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 tar amd64 1.35+dfsg-4 [817 kB] Fetched 817 kB in 0s (62.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppbh9eafq/tar_1.35+dfsg-4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libtool all 2.5.4-11 [539 kB] Fetched 539 kB in 0s (47.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdwhpcy0y/libtool_2.5.4-11_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libreadline8t64 amd64 8.3-4 [181 kB] Fetched 181 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcsycah9c/libreadline8t64_8.3-4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 cpp amd64 4:15.2.0-5+b1 [1568 B] Fetched 1568 B in 0s (0 B/s) dpkg-name: info: moved 'cpp_4%3a15.2.0-5+b1_amd64.deb' to '/srv/rebuilderd/tmp/tmped5d4y9k/cpp_15.2.0-5+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libsmartcols1 amd64 2.42.2-1 [145 kB] Fetched 145 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpuipsbdue/libsmartcols1_2.42.2-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.6+20251231-1+b1 [356 kB] Fetched 356 kB in 0s (33.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplz9vg8dm/libncurses-dev_6.6+20251231-1+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 bash amd64 5.3-3 [1559 kB] Fetched 1559 kB in 0s (98.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1wzcc8cc/bash_5.3-3_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.18.1-4 [877 kB] Fetched 877 kB in 0s (68.5 MB/s) dpkg-name: info: moved 'automake_1%3a1.18.1-4_all.deb' to '/srv/rebuilderd/tmp/tmpcmjfz907/automake_1.18.1-4_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable/main amd64 libjansson4 amd64 2.14-2+b4 [40.1 kB] Fetched 40.1 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmscjlu9o/libjansson4_2.14-2+b4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libjson-perl all 4.10000-1 [87.5 kB] Fetched 87.5 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdt8y_x9j/libjson-perl_4.10000-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 dh-coq all 0.14 [6956 B] Fetched 6956 B in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpaw8gxyyk/dh-coq_0.14_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 autopoint all 1.0-1 [820 kB] Fetched 820 kB in 0s (67.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmh4usos_/autopoint_1.0-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Fetched 1469 kB in 0s (90.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpln3x_1fe/man-db_2.13.1-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 gzip amd64 1.13-1 [138 kB] Fetched 138 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjsc485ja/gzip_1.13-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libgdbm6t64 amd64 1.26-1+b2 [77.7 kB] Fetched 77.7 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpoychmgbt/libgdbm6t64_1.26-1+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 cpp-15-x86-64-linux-gnu amd64 15.3.0-1 [12.1 MB] Fetched 12.1 MB in 0s (81.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpsp6nbcvv/cpp-15-x86-64-linux-gnu_15.3.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 python3.13 amd64 3.13.14-1 [781 kB] Fetched 781 kB in 0s (66.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphjv3ekpt/python3.13_3.13.14-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 openssl-provider-legacy amd64 3.6.3-1 [320 kB] Fetched 320 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_4dd5b26/openssl-provider-legacy_3.6.3-1_amd64.deb' Get:1 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable/main amd64 libudev1 amd64 261~rc4-1 [138 kB] Fetched 138 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_lrgafwx/libudev1_261~rc4-1_amd64.deb' Get:1 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable/main amd64 libc6 amd64 2.42-16 [1789 kB] Fetched 1789 kB in 0s (108 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpeufmfhsy/libc6_2.42-16_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libmpfr6 amd64 4.2.2-3 [729 kB] Fetched 729 kB in 0s (63.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgryfvjhr/libmpfr6_4.2.2-3_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 quickjs amd64 2025.04.26-1+b2 [443 kB] Fetched 443 kB in 0s (43.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpm50kw14g/quickjs_2025.04.26-1+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.47-4 [345 kB] Fetched 345 kB in 0s (25.9 MB/s) dpkg-name: info: moved 'libmagic-mgc_1%3a5.47-4_amd64.deb' to '/srv/rebuilderd/tmp/tmpfh4jgn8w/libmagic-mgc_5.47-4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 gcc-15-base amd64 15.3.0-1 [37.4 kB] Fetched 37.4 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpc2l5qwtk/gcc-15-base_15.3.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 binutils amd64 2.46.50.20260617-1 [282 kB] Fetched 282 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpy6lq_g6n/binutils_2.46.50.20260617-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 zlib1g amd64 1:1.3.dfsg+really1.3.2-3 [90.9 kB] Fetched 90.9 kB in 0s (0 B/s) dpkg-name: info: moved 'zlib1g_1%3a1.3.dfsg+really1.3.2-3_amd64.deb' to '/srv/rebuilderd/tmp/tmp74rd1omu/zlib1g_1.3.dfsg+really1.3.2-3_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libquadmath0 amd64 16.1.0-2 [148 kB] Fetched 148 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp86z9iw9h/libquadmath0_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 build-essential amd64 12.12 [4624 B] Fetched 4624 B in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpsfnqqisp/build-essential_12.12_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libexpat1 amd64 2.8.1-1 [117 kB] Fetched 117 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp05dtak62/libexpat1_2.8.1-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 make amd64 4.4.1-3 [463 kB] Fetched 463 kB in 0s (40.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmps9s4wciz/make_4.4.1-3_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libselinux1 amd64 3.10-1 [85.4 kB] Fetched 85.4 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzk96blh2/libselinux1_3.10-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libisl23 amd64 0.27-2 [664 kB] Fetched 664 kB in 0s (59.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpszx500hz/libisl23_0.27-2_amd64.deb' Get:1 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable/main amd64 libc-bin amd64 2.42-16 [622 kB] Fetched 622 kB in 0s (52.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjr9ylwgn/libc-bin_2.42-16_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 diffutils amd64 1:3.12-1 [405 kB] Fetched 405 kB in 0s (38.7 MB/s) dpkg-name: info: moved 'diffutils_1%3a3.12-1_amd64.deb' to '/srv/rebuilderd/tmp/tmpi88f2pi9/diffutils_3.12-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64 5.4.1-1 [604 kB] Fetched 604 kB in 0s (55.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvupajd2q/libstdlib-ocaml_5.4.1-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 perl-base amd64 5.40.1-8 [1677 kB] Fetched 1677 kB in 0s (100.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpg2czl7v_/perl-base_5.40.1-8_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libubsan1 amd64 16.1.0-2 [1136 kB] Fetched 1136 kB in 0s (81.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6n4bs8t9/libubsan1_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 liblsan0 amd64 16.1.0-2 [1281 kB] Fetched 1281 kB in 0s (86.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzmgkg2m9/liblsan0_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 binutils-x86-64-linux-gnu amd64 2.46.50.20260617-1 [1077 kB] Fetched 1077 kB in 0s (75.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkrq7__ec/binutils-x86-64-linux-gnu_2.46.50.20260617-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Fetched 18.9 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpswmy53vt/libconfig-tiny-perl_2.30-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libmount1 amd64 2.42.2-1 [215 kB] Fetched 215 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz9rvg0y/libmount1_2.42.2-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+b4 [176 kB] Fetched 176 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp63nvv1_f/libfindlib-ocaml-dev_1.9.8-1+b4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 base-files amd64 14.2 [88.0 kB] Fetched 88.0 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp76z1vvd_/base-files_14.2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libgomp1 amd64 16.1.0-2 [151 kB] Fetched 151 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplw0w6a71/libgomp1_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev amd64 5.4.1-1 [6479 kB] Fetched 6479 kB in 0s (103 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptmlr7aij/libstdlib-ocaml-dev_5.4.1-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.47-4 [43.0 kB] Fetched 43.0 kB in 0s (0 B/s) dpkg-name: info: moved 'file_1%3a5.47-4_amd64.deb' to '/srv/rebuilderd/tmp/tmp6_fb4cgq/file_5.47-4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libblkid1 amd64 2.42.2-1 [173 kB] Fetched 173 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppnpnnm8r/libblkid1_2.42.2-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libmd0 amd64 1.2.0-2 [43.2 kB] Fetched 43.2 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp92t_b4cs/libmd0_1.2.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libmpc3 amd64 1.3.1-3 [52.2 kB] Fetched 52.2 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpk2is2d9l/libmpc3_1.3.1-3_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 bzip2 amd64 1.0.8-6+b2 [40.4 kB] Fetched 40.4 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjuygetei/bzip2_1.0.8-6+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64 1.9.8-1+b4 [597 kB] Fetched 597 kB in 0s (49.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzfmbbfv2/ocaml-findlib_1.9.8-1+b4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 rpcsvc-proto amd64 1.4.4-1 [63.4 kB] Fetched 63.4 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7m8tibnc/rpcsvc-proto_1.4.4-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 coq amd64 8.20.1+dfsg-1+b4 [71.1 MB] Fetched 71.1 MB in 0s (176 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzh1_m7m6/coq_8.20.1+dfsg-1+b4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libtsan2 amd64 16.1.0-2 [2573 kB] Fetched 2573 kB in 0s (113 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxn1hcebb/libtsan2_16.1.0-2_amd64.deb' Get:1 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable/main amd64 linux-libc-dev all 7.0.12-2 [2012 kB] Fetched 2012 kB in 0s (105 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpanrt4_dc/linux-libc-dev_7.0.12-2_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libpam0g amd64 1.7.0-6 [66.4 kB] Fetched 66.4 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpd3u2ha6l/libpam0g_1.7.0-6_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 init-system-helpers all 1.69 [39.3 kB] Fetched 39.3 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdkute_5u/init-system-helpers_1.69_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable/main amd64 libc-dev-bin amd64 2.42-16 [37.9 kB] Fetched 37.9 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplg8z4gzm/libc-dev-bin_2.42-16_amd64.deb' Get:1 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable/main amd64 libc-gconv-modules-extra amd64 2.42-16 [1098 kB] Fetched 1098 kB in 0s (79.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpj75wx55r/libc-gconv-modules-extra_2.42-16_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libcompiler-libs-ocaml-dev amd64 5.4.1-1 [39.3 MB] Fetched 39.3 MB in 0s (156 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjto8nho2/libcompiler-libs-ocaml-dev_5.4.1-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.22 [216 kB] Fetched 216 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpc5bqroe9/po-debconf_1.0.22_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libgcc-15-dev amd64 15.3.0-1 [2718 kB] Fetched 2718 kB in 0s (126 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1rt3l201/libgcc-15-dev_15.3.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 netbase all 6.5 [12.4 kB] Fetched 12.4 kB in 0s (1102 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpd1mr_bf6/netbase_6.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 5.4.1-1 [18.8 MB] Fetched 18.8 MB in 0s (83.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1b7bswtw/ocaml_5.4.1-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml amd64 8.20.1+dfsg-1+b4 [24.2 MB] Fetched 24.2 MB in 0s (198 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4xihiv78/libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 perl-modules-5.40 all 5.40.1-8 [3019 kB] Fetched 3019 kB in 0s (135 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9qdroeaj/perl-modules-5.40_5.40.1-8_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libpam-runtime all 1.7.0-6 [245 kB] Fetched 245 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1v0nnlic/libpam-runtime_1.7.0-6_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libstdc++6 amd64 16.1.0-2 [822 kB] Fetched 822 kB in 0s (68.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpauu1rodd/libstdc++6_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libaudit-common all 1:4.1.2-1 [14.3 kB] Fetched 14.3 kB in 0s (0 B/s) dpkg-name: info: moved 'libaudit-common_1%3a4.1.2-1_all.deb' to '/srv/rebuilderd/tmp/tmpqjv2uuuw/libaudit-common_4.1.2-1_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable/main amd64 libsystemd0 amd64 261~rc4-1 [467 kB] Fetched 467 kB in 0s (42.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9b08gz_r/libsystemd0_261~rc4-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 sed amd64 4.9-3 [331 kB] Fetched 331 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpog4axy3m/sed_4.9-3_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libbinutils amd64 2.46.50.20260617-1 [536 kB] Fetched 536 kB in 0s (45.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkqdjlpbu/libbinutils_2.46.50.20260617-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 debianutils amd64 5.23.2 [92.4 kB] Fetched 92.4 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1a8_9v_b/debianutils_5.23.2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libpcre2-8-0 amd64 10.46-1+b2 [297 kB] Fetched 297 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7cqmz0xw/libpcre2-8-0_10.46-1+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB] Fetched 49.2 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6kbwvjrm/libpipeline1_1.5.8-3_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libsqlite3-0 amd64 3.53.2-1 [973 kB] Fetched 973 kB in 0s (72.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0d8mg8ov/libsqlite3-0_3.53.2-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libcc1-0 amd64 16.1.0-2 [46.1 kB] Fetched 46.1 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprmnydse7/libcc1-0_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-3+b2 [372 kB] Fetched 372 kB in 0s (36.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnxfsjn1o/libzstd-dev_1.5.7+dfsg-3+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 util-linux amd64 2.42.2-1 [1229 kB] Fetched 1229 kB in 0s (82.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8nn8cviw/util-linux_2.42.2-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 coreutils amd64 9.10-1 [3142 kB] Fetched 3142 kB in 0s (125 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgfzy_6rr/coreutils_9.10-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 dpkg amd64 1.23.7 [1531 kB] Fetched 1531 kB in 0s (94.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp44nadpwm/dpkg_1.23.7_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.16-4 [108 kB] Fetched 108 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpy3fc70h0/dwz_0.16-4_amd64.deb' Downloading dependency 1 of 186: python3.13-minimal:amd64=3.13.14-1 Downloading dependency 2 of 186: libctf-nobfd0:amd64=2.46.50.20260617-1 Downloading dependency 3 of 186: libctf0:amd64=2.46.50.20260617-1 Downloading dependency 4 of 186: libstdc++-15-dev:amd64=15.3.0-1 Downloading dependency 5 of 186: mawk:amd64=1.3.4.20260302-1 Downloading dependency 6 of 186: groff-base:amd64=1.24.1-1 Downloading dependency 7 of 186: gcc:amd64=4:15.2.0-5+b1 Downloading dependency 8 of 186: libaudit1:amd64=1:4.1.2-1+b1 Downloading dependency 9 of 186: dh-strip-nondeterminism:amd64=1.15.1-1 Downloading dependency 10 of 186: libsframe3:amd64=2.46.50.20260617-1 Downloading dependency 11 of 186: patch:amd64=2.8-2 Downloading dependency 12 of 186: libitm1:amd64=16.1.0-2 Downloading dependency 13 of 186: libarchive-zip-perl:amd64=1.68-1 Downloading dependency 14 of 186: libdebconfclient0:amd64=0.283 Downloading dependency 15 of 186: libpython3.13-minimal:amd64=3.13.14-1 Downloading dependency 16 of 186: binutils-common:amd64=2.46.50.20260617-1 Downloading dependency 17 of 186: libelf1t64:amd64=0.195-1 Downloading dependency 18 of 186: autotools-dev:amd64=20240727.1+nmu1 Downloading dependency 19 of 186: intltool-debian:amd64=0.35.0+20060710.6 Downloading dependency 20 of 186: hostname:amd64=3.25 Downloading dependency 21 of 186: libuuid1:amd64=2.42.2-1 Downloading dependency 22 of 186: libbz2-1.0:amd64=1.0.8-6+b2 Downloading dependency 23 of 186: perl:amd64=5.40.1-8 Downloading dependency 24 of 186: libtinfo6:amd64=6.6+20251231-1+b1 Downloading dependency 25 of 186: libhwasan0:amd64=16.1.0-2 Downloading dependency 26 of 186: debhelper:amd64=14.1 Downloading dependency 27 of 186: libzarith-ocaml:amd64=1.14-1+b5 Downloading dependency 28 of 186: debconf:amd64=1.5.92 Downloading dependency 29 of 186: gcc-15:amd64=15.3.0-1 Downloading dependency 30 of 186: libgmp-dev:amd64=2:6.3.0+dfsg-5+b2 Downloading dependency 31 of 186: xz-utils:amd64=5.8.3-1 Downloading dependency 32 of 186: libzarith-ocaml-dev:amd64=1.14-1+b5 Downloading dependency 33 of 186: ncurses-bin:amd64=6.6+20251231-1+b1 Downloading dependency 34 of 186: libfindlib-ocaml:amd64=1.9.8-1+b4 Downloading dependency 35 of 186: libxml2-16:amd64=2.15.3+dfsg-1 Downloading dependency 36 of 186: libcoq-core-ocaml-dev:amd64=8.20.1+dfsg-1+b4 Downloading dependency 37 of 186: libncurses6:amd64=6.6+20251231-1+b1 Downloading dependency 38 of 186: media-types:amd64=14.0.0 Downloading dependency 39 of 186: libcrypt1:amd64=1:4.5.1-1+b1 Downloading dependency 40 of 186: libgmp10:amd64=2:6.3.0+dfsg-5+b2 Downloading dependency 41 of 186: libpam-modules:amd64=1.7.0-6 Downloading dependency 42 of 186: gettext-base:amd64=1.0-1 Downloading dependency 43 of 186: libgdbm-compat4t64:amd64=1.26-1+b2 Downloading dependency 44 of 186: findutils:amd64=4.10.0-4 Downloading dependency 45 of 186: libzstd1:amd64=1.5.7+dfsg-3+b2 Downloading dependency 46 of 186: libpython3.13-stdlib:amd64=3.13.14-1 Downloading dependency 47 of 186: tzdata:amd64=2026b-1 Downloading dependency 48 of 186: libncursesw6:amd64=6.6+20251231-1+b1 Downloading dependency 49 of 186: libmagic1t64:amd64=1:5.47-4 Downloading dependency 50 of 186: tar:amd64=1.35+dfsg-4 Downloading dependency 51 of 186: libtool:amd64=2.5.4-11 Downloading dependency 52 of 186: libreadline8t64:amd64=8.3-4 Downloading dependency 53 of 186: cpp:amd64=4:15.2.0-5+b1 Downloading dependency 54 of 186: libsmartcols1:amd64=2.42.2-1 Downloading dependency 55 of 186: libncurses-dev:amd64=6.6+20251231-1+b1 Downloading dependency 56 of 186: bash:amd64=5.3-3 Downloading dependency 57 of 186: automake:amd64=1:1.18.1-4 Downloading dependency 58 of 186: libjansson4:amd64=2.14-2+b4 Downloading dependency 59 of 186: libjson-perl:amd64=4.10000-1 Downloading dependency 60 of 186: dh-coq:amd64=0.14 Downloading dependency 61 of 186: autopoint:amd64=1.0-1 Downloading dependency 62 of 186: man-db:amd64=2.13.1-1 Downloading dependency 63 of 186: gzip:amd64=1.13-1 Downloading dependency 64 of 186: libgdbm6t64:amd64=1.26-1+b2 Downloading dependency 65 of 186: cpp-15-x86-64-linux-gnu:amd64=15.3.0-1 Downloading dependency 66 of 186: python3.13:amd64=3.13.14-1 Downloading dependency 67 of 186: openssl-provider-legacy:amd64=3.6.3-1 Downloading dependency 68 of 186: libudev1:amd64=261~rc4-1 Downloading dependency 69 of 186: libc6:amd64=2.42-16 Downloading dependency 70 of 186: libmpfr6:amd64=4.2.2-3 Downloading dependency 71 of 186: quickjs:amd64=2025.04.26-1+b2 Downloading dependency 72 of 186: libmagic-mgc:amd64=1:5.47-4 Downloading dependency 73 of 186: gcc-15-base:amd64=15.3.0-1 Downloading dependency 74 of 186: binutils:amd64=2.46.50.20260617-1 Downloading dependency 75 of 186: zlib1g:amd64=1:1.3.dfsg+really1.3.2-3 Downloading dependency 76 of 186: libquadmath0:amd64=16.1.0-2 Downloading dependency 77 of 186: build-essential:amd64=12.12 Downloading dependency 78 of 186: libexpat1:amd64=2.8.1-1 Downloading dependency 79 of 186: make:amd64=4.4.1-3 Downloading dependency 80 of 186: libselinux1:amd64=3.10-1 Downloading dependency 81 of 186: libisl23:amd64=0.27-2 Downloading dependency 82 of 186: libc-bin:amd64=2.42-16 Downloading dependency 83 of 186: diffutils:amd64=1:3.12-1 Downloading dependency 84 of 186: libstdlib-ocaml:amd64=5.4.1-1 Downloading dependency 85 of 186: perl-base:amd64=5.40.1-8 Downloading dependency 86 of 186: libubsan1:amd64=16.1.0-2 Downloading dependency 87 of 186: liblsan0:amd64=16.1.0-2 Downloading dependency 88 of 186: binutils-x86-64-linux-gnu:amd64=2.46.50.20260617-1 Downloading dependency 89 of 186: libconfig-tiny-perl:amd64=2.30-1 Downloading dependency 90 of 186: libmount1:amd64=2.42.2-1 Downloading dependency 91 of 186: libfindlib-ocaml-dev:amd64=1.9.8-1+b4 Downloading dependency 92 of 186: base-files:amd64=14.2 Downloading dependency 93 of 186: libgomp1:amd64=16.1.0-2 Downloading dependency 94 of 186: libstdlib-ocaml-dev:amd64=5.4.1-1 Downloading dependency 95 of 186: file:amd64=1:5.47-4 Downloading dependency 96 of 186: libblkid1:amd64=2.42.2-1 Downloading dependency 97 of 186: libmd0:amd64=1.2.0-2 Downloading dependency 98 of 186: libmpc3:amd64=1.3.1-3 Downloading dependency 99 of 186: bzip2:amd64=1.0.8-6+b2 Downloading dependency 100 of 186: ocaml-findlib:amd64=1.9.8-1+b4 Downloading dependency 101 of 186: rpcsvc-proto:amd64=1.4.4-1 Downloading dependency 102 of 186: coq:amd64=8.20.1+dfsg-1+b4 Downloading dependency 103 of 186: libtsan2:amd64=16.1.0-2 Downloading dependency 104 of 186: linux-libc-dev:amd64=7.0.12-2 Downloading dependency 105 of 186: libpam0g:amd64=1.7.0-6 Downloading dependency 106 of 186: init-system-helpers:amd64=1.69 Downloading dependency 107 of 186: libc-dev-bin:amd64=2.42-16 Downloading dependency 108 of 186: libc-gconv-modules-extra:amd64=2.42-16 Downloading dependency 109 of 186: libcompiler-libs-ocaml-dev:amd64=5.4.1-1 Downloading dependency 110 of 186: po-debconf:amd64=1.0.22 Downloading dependency 111 of 186: libgcc-15-dev:amd64=15.3.0-1 Downloading dependency 112 of 186: netbase:amd64=6.5 Downloading dependency 113 of 186: ocaml:amd64=5.4.1-1 Downloading dependency 114 of 186: libcoq-core-ocaml:amd64=8.20.1+dfsg-1+b4 Downloading dependency 115 of 186: perl-modules-5.40:amd64=5.40.1-8 Downloading dependency 116 of 186: libpam-runtime:amd64=1.7.0-6 Downloading dependency 117 of 186: libstdc++6:amd64=16.1.0-2 Downloading dependency 118 of 186: libaudit-common:amd64=1:4.1.2-1 Downloading dependency 119 of 186: libsystemd0:amd64=261~rc4-1 Downloading dependency 120 of 186: sed:amd64=4.9-3 Downloading dependency 121 of 186: libbinutils:amd64=2.46.50.20260617-1 Downloading dependency 122 of 186: debianutils:amd64=5.23.2 Downloading dependency 123 of 186: libpcre2-8-0:amd64=10.46-1+b2 Downloading dependency 124 of 186: libpipeline1:amd64=1.5.8-3 Downloading dependency 125 of 186: libsqlite3-0:amd64=3.53.2-1 Downloading dependency 126 of 186: libcc1-0:amd64=16.1.0-2 Downloading dependency 127 of 186: libzstd-dev:amd64=1.5.7+dfsg-3+b2 Downloading dependency 128 of 186: util-linux:amd64=2.42.2-1 Downloading dependency 129 of 186: coreutils:amd64=9.10-1 Downloading dependency 130 of 186: dpkg:amd64=1.23.7 Downloading dependency 131 of 186: dwz:amd64=0.16-4 Downloading dependency 132 of 186: libunistring5:amd64=1.4.2-1Get:1 http://deb.debian.org/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB] Fetched 480 kB in 0s (46.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpk82_t7lm/libunistring5_1.4.2-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 cpp-x86-64-linux-gnu amd64 4:15.2.0-5+b1 [4644 B] Fetched 4644 B in 0s (0 B/s) dpkg-name: info: moved 'cpp-x86-64-linux-gnu_4%3a15.2.0-5+b1_amd64.deb' to '/srv/rebuilderd/tmp/tmpp8j7y6as/cpp-x86-64-linux-gnu_15.2.0-5+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 dpkg-dev all 1.23.7 [1318 kB] Fetched 1318 kB in 0s (90.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptzzqwf66/dpkg-dev_1.23.7_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 g++-x86-64-linux-gnu amd64 4:15.2.0-5+b1 [1204 B] Fetched 1204 B in 0s (0 B/s) dpkg-name: info: moved 'g++-x86-64-linux-gnu_4%3a15.2.0-5+b1_amd64.deb' to '/srv/rebuilderd/tmp/tmpkjpa9ag0/g++-x86-64-linux-gnu_15.2.0-5+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5+b2 [328 kB] Fetched 328 kB in 0s (0 B/s) dpkg-name: info: moved 'libgmpxx4ldbl_2%3a6.3.0+dfsg-5+b2_amd64.deb' to '/srv/rebuilderd/tmp/tmpev_0mddn/libgmpxx4ldbl_6.3.0+dfsg-5+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libdb5.3t64 amd64 5.3.28+dfsg2-11+b1 [709 kB] Fetched 709 kB in 0s (62.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpy9w6txnm/libdb5.3t64_5.3.28+dfsg2-11+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 ncurses-base all 6.6+20251231-1 [277 kB] Fetched 277 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp02yw9ir_/ncurses-base_6.6+20251231-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 3.4 [202 kB] Fetched 202 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpeppfwnkb/dh-ocaml_3.4_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 dash amd64 0.5.12-12 [98.5 kB] Fetched 98.5 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbelb1efk/dash_0.5.12-12_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.42.2-1 [100.0 kB] Fetched 100.0 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpv9ijp03a/bsdextrautils_2.42.2-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64 3.13.9-3+b1 [8348 B] Fetched 8348 B in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp38wyh1w4/libpython3-stdlib_3.13.9-3+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 gcc-15-x86-64-linux-gnu amd64 15.3.0-1 [23.4 MB] Fetched 23.4 MB in 0s (176 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8h0u3dlz/gcc-15-x86-64-linux-gnu_15.3.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 gettext amd64 1.0-1 [2660 kB] Fetched 2660 kB in 0s (125 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9sqn5_vj/gettext_1.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 14.1 [77.1 kB] Fetched 77.1 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp3nu55vgd/libdebhelper-perl_14.1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 ocaml-interp amd64 5.4.1-1 [7459 kB] Fetched 7459 kB in 0s (164 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp3h4gz3sk/ocaml-interp_5.4.1-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libacl1 amd64 2.3.2-3 [32.7 kB] Fetched 32.7 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxtuwvdmh/libacl1_2.3.2-3_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 g++-15-x86-64-linux-gnu amd64 15.3.0-1 [13.2 MB] Fetched 13.2 MB in 0s (177 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgsntu5lg/g++-15-x86-64-linux-gnu_15.3.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libdpkg-perl all 1.23.7 [669 kB] Fetched 669 kB in 0s (59.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptkiyhr64/libdpkg-perl_1.23.7_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libcoq-stdlib amd64 8.20.1+dfsg-1+b4 [23.5 MB] Fetched 23.5 MB in 0s (192 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpg4oto_mu/libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libgcc-s1 amd64 16.1.0-2 [74.1 kB] Fetched 74.1 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph2stb5an/libgcc-s1_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libperl5.40 amd64 5.40.1-8 [4344 kB] Fetched 4344 kB in 0s (149 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwuffnvon/libperl5.40_5.40.1-8_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Fetched 27.0 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyuapi4x0/sensible-utils_0.0.26_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64 3.13.9-3+b1 [25.4 kB] Fetched 25.4 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpamkfe36g/python3-minimal_3.13.9-3+b1_amd64.deb' Get:1 http://snapshot.debian.org/archive/debian/20260618T203814Z unstable/main amd64 libc6-dev amd64 2.42-16 [1996 kB] Fetched 1996 kB in 0s (78.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp83vk2dmu/libc6-dev_2.42-16_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libcap-ng0 amd64 0.9.3-1 [17.9 kB] Fetched 17.9 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpz03bx82w/libcap-ng0_0.9.3-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.13.9-3+b1 [25.4 kB] Fetched 25.4 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpp6g4jbwx/python3_3.13.9-3+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libssl3t64 amd64 3.6.3-1 [2488 kB] Fetched 2488 kB in 0s (124 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptf_lho68/libssl3t64_3.6.3-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB] Fetched 332 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpva949al5/m4_1.4.21-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 ocamlbuild amd64 0.16.1-2+b2 [1087 kB] Fetched 1087 kB in 0s (9367 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpuc97jert/ocamlbuild_0.16.1-2+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libpam-modules-bin amd64 1.7.0-6 [46.0 kB] Fetched 46.0 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvw7ngvjt/libpam-modules-bin_1.7.0-6_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 gcc-16-base amd64 16.1.0-2 [36.8 kB] Fetched 36.8 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6ka7do55/gcc-16-base_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 readline-common all 8.3-4 [74.8 kB] Fetched 74.8 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnpnub8mr/readline-common_8.3-4_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libseccomp2 amd64 2.6.0-2+b1 [52.2 kB] Fetched 52.2 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpig0uh8fl/libseccomp2_2.6.0-2+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 liblzma5 amd64 5.8.3-1 [332 kB] Fetched 332 kB in 0s (31.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph0tnk1t1/liblzma5_5.8.3-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB] Fetched 69.0 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpx4b55fw_/libuchardet0_0.0.8-2+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5+b2 [321 kB] Fetched 321 kB in 0s (0 B/s) dpkg-name: info: moved 'libgmp3-dev_2%3a6.3.0+dfsg-5+b2_amd64.deb' to '/srv/rebuilderd/tmp/tmpq8xdgg4b/libgmp3-dev_6.3.0+dfsg-5+b2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 g++ amd64 4:15.2.0-5+b1 [1344 B] Fetched 1344 B in 0s (0 B/s) dpkg-name: info: moved 'g++_4%3a15.2.0-5+b1_amd64.deb' to '/srv/rebuilderd/tmp/tmptyfviv3u/g++_15.2.0-5+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64 5.4.1-1 [505 kB] Fetched 505 kB in 0s (48.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxcenm8sp/ocaml-base_5.4.1-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.73-2 [516 kB] Fetched 516 kB in 0s (46.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpe13xtgca/autoconf_2.73-2_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 g++-15 amd64 15.3.0-1 [28.7 kB] Fetched 28.7 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxvebjorr/g++-15_15.3.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 ocaml-dune amd64 3.23.1-5+b1 [5550 kB] Fetched 5550 kB in 0s (11.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkbnmzjen/ocaml-dune_3.23.1-5+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libffi8 amd64 3.5.2-4 [25.2 kB] Fetched 25.2 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpsbtzz4a1/libffi8_3.5.2-4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libasan8 amd64 16.1.0-2 [2889 kB] Fetched 2889 kB in 0s (132 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpz4dgykl9/libasan8_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libcoq-ext-lib amd64 0.13.0-1+b7 [763 kB] Fetched 763 kB in 1s (999 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzzdh6o7_/libcoq-ext-lib_0.13.0-1+b7_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 base-passwd amd64 3.6.8 [54.6 kB] Fetched 54.6 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpras86d01/base-passwd_3.6.8_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libattr1 amd64 1:2.5.2-4 [23.0 kB] Fetched 23.0 kB in 0s (0 B/s) dpkg-name: info: moved 'libattr1_1%3a2.5.2-4_amd64.deb' to '/srv/rebuilderd/tmp/tmpmot93jlq/libattr1_2.5.2-4_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 sysvinit-utils amd64 3.18-1 [29.7 kB] Fetched 29.7 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwve6f4qf/sysvinit-utils_3.18-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 grep amd64 3.12-1 [443 kB] Fetched 443 kB in 0s (39.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjmoz12lo/grep_3.12-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 cpp-15 amd64 15.3.0-1 [1280 B] Fetched 1280 B in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdem0uhet/cpp-15_15.3.0-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 gcc-x86-64-linux-gnu amd64 4:15.2.0-5+b1 [1440 B] Fetched 1440 B in 0s (0 B/s) dpkg-name: info: moved 'gcc-x86-64-linux-gnu_4%3a15.2.0-5+b1_amd64.deb' to '/srv/rebuilderd/tmp/tmp9pff58uu/gcc-x86-64-linux-gnu_15.2.0-5+b1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libatomic1 amd64 16.1.0-2 [10.4 kB] Fetched 10.4 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6hedytoy/libatomic1_16.1.0-2_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libgprofng0 amd64 2.46.50.20260617-1 [821 kB] Fetched 821 kB in 0s (66.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp12_9xnfw/libgprofng0_2.46.50.20260617-1_amd64.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.1-1 [17.1 kB] Fetched 17.1 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6x085y7x/libfile-stripnondeterminism-perl_1.15.1-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 22 [12.2 kB] Fetched 12.2 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpu4whodnl/dh-autoreconf_22_all.deb' Get:1 http://deb.debian.org/debian unstable/main amd64 cppo amd64 1.8.0-1+b4 [551 kB] Fetched 551 kB in 0s (12.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf0dpp90u/cppo_1.8.0-1+b4_amd64.deb' dpkg-buildpackage: info: source package debootsnap-dummy dpkg-buildpackage: info: source version 1.0 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Equivs Dummy Package Generator dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean dh_clean debian/rules binary dh binary dh_update_autotools_config dh_autoreconf create-stamp debian/debhelper-build-stamp dh_prep dh_auto_install --destdir=debian/debootsnap-dummy/ dh_install dh_installdocs dh_installchangelogs dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'debootsnap-dummy' in '../debootsnap-dummy_1.0_all.deb'. dpkg-genbuildinfo --build=binary -O../debootsnap-dummy_1.0_amd64.buildinfo dpkg-genchanges --build=binary -O../debootsnap-dummy_1.0_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) The package has been created. Attention, the package has been created in the /srv/rebuilderd/tmp/tmpvj79ppi_/cache directory, not in ".." as indicated by the message above! I: automatically chosen mode: unshare I: chroot architecture amd64 is equal to the host's architecture I: using /srv/rebuilderd/tmp/mmdebstrap.rERDNjLcNj as tempdir I: running --setup-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/setup00.sh /srv/rebuilderd/tmp/mmdebstrap.rERDNjLcNj 127.0.0.1 - - [21/Jun/2026 16:02:19] code 404, message File not found 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:37249 ./ InRelease 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./Release HTTP/1.1" 200 - Get:2 http://localhost:37249 ./ Release [462 B] 127.0.0.1 - - [21/Jun/2026 16:02:19] code 404, message File not found 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:37249 ./ Release.gpg 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./Packages HTTP/1.1" 200 - Get:4 http://localhost:37249 ./ Packages [226 kB] Fetched 226 kB in 0s (14.1 MB/s) Reading package lists... usr-is-merged found but not real -- not running merged-usr setup hook I: skipping apt-get update because it was already run I: downloading packages with apt... 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./gcc-16-base_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libc-gconv-modules-extra_2.42-16_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libc6_2.42-16_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libgcc-s1_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./mawk_1.3.4.20260302-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./base-files_14.2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libtinfo6_6.6%2b20251231-1%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./debianutils_5.23.2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./bash_5.3-3_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libacl1_2.3.2-3_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libattr1_2.5.2-4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libgmp10_6.3.0%2bdfsg-5%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libpcre2-8-0_10.46-1%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libselinux1_3.10-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libzstd1_1.5.7%2bdfsg-3%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./zlib1g_1.3.dfsg%2breally1.3.2-3_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libssl3t64_3.6.3-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./openssl-provider-legacy_3.6.3-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libsystemd0_261%7erc4-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./coreutils_9.10-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./dash_0.5.12-12_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./diffutils_3.12-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libbz2-1.0_1.0.8-6%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./liblzma5_5.8.3-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libmd0_1.2.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./tar_1.35%2bdfsg-4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./dpkg_1.23.7_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./findutils_4.10.0-4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./grep_3.12-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./gzip_1.13-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./hostname_3.25_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./ncurses-bin_6.6%2b20251231-1%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libcrypt1_4.5.1-1%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./perl-base_5.40.1-8_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./sed_4.9-3_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libaudit-common_4.1.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libcap-ng0_0.9.3-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libaudit1_4.1.2-1%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libdb5.3t64_5.3.28%2bdfsg2-11%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./debconf_1.5.92_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libpam0g_1.7.0-6_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libpam-modules-bin_1.7.0-6_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libpam-modules_1.7.0-6_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libpam-runtime_1.7.0-6_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libblkid1_2.42.2-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libmount1_2.42.2-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libsmartcols1_2.42.2-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libudev1_261%7erc4-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libuuid1_2.42.2-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./util-linux_2.42.2-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libdebconfclient0_0.283_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./base-passwd_3.6.8_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./init-system-helpers_1.69_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./libc-bin_2.42-16_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./ncurses-base_6.6%2b20251231-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:19] "GET /./sysvinit-utils_3.18-1_amd64.deb HTTP/1.1" 200 - I: extracting archives... I: running --extract-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/extract00.sh /srv/rebuilderd/tmp/mmdebstrap.rERDNjLcNj 127.0.0.1 - - [21/Jun/2026 16:02:21] code 404, message File not found 127.0.0.1 - - [21/Jun/2026 16:02:21] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:37249 ./ InRelease 127.0.0.1 - - [21/Jun/2026 16:02:21] "GET /./Release HTTP/1.1" 304 - Hit:2 http://localhost:37249 ./ Release 127.0.0.1 - - [21/Jun/2026 16:02:21] code 404, message File not found 127.0.0.1 - - [21/Jun/2026 16:02:21] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:37249 ./ Release.gpg Reading package lists... usr-is-merged found but not real -- not running merged-usr extract hook I: installing essential packages... I: running --essential-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/essential00.sh /srv/rebuilderd/tmp/mmdebstrap.rERDNjLcNj usr-is-merged was not installed in a previous hook -- not running merged-usr essential hook I: installing remaining packages inside the chroot... 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libexpat1_2.8.1-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libpython3.13-minimal_3.13.14-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./python3.13-minimal_3.13.14-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./python3-minimal_3.13.9-3%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./media-types_14.0.0_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./netbase_6.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./tzdata_2026b-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libffi8_3.5.2-4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libncursesw6_6.6%2b20251231-1%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./readline-common_8.3-4_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libreadline8t64_8.3-4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libsqlite3-0_3.53.2-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libpython3.13-stdlib_3.13.14-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./python3.13_3.13.14-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libpython3-stdlib_3.13.9-3%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./python3_3.13.9-3%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./sensible-utils_0.0.26_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libstdc%2b%2b6_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libuchardet0_0.0.8-2%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./groff-base_1.24.1-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./bsdextrautils_2.42.2-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libgdbm6t64_1.26-1%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libpipeline1_1.5.8-3_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libseccomp2_2.6.0-2%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./man-db_2.13.1-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./bzip2_1.0.8-6%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libmagic-mgc_5.47-4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libmagic1t64_5.47-4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./file_5.47-4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./gettext-base_1.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./perl-modules-5.40_5.40.1-8_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libgdbm-compat4t64_1.26-1%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libperl5.40_5.40.1-8_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./perl_5.40.1-8_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./xz-utils_5.8.3-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./m4_1.4.21-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./autoconf_2.73-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./autotools-dev_20240727.1%2bnmu1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./automake_1.18.1-4_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./autopoint_1.0-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libsframe3_2.46.50.20260617-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./binutils-common_2.46.50.20260617-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libbinutils_2.46.50.20260617-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libgprofng0_2.46.50.20260617-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libctf-nobfd0_2.46.50.20260617-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libctf0_2.46.50.20260617-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libjansson4_2.14-2%2bb4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./binutils-x86-64-linux-gnu_2.46.50.20260617-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./binutils_2.46.50.20260617-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libc-dev-bin_2.42-16_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./linux-libc-dev_7.0.12-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./rpcsvc-proto_1.4.4-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libc6-dev_2.42-16_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./gcc-15-base_15.3.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libisl23_0.27-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libmpfr6_4.2.2-3_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libmpc3_1.3.1-3_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./cpp-15-x86-64-linux-gnu_15.3.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./cpp-15_15.3.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./cpp-x86-64-linux-gnu_15.2.0-5%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./cpp_15.2.0-5%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libcc1-0_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libgomp1_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libitm1_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libatomic1_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libasan8_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./liblsan0_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libtsan2_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libubsan1_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libhwasan0_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libquadmath0_16.1.0-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libgcc-15-dev_15.3.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./gcc-15-x86-64-linux-gnu_15.3.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./gcc-15_15.3.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./gcc-x86-64-linux-gnu_15.2.0-5%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./gcc_15.2.0-5%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./libstdc%2b%2b-15-dev_15.3.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:02:59] "GET /./g%2b%2b-15-x86-64-linux-gnu_15.3.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./g%2b%2b-15_15.3.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./g%2b%2b-x86-64-linux-gnu_15.2.0-5%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./g%2b%2b_15.2.0-5%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./make_4.4.1-3_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./libdpkg-perl_1.23.7_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./patch_2.8-2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./dpkg-dev_1.23.7_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./build-essential_12.12_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./libcoq-stdlib_8.20.1%2bdfsg-1%2bb4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./libstdlib-ocaml_5.4.1-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./ocaml-base_5.4.1-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./libfindlib-ocaml_1.9.8-1%2bb4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./libzarith-ocaml_1.14-1%2bb5_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./libcoq-core-ocaml_8.20.1%2bdfsg-1%2bb4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./libstdlib-ocaml-dev_5.4.1-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:00] "GET /./libcompiler-libs-ocaml-dev_5.4.1-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:01] "GET /./ocaml-interp_5.4.1-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:01] "GET /./libncurses6_6.6%2b20251231-1%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:01] "GET /./libncurses-dev_6.6%2b20251231-1%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:01] "GET /./libzstd-dev_1.5.7%2bdfsg-3%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:01] "GET /./ocaml_5.4.1-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:01] "GET /./ocaml-findlib_1.9.8-1%2bb4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:01] "GET /./coq_8.20.1%2bdfsg-1%2bb4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./cppo_1.8.0-1%2bb4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libdebhelper-perl_14.1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libtool_2.5.4-11_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./dh-autoreconf_22_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libarchive-zip-perl_1.68-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libfile-stripnondeterminism-perl_1.15.1-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./dh-strip-nondeterminism_1.15.1-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libelf1t64_0.195-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./dwz_0.16-4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libunistring5_1.4.2-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libxml2-16_2.15.3%2bdfsg-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./gettext_1.0-1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./intltool-debian_0.35.0%2b20060710.6_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./po-debconf_1.0.22_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./debhelper_14.1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libgmpxx4ldbl_6.3.0%2bdfsg-5%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libgmp-dev_6.3.0%2bdfsg-5%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libgmp3-dev_6.3.0%2bdfsg-5%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libzarith-ocaml-dev_1.14-1%2bb5_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libfindlib-ocaml-dev_1.9.8-1%2bb4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libcoq-core-ocaml-dev_8.20.1%2bdfsg-1%2bb4_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libjson-perl_4.10000-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./dh-coq_0.14_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./quickjs_2025.04.26-1%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libconfig-tiny-perl_2.30-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./dh-ocaml_3.4_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./ocamlbuild_0.16.1-2%2bb2_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./ocaml-dune_3.23.1-5%2bb1_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./libcoq-ext-lib_0.13.0-1%2bb7_amd64.deb HTTP/1.1" 200 - 127.0.0.1 - - [21/Jun/2026 16:03:02] "GET /./debootsnap-dummy_1.0_all.deb HTTP/1.1" 200 - I: running --customize-hook directly: /srv/rebuilderd/tmp/tmpvj79ppi_/apt_install.sh /srv/rebuilderd/tmp/mmdebstrap.rERDNjLcNj Reading package lists... Building dependency tree... Reading state information... python3.13-minimal is already the newest version (3.13.14-1). python3.13-minimal set to manually installed. libctf-nobfd0 is already the newest version (2.46.50.20260617-1). libctf-nobfd0 set to manually installed. libctf0 is already the newest version (2.46.50.20260617-1). libctf0 set to manually installed. libstdc++-15-dev is already the newest version (15.3.0-1). libstdc++-15-dev set to manually installed. mawk is already the newest version (1.3.4.20260302-1). groff-base is already the newest version (1.24.1-1). groff-base set to manually installed. gcc is already the newest version (4:15.2.0-5+b1). gcc set to manually installed. libaudit1 is already the newest version (1:4.1.2-1+b1). dh-strip-nondeterminism is already the newest version (1.15.1-1). dh-strip-nondeterminism set to manually installed. libsframe3 is already the newest version (2.46.50.20260617-1). libsframe3 set to manually installed. patch is already the newest version (2.8-2). patch set to manually installed. libitm1 is already the newest version (16.1.0-2). libitm1 set to manually installed. libarchive-zip-perl is already the newest version (1.68-1). libarchive-zip-perl set to manually installed. libdebconfclient0 is already the newest version (0.283). libpython3.13-minimal is already the newest version (3.13.14-1). libpython3.13-minimal set to manually installed. binutils-common is already the newest version (2.46.50.20260617-1). binutils-common set to manually installed. libelf1t64 is already the newest version (0.195-1). libelf1t64 set to manually installed. autotools-dev is already the newest version (20240727.1+nmu1). autotools-dev set to manually installed. intltool-debian is already the newest version (0.35.0+20060710.6). intltool-debian set to manually installed. hostname is already the newest version (3.25). libuuid1 is already the newest version (2.42.2-1). libbz2-1.0 is already the newest version (1.0.8-6+b2). perl is already the newest version (5.40.1-8). perl set to manually installed. libtinfo6 is already the newest version (6.6+20251231-1+b1). libhwasan0 is already the newest version (16.1.0-2). libhwasan0 set to manually installed. debhelper is already the newest version (14.1). debhelper set to manually installed. libzarith-ocaml is already the newest version (1.14-1+b5). libzarith-ocaml set to manually installed. debconf is already the newest version (1.5.92). gcc-15 is already the newest version (15.3.0-1). gcc-15 set to manually installed. libgmp-dev is already the newest version (2:6.3.0+dfsg-5+b2). libgmp-dev set to manually installed. xz-utils is already the newest version (5.8.3-1). xz-utils set to manually installed. libzarith-ocaml-dev is already the newest version (1.14-1+b5). libzarith-ocaml-dev set to manually installed. ncurses-bin is already the newest version (6.6+20251231-1+b1). libfindlib-ocaml is already the newest version (1.9.8-1+b4). libfindlib-ocaml set to manually installed. libxml2-16 is already the newest version (2.15.3+dfsg-1). libxml2-16 set to manually installed. libcoq-core-ocaml-dev is already the newest version (8.20.1+dfsg-1+b4). libcoq-core-ocaml-dev set to manually installed. libncurses6 is already the newest version (6.6+20251231-1+b1). libncurses6 set to manually installed. media-types is already the newest version (14.0.0). media-types set to manually installed. libcrypt1 is already the newest version (1:4.5.1-1+b1). libgmp10 is already the newest version (2:6.3.0+dfsg-5+b2). libpam-modules is already the newest version (1.7.0-6). gettext-base is already the newest version (1.0-1). gettext-base set to manually installed. libgdbm-compat4t64 is already the newest version (1.26-1+b2). libgdbm-compat4t64 set to manually installed. findutils is already the newest version (4.10.0-4). libzstd1 is already the newest version (1.5.7+dfsg-3+b2). libpython3.13-stdlib is already the newest version (3.13.14-1). libpython3.13-stdlib set to manually installed. tzdata is already the newest version (2026b-1). tzdata set to manually installed. libncursesw6 is already the newest version (6.6+20251231-1+b1). libncursesw6 set to manually installed. libmagic1t64 is already the newest version (1:5.47-4). libmagic1t64 set to manually installed. tar is already the newest version (1.35+dfsg-4). libtool is already the newest version (2.5.4-11). libtool set to manually installed. libreadline8t64 is already the newest version (8.3-4). libreadline8t64 set to manually installed. cpp is already the newest version (4:15.2.0-5+b1). cpp set to manually installed. libsmartcols1 is already the newest version (2.42.2-1). libncurses-dev is already the newest version (6.6+20251231-1+b1). libncurses-dev set to manually installed. bash is already the newest version (5.3-3). automake is already the newest version (1:1.18.1-4). automake set to manually installed. libjansson4 is already the newest version (2.14-2+b4). libjansson4 set to manually installed. libjson-perl is already the newest version (4.10000-1). libjson-perl set to manually installed. dh-coq is already the newest version (0.14). dh-coq set to manually installed. autopoint is already the newest version (1.0-1). autopoint set to manually installed. man-db is already the newest version (2.13.1-1). man-db set to manually installed. gzip is already the newest version (1.13-1). libgdbm6t64 is already the newest version (1.26-1+b2). libgdbm6t64 set to manually installed. cpp-15-x86-64-linux-gnu is already the newest version (15.3.0-1). cpp-15-x86-64-linux-gnu set to manually installed. python3.13 is already the newest version (3.13.14-1). python3.13 set to manually installed. openssl-provider-legacy is already the newest version (3.6.3-1). libudev1 is already the newest version (261~rc4-1). libc6 is already the newest version (2.42-16). libmpfr6 is already the newest version (4.2.2-3). libmpfr6 set to manually installed. quickjs is already the newest version (2025.04.26-1+b2). quickjs set to manually installed. libmagic-mgc is already the newest version (1:5.47-4). libmagic-mgc set to manually installed. gcc-15-base is already the newest version (15.3.0-1). gcc-15-base set to manually installed. binutils is already the newest version (2.46.50.20260617-1). binutils set to manually installed. zlib1g is already the newest version (1:1.3.dfsg+really1.3.2-3). libquadmath0 is already the newest version (16.1.0-2). libquadmath0 set to manually installed. build-essential is already the newest version (12.12). build-essential set to manually installed. libexpat1 is already the newest version (2.8.1-1). libexpat1 set to manually installed. make is already the newest version (4.4.1-3). make set to manually installed. libselinux1 is already the newest version (3.10-1). libisl23 is already the newest version (0.27-2). libisl23 set to manually installed. libc-bin is already the newest version (2.42-16). diffutils is already the newest version (1:3.12-1). libstdlib-ocaml is already the newest version (5.4.1-1). libstdlib-ocaml set to manually installed. perl-base is already the newest version (5.40.1-8). libubsan1 is already the newest version (16.1.0-2). libubsan1 set to manually installed. liblsan0 is already the newest version (16.1.0-2). liblsan0 set to manually installed. binutils-x86-64-linux-gnu is already the newest version (2.46.50.20260617-1). binutils-x86-64-linux-gnu set to manually installed. libconfig-tiny-perl is already the newest version (2.30-1). libconfig-tiny-perl set to manually installed. libmount1 is already the newest version (2.42.2-1). libfindlib-ocaml-dev is already the newest version (1.9.8-1+b4). libfindlib-ocaml-dev set to manually installed. base-files is already the newest version (14.2). libgomp1 is already the newest version (16.1.0-2). libgomp1 set to manually installed. libstdlib-ocaml-dev is already the newest version (5.4.1-1). libstdlib-ocaml-dev set to manually installed. file is already the newest version (1:5.47-4). file set to manually installed. libblkid1 is already the newest version (2.42.2-1). libmd0 is already the newest version (1.2.0-2). libmpc3 is already the newest version (1.3.1-3). libmpc3 set to manually installed. bzip2 is already the newest version (1.0.8-6+b2). bzip2 set to manually installed. ocaml-findlib is already the newest version (1.9.8-1+b4). ocaml-findlib set to manually installed. rpcsvc-proto is already the newest version (1.4.4-1). rpcsvc-proto set to manually installed. coq is already the newest version (8.20.1+dfsg-1+b4). coq set to manually installed. libtsan2 is already the newest version (16.1.0-2). libtsan2 set to manually installed. linux-libc-dev is already the newest version (7.0.12-2). linux-libc-dev set to manually installed. libpam0g is already the newest version (1.7.0-6). init-system-helpers is already the newest version (1.69). libc-dev-bin is already the newest version (2.42-16). libc-dev-bin set to manually installed. libc-gconv-modules-extra is already the newest version (2.42-16). libcompiler-libs-ocaml-dev is already the newest version (5.4.1-1). libcompiler-libs-ocaml-dev set to manually installed. po-debconf is already the newest version (1.0.22). po-debconf set to manually installed. libgcc-15-dev is already the newest version (15.3.0-1). libgcc-15-dev set to manually installed. netbase is already the newest version (6.5). netbase set to manually installed. ocaml is already the newest version (5.4.1-1). ocaml set to manually installed. libcoq-core-ocaml is already the newest version (8.20.1+dfsg-1+b4). libcoq-core-ocaml set to manually installed. perl-modules-5.40 is already the newest version (5.40.1-8). perl-modules-5.40 set to manually installed. libpam-runtime is already the newest version (1.7.0-6). libstdc++6 is already the newest version (16.1.0-2). libstdc++6 set to manually installed. libaudit-common is already the newest version (1:4.1.2-1). libsystemd0 is already the newest version (261~rc4-1). sed is already the newest version (4.9-3). libbinutils is already the newest version (2.46.50.20260617-1). libbinutils set to manually installed. debianutils is already the newest version (5.23.2). libpcre2-8-0 is already the newest version (10.46-1+b2). libpipeline1 is already the newest version (1.5.8-3). libpipeline1 set to manually installed. libsqlite3-0 is already the newest version (3.53.2-1). libsqlite3-0 set to manually installed. libcc1-0 is already the newest version (16.1.0-2). libcc1-0 set to manually installed. libzstd-dev is already the newest version (1.5.7+dfsg-3+b2). libzstd-dev set to manually installed. util-linux is already the newest version (2.42.2-1). coreutils is already the newest version (9.10-1). dpkg is already the newest version (1.23.7). dwz is already the newest version (0.16-4). dwz set to manually installed. libunistring5 is already the newest version (1.4.2-1). libunistring5 set to manually installed. cpp-x86-64-linux-gnu is already the newest version (4:15.2.0-5+b1). cpp-x86-64-linux-gnu set to manually installed. dpkg-dev is already the newest version (1.23.7). dpkg-dev set to manually installed. g++-x86-64-linux-gnu is already the newest version (4:15.2.0-5+b1). g++-x86-64-linux-gnu set to manually installed. libgmpxx4ldbl is already the newest version (2:6.3.0+dfsg-5+b2). libgmpxx4ldbl set to manually installed. libdb5.3t64 is already the newest version (5.3.28+dfsg2-11+b1). ncurses-base is already the newest version (6.6+20251231-1). dh-ocaml is already the newest version (3.4). dh-ocaml set to manually installed. dash is already the newest version (0.5.12-12). bsdextrautils is already the newest version (2.42.2-1). bsdextrautils set to manually installed. libpython3-stdlib is already the newest version (3.13.9-3+b1). libpython3-stdlib set to manually installed. gcc-15-x86-64-linux-gnu is already the newest version (15.3.0-1). gcc-15-x86-64-linux-gnu set to manually installed. gettext is already the newest version (1.0-1). gettext set to manually installed. libdebhelper-perl is already the newest version (14.1). libdebhelper-perl set to manually installed. ocaml-interp is already the newest version (5.4.1-1). ocaml-interp set to manually installed. libacl1 is already the newest version (2.3.2-3). g++-15-x86-64-linux-gnu is already the newest version (15.3.0-1). g++-15-x86-64-linux-gnu set to manually installed. libdpkg-perl is already the newest version (1.23.7). libdpkg-perl set to manually installed. libcoq-stdlib is already the newest version (8.20.1+dfsg-1+b4). libcoq-stdlib set to manually installed. libgcc-s1 is already the newest version (16.1.0-2). libperl5.40 is already the newest version (5.40.1-8). libperl5.40 set to manually installed. sensible-utils is already the newest version (0.0.26). sensible-utils set to manually installed. python3-minimal is already the newest version (3.13.9-3+b1). python3-minimal set to manually installed. libc6-dev is already the newest version (2.42-16). libc6-dev set to manually installed. libcap-ng0 is already the newest version (0.9.3-1). python3 is already the newest version (3.13.9-3+b1). python3 set to manually installed. libssl3t64 is already the newest version (3.6.3-1). m4 is already the newest version (1.4.21-1). m4 set to manually installed. ocamlbuild is already the newest version (0.16.1-2+b2). ocamlbuild set to manually installed. libpam-modules-bin is already the newest version (1.7.0-6). gcc-16-base is already the newest version (16.1.0-2). readline-common is already the newest version (8.3-4). readline-common set to manually installed. libseccomp2 is already the newest version (2.6.0-2+b1). libseccomp2 set to manually installed. liblzma5 is already the newest version (5.8.3-1). libuchardet0 is already the newest version (0.0.8-2+b2). libuchardet0 set to manually installed. libgmp3-dev is already the newest version (2:6.3.0+dfsg-5+b2). libgmp3-dev set to manually installed. g++ is already the newest version (4:15.2.0-5+b1). g++ set to manually installed. ocaml-base is already the newest version (5.4.1-1). ocaml-base set to manually installed. autoconf is already the newest version (2.73-2). autoconf set to manually installed. g++-15 is already the newest version (15.3.0-1). g++-15 set to manually installed. ocaml-dune is already the newest version (3.23.1-5+b1). ocaml-dune set to manually installed. libffi8 is already the newest version (3.5.2-4). libffi8 set to manually installed. libasan8 is already the newest version (16.1.0-2). libasan8 set to manually installed. libcoq-ext-lib is already the newest version (0.13.0-1+b7). libcoq-ext-lib set to manually installed. base-passwd is already the newest version (3.6.8). libattr1 is already the newest version (1:2.5.2-4). sysvinit-utils is already the newest version (3.18-1). grep is already the newest version (3.12-1). cpp-15 is already the newest version (15.3.0-1). cpp-15 set to manually installed. gcc-x86-64-linux-gnu is already the newest version (4:15.2.0-5+b1). gcc-x86-64-linux-gnu set to manually installed. libatomic1 is already the newest version (16.1.0-2). libatomic1 set to manually installed. libgprofng0 is already the newest version (2.46.50.20260617-1). libgprofng0 set to manually installed. libfile-stripnondeterminism-perl is already the newest version (1.15.1-1). libfile-stripnondeterminism-perl set to manually installed. dh-autoreconf is already the newest version (22). dh-autoreconf set to manually installed. cppo is already the newest version (1.8.0-1+b4). cppo set to manually installed. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: running --customize-hook in shell: sh -c 'chroot "$1" dpkg -r debootsnap-dummy' exec /srv/rebuilderd/tmp/mmdebstrap.rERDNjLcNj (Reading database ... 25047 files and directories currently installed.) Removing debootsnap-dummy (1.0) ... I: running --customize-hook in shell: sh -c 'chroot "$1" dpkg-query --showformat '${binary:Package}=${Version}\n' --show > "$1/pkglist"' exec /srv/rebuilderd/tmp/mmdebstrap.rERDNjLcNj I: running special hook: download /pkglist ./pkglist I: running --customize-hook in shell: sh -c 'rm "$1/pkglist"' exec /srv/rebuilderd/tmp/mmdebstrap.rERDNjLcNj I: running special hook: upload sources.list /etc/apt/sources.list I: waiting for background processes to finish... I: cleaning package lists and apt cache... I: skipping cleanup/reproducible as requested I: creating tarball... I: done I: removing tempdir /srv/rebuilderd/tmp/mmdebstrap.rERDNjLcNj... I: success in 275.2066 seconds Downloading dependency 133 of 186: cpp-x86-64-linux-gnu:amd64=4:15.2.0-5+b1 Downloading dependency 134 of 186: dpkg-dev:amd64=1.23.7 Downloading dependency 135 of 186: g++-x86-64-linux-gnu:amd64=4:15.2.0-5+b1 Downloading dependency 136 of 186: libgmpxx4ldbl:amd64=2:6.3.0+dfsg-5+b2 Downloading dependency 137 of 186: libdb5.3t64:amd64=5.3.28+dfsg2-11+b1 Downloading dependency 138 of 186: ncurses-base:amd64=6.6+20251231-1 Downloading dependency 139 of 186: dh-ocaml:amd64=3.4 Downloading dependency 140 of 186: dash:amd64=0.5.12-12 Downloading dependency 141 of 186: bsdextrautils:amd64=2.42.2-1 Downloading dependency 142 of 186: libpython3-stdlib:amd64=3.13.9-3+b1 Downloading dependency 143 of 186: gcc-15-x86-64-linux-gnu:amd64=15.3.0-1 Downloading dependency 144 of 186: gettext:amd64=1.0-1 Downloading dependency 145 of 186: libdebhelper-perl:amd64=14.1 Downloading dependency 146 of 186: ocaml-interp:amd64=5.4.1-1 Downloading dependency 147 of 186: libacl1:amd64=2.3.2-3 Downloading dependency 148 of 186: g++-15-x86-64-linux-gnu:amd64=15.3.0-1 Downloading dependency 149 of 186: libdpkg-perl:amd64=1.23.7 Downloading dependency 150 of 186: libcoq-stdlib:amd64=8.20.1+dfsg-1+b4 Downloading dependency 151 of 186: libgcc-s1:amd64=16.1.0-2 Downloading dependency 152 of 186: libperl5.40:amd64=5.40.1-8 Downloading dependency 153 of 186: sensible-utils:amd64=0.0.26 Downloading dependency 154 of 186: python3-minimal:amd64=3.13.9-3+b1 Downloading dependency 155 of 186: libc6-dev:amd64=2.42-16 Downloading dependency 156 of 186: libcap-ng0:amd64=0.9.3-1 Downloading dependency 157 of 186: python3:amd64=3.13.9-3+b1 Downloading dependency 158 of 186: libssl3t64:amd64=3.6.3-1 Downloading dependency 159 of 186: m4:amd64=1.4.21-1 Downloading dependency 160 of 186: ocamlbuild:amd64=0.16.1-2+b2 Downloading dependency 161 of 186: libpam-modules-bin:amd64=1.7.0-6 Downloading dependency 162 of 186: gcc-16-base:amd64=16.1.0-2 Downloading dependency 163 of 186: readline-common:amd64=8.3-4 Downloading dependency 164 of 186: libseccomp2:amd64=2.6.0-2+b1 Downloading dependency 165 of 186: liblzma5:amd64=5.8.3-1 Downloading dependency 166 of 186: libuchardet0:amd64=0.0.8-2+b2 Downloading dependency 167 of 186: libgmp3-dev:amd64=2:6.3.0+dfsg-5+b2 Downloading dependency 168 of 186: g++:amd64=4:15.2.0-5+b1 Downloading dependency 169 of 186: ocaml-base:amd64=5.4.1-1 Downloading dependency 170 of 186: autoconf:amd64=2.73-2 Downloading dependency 171 of 186: g++-15:amd64=15.3.0-1 Downloading dependency 172 of 186: ocaml-dune:amd64=3.23.1-5+b1 Downloading dependency 173 of 186: libffi8:amd64=3.5.2-4 Downloading dependency 174 of 186: libasan8:amd64=16.1.0-2 Downloading dependency 175 of 186: libcoq-ext-lib:amd64=0.13.0-1+b7 Downloading dependency 176 of 186: base-passwd:amd64=3.6.8 Downloading dependency 177 of 186: libattr1:amd64=1:2.5.2-4 Downloading dependency 178 of 186: sysvinit-utils:amd64=3.18-1 Downloading dependency 179 of 186: grep:amd64=3.12-1 Downloading dependency 180 of 186: cpp-15:amd64=15.3.0-1 Downloading dependency 181 of 186: gcc-x86-64-linux-gnu:amd64=4:15.2.0-5+b1 Downloading dependency 182 of 186: libatomic1:amd64=16.1.0-2 Downloading dependency 183 of 186: libgprofng0:amd64=2.46.50.20260617-1 Downloading dependency 184 of 186: libfile-stripnondeterminism-perl:amd64=1.15.1-1 Downloading dependency 185 of 186: dh-autoreconf:amd64=22 Downloading dependency 186 of 186: cppo:amd64=1.8.0-1+b4 env --chdir=/srv/rebuilderd/tmp/rebuilderdlutORt/out DEB_BUILD_OPTIONS=parallel=6 LANG=C.UTF-8 LC_COLLATE=C.UTF-8 LC_CTYPE=C.UTF-8 SOURCE_DATE_EPOCH=1781967496 SBUILD_CONFIG=/srv/rebuilderd/tmp/debrebuildfhUSaK/debrebuild.sbuildrc.86cDOYOasgr1 sbuild --build=amd64 --host=amd64 --arch-any --no-arch-all --binNMU-changelog= coq-simple-io (1.11.0-1+b4) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild with OCaml 5.4.1 -- all / amd64 / i386 Build Daemon (x86-conova-02) Sat, 20 Jun 2026 14:58:16 +0000 --chroot=/srv/rebuilderd/tmp/debrebuildfhUSaK/debrebuild.tar.oQ4FsYy_01jN --chroot-mode=unshare --dist=unstable --no-run-lintian --no-run-piuparts --no-run-autopkgtest --no-apt-update --no-apt-upgrade --no-apt-distupgrade --no-source --verbose --nolog --bd-uninstallable-explainer= --build-path=/build/reproducible-path --dsc-dir=coq-simple-io-1.11.0 /srv/rebuilderd/tmp/rebuilderdlutORt/inputs/coq-simple-io_1.11.0-1.dsc I: consider moving your ~/.sbuildrc to /srv/rebuilderd/.config/sbuild/config.pl The Debian buildds switched to the "unshare" backend and sbuild will default to it in the future. To start using "unshare" add this to your `~/.config/sbuild/config.pl`: $chroot_mode = "unshare"; If you want to keep the old "schroot" mode even in the future, add the following to your `~/.config/sbuild/config.pl`: $chroot_mode = "schroot"; $schroot = "schroot"; sbuild: warning: descr(l1): found blank line where expected first heading sbuild (Debian sbuild) 0.89.3+deb13u4 (28 December 2025) on osuosl41-amd64.novalocal +==============================================================================+ | coq-simple-io 1.11.0-1+b4 (amd64) Sun, 21 Jun 2026 16:06:55 +0000 | +==============================================================================+ Package: coq-simple-io Version: 1.11.0-1+b4 Source Version: 1.11.0-1 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: any I: No tarballs found in /srv/rebuilderd/.cache/sbuild I: Unpacking /srv/rebuilderd/tmp/debrebuildfhUSaK/debrebuild.tar.oQ4FsYy_01jN to /srv/rebuilderd/tmp/tmp.sbuild.jG8IcRPhQG... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Fetch source files Sun, 21 Jun 2026 16:07:04 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /srv/rebuilderd/tmp/rebuilderdlutORt/inputs/coq-simple-io_1.11.0-1.dsc exists in /srv/rebuilderd/tmp/rebuilderdlutORt/inputs; copying to chroot sbuild: warning: descr(l1): found blank line where expected first heading +------------------------------------------------------------------------------+ | Install package build dependencies Sun, 21 Jun 2026 16:07:05 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ext-lib, libcoq-core-ocaml-dev, libcoq-stdlib, ocamlbuild, ocaml-dune, build-essential Filtered Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ext-lib, libcoq-core-ocaml-dev, libcoq-stdlib, ocamlbuild, ocaml-dune, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-oodWgS/apt_archive/sbuild-build-depends-main-dummy.deb'. Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies +------------------------------------------------------------------------------+ | Check architectures Sun, 21 Jun 2026 16:07:08 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Sun, 21 Jun 2026 16:07:09 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.90+deb13.1-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.90-2 (2026-05-27) amd64 (x86_64) Toolchain package versions: binutils_2.46.50.20260617-1 dpkg-dev_1.23.7 g++-15_15.3.0-1 gcc-15_15.3.0-1 libc6-dev_2.42-16 libstdc++-15-dev_15.3.0-1 libstdc++6_16.1.0-2 linux-libc-dev_7.0.12-2 Package versions: autoconf_2.73-2 automake_1:1.18.1-4 autopoint_1.0-1 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8 bash_5.3-3 binutils_2.46.50.20260617-1 binutils-common_2.46.50.20260617-1 binutils-x86-64-linux-gnu_2.46.50.20260617-1 bsdextrautils_2.42.2-1 build-essential_12.12 bzip2_1.0.8-6+b2 coq_8.20.1+dfsg-1+b4 coreutils_9.10-1 cpp_4:15.2.0-5+b1 cpp-15_15.3.0-1 cpp-15-x86-64-linux-gnu_15.3.0-1 cpp-x86-64-linux-gnu_4:15.2.0-5+b1 cppo_1.8.0-1+b4 dash_0.5.12-12 debconf_1.5.92 debhelper_14.1 debianutils_5.23.2 dh-autoreconf_22 dh-coq_0.14 dh-ocaml_3.4 dh-strip-nondeterminism_1.15.1-1 diffutils_1:3.12-1 dpkg_1.23.7 dpkg-dev_1.23.7 dwz_0.16-4 file_1:5.47-4 findutils_4.10.0-4 g++_4:15.2.0-5+b1 g++-15_15.3.0-1 g++-15-x86-64-linux-gnu_15.3.0-1 g++-x86-64-linux-gnu_4:15.2.0-5+b1 gcc_4:15.2.0-5+b1 gcc-15_15.3.0-1 gcc-15-base_15.3.0-1 gcc-15-x86-64-linux-gnu_15.3.0-1 gcc-16-base_16.1.0-2 gcc-x86-64-linux-gnu_4:15.2.0-5+b1 gettext_1.0-1 gettext-base_1.0-1 grep_3.12-1 groff-base_1.24.1-1 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-3 libarchive-zip-perl_1.68-1 libasan8_16.1.0-2 libatomic1_16.1.0-2 libattr1_1:2.5.2-4 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b1 libbinutils_2.46.50.20260617-1 libblkid1_2.42.2-1 libbz2-1.0_1.0.8-6+b2 libc-bin_2.42-16 libc-dev-bin_2.42-16 libc-gconv-modules-extra_2.42-16 libc6_2.42-16 libc6-dev_2.42-16 libcap-ng0_0.9.3-1 libcc1-0_16.1.0-2 libcompiler-libs-ocaml-dev_5.4.1-1 libconfig-tiny-perl_2.30-1 libcoq-core-ocaml_8.20.1+dfsg-1+b4 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4 libcoq-ext-lib_0.13.0-1+b7 libcoq-stdlib_8.20.1+dfsg-1+b4 libcrypt1_1:4.5.1-1+b1 libctf-nobfd0_2.46.50.20260617-1 libctf0_2.46.50.20260617-1 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.283 libdebhelper-perl_14.1 libdpkg-perl_1.23.7 libelf1t64_0.195-1 libexpat1_2.8.1-1 libffi8_3.5.2-4 libfile-stripnondeterminism-perl_1.15.1-1 libfindlib-ocaml_1.9.8-1+b4 libfindlib-ocaml-dev_1.9.8-1+b4 libgcc-15-dev_15.3.0-1 libgcc-s1_16.1.0-2 libgdbm-compat4t64_1.26-1+b2 libgdbm6t64_1.26-1+b2 libgmp-dev_2:6.3.0+dfsg-5+b2 libgmp10_2:6.3.0+dfsg-5+b2 libgmp3-dev_2:6.3.0+dfsg-5+b2 libgmpxx4ldbl_2:6.3.0+dfsg-5+b2 libgomp1_16.1.0-2 libgprofng0_2.46.50.20260617-1 libhwasan0_16.1.0-2 libisl23_0.27-2 libitm1_16.1.0-2 libjansson4_2.14-2+b4 libjson-perl_4.10000-1 liblsan0_16.1.0-2 liblzma5_5.8.3-1 libmagic-mgc_1:5.47-4 libmagic1t64_1:5.47-4 libmd0_1.2.0-2 libmount1_2.42.2-1 libmpc3_1.3.1-3 libmpfr6_4.2.2-3 libncurses-dev_6.6+20251231-1+b1 libncurses6_6.6+20251231-1+b1 libncursesw6_6.6+20251231-1+b1 libpam-modules_1.7.0-6 libpam-modules-bin_1.7.0-6 libpam-runtime_1.7.0-6 libpam0g_1.7.0-6 libpcre2-8-0_10.46-1+b2 libperl5.40_5.40.1-8 libpipeline1_1.5.8-3 libpython3-stdlib_3.13.9-3+b1 libpython3.13-minimal_3.13.14-1 libpython3.13-stdlib_3.13.14-1 libquadmath0_16.1.0-2 libreadline8t64_8.3-4 libseccomp2_2.6.0-2+b1 libselinux1_3.10-1 libsframe3_2.46.50.20260617-1 libsmartcols1_2.42.2-1 libsqlite3-0_3.53.2-1 libssl3t64_3.6.3-1 libstdc++-15-dev_15.3.0-1 libstdc++6_16.1.0-2 libstdlib-ocaml_5.4.1-1 libstdlib-ocaml-dev_5.4.1-1 libsystemd0_261~rc4-1 libtinfo6_6.6+20251231-1+b1 libtool_2.5.4-11 libtsan2_16.1.0-2 libubsan1_16.1.0-2 libuchardet0_0.0.8-2+b2 libudev1_261~rc4-1 libunistring5_1.4.2-1 libuuid1_2.42.2-1 libxml2-16_2.15.3+dfsg-1 libzarith-ocaml_1.14-1+b5 libzarith-ocaml-dev_1.14-1+b5 libzstd-dev_1.5.7+dfsg-3+b2 libzstd1_1.5.7+dfsg-3+b2 linux-libc-dev_7.0.12-2 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260302-1 media-types_14.0.0 ncurses-base_6.6+20251231-1 ncurses-bin_6.6+20251231-1+b1 netbase_6.5 ocaml_5.4.1-1 ocaml-base_5.4.1-1 ocaml-dune_3.23.1-5+b1 ocaml-findlib_1.9.8-1+b4 ocaml-interp_5.4.1-1 ocamlbuild_0.16.1-2+b2 openssl-provider-legacy_3.6.3-1 patch_2.8-2 perl_5.40.1-8 perl-base_5.40.1-8 perl-modules-5.40_5.40.1-8 po-debconf_1.0.22 python3_3.13.9-3+b1 python3-minimal_3.13.9-3+b1 python3.13_3.13.14-1 python3.13-minimal_3.13.14-1 quickjs_2025.04.26-1+b2 readline-common_8.3-4 rpcsvc-proto_1.4.4-1 sed_4.9-3 sensible-utils_0.0.26 sysvinit-utils_3.18-1 tar_1.35+dfsg-4 tzdata_2026b-1 util-linux_2.42.2-1 xz-utils_5.8.3-1 zlib1g_1:1.3.dfsg+really1.3.2-3 +------------------------------------------------------------------------------+ | Build Sun, 21 Jun 2026 16:07:09 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coq-simple-io Binary: libcoq-simple-io Architecture: any Version: 1.11.0-1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/coq-community/coq-simple-io Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-simple-io Vcs-Git: https://salsa.debian.org/ocaml-team/coq-simple-io.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ext-lib, libcoq-core-ocaml-dev, libcoq-stdlib, ocamlbuild , ocaml-dune Package-List: libcoq-simple-io deb ocaml optional arch=any Checksums-Sha1: 8ab9aa23aabbec6a24c72e5951cb76ad978681a9 35489 coq-simple-io_1.11.0.orig.tar.gz 53686309a3411107936da346d8b2be97d80055ee 2676 coq-simple-io_1.11.0-1.debian.tar.xz Checksums-Sha256: d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz 71c68010951ba9e8c3d8b26a426febe9d02a98d43403314c5874998e06f876b2 2676 coq-simple-io_1.11.0-1.debian.tar.xz Files: 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz 5f195df296c507c8c07c6fa425f7e853 2676 coq-simple-io_1.11.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmfZZO0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURIOD/wKtC3lPE/DWkrzln2OqdXb 354ouf5iOU3z5q//ItCSNzwxrMglRCc3JqY59gVJyYHzD36q+K8wgyckOu1/RfiM X9MlYQgw/3Nj3FDkfHqloO5g4ZoUUZgKFSMrI0WSVpxuUZrfDqdiyyrr9w7MdxSf Meyvzn5iPJKaaowbIiyS69Z9ypjT8Kvh2M402RNlGp/lsRCxa3I/hhPLCZYVUigP pVJf7iMMeB2MznvUBAgOs5/BHgId8futNn0K9fSQ3miD/QzBuMrv2ssJ6PV9BjSg +cy8f18q/M0uKu+f1CKSYqkuI8kSCwaqWTr5tHwsprkbqb0U7Y48vF+hGuYsREwo 0H29o9Xg3KoyxJV2IAiQ01kzSsS/r6aCwYgXhnapxw7YXVTiZFv/bQZ198mocrMf YiDOjxkmzw1Uf/WPSkTQSOstCSQLfPL+/4hVy2Z4plZLgq8VF66qp5kPqp3JTk5B m9+C8LlvRl1BeD6Dh8+3TDMxaUCVgGSk9ucKNAemrrbiORZclUYX4cAjwkH0xwiv 3+RgOofBmZ3g7Vkei8O7uJyFHL6+48EVy06wX6sYuHH4UDdufFanYZymJH8OcX+i IV2MGCciYtH7pGRJKYHSzhqUQHs5kSA2qnMh1wyDSmxDctD1GYRBKpG+ZoQp36wf Df6mXad3Gy1Y91/Rqm7fNQ== =RBbu -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./coq-simple-io_1.11.0-1.dsc: missing OpenPGP keyrings dpkg-source: info: verifying ./coq-simple-io_1.11.0-1.dsc dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-keyring.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-tag2upload.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-nonupload.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-maintainers.pgp dpkg-source: info: extracting coq-simple-io in /build/reproducible-path/coq-simple-io-1.11.0 dpkg-source: info: unpacking coq-simple-io_1.11.0.orig.tar.gz dpkg-source: info: unpacking coq-simple-io_1.11.0-1.debian.tar.xz Check disk space ---------------- Sufficient free space for build Hack binNMU version ------------------- Created changelog entry for binNMU version 1.11.0-1+b4 User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=6 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LC_COLLATE=C.UTF-8 LC_CTYPE=C.UTF-8 LOGNAME=sbuild PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SHELL=/bin/sh SOURCE_DATE_EPOCH=1781967496 USER=sbuild dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -B dpkg-buildpackage: info: source package coq-simple-io dpkg-buildpackage: info: source version 1.11.0-1+b4 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by all / amd64 / i386 Build Daemon (x86-conova-02) dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with coq,ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/coq-simple-io-1.11.0' dune clean Warning: Cache directories could not be created: Permission denied; disabling cache Hint: Make sure the directory /sbuild-nonexistent/.cache/dune/db/temp can be created rm -f plugin/META.coq-simple-io test/TestOcamlbuild.glob make[1]: Leaving directory '/build/reproducible-path/coq-simple-io-1.11.0' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with coq,ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/build/reproducible-path/coq-simple-io-1.11.0' dune build -p coq-simple-io Warning: Cache directories could not be created: Permission denied; disabling cache Hint: Make sure the directory /sbuild-nonexistent/.cache/dune/db/temp can be created (cd _build/default/src && /usr/bin/coqdep -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/boot -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/clib -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/config -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/engine -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/gramlib -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/interp -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/kernel -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/lib -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/library -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/parsing -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/perf -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/plugins/extraction -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/pretyping -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/printing -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/proofs -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/tactics -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/vernac -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/vm -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/dynlink -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/findlib -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/str -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/threads -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/unix -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith -I ../plugin -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/btauto -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/cc -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/derive -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/extraction -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/firstorder -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/funind -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ltac -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ltac2 -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ltac2_ltac1 -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/micromega -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/micromega_core -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/nsatz -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/number_string_notation -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ring -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/rtauto -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ssreflect -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ssrmatching -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/tauto -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/zify -R /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/theories Coq -R . SimpleIO -dyndep opt -vos SimpleIO_Plugin.v SimpleIO.v IO_UnsafeNat.v IO_Unsafe.v IO_Unix.v IO_Sys.v IO_String.v IO_StdlibAxioms.v IO_Stdlib.v IO_RawChar.v IO_Random.v IO_MonadFix.v IO_Monad.v IO_Float.v IO_Filename.v IO_Exceptions.v IO_Bytes.v) > _build/default/src/.SimpleIO.theory.d Warning: in file SimpleIO_Plugin.v, declared ML module coqsimpleio_plugin has not been found! [declared-module-not-found,filesystem,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/boot -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/clib -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/config -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/engine -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/gramlib -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/interp -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/kernel -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/lib -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/library -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/parsing -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/perf -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/plugins/extraction -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/pretyping -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/printing -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/proofs -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/tactics -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/vernac -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-core/vm -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/dynlink -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/findlib -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/str -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/threads -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/unix -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith -I plugin -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/btauto -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/cc -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/derive -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/extraction -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/firstorder -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/funind -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ltac -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ltac2 -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ltac2_ltac1 -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/micromega -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/micromega_core -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/nsatz -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/number_string_notation -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ring -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/rtauto -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ssreflect -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/ssrmatching -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/tauto -I /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/../coq-core/plugins/zify -R /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq/theories Coq -R src SimpleIO src/SimpleIO_Plugin.v) File "./src/SimpleIO_Plugin.v", line 3, characters 0-60: Error: Can't find file coqsimpleio_plugin.cmxs on loadpath. make[1]: *** [debian/rules:12: override_dh_auto_build] Error 1 make[1]: Leaving directory '/build/reproducible-path/coq-simple-io-1.11.0' make: *** [debian/rules:6: binary-arch] Error 2 dpkg-buildpackage: error: debian/rules binary-arch subprocess failed with exit status 2 -------------------------------------------------------------------------------- Build finished at 2026-06-21T16:07:14Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup Sun, 21 Jun 2026 16:07:14 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died with exit 2) +------------------------------------------------------------------------------+ | Summary Sun, 21 Jun 2026 16:07:15 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: any Build-Space: 2608 Build-Time: 4 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 3 Job: /srv/rebuilderd/tmp/rebuilderdlutORt/inputs/coq-simple-io_1.11.0-1.dsc Machine Architecture: amd64 Package: coq-simple-io Package-Time: 19 Source-Version: 1.11.0-1 Space: 2608 Status: attempted Version: 1.11.0-1+b4 -------------------------------------------------------------------------------- Finished at 2026-06-21T16:07:14Z Build needed 00:00:19, 2608k disk space E: Build failure (dpkg-buildpackage died with exit 2) sbuild failed