=============================================================================== 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/rebuilderdEgl9hK/inputs/coq-stdpp_1.11.0-1+b5_riscv64.buildinfo Source: coq-stdpp Version: 1.11.0-1 rebuilderd-worker node: riscv64-33 +------------------------------------------------------------------------------+ | Downloading sources Wed, 18 Feb 2026 05:36:11 +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 [6,552 B] 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 [2,788 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/main Sources [145 kB] Get:16 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [2,468 B] Get:17 https://deb.debian.org/debian forky/non-free-firmware Sources [7,700 B] Get:18 https://deb.debian.org/debian forky/main Sources [10.6 MB] Get:19 https://deb.debian.org/debian sid/non-free-firmware Sources [9,696 B] Get:20 https://deb.debian.org/debian sid/main Sources [11.2 MB] Get:21 https://deb.debian.org/debian experimental/non-free-firmware Sources [3,180 B] Get:22 https://deb.debian.org/debian experimental/main Sources [396 kB] Fetched 33.8 MB in 10s (3,426 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/c/coq-stdpp/coq-stdpp_1.11.0-1.dsc' coq-stdpp_1.11.0-1.dsc 2076 SHA256:7f5b74c6b3b65b92ef3a1bfbf3d6ce0752505161ccc37413d6f69d3d3f6633ef 'https://deb.debian.org/debian/pool/main/c/coq-stdpp/coq-stdpp_1.11.0.orig.tar.bz2' coq-stdpp_1.11.0.orig.tar.bz2 257015 SHA256:05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 'https://deb.debian.org/debian/pool/main/c/coq-stdpp/coq-stdpp_1.11.0-1.debian.tar.xz' coq-stdpp_1.11.0-1.debian.tar.xz 2772 SHA256:f1b2c1a7b365d70c5530df961bf3cc001ffd9dca73d1925e2b5e474bc174c2de 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee coq-stdpp_1.11.0.orig.tar.bz2 f1b2c1a7b365d70c5530df961bf3cc001ffd9dca73d1925e2b5e474bc174c2de coq-stdpp_1.11.0-1.debian.tar.xz 7f5b74c6b3b65b92ef3a1bfbf3d6ce0752505161ccc37413d6f69d3d3f6633ef coq-stdpp_1.11.0-1.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Wed, 18 Feb 2026 05:36:22 +0000 | +------------------------------------------------------------------------------+ Rebuilding coq-stdpp=1.11.0-1 in /srv/rebuilderd/tmp/rebuilderdEgl9hK/inputs now. + nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdEgl9hK/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdEgl9hK/inputs/coq-stdpp_1.11.0-1+b5_riscv64.buildinfo /srv/rebuilderd/tmp/rebuilderdEgl9hK/inputs/coq-stdpp_1.11.0-1+b5_riscv64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/coq-stdpp-1.11.0 I: verifying dsc... successful! Traceback (most recent call last): File "/usr/lib/python3/dist-packages/urllib3/connectionpool.py", line 534, in _make_request response = conn.getresponse() File "/usr/lib/python3/dist-packages/urllib3/connection.py", line 516, in getresponse httplib_response = super().getresponse() File "/usr/lib/python3.13/http/client.py", line 1430, in getresponse response.begin() ~~~~~~~~~~~~~~^^ File "/usr/lib/python3.13/http/client.py", line 331, in begin version, status, reason = self._read_status() ~~~~~~~~~~~~~~~~~^^ File "/usr/lib/python3.13/http/client.py", line 292, in _read_status line = str(self.fp.readline(_MAXLINE + 1), "iso-8859-1") ~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^ 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/adapters.py", line 667, in send resp = conn.urlopen( method=request.method, ...<9 lines>... chunked=chunked, ) File "/usr/lib/python3/dist-packages/urllib3/connectionpool.py", line 841, in urlopen retries = retries.increment( method, url, error=new_e, _pool=self, _stacktrace=sys.exc_info()[2] ) File "/usr/lib/python3/dist-packages/urllib3/util/retry.py", line 474, in increment raise reraise(type(error), error, _stacktrace) ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/usr/lib/python3/dist-packages/urllib3/util/util.py", line 39, in reraise raise value File "/usr/lib/python3/dist-packages/urllib3/connectionpool.py", line 787, in urlopen response = self._make_request( conn, ...<10 lines>... **response_kw, ) File "/usr/lib/python3/dist-packages/urllib3/connectionpool.py", line 536, in _make_request self._raise_timeout(err=e, url=url, timeout_value=read_timeout) ~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/usr/lib/python3/dist-packages/urllib3/connectionpool.py", line 367, in _raise_timeout raise ReadTimeoutError( self, url, f"Read timed out. (read timeout={timeout_value})" ) from err urllib3.exceptions.ReadTimeoutError: HTTPConnectionPool(host='metasnap.debian.net', port=80): Read timed out. (read timeout=60) 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 703, in send r = adapter.send(request, **kwargs) File "/usr/lib/python3/dist-packages/requests/adapters.py", line 713, in send raise ReadTimeout(e, request=request) requests.exceptions.ReadTimeout: HTTPConnectionPool(host='metasnap.debian.net', port=80): Read timed out. (read timeout=60) debootsnap failed at /usr/bin/debrebuild line 492.