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

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/rebuilderdT5n5U7/inputs/mathcomp-algebra-tactics_1.2.4-1+b11_amd64.buildinfo
Source: mathcomp-algebra-tactics
Version: 1.2.4-1
rebuilderd-worker node: osuosl41-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Wed, 29 Oct 2025 10:47:06 +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/main Sources [79.6 kB]
Get:17 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [1,052 B]
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 (9,255 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/m/mathcomp-algebra-tactics/mathcomp-algebra-tactics_1.2.4-1.dsc' mathcomp-algebra-tactics_1.2.4-1.dsc 2294 SHA256:574436bb62e720f08704d2f498ac80310b12906c4b902f5692ed8b31f8457057
'https://deb.debian.org/debian/pool/main/m/mathcomp-algebra-tactics/mathcomp-algebra-tactics_1.2.4.orig.tar.gz' mathcomp-algebra-tactics_1.2.4.orig.tar.gz 59063 SHA256:a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805
'https://deb.debian.org/debian/pool/main/m/mathcomp-algebra-tactics/mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz' mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz 9004 SHA256:8d1d6a6719ef0bac262819e8a97f58c50522a0d50abb4d227d4204208a9cdd6c
a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805  mathcomp-algebra-tactics_1.2.4.orig.tar.gz
8d1d6a6719ef0bac262819e8a97f58c50522a0d50abb4d227d4204208a9cdd6c  mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz
574436bb62e720f08704d2f498ac80310b12906c4b902f5692ed8b31f8457057  mathcomp-algebra-tactics_1.2.4-1.dsc

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

Rebuilding mathcomp-algebra-tactics=1.2.4-1 in /srv/rebuilderd/tmp/rebuilderdT5n5U7/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdT5n5U7/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdT5n5U7/inputs/mathcomp-algebra-tactics_1.2.4-1+b11_amd64.buildinfo
/srv/rebuilderd/tmp/rebuilderdT5n5U7/inputs/mathcomp-algebra-tactics_1.2.4-1+b11_amd64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/mathcomp-algebra-tactics-1.2.4
I: verifying dsc... successful!
cannot find:
libcoq-mathcomp-fingroup:amd64=2.3.0-1+b13
libcoq-mathcomp-ssreflect:amd64=2.3.0-1+b13
libcoq-mathcomp-zify:amd64=1.5.0+2.0+8.16-4+b13
libcoq-mathcomp-algebra:amd64=2.3.0-1+b13
libcoq-hierarchy-builder:amd64=1.8.1-1+b9
debootsnap failed at /usr/bin/debrebuild line 492.