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

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/rebuilderdmE7gXT/inputs/coq-iris_4.4.0-2_amd64.buildinfo
Source: coq-iris
Version: 4.4.0-2
rebuilderd-worker node: osuosl43-amd64

+------------------------------------------------------------------------------+
| Downloading sources                          Mon, 13 Apr 2026 08:17:26 +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 [57.6 kB]
Get:5 https://deb.debian.org/debian trixie-backports InRelease [54.0 kB]
Get:6 https://deb.debian.org/debian forky InRelease [137 kB]
Get:7 https://deb.debian.org/debian sid InRelease [187 kB]
Get:8 https://deb.debian.org/debian experimental InRelease [91.7 kB]
Get:9 https://deb.debian.org/debian trixie/non-free-firmware Sources [6,552 B]
Get:10 https://deb.debian.org/debian trixie/main Sources [10.5 MB]
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 [127 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/main Sources [87.1 kB]
Get:15 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [2,984 B]
Get:16 https://deb.debian.org/debian trixie-backports/main Sources [190 kB]
Get:17 https://deb.debian.org/debian forky/main Sources [10.8 MB]
Get:18 https://deb.debian.org/debian forky/non-free-firmware Sources [8,300 B]
Get:19 https://deb.debian.org/debian sid/main Sources [11.5 MB]
Get:20 https://deb.debian.org/debian sid/non-free-firmware Sources [10.3 kB]
Get:21 https://deb.debian.org/debian experimental/main Sources [425 kB]
Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,568 B]
Fetched 34.5 MB in 4s (9,553 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/coq-iris/coq-iris_4.4.0-2.dsc' coq-iris_4.4.0-2.dsc 2174 SHA256:d8a3dca1bd42bf56f75693a5edf1d6f6bf939d5ee140ab6b33743fb09935ec30
'https://deb.debian.org/debian/pool/main/c/coq-iris/coq-iris_4.4.0.orig.tar.bz2' coq-iris_4.4.0.orig.tar.bz2 638644 SHA256:14d2be0827b3293ac2c51b54dbc8802936f79cd31260a78a70e78995d5842576
'https://deb.debian.org/debian/pool/main/c/coq-iris/coq-iris_4.4.0-2.debian.tar.xz' coq-iris_4.4.0-2.debian.tar.xz 12760 SHA256:f7fb39c16c55831df93c7e83d538d8c69419ec835680b99623d3641b2148dd40
14d2be0827b3293ac2c51b54dbc8802936f79cd31260a78a70e78995d5842576  coq-iris_4.4.0.orig.tar.bz2
f7fb39c16c55831df93c7e83d538d8c69419ec835680b99623d3641b2148dd40  coq-iris_4.4.0-2.debian.tar.xz
d8a3dca1bd42bf56f75693a5edf1d6f6bf939d5ee140ab6b33743fb09935ec30  coq-iris_4.4.0-2.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Mon, 13 Apr 2026 08:17:31 +0000 |
+------------------------------------------------------------------------------+

Rebuilding coq-iris=4.4.0-2 in /srv/rebuilderd/tmp/rebuilderdmE7gXT/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdmE7gXT/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdmE7gXT/inputs/coq-iris_4.4.0-2_amd64.buildinfo
/srv/rebuilderd/tmp/rebuilderdmE7gXT/inputs/coq-iris_4.4.0-2_amd64.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/coq-iris-4.4.0
I: verifying dsc... successful!
cannot find:
libcoq-stdpp:amd64=1.12.0-2
debootsnap failed at /usr/bin/debrebuild line 451.