=============================================================================== 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/rebuilderd3cHALB/inputs/coq-simple-io_1.11.0-3_i386.buildinfo Source: coq-simple-io Version: 1.11.0-3 rebuilderd-worker node: infom07-amd64 +------------------------------------------------------------------------------+ | Downloading sources Tue, 24 Feb 2026 00:55:30 +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 [137 kB] Get:7 https://deb.debian.org/debian sid InRelease [187 kB] Get:8 https://deb.debian.org/debian experimental InRelease [91.7 kB] Get:9 https://deb.debian.org/debian trixie/main Sources [10.5 MB] Get:10 https://deb.debian.org/debian trixie/non-free-firmware Sources [6552 B] Get:11 https://deb.debian.org/debian-security trixie-security/main Sources [136 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 [2788 B] Get:14 https://deb.debian.org/debian trixie-proposed-updates/main Sources [70.5 kB] Get:15 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [2468 B] Get:16 https://deb.debian.org/debian trixie-backports/main Sources [147 kB] Get:17 https://deb.debian.org/debian forky/non-free-firmware Sources [8304 B] Get:18 https://deb.debian.org/debian forky/main Sources [10.6 MB] Get:19 https://deb.debian.org/debian sid/main Sources [11.3 MB] Get:20 https://deb.debian.org/debian sid/non-free-firmware Sources [10.6 kB] Get:21 https://deb.debian.org/debian experimental/main Sources [402 kB] Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [2572 B] Fetched 34.0 MB in 3s (11.5 MB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/c/coq-simple-io/coq-simple-io_1.11.0-3.dsc' coq-simple-io_1.11.0-3.dsc 2189 SHA256:67d2e677deef42bba80c15b71d6a7b202dda83f151921870a63bee3f645acbba '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-3.debian.tar.xz' coq-simple-io_1.11.0-3.debian.tar.xz 2820 SHA256:9f7b645042d54b9d9a9e32b77d1af7118a8cb9455b8fb4c54e153a444e1b44ac d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f coq-simple-io_1.11.0.orig.tar.gz 9f7b645042d54b9d9a9e32b77d1af7118a8cb9455b8fb4c54e153a444e1b44ac coq-simple-io_1.11.0-3.debian.tar.xz 67d2e677deef42bba80c15b71d6a7b202dda83f151921870a63bee3f645acbba coq-simple-io_1.11.0-3.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Tue, 24 Feb 2026 00:55:33 +0000 | +------------------------------------------------------------------------------+ Rebuilding coq-simple-io=1.11.0-3 in /srv/rebuilderd/tmp/rebuilderd3cHALB/inputs now. + nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderd3cHALB/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderd3cHALB/inputs/coq-simple-io_1.11.0-3_i386.buildinfo /srv/rebuilderd/tmp/rebuilderd3cHALB/inputs/coq-simple-io_1.11.0-3_i386.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 [187 kB] Get:2 http://snapshot.debian.org/archive/debian/20260213T142840Z sid InRelease [187 kB] Get:3 http://snapshot.debian.org/archive/debian/20260223T081835Z rc-buggy InRelease [91.7 kB] Get:4 http://deb.debian.org/debian unstable/main i386 Packages [9924 kB] Get:5 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 Packages [9857 kB] Ign:5 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 Packages Get:6 http://snapshot.debian.org/archive/debian/20260223T081835Z rc-buggy/main i386 Packages [516 kB] Get:5 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 Packages [9857 kB] Fetched 20.8 MB in 2s (8348 kB/s) Reading package lists... W: http://snapshot.debian.org/archive/debian/20260213T142840Z/dists/sid/InRelease: Loading /etc/apt/trusted.gpg from deprecated option Dir::Etc::Trusted W: http://snapshot.debian.org/archive/debian/20260223T081835Z/dists/rc-buggy/InRelease: Loading /etc/apt/trusted.gpg from deprecated option Dir::Etc::Trusted Get:1 http://deb.debian.org/debian unstable/main i386 automake all 1:1.18.1-3 [878 kB] Fetched 878 kB in 0s (57.8 MB/s) dpkg-name: info: moved 'automake_1%3a1.18.1-3_all.deb' to '/srv/rebuilderd/tmp/tmp4anecxp3/automake_1.18.1-3_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 bzip2 i386 1.0.8-6+b1 [41.0 kB] Fetched 41.0 kB in 0s (3540 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpt8374h0p/bzip2_1.0.8-6+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Fetched 22.9 kB in 0s (1941 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb299crzj/intltool-debian_0.35.0+20060710.6_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 openssl-provider-legacy i386 3.5.5-1 [307 kB] Fetched 307 kB in 0s (28.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppk46yemw/openssl-provider-legacy_3.5.5-1_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260223T081835Z rc-buggy/main i386 libcoq-stdlib i386 9.0.0-3+b1 [19.5 MB] Fetched 19.5 MB in 0s (78.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5blu278f/libcoq-stdlib_9.0.0-3+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 file i386 1:5.46-5+b1 [43.8 kB] Fetched 43.8 kB in 0s (3858 kB/s) dpkg-name: info: moved 'file_1%3a5.46-5+b1_i386.deb' to '/srv/rebuilderd/tmp/tmpksc3kzgy/file_5.46-5+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 dash i386 0.5.12-12 [103 kB] Fetched 103 kB in 0s (8257 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5mtqpaxp/dash_0.5.12-12_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libreadline8t64 i386 8.3-4 [185 kB] Fetched 185 kB in 0s (16.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8mxcwocy/libreadline8t64_8.3-4_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libattr1 i386 1:2.5.2-3+b1 [23.5 kB] Fetched 23.5 kB in 0s (1804 kB/s) dpkg-name: info: moved 'libattr1_1%3a2.5.2-3+b1_i386.deb' to '/srv/rebuilderd/tmp/tmpmawdx93q/libattr1_2.5.2-3+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 g++-15 i386 15.2.0-13 [26.0 kB] Fetched 26.0 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp11jjnauv/g++-15_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libdb5.3t64 i386 5.3.28+dfsg2-11 [768 kB] Fetched 768 kB in 0s (52.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpeo985tdl/libdb5.3t64_5.3.28+dfsg2-11_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libzstd1 i386 1.5.7+dfsg-3+b1 [308 kB] Fetched 308 kB in 0s (25.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdjybu3gb/libzstd1_1.5.7+dfsg-3+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libc-gconv-modules-extra i386 2.42-13 [1126 kB] Fetched 1126 kB in 0s (68.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppowmc1xa/libc-gconv-modules-extra_2.42-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libmd0 i386 1.1.0-2+b2 [38.4 kB] Fetched 38.4 kB in 0s (3293 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpi_3rh7sv/libmd0_1.1.0-2+b2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libdpkg-perl all 1.23.5 [668 kB] Fetched 668 kB in 0s (54.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxru7dlbz/libdpkg-perl_1.23.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libssl3t64 i386 3.5.5-1 [2422 kB] Fetched 2422 kB in 0s (106 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb0umccce/libssl3t64_3.5.5-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 dpkg-dev all 1.23.5 [1318 kB] Fetched 1318 kB in 0s (94.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcd5tff3d/dpkg-dev_1.23.5_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 bash i386 5.3-1 [1591 kB] Fetched 1591 kB in 0s (86.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5pn5eit8/bash_5.3-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 findutils i386 4.10.0-3 [714 kB] Fetched 714 kB in 0s (50.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmple1sjvkt/findutils_4.10.0-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libstdc++6 i386 15.2.0-13 [781 kB] Fetched 781 kB in 0s (54.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5_jbolc4/libstdc++6_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libzarith-ocaml-dev i386 1.14-1+b3 [81.9 kB] Fetched 81.9 kB in 0s (6038 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2s6ek744/libzarith-ocaml-dev_1.14-1+b3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 ocaml-base i386 5.4.0-3 [537 kB] Fetched 537 kB in 0s (37.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpig236ser/ocaml-base_5.4.0-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libgmp-dev i386 2:6.3.0+dfsg-5+b1 [660 kB] Fetched 660 kB in 0s (49.5 MB/s) dpkg-name: info: moved 'libgmp-dev_2%3a6.3.0+dfsg-5+b1_i386.deb' to '/srv/rebuilderd/tmp/tmp5om0sl3w/libgmp-dev_6.3.0+dfsg-5+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 m4 i386 1.4.21-1 [335 kB] Fetched 335 kB in 0s (29.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpunz53vul/m4_1.4.21-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libmpfr6 i386 4.2.2-2+b1 [757 kB] Fetched 757 kB in 0s (51.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzbml1ojv/libmpfr6_4.2.2-2+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libzarith-ocaml i386 1.14-1+b3 [83.3 kB] Fetched 83.3 kB in 0s (7921 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfvy0_x9x/libzarith-ocaml_1.14-1+b3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 ocaml-dune i386 3.20.2-3+b1 [1059 kB] Fetched 1059 kB in 0s (59.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxg9nztja/ocaml-dune_3.20.2-3+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 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/tmpv8ql_jtn/sensible-utils_0.0.26_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 g++-i686-linux-gnu i386 4:15.2.0-5 [1192 B] Fetched 1192 B in 0s (99.5 kB/s) dpkg-name: info: moved 'g++-i686-linux-gnu_4%3a15.2.0-5_i386.deb' to '/srv/rebuilderd/tmp/tmpj2vjwxn8/g++-i686-linux-gnu_15.2.0-5_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 dpkg i386 1.23.5 [1555 kB] Fetched 1555 kB in 0s (84.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2uxeozdt/dpkg_1.23.5_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libcompiler-libs-ocaml-dev i386 5.4.0-3 [26.5 MB] Fetched 26.5 MB in 0s (76.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpli5wvnxz/libcompiler-libs-ocaml-dev_5.4.0-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 rpcsvc-proto i386 1.4.3-1 [66.1 kB] Fetched 66.1 kB in 0s (5873 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpi1oi5tip/rpcsvc-proto_1.4.3-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libgomp1 i386 15.2.0-13 [142 kB] Fetched 142 kB in 0s (12.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzj_3g826/libgomp1_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 readline-common all 8.3-4 [74.8 kB] Fetched 74.8 kB in 0s (6366 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfiicsm11/readline-common_8.3-4_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libpam-modules-bin i386 1.7.0-5+b1 [52.2 kB] Fetched 52.2 kB in 0s (4494 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp789_a2jo/libpam-modules-bin_1.7.0-5+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libncurses-dev i386 6.6+20251231-1 [384 kB] Fetched 384 kB in 0s (29.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf6gdts20/libncurses-dev_6.6+20251231-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 make i386 4.4.1-3 [470 kB] Fetched 470 kB in 0s (39.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpavpcv1ic/make_4.4.1-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libdebconfclient0 i386 0.282+b2 [11.2 kB] Fetched 11.2 kB in 0s (1025 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpaumqhnol/libdebconfclient0_0.282+b2_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libsmartcols1 i386 2.41.3-3 [154 kB] Fetched 154 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwa7t8_y5/libsmartcols1_2.41.3-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libstdlib-ocaml-dev i386 5.4.0-3 [5653 kB] Fetched 5653 kB in 0s (130 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmploqby6k8/libstdlib-ocaml-dev_5.4.0-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 python3.13-minimal i386 3.13.12-1 [2305 kB] Fetched 2305 kB in 0s (107 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqvlsdrl1/python3.13-minimal_3.13.12-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libmpc3 i386 1.3.1-2+b1 [60.0 kB] Fetched 60.0 kB in 0s (5538 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2moqa0vo/libmpc3_1.3.1-2+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 gettext-base i386 0.23.2-1 [246 kB] Fetched 246 kB in 0s (21.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpls6wqtp9/gettext-base_0.23.2-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libseccomp2 i386 2.6.0-2+b1 [55.0 kB] Fetched 55.0 kB in 0s (4899 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6hr8x8_k/libseccomp2_2.6.0-2+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libbz2-1.0 i386 1.0.8-6+b1 [38.0 kB] Fetched 38.0 kB in 0s (3074 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfbu1am50/libbz2-1.0_1.0.8-6+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libunistring5 i386 1.3-2+b1 [466 kB] Fetched 466 kB in 0s (28.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpibxxnhsd/libunistring5_1.3-2+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 perl-modules-5.40 all 5.40.1-7 [3012 kB] Fetched 3012 kB in 0s (126 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkozdid3h/perl-modules-5.40_5.40.1-7_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 python3-minimal i386 3.13.9-3 [27.6 kB] Fetched 27.6 kB in 0s (2303 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpw4bkyr0o/python3-minimal_3.13.9-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 build-essential i386 12.12 [4620 B] Fetched 4620 B in 0s (425 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6aspwxis/build-essential_12.12_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libselinux1 i386 3.9-4+b1 [89.2 kB] Fetched 89.2 kB in 0s (8084 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpp57kc9if/libselinux1_3.9-4+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libudev1 i386 259.1-1 [162 kB] Fetched 162 kB in 0s (14.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpr7rr6fn8/libudev1_259.1-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 debianutils i386 5.23.2 [92.7 kB] Fetched 92.7 kB in 0s (7099 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmtlp_9p6/debianutils_5.23.2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 autoconf all 2.72-3.1 [494 kB] Fetched 494 kB in 0s (34.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwzjv5hnj/autoconf_2.72-3.1_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libpam0g i386 1.7.0-5+b1 [73.3 kB] Fetched 73.3 kB in 0s (6077 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpm_olelnk/libpam0g_1.7.0-5+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libgdbm6t64 i386 1.26-1+b1 [84.3 kB] Fetched 84.3 kB in 0s (785 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp14od90hy/libgdbm6t64_1.26-1+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 debhelper all 13.30 [942 kB] Fetched 942 kB in 0s (52.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpd1m04swk/debhelper_13.30_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libgmpxx4ldbl i386 2:6.3.0+dfsg-5+b1 [330 kB] Fetched 330 kB in 0s (28.1 MB/s) dpkg-name: info: moved 'libgmpxx4ldbl_2%3a6.3.0+dfsg-5+b1_i386.deb' to '/srv/rebuilderd/tmp/tmp66bynmrr/libgmpxx4ldbl_6.3.0+dfsg-5+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 gettext i386 0.23.2-1 [1718 kB] Fetched 1718 kB in 0s (90.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnjp_3iiw/gettext_0.23.2-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libgdbm-compat4t64 i386 1.26-1+b1 [53.6 kB] Fetched 53.6 kB in 0s (4869 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplktaj558/libgdbm-compat4t64_1.26-1+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 mawk i386 1.3.4.20260129-1 [146 kB] Fetched 146 kB in 0s (13.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmps55_2kg2/mawk_1.3.4.20260129-1_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260223T081835Z rc-buggy/main i386 libcoq-core-ocaml i386 9.1.0+dfsg-3+b1 [17.5 MB] Fetched 17.5 MB in 0s (87.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph5wk8q6j/libcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libquadmath0 i386 15.2.0-13 [229 kB] Fetched 229 kB in 0s (17.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdropqf8v/libquadmath0_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libpipeline1 i386 1.5.8-2 [41.7 kB] Fetched 41.7 kB in 0s (3622 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcbkujt_z/libpipeline1_1.5.8-2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 python3 i386 3.13.9-3 [27.6 kB] Fetched 27.6 kB in 0s (2462 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpq_p7_xv1/python3_3.13.9-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 dwz i386 0.16-2 [116 kB] Fetched 116 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8i0dpg7u/dwz_0.16-2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 diffutils i386 1:3.12-1 [413 kB] Fetched 413 kB in 0s (30.9 MB/s) dpkg-name: info: moved 'diffutils_1%3a3.12-1_i386.deb' to '/srv/rebuilderd/tmp/tmp311qgl9e/diffutils_3.12-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libubsan1 i386 15.2.0-13 [1081 kB] Fetched 1081 kB in 0s (68.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxqm1gjv7/libubsan1_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 ncurses-base all 6.6+20251231-1 [277 kB] Fetched 277 kB in 0s (19.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp20ghiell/ncurses-base_6.6+20251231-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 tzdata all 2025c-3 [263 kB] Fetched 263 kB in 0s (21.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp95w2uos0/tzdata_2025c-3_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libgmp3-dev i386 2:6.3.0+dfsg-5+b1 [322 kB] Fetched 322 kB in 0s (22.3 MB/s) dpkg-name: info: moved 'libgmp3-dev_2%3a6.3.0+dfsg-5+b1_i386.deb' to '/srv/rebuilderd/tmp/tmpegsnkpls/libgmp3-dev_6.3.0+dfsg-5+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libpam-modules i386 1.7.0-5+b1 [193 kB] Fetched 193 kB in 0s (18.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpje8eg2kn/libpam-modules_1.7.0-5+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 dh-strip-nondeterminism all 1.15.0-1 [8812 B] Fetched 8812 B in 0s (813 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6oxjw1qn/dh-strip-nondeterminism_1.15.0-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libc-bin i386 2.42-13 [667 kB] Fetched 667 kB in 0s (48.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmps4l3n7lp/libc-bin_2.42-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 gcc-15 i386 15.2.0-13 [535 kB] Fetched 535 kB in 0s (36.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpp0f5_zat/gcc-15_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libzstd-dev i386 1.5.7+dfsg-3+b1 [376 kB] Fetched 376 kB in 0s (29.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5qik9dy3/libzstd-dev_1.5.7+dfsg-3+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 autotools-dev all 20240727.1 [60.2 kB] Fetched 60.2 kB in 0s (5214 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfdaagly_/autotools-dev_20240727.1_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libperl5.40 i386 5.40.1-7 [3962 kB] Fetched 3962 kB in 0s (133 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplu_5tk2s/libperl5.40_5.40.1-7_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 ocaml i386 5.4.0-3 [1535 kB] Fetched 1535 kB in 0s (83.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpk6_ov3hi/ocaml_5.4.0-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libpython3.13-minimal i386 3.13.12-1 [866 kB] Fetched 866 kB in 0s (53.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8b3hjcsi/libpython3.13-minimal_3.13.12-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libelf1t64 i386 0.194-1 [192 kB] Fetched 192 kB in 0s (13.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphrfkp5d6/libelf1t64_0.194-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libpcre2-8-0 i386 10.46-1+b1 [295 kB] Fetched 295 kB in 0s (26.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph05aeheo/libpcre2-8-0_10.46-1+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 python3.13 i386 3.13.12-1 [776 kB] Fetched 776 kB in 0s (54.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpiwqjd2u6/python3.13_3.13.12-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 sed i386 4.9-2 [333 kB] Fetched 333 kB in 0s (23.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcwm4esls/sed_4.9-2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 man-db i386 2.13.1-1 [1478 kB] Fetched 1478 kB in 0s (61.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmnqajgsq/man-db_2.13.1-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 sysvinit-utils i386 3.15-6 [35.6 kB] Fetched 35.6 kB in 0s (3449 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpe1j3p8sh/sysvinit-utils_3.15-6_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libitm1 i386 15.2.0-13 [28.0 kB] Fetched 28.0 kB in 0s (2714 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjkxka8d8/libitm1_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libgmp10 i386 2:6.3.0+dfsg-5+b1 [572 kB] Fetched 572 kB in 0s (41.8 MB/s) dpkg-name: info: moved 'libgmp10_2%3a6.3.0+dfsg-5+b1_i386.deb' to '/srv/rebuilderd/tmp/tmpwm9vp6_0/libgmp10_6.3.0+dfsg-5+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libdebhelper-perl all 13.30 [92.7 kB] Fetched 92.7 kB in 0s (8490 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8n5wkrqe/libdebhelper-perl_13.30_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libblkid1 i386 2.41.3-3 [190 kB] Fetched 190 kB in 0s (16.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpu_ryd3cq/libblkid1_2.41.3-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 init-system-helpers all 1.69 [39.3 kB] Fetched 39.3 kB in 0s (3595 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpj0bhlzkk/init-system-helpers_1.69_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 tar i386 1.35+dfsg-3.1 [838 kB] Fetched 838 kB in 0s (58.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqc0u0sew/tar_1.35+dfsg-3.1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libisl23 i386 0.27-1+b1 [751 kB] Fetched 751 kB in 0s (52.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmputgt33tm/libisl23_0.27-1+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libc-dev-bin i386 2.42-13 [61.5 kB] Fetched 61.5 kB in 0s (5519 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp21ltbayk/libc-dev-bin_2.42-13_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 binutils i386 2.46-1 [289 kB] Fetched 289 kB in 0s (23.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphxzh9783/binutils_2.46-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libsystemd0 i386 259.1-1 [501 kB] Fetched 501 kB in 0s (42.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpo2a0lia6/libsystemd0_259.1-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libuchardet0 i386 0.0.8-2+b1 [69.2 kB] Fetched 69.2 kB in 0s (5987 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprn5v4q8g/libuchardet0_0.0.8-2+b1_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 binutils-i686-linux-gnu i386 2.46-1 [1120 kB] Fetched 1120 kB in 0s (59.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4gpvjoa1/binutils-i686-linux-gnu_2.46-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libstdc++-15-dev i386 15.2.0-13 [2510 kB] Fetched 2510 kB in 0s (106 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvm2pf1mf/libstdc++-15-dev_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libconfig-tiny-perl all 2.30-1 [18.9 kB] Fetched 18.9 kB in 0s (1399 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpftcgqjjn/libconfig-tiny-perl_2.30-1_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libctf0 i386 2.46-1 [96.8 kB] Fetched 96.8 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpaf1qy0a4/libctf0_2.46-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 gcc i386 4:15.2.0-5 [5152 B] Fetched 5152 B in 0s (433 kB/s) dpkg-name: info: moved 'gcc_4%3a15.2.0-5_i386.deb' to '/srv/rebuilderd/tmp/tmpefn71ip6/gcc_15.2.0-5_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libcrypt1 i386 1:4.5.1-1 [104 kB] Fetched 104 kB in 0s (0 B/s) dpkg-name: info: moved 'libcrypt1_1%3a4.5.1-1_i386.deb' to '/srv/rebuilderd/tmp/tmpynh5xw6s/libcrypt1_4.5.1-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libarchive-zip-perl all 1.68-1 [104 kB] Fetched 104 kB in 0s (8584 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6jhs8vky/libarchive-zip-perl_1.68-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libcc1-0 i386 15.2.0-13 [45.0 kB] Fetched 45.0 kB in 0s (3824 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqix8so94/libcc1-0_15.2.0-13_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 bsdextrautils i386 2.41.3-3 [103 kB] Fetched 103 kB in 0s (9640 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpl1u6yugq/bsdextrautils_2.41.3-3_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 zlib1g i386 1:1.3.dfsg+really1.3.1-2 [85.0 kB] Fetched 85.0 kB in 0s (6789 kB/s) dpkg-name: info: moved 'zlib1g_1%3a1.3.dfsg+really1.3.1-2_i386.deb' to '/srv/rebuilderd/tmp/tmp1seq0iia/zlib1g_1.3.dfsg+really1.3.1-2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 g++ i386 4:15.2.0-5 [1344 B] Fetched 1344 B in 0s (120 kB/s) dpkg-name: info: moved 'g++_4%3a15.2.0-5_i386.deb' to '/srv/rebuilderd/tmp/tmpc0908qzd/g++_15.2.0-5_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Fetched 19.9 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6hp5pwi_/libfile-stripnondeterminism-perl_1.15.0-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 base-passwd i386 3.6.8 [55.1 kB] Fetched 55.1 kB in 0s (4708 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzass9i0e/base-passwd_3.6.8_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 ocamlbuild i386 0.16.1-2+b1 [294 kB] Fetched 294 kB in 0s (21.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5df9ffnv/ocamlbuild_0.16.1-2+b1_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 debconf all 1.5.91 [121 kB] Fetched 121 kB in 0s (12.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpsvuasnpx/debconf_1.5.91_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libmagic1t64 i386 1:5.46-5+b1 [118 kB] Fetched 118 kB in 0s (10.7 MB/s) dpkg-name: info: moved 'libmagic1t64_1%3a5.46-5+b1_i386.deb' to '/srv/rebuilderd/tmp/tmp8ocut42g/libmagic1t64_5.46-5+b1_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260223T081835Z rc-buggy/main i386 libcoq-core i386 9.1.0+dfsg-3+b1 [1138 kB] Fetched 1138 kB in 0s (67.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjsaa1g1j/libcoq-core_9.1.0+dfsg-3+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libaudit-common all 1:4.1.2-1 [14.3 kB] Fetched 14.3 kB in 0s (1212 kB/s) dpkg-name: info: moved 'libaudit-common_1%3a4.1.2-1_all.deb' to '/srv/rebuilderd/tmp/tmpynns60o_/libaudit-common_4.1.2-1_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260223T081835Z rc-buggy/main i386 dh-coq all 0.15 [7032 B] Fetched 7032 B in 0s (591 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpy9wsgu7e/dh-coq_0.15_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 util-linux i386 2.41.3-3 [1198 kB] Fetched 1198 kB in 0s (75.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmps6a_p_0r/util-linux_2.41.3-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libaudit1 i386 1:4.1.2-1+b1 [58.5 kB] Fetched 58.5 kB in 0s (5809 kB/s) dpkg-name: info: moved 'libaudit1_1%3a4.1.2-1+b1_i386.deb' to '/srv/rebuilderd/tmp/tmp1chs83gq/libaudit1_4.1.2-1+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 grep i386 3.12-1 [451 kB] Fetched 451 kB in 0s (36.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpk3ev4kzy/grep_3.12-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 po-debconf all 1.0.22 [216 kB] Fetched 216 kB in 0s (17.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_gfyokey/po-debconf_1.0.22_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libmagic-mgc i386 1:5.46-5+b1 [338 kB] Fetched 338 kB in 0s (27.4 MB/s) dpkg-name: info: moved 'libmagic-mgc_1%3a5.46-5+b1_i386.deb' to '/srv/rebuilderd/tmp/tmpmg8jg8n3/libmagic-mgc_5.46-5+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 coreutils i386 9.7-3 [3093 kB] Fetched 3093 kB in 0s (124 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_71cda0c/coreutils_9.7-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libasan8 i386 15.2.0-13 [2650 kB] Fetched 2650 kB in 0s (121 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_q16bgzf/libasan8_15.2.0-13_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libmount1 i386 2.41.3-3 [227 kB] Fetched 227 kB in 0s (19.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgrqfgi_v/libmount1_2.41.3-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libtinfo6 i386 6.6+20251231-1 [354 kB] Fetched 354 kB in 0s (28.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpx87il9pv/libtinfo6_6.6+20251231-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libffi8 i386 3.5.2-3+b1 [23.9 kB] Fetched 23.9 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp866ns0xr/libffi8_3.5.2-3+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libpython3-stdlib i386 3.13.9-3 [10.6 kB] Fetched 10.6 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfz6_0p7b/libpython3-stdlib_3.13.9-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libgcc-15-dev i386 15.2.0-13 [2624 kB] Fetched 2624 kB in 0s (118 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpla3iqsuu/libgcc-15-dev_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libsqlite3-0 i386 3.46.1-9 [992 kB] Fetched 992 kB in 0s (60.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvsa3bkwv/libsqlite3-0_3.46.1-9_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260223T081835Z rc-buggy/main i386 coq i386 9.1.0+dfsg-3+b1 [23.8 MB] Fetched 23.8 MB in 0s (85.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbuhvl951/coq_9.1.0+dfsg-3+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libexpat1 i386 2.7.4-1 [118 kB] Fetched 118 kB in 0s (10.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpz_mo4zyi/libexpat1_2.7.4-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libfindlib-ocaml i386 1.9.8-1+b2 [133 kB] Fetched 133 kB in 0s (10.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpa22i2ynr/libfindlib-ocaml_1.9.8-1+b2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 dh-autoreconf all 21+nmu1 [11.7 kB] Fetched 11.7 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmt5vhxwu/dh-autoreconf_21+nmu1_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libtool all 2.5.4-9 [540 kB] Fetched 540 kB in 0s (50.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpo12syziq/libtool_2.5.4-9_all.deb' Downloading dependency 1 of 182: automake:i386=1:1.18.1-3 Downloading dependency 2 of 182: bzip2:i386=1.0.8-6+b1 Downloading dependency 3 of 182: intltool-debian:i386=0.35.0+20060710.6 Downloading dependency 4 of 182: openssl-provider-legacy:i386=3.5.5-1 Downloading dependency 5 of 182: libcoq-stdlib:i386=9.0.0-3+b1 Downloading dependency 6 of 182: file:i386=1:5.46-5+b1 Downloading dependency 7 of 182: dash:i386=0.5.12-12 Downloading dependency 8 of 182: libreadline8t64:i386=8.3-4 Downloading dependency 9 of 182: libattr1:i386=1:2.5.2-3+b1 Downloading dependency 10 of 182: g++-15:i386=15.2.0-13 Downloading dependency 11 of 182: libdb5.3t64:i386=5.3.28+dfsg2-11 Downloading dependency 12 of 182: libzstd1:i386=1.5.7+dfsg-3+b1 Downloading dependency 13 of 182: libc-gconv-modules-extra:i386=2.42-13 Downloading dependency 14 of 182: libmd0:i386=1.1.0-2+b2 Downloading dependency 15 of 182: libdpkg-perl:i386=1.23.5 Downloading dependency 16 of 182: libssl3t64:i386=3.5.5-1 Downloading dependency 17 of 182: dpkg-dev:i386=1.23.5 Downloading dependency 18 of 182: bash:i386=5.3-1 Downloading dependency 19 of 182: findutils:i386=4.10.0-3 Downloading dependency 20 of 182: libstdc++6:i386=15.2.0-13 Downloading dependency 21 of 182: libzarith-ocaml-dev:i386=1.14-1+b3 Downloading dependency 22 of 182: ocaml-base:i386=5.4.0-3 Downloading dependency 23 of 182: libgmp-dev:i386=2:6.3.0+dfsg-5+b1 Downloading dependency 24 of 182: m4:i386=1.4.21-1 Downloading dependency 25 of 182: libmpfr6:i386=4.2.2-2+b1 Downloading dependency 26 of 182: libzarith-ocaml:i386=1.14-1+b3 Downloading dependency 27 of 182: ocaml-dune:i386=3.20.2-3+b1 Downloading dependency 28 of 182: sensible-utils:i386=0.0.26 Downloading dependency 29 of 182: g++-i686-linux-gnu:i386=4:15.2.0-5 Downloading dependency 30 of 182: dpkg:i386=1.23.5 Downloading dependency 31 of 182: libcompiler-libs-ocaml-dev:i386=5.4.0-3 Downloading dependency 32 of 182: rpcsvc-proto:i386=1.4.3-1 Downloading dependency 33 of 182: libgomp1:i386=15.2.0-13 Downloading dependency 34 of 182: readline-common:i386=8.3-4 Downloading dependency 35 of 182: libpam-modules-bin:i386=1.7.0-5+b1 Downloading dependency 36 of 182: libncurses-dev:i386=6.6+20251231-1 Downloading dependency 37 of 182: make:i386=4.4.1-3 Downloading dependency 38 of 182: libdebconfclient0:i386=0.282+b2 Downloading dependency 39 of 182: libsmartcols1:i386=2.41.3-3 Downloading dependency 40 of 182: libstdlib-ocaml-dev:i386=5.4.0-3 Downloading dependency 41 of 182: python3.13-minimal:i386=3.13.12-1 Downloading dependency 42 of 182: libmpc3:i386=1.3.1-2+b1 Downloading dependency 43 of 182: gettext-base:i386=0.23.2-1 Downloading dependency 44 of 182: libseccomp2:i386=2.6.0-2+b1 Downloading dependency 45 of 182: libbz2-1.0:i386=1.0.8-6+b1 Downloading dependency 46 of 182: libunistring5:i386=1.3-2+b1 Downloading dependency 47 of 182: perl-modules-5.40:i386=5.40.1-7 Downloading dependency 48 of 182: python3-minimal:i386=3.13.9-3 Downloading dependency 49 of 182: build-essential:i386=12.12 Downloading dependency 50 of 182: libselinux1:i386=3.9-4+b1 Downloading dependency 51 of 182: libudev1:i386=259.1-1 Downloading dependency 52 of 182: debianutils:i386=5.23.2 Downloading dependency 53 of 182: autoconf:i386=2.72-3.1 Downloading dependency 54 of 182: libpam0g:i386=1.7.0-5+b1 Downloading dependency 55 of 182: libgdbm6t64:i386=1.26-1+b1 Downloading dependency 56 of 182: debhelper:i386=13.30 Downloading dependency 57 of 182: libgmpxx4ldbl:i386=2:6.3.0+dfsg-5+b1 Downloading dependency 58 of 182: gettext:i386=0.23.2-1 Downloading dependency 59 of 182: libgdbm-compat4t64:i386=1.26-1+b1 Downloading dependency 60 of 182: mawk:i386=1.3.4.20260129-1 Downloading dependency 61 of 182: libcoq-core-ocaml:i386=9.1.0+dfsg-3+b1 Downloading dependency 62 of 182: libquadmath0:i386=15.2.0-13 Downloading dependency 63 of 182: libpipeline1:i386=1.5.8-2 Downloading dependency 64 of 182: python3:i386=3.13.9-3 Downloading dependency 65 of 182: dwz:i386=0.16-2 Downloading dependency 66 of 182: diffutils:i386=1:3.12-1 Downloading dependency 67 of 182: libubsan1:i386=15.2.0-13 Downloading dependency 68 of 182: ncurses-base:i386=6.6+20251231-1 Downloading dependency 69 of 182: tzdata:i386=2025c-3 Downloading dependency 70 of 182: libgmp3-dev:i386=2:6.3.0+dfsg-5+b1 Downloading dependency 71 of 182: libpam-modules:i386=1.7.0-5+b1 Downloading dependency 72 of 182: dh-strip-nondeterminism:i386=1.15.0-1 Downloading dependency 73 of 182: libc-bin:i386=2.42-13 Downloading dependency 74 of 182: gcc-15:i386=15.2.0-13 Downloading dependency 75 of 182: libzstd-dev:i386=1.5.7+dfsg-3+b1 Downloading dependency 76 of 182: autotools-dev:i386=20240727.1 Downloading dependency 77 of 182: libperl5.40:i386=5.40.1-7 Downloading dependency 78 of 182: ocaml:i386=5.4.0-3 Downloading dependency 79 of 182: libpython3.13-minimal:i386=3.13.12-1 Downloading dependency 80 of 182: libelf1t64:i386=0.194-1 Downloading dependency 81 of 182: libpcre2-8-0:i386=10.46-1+b1 Downloading dependency 82 of 182: python3.13:i386=3.13.12-1 Downloading dependency 83 of 182: sed:i386=4.9-2 Downloading dependency 84 of 182: man-db:i386=2.13.1-1 Downloading dependency 85 of 182: sysvinit-utils:i386=3.15-6 Downloading dependency 86 of 182: libitm1:i386=15.2.0-13 Downloading dependency 87 of 182: libgmp10:i386=2:6.3.0+dfsg-5+b1 Downloading dependency 88 of 182: libdebhelper-perl:i386=13.30 Downloading dependency 89 of 182: libblkid1:i386=2.41.3-3 Downloading dependency 90 of 182: init-system-helpers:i386=1.69 Downloading dependency 91 of 182: tar:i386=1.35+dfsg-3.1 Downloading dependency 92 of 182: libisl23:i386=0.27-1+b1 Downloading dependency 93 of 182: libc-dev-bin:i386=2.42-13 Downloading dependency 94 of 182: binutils:i386=2.46-1 Downloading dependency 95 of 182: libsystemd0:i386=259.1-1 Downloading dependency 96 of 182: libuchardet0:i386=0.0.8-2+b1 Downloading dependency 97 of 182: binutils-i686-linux-gnu:i386=2.46-1 Downloading dependency 98 of 182: libstdc++-15-dev:i386=15.2.0-13 Downloading dependency 99 of 182: libconfig-tiny-perl:i386=2.30-1 Downloading dependency 100 of 182: libctf0:i386=2.46-1 Downloading dependency 101 of 182: gcc:i386=4:15.2.0-5 Downloading dependency 102 of 182: libcrypt1:i386=1:4.5.1-1 Downloading dependency 103 of 182: libarchive-zip-perl:i386=1.68-1 Downloading dependency 104 of 182: libcc1-0:i386=15.2.0-13 Downloading dependency 105 of 182: bsdextrautils:i386=2.41.3-3 Downloading dependency 106 of 182: zlib1g:i386=1:1.3.dfsg+really1.3.1-2 Downloading dependency 107 of 182: g++:i386=4:15.2.0-5 Downloading dependency 108 of 182: libfile-stripnondeterminism-perl:i386=1.15.0-1 Downloading dependency 109 of 182: base-passwd:i386=3.6.8 Downloading dependency 110 of 182: ocamlbuild:i386=0.16.1-2+b1 Downloading dependency 111 of 182: debconf:i386=1.5.91 Downloading dependency 112 of 182: libmagic1t64:i386=1:5.46-5+b1 Downloading dependency 113 of 182: libcoq-core:i386=9.1.0+dfsg-3+b1 Downloading dependency 114 of 182: libaudit-common:i386=1:4.1.2-1 Downloading dependency 115 of 182: dh-coq:i386=0.15 Downloading dependency 116 of 182: util-linux:i386=2.41.3-3 Downloading dependency 117 of 182: libaudit1:i386=1:4.1.2-1+b1 Downloading dependency 118 of 182: grep:i386=3.12-1 Downloading dependency 119 of 182: po-debconf:i386=1.0.22 Downloading dependency 120 of 182: libmagic-mgc:i386=1:5.46-5+b1 Downloading dependency 121 of 182: coreutils:i386=9.7-3 Downloading dependency 122 of 182: libasan8:i386=15.2.0-13 Downloading dependency 123 of 182: libmount1:i386=2.41.3-3 Downloading dependency 124 of 182: libtinfo6:i386=6.6+20251231-1 Downloading dependency 125 of 182: libffi8:i386=3.5.2-3+b1 Downloading dependency 126 of 182: libpython3-stdlib:i386=3.13.9-3 Downloading dependency 127 of 182: libgcc-15-dev:i386=15.2.0-13 Downloading dependency 128 of 182: libsqlite3-0:i386=3.46.1-9 Downloading dependency 129 of 182: coq:i386=9.1.0+dfsg-3+b1 Downloading dependency 130 of 182: libexpat1:i386=2.7.4-1 Downloading dependency 131 of 182: libfindlib-ocaml:i386=1.9.8-1+b2 Downloading dependency 132 of 182: dh-autoreconf:i386=21+nmu1 Downloading dependency 133 of 182: libtool:i386=2.5.4-9 Downloading dependency 134 of 182: libcap2:i386=1:2.75-10+b5Get:1 http://deb.debian.org/debian unstable/main i386 libcap2 i386 1:2.75-10+b5 [29.8 kB] Fetched 29.8 kB in 0s (2853 kB/s) dpkg-name: info: moved 'libcap2_1%3a2.75-10+b5_i386.deb' to '/srv/rebuilderd/tmp/tmpf4muovad/libcap2_2.75-10+b5_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libctf-nobfd0 i386 2.46-1 [161 kB] Fetched 161 kB in 0s (15.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9_c46q62/libctf-nobfd0_2.46-1_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260223T081835Z rc-buggy/main i386 libcoq-ext-lib i386 0.13.0-3 [773 kB] Fetched 773 kB in 0s (51.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4cnp2mge/libcoq-ext-lib_0.13.0-3_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libbinutils i386 2.46-1 [597 kB] Fetched 597 kB in 0s (43.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvfqmqknx/libbinutils_2.46-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 cpp-15-i686-linux-gnu i386 15.2.0-13 [12.9 MB] Fetched 12.9 MB in 0s (179 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_a1kurck/cpp-15-i686-linux-gnu_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libjansson4 i386 2.14-2+b4 [41.9 kB] Fetched 41.9 kB in 0s (2851 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2irlqx2q/libjansson4_2.14-2+b4_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 media-types all 14.0.0 [30.8 kB] Fetched 30.8 kB in 0s (2051 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6irx7sbo/media-types_14.0.0_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libc6 i386 2.42-13 [1685 kB] Fetched 1685 kB in 0s (85.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmha5xacs/libc6_2.42-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 netbase all 6.5 [12.4 kB] Fetched 12.4 kB in 0s (1176 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8585un30/netbase_6.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libgcc-s1 i386 15.2.0-13 [86.9 kB] Fetched 86.9 kB in 0s (7432 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplftr5t84/libgcc-s1_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 cppo i386 1.8.0-1+b3 [288 kB] Fetched 288 kB in 0s (22.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkdocfvdi/cppo_1.8.0-1+b3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 autopoint all 0.23.2-1 [772 kB] Fetched 772 kB in 0s (49.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgsa6eqs6/autopoint_0.23.2-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 dh-ocaml all 2.5 [62.9 kB] Fetched 62.9 kB in 0s (5599 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpitai6ped/dh-ocaml_2.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 xz-utils i386 5.8.2-2 [710 kB] Fetched 710 kB in 0s (52.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5dmj9n4r/xz-utils_5.8.2-2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libc6-dev i386 2.42-13 [1839 kB] Fetched 1839 kB in 0s (101 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpl2num0jn/libc6-dev_2.42-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 cpp-15 i386 15.2.0-13 [1276 B] Fetched 1276 B in 0s (100 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcb21mtnd/cpp-15_15.2.0-13_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libcap-ng0 i386 0.8.5-4+b2 [17.8 kB] Fetched 17.8 kB in 0s (1499 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9osrlydg/libcap-ng0_0.8.5-4+b2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 liblzma5 i386 5.8.2-2 [338 kB] Fetched 338 kB in 0s (27.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzuanwuyw/liblzma5_5.8.2-2_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libgprofng0 i386 2.46-1 [857 kB] Fetched 857 kB in 0s (60.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpi9qsvdkk/libgprofng0_2.46-1_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 binutils-common i386 2.46-1 [2632 kB] Fetched 2632 kB in 0s (105 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpr2zif27y/binutils-common_2.46-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libpam-runtime all 1.7.0-5 [249 kB] Fetched 249 kB in 0s (16.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0sz4r3lx/libpam-runtime_1.7.0-5_all.deb' Get:1 http://deb.debian.org/debian unstable/main i386 hostname i386 3.25 [11.3 kB] Fetched 11.3 kB in 0s (1069 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpsfl0fmpy/hostname_3.25_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libxml2-16 i386 2.15.1+dfsg-2+b1 [670 kB] Fetched 670 kB in 0s (49.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7e0ti5s0/libxml2-16_2.15.1+dfsg-2+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 gzip i386 1.13-1 [139 kB] Fetched 139 kB in 0s (12.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnp2y6b1o/gzip_1.13-1_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 linux-libc-dev all 6.18.9-1 [2569 kB] Fetched 2569 kB in 0s (102 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpc957f2n0/linux-libc-dev_6.18.9-1_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libuuid1 i386 2.41.3-3 [40.3 kB] Fetched 40.3 kB in 0s (3856 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpt8q38o8d/libuuid1_2.41.3-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 gcc-i686-linux-gnu i386 4:15.2.0-5 [1428 B] Fetched 1428 B in 0s (110 kB/s) dpkg-name: info: moved 'gcc-i686-linux-gnu_4%3a15.2.0-5_i386.deb' to '/srv/rebuilderd/tmp/tmp3zljnbx0/gcc-i686-linux-gnu_15.2.0-5_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libacl1 i386 2.3.2-2+b2 [34.4 kB] Fetched 34.4 kB in 0s (2897 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5dozadwc/libacl1_2.3.2-2+b2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libatomic1 i386 15.2.0-13 [7760 B] Fetched 7760 B in 0s (721 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4a6ojcjr/libatomic1_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 ocaml-findlib i386 1.9.8-1+b2 [316 kB] Fetched 316 kB in 0s (23.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_nigxzdm/ocaml-findlib_1.9.8-1+b2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 cpp i386 4:15.2.0-5 [1564 B] Fetched 1564 B in 0s (0 B/s) dpkg-name: info: moved 'cpp_4%3a15.2.0-5_i386.deb' to '/srv/rebuilderd/tmp/tmp9hkjuo93/cpp_15.2.0-5_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 patch i386 2.8-2 [142 kB] Fetched 142 kB in 0s (9495 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9ubnzr_d/patch_2.8-2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 ncurses-bin i386 6.6+20251231-1 [447 kB] Fetched 447 kB in 0s (29.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdxajpagx/ncurses-bin_6.6+20251231-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 g++-15-i686-linux-gnu i386 15.2.0-13 [14.0 MB] Fetched 14.0 MB in 0s (193 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz27xkpp/g++-15-i686-linux-gnu_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 perl i386 5.40.1-7 [267 kB] Fetched 267 kB in 0s (19.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0vz5v2ge/perl_5.40.1-7_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260223T081835Z rc-buggy/main i386 libcoq-core-ocaml-dev i386 9.1.0+dfsg-3+b1 [44.9 MB] Fetched 44.9 MB in 1s (65.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpj7nko2ox/libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 perl-base i386 5.40.1-7 [1773 kB] Fetched 1773 kB in 0s (105 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf00ajkgj/perl-base_5.40.1-7_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libstdlib-ocaml i386 5.4.0-3 [526 kB] Fetched 526 kB in 0s (38.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp93si8mer/libstdlib-ocaml_5.4.0-3_i386.deb' Get:1 http://snapshot.debian.org/archive/debian/20260213T142840Z sid/main i386 libsframe3 i386 2.46-1 [85.2 kB] Fetched 85.2 kB in 0s (8027 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp43dsh9mg/libsframe3_2.46-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 gcc-15-i686-linux-gnu i386 15.2.0-13 [25.3 MB] Fetched 25.3 MB in 0s (209 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprei8r76c/gcc-15-i686-linux-gnu_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 groff-base i386 1.23.0-10 [1207 kB] Fetched 1207 kB in 0s (72.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqyfqswqn/groff-base_1.23.0-10_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 gcc-15-base i386 15.2.0-13 [54.8 kB] Fetched 54.8 kB in 0s (5158 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpory5y3hl/gcc-15-base_15.2.0-13_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libncursesw6 i386 6.6+20251231-1 [148 kB] Fetched 148 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0a42ulfx/libncursesw6_6.6+20251231-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libpython3.13-stdlib i386 3.13.12-1 [1978 kB] Fetched 1978 kB in 0s (101 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpi69nd2_n/libpython3.13-stdlib_3.13.12-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 ocaml-interp i386 5.4.0-3 [7459 kB] Fetched 7459 kB in 0s (145 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpq8bwanwq/ocaml-interp_5.4.0-3_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libfindlib-ocaml-dev i386 1.9.8-1+b2 [93.1 kB] Fetched 93.1 kB in 0s (8544 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8r_4uja7/libfindlib-ocaml-dev_1.9.8-1+b2_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 cpp-i686-linux-gnu i386 4:15.2.0-5 [5316 B] Fetched 5316 B in 0s (445 kB/s) dpkg-name: info: moved 'cpp-i686-linux-gnu_4%3a15.2.0-5_i386.deb' to '/srv/rebuilderd/tmp/tmpihw_jhwt/cpp-i686-linux-gnu_15.2.0-5_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 libncurses6 i386 6.6+20251231-1 [113 kB] Fetched 113 kB in 0s (10.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpn8e8sems/libncurses6_6.6+20251231-1_i386.deb' Get:1 http://deb.debian.org/debian unstable/main i386 base-files i386 14 [72.9 kB] Fetched 72.9 kB in 0s (4611 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyond9ksg/base-files_14_i386.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-buildpackage: info: host architecture amd64 dpkg-source --before-build . 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/tmpsqx630t6/cache directory, not in ".." as indicated by the message above! I: automatically chosen mode: unshare I: i386 is different from amd64 but can be executed natively I: using /srv/rebuilderd/tmp/mmdebstrap.dttqQgYWpa as tempdir I: running --setup-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/setup00.sh /srv/rebuilderd/tmp/mmdebstrap.dttqQgYWpa 127.0.0.1 - - [24/Feb/2026 00:56:57] code 404, message File not found 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:45409 ./ InRelease 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./Release HTTP/1.1" 200 - Get:2 http://localhost:45409 ./ Release [462 B] 127.0.0.1 - - [24/Feb/2026 00:56:57] code 404, message File not found 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:45409 ./ Release.gpg 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./Packages HTTP/1.1" 200 - Get:4 http://localhost:45409 ./ Packages [220 kB] Fetched 221 kB in 0s (11.3 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 - - [24/Feb/2026 00:56:57] "GET /./gcc-15-base_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libc-gconv-modules-extra_2.42-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libc6_2.42-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libgcc-s1_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./mawk_1.3.4.20260129-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./base-files_14_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libtinfo6_6.6%2b20251231-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./debianutils_5.23.2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./bash_5.3-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libacl1_2.3.2-2%2bb2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libattr1_2.5.2-3%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libcap2_2.75-10%2bb5_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libgmp10_6.3.0%2bdfsg-5%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libpcre2-8-0_10.46-1%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libselinux1_3.9-4%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libzstd1_1.5.7%2bdfsg-3%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./zlib1g_1.3.dfsg%2breally1.3.1-2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libssl3t64_3.5.5-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./openssl-provider-legacy_3.5.5-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libsystemd0_259.1-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./coreutils_9.7-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./dash_0.5.12-12_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./diffutils_3.12-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libbz2-1.0_1.0.8-6%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./liblzma5_5.8.2-2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libmd0_1.1.0-2%2bb2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./tar_1.35%2bdfsg-3.1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./dpkg_1.23.5_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./findutils_4.10.0-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./grep_3.12-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./gzip_1.13-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./hostname_3.25_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./ncurses-bin_6.6%2b20251231-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libcrypt1_4.5.1-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./perl-base_5.40.1-7_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./sed_4.9-2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libaudit-common_4.1.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libcap-ng0_0.8.5-4%2bb2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libaudit1_4.1.2-1%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libdb5.3t64_5.3.28%2bdfsg2-11_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./debconf_1.5.91_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libpam0g_1.7.0-5%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libpam-modules-bin_1.7.0-5%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libpam-modules_1.7.0-5%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libpam-runtime_1.7.0-5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libblkid1_2.41.3-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libmount1_2.41.3-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libsmartcols1_2.41.3-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libudev1_259.1-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libuuid1_2.41.3-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./util-linux_2.41.3-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libdebconfclient0_0.282%2bb2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./base-passwd_3.6.8_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./init-system-helpers_1.69_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./libc-bin_2.42-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./ncurses-base_6.6%2b20251231-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:56:57] "GET /./sysvinit-utils_3.15-6_i386.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.dttqQgYWpa 127.0.0.1 - - [24/Feb/2026 00:56:59] code 404, message File not found 127.0.0.1 - - [24/Feb/2026 00:56:59] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:45409 ./ InRelease 127.0.0.1 - - [24/Feb/2026 00:56:59] "GET /./Release HTTP/1.1" 304 - Hit:2 http://localhost:45409 ./ Release 127.0.0.1 - - [24/Feb/2026 00:56:59] code 404, message File not found 127.0.0.1 - - [24/Feb/2026 00:56:59] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:45409 ./ 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.dttqQgYWpa 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 - - [24/Feb/2026 00:57:18] "GET /./libexpat1_2.7.4-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libpython3.13-minimal_3.13.12-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./python3.13-minimal_3.13.12-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./python3-minimal_3.13.9-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./media-types_14.0.0_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./netbase_6.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./tzdata_2025c-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libffi8_3.5.2-3%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libncursesw6_6.6%2b20251231-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./readline-common_8.3-4_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libreadline8t64_8.3-4_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libsqlite3-0_3.46.1-9_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libpython3.13-stdlib_3.13.12-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./python3.13_3.13.12-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libpython3-stdlib_3.13.9-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./python3_3.13.9-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./sensible-utils_0.0.26_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libstdc%2b%2b6_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libuchardet0_0.0.8-2%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./groff-base_1.23.0-10_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./bsdextrautils_2.41.3-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libgdbm6t64_1.26-1%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libpipeline1_1.5.8-2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libseccomp2_2.6.0-2%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./man-db_2.13.1-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./bzip2_1.0.8-6%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libmagic-mgc_5.46-5%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libmagic1t64_5.46-5%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./file_5.46-5%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./gettext-base_0.23.2-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./perl-modules-5.40_5.40.1-7_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libgdbm-compat4t64_1.26-1%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libperl5.40_5.40.1-7_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./perl_5.40.1-7_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./xz-utils_5.8.2-2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./m4_1.4.21-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./autoconf_2.72-3.1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./autotools-dev_20240727.1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./automake_1.18.1-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./autopoint_0.23.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libsframe3_2.46-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./binutils-common_2.46-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libbinutils_2.46-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libgprofng0_2.46-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libctf-nobfd0_2.46-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libctf0_2.46-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libjansson4_2.14-2%2bb4_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./binutils-i686-linux-gnu_2.46-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./binutils_2.46-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libc-dev-bin_2.42-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./linux-libc-dev_6.18.9-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./rpcsvc-proto_1.4.3-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libc6-dev_2.42-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libisl23_0.27-1%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libmpfr6_4.2.2-2%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libmpc3_1.3.1-2%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./cpp-15-i686-linux-gnu_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./cpp-15_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./cpp-i686-linux-gnu_15.2.0-5_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./cpp_15.2.0-5_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libcc1-0_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libgomp1_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libitm1_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libatomic1_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libasan8_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libubsan1_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libquadmath0_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libgcc-15-dev_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./gcc-15-i686-linux-gnu_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./gcc-15_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./gcc-i686-linux-gnu_15.2.0-5_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./gcc_15.2.0-5_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libstdc%2b%2b-15-dev_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./g%2b%2b-15-i686-linux-gnu_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./g%2b%2b-15_15.2.0-13_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./g%2b%2b-i686-linux-gnu_15.2.0-5_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./g%2b%2b_15.2.0-5_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./make_4.4.1-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libdpkg-perl_1.23.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./patch_2.8-2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./dpkg-dev_1.23.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./build-essential_12.12_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libcoq-core_9.1.0%2bdfsg-3%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libstdlib-ocaml_5.4.0-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./ocaml-base_5.4.0-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libfindlib-ocaml_1.9.8-1%2bb2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libzarith-ocaml_1.14-1%2bb3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:18] "GET /./libcoq-core-ocaml_9.1.0%2bdfsg-3%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libstdlib-ocaml-dev_5.4.0-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libcompiler-libs-ocaml-dev_5.4.0-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./ocaml-interp_5.4.0-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libncurses6_6.6%2b20251231-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libncurses-dev_6.6%2b20251231-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libzstd-dev_1.5.7%2bdfsg-3%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./ocaml_5.4.0-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./ocaml-findlib_1.9.8-1%2bb2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./coq_9.1.0%2bdfsg-3%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./cppo_1.8.0-1%2bb3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libdebhelper-perl_13.30_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libtool_2.5.4-9_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./dh-autoreconf_21%2bnmu1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libarchive-zip-perl_1.68-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libfile-stripnondeterminism-perl_1.15.0-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./dh-strip-nondeterminism_1.15.0-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libelf1t64_0.194-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./dwz_0.16-2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libunistring5_1.3-2%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libxml2-16_2.15.1%2bdfsg-2%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./gettext_0.23.2-1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./intltool-debian_0.35.0%2b20060710.6_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./po-debconf_1.0.22_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./debhelper_13.30_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libcoq-stdlib_9.0.0-3%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libgmpxx4ldbl_6.3.0%2bdfsg-5%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libgmp-dev_6.3.0%2bdfsg-5%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libgmp3-dev_6.3.0%2bdfsg-5%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libzarith-ocaml-dev_1.14-1%2bb3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./ocaml-dune_3.20.2-3%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libconfig-tiny-perl_2.30-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./ocamlbuild_0.16.1-2%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./dh-coq_0.15_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libcoq-ext-lib_0.13.0-3_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./dh-ocaml_2.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libfindlib-ocaml-dev_1.9.8-1%2bb2_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:19] "GET /./libcoq-core-ocaml-dev_9.1.0%2bdfsg-3%2bb1_i386.deb HTTP/1.1" 200 - 127.0.0.1 - - [24/Feb/2026 00:57:20] "GET /./debootsnap-dummy_1.0_all.deb HTTP/1.1" 200 - I: running --customize-hook directly: /srv/rebuilderd/tmp/tmpsqx630t6/apt_install.sh /srv/rebuilderd/tmp/mmdebstrap.dttqQgYWpa Reading package lists... Building dependency tree... Reading state information... automake is already the newest version (1:1.18.1-3). automake set to manually installed. bzip2 is already the newest version (1.0.8-6+b1). bzip2 set to manually installed. intltool-debian is already the newest version (0.35.0+20060710.6). intltool-debian set to manually installed. openssl-provider-legacy is already the newest version (3.5.5-1). libcoq-stdlib is already the newest version (9.0.0-3+b1). libcoq-stdlib set to manually installed. file is already the newest version (1:5.46-5+b1). file set to manually installed. dash is already the newest version (0.5.12-12). libreadline8t64 is already the newest version (8.3-4). libreadline8t64 set to manually installed. libattr1 is already the newest version (1:2.5.2-3+b1). g++-15 is already the newest version (15.2.0-13). g++-15 set to manually installed. libdb5.3t64 is already the newest version (5.3.28+dfsg2-11). libzstd1 is already the newest version (1.5.7+dfsg-3+b1). libc-gconv-modules-extra is already the newest version (2.42-13). libmd0 is already the newest version (1.1.0-2+b2). libdpkg-perl is already the newest version (1.23.5). libdpkg-perl set to manually installed. libssl3t64 is already the newest version (3.5.5-1). dpkg-dev is already the newest version (1.23.5). dpkg-dev set to manually installed. bash is already the newest version (5.3-1). findutils is already the newest version (4.10.0-3). libstdc++6 is already the newest version (15.2.0-13). libstdc++6 set to manually installed. libzarith-ocaml-dev is already the newest version (1.14-1+b3). libzarith-ocaml-dev set to manually installed. ocaml-base is already the newest version (5.4.0-3). ocaml-base set to manually installed. libgmp-dev is already the newest version (2:6.3.0+dfsg-5+b1). libgmp-dev set to manually installed. m4 is already the newest version (1.4.21-1). m4 set to manually installed. libmpfr6 is already the newest version (4.2.2-2+b1). libmpfr6 set to manually installed. libzarith-ocaml is already the newest version (1.14-1+b3). libzarith-ocaml set to manually installed. ocaml-dune is already the newest version (3.20.2-3+b1). ocaml-dune set to manually installed. sensible-utils is already the newest version (0.0.26). sensible-utils set to manually installed. g++-i686-linux-gnu is already the newest version (4:15.2.0-5). g++-i686-linux-gnu set to manually installed. dpkg is already the newest version (1.23.5). libcompiler-libs-ocaml-dev is already the newest version (5.4.0-3). libcompiler-libs-ocaml-dev set to manually installed. rpcsvc-proto is already the newest version (1.4.3-1). rpcsvc-proto set to manually installed. libgomp1 is already the newest version (15.2.0-13). libgomp1 set to manually installed. readline-common is already the newest version (8.3-4). readline-common set to manually installed. libpam-modules-bin is already the newest version (1.7.0-5+b1). libncurses-dev is already the newest version (6.6+20251231-1). libncurses-dev set to manually installed. make is already the newest version (4.4.1-3). make set to manually installed. libdebconfclient0 is already the newest version (0.282+b2). libsmartcols1 is already the newest version (2.41.3-3). libstdlib-ocaml-dev is already the newest version (5.4.0-3). libstdlib-ocaml-dev set to manually installed. python3.13-minimal is already the newest version (3.13.12-1). python3.13-minimal set to manually installed. libmpc3 is already the newest version (1.3.1-2+b1). libmpc3 set to manually installed. gettext-base is already the newest version (0.23.2-1). gettext-base set to manually installed. libseccomp2 is already the newest version (2.6.0-2+b1). libseccomp2 set to manually installed. libbz2-1.0 is already the newest version (1.0.8-6+b1). libunistring5 is already the newest version (1.3-2+b1). libunistring5 set to manually installed. perl-modules-5.40 is already the newest version (5.40.1-7). perl-modules-5.40 set to manually installed. python3-minimal is already the newest version (3.13.9-3). python3-minimal set to manually installed. build-essential is already the newest version (12.12). build-essential set to manually installed. libselinux1 is already the newest version (3.9-4+b1). libudev1 is already the newest version (259.1-1). debianutils is already the newest version (5.23.2). autoconf is already the newest version (2.72-3.1). autoconf set to manually installed. libpam0g is already the newest version (1.7.0-5+b1). libgdbm6t64 is already the newest version (1.26-1+b1). libgdbm6t64 set to manually installed. debhelper is already the newest version (13.30). debhelper set to manually installed. libgmpxx4ldbl is already the newest version (2:6.3.0+dfsg-5+b1). libgmpxx4ldbl set to manually installed. gettext is already the newest version (0.23.2-1). gettext set to manually installed. libgdbm-compat4t64 is already the newest version (1.26-1+b1). libgdbm-compat4t64 set to manually installed. mawk is already the newest version (1.3.4.20260129-1). libcoq-core-ocaml is already the newest version (9.1.0+dfsg-3+b1). libcoq-core-ocaml set to manually installed. libquadmath0 is already the newest version (15.2.0-13). libquadmath0 set to manually installed. libpipeline1 is already the newest version (1.5.8-2). libpipeline1 set to manually installed. python3 is already the newest version (3.13.9-3). python3 set to manually installed. dwz is already the newest version (0.16-2). dwz set to manually installed. diffutils is already the newest version (1:3.12-1). libubsan1 is already the newest version (15.2.0-13). libubsan1 set to manually installed. ncurses-base is already the newest version (6.6+20251231-1). tzdata is already the newest version (2025c-3). tzdata set to manually installed. libgmp3-dev is already the newest version (2:6.3.0+dfsg-5+b1). libgmp3-dev set to manually installed. libpam-modules is already the newest version (1.7.0-5+b1). dh-strip-nondeterminism is already the newest version (1.15.0-1). dh-strip-nondeterminism set to manually installed. libc-bin is already the newest version (2.42-13). gcc-15 is already the newest version (15.2.0-13). gcc-15 set to manually installed. libzstd-dev is already the newest version (1.5.7+dfsg-3+b1). libzstd-dev set to manually installed. autotools-dev is already the newest version (20240727.1). autotools-dev set to manually installed. libperl5.40 is already the newest version (5.40.1-7). libperl5.40 set to manually installed. ocaml is already the newest version (5.4.0-3). ocaml set to manually installed. libpython3.13-minimal is already the newest version (3.13.12-1). libpython3.13-minimal set to manually installed. libelf1t64 is already the newest version (0.194-1). libelf1t64 set to manually installed. libpcre2-8-0 is already the newest version (10.46-1+b1). python3.13 is already the newest version (3.13.12-1). python3.13 set to manually installed. sed is already the newest version (4.9-2). man-db is already the newest version (2.13.1-1). man-db set to manually installed. sysvinit-utils is already the newest version (3.15-6). libitm1 is already the newest version (15.2.0-13). libitm1 set to manually installed. libgmp10 is already the newest version (2:6.3.0+dfsg-5+b1). libdebhelper-perl is already the newest version (13.30). libdebhelper-perl set to manually installed. libblkid1 is already the newest version (2.41.3-3). init-system-helpers is already the newest version (1.69). tar is already the newest version (1.35+dfsg-3.1). libisl23 is already the newest version (0.27-1+b1). libisl23 set to manually installed. libc-dev-bin is already the newest version (2.42-13). libc-dev-bin set to manually installed. binutils is already the newest version (2.46-1). binutils set to manually installed. libsystemd0 is already the newest version (259.1-1). libuchardet0 is already the newest version (0.0.8-2+b1). libuchardet0 set to manually installed. binutils-i686-linux-gnu is already the newest version (2.46-1). binutils-i686-linux-gnu set to manually installed. libstdc++-15-dev is already the newest version (15.2.0-13). libstdc++-15-dev set to manually installed. libconfig-tiny-perl is already the newest version (2.30-1). libconfig-tiny-perl set to manually installed. libctf0 is already the newest version (2.46-1). libctf0 set to manually installed. gcc is already the newest version (4:15.2.0-5). gcc set to manually installed. libcrypt1 is already the newest version (1:4.5.1-1). libarchive-zip-perl is already the newest version (1.68-1). libarchive-zip-perl set to manually installed. libcc1-0 is already the newest version (15.2.0-13). libcc1-0 set to manually installed. bsdextrautils is already the newest version (2.41.3-3). bsdextrautils set to manually installed. zlib1g is already the newest version (1:1.3.dfsg+really1.3.1-2). g++ is already the newest version (4:15.2.0-5). g++ set to manually installed. libfile-stripnondeterminism-perl is already the newest version (1.15.0-1). libfile-stripnondeterminism-perl set to manually installed. base-passwd is already the newest version (3.6.8). ocamlbuild is already the newest version (0.16.1-2+b1). ocamlbuild set to manually installed. debconf is already the newest version (1.5.91). libmagic1t64 is already the newest version (1:5.46-5+b1). libmagic1t64 set to manually installed. libcoq-core is already the newest version (9.1.0+dfsg-3+b1). libcoq-core set to manually installed. libaudit-common is already the newest version (1:4.1.2-1). dh-coq is already the newest version (0.15). dh-coq set to manually installed. util-linux is already the newest version (2.41.3-3). libaudit1 is already the newest version (1:4.1.2-1+b1). grep is already the newest version (3.12-1). po-debconf is already the newest version (1.0.22). po-debconf set to manually installed. libmagic-mgc is already the newest version (1:5.46-5+b1). libmagic-mgc set to manually installed. coreutils is already the newest version (9.7-3). libasan8 is already the newest version (15.2.0-13). libasan8 set to manually installed. libmount1 is already the newest version (2.41.3-3). libtinfo6 is already the newest version (6.6+20251231-1). libffi8 is already the newest version (3.5.2-3+b1). libffi8 set to manually installed. libpython3-stdlib is already the newest version (3.13.9-3). libpython3-stdlib set to manually installed. libgcc-15-dev is already the newest version (15.2.0-13). libgcc-15-dev set to manually installed. libsqlite3-0 is already the newest version (3.46.1-9). libsqlite3-0 set to manually installed. coq is already the newest version (9.1.0+dfsg-3+b1). coq set to manually installed. libexpat1 is already the newest version (2.7.4-1). libexpat1 set to manually installed. libfindlib-ocaml is already the newest version (1.9.8-1+b2). libfindlib-ocaml set to manually installed. dh-autoreconf is already the newest version (21+nmu1). dh-autoreconf set to manually installed. libtool is already the newest version (2.5.4-9). libtool set to manually installed. libcap2 is already the newest version (1:2.75-10+b5). libctf-nobfd0 is already the newest version (2.46-1). libctf-nobfd0 set to manually installed. libcoq-ext-lib is already the newest version (0.13.0-3). libcoq-ext-lib set to manually installed. libbinutils is already the newest version (2.46-1). libbinutils set to manually installed. cpp-15-i686-linux-gnu is already the newest version (15.2.0-13). cpp-15-i686-linux-gnu set to manually installed. libjansson4 is already the newest version (2.14-2+b4). libjansson4 set to manually installed. media-types is already the newest version (14.0.0). media-types set to manually installed. libc6 is already the newest version (2.42-13). netbase is already the newest version (6.5). netbase set to manually installed. libgcc-s1 is already the newest version (15.2.0-13). cppo is already the newest version (1.8.0-1+b3). cppo set to manually installed. autopoint is already the newest version (0.23.2-1). autopoint set to manually installed. dh-ocaml is already the newest version (2.5). dh-ocaml set to manually installed. xz-utils is already the newest version (5.8.2-2). xz-utils set to manually installed. libc6-dev is already the newest version (2.42-13). libc6-dev set to manually installed. cpp-15 is already the newest version (15.2.0-13). cpp-15 set to manually installed. libcap-ng0 is already the newest version (0.8.5-4+b2). liblzma5 is already the newest version (5.8.2-2). libgprofng0 is already the newest version (2.46-1). libgprofng0 set to manually installed. binutils-common is already the newest version (2.46-1). binutils-common set to manually installed. libpam-runtime is already the newest version (1.7.0-5). hostname is already the newest version (3.25). libxml2-16 is already the newest version (2.15.1+dfsg-2+b1). libxml2-16 set to manually installed. gzip is already the newest version (1.13-1). linux-libc-dev is already the newest version (6.18.9-1). linux-libc-dev set to manually installed. libuuid1 is already the newest version (2.41.3-3). gcc-i686-linux-gnu is already the newest version (4:15.2.0-5). gcc-i686-linux-gnu set to manually installed. libacl1 is already the newest version (2.3.2-2+b2). libatomic1 is already the newest version (15.2.0-13). libatomic1 set to manually installed. ocaml-findlib is already the newest version (1.9.8-1+b2). ocaml-findlib set to manually installed. cpp is already the newest version (4:15.2.0-5). cpp set to manually installed. patch is already the newest version (2.8-2). patch set to manually installed. ncurses-bin is already the newest version (6.6+20251231-1). g++-15-i686-linux-gnu is already the newest version (15.2.0-13). g++-15-i686-linux-gnu set to manually installed. perl is already the newest version (5.40.1-7). perl set to manually installed. libcoq-core-ocaml-dev is already the newest version (9.1.0+dfsg-3+b1). libcoq-core-ocaml-dev set to manually installed. perl-base is already the newest version (5.40.1-7). libstdlib-ocaml is already the newest version (5.4.0-3). libstdlib-ocaml set to manually installed. libsframe3 is already the newest version (2.46-1). libsframe3 set to manually installed. gcc-15-i686-linux-gnu is already the newest version (15.2.0-13). gcc-15-i686-linux-gnu set to manually installed. groff-base is already the newest version (1.23.0-10). groff-base set to manually installed. gcc-15-base is already the newest version (15.2.0-13). libncursesw6 is already the newest version (6.6+20251231-1). libncursesw6 set to manually installed. libpython3.13-stdlib is already the newest version (3.13.12-1). libpython3.13-stdlib set to manually installed. ocaml-interp is already the newest version (5.4.0-3). ocaml-interp set to manually installed. libfindlib-ocaml-dev is already the newest version (1.9.8-1+b2). libfindlib-ocaml-dev set to manually installed. cpp-i686-linux-gnu is already the newest version (4:15.2.0-5). cpp-i686-linux-gnu set to manually installed. libncurses6 is already the newest version (6.6+20251231-1). libncurses6 set to manually installed. base-files is already the newest version (14). 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.dttqQgYWpa (Reading database ... 22047 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.dttqQgYWpa I: running special hook: download /pkglist ./pkglist I: running --customize-hook in shell: sh -c 'rm "$1/pkglist"' exec /srv/rebuilderd/tmp/mmdebstrap.dttqQgYWpa 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.dttqQgYWpa... I: success in 93.2070 seconds Downloading dependency 135 of 182: libctf-nobfd0:i386=2.46-1 Downloading dependency 136 of 182: libcoq-ext-lib:i386=0.13.0-3 Downloading dependency 137 of 182: libbinutils:i386=2.46-1 Downloading dependency 138 of 182: cpp-15-i686-linux-gnu:i386=15.2.0-13 Downloading dependency 139 of 182: libjansson4:i386=2.14-2+b4 Downloading dependency 140 of 182: media-types:i386=14.0.0 Downloading dependency 141 of 182: libc6:i386=2.42-13 Downloading dependency 142 of 182: netbase:i386=6.5 Downloading dependency 143 of 182: libgcc-s1:i386=15.2.0-13 Downloading dependency 144 of 182: cppo:i386=1.8.0-1+b3 Downloading dependency 145 of 182: autopoint:i386=0.23.2-1 Downloading dependency 146 of 182: dh-ocaml:i386=2.5 Downloading dependency 147 of 182: xz-utils:i386=5.8.2-2 Downloading dependency 148 of 182: libc6-dev:i386=2.42-13 Downloading dependency 149 of 182: cpp-15:i386=15.2.0-13 Downloading dependency 150 of 182: libcap-ng0:i386=0.8.5-4+b2 Downloading dependency 151 of 182: liblzma5:i386=5.8.2-2 Downloading dependency 152 of 182: libgprofng0:i386=2.46-1 Downloading dependency 153 of 182: binutils-common:i386=2.46-1 Downloading dependency 154 of 182: libpam-runtime:i386=1.7.0-5 Downloading dependency 155 of 182: hostname:i386=3.25 Downloading dependency 156 of 182: libxml2-16:i386=2.15.1+dfsg-2+b1 Downloading dependency 157 of 182: gzip:i386=1.13-1 Downloading dependency 158 of 182: linux-libc-dev:i386=6.18.9-1 Downloading dependency 159 of 182: libuuid1:i386=2.41.3-3 Downloading dependency 160 of 182: gcc-i686-linux-gnu:i386=4:15.2.0-5 Downloading dependency 161 of 182: libacl1:i386=2.3.2-2+b2 Downloading dependency 162 of 182: libatomic1:i386=15.2.0-13 Downloading dependency 163 of 182: ocaml-findlib:i386=1.9.8-1+b2 Downloading dependency 164 of 182: cpp:i386=4:15.2.0-5 Downloading dependency 165 of 182: patch:i386=2.8-2 Downloading dependency 166 of 182: ncurses-bin:i386=6.6+20251231-1 Downloading dependency 167 of 182: g++-15-i686-linux-gnu:i386=15.2.0-13 Downloading dependency 168 of 182: perl:i386=5.40.1-7 Downloading dependency 169 of 182: libcoq-core-ocaml-dev:i386=9.1.0+dfsg-3+b1 Downloading dependency 170 of 182: perl-base:i386=5.40.1-7 Downloading dependency 171 of 182: libstdlib-ocaml:i386=5.4.0-3 Downloading dependency 172 of 182: libsframe3:i386=2.46-1 Downloading dependency 173 of 182: gcc-15-i686-linux-gnu:i386=15.2.0-13 Downloading dependency 174 of 182: groff-base:i386=1.23.0-10 Downloading dependency 175 of 182: gcc-15-base:i386=15.2.0-13 Downloading dependency 176 of 182: libncursesw6:i386=6.6+20251231-1 Downloading dependency 177 of 182: libpython3.13-stdlib:i386=3.13.12-1 Downloading dependency 178 of 182: ocaml-interp:i386=5.4.0-3 Downloading dependency 179 of 182: libfindlib-ocaml-dev:i386=1.9.8-1+b2 Downloading dependency 180 of 182: cpp-i686-linux-gnu:i386=4:15.2.0-5 Downloading dependency 181 of 182: libncurses6:i386=6.6+20251231-1 Downloading dependency 182 of 182: base-files:i386=14 env --chdir=/srv/rebuilderd/tmp/rebuilderd3cHALB/out DEB_BUILD_OPTIONS=parallel=6 LANG=C.UTF-8 LC_COLLATE=C.UTF-8 LC_CTYPE=C.UTF-8 SOURCE_DATE_EPOCH=1762885585 SBUILD_CONFIG=/srv/rebuilderd/tmp/debrebuildxWW7i4/debrebuild.sbuildrc.P0Pwxea2og6Z sbuild --build=i386 --host=i386 --no-source --arch-any --no-arch-all --chroot=/srv/rebuilderd/tmp/debrebuildxWW7i4/debrebuild.tar.tX2eJ7tCu4dO --chroot-mode=unshare --dist=unstable --no-run-lintian --no-run-piuparts --no-run-autopkgtest --no-apt-update --no-apt-upgrade --no-apt-distupgrade --verbose --nolog --bd-uninstallable-explainer= --build-path=/build/reproducible-path --dsc-dir=coq-simple-io-1.11.0 /srv/rebuilderd/tmp/rebuilderd3cHALB/inputs/coq-simple-io_1.11.0-3.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 (Debian sbuild) 0.89.3+deb13u4 (28 December 2025) on infom07-amd64 +==============================================================================+ | coq-simple-io 1.11.0-3 (i386) Tue, 24 Feb 2026 00:58:31 +0000 | +==============================================================================+ Package: coq-simple-io Version: 1.11.0-3 Source Version: 1.11.0-3 Distribution: unstable Machine Architecture: amd64 Host Architecture: i386 Build Architecture: i386 Build Type: any I: No tarballs found in /srv/rebuilderd/.cache/sbuild I: Unpacking /srv/rebuilderd/tmp/debrebuildxWW7i4/debrebuild.tar.tX2eJ7tCu4dO to /srv/rebuilderd/tmp/tmp.sbuild.3oGMtvbGUq... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Fetch source files Tue, 24 Feb 2026 00:58:38 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /srv/rebuilderd/tmp/rebuilderd3cHALB/inputs/coq-simple-io_1.11.0-3.dsc exists in /srv/rebuilderd/tmp/rebuilderd3cHALB/inputs; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Tue, 24 Feb 2026 00:58:39 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq (>= 9), 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 (>= 9), 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-kSFGej/apt_archive/sbuild-build-depends-main-dummy.deb'. Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies +------------------------------------------------------------------------------+ | Check architectures Tue, 24 Feb 2026 00:58:44 +0000 | +------------------------------------------------------------------------------+ Arch check ok (i386 included in any) +------------------------------------------------------------------------------+ | Build environment Tue, 24 Feb 2026 00:58:44 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.73+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.73-1 (2026-02-17) amd64 (x86_64) Toolchain package versions: binutils_2.46-1 dpkg-dev_1.23.5 g++-15_15.2.0-13 gcc-15_15.2.0-13 libc6-dev_2.42-13 libstdc++-15-dev_15.2.0-13 libstdc++6_15.2.0-13 linux-libc-dev_6.18.9-1 Package versions: autoconf_2.72-3.1 automake_1:1.18.1-3 autopoint_0.23.2-1 autotools-dev_20240727.1 base-files_14 base-passwd_3.6.8 bash_5.3-1 binutils_2.46-1 binutils-common_2.46-1 binutils-i686-linux-gnu_2.46-1 bsdextrautils_2.41.3-3 build-essential_12.12 bzip2_1.0.8-6+b1 coq_9.1.0+dfsg-3+b1 coreutils_9.7-3 cpp_4:15.2.0-5 cpp-15_15.2.0-13 cpp-15-i686-linux-gnu_15.2.0-13 cpp-i686-linux-gnu_4:15.2.0-5 cppo_1.8.0-1+b3 dash_0.5.12-12 debconf_1.5.91 debhelper_13.30 debianutils_5.23.2 dh-autoreconf_21+nmu1 dh-coq_0.15 dh-ocaml_2.5 dh-strip-nondeterminism_1.15.0-1 diffutils_1:3.12-1 dpkg_1.23.5 dpkg-dev_1.23.5 dwz_0.16-2 file_1:5.46-5+b1 findutils_4.10.0-3 g++_4:15.2.0-5 g++-15_15.2.0-13 g++-15-i686-linux-gnu_15.2.0-13 g++-i686-linux-gnu_4:15.2.0-5 gcc_4:15.2.0-5 gcc-15_15.2.0-13 gcc-15-base_15.2.0-13 gcc-15-i686-linux-gnu_15.2.0-13 gcc-i686-linux-gnu_4:15.2.0-5 gettext_0.23.2-1 gettext-base_0.23.2-1 grep_3.12-1 groff-base_1.23.0-10 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-2+b2 libarchive-zip-perl_1.68-1 libasan8_15.2.0-13 libatomic1_15.2.0-13 libattr1_1:2.5.2-3+b1 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b1 libbinutils_2.46-1 libblkid1_2.41.3-3 libbz2-1.0_1.0.8-6+b1 libc-bin_2.42-13 libc-dev-bin_2.42-13 libc-gconv-modules-extra_2.42-13 libc6_2.42-13 libc6-dev_2.42-13 libcap-ng0_0.8.5-4+b2 libcap2_1:2.75-10+b5 libcc1-0_15.2.0-13 libcompiler-libs-ocaml-dev_5.4.0-3 libconfig-tiny-perl_2.30-1 libcoq-core_9.1.0+dfsg-3+b1 libcoq-core-ocaml_9.1.0+dfsg-3+b1 libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1 libcoq-ext-lib_0.13.0-3 libcoq-stdlib_9.0.0-3+b1 libcrypt1_1:4.5.1-1 libctf-nobfd0_2.46-1 libctf0_2.46-1 libdb5.3t64_5.3.28+dfsg2-11 libdebconfclient0_0.282+b2 libdebhelper-perl_13.30 libdpkg-perl_1.23.5 libelf1t64_0.194-1 libexpat1_2.7.4-1 libffi8_3.5.2-3+b1 libfile-stripnondeterminism-perl_1.15.0-1 libfindlib-ocaml_1.9.8-1+b2 libfindlib-ocaml-dev_1.9.8-1+b2 libgcc-15-dev_15.2.0-13 libgcc-s1_15.2.0-13 libgdbm-compat4t64_1.26-1+b1 libgdbm6t64_1.26-1+b1 libgmp-dev_2:6.3.0+dfsg-5+b1 libgmp10_2:6.3.0+dfsg-5+b1 libgmp3-dev_2:6.3.0+dfsg-5+b1 libgmpxx4ldbl_2:6.3.0+dfsg-5+b1 libgomp1_15.2.0-13 libgprofng0_2.46-1 libisl23_0.27-1+b1 libitm1_15.2.0-13 libjansson4_2.14-2+b4 liblzma5_5.8.2-2 libmagic-mgc_1:5.46-5+b1 libmagic1t64_1:5.46-5+b1 libmd0_1.1.0-2+b2 libmount1_2.41.3-3 libmpc3_1.3.1-2+b1 libmpfr6_4.2.2-2+b1 libncurses-dev_6.6+20251231-1 libncurses6_6.6+20251231-1 libncursesw6_6.6+20251231-1 libpam-modules_1.7.0-5+b1 libpam-modules-bin_1.7.0-5+b1 libpam-runtime_1.7.0-5 libpam0g_1.7.0-5+b1 libpcre2-8-0_10.46-1+b1 libperl5.40_5.40.1-7 libpipeline1_1.5.8-2 libpython3-stdlib_3.13.9-3 libpython3.13-minimal_3.13.12-1 libpython3.13-stdlib_3.13.12-1 libquadmath0_15.2.0-13 libreadline8t64_8.3-4 libseccomp2_2.6.0-2+b1 libselinux1_3.9-4+b1 libsframe3_2.46-1 libsmartcols1_2.41.3-3 libsqlite3-0_3.46.1-9 libssl3t64_3.5.5-1 libstdc++-15-dev_15.2.0-13 libstdc++6_15.2.0-13 libstdlib-ocaml_5.4.0-3 libstdlib-ocaml-dev_5.4.0-3 libsystemd0_259.1-1 libtinfo6_6.6+20251231-1 libtool_2.5.4-9 libubsan1_15.2.0-13 libuchardet0_0.0.8-2+b1 libudev1_259.1-1 libunistring5_1.3-2+b1 libuuid1_2.41.3-3 libxml2-16_2.15.1+dfsg-2+b1 libzarith-ocaml_1.14-1+b3 libzarith-ocaml-dev_1.14-1+b3 libzstd-dev_1.5.7+dfsg-3+b1 libzstd1_1.5.7+dfsg-3+b1 linux-libc-dev_6.18.9-1 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260129-1 media-types_14.0.0 ncurses-base_6.6+20251231-1 ncurses-bin_6.6+20251231-1 netbase_6.5 ocaml_5.4.0-3 ocaml-base_5.4.0-3 ocaml-dune_3.20.2-3+b1 ocaml-findlib_1.9.8-1+b2 ocaml-interp_5.4.0-3 ocamlbuild_0.16.1-2+b1 openssl-provider-legacy_3.5.5-1 patch_2.8-2 perl_5.40.1-7 perl-base_5.40.1-7 perl-modules-5.40_5.40.1-7 po-debconf_1.0.22 python3_3.13.9-3 python3-minimal_3.13.9-3 python3.13_3.13.12-1 python3.13-minimal_3.13.12-1 readline-common_8.3-4 rpcsvc-proto_1.4.3-1 sed_4.9-2 sensible-utils_0.0.26 sysvinit-utils_3.15-6 tar_1.35+dfsg-3.1 tzdata_2025c-3 util-linux_2.41.3-3 xz-utils_5.8.2-2 zlib1g_1:1.3.dfsg+really1.3.1-2 +------------------------------------------------------------------------------+ | Build Tue, 24 Feb 2026 00:58:44 +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-3 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/coq-community/coq-simple-io Standards-Version: 4.7.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 (>= 9), 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 6cbd41be0a964b82cdb72ddcf20e190175361af7 2820 coq-simple-io_1.11.0-3.debian.tar.xz Checksums-Sha256: d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz 9f7b645042d54b9d9a9e32b77d1af7118a8cb9455b8fb4c54e153a444e1b44ac 2820 coq-simple-io_1.11.0-3.debian.tar.xz Files: 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz b49019ed9a9b63a3f40a6f99b4b04031 2820 coq-simple-io_1.11.0-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgmcZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd2wD/0R999zQ350P433DCLOzNXu IVci/viWOtNjBoCUfqfXdZENySgr866B6yU3ucW84VObup9Lx6b96JzxJ10oxJnv AEPDRlk75eBxvAW/ALtJD7/9fZxUuMn9/J+bAk5/qVNFIHtZ+4Oe2IBssv3135LV KhEhAsC0WJ+fcFaa0cuMASLjLCb4LbPB9x85GB6yls8384MMyhrV4DWRpxFyskIJ k6pzJXalxZQCRmybvsIG3BNIGbs1gzrzuu2f4KVnRkdOvhMN+v40mdqcAknD9+Mr /+yWXgr0ISsqVhy/axbeEjkMoKW/i9zatRbIoriHCrwy72CjoX+NPkoDQekFmfPf eQJ7CEBYtDVQ8TeyoYpKm1OacGmLN/NYzYNrBshWCuC3aQFLuAI6v5gXMhNAY+H0 j5QYPDl2vYdMFnaSGpUGlMswUp8NbMvg+cTJ1/VtJR0EPnxn1jDI5rVPbqmUgUL8 hyJ8EkFRfnXVlMpCmTL71T7QCteLsx0Hqgd9Uj6UjUUSA3dYHH0uDeKq3xRF7tNj 0EjXZwe5TcPFVdxhqdLpBdS3yDEt5L8I5LbViGRJ/vNp8lIC0RLvOintWdGJDmqA pjsYmhzK/9V+oIWTPXyjfRno/ygSF5BP6CKgjOVuQ+iDb2zF/O7IO1CDUbzytMGD Ki7BCakEVXb9ytQhMQ8h0Q== =yo1s -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./coq-simple-io_1.11.0-3.dsc: missing OpenPGP keyrings dpkg-source: info: verifying ./coq-simple-io_1.11.0-3.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-3.debian.tar.xz Check disk space ---------------- Sufficient free space for build 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=1762885585 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-3 dpkg-buildpackage: info: source distribution experimental dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture i386 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 Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune 3.8 and will be removed in an upcoming Dune version. Hint: To disable this warning, add the following to your dune-project file: (warnings (deprecated_coq_lang_lt_08 disabled)) (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/SimpleIO_Plugin.v) File "./src/SimpleIO_Plugin.v", line 1, characters 0-35: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/SimpleIO_Plugin.v", line 3, characters 0-41: Error: System error: "/build/reproducible-path/coq-simple-io-1.11.0/_build/install/default/lib/coq-simple-io/plugin/coqsimpleio_plugin.cma: No such file or directory" (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_Monad.v) File "./src/IO_Monad.v", line 4, characters 0-71: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_Exceptions.v) File "./src/IO_Exceptions.v", line 4, characters 0-44: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_Stdlib.v) File "./src/IO_Stdlib.v", line 16, characters 0-93: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_Float.v) File "./src/IO_Float.v", line 4, characters 0-41: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_Sys.v) File "./src/IO_Sys.v", line 7, characters 0-46: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_RawChar.v) File "./src/IO_RawChar.v", line 14, characters 0-50: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/IO_RawChar.v", line 17, characters 0-78: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_Random.v) File "./src/IO_Random.v", line 7, characters 0-46: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_Bytes.v) File "./src/IO_Bytes.v", line 7, characters 0-46: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_String.v) File "./src/IO_String.v", line 12, characters 0-85: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_Unsafe.v) File "./src/IO_Unsafe.v", line 3, characters 0-57: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_UnsafeNat.v) File "./src/IO_UnsafeNat.v", line 8, characters 0-57: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] (cd _build/default && /usr/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/dynlink -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/findlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/str -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/threads -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/unix -I /usr/lib/i386-linux-gnu/ocaml/5.4.0/zarith -I plugin -R /usr/lib/i386-linux-gnu/ocaml/5.4.0/coq/theories Coq -R src SimpleIO src/IO_Unix.v) File "./src/IO_Unix.v", line 7, characters 0-46: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] make[1]: *** [debian/rules:14: override_dh_auto_build] Error 1 make[1]: Leaving directory '/build/reproducible-path/coq-simple-io-1.11.0' make: *** [debian/rules:8: binary-arch] Error 2 dpkg-buildpackage: error: debian/rules binary-arch subprocess failed with exit status 2 -------------------------------------------------------------------------------- Build finished at 2026-02-24T00:58:56Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup Tue, 24 Feb 2026 00:58:56 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died with exit 2) +------------------------------------------------------------------------------+ | Summary Tue, 24 Feb 2026 00:58:58 +0000 | +------------------------------------------------------------------------------+ Build Architecture: i386 Build Type: any Build-Space: 1944 Build-Time: 10 Distribution: unstable Fail-Stage: build Host Architecture: i386 Install-Time: 5 Job: /srv/rebuilderd/tmp/rebuilderd3cHALB/inputs/coq-simple-io_1.11.0-3.dsc Machine Architecture: amd64 Package: coq-simple-io Package-Time: 25 Source-Version: 1.11.0-3 Space: 1944 Status: attempted Version: 1.11.0-3 -------------------------------------------------------------------------------- Finished at 2026-02-24T00:58:56Z Build needed 00:00:25, 1944k disk space E: Build failure (dpkg-buildpackage died with exit 2) sbuild failed