=============================================================================== 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/rebuilderdjiF88T/inputs/rocq-micromega-plugin_1.1.1-1_riscv64.buildinfo Source: rocq-micromega-plugin Version: 1.1.1-1 rebuilderd-worker node: riscv64-34 +------------------------------------------------------------------------------+ | Downloading sources Tue, 11 Aug 2026 02:13:55 +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/main Sources [10.5 MB] Get:10 https://deb.debian.org/debian trixie/non-free-firmware Sources [6,552 B] 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/main Sources [293 kB] Get:16 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [3,396 B] 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/main Sources [11.9 MB] Get:20 https://deb.debian.org/debian sid/non-free-firmware Sources [10.6 kB] Get:21 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,568 B] Get:22 https://deb.debian.org/debian experimental/main Sources [369 kB] Ign:22 https://deb.debian.org/debian experimental/main Sources Get:22 https://deb.debian.org/debian experimental/main Sources [369 kB] Fetched 35.3 MB in 4min 8s (142 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/r/rocq-micromega-plugin/rocq-micromega-plugin_1.1.1-1.dsc' rocq-micromega-plugin_1.1.1-1.dsc 2214 SHA256:9b54dd633eda0052113046664d2369c7d53be45581c2370ce9e8043579af9a60 'https://deb.debian.org/debian/pool/main/r/rocq-micromega-plugin/rocq-micromega-plugin_1.1.1.orig.tar.gz' rocq-micromega-plugin_1.1.1.orig.tar.gz 153653 SHA256:4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 'https://deb.debian.org/debian/pool/main/r/rocq-micromega-plugin/rocq-micromega-plugin_1.1.1-1.debian.tar.xz' rocq-micromega-plugin_1.1.1-1.debian.tar.xz 2476 SHA256:f3b5a3ec46feab2304a886d6d909263768f222c432deece19a0467038c1e2885 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d rocq-micromega-plugin_1.1.1.orig.tar.gz f3b5a3ec46feab2304a886d6d909263768f222c432deece19a0467038c1e2885 rocq-micromega-plugin_1.1.1-1.debian.tar.xz 9b54dd633eda0052113046664d2369c7d53be45581c2370ce9e8043579af9a60 rocq-micromega-plugin_1.1.1-1.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Tue, 11 Aug 2026 02:18:07 +0000 | +------------------------------------------------------------------------------+ + /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdjiF88T/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdjiF88T/inputs/rocq-micromega-plugin_1.1.1-1_riscv64.buildinfo Rebuilding rocq-micromega-plugin=1.1.1-1 in /srv/rebuilderd/tmp/rebuilderdjiF88T/inputs now. /srv/rebuilderd/tmp/rebuilderdjiF88T/inputs/rocq-micromega-plugin_1.1.1-1_riscv64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/rocq-micromega-plugin-1.1.1 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 23s (1359 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 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', 49436) Traceback (most recent call last): Get:1 http://snapshot.debian.org/archive/debian/20260802T022251Z unstable/main riscv64 libcoq-core-ocaml riscv64 9.2.0+dfsg-3 [26.0 MB] 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 ---------------------------------------- ---------------------------------------- Exception occurred during processing of request from ('127.0.0.1', 49450) Traceback (most recent call last): 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 35987] File has unexpected size (26028532 != 25962996). Mirror sync in progress? [IP: 127.0.0.1 35987] Hashes of expected file: - SHA256:ce47dc5d501341878f061d8419034b500be263076f123b011c097c5160491293 - MD5Sum:0e5bf01a570296ddbe15e64f4a50e265 [weak] - Filesize:25962996 [weak] 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 35987] Hashes of expected file: - SHA256:ce47dc5d501341878f061d8419034b500be263076f123b011c097c5160491293 - MD5Sum:0e5bf01a570296ddbe15e64f4a50e265 [weak] - Filesize:25962996 [weak] Traceback (most recent call last): Downloading dependency 1 of 194: libcoq-core-ocaml:riscv64=9.2.0+dfsg-3 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.