=============================================================================== 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/rebuilderdTHMBe9/inputs/coq-gappa_1.11.0-1_riscv64.buildinfo Source: coq-gappa Version: 1.11.0-1 rebuilderd-worker node: riscv64-34 +------------------------------------------------------------------------------+ | Downloading sources Wed, 05 Aug 2026 13:35:40 +0000 | +------------------------------------------------------------------------------+ Get:1 https://deb.debian.org/debian trixie InRelease [140 kB] Get:2 https://deb.debian.org/debian-security trixie-security InRelease [43.4 kB] Get:3 https://deb.debian.org/debian trixie-updates InRelease [47.3 kB] Get:4 https://deb.debian.org/debian trixie-proposed-updates InRelease [57.6 kB] Get:5 https://deb.debian.org/debian trixie-backports InRelease [54.0 kB] Get:6 https://deb.debian.org/debian forky InRelease [151 kB] Get:7 https://deb.debian.org/debian sid InRelease [193 kB] Get:8 https://deb.debian.org/debian experimental InRelease [91.7 kB] Get:9 https://deb.debian.org/debian trixie/non-free-firmware Sources [6,552 B] Get:10 https://deb.debian.org/debian trixie/main Sources [10.5 MB] Get:11 https://deb.debian.org/debian-security trixie-security/non-free-firmware Sources [696 B] Get:12 https://deb.debian.org/debian-security trixie-security/main Sources [197 kB] Get:13 https://deb.debian.org/debian trixie-updates/main Sources [1,840 B] Get:14 https://deb.debian.org/debian trixie-proposed-updates/main Sources [141 kB] Get:15 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [3,396 B] Get:16 https://deb.debian.org/debian trixie-backports/main Sources [292 kB] Get:17 https://deb.debian.org/debian forky/main Sources [11.1 MB] Get:18 https://deb.debian.org/debian forky/non-free-firmware Sources [7,856 B] Get:19 https://deb.debian.org/debian sid/non-free-firmware Sources [10.6 kB] Get:20 https://deb.debian.org/debian sid/main Sources [11.8 MB] Get:21 https://deb.debian.org/debian experimental/main Sources [372 kB] Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,568 B] Fetched 35.3 MB in 3min 54s (151 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/c/coq-gappa/coq-gappa_1.11.0-1.dsc' coq-gappa_1.11.0-1.dsc 2135 SHA256:8118e12f3b28925f35c800f83d14b547ff843359122e9474f2e144588b8b63d1 'https://deb.debian.org/debian/pool/main/c/coq-gappa/coq-gappa_1.11.0.orig.tar.gz' coq-gappa_1.11.0.orig.tar.gz 92843 SHA256:434f5a567052676e2029049c15397d1e2f2aa28658e98d0973160411303b9b68 'https://deb.debian.org/debian/pool/main/c/coq-gappa/coq-gappa_1.11.0-1.debian.tar.xz' coq-gappa_1.11.0-1.debian.tar.xz 3640 SHA256:4d4a0574454ed297889e07bb38b6806c65fdaebbbe2bbb81ca71f9f390204bbc 434f5a567052676e2029049c15397d1e2f2aa28658e98d0973160411303b9b68 coq-gappa_1.11.0.orig.tar.gz 4d4a0574454ed297889e07bb38b6806c65fdaebbbe2bbb81ca71f9f390204bbc coq-gappa_1.11.0-1.debian.tar.xz 8118e12f3b28925f35c800f83d14b547ff843359122e9474f2e144588b8b63d1 coq-gappa_1.11.0-1.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Wed, 05 Aug 2026 13:39:38 +0000 | +------------------------------------------------------------------------------+ Rebuilding coq-gappa=1.11.0-1 in /srv/rebuilderd/tmp/rebuilderdTHMBe9/inputs now. + /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdTHMBe9/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdTHMBe9/inputs/coq-gappa_1.11.0-1_riscv64.buildinfo /srv/rebuilderd/tmp/rebuilderdTHMBe9/inputs/coq-gappa_1.11.0-1_riscv64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/coq-gappa-1.11.0 I: verifying dsc... successful! WARNING:root:found partial file in cache, consider deleting it manually: /srv/rebuilderd/cache/archive/debian/debian/dists/unstable/InRelease.3617698.part WARNING:root:found partial file in cache, consider deleting it manually: /srv/rebuilderd/cache/archive/debian/debian/dists/unstable/main/binary-riscv64/by-hash/SHA256/3ae77301cff10d0b46477e90affa4e25e7888de6b3739b324a962900bfc6b4e5.3577179.part WARNING:root:found partial file in cache, consider deleting it manually: /srv/rebuilderd/cache/archive/debian/debian/dists/unstable/main/binary-riscv64/by-hash/SHA256/3ae77301cff10d0b46477e90affa4e25e7888de6b3739b324a962900bfc6b4e5.3576373.part WARNING:root:found partial file in cache, consider deleting it manually: /srv/rebuilderd/cache/archive/debian/debian/dists/unstable/main/binary-riscv64/by-hash/SHA256/3ae77301cff10d0b46477e90affa4e25e7888de6b3739b324a962900bfc6b4e5.3578840.part WARNING:root:found partial file in cache, consider deleting it manually: /srv/rebuilderd/cache/archive/debian/debian/dists/unstable/main/binary-riscv64/by-hash/SHA256/3ae77301cff10d0b46477e90affa4e25e7888de6b3739b324a962900bfc6b4e5.3581073.part WARNING:root:found partial file in cache, consider deleting it manually: /srv/rebuilderd/cache/archive/debian/debian/dists/unstable/main/binary-riscv64/by-hash/SHA256/72971379a739a5cccc2dd57a1a90c461caf0536ce03d14c02f4fd009915f8fd9.3755446.part Get:1 http://deb.debian.org/debian unstable InRelease [193 kB] Get:2 http://deb.debian.org/debian unstable/main riscv64 Packages [10.3 MB] Fetched 10.5 MB in 30s (354 kB/s) Reading package lists... Get:1 http://deb.debian.org/debian unstable/main riscv64 libgdbm-compat4t64 riscv64 1.26-1+b2 [52.1 kB] Fetched 52.1 kB in 0s (2445 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_19zev9u/libgdbm-compat4t64_1.26-1+b2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libmagic-mgc riscv64 1:5.47-4 [345 kB] Fetched 345 kB in 0s (12.8 MB/s) dpkg-name: info: moved 'libmagic-mgc_1%3a5.47-4_riscv64.deb' to '/srv/rebuilderd/tmp/tmpee2qiuwa/libmagic-mgc_5.47-4_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 python3 riscv64 3.14.6-1 [25.1 kB] Fetched 25.1 kB in 0s (1283 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphbzp10_u/python3_3.14.6-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libselinux1 riscv64 3.11-2 [90.4 kB] Fetched 90.4 kB in 0s (4280 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpv5hdipv0/libselinux1_3.11-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 liblsan0 riscv64 16.1.0-3 [1342 kB] Fetched 1342 kB in 0s (16.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpg_6q7_ns/liblsan0_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libcap-ng0 riscv64 0.9.3-1+b1 [17.8 kB] Fetched 17.8 kB in 0s (892 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphe4el9jq/libcap-ng0_0.9.3-1+b1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libstdlib-ocaml riscv64 5.4.1-1 [608 kB] Fetched 608 kB in 0s (9223 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdpu6tp8m/libstdlib-ocaml_5.4.1-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libc-dev-bin riscv64 2.42-17 [37.0 kB] Fetched 37.0 kB in 0s (1850 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp42toao4h/libc-dev-bin_2.42-17_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libcoq-flocq riscv64 4.2.2-2 [3465 kB] Fetched 3465 kB in 0s (25.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpu3xsez02/libcoq-flocq_4.2.2-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libelf1t64 riscv64 0.195-1 [62.5 kB] Fetched 62.5 kB in 0s (3039 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzaah9lhk/libelf1t64_0.195-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libdb5.3t64 riscv64 5.3.28+dfsg2-11+b1 [719 kB] Fetched 719 kB in 0s (10.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmze_ul46/libdb5.3t64_5.3.28+dfsg2-11+b1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libunistring5 riscv64 1.4.2-1 [475 kB] Fetched 475 kB in 0s (16.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpo4m4bx_a/libunistring5_1.4.2-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libcoq-core riscv64 9.2.0+dfsg-3 [1152 kB] Fetched 1152 kB in 0s (13.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpjssup50l/libcoq-core_9.2.0+dfsg-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 g++-16 riscv64 16.1.0-3 [33.0 kB] Fetched 33.0 kB in 0s (1636 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkrprr_ts/g++-16_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 gzip riscv64 1.13-1 [139 kB] Fetched 139 kB in 0s (6135 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpozy51c5u/gzip_1.13-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libpython3-stdlib riscv64 3.14.6-1 [8108 B] Fetched 8108 B in 0s (235 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwokxzuld/libpython3-stdlib_3.14.6-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 binutils-riscv64-linux-gnu riscv64 2.47-2 [907 kB] Fetched 907 kB in 0s (22.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpl4mdeb7l/binutils-riscv64-linux-gnu_2.47-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 g++-16-riscv64-linux-gnu riscv64 16.1.0-3 [142 MB] Fetched 142 MB in 9s (16.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpez2qu8zm/g++-16-riscv64-linux-gnu_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 patch riscv64 2.8-2 [134 kB] Fetched 134 kB in 0s (6091 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkjovtnkf/patch_2.8-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libpython3.14-stdlib riscv64 3.14.6-1 [2292 kB] Fetched 2292 kB in 0s (33.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxj3s8ha3/libpython3.14-stdlib_3.14.6-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 gettext riscv64 1.0-3 [2657 kB] Fetched 2657 kB in 0s (35.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp63gkq6u3/gettext_1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libctf-nobfd0 riscv64 2.47-2 [163 kB] Fetched 163 kB in 0s (7144 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppalj987o/libctf-nobfd0_2.47-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libzarith-ocaml riscv64 1.14-4 [113 kB] Fetched 113 kB in 0s (1932 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp07v7ck86/libzarith-ocaml_1.14-4_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 dh-strip-nondeterminism all 1.15.1-1 [6020 B] Fetched 6020 B in 1s (4070 B/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpasmm09mr/dh-strip-nondeterminism_1.15.1-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libgmp-dev riscv64 2:6.3.0+dfsg-5+b2 [1101 kB] Fetched 1101 kB in 3s (417 kB/s) dpkg-name: info: moved 'libgmp-dev_2%3a6.3.0+dfsg-5+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmpm8c4cwfi/libgmp-dev_6.3.0+dfsg-5+b2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 dwz riscv64 0.17-1 [115 kB] Fetched 115 kB in 0s (5324 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_un2n96g/dwz_0.17-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 g++-riscv64-linux-gnu riscv64 4:16.1.0-3 [1196 B] Fetched 1196 B in 0s (61.5 kB/s) dpkg-name: info: moved 'g++-riscv64-linux-gnu_4%3a16.1.0-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpbnqvsqxy/g++-riscv64-linux-gnu_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libc6-dev riscv64 2.42-17 [3417 kB] Fetched 3417 kB in 0s (37.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpri8ayt53/libc6-dev_2.42-17_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 binutils-common riscv64 2.47-2 [2685 kB] Fetched 2685 kB in 0s (35.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfyqz2wbs/binutils-common_2.47-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 netbase all 6.5 [12.4 kB] Fetched 12.4 kB in 0s (641 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpsdc89crj/netbase_6.5_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Fetched 60.0 kB in 0s (2950 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1_zqge57/autotools-dev_20240727.1+nmu1_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 dpkg-dev all 1.23.7 [1318 kB] Fetched 1318 kB in 0s (28.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpdc8b2juq/dpkg-dev_1.23.7_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libjansson4 riscv64 2.15.1-1 [65.1 kB] Fetched 65.1 kB in 0s (3161 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0yf_9e2o/libjansson4_2.15.1-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libxml2-16 riscv64 2.15.3+dfsg-1 [640 kB] Fetched 640 kB in 0s (19.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp3ipebtq5/libxml2-16_2.15.3+dfsg-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 dh-ocaml all 3.7 [201 kB] Fetched 201 kB in 0s (3552 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpq_ltbfrj/dh-ocaml_3.7_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libncursesw6 riscv64 6.6+20260608-2 [141 kB] Fetched 141 kB in 0s (6352 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphw11yfbl/libncursesw6_6.6+20260608-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libpipeline1 riscv64 1.5.8-3 [48.2 kB] Fetched 48.2 kB in 0s (2394 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp0d7dq3_2/libpipeline1_1.5.8-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 perl riscv64 5.42.2-3 [266 kB] Fetched 266 kB in 0s (10.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp82uazp64/perl_5.42.2-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libgomp1 riscv64 16.1.0-3 [137 kB] Fetched 137 kB in 0s (6144 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpypfyaoxj/libgomp1_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libzarith-ocaml-dev riscv64 1.14-4 [166 kB] Fetched 166 kB in 0s (2994 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpeiw6rz91/libzarith-ocaml-dev_1.14-4_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 base-passwd riscv64 3.6.8 [54.8 kB] Fetched 54.8 kB in 0s (2708 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzs92qo1s/base-passwd_3.6.8_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libcompiler-libs-ocaml-dev riscv64 5.4.1-1 [42.0 MB] Fetched 42.0 MB in 1s (29.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplv8tzvg6/libcompiler-libs-ocaml-dev_5.4.1-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libattr1 riscv64 1:2.6.0-1 [24.7 kB] Fetched 24.7 kB in 0s (1264 kB/s) dpkg-name: info: moved 'libattr1_1%3a2.6.0-1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp_e3aqhou/libattr1_2.6.0-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libsframe3 riscv64 2.47-2 [86.0 kB] Fetched 86.0 kB in 0s (4097 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptsk65y49/libsframe3_2.47-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 dash riscv64 0.5.12-12 [101 kB] Fetched 101 kB in 0s (4754 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpnx44o1no/dash_0.5.12-12_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 quickjs riscv64 2025.04.26-1+b2 [459 kB] Fetched 459 kB in 0s (7328 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpo5ctihwt/quickjs_2025.04.26-1+b2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 cpp-riscv64-linux-gnu riscv64 4:16.1.0-3 [4464 B] Fetched 4464 B in 0s (85.6 kB/s) dpkg-name: info: moved 'cpp-riscv64-linux-gnu_4%3a16.1.0-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpuwo9n0fp/cpp-riscv64-linux-gnu_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libpam-modules riscv64 1.7.0-8 [165 kB] Fetched 165 kB in 0s (7296 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpesjrl4hr/libpam-modules_1.7.0-8_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 sed riscv64 4.9-3 [329 kB] Fetched 329 kB in 0s (12.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpihx0afaz/sed_4.9-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 g++ riscv64 4:16.1.0-3 [1324 B] Fetched 1324 B in 0s (66.8 kB/s) dpkg-name: info: moved 'g++_4%3a16.1.0-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpfpinpkiw/g++_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libasan8 riscv64 16.1.0-3 [2993 kB] Fetched 2993 kB in 0s (36.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp_n1kmyjg/libasan8_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libstdc++6 riscv64 16.1.0-3 [775 kB] Fetched 775 kB in 0s (21.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpzccnineq/libstdc++6_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libbinutils riscv64 2.47-2 [509 kB] Fetched 509 kB in 0s (7936 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmporb6y28m/libbinutils_2.47-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libstdc++-16-dev riscv64 16.1.0-3 [10.6 MB] Fetched 10.6 MB in 0s (44.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpujcl7avo/libstdc++-16-dev_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libacl1 riscv64 2.4.0-1 [37.1 kB] Fetched 37.1 kB in 0s (1830 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppp4ofxd_/libacl1_2.4.0-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 python3.14 riscv64 3.14.6-1 [846 kB] Fetched 846 kB in 0s (22.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp46nfvg6t/python3.14_3.14.6-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 cpp riscv64 4:16.1.0-3 [1568 B] Fetched 1568 B in 0s (81.8 kB/s) dpkg-name: info: moved 'cpp_4%3a16.1.0-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpnvmmyta4/cpp_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libpython3.14-minimal riscv64 3.14.6-1 [892 kB] Fetched 892 kB in 0s (23.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxxphmt6_/libpython3.14-minimal_3.14.6-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libarchive-zip-perl all 1.68-1 [104 kB] Fetched 104 kB in 0s (1909 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkxq2ifjt/libarchive-zip-perl_1.68-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libc6 riscv64 2.42-17 [1397 kB] Fetched 1397 kB in 0s (28.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppodeuklk/libc6_2.42-17_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libmpc3 riscv64 1.3.1-3 [56.5 kB] Fetched 56.5 kB in 0s (2752 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp8kqwd16g/libmpc3_1.3.1-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libreadline8t64 riscv64 8.3-4 [180 kB] Fetched 180 kB in 0s (7800 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpswtoer_y/libreadline8t64_8.3-4_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 ocaml-findlib riscv64 1.9.8-1+b3 [621 kB] Fetched 621 kB in 0s (9476 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgaj292_z/ocaml-findlib_1.9.8-1+b3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 coreutils riscv64 9.10-1 [3128 kB] Fetched 3128 kB in 0s (36.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp7ticf4wp/coreutils_9.10-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 file riscv64 1:5.47-4 [42.8 kB] Fetched 42.8 kB in 0s (804 kB/s) dpkg-name: info: moved 'file_1%3a5.47-4_riscv64.deb' to '/srv/rebuilderd/tmp/tmpi7qqy2r0/file_5.47-4_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 zlib1g riscv64 1:1.3.dfsg+really1.3.2-3 [87.3 kB] Fetched 87.3 kB in 0s (4150 kB/s) dpkg-name: info: moved 'zlib1g_1%3a1.3.dfsg+really1.3.2-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpgvp0qy61/zlib1g_1.3.dfsg+really1.3.2-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 readline-common all 8.3-4 [74.8 kB] Fetched 74.8 kB in 0s (3615 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp359b9fj0/readline-common_8.3-4_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 hostname riscv64 3.25 [10.7 kB] Fetched 10.7 kB in 0s (559 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpkgsjuwuw/hostname_3.25_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libblkid1 riscv64 2.42.2-2 [193 kB] Fetched 193 kB in 0s (8304 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpybq_5dd1/libblkid1_2.42.2-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 gettext-base riscv64 1.0-3 [331 kB] Fetched 331 kB in 0s (12.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpgmrhhm2k/gettext-base_1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libffi8 riscv64 3.7.1-2 [26.2 kB] Fetched 26.2 kB in 0s (497 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpov3tpnqi/libffi8_3.7.1-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 bsdextrautils riscv64 2.42.2-2 [103 kB] Fetched 103 kB in 0s (4832 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpma60n0h0/bsdextrautils_2.42.2-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 xz-utils riscv64 5.8.3-1 [739 kB] Fetched 739 kB in 0s (21.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpwy6789l5/xz-utils_5.8.3-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Fetched 18.9 kB in 0s (364 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6_sesfkj/libconfig-tiny-perl_2.30-1_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libgprofng0 riscv64 2.47-2 [722 kB] Fetched 722 kB in 0s (20.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6kbts43p/libgprofng0_2.47-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libzstd-dev riscv64 1.5.7+dfsg-4 [1626 kB] Fetched 1626 kB in 0s (18.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp81y4xt8q/libzstd-dev_1.5.7+dfsg-4_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libsmartcols1 riscv64 2.42.2-2 [155 kB] Fetched 155 kB in 0s (2778 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmphs9qc41k/libsmartcols1_2.42.2-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 dpkg riscv64 1.23.7 [1534 kB] Fetched 1534 kB in 0s (17.4 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfi9m3cu7/dpkg_1.23.7_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 gcc-16-riscv64-linux-gnu riscv64 16.1.0-3 [145 MB] Fetched 145 MB in 7s (20.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp9_69_5xp/gcc-16-riscv64-linux-gnu_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 man-db riscv64 2.13.1-1 [1458 kB] Fetched 1458 kB in 0s (29.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpt6_fseco/man-db_2.13.1-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libjs-sphinxdoc all 9.1.0-6 [46.1 kB] Fetched 46.1 kB in 0s (875 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp3jv2okvo/libjs-sphinxdoc_9.1.0-6_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libmpfr6 riscv64 4.2.2-3 [666 kB] Fetched 666 kB in 0s (19.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpp2xfn45q/libmpfr6_4.2.2-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 liblzma5 riscv64 5.8.3-1 [334 kB] Fetched 334 kB in 0s (12.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp4tpra4r3/liblzma5_5.8.3-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libudev1 riscv64 261.2-1 [141 kB] Fetched 141 kB in 0s (6295 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp88lznyx8/libudev1_261.2-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libbz2-1.0 riscv64 1.0.8-6+b2 [39.6 kB] Fetched 39.6 kB in 0s (1973 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpuz6eei03/libbz2-1.0_1.0.8-6+b2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libmagic1t64 riscv64 1:5.47-4 [117 kB] Fetched 117 kB in 0s (5436 kB/s) dpkg-name: info: moved 'libmagic1t64_1%3a5.47-4_riscv64.deb' to '/srv/rebuilderd/tmp/tmpwyzhm7k_/libmagic1t64_5.47-4_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libaudit1 riscv64 1:4.1.2-1+b1 [58.7 kB] Fetched 58.7 kB in 0s (1097 kB/s) dpkg-name: info: moved 'libaudit1_1%3a4.1.2-1+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmpemkcgbgs/libaudit1_4.1.2-1+b1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libgcc-s1 riscv64 16.1.0-3 [74.3 kB] Fetched 74.3 kB in 0s (3541 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppdybbt_e/libgcc-s1_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libpam0g riscv64 1.7.0-8 [66.9 kB] Fetched 66.9 kB in 0s (3279 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpvj1x3b0i/libpam0g_1.7.0-8_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libc-gconv-modules-extra riscv64 2.42-17 [1102 kB] Fetched 1102 kB in 0s (25.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpmb9ib8zi/libc-gconv-modules-extra_2.42-17_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 tar riscv64 1.35+dfsg-4 [821 kB] Fetched 821 kB in 0s (22.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpf40dj8r2/tar_1.35+dfsg-4_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 sysvinit-utils riscv64 3.18-1 [29.3 kB] Fetched 29.3 kB in 0s (1486 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpc__q8tm8/sysvinit-utils_3.18-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libsqlite3-0 riscv64 3.53.4-2 [957 kB] Fetched 957 kB in 0s (13.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpoqkl48gr/libsqlite3-0_3.53.4-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libpam-modules-bin riscv64 1.7.0-8 [46.2 kB] Fetched 46.2 kB in 0s (2292 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpd8o9la3o/libpam-modules-bin_1.7.0-8_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 openssl-provider-legacy riscv64 3.6.3-1 [322 kB] Fetched 322 kB in 0s (12.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpcqd6i5vv/openssl-provider-legacy_3.6.3-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libubsan1 riscv64 16.1.0-3 [1191 kB] Fetched 1191 kB in 0s (26.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpfm_r66ml/libubsan1_16.1.0-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 perl-modules-5.42 all 5.42.2-3 [3210 kB] Fetched 3210 kB in 0s (36.9 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpxhberusd/perl-modules-5.42_5.42.2-3_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libgmp3-dev riscv64 2:6.3.0+dfsg-5+b2 [321 kB] Fetched 321 kB in 0s (5441 kB/s) dpkg-name: info: moved 'libgmp3-dev_2%3a6.3.0+dfsg-5+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmpradmimz0/libgmp3-dev_6.3.0+dfsg-5+b2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libctf0 riscv64 2.47-2 [95.7 kB] Fetched 95.7 kB in 0s (1765 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp1bvn_apo/libctf0_2.47-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 ocaml-interp riscv64 5.4.1-1 [7459 kB] Fetched 7459 kB in 0s (18.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmplo7150wl/ocaml-interp_5.4.1-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libtool all 2.5.4-11 [539 kB] Fetched 539 kB in 0s (17.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp39esxrvk/libtool_2.5.4-11_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libcoq-core-ocaml riscv64 9.2.0+dfsg-3 [26.0 MB] Err:1 http://deb.debian.org/debian unstable/main riscv64 libcoq-core-ocaml riscv64 9.2.0+dfsg-3 File has unexpected size (26028532 != 25962996). Mirror sync in progress? [IP: 127.0.0.1 46603] Hashes of expected file: - SHA256:ce47dc5d501341878f061d8419034b500be263076f123b011c097c5160491293 - MD5Sum:0e5bf01a570296ddbe15e64f4a50e265 [weak] - Filesize:25962996 [weak] E: Failed to fetch http://deb.debian.org/debian/pool/main/c/coq/libcoq-core-ocaml_9.2.0%2bdfsg-3_riscv64.deb File has unexpected size (26028532 != 25962996). Mirror sync in progress? [IP: 127.0.0.1 46603] Hashes of expected file: - SHA256:ce47dc5d501341878f061d8419034b500be263076f123b011c097c5160491293 - MD5Sum:0e5bf01a570296ddbe15e64f4a50e265 [weak] - Filesize:25962996 [weak] ---------------------------------------- Exception occurred during processing of request from ('127.0.0.1', 58830) Traceback (most recent call last): File "/usr/lib/python3.13/socketserver.py", line 318, in _handle_request_noblock self.process_request(request, client_address) ~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^ File "/usr/lib/python3.13/socketserver.py", line 349, in process_request self.finish_request(request, client_address) ~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^ File "/usr/lib/python3.13/socketserver.py", line 362, in finish_request self.RequestHandlerClass(request, client_address, self) ~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/usr/lib/python3.13/http/server.py", line 672, in __init__ super().__init__(*args, **kwargs) ~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^ File "/usr/lib/python3.13/socketserver.py", line 766, in __init__ self.handle() ~~~~~~~~~~~^^ File "/usr/lib/python3.13/http/server.py", line 436, in handle self.handle_one_request() ~~~~~~~~~~~~~~~~~~~~~~~^^ File "/usr/lib/python3.13/http/server.py", line 424, in handle_one_request method() ~~~~~~^^ File "/usr/lib/python3/dist-packages/devscripts/proxy.py", line 83, in do_GET self.wfile.write(buf) ~~~~~~~~~~~~~~~~^^^^^ File "/usr/lib/python3.13/socketserver.py", line 845, in write self._sock.sendall(b) ~~~~~~~~~~~~~~~~~~^^^ BrokenPipeError: [Errno 32] Broken pipe ---------------------------------------- Downloading dependency 1 of 182: libgdbm-compat4t64:riscv64=1.26-1+b2 Downloading dependency 2 of 182: libmagic-mgc:riscv64=1:5.47-4 Downloading dependency 3 of 182: python3:riscv64=3.14.6-1 Downloading dependency 4 of 182: libselinux1:riscv64=3.11-2 Downloading dependency 5 of 182: liblsan0:riscv64=16.1.0-3 Downloading dependency 6 of 182: libcap-ng0:riscv64=0.9.3-1+b1 Downloading dependency 7 of 182: libstdlib-ocaml:riscv64=5.4.1-1 Downloading dependency 8 of 182: libc-dev-bin:riscv64=2.42-17 Downloading dependency 9 of 182: libcoq-flocq:riscv64=4.2.2-2 Downloading dependency 10 of 182: libelf1t64:riscv64=0.195-1 Downloading dependency 11 of 182: libdb5.3t64:riscv64=5.3.28+dfsg2-11+b1 Downloading dependency 12 of 182: libunistring5:riscv64=1.4.2-1 Downloading dependency 13 of 182: libcoq-core:riscv64=9.2.0+dfsg-3 Downloading dependency 14 of 182: g++-16:riscv64=16.1.0-3 Downloading dependency 15 of 182: gzip:riscv64=1.13-1 Downloading dependency 16 of 182: libpython3-stdlib:riscv64=3.14.6-1 Downloading dependency 17 of 182: binutils-riscv64-linux-gnu:riscv64=2.47-2 Downloading dependency 18 of 182: g++-16-riscv64-linux-gnu:riscv64=16.1.0-3 Downloading dependency 19 of 182: patch:riscv64=2.8-2 Downloading dependency 20 of 182: libpython3.14-stdlib:riscv64=3.14.6-1 Downloading dependency 21 of 182: gettext:riscv64=1.0-3 Downloading dependency 22 of 182: libctf-nobfd0:riscv64=2.47-2 Downloading dependency 23 of 182: libzarith-ocaml:riscv64=1.14-4 Downloading dependency 24 of 182: dh-strip-nondeterminism:riscv64=1.15.1-1 Downloading dependency 25 of 182: libgmp-dev:riscv64=2:6.3.0+dfsg-5+b2 Downloading dependency 26 of 182: dwz:riscv64=0.17-1 Downloading dependency 27 of 182: g++-riscv64-linux-gnu:riscv64=4:16.1.0-3 Downloading dependency 28 of 182: libc6-dev:riscv64=2.42-17 Downloading dependency 29 of 182: binutils-common:riscv64=2.47-2 Downloading dependency 30 of 182: netbase:riscv64=6.5 Downloading dependency 31 of 182: autotools-dev:riscv64=20240727.1+nmu1 Downloading dependency 32 of 182: dpkg-dev:riscv64=1.23.7 Downloading dependency 33 of 182: libjansson4:riscv64=2.15.1-1 Downloading dependency 34 of 182: libxml2-16:riscv64=2.15.3+dfsg-1 Downloading dependency 35 of 182: dh-ocaml:riscv64=3.7 Downloading dependency 36 of 182: libncursesw6:riscv64=6.6+20260608-2 Downloading dependency 37 of 182: libpipeline1:riscv64=1.5.8-3 Downloading dependency 38 of 182: perl:riscv64=5.42.2-3 Downloading dependency 39 of 182: libgomp1:riscv64=16.1.0-3 Downloading dependency 40 of 182: libzarith-ocaml-dev:riscv64=1.14-4 Downloading dependency 41 of 182: base-passwd:riscv64=3.6.8 Downloading dependency 42 of 182: libcompiler-libs-ocaml-dev:riscv64=5.4.1-1 Downloading dependency 43 of 182: libattr1:riscv64=1:2.6.0-1 Downloading dependency 44 of 182: libsframe3:riscv64=2.47-2 Downloading dependency 45 of 182: dash:riscv64=0.5.12-12 Downloading dependency 46 of 182: quickjs:riscv64=2025.04.26-1+b2 Downloading dependency 47 of 182: cpp-riscv64-linux-gnu:riscv64=4:16.1.0-3 Downloading dependency 48 of 182: libpam-modules:riscv64=1.7.0-8 Downloading dependency 49 of 182: sed:riscv64=4.9-3 Downloading dependency 50 of 182: g++:riscv64=4:16.1.0-3 Downloading dependency 51 of 182: libasan8:riscv64=16.1.0-3 Downloading dependency 52 of 182: libstdc++6:riscv64=16.1.0-3 Downloading dependency 53 of 182: libbinutils:riscv64=2.47-2 Downloading dependency 54 of 182: libstdc++-16-dev:riscv64=16.1.0-3 Downloading dependency 55 of 182: libacl1:riscv64=2.4.0-1 Downloading dependency 56 of 182: python3.14:riscv64=3.14.6-1 Downloading dependency 57 of 182: cpp:riscv64=4:16.1.0-3 Downloading dependency 58 of 182: libpython3.14-minimal:riscv64=3.14.6-1 Downloading dependency 59 of 182: libarchive-zip-perl:riscv64=1.68-1 Downloading dependency 60 of 182: libc6:riscv64=2.42-17 Downloading dependency 61 of 182: libmpc3:riscv64=1.3.1-3 Downloading dependency 62 of 182: libreadline8t64:riscv64=8.3-4 Downloading dependency 63 of 182: ocaml-findlib:riscv64=1.9.8-1+b3 Downloading dependency 64 of 182: coreutils:riscv64=9.10-1 Downloading dependency 65 of 182: file:riscv64=1:5.47-4 Downloading dependency 66 of 182: zlib1g:riscv64=1:1.3.dfsg+really1.3.2-3 Downloading dependency 67 of 182: readline-common:riscv64=8.3-4 Downloading dependency 68 of 182: hostname:riscv64=3.25 Downloading dependency 69 of 182: libblkid1:riscv64=2.42.2-2 Downloading dependency 70 of 182: gettext-base:riscv64=1.0-3 Downloading dependency 71 of 182: libffi8:riscv64=3.7.1-2 Downloading dependency 72 of 182: bsdextrautils:riscv64=2.42.2-2 Downloading dependency 73 of 182: xz-utils:riscv64=5.8.3-1 Downloading dependency 74 of 182: libconfig-tiny-perl:riscv64=2.30-1 Downloading dependency 75 of 182: libgprofng0:riscv64=2.47-2 Downloading dependency 76 of 182: libzstd-dev:riscv64=1.5.7+dfsg-4 Downloading dependency 77 of 182: libsmartcols1:riscv64=2.42.2-2 Downloading dependency 78 of 182: dpkg:riscv64=1.23.7 Downloading dependency 79 of 182: gcc-16-riscv64-linux-gnu:riscv64=16.1.0-3 Downloading dependency 80 of 182: man-db:riscv64=2.13.1-1 Downloading dependency 81 of 182: libjs-sphinxdoc:riscv64=9.1.0-6 Downloading dependency 82 of 182: libmpfr6:riscv64=4.2.2-3 Downloading dependency 83 of 182: liblzma5:riscv64=5.8.3-1 Downloading dependency 84 of 182: libudev1:riscv64=261.2-1 Downloading dependency 85 of 182: libbz2-1.0:riscv64=1.0.8-6+b2 Downloading dependency 86 of 182: libmagic1t64:riscv64=1:5.47-4 Downloading dependency 87 of 182: libaudit1:riscv64=1:4.1.2-1+b1 Downloading dependency 88 of 182: libgcc-s1:riscv64=16.1.0-3 Downloading dependency 89 of 182: libpam0g:riscv64=1.7.0-8 Downloading dependency 90 of 182: libc-gconv-modules-extra:riscv64=2.42-17 Downloading dependency 91 of 182: tar:riscv64=1.35+dfsg-4 Downloading dependency 92 of 182: sysvinit-utils:riscv64=3.18-1 Downloading dependency 93 of 182: libsqlite3-0:riscv64=3.53.4-2 Downloading dependency 94 of 182: libpam-modules-bin:riscv64=1.7.0-8 Downloading dependency 95 of 182: openssl-provider-legacy:riscv64=3.6.3-1 Downloading dependency 96 of 182: libubsan1:riscv64=16.1.0-3 Downloading dependency 97 of 182: perl-modules-5.42:riscv64=5.42.2-3 Downloading dependency 98 of 182: libgmp3-dev:riscv64=2:6.3.0+dfsg-5+b2 Downloading dependency 99 of 182: libctf0:riscv64=2.47-2 Downloading dependency 100 of 182: ocaml-interp:riscv64=5.4.1-1 Downloading dependency 101 of 182: libtool:riscv64=2.5.4-11 Downloading dependency 102 of 182: libcoq-core-ocaml:riscv64=9.2.0+dfsg-3 Traceback (most recent call last): File "/usr/bin/debootsnap", line 699, in main(sys.argv[1:]) ~~~~^^^^^^^^^^^^^^ File "/usr/bin/debootsnap", line 661, in main deb_files = download_packages( tmpdirname, ...<6 lines>... args.port, ) File "/usr/bin/debootsnap", line 563, in download_packages subprocess.check_call( ~~~~~~~~~~~~~~~~~~~~~^ ["apt-get", "download", "--yes", pkg], ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cwd=tmpdir2, ^^^^^^^^^^^^ env=apt_env, ^^^^^^^^^^^^ ) ^ File "/usr/lib/python3.13/subprocess.py", line 419, in check_call raise CalledProcessError(retcode, cmd) subprocess.CalledProcessError: Command '['apt-get', 'download', '--yes', 'libcoq-core-ocaml:riscv64=9.2.0+dfsg-3']' returned non-zero exit status 100. debootsnap failed at /usr/bin/debrebuild line 454.