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

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/rebuilderdpeMUIT/inputs/coq-hierarchy-builder_1.8.1-1+b9_amd64.buildinfo
Source: coq-hierarchy-builder
Version: 1.8.1-1
rebuilderd-worker node: osuosl44-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Tue, 28 Oct 2025 21:39:17 +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.2 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/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/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/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 [369 kB]
Fetched 33.8 MB in 4s (7,607 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-hierarchy-builder/coq-hierarchy-builder_1.8.1-1.dsc' coq-hierarchy-builder_1.8.1-1.dsc 2163 SHA256:873579a5d7a6f6f199b4e1acb49be13a18c2e8ab5ec94b2771e908fa36c6db65
'https://deb.debian.org/debian/pool/main/c/coq-hierarchy-builder/coq-hierarchy-builder_1.8.1.orig.tar.gz' coq-hierarchy-builder_1.8.1.orig.tar.gz 215161 SHA256:aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb
'https://deb.debian.org/debian/pool/main/c/coq-hierarchy-builder/coq-hierarchy-builder_1.8.1-1.debian.tar.xz' coq-hierarchy-builder_1.8.1-1.debian.tar.xz 2872 SHA256:99e0b8d83148eebd69fdd0dac7bcf1efe3fd6378522da44f1f9da314cf2cba35
aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb  coq-hierarchy-builder_1.8.1.orig.tar.gz
99e0b8d83148eebd69fdd0dac7bcf1efe3fd6378522da44f1f9da314cf2cba35  coq-hierarchy-builder_1.8.1-1.debian.tar.xz
873579a5d7a6f6f199b4e1acb49be13a18c2e8ab5ec94b2771e908fa36c6db65  coq-hierarchy-builder_1.8.1-1.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Tue, 28 Oct 2025 21:39:22 +0000 |
+------------------------------------------------------------------------------+

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