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

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/rebuilderdhqJSDG/inputs/coq-interval_4.11.3-2_ppc64el.buildinfo
Source: coq-interval
Version: 4.11.3-2
rebuilderd-worker node: osuosl7-ppc64el

+------------------------------------------------------------------------------+
| Downloading sources                          Sun, 15 Feb 2026 23:21: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 [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.5 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/non-free-firmware Sources [696 B]
Get:12 https://deb.debian.org/debian-security trixie-security/main Sources [131 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 [49.7 kB]
Get:15 https://deb.debian.org/debian trixie-backports/main Sources [145 kB]
Get:16 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [2,468 B]
Get:17 https://deb.debian.org/debian forky/non-free-firmware Sources [7,700 B]
Get:18 https://deb.debian.org/debian forky/main Sources [10.5 MB]
Get:19 https://deb.debian.org/debian sid/non-free-firmware Sources [9,696 B]
Get:20 https://deb.debian.org/debian sid/main Sources [11.2 MB]
Get:21 https://deb.debian.org/debian experimental/non-free-firmware Sources [3,180 B]
Get:22 https://deb.debian.org/debian experimental/main Sources [393 kB]
Fetched 33.8 MB in 5s (6,766 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-interval/coq-interval_4.11.3-2.dsc' coq-interval_4.11.3-2.dsc 2210 SHA256:ab273399276bb5c94680d04abdcc5fafaf4fe5f74dc56b7aa05d8a1567f458f5
'https://deb.debian.org/debian/pool/main/c/coq-interval/coq-interval_4.11.3.orig.tar.gz' coq-interval_4.11.3.orig.tar.gz 381004 SHA256:c7cbafe6ff69545ff04ae98ff1ea05a31cbc33a910ecdce29d3cd8d38a478358
'https://deb.debian.org/debian/pool/main/c/coq-interval/coq-interval_4.11.3-2.debian.tar.xz' coq-interval_4.11.3-2.debian.tar.xz 9484 SHA256:d31db471c79b6c84a29ce1a2bd2e6b27113b264658417e1d7182afccdaef2f5b
c7cbafe6ff69545ff04ae98ff1ea05a31cbc33a910ecdce29d3cd8d38a478358  coq-interval_4.11.3.orig.tar.gz
d31db471c79b6c84a29ce1a2bd2e6b27113b264658417e1d7182afccdaef2f5b  coq-interval_4.11.3-2.debian.tar.xz
ab273399276bb5c94680d04abdcc5fafaf4fe5f74dc56b7aa05d8a1567f458f5  coq-interval_4.11.3-2.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Sun, 15 Feb 2026 23:21:57 +0000 |
+------------------------------------------------------------------------------+

Rebuilding coq-interval=4.11.3-2 in /srv/rebuilderd/tmp/rebuilderdhqJSDG/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdhqJSDG/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdhqJSDG/inputs/coq-interval_4.11.3-2_ppc64el.buildinfo
/srv/rebuilderd/tmp/rebuilderdhqJSDG/inputs/coq-interval_4.11.3-2_ppc64el.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-interval-4.11.3
I: verifying dsc... successful!
cannot find:
libcoq-hierarchy-builder:ppc64el=1.10.1-2
libcoq-mathcomp-ssreflect:ppc64el=2.5.0-2
libcoq-coquelicot:ppc64el=3.4.4-2
libcoq-stdlib:ppc64el=9.0.0-3+b1
libcoq-mathcomp-order:ppc64el=2.5.0-2
libcoq-mathcomp-boot:ppc64el=2.5.0-2
libcoq-elpi:ppc64el=3.2.0-3
debootsnap failed at /usr/bin/debrebuild line 492.