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

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/rebuilderdXD6DzB/inputs/coq-reglang_1.2.1-4+b20_amd64.buildinfo
Source: coq-reglang
Version: 1.2.1-4
rebuilderd-worker node: osuosl42-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Wed, 29 Oct 2025 10:26:30 +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/main Sources [10.5 MB]
Get:10 https://deb.debian.org/debian trixie/non-free-firmware Sources [6,536 B]
Get:11 https://deb.debian.org/debian-security trixie-security/non-free-firmware Sources [696 B]
Get:12 https://deb.debian.org/debian-security trixie-security/main Sources [89.9 kB]
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/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/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/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,504 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-reglang/coq-reglang_1.2.1-4.dsc' coq-reglang_1.2.1-4.dsc 1888 SHA256:55957abab08d2b2a6ca1e75aeccabb9f7e425526db7583253baf45cbc714125e
'https://deb.debian.org/debian/pool/main/c/coq-reglang/coq-reglang_1.2.1.orig.tar.gz' coq-reglang_1.2.1.orig.tar.gz 69424 SHA256:0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75
'https://deb.debian.org/debian/pool/main/c/coq-reglang/coq-reglang_1.2.1-4.debian.tar.xz' coq-reglang_1.2.1-4.debian.tar.xz 8632 SHA256:b53574e1b305bdf83f6ef6fae9c5e443744985c2f8d0a75b0c53d9d980c1d13e
0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75  coq-reglang_1.2.1.orig.tar.gz
b53574e1b305bdf83f6ef6fae9c5e443744985c2f8d0a75b0c53d9d980c1d13e  coq-reglang_1.2.1-4.debian.tar.xz
55957abab08d2b2a6ca1e75aeccabb9f7e425526db7583253baf45cbc714125e  coq-reglang_1.2.1-4.dsc

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

Rebuilding coq-reglang=1.2.1-4 in /srv/rebuilderd/tmp/rebuilderdXD6DzB/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdXD6DzB/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdXD6DzB/inputs/coq-reglang_1.2.1-4+b20_amd64.buildinfo
/srv/rebuilderd/tmp/rebuilderdXD6DzB/inputs/coq-reglang_1.2.1-4+b20_amd64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-reglang-1.2.1
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.