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

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/rebuilderdG2tR4O/inputs/coq_8.20.1+dfsg-1+b1_riscv64.buildinfo
Source: coq
Version: 8.20.1+dfsg-1
rebuilderd-worker node: riscv64-06

+------------------------------------------------------------------------------+
| Downloading sources                          Thu, 06 Nov 2025 16:38:51 +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/main Sources [10.5 MB]
Get:10 https://deb.debian.org/debian trixie/non-free-firmware Sources [6536 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 [91.5 kB]
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/non-free-firmware Sources [7128 B]
Get:19 https://deb.debian.org/debian forky/main Sources [10.7 MB]
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/main Sources [345 kB]
Get:23 https://deb.debian.org/debian experimental/non-free-firmware Sources [2572 B]
Fetched 33.8 MB in 23s (1500 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                           Thu, 06 Nov 2025 16:39:16 +0000 |
+------------------------------------------------------------------------------+

Rebuilding coq=8.20.1+dfsg-1 in /srv/rebuilderd/tmp/rebuilderdG2tR4O/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdG2tR4O/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdG2tR4O/inputs/coq_8.20.1+dfsg-1+b1_riscv64.buildinfo
/srv/rebuilderd/tmp/rebuilderdG2tR4O/inputs/coq_8.20.1+dfsg-1+b1_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/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.