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

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/rebuilderdRZKaS3/inputs/coq-corn_8.20.0-1+b10_amd64.buildinfo
Source: coq-corn
Version: 8.20.0-1
rebuilderd-worker node: osuosl43-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Tue, 28 Oct 2025 23:04:36 +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/main Sources [89.2 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/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.3 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 [369 kB]
Get:23 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,572 B]
Fetched 33.8 MB in 4s (7,570 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-corn/coq-corn_8.20.0-1.dsc' coq-corn_8.20.0-1.dsc 2117 SHA256:5fbae7cb1aef36236759ff3dba324e8b4382df67d50b508ab2d80ab293f62b54
'https://deb.debian.org/debian/pool/main/c/coq-corn/coq-corn_8.20.0.orig.tar.gz' coq-corn_8.20.0.orig.tar.gz 1321158 SHA256:081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305
'https://deb.debian.org/debian/pool/main/c/coq-corn/coq-corn_8.20.0-1.debian.tar.xz' coq-corn_8.20.0-1.debian.tar.xz 4296 SHA256:9040a6be9c6a8266346d06265d63225f5093120cad4a15e868da9da636211754
081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305  coq-corn_8.20.0.orig.tar.gz
9040a6be9c6a8266346d06265d63225f5093120cad4a15e868da9da636211754  coq-corn_8.20.0-1.debian.tar.xz
5fbae7cb1aef36236759ff3dba324e8b4382df67d50b508ab2d80ab293f62b54  coq-corn_8.20.0-1.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Tue, 28 Oct 2025 23:04:41 +0000 |
+------------------------------------------------------------------------------+

Rebuilding coq-corn=8.20.0-1 in /srv/rebuilderd/tmp/rebuilderdRZKaS3/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdRZKaS3/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdRZKaS3/inputs/coq-corn_8.20.0-1+b10_amd64.buildinfo
/srv/rebuilderd/tmp/rebuilderdRZKaS3/inputs/coq-corn_8.20.0-1+b10_amd64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-corn-8.20.0
I: verifying dsc... successful!
cannot find:
libcoq-elpi:amd64=2.5.0-1.2
debootsnap failed at /usr/bin/debrebuild line 492.