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

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/rebuilderdg7ztoz/inputs/coqeal_2.1.0-1+b7_amd64.buildinfo
Source: coqeal
Version: 2.1.0-1
rebuilderd-worker node: osuosl43-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Wed, 29 Oct 2025 10:01:52 +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/non-free-firmware Sources [6,536 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 [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/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/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 4s (9,306 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coqeal/coqeal_2.1.0-1.dsc' coqeal_2.1.0-1.dsc 2184 SHA256:2539d6563675c06a53034dd68e281da6c37d3b9b29b18bec9bce7f316f96051c
'https://deb.debian.org/debian/pool/main/c/coqeal/coqeal_2.1.0.orig.tar.gz' coqeal_2.1.0.orig.tar.gz 226713 SHA256:f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638
'https://deb.debian.org/debian/pool/main/c/coqeal/coqeal_2.1.0-1.debian.tar.xz' coqeal_2.1.0-1.debian.tar.xz 2408 SHA256:3c7a728c8e376c834c0c49cb022169ae43b1439fd192adcefbf7eeb011284f1f
f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638  coqeal_2.1.0.orig.tar.gz
3c7a728c8e376c834c0c49cb022169ae43b1439fd192adcefbf7eeb011284f1f  coqeal_2.1.0-1.debian.tar.xz
2539d6563675c06a53034dd68e281da6c37d3b9b29b18bec9bce7f316f96051c  coqeal_2.1.0-1.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Wed, 29 Oct 2025 10:01:56 +0000 |
+------------------------------------------------------------------------------+

Rebuilding coqeal=2.1.0-1 in /srv/rebuilderd/tmp/rebuilderdg7ztoz/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdg7ztoz/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdg7ztoz/inputs/coqeal_2.1.0-1+b7_amd64.buildinfo
/srv/rebuilderd/tmp/rebuilderdg7ztoz/inputs/coqeal_2.1.0-1+b7_amd64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coqeal-2.1.0
I: verifying dsc... successful!
cannot find:
libcoq-mathcomp-ssreflect:amd64=2.3.0-1+b13
libcoq-mathcomp-real-closed:amd64=2.0.2-1+b13
libcoq-hierarchy-builder:amd64=1.8.1-1+b9
libcoq-mathcomp-algebra:amd64=2.3.0-1+b13
libcoq-mathcomp-fingroup:amd64=2.3.0-1+b13
libcoq-mathcomp-field:amd64=2.3.0-1+b13
libcoq-mathcomp-solvable:amd64=2.3.0-1+b13
libcoq-mathcomp-multinomials:amd64=2.3.0-1+b13
libcoq-mathcomp-finmap:amd64=2.1.0-3+b13
libcoq-mathcomp-bigenough:amd64=1.0.2-1+b9
debootsnap failed at /usr/bin/debrebuild line 492.