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

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/rebuilderdpCwXAh/inputs/coqeal_2.1.1-2_amd64.buildinfo
Source: coqeal
Version: 2.1.1-2
rebuilderd-worker node: osuosl44-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Mon, 13 Apr 2026 07:52:16 +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.7 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/main Sources [127 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 [87.1 kB]
Get:15 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [2,984 B]
Get:16 https://deb.debian.org/debian trixie-backports/main Sources [190 kB]
Get:17 https://deb.debian.org/debian forky/main Sources [10.8 MB]
Get:18 https://deb.debian.org/debian forky/non-free-firmware Sources [8,300 B]
Get:19 https://deb.debian.org/debian sid/non-free-firmware Sources [10.3 kB]
Get:20 https://deb.debian.org/debian sid/main Sources [11.5 MB]
Get:21 https://deb.debian.org/debian experimental/main Sources [425 kB]
Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,568 B]
Fetched 34.5 MB in 4s (9,035 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coqeal/coqeal_2.1.1-2.dsc' coqeal_2.1.1-2.dsc 2163 SHA256:50e33008feb4edaf84067e95b43c94f28b9c116b038f3dacef616d126bcfaa64
'https://deb.debian.org/debian/pool/main/c/coqeal/coqeal_2.1.1.orig.tar.gz' coqeal_2.1.1.orig.tar.gz 227388 SHA256:be541b0560704b42dc420e7bc8bc26149704972d5ffddb433a037f4dbea5541d
'https://deb.debian.org/debian/pool/main/c/coqeal/coqeal_2.1.1-2.debian.tar.xz' coqeal_2.1.1-2.debian.tar.xz 2500 SHA256:ef91e9d1cc4e4571cc546048d5db5926835f19f8a7f274431d36eb81457fb472
be541b0560704b42dc420e7bc8bc26149704972d5ffddb433a037f4dbea5541d  coqeal_2.1.1.orig.tar.gz
ef91e9d1cc4e4571cc546048d5db5926835f19f8a7f274431d36eb81457fb472  coqeal_2.1.1-2.debian.tar.xz
50e33008feb4edaf84067e95b43c94f28b9c116b038f3dacef616d126bcfaa64  coqeal_2.1.1-2.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Mon, 13 Apr 2026 07:52:20 +0000 |
+------------------------------------------------------------------------------+

+ Rebuilding coqeal=2.1.1-2 in /srv/rebuilderd/tmp/rebuilderdpCwXAh/inputs now.
nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdpCwXAh/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdpCwXAh/inputs/coqeal_2.1.1-2_amd64.buildinfo
/srv/rebuilderd/tmp/rebuilderdpCwXAh/inputs/coqeal_2.1.1-2_amd64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coqeal-2.1.1
I: verifying dsc... successful!
cannot find:
libcoq-mathcomp-real-closed:amd64=2.0.3-2
debootsnap failed at /usr/bin/debrebuild line 451.