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

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/rebuilderd8ORInN/inputs/coq-interval_4.11.1-1+b15_amd64.buildinfo
Source: coq-interval
Version: 4.11.1-1
rebuilderd-worker node: osuosl41-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Wed, 29 Oct 2025 10:46:50 +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/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/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/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/main Sources [370 kB]
Get:23 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,572 B]
Fetched 33.8 MB in 4s (9,628 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-interval/coq-interval_4.11.1-1.dsc' coq-interval_4.11.1-1.dsc 2191 SHA256:bd98a064fba91bbb8274290782b06df19d8f94f54876a268aa074768ef0ff792
'https://deb.debian.org/debian/pool/main/c/coq-interval/coq-interval_4.11.1.orig.tar.gz' coq-interval_4.11.1.orig.tar.gz 380862 SHA256:a5a76baafc1e7cf0b2125f992c982375f864d4ae808fb605a9ff3a73a5c0bf4f
'https://deb.debian.org/debian/pool/main/c/coq-interval/coq-interval_4.11.1-1.debian.tar.xz' coq-interval_4.11.1-1.debian.tar.xz 9364 SHA256:e2070550d06174e7de9943f86f677144e1a28ae9f93d468733f6973e093995b2
a5a76baafc1e7cf0b2125f992c982375f864d4ae808fb605a9ff3a73a5c0bf4f  coq-interval_4.11.1.orig.tar.gz
e2070550d06174e7de9943f86f677144e1a28ae9f93d468733f6973e093995b2  coq-interval_4.11.1-1.debian.tar.xz
bd98a064fba91bbb8274290782b06df19d8f94f54876a268aa074768ef0ff792  coq-interval_4.11.1-1.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Wed, 29 Oct 2025 10:46:54 +0000 |
+------------------------------------------------------------------------------+

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