=============================================================================== 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/rebuilderdPEEcr0/inputs/coq-iris_4.4.0-1_arm64.buildinfo Source: coq-iris Version: 4.4.0-1 rebuilderd-worker node: codethink02-arm64 +------------------------------------------------------------------------------+ | Downloading sources Sun, 30 Nov 2025 02:37: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.5 kB] Get:5 https://deb.debian.org/debian trixie-backports InRelease [54.0 kB] Get:6 https://deb.debian.org/debian forky InRelease [148 kB] Get:7 https://deb.debian.org/debian sid InRelease [176 kB] Get:8 https://deb.debian.org/debian experimental InRelease [82.8 kB] Get:9 https://deb.debian.org/debian trixie/non-free-firmware Sources [6548 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 [95.1 kB] 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 [38.6 kB] Get:15 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [1032 B] Get:16 https://deb.debian.org/debian trixie-backports/main Sources [104 kB] Get:17 https://deb.debian.org/debian forky/main Sources [10.7 MB] Get:18 https://deb.debian.org/debian forky/non-free-firmware Sources [7408 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 [9684 B] Get:21 https://deb.debian.org/debian experimental/main Sources [364 kB] Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [3052 B] Fetched 33.8 MB in 32s (1069 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/c/coq-iris/coq-iris_4.4.0-1.dsc' coq-iris_4.4.0-1.dsc 2167 SHA256:924ec4022d4e795121c537c6cd2a0bfc296d908db84ab4251dd8265a0edaecae 'https://deb.debian.org/debian/pool/main/c/coq-iris/coq-iris_4.4.0.orig.tar.bz2' coq-iris_4.4.0.orig.tar.bz2 638644 SHA256:14d2be0827b3293ac2c51b54dbc8802936f79cd31260a78a70e78995d5842576 'https://deb.debian.org/debian/pool/main/c/coq-iris/coq-iris_4.4.0-1.debian.tar.xz' coq-iris_4.4.0-1.debian.tar.xz 12724 SHA256:6a97edd6df92336c9e1449310fb790e811c906aaea151afb98e31c69be9b26e6 14d2be0827b3293ac2c51b54dbc8802936f79cd31260a78a70e78995d5842576 coq-iris_4.4.0.orig.tar.bz2 6a97edd6df92336c9e1449310fb790e811c906aaea151afb98e31c69be9b26e6 coq-iris_4.4.0-1.debian.tar.xz 924ec4022d4e795121c537c6cd2a0bfc296d908db84ab4251dd8265a0edaecae coq-iris_4.4.0-1.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Sun, 30 Nov 2025 02:37:44 +0000 | +------------------------------------------------------------------------------+ Rebuilding coq-iris=4.4.0-1 in /srv/rebuilderd/tmp/rebuilderdPEEcr0/inputs now. + nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdPEEcr0/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdPEEcr0/inputs/coq-iris_4.4.0-1_arm64.buildinfo /srv/rebuilderd/tmp/rebuilderdPEEcr0/inputs/coq-iris_4.4.0-1_arm64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/coq-iris-4.4.0 I: verifying dsc... successful! Traceback (most recent call last): File "/usr/lib/python3/dist-packages/urllib3/connection.py", line 198, in _new_conn sock = connection.create_connection( (self._dns_host, self.port), ...<2 lines>... socket_options=self.socket_options, ) File "/usr/lib/python3/dist-packages/urllib3/util/connection.py", line 85, in create_connection raise err File "/usr/lib/python3/dist-packages/urllib3/util/connection.py", line 73, in create_connection sock.connect(sa) ~~~~~~~~~~~~^^^^ OSError: [Errno 101] Network is unreachable The above exception was the direct cause of the following exception: Traceback (most recent call last): 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 493, in _make_request conn.request( ~~~~~~~~~~~~^ method, ^^^^^^^ ...<6 lines>... enforce_content_length=enforce_content_length, ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ) ^ File "/usr/lib/python3/dist-packages/urllib3/connection.py", line 445, in request self.endheaders() ~~~~~~~~~~~~~~~^^ File "/usr/lib/python3.13/http/client.py", line 1333, in endheaders self._send_output(message_body, encode_chunked=encode_chunked) ~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/usr/lib/python3.13/http/client.py", line 1093, in _send_output self.send(msg) ~~~~~~~~~^^^^^ File "/usr/lib/python3.13/http/client.py", line 1037, in send self.connect() ~~~~~~~~~~~~^^ File "/usr/lib/python3/dist-packages/urllib3/connection.py", line 276, in connect self.sock = self._new_conn() ~~~~~~~~~~~~~~^^ File "/usr/lib/python3/dist-packages/urllib3/connection.py", line 213, in _new_conn raise NewConnectionError( self, f"Failed to establish a new connection: {e}" ) from e urllib3.exceptions.NewConnectionError: : Failed to establish a new connection: [Errno 101] Network is unreachable 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 519, in increment raise MaxRetryError(_pool, url, reason) from reason # type: ignore[arg-type] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ urllib3.exceptions.MaxRetryError: HTTPConnectionPool(host='metasnap.debian.net', port=80): Max retries exceeded with url: /cgi-bin/api (Caused by NewConnectionError(': Failed to establish a new connection: [Errno 101] Network is unreachable')) 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 700, in send raise ConnectionError(e, request=request) requests.exceptions.ConnectionError: HTTPConnectionPool(host='metasnap.debian.net', port=80): Max retries exceeded with url: /cgi-bin/api (Caused by NewConnectionError(': Failed to establish a new connection: [Errno 101] Network is unreachable')) debootsnap failed at /usr/bin/debrebuild line 492.