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

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/rebuilderdON7F7V/inputs/coq-deriving_0.2.1-1+b13_amd64.buildinfo
Source: coq-deriving
Version: 0.2.1-1
rebuilderd-worker node: osuosl41-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Wed, 29 Oct 2025 10:49:29 +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 [147 kB]
Get:7 https://deb.debian.org/debian sid InRelease [207 kB]
Get:8 https://deb.debian.org/debian experimental InRelease [101 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,536 B]
Get:11 https://deb.debian.org/debian-security trixie-security/main Sources [89.9 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 [2,788 B]
Get:14 https://deb.debian.org/debian trixie-proposed-updates/main Sources [89.7 kB]
Get:15 https://deb.debian.org/debian trixie-proposed-updates/non-free-firmware Sources [692 B]
Get:16 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [1,052 B]
Get:17 https://deb.debian.org/debian trixie-backports/main Sources [79.6 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 [7,128 B]
Get:20 https://deb.debian.org/debian sid/main Sources [11.2 MB]
Get:21 https://deb.debian.org/debian sid/non-free-firmware Sources [9,088 B]
Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,572 B]
Get:23 https://deb.debian.org/debian experimental/main Sources [370 kB]
Fetched 33.8 MB in 4s (9,502 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-deriving/coq-deriving_0.2.1-1.dsc' coq-deriving_0.2.1-1.dsc 2125 SHA256:b9d90652f9dd70d56e6257ff71d2cb6a289460473e8202b7ae5ac2c8a51036c7
'https://deb.debian.org/debian/pool/main/c/coq-deriving/coq-deriving_0.2.1.orig.tar.gz' coq-deriving_0.2.1.orig.tar.gz 31849 SHA256:7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1
'https://deb.debian.org/debian/pool/main/c/coq-deriving/coq-deriving_0.2.1-1.debian.tar.xz' coq-deriving_0.2.1-1.debian.tar.xz 2220 SHA256:aaab0805a3d31ee7bf7a5dd482f9dfaa373f4503577bfe3b334a077962f58d75
7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1  coq-deriving_0.2.1.orig.tar.gz
aaab0805a3d31ee7bf7a5dd482f9dfaa373f4503577bfe3b334a077962f58d75  coq-deriving_0.2.1-1.debian.tar.xz
b9d90652f9dd70d56e6257ff71d2cb6a289460473e8202b7ae5ac2c8a51036c7  coq-deriving_0.2.1-1.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Wed, 29 Oct 2025 10:49:32 +0000 |
+------------------------------------------------------------------------------+

+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdON7F7V/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdON7F7V/inputs/coq-deriving_0.2.1-1+b13_amd64.buildinfo
Rebuilding coq-deriving=0.2.1-1 in /srv/rebuilderd/tmp/rebuilderdON7F7V/inputs now.
/srv/rebuilderd/tmp/rebuilderdON7F7V/inputs/coq-deriving_0.2.1-1+b13_amd64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-deriving-0.2.1
I: verifying dsc... successful!
cannot find:
libcoq-mathcomp-ssreflect:amd64=2.3.0-1+b13
libcoq-hierarchy-builder:amd64=1.8.1-1+b9
debootsnap failed at /usr/bin/debrebuild line 492.