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

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/rebuilderd0yslwZ/inputs/mathcomp-real-closed_2.0.2-1+b13_amd64.buildinfo
Source: mathcomp-real-closed
Version: 2.0.2-1
rebuilderd-worker node: osuosl42-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Wed, 29 Oct 2025 10:44: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/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/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/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,334 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/m/mathcomp-real-closed/mathcomp-real-closed_2.0.2-1.dsc' mathcomp-real-closed_2.0.2-1.dsc 2276 SHA256:c99ba1da736464260023447881ae252ea81911fc0cf2fe9393f3e8973810f481
'https://deb.debian.org/debian/pool/main/m/mathcomp-real-closed/mathcomp-real-closed_2.0.2.orig.tar.gz' mathcomp-real-closed_2.0.2.orig.tar.gz 124888 SHA256:c29ce2399757204951548633d5d0c298b893acd293af1d9e60ed26d94cc78f9f
'https://deb.debian.org/debian/pool/main/m/mathcomp-real-closed/mathcomp-real-closed_2.0.2-1.debian.tar.xz' mathcomp-real-closed_2.0.2-1.debian.tar.xz 8984 SHA256:6db95dfdefc8d44b8847a4322308b27d67a9d29edf97c1149baab0457e6fbff8
c29ce2399757204951548633d5d0c298b893acd293af1d9e60ed26d94cc78f9f  mathcomp-real-closed_2.0.2.orig.tar.gz
6db95dfdefc8d44b8847a4322308b27d67a9d29edf97c1149baab0457e6fbff8  mathcomp-real-closed_2.0.2-1.debian.tar.xz
c99ba1da736464260023447881ae252ea81911fc0cf2fe9393f3e8973810f481  mathcomp-real-closed_2.0.2-1.dsc

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

Rebuilding mathcomp-real-closed=2.0.2-1 in /srv/rebuilderd/tmp/rebuilderd0yslwZ/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderd0yslwZ/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderd0yslwZ/inputs/mathcomp-real-closed_2.0.2-1+b13_amd64.buildinfo
/srv/rebuilderd/tmp/rebuilderd0yslwZ/inputs/mathcomp-real-closed_2.0.2-1+b13_amd64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/mathcomp-real-closed-2.0.2
I: verifying dsc... successful!
cannot find:
libcoq-mathcomp-field:amd64=2.3.0-1+b13
libcoq-hierarchy-builder:amd64=1.8.1-1+b9
libcoq-mathcomp-bigenough:amd64=1.0.2-1+b9
libcoq-mathcomp-algebra:amd64=2.3.0-1+b13
libcoq-mathcomp-fingroup:amd64=2.3.0-1+b13
libcoq-mathcomp-solvable:amd64=2.3.0-1+b13
libcoq-mathcomp-ssreflect:amd64=2.3.0-1+b13
debootsnap failed at /usr/bin/debrebuild line 492.