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

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/rebuilderdJLZPmL/inputs/coq-bignums_9.0.0+rocq9.1-2_riscv64.buildinfo
Source: coq-bignums
Version: 9.0.0+rocq9.1-2
rebuilderd-worker node: riscv64-33

+------------------------------------------------------------------------------+
| Downloading sources                          Sun, 15 Feb 2026 12:33:56 +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/non-free-firmware Sources [6,552 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 [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/non-free-firmware Sources [7,700 B]
Get:18 https://deb.debian.org/debian forky/main Sources [10.6 MB]
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 10s (3,293 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-bignums/coq-bignums_9.0.0%2brocq9.1-2.dsc' coq-bignums_9.0.0+rocq9.1-2.dsc 2156 SHA256:ae89c8a6b86b7f91ea2c62c4355424546b8a5771b659a8a5c8d2981babf51b84
'https://deb.debian.org/debian/pool/main/c/coq-bignums/coq-bignums_9.0.0%2brocq9.1.orig.tar.gz' coq-bignums_9.0.0+rocq9.1.orig.tar.gz 116934 SHA256:d67a7e90b31f9ca78172ce4ece6df0952a06477bd06cdcff279eb4af89b25378
'https://deb.debian.org/debian/pool/main/c/coq-bignums/coq-bignums_9.0.0%2brocq9.1-2.debian.tar.xz' coq-bignums_9.0.0+rocq9.1-2.debian.tar.xz 2224 SHA256:0a612147851d65bc133fb967a4ad1e4707aaf916716c2eb39e03cc9dcfd76f25
d67a7e90b31f9ca78172ce4ece6df0952a06477bd06cdcff279eb4af89b25378  coq-bignums_9.0.0+rocq9.1.orig.tar.gz
0a612147851d65bc133fb967a4ad1e4707aaf916716c2eb39e03cc9dcfd76f25  coq-bignums_9.0.0+rocq9.1-2.debian.tar.xz
ae89c8a6b86b7f91ea2c62c4355424546b8a5771b659a8a5c8d2981babf51b84  coq-bignums_9.0.0+rocq9.1-2.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Sun, 15 Feb 2026 12:34:10 +0000 |
+------------------------------------------------------------------------------+

+ nice /usr/bin/debrebuildRebuilding coq-bignums=9.0.0+rocq9.1-2 in /srv/rebuilderd/tmp/rebuilderdJLZPmL/inputs now.
 --buildresult=/srv/rebuilderd/tmp/rebuilderdJLZPmL/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdJLZPmL/inputs/coq-bignums_9.0.0+rocq9.1-2_riscv64.buildinfo
/srv/rebuilderd/tmp/rebuilderdJLZPmL/inputs/coq-bignums_9.0.0+rocq9.1-2_riscv64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-bignums-9.0.0+rocq9.1
I: verifying dsc... successful!
cannot find:
libcoq-stdlib:riscv64=9.0.0-3
debootsnap failed at /usr/bin/debrebuild line 492.