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

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/rebuilderd4ORSag/inputs/coq-quickchick_2.1.0-1.1+b2_amd64.buildinfo
Source: coq-quickchick
Version: 2.1.0-1.1
rebuilderd-worker node: osuosl41-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Wed, 29 Oct 2025 09:40:28 +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/non-free-firmware Sources [696 B]
Get:12 https://deb.debian.org/debian-security trixie-security/main Sources [89.9 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/non-free-firmware Sources [692 B]
Get:15 https://deb.debian.org/debian trixie-proposed-updates/main Sources [89.7 kB]
Get:16 https://deb.debian.org/debian trixie-backports/main Sources [79.6 kB]
Get:17 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [1,052 B]
Get:18 https://deb.debian.org/debian forky/non-free-firmware Sources [7,128 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 [9,088 B]
Get:21 https://deb.debian.org/debian sid/main Sources [11.2 MB]
Get:22 https://deb.debian.org/debian experimental/main Sources [370 kB]
Get:23 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,572 B]
Fetched 33.8 MB in 3s (10.5 MB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-quickchick/coq-quickchick_2.1.0-1.1.dsc' coq-quickchick_2.1.0-1.1.dsc 2258 SHA256:a7284dc60f69c4aa7496561a45edf3fcb1e9e41baf216bb7e8987e0fbbeda47b
'https://deb.debian.org/debian/pool/main/c/coq-quickchick/coq-quickchick_2.1.0.orig.tar.gz' coq-quickchick_2.1.0.orig.tar.gz 414544 SHA256:d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e
'https://deb.debian.org/debian/pool/main/c/coq-quickchick/coq-quickchick_2.1.0-1.1.debian.tar.xz' coq-quickchick_2.1.0-1.1.debian.tar.xz 3016 SHA256:c336a33775ef72e0d2341550c9a0e4cbf6806edbede8a062a3945400b79ec1c0
d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e  coq-quickchick_2.1.0.orig.tar.gz
c336a33775ef72e0d2341550c9a0e4cbf6806edbede8a062a3945400b79ec1c0  coq-quickchick_2.1.0-1.1.debian.tar.xz
a7284dc60f69c4aa7496561a45edf3fcb1e9e41baf216bb7e8987e0fbbeda47b  coq-quickchick_2.1.0-1.1.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Wed, 29 Oct 2025 09:40:32 +0000 |
+------------------------------------------------------------------------------+

Rebuilding coq-quickchick=2.1.0-1.1 in /srv/rebuilderd/tmp/rebuilderd4ORSag/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderd4ORSag/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderd4ORSag/inputs/coq-quickchick_2.1.0-1.1+b2_amd64.buildinfo
/srv/rebuilderd/tmp/rebuilderd4ORSag/inputs/coq-quickchick_2.1.0-1.1+b2_amd64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-quickchick-2.1.0
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.