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

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/rebuilderdUoli94/inputs/coq-deriving_0.2.2-2_ppc64el.buildinfo
Source: coq-deriving
Version: 0.2.2-2
rebuilderd-worker node: osuosl7-ppc64el

+------------------------------------------------------------------------------+
| Downloading sources                          Sun, 15 Feb 2026 23:42:13 +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/main Sources [10.5 MB]
Get:10 https://deb.debian.org/debian trixie/non-free-firmware Sources [6,552 B]
Get:11 https://deb.debian.org/debian-security trixie-security/main Sources [131 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 [49.7 kB]
Get:15 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [2,468 B]
Get:16 https://deb.debian.org/debian trixie-backports/main Sources [145 kB]
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/main Sources [11.2 MB]
Get:20 https://deb.debian.org/debian sid/non-free-firmware Sources [9,696 B]
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,759 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-deriving/coq-deriving_0.2.2-2.dsc' coq-deriving_0.2.2-2.dsc 2132 SHA256:fcb15096a1de1d3d5b23fae35e22f17a99a5434048340ee6858d5fec01ea65a7
'https://deb.debian.org/debian/pool/main/c/coq-deriving/coq-deriving_0.2.2.orig.tar.gz' coq-deriving_0.2.2.orig.tar.gz 31954 SHA256:c9477a96631768c2c8ea647716554bba865e1c84cc52a2a7cea91295471e8f7d
'https://deb.debian.org/debian/pool/main/c/coq-deriving/coq-deriving_0.2.2-2.debian.tar.xz' coq-deriving_0.2.2-2.debian.tar.xz 2344 SHA256:c5007f31c1044b254dab3c8da69d752ada3a8a6b5341e180416a191e1850bbe4
c9477a96631768c2c8ea647716554bba865e1c84cc52a2a7cea91295471e8f7d  coq-deriving_0.2.2.orig.tar.gz
c5007f31c1044b254dab3c8da69d752ada3a8a6b5341e180416a191e1850bbe4  coq-deriving_0.2.2-2.debian.tar.xz
fcb15096a1de1d3d5b23fae35e22f17a99a5434048340ee6858d5fec01ea65a7  coq-deriving_0.2.2-2.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Sun, 15 Feb 2026 23:42:19 +0000 |
+------------------------------------------------------------------------------+

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