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

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/rebuilderdhTengY/inputs/coq-libhyps_2.0.8-6_riscv64.buildinfo
Source: coq-libhyps
Version: 2.0.8-6
rebuilderd-worker node: riscv64-33

+------------------------------------------------------------------------------+
| Downloading sources                          Sun, 15 Feb 2026 18:00:25 +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 [143 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/main Sources [10.5 MB]
Get:18 https://deb.debian.org/debian forky/non-free-firmware Sources [7,700 B]
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 [391 kB]
Fetched 33.8 MB in 11s (3,075 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-libhyps/coq-libhyps_2.0.8-6.dsc' coq-libhyps_2.0.8-6.dsc 2091 SHA256:8e5055b4162cdda804f82736eefee9950326bcf1c4628338f528190c5e6d8787
'https://deb.debian.org/debian/pool/main/c/coq-libhyps/coq-libhyps_2.0.8.orig.tar.gz' coq-libhyps_2.0.8.orig.tar.gz 37247 SHA256:e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2
'https://deb.debian.org/debian/pool/main/c/coq-libhyps/coq-libhyps_2.0.8-6.debian.tar.xz' coq-libhyps_2.0.8-6.debian.tar.xz 2348 SHA256:2af35d01efcf55e68ebea60f34b4167d54aa67824b6e008d722d22194dab14db
e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2  coq-libhyps_2.0.8.orig.tar.gz
2af35d01efcf55e68ebea60f34b4167d54aa67824b6e008d722d22194dab14db  coq-libhyps_2.0.8-6.debian.tar.xz
8e5055b4162cdda804f82736eefee9950326bcf1c4628338f528190c5e6d8787  coq-libhyps_2.0.8-6.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Sun, 15 Feb 2026 18:00:38 +0000 |
+------------------------------------------------------------------------------+

+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdhTengY/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdhTengY/inputs/coq-libhyps_2.0.8-6_riscv64.buildinfo
Rebuilding coq-libhyps=2.0.8-6 in /srv/rebuilderd/tmp/rebuilderdhTengY/inputs now.
/srv/rebuilderd/tmp/rebuilderdhTengY/inputs/coq-libhyps_2.0.8-6_riscv64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-libhyps-2.0.8
I: verifying dsc... successful!
cannot find:
libcoq-stdlib:riscv64=9.0.0-3
debootsnap failed at /usr/bin/debrebuild line 492.