=============================================================================== 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/rebuilderd6dlPeO/inputs/coq-math-classes_9.0.0-2_riscv64.buildinfo Source: coq-math-classes Version: 9.0.0-2 rebuilderd-worker node: riscv64-02 +------------------------------------------------------------------------------+ | Downloading sources Sun, 15 Feb 2026 19:10:08 +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.5 kB] Get:9 https://deb.debian.org/debian trixie/non-free-firmware Sources [6552 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 [131 kB] Get:13 https://deb.debian.org/debian trixie-updates/main Sources [2788 B] Get:14 https://deb.debian.org/debian trixie-proposed-updates/main Sources [49.7 kB] Get:15 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [2468 B] Get:16 https://deb.debian.org/debian trixie-backports/main Sources [143 kB] Get:17 https://deb.debian.org/debian forky/non-free-firmware Sources [7700 B] Get:18 https://deb.debian.org/debian forky/main Sources [10.5 MB] Get:19 https://deb.debian.org/debian sid/main Sources [11.2 MB] Get:20 https://deb.debian.org/debian sid/non-free-firmware Sources [9696 B] Get:21 https://deb.debian.org/debian experimental/non-free-firmware Sources [3180 B] Get:22 https://deb.debian.org/debian experimental/main Sources [391 kB] Fetched 33.8 MB in 22s (1516 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/c/coq-math-classes/coq-math-classes_9.0.0-2.dsc' coq-math-classes_9.0.0-2.dsc 2176 SHA256:e124a1a9d58a334582a8374413321c6c0cc972ac8a0097f80fd8dc99908e382c 'https://deb.debian.org/debian/pool/main/c/coq-math-classes/coq-math-classes_9.0.0.orig.tar.gz' coq-math-classes_9.0.0.orig.tar.gz 169022 SHA256:8316c8ed38c9f8b444c3ab974172dca10d959983fddc272018323a461fa176f9 'https://deb.debian.org/debian/pool/main/c/coq-math-classes/coq-math-classes_9.0.0-2.debian.tar.xz' coq-math-classes_9.0.0-2.debian.tar.xz 2964 SHA256:4eaa38850c050cb524a0924c41403c6e8acddf808842b721274bd57243266e3c 8316c8ed38c9f8b444c3ab974172dca10d959983fddc272018323a461fa176f9 coq-math-classes_9.0.0.orig.tar.gz 4eaa38850c050cb524a0924c41403c6e8acddf808842b721274bd57243266e3c coq-math-classes_9.0.0-2.debian.tar.xz e124a1a9d58a334582a8374413321c6c0cc972ac8a0097f80fd8dc99908e382c coq-math-classes_9.0.0-2.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Sun, 15 Feb 2026 19:10:35 +0000 | +------------------------------------------------------------------------------+ + nice /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderd6dlPeO/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderd6dlPeO/inputs/coq-math-classes_9.0.0-2_riscv64.buildinfo Rebuilding coq-math-classes=9.0.0-2 in /srv/rebuilderd/tmp/rebuilderd6dlPeO/inputs now. /srv/rebuilderd/tmp/rebuilderd6dlPeO/inputs/coq-math-classes_9.0.0-2_riscv64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/coq-math-classes-9.0.0 I: verifying dsc... successful! cannot find: libcoq-bignums:riscv64=9.0.0+rocq9.1-2 debootsnap failed at /usr/bin/debrebuild line 492.