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

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/rebuilderdXEMcPk/inputs/coq-stdpp_1.12.0-1+b1_riscv64.buildinfo
Source: coq-stdpp
Version: 1.12.0-1
rebuilderd-worker node: riscv64-02

+------------------------------------------------------------------------------+
| Downloading sources                          Mon, 16 Feb 2026 00:16:54 +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 [6552 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 [2788 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 [2468 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 [7700 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 [9696 B]
Get:21 https://deb.debian.org/debian experimental/main Sources [393 kB]
Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [3180 B]
Fetched 33.8 MB in 22s (1541 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-stdpp/coq-stdpp_1.12.0-1.dsc' coq-stdpp_1.12.0-1.dsc 2078 SHA256:57e854a9329df6e8d90ab1d4fa6eac82bcbc0ac4d430dcd0edc6f51f2b38a04f
'https://deb.debian.org/debian/pool/main/c/coq-stdpp/coq-stdpp_1.12.0.orig.tar.bz2' coq-stdpp_1.12.0.orig.tar.bz2 259049 SHA256:c80e6bd7f1447018e7ffbcee95bece1a083cff7adce5f5c9ea44fe70ae70952b
'https://deb.debian.org/debian/pool/main/c/coq-stdpp/coq-stdpp_1.12.0-1.debian.tar.xz' coq-stdpp_1.12.0-1.debian.tar.xz 2844 SHA256:9f5d8eed029d02cf4b8258b101ffc6285d07c0e598cb7b00d4bcbe5a659cebe0
c80e6bd7f1447018e7ffbcee95bece1a083cff7adce5f5c9ea44fe70ae70952b  coq-stdpp_1.12.0.orig.tar.bz2
9f5d8eed029d02cf4b8258b101ffc6285d07c0e598cb7b00d4bcbe5a659cebe0  coq-stdpp_1.12.0-1.debian.tar.xz
57e854a9329df6e8d90ab1d4fa6eac82bcbc0ac4d430dcd0edc6f51f2b38a04f  coq-stdpp_1.12.0-1.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Mon, 16 Feb 2026 00:17:22 +0000 |
+------------------------------------------------------------------------------+

Rebuilding coq-stdpp=1.12.0-1 in /srv/rebuilderd/tmp/rebuilderdXEMcPk/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdXEMcPk/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdXEMcPk/inputs/coq-stdpp_1.12.0-1+b1_riscv64.buildinfo
/srv/rebuilderd/tmp/rebuilderdXEMcPk/inputs/coq-stdpp_1.12.0-1+b1_riscv64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-stdpp-1.12.0
I: verifying dsc... successful!
cannot find:
libcoq-stdlib:riscv64=9.0.0-3+b1
debootsnap failed at /usr/bin/debrebuild line 492.