=============================================================================== 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/rebuilderd2Ja8rX/inputs/coq_8.20.1+dfsg-1+b2_riscv64.buildinfo Source: coq Version: 8.20.1+dfsg-1 rebuilderd-worker node: riscv64-04 +------------------------------------------------------------------------------+ | Downloading sources Sat, 14 Feb 2026 01:45:29 +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/main Sources [10.5 MB] Get:10 https://deb.debian.org/debian trixie/non-free-firmware Sources [6552 B] Get:11 https://deb.debian.org/debian-security trixie-security/main Sources [130 kB] Get:12 https://deb.debian.org/debian-security trixie-security/non-free-firmware Sources [696 B] Get:13 https://deb.debian.org/debian trixie-updates/main Sources [2788 B] Get:14 https://deb.debian.org/debian trixie-proposed-updates/main Sources [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 [143 kB] Get:17 https://deb.debian.org/debian forky/main Sources [10.5 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 [394 kB] Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [3180 B] Fetched 33.8 MB in 36s (928 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/c/coq/coq_8.20.1%2bdfsg-1.dsc' coq_8.20.1+dfsg-1.dsc 2582 SHA256:23e3c9cd7c3d378802d33189e7dad2c10ce0b139d11810ea7c64a69de2e7162f 'https://deb.debian.org/debian/pool/main/c/coq/coq_8.20.1%2bdfsg.orig.tar.xz' coq_8.20.1+dfsg.orig.tar.xz 5014988 SHA256:333423556aa0b9f1c5ba435b8a6f081fad9613c6396d5b73784bb8028fefa7a5 'https://deb.debian.org/debian/pool/main/c/coq/coq_8.20.1%2bdfsg-1.debian.tar.xz' coq_8.20.1+dfsg-1.debian.tar.xz 30208 SHA256:76492553809925964587b94a2075cb576d1f40533eca246ff822d9be1ec582be 333423556aa0b9f1c5ba435b8a6f081fad9613c6396d5b73784bb8028fefa7a5 coq_8.20.1+dfsg.orig.tar.xz 76492553809925964587b94a2075cb576d1f40533eca246ff822d9be1ec582be coq_8.20.1+dfsg-1.debian.tar.xz 23e3c9cd7c3d378802d33189e7dad2c10ce0b139d11810ea7c64a69de2e7162f coq_8.20.1+dfsg-1.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Sat, 14 Feb 2026 01:46:13 +0000 | +------------------------------------------------------------------------------+ Rebuilding coq=8.20.1+dfsg-1 in /srv/rebuilderd/tmp/rebuilderd2Ja8rX/inputs now. + nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderd2Ja8rX/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderd2Ja8rX/inputs/coq_8.20.1+dfsg-1+b2_riscv64.buildinfo /srv/rebuilderd/tmp/rebuilderd2Ja8rX/inputs/coq_8.20.1+dfsg-1+b2_riscv64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/coq-8.20.1+dfsg I: verifying dsc... successful! Traceback (most recent call last): File "/usr/lib/python3/dist-packages/urllib3/response.py", line 768, in _error_catcher yield File "/usr/lib/python3/dist-packages/urllib3/response.py", line 1236, in read_chunked chunk = self._handle_chunk(amt) File "/usr/lib/python3/dist-packages/urllib3/response.py", line 1182, in _handle_chunk returned_chunk = self._fp._safe_read(self.chunk_left) # type: ignore[union-attr] File "/usr/lib/python3.13/http/client.py", line 642, in _safe_read data = self.fp.read(amt) File "/usr/lib/python3.13/socket.py", line 719, in readinto return self._sock.recv_into(b) ~~~~~~~~~~~~~~~~~~~~^^^ TimeoutError: timed out The above exception was the direct cause of the following exception: Traceback (most recent call last): File "/usr/lib/python3/dist-packages/requests/models.py", line 820, in generate yield from self.raw.stream(chunk_size, decode_content=True) File "/usr/lib/python3/dist-packages/urllib3/response.py", line 1077, in stream yield from self.read_chunked(amt, decode_content=decode_content) File "/usr/lib/python3/dist-packages/urllib3/response.py", line 1216, in read_chunked with self._error_catcher(): ~~~~~~~~~~~~~~~~~~~^^ File "/usr/lib/python3.13/contextlib.py", line 162, in __exit__ self.gen.throw(value) ~~~~~~~~~~~~~~^^^^^^^ File "/usr/lib/python3/dist-packages/urllib3/response.py", line 773, in _error_catcher raise ReadTimeoutError(self._pool, None, "Read timed out.") from e # type: ignore[arg-type] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ urllib3.exceptions.ReadTimeoutError: HTTPConnectionPool(host='metasnap.debian.net', port=80): Read timed out. During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/usr/bin/debootsnap", line 679, in main(sys.argv[1:]) ~~~~^^^^^^^^^^^^^^ File "/usr/bin/debootsnap", line 630, in main compute_sources(pkgs_notfound, nativearch, args.ignore_notfound, sources) ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/usr/bin/debootsnap", line 329, in compute_sources handled_pkgs, suite2pkgs, pkg2range = query_metasnap( ~~~~~~~~~~~~~~^ pkgsleft, archive, nativearch ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ) ^ File "/usr/bin/debootsnap", line 265, in query_metasnap r = requests.post( "http://metasnap.debian.net/cgi-bin/api", ...<5 lines>... timeout=60, ) File "/usr/lib/python3/dist-packages/requests/api.py", line 115, in post return request("post", url, data=data, json=json, **kwargs) File "/usr/lib/python3/dist-packages/requests/api.py", line 59, in request return session.request(method=method, url=url, **kwargs) ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/usr/lib/python3/dist-packages/requests/sessions.py", line 589, in request resp = self.send(prep, **send_kwargs) File "/usr/lib/python3/dist-packages/requests/sessions.py", line 746, in send r.content File "/usr/lib/python3/dist-packages/requests/models.py", line 902, in content self._content = b"".join(self.iter_content(CONTENT_CHUNK_SIZE)) or b"" ~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/usr/lib/python3/dist-packages/requests/models.py", line 826, in generate raise ConnectionError(e) requests.exceptions.ConnectionError: HTTPConnectionPool(host='metasnap.debian.net', port=80): Read timed out. debootsnap failed at /usr/bin/debrebuild line 492.