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

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/rebuilderdpXmKX9/inputs/cvc5_1.1.2-2+b3_ppc64el.buildinfo
Source: cvc5
Version: 1.1.2-2
rebuilderd-worker node: osuosl6-ppc64el

+------------------------------------------------------------------------------+
| Downloading sources                          Mon, 22 Dec 2025 07:31:13 +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 [90.7 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,548 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 [116 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 [133 kB]
Get:16 https://deb.debian.org/debian trixie-backports/main Sources [112 kB]
Get:17 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [2,468 B]
Get:18 https://deb.debian.org/debian forky/main Sources [10.6 MB]
Get:19 https://deb.debian.org/debian forky/non-free-firmware Sources [7,696 B]
Get:20 https://deb.debian.org/debian sid/non-free-firmware Sources [9,692 B]
Get:21 https://deb.debian.org/debian sid/main Sources [11.2 MB]
Get:22 https://deb.debian.org/debian experimental/main Sources [371 kB]
Get:23 https://deb.debian.org/debian experimental/non-free-firmware Sources [3,180 B]
Fetched 33.9 MB in 4s (8,578 kB/s)
Reading package lists...
'https://deb.debian.org/debian/pool/main/c/cvc5/cvc5_1.1.2-2.dsc' cvc5_1.1.2-2.dsc 2470 SHA256:60c8f76449c4cef9b59f9ea8a295c32378d014080a50931be6080e46d88fe69b
'https://deb.debian.org/debian/pool/main/c/cvc5/cvc5_1.1.2.orig.tar.gz' cvc5_1.1.2.orig.tar.gz 8581968 SHA256:f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a
'https://deb.debian.org/debian/pool/main/c/cvc5/cvc5_1.1.2-2.debian.tar.xz' cvc5_1.1.2-2.debian.tar.xz 7396 SHA256:d222819780d8afd7146a533316277f2e0c92b618de69114b9498584b36af838f
f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a  cvc5_1.1.2.orig.tar.gz
d222819780d8afd7146a533316277f2e0c92b618de69114b9498584b36af838f  cvc5_1.1.2-2.debian.tar.xz
60c8f76449c4cef9b59f9ea8a295c32378d014080a50931be6080e46d88fe69b  cvc5_1.1.2-2.dsc

+------------------------------------------------------------------------------+
| Calling debrebuild                           Mon, 22 Dec 2025 07:31:18 +0000 |
+------------------------------------------------------------------------------+

Rebuilding cvc5=1.1.2-2 in /srv/rebuilderd/tmp/rebuilderdpXmKX9/inputs now.
+ nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdpXmKX9/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdpXmKX9/inputs/cvc5_1.1.2-2+b3_ppc64el.buildinfo
/srv/rebuilderd/tmp/rebuilderdpXmKX9/inputs/cvc5_1.1.2-2+b3_ppc64el.buildinfo contains a GPG signature which has NOT been validated
Using defined Build-Path: /build/reproducible-path/cvc5-1.1.2
I: verifying dsc... successful!
Traceback (most recent call last):
  File "/usr/bin/debootsnap", line 679, in <module>
    main(sys.argv[1:])
    ~~~~^^^^^^^^^^^^^^
  File "/usr/bin/debootsnap", line 628, in main
    pkgs_notfound = query_apt_repo(pkgs_notfound, nativearch, unstable, sources)
  File "/usr/bin/debootsnap", line 248, in query_apt_repo
    cache.open()  # needed after apt update
    ~~~~~~~~~~^^
  File "/usr/lib/python3/dist-packages/apt/cache.py", line 217, in open
    self._cache = apt_pkg.Cache(progress)
                  ~~~~~~~~~~~~~^^^^^^^^^^
apt_pkg.Error: E:Write error - write (28: No space left on device), E:IO Error saving source cache, E:The package lists or status file could not be parsed or opened.
debootsnap failed at /usr/bin/debrebuild line 492.