===============================================================================

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/rebuilderdyEOkvu/inputs/coq-iris_4.3.0-1+b4_riscv64.buildinfo
Source: coq-iris
Version: 4.3.0-1
rebuilderd-worker node: riscv64-06

+------------------------------------------------------------------------------+
| Downloading sources                          Thu, 06 Nov 2025 18:04:36 +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 [55.8 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 [6536 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 [91.5 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/non-free-firmware Sources [692 B]
Get:15 https://deb.debian.org/debian trixie-proposed-updates/main Sources [125 kB]
Get:16 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [1052 B]
Get:17 https://deb.debian.org/debian trixie-backports/main Sources [83.1 kB]
Get:18 https://deb.debian.org/debian forky/main Sources [10.7 MB]
Get:19 https://deb.debian.org/debian forky/non-free-firmware Sources [7128 B]
Get:20 https://deb.debian.org/debian sid/non-free-firmware Sources [9080 B]
Get:21 https://deb.debian.org/debian sid/main Sources [11.2 MB]
Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [2572 B]
Get:23 https://deb.debian.org/debian experimental/main Sources [345 kB]
Fetched 33.8 MB in 23s (1495 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-iris/coq-iris_4.3.0-1.dsc' coq-iris_4.3.0-1.dsc 2165 SHA256:b5935e0b54076fd73d390885236541d26b09c058e3d6b2756a6f40e7416bc9bf
'https://deb.debian.org/debian/pool/main/c/coq-iris/coq-iris_4.3.0.orig.tar.bz2' coq-iris_4.3.0.orig.tar.bz2 622627 SHA256:c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51
'https://deb.debian.org/debian/pool/main/c/coq-iris/coq-iris_4.3.0-1.debian.tar.xz' coq-iris_4.3.0-1.debian.tar.xz 12660 SHA256:1d0186ed197afa183ca3d114d450f264f6a97e78b23af1a416d221f6b1a07b61
c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51  coq-iris_4.3.0.orig.tar.bz2
1d0186ed197afa183ca3d114d450f264f6a97e78b23af1a416d221f6b1a07b61  coq-iris_4.3.0-1.debian.tar.xz
b5935e0b54076fd73d390885236541d26b09c058e3d6b2756a6f40e7416bc9bf  coq-iris_4.3.0-1.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Thu, 06 Nov 2025 18:05:01 +0000 |
+------------------------------------------------------------------------------+

Rebuilding coq-iris=4.3.0-1 in /srv/rebuilderd/tmp/rebuilderdyEOkvu/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdyEOkvu/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdyEOkvu/inputs/coq-iris_4.3.0-1+b4_riscv64.buildinfo
/srv/rebuilderd/tmp/rebuilderdyEOkvu/inputs/coq-iris_4.3.0-1+b4_riscv64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-iris-4.3.0
I: verifying dsc... successful!
Traceback (most recent call last):
  File "/usr/bin/debootsnap", line 679, in <module>
    main(sys.argv[1:])
    ~~~~^^^^^^^^^^^^^^
  File "/usr/bin/debootsnap", line 628, in main
    pkgs_notfound = query_apt_repo(pkgs_notfound, nativearch, unstable, sources)
  File "/usr/bin/debootsnap", line 243, in query_apt_repo
    cache = apt.Cache(rootdir=tmpdirname)
  File "/usr/lib/python3/dist-packages/apt/cache.py", line 158, in __init__
    self.open(progress)
    ~~~~~~~~~^^^^^^^^^^
  File "/usr/lib/python3/dist-packages/apt/cache.py", line 217, in open
    self._cache = apt_pkg.Cache(progress)
                  ~~~~~~~~~~~~~^^^^^^^^^^
apt_pkg.Error: E:The value 'trixie' is invalid for APT::Default-Release as such a release is not available in the sources
debootsnap failed at /usr/bin/debrebuild line 492.