=============================================================================== 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/rebuilderdTUFG9B/inputs/coq-simple-io_1.11.0-3_armhf.buildinfo Source: coq-simple-io Version: 1.11.0-3 rebuilderd-worker node: codethink01-arm64 +------------------------------------------------------------------------------+ | Downloading sources Mon, 16 Feb 2026 20:35:48 +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.5 kB] Get:9 https://deb.debian.org/debian trixie/non-free-firmware Sources [6552 B] Get:10 https://deb.debian.org/debian trixie/main Sources [10.5 MB] Get:11 https://deb.debian.org/debian-security trixie-security/non-free-firmware Sources [696 B] Get:12 https://deb.debian.org/debian-security trixie-security/main Sources [131 kB] 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 [49.7 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 [145 kB] Get:17 https://deb.debian.org/debian forky/main Sources [10.6 MB] Get:18 https://deb.debian.org/debian forky/non-free-firmware Sources [7700 B] Get:19 https://deb.debian.org/debian sid/main Sources [11.2 MB] Get:20 https://deb.debian.org/debian sid/non-free-firmware Sources [9696 B] Get:21 https://deb.debian.org/debian experimental/main Sources [397 kB] Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [3180 B] Fetched 33.8 MB in 32s (1046 kB/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 Mon, 16 Feb 2026 20:36:21 +0000 | +------------------------------------------------------------------------------+ Rebuilding coq-simple-io=1.11.0-3 in /srv/rebuilderd/tmp/rebuilderdTUFG9B/inputs now. + nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdTUFG9B/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdTUFG9B/inputs/coq-simple-io_1.11.0-3_armhf.buildinfo /srv/rebuilderd/tmp/rebuilderdTUFG9B/inputs/coq-simple-io_1.11.0-3_armhf.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/20260210T210104Z sid InRelease [187 kB] Get:3 http://snapshot.debian.org/archive/debian/20260215T082326Z rc-buggy InRelease [91.5 kB] Get:4 http://deb.debian.org/debian unstable/main armhf Packages [9654 kB] Get:5 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf Packages [9631 kB] Get:6 http://snapshot.debian.org/archive/debian/20260215T082326Z rc-buggy/main armhf Packages [478 kB] Fetched 20.2 MB in 4s (5271 kB/s) Reading package lists... W: http://snapshot.debian.org/archive/debian/20260210T210104Z/dists/sid/InRelease: Loading /etc/apt/trusted.gpg from deprecated option Dir::Etc::Trusted W: http://snapshot.debian.org/archive/debian/20260215T082326Z/dists/rc-buggy/InRelease: Loading /etc/apt/trusted.gpg from deprecated option Dir::Etc::Trusted Get:1 http://deb.debian.org/debian unstable/main armhf dpkg armhf 1.23.5 [1478 kB] Fetched 1478 kB in 0s (47.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_18bdpku/dpkg_1.23.5_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf binutils-arm-linux-gnueabihf armhf 2.46-1 [865 kB] Fetched 865 kB in 0s (34.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphl4inbqv/binutils-arm-linux-gnueabihf_2.46-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libgcc-15-dev armhf 15.2.0-13 [767 kB] Fetched 767 kB in 0s (25.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpugr4ykc7/libgcc-15-dev_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libgdbm6t64 armhf 1.26-1+b1 [74.9 kB] Fetched 74.9 kB in 0s (3509 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzwmu4kcq/libgdbm6t64_1.26-1+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libpython3-stdlib armhf 3.13.9-3 [10.5 kB] Fetched 10.5 kB in 0s (462 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpt05xfo_n/libpython3-stdlib_3.13.9-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libcap2 armhf 1:2.75-10+b5 [24.9 kB] Fetched 24.9 kB in 0s (1012 kB/s) dpkg-name: info: moved 'libcap2_1%3a2.75-10+b5_armhf.deb' to '/srv/rebuilderd/tmp/tmp964dselz/libcap2_2.75-10+b5_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libgomp1 armhf 15.2.0-13 [115 kB] Fetched 115 kB in 0s (6318 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpefclwcrz/libgomp1_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libcc1-0 armhf 15.2.0-13 [32.3 kB] Fetched 32.3 kB in 0s (1246 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpg91rq2ch/libcc1-0_15.2.0-13_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260215T082326Z rc-buggy/main armhf libcoq-core-ocaml armhf 9.1.0+dfsg-3+b1 [17.5 MB] Fetched 17.5 MB in 0s (104 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdottgsm5/libcoq-core-ocaml_9.1.0+dfsg-3+b1_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libdebhelper-perl all 13.29 [92.6 kB] Fetched 92.6 kB in 0s (4992 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptjn1b7i2/libdebhelper-perl_13.29_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf base-files armhf 14 [72.9 kB] Fetched 72.9 kB in 0s (3751 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2ym59pms/base-files_14_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260215T082326Z rc-buggy/main armhf coq armhf 9.1.0+dfsg-3+b1 [23.6 MB] Fetched 23.6 MB in 0s (125 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpexqxlpli/coq_9.1.0+dfsg-3+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf sysvinit-utils armhf 3.15-6 [33.7 kB] Fetched 33.7 kB in 0s (1730 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpa_no5gux/sysvinit-utils_3.15-6_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf zlib1g armhf 1:1.3.dfsg+really1.3.1-2 [75.5 kB] Fetched 75.5 kB in 0s (3865 kB/s) dpkg-name: info: moved 'zlib1g_1%3a1.3.dfsg+really1.3.1-2_armhf.deb' to '/srv/rebuilderd/tmp/tmpzr8qd_xj/zlib1g_1.3.dfsg+really1.3.1-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf bzip2 armhf 1.0.8-6+b1 [39.9 kB] Fetched 39.9 kB in 0s (1891 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcj54m02t/bzip2_1.0.8-6+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libpam-runtime all 1.7.0-5 [249 kB] Fetched 249 kB in 0s (11.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp234yde7x/libpam-runtime_1.7.0-5_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libsqlite3-0 armhf 3.46.1-9 [809 kB] Fetched 809 kB in 0s (33.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpejhcxt_w/libsqlite3-0_3.46.1-9_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf base-passwd armhf 3.6.8 [53.4 kB] Fetched 53.4 kB in 0s (2408 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8qcpn129/base-passwd_3.6.8_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libstdc++-15-dev armhf 15.2.0-13 [2446 kB] Fetched 2446 kB in 0s (78.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpeix1ef9z/libstdc++-15-dev_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf debconf all 1.5.91 [121 kB] Fetched 121 kB in 0s (5578 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppg9gdg5n/debconf_1.5.91_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260215T082326Z rc-buggy/main armhf libcoq-core-ocaml-dev armhf 9.1.0+dfsg-3+b1 [44.9 MB] Fetched 44.9 MB in 0s (125 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpagihllsc/libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libpython3.13-minimal armhf 3.13.12-1 [852 kB] Fetched 852 kB in 0s (39.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5xakgoto/libpython3.13-minimal_3.13.12-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf ncurses-bin armhf 6.6+20251231-1 [436 kB] Fetched 436 kB in 0s (21.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppyxhwe07/ncurses-bin_6.6+20251231-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf xz-utils armhf 5.8.2-2 [704 kB] Fetched 704 kB in 0s (24.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7klkarpz/xz-utils_5.8.2-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libsmartcols1 armhf 2.41.3-3 [130 kB] Fetched 130 kB in 0s (6920 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpl5xjacvx/libsmartcols1_2.41.3-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libperl5.40 armhf 5.40.1-7 [3645 kB] Fetched 3645 kB in 0s (83.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphjv6ti0g/libperl5.40_5.40.1-7_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libexpat1 armhf 2.7.4-1 [96.5 kB] Fetched 96.5 kB in 0s (4569 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpovztljiy/libexpat1_2.7.4-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf bsdextrautils armhf 2.41.3-3 [90.7 kB] Fetched 90.7 kB in 0s (5004 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpw_lj_c6x/bsdextrautils_2.41.3-3_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libc-gconv-modules-extra armhf 2.42-12 [1158 kB] Fetched 1158 kB in 0s (48.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzdo1tkzh/libc-gconv-modules-extra_2.42-12_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260215T082326Z rc-buggy/main armhf libcoq-core armhf 9.1.0+dfsg-3+b1 [1139 kB] Fetched 1139 kB in 0s (38.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwwb8mivq/libcoq-core_9.1.0+dfsg-3+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libzstd1 armhf 1.5.7+dfsg-3+b1 [269 kB] Fetched 269 kB in 0s (12.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp3oq37sj_/libzstd1_1.5.7+dfsg-3+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf ocaml-findlib armhf 1.9.8-1+b2 [281 kB] Fetched 281 kB in 0s (12.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4f66991_/ocaml-findlib_1.9.8-1+b2_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libc-dev-bin armhf 2.42-12 [59.9 kB] Fetched 59.9 kB in 0s (3233 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp58hp6yud/libc-dev-bin_2.42-12_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libtool all 2.5.4-9 [540 kB] Fetched 540 kB in 0s (21.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7qxkesl4/libtool_2.5.4-9_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf build-essential armhf 12.12 [4624 B] Fetched 4624 B in 0s (239 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0bs47qpw/build-essential_12.12_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf coreutils armhf 9.7-3 [2869 kB] Fetched 2869 kB in 0s (63.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp25vka2sh/coreutils_9.7-3_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libstdlib-ocaml-dev armhf 5.4.0-2 [5538 kB] Fetched 5538 kB in 0s (70.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphu8ctsh6/libstdlib-ocaml-dev_5.4.0-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf dpkg-dev all 1.23.5 [1318 kB] Fetched 1318 kB in 0s (44.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpge68k_cc/dpkg-dev_1.23.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libpcre2-8-0 armhf 10.46-1+b1 [260 kB] Fetched 260 kB in 0s (15.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_by3gwqp/libpcre2-8-0_10.46-1+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libcrypt1 armhf 1:4.5.1-1 [102 kB] Fetched 102 kB in 0s (4071 kB/s) dpkg-name: info: moved 'libcrypt1_1%3a4.5.1-1_armhf.deb' to '/srv/rebuilderd/tmp/tmpeoy_y9dn/libcrypt1_4.5.1-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libisl23 armhf 0.27-1+b1 [523 kB] Fetched 523 kB in 0s (19.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8ah1cdsg/libisl23_0.27-1+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libpam-modules armhf 1.7.0-5+b1 [164 kB] Fetched 164 kB in 0s (5391 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8p6bm6ok/libpam-modules_1.7.0-5+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libncurses-dev armhf 6.6+20251231-1 [316 kB] Fetched 316 kB in 0s (30.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplkqck7kh/libncurses-dev_6.6+20251231-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf dh-coq all 0.14 [6956 B] Fetched 6956 B in 0s (289 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdtppj6gy/dh-coq_0.14_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libsframe3 armhf 2.46-1 [80.2 kB] Fetched 80.2 kB in 0s (3266 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpid7zmwmf/libsframe3_2.46-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf sensible-utils all 0.0.26 [27.0 kB] Fetched 27.0 kB in 0s (1321 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpq83hzc55/sensible-utils_0.0.26_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf debhelper all 13.29 [943 kB] Fetched 943 kB in 0s (32.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9j4ed9xb/debhelper_13.29_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf ocamlbuild armhf 0.16.1-2+b1 [294 kB] Fetched 294 kB in 0s (12.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp61z51b4v/ocamlbuild_0.16.1-2+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf g++-15-arm-linux-gnueabihf armhf 15.2.0-13 [10.2 MB] Fetched 10.2 MB in 0s (132 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8liabgkr/g++-15-arm-linux-gnueabihf_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libxml2-16 armhf 2.15.1+dfsg-2+b1 [552 kB] Fetched 552 kB in 0s (19.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxvbdf7c6/libxml2-16_2.15.1+dfsg-2+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libncursesw6 armhf 6.6+20251231-1 [112 kB] Fetched 112 kB in 0s (4298 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9n3lz6d4/libncursesw6_6.6+20251231-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libdebconfclient0 armhf 0.282+b2 [10.8 kB] Fetched 10.8 kB in 0s (538 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqisy0285/libdebconfclient0_0.282+b2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf po-debconf all 1.0.22 [216 kB] Fetched 216 kB in 0s (11.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpk698kd6w/po-debconf_1.0.22_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf gettext armhf 0.23.2-1 [1567 kB] Fetched 1567 kB in 0s (55.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2g9j8a8n/gettext_0.23.2-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf tar armhf 1.35+dfsg-3.1 [794 kB] Fetched 794 kB in 0s (31.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcx0_q9it/tar_1.35+dfsg-3.1_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libc-bin armhf 2.42-12 [532 kB] Fetched 532 kB in 0s (25.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpp1c8aagq/libc-bin_2.42-12_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libpam-modules-bin armhf 1.7.0-5+b1 [45.4 kB] Fetched 45.4 kB in 0s (2449 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplywqfm0w/libpam-modules-bin_1.7.0-5+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libmagic1t64 armhf 1:5.46-5+b1 [101 kB] Fetched 101 kB in 0s (4579 kB/s) dpkg-name: info: moved 'libmagic1t64_1%3a5.46-5+b1_armhf.deb' to '/srv/rebuilderd/tmp/tmp8sgg0p3n/libmagic1t64_5.46-5+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf dh-ocaml all 2.5 [62.9 kB] Fetched 62.9 kB in 0s (3217 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpec8c4198/dh-ocaml_2.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf cppo armhf 1.8.0-1+b3 [248 kB] Fetched 248 kB in 0s (10.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpi_43assw/cppo_1.8.0-1+b3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libselinux1 armhf 3.9-4+b1 [77.7 kB] Fetched 77.7 kB in 0s (3695 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9nel6o2u/libselinux1_3.9-4+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libmpc3 armhf 1.3.1-2+b1 [43.9 kB] Fetched 43.9 kB in 0s (2128 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptlqkns3u/libmpc3_1.3.1-2+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libuchardet0 armhf 0.0.8-2+b1 [65.7 kB] Fetched 65.7 kB in 0s (3401 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4on39was/libuchardet0_0.0.8-2+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libpipeline1 armhf 1.5.8-2 [35.3 kB] Fetched 35.3 kB in 0s (1920 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7ruialr5/libpipeline1_1.5.8-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libtinfo6 armhf 6.6+20251231-1 [338 kB] Fetched 338 kB in 0s (14.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmph7z9n5sz/libtinfo6_6.6+20251231-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf g++ armhf 4:15.2.0-5 [1328 B] Fetched 1328 B in 0s (63.5 kB/s) dpkg-name: info: moved 'g++_4%3a15.2.0-5_armhf.deb' to '/srv/rebuilderd/tmp/tmpqv3yq_qk/g++_15.2.0-5_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf hostname armhf 3.25 [10.0 kB] Fetched 10.0 kB in 0s (512 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9eoy3pxr/hostname_3.25_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf cpp-15-arm-linux-gnueabihf armhf 15.2.0-13 [9384 kB] Fetched 9384 kB in 0s (116 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpj5p0m19z/cpp-15-arm-linux-gnueabihf_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libblkid1 armhf 2.41.3-3 [158 kB] Fetched 158 kB in 0s (8337 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpeylyfumf/libblkid1_2.41.3-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libpython3.13-stdlib armhf 3.13.12-1 [1845 kB] Fetched 1845 kB in 0s (64.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpncmo5vco/libpython3.13-stdlib_3.13.12-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf liblzma5 armhf 5.8.2-2 [314 kB] Fetched 314 kB in 0s (13.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprws846c1/liblzma5_5.8.2-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf sed armhf 4.9-2 [321 kB] Fetched 321 kB in 0s (14.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprxexczbk/sed_4.9-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf man-db armhf 2.13.1-1 [1432 kB] Fetched 1432 kB in 0s (52.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpek1xitii/man-db_2.13.1-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libseccomp2 armhf 2.6.0-2+b1 [49.6 kB] Fetched 49.6 kB in 0s (2690 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6ihh2o4r/libseccomp2_2.6.0-2+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libubsan1 armhf 15.2.0-13 [1075 kB] Fetched 1075 kB in 0s (33.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcw8mv_bd/libubsan1_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf dash armhf 0.5.12-12 [90.4 kB] Fetched 90.4 kB in 0s (4439 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpre29ua2d/dash_0.5.12-12_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libaudit1 armhf 1:4.1.2-1+b1 [54.5 kB] Fetched 54.5 kB in 0s (2640 kB/s) dpkg-name: info: moved 'libaudit1_1%3a4.1.2-1+b1_armhf.deb' to '/srv/rebuilderd/tmp/tmpf9thsk33/libaudit1_4.1.2-1+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf gcc-15-base armhf 15.2.0-13 [54.8 kB] Fetched 54.8 kB in 0s (2687 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbmdd_k0b/gcc-15-base_15.2.0-13_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260215T082326Z rc-buggy/main armhf libcoq-stdlib armhf 9.0.0-3 [19.5 MB] Fetched 19.5 MB in 0s (115 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcr8n9i9e/libcoq-stdlib_9.0.0-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf python3.13-minimal armhf 3.13.12-1 [1893 kB] Fetched 1893 kB in 0s (57.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkwbndobi/python3.13-minimal_3.13.12-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libpam0g armhf 1.7.0-5+b1 [65.0 kB] Fetched 65.0 kB in 0s (4248 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplg3ntars/libpam0g_1.7.0-5+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libstdc++6 armhf 15.2.0-13 [623 kB] Fetched 623 kB in 0s (28.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp29pislhl/libstdc++6_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libjansson4 armhf 2.14-2+b4 [35.9 kB] Fetched 35.9 kB in 0s (1935 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7jyv1qgu/libjansson4_2.14-2+b4_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf m4 armhf 1.4.21-1 [312 kB] Fetched 312 kB in 0s (13.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyvqee6gd/m4_1.4.21-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libgdbm-compat4t64 armhf 1.26-1+b1 [52.8 kB] Fetched 52.8 kB in 0s (2384 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpskgdkzdi/libgdbm-compat4t64_1.26-1+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf rpcsvc-proto armhf 1.4.3-1 [58.7 kB] Fetched 58.7 kB in 0s (2709 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp901itzmx/rpcsvc-proto_1.4.3-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf findutils armhf 4.10.0-3 [687 kB] Fetched 687 kB in 0s (25.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpt5v6mrtb/findutils_4.10.0-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libfindlib-ocaml-dev armhf 1.9.8-1+b2 [93.1 kB] Fetched 93.1 kB in 0s (4363 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpe573u6h3/libfindlib-ocaml-dev_1.9.8-1+b2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf perl-modules-5.40 all 5.40.1-7 [3012 kB] Fetched 3012 kB in 0s (74.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcer_zv6b/perl-modules-5.40_5.40.1-7_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libacl1 armhf 2.3.2-2+b2 [30.2 kB] Fetched 30.2 kB in 0s (1597 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb1d470ha/libacl1_2.3.2-2+b2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf cpp-arm-linux-gnueabihf armhf 4:15.2.0-5 [5336 B] Fetched 5336 B in 0s (259 kB/s) dpkg-name: info: moved 'cpp-arm-linux-gnueabihf_4%3a15.2.0-5_armhf.deb' to '/srv/rebuilderd/tmp/tmp9wq84i6e/cpp-arm-linux-gnueabihf_15.2.0-5_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libgmp-dev armhf 2:6.3.0+dfsg-5+b1 [594 kB] Fetched 594 kB in 0s (28.7 MB/s) dpkg-name: info: moved 'libgmp-dev_2%3a6.3.0+dfsg-5+b1_armhf.deb' to '/srv/rebuilderd/tmp/tmpudw44tr4/libgmp-dev_6.3.0+dfsg-5+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libsystemd0 armhf 259.1-1 [435 kB] Fetched 435 kB in 0s (18.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8q4rmt7g/libsystemd0_259.1-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf init-system-helpers all 1.69 [39.3 kB] Fetched 39.3 kB in 0s (1878 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppsky6tj4/init-system-helpers_1.69_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libgcc-s1 armhf 15.2.0-13 [36.8 kB] Fetched 36.8 kB in 0s (1744 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpammg9lev/libgcc-s1_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libaudit-common all 1:4.1.2-1 [14.3 kB] Fetched 14.3 kB in 0s (660 kB/s) dpkg-name: info: moved 'libaudit-common_1%3a4.1.2-1_all.deb' to '/srv/rebuilderd/tmp/tmpnvbyy_aw/libaudit-common_4.1.2-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf cpp-15 armhf 15.2.0-13 [1276 B] Fetched 1276 B in 0s (61.6 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf7xq16p8/cpp-15_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libffi8 armhf 3.5.2-3+b1 [22.6 kB] Fetched 22.6 kB in 0s (1097 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzt4fb8u2/libffi8_3.5.2-3+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf g++-15 armhf 15.2.0-13 [26.0 kB] Fetched 26.0 kB in 0s (1241 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp042uhyu1/g++-15_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf python3 armhf 3.13.9-3 [27.6 kB] Fetched 27.6 kB in 0s (1162 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppslaa0v4/python3_3.13.9-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf perl armhf 5.40.1-7 [267 kB] Fetched 267 kB in 0s (12.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpn9_7cpws/perl_5.40.1-7_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Fetched 19.9 kB in 0s (958 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjo_sc7ru/libfile-stripnondeterminism-perl_1.15.0-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libzstd-dev armhf 1.5.7+dfsg-3+b1 [337 kB] Fetched 337 kB in 0s (17.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwogdvx72/libzstd-dev_1.5.7+dfsg-3+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libmd0 armhf 1.1.0-2+b2 [32.5 kB] Fetched 32.5 kB in 0s (1617 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpov3ik9ur/libmd0_1.1.0-2+b2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libasan8 armhf 15.2.0-13 [2633 kB] Fetched 2633 kB in 0s (69.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprw2x5_ok/libasan8_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf autoconf all 2.72-3.1 [494 kB] Fetched 494 kB in 0s (40.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpt69a9lom/autoconf_2.72-3.1_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libbinutils armhf 2.46-1 [348 kB] Fetched 348 kB in 0s (19.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4bv58xfj/libbinutils_2.46-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libelf1t64 armhf 0.194-1 [180 kB] Fetched 180 kB in 0s (8452 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkiop4_wk/libelf1t64_0.194-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf make armhf 4.4.1-3 [450 kB] Fetched 450 kB in 0s (20.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpllivcjkh/make_4.4.1-3_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf linux-libc-dev all 6.18.9-1 [2569 kB] Fetched 2569 kB in 0s (71.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdvumgnlp/linux-libc-dev_6.18.9-1_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf bash armhf 5.3-1 [1485 kB] Fetched 1485 kB in 0s (54.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxs2gn4ml/bash_5.3-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libcap-ng0 armhf 0.8.5-4+b2 [16.2 kB] Fetched 16.2 kB in 0s (874 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2zwz50sl/libcap-ng0_0.8.5-4+b2_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf ocaml-base armhf 5.4.0-2 [474 kB] Fetched 474 kB in 0s (20.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_3mucqyu/ocaml-base_5.4.0-2_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libreadline8t64 armhf 8.3-3+b1 [158 kB] Fetched 158 kB in 0s (8158 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpudeush9w/libreadline8t64_8.3-3+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf netbase all 6.5 [12.4 kB] Fetched 12.4 kB in 0s (671 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4lzzgt06/netbase_6.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf python3-minimal armhf 3.13.9-3 [27.6 kB] Fetched 27.6 kB in 0s (1480 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9vheopf2/python3-minimal_3.13.9-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libmagic-mgc armhf 1:5.46-5+b1 [338 kB] Fetched 338 kB in 0s (13.9 MB/s) dpkg-name: info: moved 'libmagic-mgc_1%3a5.46-5+b1_armhf.deb' to '/srv/rebuilderd/tmp/tmp8i06svxo/libmagic-mgc_5.46-5+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf binutils-common armhf 2.46-1 [2632 kB] Fetched 2632 kB in 0s (75.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpalud81d2/binutils-common_2.46-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf openssl-provider-legacy armhf 3.5.5-1 [303 kB] Fetched 303 kB in 0s (15.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpukkz9e5y/openssl-provider-legacy_3.5.5-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf automake all 1:1.18.1-3 [878 kB] Fetched 878 kB in 0s (31.3 MB/s) dpkg-name: info: moved 'automake_1%3a1.18.1-3_all.deb' to '/srv/rebuilderd/tmp/tmp6p49jt0z/automake_1.18.1-3_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf debianutils armhf 5.23.2 [91.4 kB] Fetched 91.4 kB in 0s (4606 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9vvlhudk/debianutils_5.23.2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf file armhf 1:5.46-5+b1 [43.0 kB] Fetched 43.0 kB in 0s (2304 kB/s) dpkg-name: info: moved 'file_1%3a5.46-5+b1_armhf.deb' to '/srv/rebuilderd/tmp/tmpoiudfn_q/file_5.46-5+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf util-linux armhf 2.41.3-3 [1076 kB] Fetched 1076 kB in 0s (37.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwvagrlgw/util-linux_2.41.3-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf autopoint all 0.23.2-1 [772 kB] Fetched 772 kB in 0s (59.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpuh4hc1q2/autopoint_0.23.2-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf grep armhf 3.12-1 [433 kB] Fetched 433 kB in 0s (22.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpooms5ffj/grep_3.12-1_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libcompiler-libs-ocaml-dev armhf 5.4.0-2 [26.5 MB] Fetched 26.5 MB in 0s (135 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcjn6q13f/libcompiler-libs-ocaml-dev_5.4.0-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf ncurses-base all 6.6+20251231-1 [277 kB] Fetched 277 kB in 0s (15.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpz_8f2wq_/ncurses-base_6.6+20251231-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf gzip armhf 1.13-1 [134 kB] Fetched 134 kB in 0s (7114 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwr2s3mkk/gzip_1.13-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libudev1 armhf 259.1-1 [148 kB] Fetched 148 kB in 0s (6873 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpu9lbjzmh/libudev1_259.1-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf gcc armhf 4:15.2.0-5 [5156 B] Fetched 5156 B in 0s (0 B/s) dpkg-name: info: moved 'gcc_4%3a15.2.0-5_armhf.deb' to '/srv/rebuilderd/tmp/tmp6aztzt88/gcc_15.2.0-5_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf readline-common all 8.3-3 [74.8 kB] Fetched 74.8 kB in 0s (2685 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptqx0pkvm/readline-common_8.3-3_all.deb' Downloading dependency 1 of 179: dpkg:armhf=1.23.5 Downloading dependency 2 of 179: binutils-arm-linux-gnueabihf:armhf=2.46-1 Downloading dependency 3 of 179: libgcc-15-dev:armhf=15.2.0-13 Downloading dependency 4 of 179: libgdbm6t64:armhf=1.26-1+b1 Downloading dependency 5 of 179: libpython3-stdlib:armhf=3.13.9-3 Downloading dependency 6 of 179: libcap2:armhf=1:2.75-10+b5 Downloading dependency 7 of 179: libgomp1:armhf=15.2.0-13 Downloading dependency 8 of 179: libcc1-0:armhf=15.2.0-13 Downloading dependency 9 of 179: libcoq-core-ocaml:armhf=9.1.0+dfsg-3+b1 Downloading dependency 10 of 179: libdebhelper-perl:armhf=13.29 Downloading dependency 11 of 179: base-files:armhf=14 Downloading dependency 12 of 179: coq:armhf=9.1.0+dfsg-3+b1 Downloading dependency 13 of 179: sysvinit-utils:armhf=3.15-6 Downloading dependency 14 of 179: zlib1g:armhf=1:1.3.dfsg+really1.3.1-2 Downloading dependency 15 of 179: bzip2:armhf=1.0.8-6+b1 Downloading dependency 16 of 179: libpam-runtime:armhf=1.7.0-5 Downloading dependency 17 of 179: libsqlite3-0:armhf=3.46.1-9 Downloading dependency 18 of 179: base-passwd:armhf=3.6.8 Downloading dependency 19 of 179: libstdc++-15-dev:armhf=15.2.0-13 Downloading dependency 20 of 179: debconf:armhf=1.5.91 Downloading dependency 21 of 179: libcoq-core-ocaml-dev:armhf=9.1.0+dfsg-3+b1 Downloading dependency 22 of 179: libpython3.13-minimal:armhf=3.13.12-1 Downloading dependency 23 of 179: ncurses-bin:armhf=6.6+20251231-1 Downloading dependency 24 of 179: xz-utils:armhf=5.8.2-2 Downloading dependency 25 of 179: libsmartcols1:armhf=2.41.3-3 Downloading dependency 26 of 179: libperl5.40:armhf=5.40.1-7 Downloading dependency 27 of 179: libexpat1:armhf=2.7.4-1 Downloading dependency 28 of 179: bsdextrautils:armhf=2.41.3-3 Downloading dependency 29 of 179: libc-gconv-modules-extra:armhf=2.42-12 Downloading dependency 30 of 179: libcoq-core:armhf=9.1.0+dfsg-3+b1 Downloading dependency 31 of 179: libzstd1:armhf=1.5.7+dfsg-3+b1 Downloading dependency 32 of 179: ocaml-findlib:armhf=1.9.8-1+b2 Downloading dependency 33 of 179: libc-dev-bin:armhf=2.42-12 Downloading dependency 34 of 179: libtool:armhf=2.5.4-9 Downloading dependency 35 of 179: build-essential:armhf=12.12 Downloading dependency 36 of 179: coreutils:armhf=9.7-3 Downloading dependency 37 of 179: libstdlib-ocaml-dev:armhf=5.4.0-2 Downloading dependency 38 of 179: dpkg-dev:armhf=1.23.5 Downloading dependency 39 of 179: libpcre2-8-0:armhf=10.46-1+b1 Downloading dependency 40 of 179: libcrypt1:armhf=1:4.5.1-1 Downloading dependency 41 of 179: libisl23:armhf=0.27-1+b1 Downloading dependency 42 of 179: libpam-modules:armhf=1.7.0-5+b1 Downloading dependency 43 of 179: libncurses-dev:armhf=6.6+20251231-1 Downloading dependency 44 of 179: dh-coq:armhf=0.14 Downloading dependency 45 of 179: libsframe3:armhf=2.46-1 Downloading dependency 46 of 179: sensible-utils:armhf=0.0.26 Downloading dependency 47 of 179: debhelper:armhf=13.29 Downloading dependency 48 of 179: ocamlbuild:armhf=0.16.1-2+b1 Downloading dependency 49 of 179: g++-15-arm-linux-gnueabihf:armhf=15.2.0-13 Downloading dependency 50 of 179: libxml2-16:armhf=2.15.1+dfsg-2+b1 Downloading dependency 51 of 179: libncursesw6:armhf=6.6+20251231-1 Downloading dependency 52 of 179: libdebconfclient0:armhf=0.282+b2 Downloading dependency 53 of 179: po-debconf:armhf=1.0.22 Downloading dependency 54 of 179: gettext:armhf=0.23.2-1 Downloading dependency 55 of 179: tar:armhf=1.35+dfsg-3.1 Downloading dependency 56 of 179: libc-bin:armhf=2.42-12 Downloading dependency 57 of 179: libpam-modules-bin:armhf=1.7.0-5+b1 Downloading dependency 58 of 179: libmagic1t64:armhf=1:5.46-5+b1 Downloading dependency 59 of 179: dh-ocaml:armhf=2.5 Downloading dependency 60 of 179: cppo:armhf=1.8.0-1+b3 Downloading dependency 61 of 179: libselinux1:armhf=3.9-4+b1 Downloading dependency 62 of 179: libmpc3:armhf=1.3.1-2+b1 Downloading dependency 63 of 179: libuchardet0:armhf=0.0.8-2+b1 Downloading dependency 64 of 179: libpipeline1:armhf=1.5.8-2 Downloading dependency 65 of 179: libtinfo6:armhf=6.6+20251231-1 Downloading dependency 66 of 179: g++:armhf=4:15.2.0-5 Downloading dependency 67 of 179: hostname:armhf=3.25 Downloading dependency 68 of 179: cpp-15-arm-linux-gnueabihf:armhf=15.2.0-13 Downloading dependency 69 of 179: libblkid1:armhf=2.41.3-3 Downloading dependency 70 of 179: libpython3.13-stdlib:armhf=3.13.12-1 Downloading dependency 71 of 179: liblzma5:armhf=5.8.2-2 Downloading dependency 72 of 179: sed:armhf=4.9-2 Downloading dependency 73 of 179: man-db:armhf=2.13.1-1 Downloading dependency 74 of 179: libseccomp2:armhf=2.6.0-2+b1 Downloading dependency 75 of 179: libubsan1:armhf=15.2.0-13 Downloading dependency 76 of 179: dash:armhf=0.5.12-12 Downloading dependency 77 of 179: libaudit1:armhf=1:4.1.2-1+b1 Downloading dependency 78 of 179: gcc-15-base:armhf=15.2.0-13 Downloading dependency 79 of 179: libcoq-stdlib:armhf=9.0.0-3 Downloading dependency 80 of 179: python3.13-minimal:armhf=3.13.12-1 Downloading dependency 81 of 179: libpam0g:armhf=1.7.0-5+b1 Downloading dependency 82 of 179: libstdc++6:armhf=15.2.0-13 Downloading dependency 83 of 179: libjansson4:armhf=2.14-2+b4 Downloading dependency 84 of 179: m4:armhf=1.4.21-1 Downloading dependency 85 of 179: libgdbm-compat4t64:armhf=1.26-1+b1 Downloading dependency 86 of 179: rpcsvc-proto:armhf=1.4.3-1 Downloading dependency 87 of 179: findutils:armhf=4.10.0-3 Downloading dependency 88 of 179: libfindlib-ocaml-dev:armhf=1.9.8-1+b2 Downloading dependency 89 of 179: perl-modules-5.40:armhf=5.40.1-7 Downloading dependency 90 of 179: libacl1:armhf=2.3.2-2+b2 Downloading dependency 91 of 179: cpp-arm-linux-gnueabihf:armhf=4:15.2.0-5 Downloading dependency 92 of 179: libgmp-dev:armhf=2:6.3.0+dfsg-5+b1 Downloading dependency 93 of 179: libsystemd0:armhf=259.1-1 Downloading dependency 94 of 179: init-system-helpers:armhf=1.69 Downloading dependency 95 of 179: libgcc-s1:armhf=15.2.0-13 Downloading dependency 96 of 179: libaudit-common:armhf=1:4.1.2-1 Downloading dependency 97 of 179: cpp-15:armhf=15.2.0-13 Downloading dependency 98 of 179: libffi8:armhf=3.5.2-3+b1 Downloading dependency 99 of 179: g++-15:armhf=15.2.0-13 Downloading dependency 100 of 179: python3:armhf=3.13.9-3 Downloading dependency 101 of 179: perl:armhf=5.40.1-7 Downloading dependency 102 of 179: libfile-stripnondeterminism-perl:armhf=1.15.0-1 Downloading dependency 103 of 179: libzstd-dev:armhf=1.5.7+dfsg-3+b1 Downloading dependency 104 of 179: libmd0:armhf=1.1.0-2+b2 Downloading dependency 105 of 179: libasan8:armhf=15.2.0-13 Downloading dependency 106 of 179: autoconf:armhf=2.72-3.1 Downloading dependency 107 of 179: libbinutils:armhf=2.46-1 Downloading dependency 108 of 179: libelf1t64:armhf=0.194-1 Downloading dependency 109 of 179: make:armhf=4.4.1-3 Downloading dependency 110 of 179: linux-libc-dev:armhf=6.18.9-1 Downloading dependency 111 of 179: bash:armhf=5.3-1 Downloading dependency 112 of 179: libcap-ng0:armhf=0.8.5-4+b2 Downloading dependency 113 of 179: ocaml-base:armhf=5.4.0-2 Downloading dependency 114 of 179: libreadline8t64:armhf=8.3-3+b1 Downloading dependency 115 of 179: netbase:armhf=6.5 Downloading dependency 116 of 179: python3-minimal:armhf=3.13.9-3 Downloading dependency 117 of 179: libmagic-mgc:armhf=1:5.46-5+b1 Downloading dependency 118 of 179: binutils-common:armhf=2.46-1 Downloading dependency 119 of 179: openssl-provider-legacy:armhf=3.5.5-1 Downloading dependency 120 of 179: automake:armhf=1:1.18.1-3 Downloading dependency 121 of 179: debianutils:armhf=5.23.2 Downloading dependency 122 of 179: file:armhf=1:5.46-5+b1 Downloading dependency 123 of 179: util-linux:armhf=2.41.3-3 Downloading dependency 124 of 179: autopoint:armhf=0.23.2-1 Downloading dependency 125 of 179: grep:armhf=3.12-1 Downloading dependency 126 of 179: libcompiler-libs-ocaml-dev:armhf=5.4.0-2 Downloading dependency 127 of 179: ncurses-base:armhf=6.6+20251231-1 Downloading dependency 128 of 179: gzip:armhf=1.13-1 Downloading dependency 129 of 179: libudev1:armhf=259.1-1 Downloading dependency 130 of 179: gcc:armhf=4:15.2.0-5 Downloading dependency 131 of 179: readline-common:armhf=8.3-3 Downloading dependency 132 of 179: python3.13:armhf=3.13.12-1Get:1 http://deb.debian.org/debian unstable/main armhf python3.13 armhf 3.13.12-1 [776 kB] Fetched 776 kB in 0s (35.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvnplnexo/python3.13_3.13.12-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf gcc-arm-linux-gnueabihf armhf 4:15.2.0-5 [1444 B] Fetched 1444 B in 0s (73.9 kB/s) dpkg-name: info: moved 'gcc-arm-linux-gnueabihf_4%3a15.2.0-5_armhf.deb' to '/srv/rebuilderd/tmp/tmp3ljh1qoq/gcc-arm-linux-gnueabihf_15.2.0-5_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf dh-autoreconf all 21+nmu1 [11.7 kB] Fetched 11.7 kB in 0s (631 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxqhlms6/dh-autoreconf_21+nmu1_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf ocaml armhf 5.4.0-2 [1529 kB] Fetched 1529 kB in 0s (44.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpbbri4bap/ocaml_5.4.0-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libbz2-1.0 armhf 1.0.8-6+b1 [35.3 kB] Fetched 35.3 kB in 0s (1831 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpupjnc4pa/libbz2-1.0_1.0.8-6+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB] Fetched 22.9 kB in 0s (1168 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmprd0lz3w7/intltool-debian_0.35.0+20060710.6_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf binutils armhf 2.46-1 [69.9 kB] Fetched 69.9 kB in 0s (3793 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvxtznuki/binutils_2.46-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libctf-nobfd0 armhf 2.46-1 [130 kB] Fetched 130 kB in 0s (0 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7udmespx/libctf-nobfd0_2.46-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libmpfr6 armhf 4.2.2-2+b1 [607 kB] Fetched 607 kB in 0s (29.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0_9pgan_/libmpfr6_4.2.2-2+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf dwz armhf 0.16-2 [104 kB] Fetched 104 kB in 0s (5531 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwfi66hka/dwz_0.16-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf g++-arm-linux-gnueabihf armhf 4:15.2.0-5 [1204 B] Fetched 1204 B in 0s (69.5 kB/s) dpkg-name: info: moved 'g++-arm-linux-gnueabihf_4%3a15.2.0-5_armhf.deb' to '/srv/rebuilderd/tmp/tmpyx7amxhq/g++-arm-linux-gnueabihf_15.2.0-5_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Fetched 104 kB in 0s (5555 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpqp7drr4g/libarchive-zip-perl_1.68-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libmount1 armhf 2.41.3-3 [192 kB] Fetched 192 kB in 0s (10.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptk2_17m3/libmount1_2.41.3-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf gettext-base armhf 0.23.2-1 [240 kB] Fetched 240 kB in 0s (12.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxq3m5znl/gettext-base_0.23.2-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libatomic1 armhf 15.2.0-13 [7132 B] Fetched 7132 B in 0s (351 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpy1epzku3/libatomic1_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libgmpxx4ldbl armhf 2:6.3.0+dfsg-5+b1 [329 kB] Fetched 329 kB in 0s (16.8 MB/s) dpkg-name: info: moved 'libgmpxx4ldbl_2%3a6.3.0+dfsg-5+b1_armhf.deb' to '/srv/rebuilderd/tmp/tmpxpe5sl86/libgmpxx4ldbl_6.3.0+dfsg-5+b1_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libstdlib-ocaml armhf 5.4.0-2 [482 kB] Fetched 482 kB in 0s (20.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4rjgkbo4/libstdlib-ocaml_5.4.0-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf dh-strip-nondeterminism all 1.15.0-1 [8812 B] Fetched 8812 B in 0s (415 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2je6eh25/dh-strip-nondeterminism_1.15.0-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libctf0 armhf 2.46-1 [62.5 kB] Fetched 62.5 kB in 0s (2856 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4wk_5wlj/libctf0_2.46-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libzarith-ocaml-dev armhf 1.14-1+b3 [77.9 kB] Fetched 77.9 kB in 0s (4151 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpu1bbq97l/libzarith-ocaml-dev_1.14-1+b3_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf ocaml-interp armhf 5.4.0-2 [7461 kB] Fetched 7461 kB in 0s (111 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7zfzjup3/ocaml-interp_5.4.0-2_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf ocaml-dune armhf 3.20.2-3+b1 [1017 kB] Fetched 1017 kB in 0s (35.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp5ptkyvx8/ocaml-dune_3.20.2-3+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libuuid1 armhf 2.41.3-3 [37.7 kB] Fetched 37.7 kB in 0s (1965 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdygo31i6/libuuid1_2.41.3-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf perl-base armhf 5.40.1-7 [1525 kB] Fetched 1525 kB in 0s (47.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9ghv731u/perl-base_5.40.1-7_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf gcc-15 armhf 15.2.0-13 [503 kB] Fetched 503 kB in 0s (22.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf94so555/gcc-15_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf gcc-15-arm-linux-gnueabihf armhf 15.2.0-13 [18.2 MB] Fetched 18.2 MB in 0s (217 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvxnl31xx/gcc-15-arm-linux-gnueabihf_15.2.0-13_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libzarith-ocaml armhf 1.14-1+b3 [78.5 kB] Fetched 78.5 kB in 0s (4144 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnjw2feq7/libzarith-ocaml_1.14-1+b3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libunistring5 armhf 1.3-2+b1 [431 kB] Fetched 431 kB in 0s (21.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9v4j2d4i/libunistring5_1.3-2+b1_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libc6-dev armhf 2.42-12 [1352 kB] Fetched 1352 kB in 0s (47.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmps42dipku/libc6-dev_2.42-12_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf cpp armhf 4:15.2.0-5 [1572 B] Fetched 1572 B in 0s (80.2 kB/s) dpkg-name: info: moved 'cpp_4%3a15.2.0-5_armhf.deb' to '/srv/rebuilderd/tmp/tmpzy1_fs_l/cpp_15.2.0-5_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libgmp3-dev armhf 2:6.3.0+dfsg-5+b1 [322 kB] Fetched 322 kB in 0s (14.7 MB/s) dpkg-name: info: moved 'libgmp3-dev_2%3a6.3.0+dfsg-5+b1_armhf.deb' to '/srv/rebuilderd/tmp/tmp347m2sky/libgmp3-dev_6.3.0+dfsg-5+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf patch armhf 2.8-2 [128 kB] Fetched 128 kB in 0s (6841 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4n_ry7cw/patch_2.8-2_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260215T082326Z rc-buggy/main armhf libcoq-ext-lib armhf 0.13.0-3 [773 kB] Fetched 773 kB in 1s (1472 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptj_uxsbu/libcoq-ext-lib_0.13.0-3_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf groff-base armhf 1.23.0-10 [1095 kB] Fetched 1095 kB in 0s (37.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjk8d9pc6/groff-base_1.23.0-10_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libfindlib-ocaml armhf 1.9.8-1+b2 [133 kB] Fetched 133 kB in 0s (7443 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpj3rspfug/libfindlib-ocaml_1.9.8-1+b2_armhf.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libc6 armhf 2.42-12 [1489 kB] Fetched 1489 kB in 0s (57.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpboltqqh1/libc6_2.42-12_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libgmp10 armhf 2:6.3.0+dfsg-5+b1 [514 kB] Fetched 514 kB in 0s (20.0 MB/s) dpkg-name: info: moved 'libgmp10_2%3a6.3.0+dfsg-5+b1_armhf.deb' to '/srv/rebuilderd/tmp/tmppsa7usum/libgmp10_6.3.0+dfsg-5+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libdb5.3t64 armhf 5.3.28+dfsg2-11 [607 kB] Fetched 607 kB in 0s (29.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp15mwls8r/libdb5.3t64_5.3.28+dfsg2-11_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf diffutils armhf 1:3.12-1 [392 kB] Fetched 392 kB in 0s (15.5 MB/s) dpkg-name: info: moved 'diffutils_1%3a3.12-1_armhf.deb' to '/srv/rebuilderd/tmp/tmpdwafu7e5/diffutils_3.12-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libssl3t64 armhf 3.5.5-1 [1992 kB] Fetched 1992 kB in 0s (67.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1_o5uu23/libssl3t64_3.5.5-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf mawk armhf 1.3.4.20260129-1 [133 kB] Fetched 133 kB in 0s (6983 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_9fgirvx/mawk_1.3.4.20260129-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf tzdata all 2025c-3 [263 kB] Fetched 263 kB in 0s (13.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpx1dbylxk/tzdata_2025c-3_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libdpkg-perl all 1.23.5 [668 kB] Fetched 668 kB in 0s (32.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjw3m20i_/libdpkg-perl_1.23.5_all.deb' Get:1 http://snapshot.debian.org/archive/debian/20260210T210104Z sid/main armhf libattr1 armhf 1:2.5.2-3+b1 [22.2 kB] Fetched 22.2 kB in 0s (1194 kB/s) dpkg-name: info: moved 'libattr1_1%3a2.5.2-3+b1_armhf.deb' to '/srv/rebuilderd/tmp/tmp9wzbetjy/libattr1_2.5.2-3+b1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf media-types all 14.0.0 [30.8 kB] Fetched 30.8 kB in 0s (1451 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpm34pl4ya/media-types_14.0.0_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libncurses6 armhf 6.6+20251231-1 [84.1 kB] Fetched 84.1 kB in 0s (3938 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1_2wvfp6/libncurses6_6.6+20251231-1_armhf.deb' Get:1 http://deb.debian.org/debian unstable/main armhf autotools-dev all 20240727.1 [60.2 kB] Fetched 60.2 kB in 0s (3407 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpne1lfj34/autotools-dev_20240727.1_all.deb' Get:1 http://deb.debian.org/debian unstable/main armhf libconfig-tiny-perl all 2.30-1 [18.9 kB] Fetched 18.9 kB in 0s (868 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpn877t6ia/libconfig-tiny-perl_2.30-1_all.deb' dpkg-buildpackage: info: source package debootsnap-dummy dpkg-buildpackage: info: source version 1.0 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Equivs Dummy Package Generator dpkg-source --before-build . dpkg-buildpackage: info: host architecture arm64 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_arm64.buildinfo dpkg-genchanges --build=binary -O../debootsnap-dummy_1.0_arm64.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/tmp20oxvqcg/cache directory, not in ".." as indicated by the message above! I: automatically chosen mode: unshare I: armhf is different from arm64 but can be executed natively I: using /srv/rebuilderd/tmp/mmdebstrap.hF8qD32_Yr as tempdir I: running --setup-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/setup00.sh /srv/rebuilderd/tmp/mmdebstrap.hF8qD32_Yr 127.0.0.1 - - [16/Feb/2026 20:38:56] code 404, message File not found 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:40629 ./ InRelease 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./Release HTTP/1.1" 200 - Get:2 http://localhost:40629 ./ Release [462 B] 127.0.0.1 - - [16/Feb/2026 20:38:56] code 404, message File not found 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:40629 ./ Release.gpg 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./Packages HTTP/1.1" 200 - Get:4 http://localhost:40629 ./ Packages [219 kB] Fetched 219 kB in 0s (5153 kB/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 - - [16/Feb/2026 20:38:56] "GET /./gcc-15-base_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libc-gconv-modules-extra_2.42-12_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libc6_2.42-12_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libgcc-s1_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./mawk_1.3.4.20260129-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./base-files_14_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libtinfo6_6.6%2b20251231-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./debianutils_5.23.2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./bash_5.3-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libacl1_2.3.2-2%2bb2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libattr1_2.5.2-3%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libcap2_2.75-10%2bb5_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libgmp10_6.3.0%2bdfsg-5%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libpcre2-8-0_10.46-1%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libselinux1_3.9-4%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libzstd1_1.5.7%2bdfsg-3%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./zlib1g_1.3.dfsg%2breally1.3.1-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libssl3t64_3.5.5-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./openssl-provider-legacy_3.5.5-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libsystemd0_259.1-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./coreutils_9.7-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./dash_0.5.12-12_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./diffutils_3.12-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libbz2-1.0_1.0.8-6%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./liblzma5_5.8.2-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libmd0_1.1.0-2%2bb2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./tar_1.35%2bdfsg-3.1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./dpkg_1.23.5_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./findutils_4.10.0-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./grep_3.12-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./gzip_1.13-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./hostname_3.25_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./ncurses-bin_6.6%2b20251231-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./libcrypt1_4.5.1-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:56] "GET /./perl-base_5.40.1-7_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./sed_4.9-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libaudit-common_4.1.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libcap-ng0_0.8.5-4%2bb2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libaudit1_4.1.2-1%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libdb5.3t64_5.3.28%2bdfsg2-11_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./debconf_1.5.91_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libpam0g_1.7.0-5%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libpam-modules-bin_1.7.0-5%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libpam-modules_1.7.0-5%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libpam-runtime_1.7.0-5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libblkid1_2.41.3-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libmount1_2.41.3-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libsmartcols1_2.41.3-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libudev1_259.1-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libuuid1_2.41.3-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./util-linux_2.41.3-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libdebconfclient0_0.282%2bb2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./base-passwd_3.6.8_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./init-system-helpers_1.69_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./libc-bin_2.42-12_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./ncurses-base_6.6%2b20251231-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:38:57] "GET /./sysvinit-utils_3.15-6_armhf.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.hF8qD32_Yr 127.0.0.1 - - [16/Feb/2026 20:39:00] code 404, message File not found 127.0.0.1 - - [16/Feb/2026 20:39:00] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:40629 ./ InRelease 127.0.0.1 - - [16/Feb/2026 20:39:00] "GET /./Release HTTP/1.1" 304 - Hit:2 http://localhost:40629 ./ Release 127.0.0.1 - - [16/Feb/2026 20:39:00] code 404, message File not found 127.0.0.1 - - [16/Feb/2026 20:39:00] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:40629 ./ 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.hF8qD32_Yr 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 - - [16/Feb/2026 20:39:09] "GET /./libexpat1_2.7.4-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libpython3.13-minimal_3.13.12-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./python3.13-minimal_3.13.12-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./python3-minimal_3.13.9-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./media-types_14.0.0_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./netbase_6.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./tzdata_2025c-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libffi8_3.5.2-3%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libncursesw6_6.6%2b20251231-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./readline-common_8.3-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libreadline8t64_8.3-3%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libsqlite3-0_3.46.1-9_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libpython3.13-stdlib_3.13.12-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./python3.13_3.13.12-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libpython3-stdlib_3.13.9-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./python3_3.13.9-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./sensible-utils_0.0.26_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libstdc%2b%2b6_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libuchardet0_0.0.8-2%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./groff-base_1.23.0-10_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./bsdextrautils_2.41.3-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libgdbm6t64_1.26-1%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libpipeline1_1.5.8-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libseccomp2_2.6.0-2%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./man-db_2.13.1-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./bzip2_1.0.8-6%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libmagic-mgc_5.46-5%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./libmagic1t64_5.46-5%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./file_5.46-5%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./gettext-base_0.23.2-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:09] "GET /./perl-modules-5.40_5.40.1-7_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libgdbm-compat4t64_1.26-1%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libperl5.40_5.40.1-7_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./perl_5.40.1-7_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./xz-utils_5.8.2-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./m4_1.4.21-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./autoconf_2.72-3.1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./autotools-dev_20240727.1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./automake_1.18.1-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./autopoint_0.23.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./binutils-common_2.46-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libsframe3_2.46-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libbinutils_2.46-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libctf-nobfd0_2.46-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libctf0_2.46-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libjansson4_2.14-2%2bb4_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./binutils-arm-linux-gnueabihf_2.46-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./binutils_2.46-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libc-dev-bin_2.42-12_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./linux-libc-dev_6.18.9-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./rpcsvc-proto_1.4.3-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libc6-dev_2.42-12_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libisl23_0.27-1%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libmpfr6_4.2.2-2%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libmpc3_1.3.1-2%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./cpp-15-arm-linux-gnueabihf_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./cpp-15_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./cpp-arm-linux-gnueabihf_15.2.0-5_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./cpp_15.2.0-5_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libcc1-0_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libgomp1_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libatomic1_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libasan8_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libubsan1_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libgcc-15-dev_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./gcc-15-arm-linux-gnueabihf_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./gcc-15_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./gcc-arm-linux-gnueabihf_15.2.0-5_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./gcc_15.2.0-5_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libstdc%2b%2b-15-dev_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./g%2b%2b-15-arm-linux-gnueabihf_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./g%2b%2b-15_15.2.0-13_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./g%2b%2b-arm-linux-gnueabihf_15.2.0-5_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./g%2b%2b_15.2.0-5_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./make_4.4.1-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libdpkg-perl_1.23.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./patch_2.8-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./dpkg-dev_1.23.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./build-essential_12.12_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libcoq-core_9.1.0%2bdfsg-3%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libstdlib-ocaml_5.4.0-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./ocaml-base_5.4.0-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libfindlib-ocaml_1.9.8-1%2bb2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libzarith-ocaml_1.14-1%2bb3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libcoq-core-ocaml_9.1.0%2bdfsg-3%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libstdlib-ocaml-dev_5.4.0-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:10] "GET /./libcompiler-libs-ocaml-dev_5.4.0-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./ocaml-interp_5.4.0-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libncurses6_6.6%2b20251231-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libncurses-dev_6.6%2b20251231-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libzstd-dev_1.5.7%2bdfsg-3%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./ocaml_5.4.0-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./ocaml-findlib_1.9.8-1%2bb2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./coq_9.1.0%2bdfsg-3%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./cppo_1.8.0-1%2bb3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libdebhelper-perl_13.29_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libtool_2.5.4-9_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./dh-autoreconf_21%2bnmu1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libarchive-zip-perl_1.68-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libfile-stripnondeterminism-perl_1.15.0-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./dh-strip-nondeterminism_1.15.0-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libelf1t64_0.194-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./dwz_0.16-2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libunistring5_1.3-2%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libxml2-16_2.15.1%2bdfsg-2%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./gettext_0.23.2-1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./intltool-debian_0.35.0%2b20060710.6_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./po-debconf_1.0.22_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./debhelper_13.29_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libfindlib-ocaml-dev_1.9.8-1%2bb2_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libgmpxx4ldbl_6.3.0%2bdfsg-5%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libgmp-dev_6.3.0%2bdfsg-5%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libgmp3-dev_6.3.0%2bdfsg-5%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libzarith-ocaml-dev_1.14-1%2bb3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libcoq-core-ocaml-dev_9.1.0%2bdfsg-3%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./dh-coq_0.14_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./ocamlbuild_0.16.1-2%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libconfig-tiny-perl_2.30-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./dh-ocaml_2.5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libcoq-stdlib_9.0.0-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./ocaml-dune_3.20.2-3%2bb1_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./libcoq-ext-lib_0.13.0-3_armhf.deb HTTP/1.1" 200 - 127.0.0.1 - - [16/Feb/2026 20:39:11] "GET /./debootsnap-dummy_1.0_all.deb HTTP/1.1" 200 - I: running --customize-hook directly: /srv/rebuilderd/tmp/tmp20oxvqcg/apt_install.sh /srv/rebuilderd/tmp/mmdebstrap.hF8qD32_Yr Reading package lists... Building dependency tree... Reading state information... dpkg is already the newest version (1.23.5). binutils-arm-linux-gnueabihf is already the newest version (2.46-1). binutils-arm-linux-gnueabihf set to manually installed. libgcc-15-dev is already the newest version (15.2.0-13). libgcc-15-dev set to manually installed. libgdbm6t64 is already the newest version (1.26-1+b1). libgdbm6t64 set to manually installed. libpython3-stdlib is already the newest version (3.13.9-3). libpython3-stdlib set to manually installed. libcap2 is already the newest version (1:2.75-10+b5). libgomp1 is already the newest version (15.2.0-13). libgomp1 set to manually installed. libcc1-0 is already the newest version (15.2.0-13). libcc1-0 set to manually installed. libcoq-core-ocaml is already the newest version (9.1.0+dfsg-3+b1). libcoq-core-ocaml set to manually installed. libdebhelper-perl is already the newest version (13.29). libdebhelper-perl set to manually installed. base-files is already the newest version (14). coq is already the newest version (9.1.0+dfsg-3+b1). coq set to manually installed. sysvinit-utils is already the newest version (3.15-6). zlib1g is already the newest version (1:1.3.dfsg+really1.3.1-2). bzip2 is already the newest version (1.0.8-6+b1). bzip2 set to manually installed. libpam-runtime is already the newest version (1.7.0-5). libsqlite3-0 is already the newest version (3.46.1-9). libsqlite3-0 set to manually installed. base-passwd is already the newest version (3.6.8). libstdc++-15-dev is already the newest version (15.2.0-13). libstdc++-15-dev set to manually installed. debconf is already the newest version (1.5.91). libcoq-core-ocaml-dev is already the newest version (9.1.0+dfsg-3+b1). libcoq-core-ocaml-dev set to manually installed. libpython3.13-minimal is already the newest version (3.13.12-1). libpython3.13-minimal set to manually installed. ncurses-bin is already the newest version (6.6+20251231-1). xz-utils is already the newest version (5.8.2-2). xz-utils set to manually installed. libsmartcols1 is already the newest version (2.41.3-3). libperl5.40 is already the newest version (5.40.1-7). libperl5.40 set to manually installed. libexpat1 is already the newest version (2.7.4-1). libexpat1 set to manually installed. bsdextrautils is already the newest version (2.41.3-3). bsdextrautils set to manually installed. libc-gconv-modules-extra is already the newest version (2.42-12). libcoq-core is already the newest version (9.1.0+dfsg-3+b1). libcoq-core set to manually installed. libzstd1 is already the newest version (1.5.7+dfsg-3+b1). ocaml-findlib is already the newest version (1.9.8-1+b2). ocaml-findlib set to manually installed. libc-dev-bin is already the newest version (2.42-12). libc-dev-bin set to manually installed. libtool is already the newest version (2.5.4-9). libtool set to manually installed. build-essential is already the newest version (12.12). build-essential set to manually installed. coreutils is already the newest version (9.7-3). libstdlib-ocaml-dev is already the newest version (5.4.0-2). libstdlib-ocaml-dev set to manually installed. dpkg-dev is already the newest version (1.23.5). dpkg-dev set to manually installed. libpcre2-8-0 is already the newest version (10.46-1+b1). libcrypt1 is already the newest version (1:4.5.1-1). libisl23 is already the newest version (0.27-1+b1). libisl23 set to manually installed. libpam-modules 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. dh-coq is already the newest version (0.14). dh-coq set to manually installed. libsframe3 is already the newest version (2.46-1). libsframe3 set to manually installed. sensible-utils is already the newest version (0.0.26). sensible-utils set to manually installed. debhelper is already the newest version (13.29). debhelper set to manually installed. ocamlbuild is already the newest version (0.16.1-2+b1). ocamlbuild set to manually installed. g++-15-arm-linux-gnueabihf is already the newest version (15.2.0-13). g++-15-arm-linux-gnueabihf set to manually installed. libxml2-16 is already the newest version (2.15.1+dfsg-2+b1). libxml2-16 set to manually installed. libncursesw6 is already the newest version (6.6+20251231-1). libncursesw6 set to manually installed. libdebconfclient0 is already the newest version (0.282+b2). po-debconf is already the newest version (1.0.22). po-debconf set to manually installed. gettext is already the newest version (0.23.2-1). gettext set to manually installed. tar is already the newest version (1.35+dfsg-3.1). libc-bin is already the newest version (2.42-12). libpam-modules-bin is already the newest version (1.7.0-5+b1). libmagic1t64 is already the newest version (1:5.46-5+b1). libmagic1t64 set to manually installed. dh-ocaml is already the newest version (2.5). dh-ocaml set to manually installed. cppo is already the newest version (1.8.0-1+b3). cppo set to manually installed. libselinux1 is already the newest version (3.9-4+b1). libmpc3 is already the newest version (1.3.1-2+b1). libmpc3 set to manually installed. libuchardet0 is already the newest version (0.0.8-2+b1). libuchardet0 set to manually installed. libpipeline1 is already the newest version (1.5.8-2). libpipeline1 set to manually installed. libtinfo6 is already the newest version (6.6+20251231-1). g++ is already the newest version (4:15.2.0-5). g++ set to manually installed. hostname is already the newest version (3.25). cpp-15-arm-linux-gnueabihf is already the newest version (15.2.0-13). cpp-15-arm-linux-gnueabihf set to manually installed. libblkid1 is already the newest version (2.41.3-3). libpython3.13-stdlib is already the newest version (3.13.12-1). libpython3.13-stdlib set to manually installed. liblzma5 is already the newest version (5.8.2-2). 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. libseccomp2 is already the newest version (2.6.0-2+b1). libseccomp2 set to manually installed. libubsan1 is already the newest version (15.2.0-13). libubsan1 set to manually installed. dash is already the newest version (0.5.12-12). libaudit1 is already the newest version (1:4.1.2-1+b1). gcc-15-base is already the newest version (15.2.0-13). libcoq-stdlib is already the newest version (9.0.0-3). libcoq-stdlib set to manually installed. python3.13-minimal is already the newest version (3.13.12-1). python3.13-minimal set to manually installed. libpam0g is already the newest version (1.7.0-5+b1). libstdc++6 is already the newest version (15.2.0-13). libstdc++6 set to manually installed. libjansson4 is already the newest version (2.14-2+b4). libjansson4 set to manually installed. m4 is already the newest version (1.4.21-1). m4 set to manually installed. libgdbm-compat4t64 is already the newest version (1.26-1+b1). libgdbm-compat4t64 set to manually installed. rpcsvc-proto is already the newest version (1.4.3-1). rpcsvc-proto set to manually installed. findutils is already the newest version (4.10.0-3). libfindlib-ocaml-dev is already the newest version (1.9.8-1+b2). libfindlib-ocaml-dev 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. libacl1 is already the newest version (2.3.2-2+b2). cpp-arm-linux-gnueabihf is already the newest version (4:15.2.0-5). cpp-arm-linux-gnueabihf set to manually installed. libgmp-dev is already the newest version (2:6.3.0+dfsg-5+b1). libgmp-dev set to manually installed. libsystemd0 is already the newest version (259.1-1). init-system-helpers is already the newest version (1.69). libgcc-s1 is already the newest version (15.2.0-13). libaudit-common is already the newest version (1:4.1.2-1). cpp-15 is already the newest version (15.2.0-13). cpp-15 set to manually installed. libffi8 is already the newest version (3.5.2-3+b1). libffi8 set to manually installed. g++-15 is already the newest version (15.2.0-13). g++-15 set to manually installed. python3 is already the newest version (3.13.9-3). python3 set to manually installed. perl is already the newest version (5.40.1-7). perl set to manually installed. libfile-stripnondeterminism-perl is already the newest version (1.15.0-1). libfile-stripnondeterminism-perl set to manually installed. libzstd-dev is already the newest version (1.5.7+dfsg-3+b1). libzstd-dev set to manually installed. libmd0 is already the newest version (1.1.0-2+b2). libasan8 is already the newest version (15.2.0-13). libasan8 set to manually installed. autoconf is already the newest version (2.72-3.1). autoconf set to manually installed. libbinutils is already the newest version (2.46-1). libbinutils set to manually installed. libelf1t64 is already the newest version (0.194-1). libelf1t64 set to manually installed. make is already the newest version (4.4.1-3). make set to manually installed. linux-libc-dev is already the newest version (6.18.9-1). linux-libc-dev set to manually installed. bash is already the newest version (5.3-1). libcap-ng0 is already the newest version (0.8.5-4+b2). ocaml-base is already the newest version (5.4.0-2). ocaml-base set to manually installed. libreadline8t64 is already the newest version (8.3-3+b1). libreadline8t64 set to manually installed. netbase is already the newest version (6.5). netbase set to manually installed. python3-minimal is already the newest version (3.13.9-3). python3-minimal set to manually installed. libmagic-mgc is already the newest version (1:5.46-5+b1). libmagic-mgc set to manually installed. binutils-common is already the newest version (2.46-1). binutils-common set to manually installed. openssl-provider-legacy is already the newest version (3.5.5-1). automake is already the newest version (1:1.18.1-3). automake set to manually installed. debianutils is already the newest version (5.23.2). file is already the newest version (1:5.46-5+b1). file set to manually installed. util-linux is already the newest version (2.41.3-3). autopoint is already the newest version (0.23.2-1). autopoint set to manually installed. grep is already the newest version (3.12-1). libcompiler-libs-ocaml-dev is already the newest version (5.4.0-2). libcompiler-libs-ocaml-dev set to manually installed. ncurses-base is already the newest version (6.6+20251231-1). gzip is already the newest version (1.13-1). libudev1 is already the newest version (259.1-1). gcc is already the newest version (4:15.2.0-5). gcc set to manually installed. readline-common is already the newest version (8.3-3). readline-common set to manually installed. python3.13 is already the newest version (3.13.12-1). python3.13 set to manually installed. gcc-arm-linux-gnueabihf is already the newest version (4:15.2.0-5). gcc-arm-linux-gnueabihf set to manually installed. dh-autoreconf is already the newest version (21+nmu1). dh-autoreconf set to manually installed. ocaml is already the newest version (5.4.0-2). ocaml set to manually installed. libbz2-1.0 is already the newest version (1.0.8-6+b1). intltool-debian is already the newest version (0.35.0+20060710.6). intltool-debian set to manually installed. binutils is already the newest version (2.46-1). binutils set to manually installed. libctf-nobfd0 is already the newest version (2.46-1). libctf-nobfd0 set to manually installed. libmpfr6 is already the newest version (4.2.2-2+b1). libmpfr6 set to manually installed. dwz is already the newest version (0.16-2). dwz set to manually installed. g++-arm-linux-gnueabihf is already the newest version (4:15.2.0-5). g++-arm-linux-gnueabihf set to manually installed. libarchive-zip-perl is already the newest version (1.68-1). libarchive-zip-perl set to manually installed. libmount1 is already the newest version (2.41.3-3). gettext-base is already the newest version (0.23.2-1). gettext-base set to manually installed. libatomic1 is already the newest version (15.2.0-13). libatomic1 set to manually installed. libgmpxx4ldbl is already the newest version (2:6.3.0+dfsg-5+b1). libgmpxx4ldbl set to manually installed. libstdlib-ocaml is already the newest version (5.4.0-2). libstdlib-ocaml set to manually installed. dh-strip-nondeterminism is already the newest version (1.15.0-1). dh-strip-nondeterminism set to manually installed. libctf0 is already the newest version (2.46-1). libctf0 set to manually installed. libzarith-ocaml-dev is already the newest version (1.14-1+b3). libzarith-ocaml-dev set to manually installed. ocaml-interp is already the newest version (5.4.0-2). ocaml-interp set to manually installed. ocaml-dune is already the newest version (3.20.2-3+b1). ocaml-dune set to manually installed. libuuid1 is already the newest version (2.41.3-3). perl-base is already the newest version (5.40.1-7). gcc-15 is already the newest version (15.2.0-13). gcc-15 set to manually installed. gcc-15-arm-linux-gnueabihf is already the newest version (15.2.0-13). gcc-15-arm-linux-gnueabihf set to manually installed. libzarith-ocaml is already the newest version (1.14-1+b3). libzarith-ocaml set to manually installed. libunistring5 is already the newest version (1.3-2+b1). libunistring5 set to manually installed. libc6-dev is already the newest version (2.42-12). libc6-dev set to manually installed. cpp is already the newest version (4:15.2.0-5). cpp set to manually installed. libgmp3-dev is already the newest version (2:6.3.0+dfsg-5+b1). libgmp3-dev set to manually installed. patch is already the newest version (2.8-2). patch set to manually installed. libcoq-ext-lib is already the newest version (0.13.0-3). libcoq-ext-lib set to manually installed. groff-base is already the newest version (1.23.0-10). groff-base set to manually installed. libfindlib-ocaml is already the newest version (1.9.8-1+b2). libfindlib-ocaml set to manually installed. libc6 is already the newest version (2.42-12). libgmp10 is already the newest version (2:6.3.0+dfsg-5+b1). libdb5.3t64 is already the newest version (5.3.28+dfsg2-11). diffutils is already the newest version (1:3.12-1). libssl3t64 is already the newest version (3.5.5-1). mawk is already the newest version (1.3.4.20260129-1). tzdata is already the newest version (2025c-3). tzdata set to manually installed. libdpkg-perl is already the newest version (1.23.5). libdpkg-perl set to manually installed. libattr1 is already the newest version (1:2.5.2-3+b1). media-types is already the newest version (14.0.0). media-types set to manually installed. libncurses6 is already the newest version (6.6+20251231-1). libncurses6 set to manually installed. autotools-dev is already the newest version (20240727.1). autotools-dev set to manually installed. libconfig-tiny-perl is already the newest version (2.30-1). libconfig-tiny-perl set to manually installed. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: running --customize-hook in shell: sh -c 'chroot "$1" dpkg -r debootsnap-dummy' exec /srv/rebuilderd/tmp/mmdebstrap.hF8qD32_Yr (Reading database ... 21788 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.hF8qD32_Yr I: running special hook: download /pkglist ./pkglist I: running --customize-hook in shell: sh -c 'rm "$1/pkglist"' exec /srv/rebuilderd/tmp/mmdebstrap.hF8qD32_Yr 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.hF8qD32_Yr... I: success in 61.1602 seconds Downloading dependency 133 of 179: gcc-arm-linux-gnueabihf:armhf=4:15.2.0-5 Downloading dependency 134 of 179: dh-autoreconf:armhf=21+nmu1 Downloading dependency 135 of 179: ocaml:armhf=5.4.0-2 Downloading dependency 136 of 179: libbz2-1.0:armhf=1.0.8-6+b1 Downloading dependency 137 of 179: intltool-debian:armhf=0.35.0+20060710.6 Downloading dependency 138 of 179: binutils:armhf=2.46-1 Downloading dependency 139 of 179: libctf-nobfd0:armhf=2.46-1 Downloading dependency 140 of 179: libmpfr6:armhf=4.2.2-2+b1 Downloading dependency 141 of 179: dwz:armhf=0.16-2 Downloading dependency 142 of 179: g++-arm-linux-gnueabihf:armhf=4:15.2.0-5 Downloading dependency 143 of 179: libarchive-zip-perl:armhf=1.68-1 Downloading dependency 144 of 179: libmount1:armhf=2.41.3-3 Downloading dependency 145 of 179: gettext-base:armhf=0.23.2-1 Downloading dependency 146 of 179: libatomic1:armhf=15.2.0-13 Downloading dependency 147 of 179: libgmpxx4ldbl:armhf=2:6.3.0+dfsg-5+b1 Downloading dependency 148 of 179: libstdlib-ocaml:armhf=5.4.0-2 Downloading dependency 149 of 179: dh-strip-nondeterminism:armhf=1.15.0-1 Downloading dependency 150 of 179: libctf0:armhf=2.46-1 Downloading dependency 151 of 179: libzarith-ocaml-dev:armhf=1.14-1+b3 Downloading dependency 152 of 179: ocaml-interp:armhf=5.4.0-2 Downloading dependency 153 of 179: ocaml-dune:armhf=3.20.2-3+b1 Downloading dependency 154 of 179: libuuid1:armhf=2.41.3-3 Downloading dependency 155 of 179: perl-base:armhf=5.40.1-7 Downloading dependency 156 of 179: gcc-15:armhf=15.2.0-13 Downloading dependency 157 of 179: gcc-15-arm-linux-gnueabihf:armhf=15.2.0-13 Downloading dependency 158 of 179: libzarith-ocaml:armhf=1.14-1+b3 Downloading dependency 159 of 179: libunistring5:armhf=1.3-2+b1 Downloading dependency 160 of 179: libc6-dev:armhf=2.42-12 Downloading dependency 161 of 179: cpp:armhf=4:15.2.0-5 Downloading dependency 162 of 179: libgmp3-dev:armhf=2:6.3.0+dfsg-5+b1 Downloading dependency 163 of 179: patch:armhf=2.8-2 Downloading dependency 164 of 179: libcoq-ext-lib:armhf=0.13.0-3 Downloading dependency 165 of 179: groff-base:armhf=1.23.0-10 Downloading dependency 166 of 179: libfindlib-ocaml:armhf=1.9.8-1+b2 Downloading dependency 167 of 179: libc6:armhf=2.42-12 Downloading dependency 168 of 179: libgmp10:armhf=2:6.3.0+dfsg-5+b1 Downloading dependency 169 of 179: libdb5.3t64:armhf=5.3.28+dfsg2-11 Downloading dependency 170 of 179: diffutils:armhf=1:3.12-1 Downloading dependency 171 of 179: libssl3t64:armhf=3.5.5-1 Downloading dependency 172 of 179: mawk:armhf=1.3.4.20260129-1 Downloading dependency 173 of 179: tzdata:armhf=2025c-3 Downloading dependency 174 of 179: libdpkg-perl:armhf=1.23.5 Downloading dependency 175 of 179: libattr1:armhf=1:2.5.2-3+b1 Downloading dependency 176 of 179: media-types:armhf=14.0.0 Downloading dependency 177 of 179: libncurses6:armhf=6.6+20251231-1 Downloading dependency 178 of 179: autotools-dev:armhf=20240727.1 Downloading dependency 179 of 179: libconfig-tiny-perl:armhf=2.30-1 env --chdir=/srv/rebuilderd/tmp/rebuilderdTUFG9B/out DEB_BUILD_OPTIONS=parallel=8 LANG=C.UTF-8 LC_COLLATE=C.UTF-8 LC_CTYPE=C.UTF-8 SOURCE_DATE_EPOCH=1762885585 SBUILD_CONFIG=/srv/rebuilderd/tmp/debrebuildQL430y/debrebuild.sbuildrc.nz163jt63KcA sbuild --build=armhf --host=armhf --no-source --arch-any --no-arch-all --chroot=/srv/rebuilderd/tmp/debrebuildQL430y/debrebuild.tar.sAMNs_frtFDH --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/rebuilderdTUFG9B/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 codethink01-arm64 +==============================================================================+ | coq-simple-io 1.11.0-3 (armhf) Mon, 16 Feb 2026 20:39:58 +0000 | +==============================================================================+ Package: coq-simple-io Version: 1.11.0-3 Source Version: 1.11.0-3 Distribution: unstable Machine Architecture: arm64 Host Architecture: armhf Build Architecture: armhf Build Type: any I: No tarballs found in /srv/rebuilderd/.cache/sbuild I: Unpacking /srv/rebuilderd/tmp/debrebuildQL430y/debrebuild.tar.sAMNs_frtFDH to /srv/rebuilderd/tmp/tmp.sbuild.H7fQWUYYne... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Fetch source files Mon, 16 Feb 2026 20:40:10 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /srv/rebuilderd/tmp/rebuilderdTUFG9B/inputs/coq-simple-io_1.11.0-3.dsc exists in /srv/rebuilderd/tmp/rebuilderdTUFG9B/inputs; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Mon, 16 Feb 2026 20:40:13 +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-z7HOpg/apt_archive/sbuild-build-depends-main-dummy.deb'. Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies +------------------------------------------------------------------------------+ | Check architectures Mon, 16 Feb 2026 20:40:20 +0000 | +------------------------------------------------------------------------------+ Arch check ok (armhf included in any) +------------------------------------------------------------------------------+ | Build environment Mon, 16 Feb 2026 20:40:20 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.63+deb13-cloud-arm64 #1 SMP Debian 6.12.63-1 (2025-12-30) arm64 (aarch64) 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-12 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-arm-linux-gnueabihf_2.46-1 binutils-common_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-arm-linux-gnueabihf_15.2.0-13 cpp-arm-linux-gnueabihf_4:15.2.0-5 cppo_1.8.0-1+b3 dash_0.5.12-12 debconf_1.5.91 debhelper_13.29 debianutils_5.23.2 dh-autoreconf_21+nmu1 dh-coq_0.14 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-arm-linux-gnueabihf_15.2.0-13 g++-arm-linux-gnueabihf_4:15.2.0-5 gcc_4:15.2.0-5 gcc-15_15.2.0-13 gcc-15-arm-linux-gnueabihf_15.2.0-13 gcc-15-base_15.2.0-13 gcc-arm-linux-gnueabihf_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-12 libc-dev-bin_2.42-12 libc-gconv-modules-extra_2.42-12 libc6_2.42-12 libc6-dev_2.42-12 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-2 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 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.29 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 libisl23_0.27-1+b1 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 libreadline8t64_8.3-3+b1 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-2 libstdlib-ocaml-dev_5.4.0-2 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-2 ocaml-base_5.4.0-2 ocaml-dune_3.20.2-3+b1 ocaml-findlib_1.9.8-1+b2 ocaml-interp_5.4.0-2 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-3 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 Mon, 16 Feb 2026 20:40:20 +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=8 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 armhf 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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/ocaml/5.4.0/dynlink -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/findlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/boot -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/clib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/config -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/engine -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/gramlib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/interp -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/kernel -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/lib -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/library -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/parsing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/perf -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/plugins/extraction -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/pretyping -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/printing -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/proofs -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/tactics -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vernac -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/rocq-runtime/vm -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/str -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/threads -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/unix -I /usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/zarith -I plugin -R /usr/lib/arm-linux-gnueabihf/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-16T20:40:38Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup Mon, 16 Feb 2026 20:40:38 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died with exit 2) +------------------------------------------------------------------------------+ | Summary Mon, 16 Feb 2026 20:40:40 +0000 | +------------------------------------------------------------------------------+ Build Architecture: armhf Build Type: any Build-Space: 1956 Build-Time: 15 Distribution: unstable Fail-Stage: build Host Architecture: armhf Install-Time: 7 Job: /srv/rebuilderd/tmp/rebuilderdTUFG9B/inputs/coq-simple-io_1.11.0-3.dsc Machine Architecture: arm64 Package: coq-simple-io Package-Time: 40 Source-Version: 1.11.0-3 Space: 1956 Status: attempted Version: 1.11.0-3 -------------------------------------------------------------------------------- Finished at 2026-02-16T20:40:38Z Build needed 00:00:40, 1956k disk space E: Build failure (dpkg-buildpackage died with exit 2) sbuild failed