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

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/rebuilderdRR90Sg/inputs/coq-relation-algebra_1.7.11-1+b13_amd64.buildinfo
Source: coq-relation-algebra
Version: 1.7.11-1
rebuilderd-worker node: osuosl43-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Wed, 29 Oct 2025 10:01: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/main Sources [89.9 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/non-free-firmware Sources [1,052 B]
Get:17 https://deb.debian.org/debian trixie-backports/main Sources [79.6 kB]
Get:18 https://deb.debian.org/debian forky/main Sources [10.7 MB]
Get:19 https://deb.debian.org/debian forky/non-free-firmware Sources [7,128 B]
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/non-free-firmware Sources [2,572 B]
Get:23 https://deb.debian.org/debian experimental/main Sources [370 kB]
Fetched 33.8 MB in 4s (8,647 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-relation-algebra/coq-relation-algebra_1.7.11-1.dsc' coq-relation-algebra_1.7.11-1.dsc 2251 SHA256:712f4effc05398c2571337ee2c09f7942b3046d1d19a98429ff839054f1b431a
'https://deb.debian.org/debian/pool/main/c/coq-relation-algebra/coq-relation-algebra_1.7.11.orig.tar.gz' coq-relation-algebra_1.7.11.orig.tar.gz 196680 SHA256:6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1
'https://deb.debian.org/debian/pool/main/c/coq-relation-algebra/coq-relation-algebra_1.7.11-1.debian.tar.xz' coq-relation-algebra_1.7.11-1.debian.tar.xz 2232 SHA256:c6aec2faf18ef624df3c3c0069800a8c7759b274a212128bf36231de124f531e
6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1  coq-relation-algebra_1.7.11.orig.tar.gz
c6aec2faf18ef624df3c3c0069800a8c7759b274a212128bf36231de124f531e  coq-relation-algebra_1.7.11-1.debian.tar.xz
712f4effc05398c2571337ee2c09f7942b3046d1d19a98429ff839054f1b431a  coq-relation-algebra_1.7.11-1.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Wed, 29 Oct 2025 10:01:21 +0000 |
+------------------------------------------------------------------------------+

Rebuilding coq-relation-algebra=1.7.11-1 in /srv/rebuilderd/tmp/rebuilderdRR90Sg/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdRR90Sg/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdRR90Sg/inputs/coq-relation-algebra_1.7.11-1+b13_amd64.buildinfo
/srv/rebuilderd/tmp/rebuilderdRR90Sg/inputs/coq-relation-algebra_1.7.11-1+b13_amd64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-relation-algebra-1.7.11
I: verifying dsc... successful!
cannot find:
libcoq-mathcomp-ssreflect:amd64=2.3.0-1+b13
libcoq-hierarchy-builder:amd64=1.8.1-1+b9
debootsnap failed at /usr/bin/debrebuild line 492.