=============================================================================== 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/rebuilderdp06OgC/inputs/coq-unimath_20260603-2_riscv64.buildinfo Source: coq-unimath Version: 20260603-2 rebuilderd-worker node: riscv64-34 +------------------------------------------------------------------------------+ | Downloading sources Tue, 11 Aug 2026 03:00:12 +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/main Sources [201 kB] Get:12 https://deb.debian.org/debian-security trixie-security/non-free-firmware Sources [696 B] Get:13 https://deb.debian.org/debian trixie-updates/main Sources [1,840 B] Get:14 https://deb.debian.org/debian trixie-proposed-updates/main Sources [146 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 [294 kB] Get:17 https://deb.debian.org/debian forky/non-free-firmware Sources [7,856 B] Get:18 https://deb.debian.org/debian forky/main Sources [11.1 MB] 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.9 MB] Get:21 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,568 B] Get:22 https://deb.debian.org/debian experimental/main Sources [369 kB] Fetched 35.3 MB in 1min 42s (347 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/c/coq-unimath/coq-unimath_20260603-2.dsc' coq-unimath_20260603-2.dsc 2118 SHA256:f39cdb2b18024356350b8a263d30ae9442758a485005d8994e8e25b209eacb9e 'https://deb.debian.org/debian/pool/main/c/coq-unimath/coq-unimath_20260603.orig.tar.gz' coq-unimath_20260603.orig.tar.gz 4201408 SHA256:e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 'https://deb.debian.org/debian/pool/main/c/coq-unimath/coq-unimath_20260603-2.debian.tar.xz' coq-unimath_20260603-2.debian.tar.xz 2432 SHA256:6d7320bdec85671b553db34dad6432e7f99c0e8d68b83c1ad2ade6da4b877485 e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 coq-unimath_20260603.orig.tar.gz 6d7320bdec85671b553db34dad6432e7f99c0e8d68b83c1ad2ade6da4b877485 coq-unimath_20260603-2.debian.tar.xz f39cdb2b18024356350b8a263d30ae9442758a485005d8994e8e25b209eacb9e coq-unimath_20260603-2.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Tue, 11 Aug 2026 03:02:49 +0000 | +------------------------------------------------------------------------------+ Rebuilding coq-unimath=20260603-2 in /srv/rebuilderd/tmp/rebuilderdp06OgC/inputs now. + /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdp06OgC/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdp06OgC/inputs/coq-unimath_20260603-2_riscv64.buildinfo /srv/rebuilderd/tmp/rebuilderdp06OgC/inputs/coq-unimath_20260603-2_riscv64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/coq-unimath-20260603 I: verifying dsc... successful! Get:1 http://deb.debian.org/debian unstable InRelease [193 kB] Get:2 http://snapshot.debian.org/archive/debian/20260722T203807Z unstable InRelease [193 kB] Get:3 http://snapshot.debian.org/archive/debian/20260802T022251Z unstable InRelease [193 kB] Get:4 http://deb.debian.org/debian unstable/main riscv64 Packages [10.3 MB] Get:5 http://snapshot.debian.org/archive/debian/20260722T203807Z unstable/main riscv64 Packages [10.2 MB] Get:6 http://snapshot.debian.org/archive/debian/20260802T022251Z unstable/main riscv64 Packages [10.3 MB] Fetched 31.4 MB in 20s (1551 kB/s) Reading package lists... W: http://snapshot.debian.org/archive/debian/20260722T203807Z/dists/unstable/InRelease: Loading /etc/apt/trusted.gpg from deprecated option Dir::Etc::Trusted W: http://snapshot.debian.org/archive/debian/20260802T022251Z/dists/unstable/InRelease: Loading /etc/apt/trusted.gpg from deprecated option Dir::Etc::Trusted Get:1 http://deb.debian.org/debian unstable/main riscv64 coq riscv64 9.2.0+dfsg-3 [42.5 MB] Fetched 42.5 MB in 2s (27.8 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpe9zyp5cw/coq_9.2.0+dfsg-3_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 autoconf all 2.73-2 [516 kB] Fetched 516 kB in 0s (16.7 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpuhxi8m90/autoconf_2.73-2_all.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 (20.6 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp64_gwzlt/libdb5.3t64_5.3.28+dfsg2-11+b1_riscv64.deb' Get:1 http://snapshot.debian.org/archive/debian/20260722T203807Z unstable/main riscv64 libzstd1 riscv64 1.5.7+dfsg-3+b2 [368 kB] Fetched 368 kB in 0s (13.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpu_xu9a_d/libzstd1_1.5.7+dfsg-3+b2_riscv64.deb' Get:1 http://snapshot.debian.org/archive/debian/20260722T203807Z unstable/main riscv64 libudev1 riscv64 261.1-3 [140 kB] Fetched 140 kB in 0s (2537 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2t8k4i9s/libudev1_261.1-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 (6184 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpo9uhyhv7/gzip_1.13-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libexpat1 riscv64 2.8.2-1 [117 kB] Fetched 117 kB in 0s (5298 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpb6rdm0s9/libexpat1_2.8.2-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libtinfo6 riscv64 6.6+20260608-2 [351 kB] Fetched 351 kB in 0s (13.0 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpumzwltcw/libtinfo6_6.6+20260608-2_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.5 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp6r5jaly0/libc6-dev_2.42-17_riscv64.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 (3138 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpaqlz0b0u/libjansson4_2.15.1-1_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 debconf all 1.5.92 [123 kB] Fetched 123 kB in 0s (5549 kB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpswffao7j/debconf_1.5.92_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 ncurses-bin riscv64 6.6+20260608-2 [442 kB] Fetched 442 kB in 0s (15.3 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmptin8_bb2/ncurses-bin_6.6+20260608-2_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libcoq-core-ocaml riscv64 9.2.0+dfsg-3 [26.0 MB] Ign:1 http://deb.debian.org/debian unstable/main riscv64 libcoq-core-ocaml riscv64 9.2.0+dfsg-3 ---------------------------------------- Exception occurred during processing of request from ('127.0.0.1', 38504) 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) ~~~~~~~~~~~~~~~~~~^^^ ConnectionResetError: [Errno 104] Connection reset by peer ---------------------------------------- Get:1 http://snapshot.debian.org/archive/debian/20260802T022251Z unstable/main riscv64 libcoq-core-ocaml riscv64 9.2.0+dfsg-3 [26.0 MB] Err:1 http://snapshot.debian.org/archive/debian/20260802T022251Z 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 43215] File has unexpected size (26028532 != 25962996). Mirror sync in progress? [IP: 127.0.0.1 43215] Hashes of expected file: - SHA256:ce47dc5d501341878f061d8419034b500be263076f123b011c097c5160491293 - MD5Sum:0e5bf01a570296ddbe15e64f4a50e265 [weak] - Filesize:25962996 [weak] ---------------------------------------- Exception occurred during processing of request from ('127.0.0.1', 38506) 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) ~~~~~~~~~~~~~~~~~~^^^ ConnectionResetError: [Errno 104] Connection reset by peer ---------------------------------------- E: Failed to fetch http://snapshot.debian.org/archive/debian/20260802T022251Z/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 43215] Hashes of expected file: - SHA256:ce47dc5d501341878f061d8419034b500be263076f123b011c097c5160491293 - MD5Sum:0e5bf01a570296ddbe15e64f4a50e265 [weak] - Filesize:25962996 [weak] Downloading dependency 1 of 180: coq:riscv64=9.2.0+dfsg-3 Downloading dependency 2 of 180: autoconf:riscv64=2.73-2 Downloading dependency 3 of 180: libdb5.3t64:riscv64=5.3.28+dfsg2-11+b1 Downloading dependency 4 of 180: libzstd1:riscv64=1.5.7+dfsg-3+b2 Downloading dependency 5 of 180: libudev1:riscv64=261.1-3 Downloading dependency 6 of 180: gzip:riscv64=1.13-1 Downloading dependency 7 of 180: libexpat1:riscv64=2.8.2-1 Downloading dependency 8 of 180: libtinfo6:riscv64=6.6+20260608-2 Downloading dependency 9 of 180: libc6-dev:riscv64=2.42-17 Downloading dependency 10 of 180: libjansson4:riscv64=2.15.1-1 Downloading dependency 11 of 180: debconf:riscv64=1.5.92 Downloading dependency 12 of 180: ncurses-bin:riscv64=6.6+20260608-2 Downloading dependency 13 of 180: 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.