=============================================================================== 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/rebuilderdMqXuO9/inputs/acl2_8.7+dfsg-3_riscv64.buildinfo Source: acl2 Version: 8.7+dfsg-3 rebuilderd-worker node: riscv64-33 +------------------------------------------------------------------------------+ | Downloading sources Sun, 30 Aug 2026 06:58:51 +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.7 kB] Get:5 https://deb.debian.org/debian trixie-backports InRelease [54.0 kB] Get:6 https://deb.debian.org/debian forky InRelease [151 kB] Get:7 https://deb.debian.org/debian sid InRelease [193 kB] Get:8 https://deb.debian.org/debian experimental InRelease [91.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,552 B] Get:11 https://deb.debian.org/debian-security trixie-security/main Sources [226 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 [1,840 B] Get:14 https://deb.debian.org/debian trixie-proposed-updates/main Sources [163 kB] Get:15 https://deb.debian.org/debian trixie-backports/main Sources [305 kB] Get:16 https://deb.debian.org/debian trixie-backports/non-free-firmware Sources [3,396 B] Get:17 https://deb.debian.org/debian forky/non-free-firmware Sources [7,856 B] Get:18 https://deb.debian.org/debian forky/main Sources [11.1 MB] Get:19 https://deb.debian.org/debian sid/non-free-firmware Sources [10.6 kB] Get:20 https://deb.debian.org/debian sid/main Sources [11.9 MB] Get:21 https://deb.debian.org/debian experimental/main Sources [400 kB] Get:22 https://deb.debian.org/debian experimental/non-free-firmware Sources [2,568 B] Fetched 35.5 MB in 11s (3,201 kB/s) Reading package lists... 'https://deb.debian.org/debian/pool/main/a/acl2/acl2_8.7%2bdfsg-3.dsc' acl2_8.7+dfsg-3.dsc 2288 SHA256:1b738e5d46eb385b962e74713a2153a61f18df4b5fb058b6a7ad3aad6946bd0b 'https://deb.debian.org/debian/pool/main/a/acl2/acl2_8.7%2bdfsg.orig.tar.gz' acl2_8.7+dfsg.orig.tar.gz 249797630 SHA256:2f396e166c041d852b5974f2fd57bed5e22c282bf397c7e917d0065cb1a68dce 'https://deb.debian.org/debian/pool/main/a/acl2/acl2_8.7%2bdfsg-3.debian.tar.xz' acl2_8.7+dfsg-3.debian.tar.xz 901928 SHA256:771e8768905b50e9f6383bcd22ebd95260dfcfa2827c84bcd380978809ebb2e7 2f396e166c041d852b5974f2fd57bed5e22c282bf397c7e917d0065cb1a68dce acl2_8.7+dfsg.orig.tar.gz 771e8768905b50e9f6383bcd22ebd95260dfcfa2827c84bcd380978809ebb2e7 acl2_8.7+dfsg-3.debian.tar.xz 1b738e5d46eb385b962e74713a2153a61f18df4b5fb058b6a7ad3aad6946bd0b acl2_8.7+dfsg-3.dsc +------------------------------------------------------------------------------+ | Calling debrebuild Sun, 30 Aug 2026 07:02:11 +0000 | +------------------------------------------------------------------------------+ Rebuilding acl2=8.7+dfsg-3 in /srv/rebuilderd/tmp/rebuilderdMqXuO9/inputs now. + /usr/bin/debrebuild --buildresult=/srv/rebuilderd/tmp/rebuilderdMqXuO9/out --builder=sbuild+unshare --cache=/srv/rebuilderd/cache -- /srv/rebuilderd/tmp/rebuilderdMqXuO9/inputs/acl2_8.7+dfsg-3_riscv64.buildinfo /srv/rebuilderd/tmp/rebuilderdMqXuO9/inputs/acl2_8.7+dfsg-3_riscv64.buildinfo contains a GPG signature which has NOT been validated Using defined Build-Path: /build/reproducible-path/acl2-8.7+dfsg I: verifying dsc... successful! Get:1 http://deb.debian.org/debian unstable InRelease [193 kB] Get:2 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable InRelease [193 kB] Get:3 http://deb.debian.org/debian unstable/main riscv64 Packages [10.3 MB] Get:4 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 Packages [10.2 MB] Fetched 20.9 MB in 9s (2342 kB/s) Reading package lists... W: http://snapshot.debian.org/archive/debian/20260719T142401Z/dists/unstable/InRelease: Loading /etc/apt/trusted.gpg from deprecated option Dir::Etc::Trusted Get:1 http://deb.debian.org/debian unstable/main riscv64 libacl1 riscv64 2.4.0-1 [37.1 kB] Get:2 http://deb.debian.org/debian unstable/main riscv64 libattr1 riscv64 1:2.6.0-1 [24.7 kB] Get:3 http://deb.debian.org/debian unstable/main riscv64 libaudit-common all 1:4.1.2-1 [14.3 kB] Get:4 http://deb.debian.org/debian unstable/main riscv64 libaudit1 riscv64 1:4.1.2-1+b1 [58.7 kB] Get:5 http://deb.debian.org/debian unstable/main riscv64 autoconf all 2.73-2 [516 kB] Get:6 http://deb.debian.org/debian unstable/main riscv64 automake all 1:1.18.1-4 [877 kB] Get:7 http://deb.debian.org/debian unstable/main riscv64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:8 http://deb.debian.org/debian unstable/main riscv64 base-files riscv64 14.2 [87.9 kB] Get:9 http://deb.debian.org/debian unstable/main riscv64 base-passwd riscv64 3.6.8 [54.8 kB] Get:10 http://deb.debian.org/debian unstable/main riscv64 build-essential riscv64 12.12 [4628 B] Get:11 http://deb.debian.org/debian unstable/main riscv64 bzip2 riscv64 1.0.8-6+b2 [40.2 kB] Get:12 http://deb.debian.org/debian unstable/main riscv64 libbz2-1.0 riscv64 1.0.8-6+b2 [39.6 kB] Get:13 http://deb.debian.org/debian unstable/main riscv64 libcairo2 riscv64 1.18.4-3+b1 [544 kB] Get:14 http://deb.debian.org/debian unstable/main riscv64 libdebconfclient0 riscv64 0.283 [7424 B] Get:15 http://deb.debian.org/debian unstable/main riscv64 coreutils riscv64 9.10-1 [3128 kB] Get:16 http://deb.debian.org/debian unstable/main riscv64 dash riscv64 0.5.12-12 [101 kB] Get:17 http://deb.debian.org/debian unstable/main riscv64 libdb5.3t64 riscv64 5.3.28+dfsg2-11+b1 [719 kB] Get:18 http://deb.debian.org/debian unstable/main riscv64 debconf all 1.5.92 [123 kB] Get:19 http://deb.debian.org/debian unstable/main riscv64 debhelper all 14.3 [934 kB] Get:20 http://deb.debian.org/debian unstable/main riscv64 libdebhelper-perl all 14.3 [77.3 kB] Get:21 http://deb.debian.org/debian unstable/main riscv64 dh-autoreconf all 22 [12.2 kB] Get:22 http://deb.debian.org/debian unstable/main riscv64 diffutils riscv64 1:3.12-1 [405 kB] Get:23 http://deb.debian.org/debian unstable/main riscv64 dpkg riscv64 1.23.7 [1534 kB] Get:24 http://deb.debian.org/debian unstable/main riscv64 dpkg-dev all 1.23.7 [1318 kB] Get:25 http://deb.debian.org/debian unstable/main riscv64 libdpkg-perl all 1.23.7 [669 kB] Get:26 http://deb.debian.org/debian unstable/main riscv64 dwz riscv64 0.17-1 [115 kB] Get:27 http://deb.debian.org/debian unstable/main riscv64 libelf1t64 riscv64 0.195-1 [62.5 kB] Get:28 http://deb.debian.org/debian unstable/main riscv64 file riscv64 1:5.47-4 [42.8 kB] Get:29 http://deb.debian.org/debian unstable/main riscv64 fontconfig-config riscv64 2.17.1-5 [56.0 kB] Get:30 http://deb.debian.org/debian unstable/main riscv64 libfontconfig1 riscv64 2.17.1-5 [137 kB] Get:31 http://deb.debian.org/debian unstable/main riscv64 fonts-dejavu-core all 2.37-9 [840 kB] Get:32 http://deb.debian.org/debian unstable/main riscv64 fonts-dejavu-mono all 2.37-9 [488 kB] Get:33 http://deb.debian.org/debian unstable/main riscv64 libgdbm-compat4t64 riscv64 1.26-1+b2 [52.1 kB] Get:34 http://deb.debian.org/debian unstable/main riscv64 libgdbm6t64 riscv64 1.26-1+b2 [78.1 kB] Get:35 http://deb.debian.org/debian unstable/main riscv64 autopoint all 1.0-3 [820 kB] Get:36 http://deb.debian.org/debian unstable/main riscv64 gettext riscv64 1.0-3 [2657 kB] Get:37 http://deb.debian.org/debian unstable/main riscv64 gettext-base riscv64 1.0-3 [331 kB] Get:38 http://deb.debian.org/debian unstable/main riscv64 libgmp10 riscv64 2:6.3.0+dfsg-5+b2 [561 kB] Get:39 http://deb.debian.org/debian unstable/main riscv64 libgraphite2-3 riscv64 1.3.15-2 [78.4 kB] Get:40 http://deb.debian.org/debian unstable/main riscv64 grep riscv64 3.12-1 [442 kB] Get:41 http://deb.debian.org/debian unstable/main riscv64 groff-base riscv64 1.24.1-1 [1311 kB] Get:42 http://deb.debian.org/debian unstable/main riscv64 libharfbuzz-subset0 riscv64 12.3.2-2+b2 [635 kB] Get:43 http://deb.debian.org/debian unstable/main riscv64 libharfbuzz0b riscv64 12.3.2-2+b2 [565 kB] Get:44 http://deb.debian.org/debian unstable/main riscv64 hostname riscv64 3.25 [10.7 kB] Get:45 http://deb.debian.org/debian unstable/main riscv64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:46 http://deb.debian.org/debian unstable/main riscv64 libgssapi-krb5-2 riscv64 1.22.1-3 [139 kB] Get:47 http://deb.debian.org/debian unstable/main riscv64 libarchive-zip-perl all 1.68-1 [104 kB] Get:48 http://deb.debian.org/debian unstable/main riscv64 libbsd0 riscv64 0.12.2-3 [132 kB] Get:49 http://deb.debian.org/debian unstable/main riscv64 libedit2 riscv64 3.1-20260512-1 [92.4 kB] Get:50 http://deb.debian.org/debian unstable/main riscv64 fonts-lmodern all 2.005-2 [4533 kB] Get:51 http://deb.debian.org/debian unstable/main riscv64 dh-strip-nondeterminism all 1.15.1-1 [6020 B] Get:52 http://deb.debian.org/debian unstable/main riscv64 libfile-stripnondeterminism-perl all 1.15.1-1 [17.1 kB] Get:53 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 bash riscv64 5.3-3 [1560 kB] Get:54 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 binutils riscv64 2.46.90.20260712-1 [285 kB] Get:55 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 binutils-common riscv64 2.46.90.20260712-1 [2636 kB] Get:56 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 binutils-riscv64-linux-gnu riscv64 2.46.90.20260712-1 [915 kB] Get:57 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libbinutils riscv64 2.46.90.20260712-1 [510 kB] Get:58 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libctf-nobfd0 riscv64 2.46.90.20260712-1 [163 kB] Get:59 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libctf0 riscv64 2.46.90.20260712-1 [95.8 kB] Get:60 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libgprofng0 riscv64 2.46.90.20260712-1 [722 kB] Get:61 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libbrotli1 riscv64 1.2.0-3 [357 kB] Get:62 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 debianutils riscv64 5.23.2 [91.7 kB] Get:63 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libcom-err2 riscv64 1.47.4-1 [18.9 kB] Get:64 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libexpat1 riscv64 2.8.2-1 [117 kB] Get:65 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 findutils riscv64 4.10.0-4 [704 kB] Get:66 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libfreetype6 riscv64 2.14.3+dfsg-1 [504 kB] Get:67 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 cpp-15 riscv64 15.3.0-1 [1276 B] Get:68 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 cpp-15-riscv64-linux-gnu riscv64 15.3.0-1 [14.8 MB] Get:69 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 g++-15 riscv64 15.3.0-1 [28.7 kB] Get:70 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 g++-15-riscv64-linux-gnu riscv64 15.3.0-1 [15.9 MB] Get:71 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 gcc-15 riscv64 15.3.0-1 [535 kB] Get:72 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 gcc-15-base riscv64 15.3.0-1 [37.4 kB] Get:73 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 gcc-15-riscv64-linux-gnu riscv64 15.3.0-1 [28.9 MB] Get:74 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libgcc-15-dev riscv64 15.3.0-1 [5679 kB] Get:75 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 gcc-16-base riscv64 16.1.0-2 [36.8 kB] Get:76 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libasan8 riscv64 16.1.0-2 [2993 kB] Get:77 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libatomic1 riscv64 16.1.0-2 [8520 B] Get:78 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libcc1-0 riscv64 16.1.0-2 [41.7 kB] Get:79 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libgcc-s1 riscv64 16.1.0-2 [74.2 kB] Get:80 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libgomp1 riscv64 16.1.0-2 [137 kB] Get:81 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 cpp riscv64 4:15.2.0-5+b1 [1568 B] Get:82 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 cpp-riscv64-linux-gnu riscv64 4:15.2.0-5+b1 [4632 B] Get:83 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 g++ riscv64 4:15.2.0-5+b1 [1332 B] Get:84 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 g++-riscv64-linux-gnu riscv64 4:15.2.0-5+b1 [1200 B] Get:85 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 gcc riscv64 4:15.2.0-5+b1 [5156 B] Get:86 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 gcc-riscv64-linux-gnu riscv64 4:15.2.0-5+b1 [1432 B] Get:87 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 gcl27 riscv64 2.7.1-32 [145 MB] Get:88 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libglib2.0-0t64 riscv64 2.88.2-1 [1541 kB] Get:89 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libc-bin riscv64 2.42-17 [586 kB] Get:90 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libc-dev-bin riscv64 2.42-17 [37.0 kB] Get:91 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libc-gconv-modules-extra riscv64 2.42-17 [1102 kB] Get:92 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libc6 riscv64 2.42-17 [1397 kB] Get:93 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libc6-dev riscv64 2.42-17 [3417 kB] Get:94 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 gzip riscv64 1.13-1 [139 kB] Get:95 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 init-system-helpers all 1.69 [39.3 kB] Get:96 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libcap-ng0 riscv64 0.9.3-1+b1 [17.8 kB] Get:97 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libffi8 riscv64 3.7.1-2 [26.2 kB] Get:98 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libcrypt1 riscv64 1:4.5.1-1+b1 [113 kB] Get:99 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 bsdextrautils riscv64 2.42.2-2 [103 kB] Get:100 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libblkid1 riscv64 2.42.2-2 [193 kB] Fetched 257 MB in 25s (10.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libbsd0_0.12.2-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libedit2_3.1-20260512-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/g++-15_15.3.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libcom-err2_1.47.4-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/debhelper_14.3_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libbinutils_2.46.90.20260712-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libdb5.3t64_5.3.28+dfsg2-11+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libcap-ng0_0.9.3-1+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libcc1-0_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/binutils-common_2.46.90.20260712-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libffi8_3.7.1-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/dwz_0.17-1_riscv64.deb' dpkg-name: info: moved 'libattr1_1%3a2.6.0-1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/libattr1_2.6.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/autopoint_1.0-3_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/fonts-dejavu-core_2.37-9_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/debconf_1.5.92_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/gcc-15-base_15.3.0-1_riscv64.deb' dpkg-name: info: moved 'g++-riscv64-linux-gnu_4%3a15.2.0-5+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/g++-riscv64-linux-gnu_15.2.0-5+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libatomic1_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libfile-stripnondeterminism-perl_1.15.1-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/init-system-helpers_1.69_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libcairo2_1.18.4-3+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libgcc-15-dev_15.3.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/bsdextrautils_2.42.2-2_riscv64.deb' dpkg-name: info: moved 'libaudit1_1%3a4.1.2-1+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/libaudit1_4.1.2-1+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/fonts-dejavu-mono_2.37-9_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libctf-nobfd0_2.46.90.20260712-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libdpkg-perl_1.23.7_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/intltool-debian_0.35.0+20060710.6_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/hostname_3.25_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libdebconfclient0_0.283_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libelf1t64_0.195-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/fonts-lmodern_2.005-2_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/gcc-16-base_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/fontconfig-config_2.17.1-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/build-essential_12.12_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/cpp-15_15.3.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libc6_2.42-17_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libbz2-1.0_1.0.8-6+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libharfbuzz0b_12.3.2-2+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libdebhelper-perl_14.3_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/gzip_1.13-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/dh-strip-nondeterminism_1.15.1-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/gettext_1.0-3_riscv64.deb' dpkg-name: info: moved 'libaudit-common_1%3a4.1.2-1_all.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/libaudit-common_4.1.2-1_all.deb' dpkg-name: info: moved 'gcc_4%3a15.2.0-5+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/gcc_15.2.0-5+b1_riscv64.deb' dpkg-name: info: moved 'diffutils_1%3a3.12-1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/diffutils_3.12-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/grep_3.12-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/gettext-base_1.0-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libc-bin_2.42-17_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/base-passwd_3.6.8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libgomp1_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libfontconfig1_2.17.1-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libgssapi-krb5-2_1.22.1-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/base-files_14.2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libc6-dev_2.42-17_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/gcc-15-riscv64-linux-gnu_15.3.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/cpp-15-riscv64-linux-gnu_15.3.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/autotools-dev_20240727.1+nmu1_all.deb' dpkg-name: info: moved 'g++_4%3a15.2.0-5+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/g++_15.2.0-5+b1_riscv64.deb' dpkg-name: info: moved 'libcrypt1_1%3a4.5.1-1+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/libcrypt1_4.5.1-1+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libgprofng0_2.46.90.20260712-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libfreetype6_2.14.3+dfsg-1_riscv64.deb' dpkg-name: info: moved 'automake_1%3a1.18.1-4_all.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/automake_1.18.1-4_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/gcl27_2.7.1-32_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libgdbm-compat4t64_1.26-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libc-gconv-modules-extra_2.42-17_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libbrotli1_1.2.0-3_riscv64.deb' dpkg-name: info: moved 'file_1%3a5.47-4_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/file_5.47-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/dash_0.5.12-12_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/findutils_4.10.0-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libexpat1_2.8.2-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/bzip2_1.0.8-6+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/coreutils_9.10-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/dpkg-dev_1.23.7_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/groff-base_1.24.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libblkid1_2.42.2-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/binutils-riscv64-linux-gnu_2.46.90.20260712-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libarchive-zip-perl_1.68-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libctf0_2.46.90.20260712-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/debianutils_5.23.2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/autoconf_2.73-2_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libgcc-s1_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/dh-autoreconf_22_all.deb' dpkg-name: info: moved 'libgmp10_2%3a6.3.0+dfsg-5+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/libgmp10_6.3.0+dfsg-5+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libc-dev-bin_2.42-17_riscv64.deb' dpkg-name: info: moved 'cpp_4%3a15.2.0-5+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/cpp_15.2.0-5+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libgdbm6t64_1.26-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/bash_5.3-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libglib2.0-0t64_2.88.2-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/g++-15-riscv64-linux-gnu_15.3.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/binutils_2.46.90.20260712-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libgraphite2-3_1.3.15-2_riscv64.deb' dpkg-name: info: moved 'cpp-riscv64-linux-gnu_4%3a15.2.0-5+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/cpp-riscv64-linux-gnu_15.2.0-5+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libacl1_2.4.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libasan8_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/gcc-15_15.3.0-1_riscv64.deb' dpkg-name: info: moved 'gcc-riscv64-linux-gnu_4%3a15.2.0-5+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmp2z52zzpm/gcc-riscv64-linux-gnu_15.2.0-5+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/libharfbuzz-subset0_12.3.2-2+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmp2z52zzpm/dpkg_1.23.7_riscv64.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 libmagic-mgc riscv64 1:5.47-4 [345 kB] Get:2 http://deb.debian.org/debian unstable/main riscv64 libmagic1t64 riscv64 1:5.47-4 [117 kB] Get:3 http://deb.debian.org/debian unstable/main riscv64 libicu78 riscv64 78.3-2 [9989 kB] Get:4 http://deb.debian.org/debian unstable/main riscv64 libisl23 riscv64 0.28-1 [666 kB] Get:5 http://deb.debian.org/debian unstable/main riscv64 libjansson4 riscv64 2.15.1-1 [65.1 kB] Get:6 http://deb.debian.org/debian unstable/main riscv64 libkeyutils1 riscv64 1.6.3-6+b2 [9256 B] Get:7 http://deb.debian.org/debian unstable/main riscv64 libk5crypto3 riscv64 1.22.1-3 [96.2 kB] Get:8 http://deb.debian.org/debian unstable/main riscv64 libkrb5-3 riscv64 1.22.1-3 [345 kB] Get:9 http://deb.debian.org/debian unstable/main riscv64 libkrb5support0 riscv64 1.22.1-3 [31.8 kB] Get:10 http://deb.debian.org/debian unstable/main riscv64 libice6 riscv64 2:1.1.1-1+b2 [65.5 kB] Get:11 http://deb.debian.org/debian unstable/main riscv64 libintl-perl all 1.37-1 [696 kB] Get:12 http://deb.debian.org/debian unstable/main riscv64 libmd0 riscv64 1.2.0-2 [44.0 kB] Get:13 http://deb.debian.org/debian unstable/main riscv64 libpaper-utils riscv64 2.2.5-0.4 [15.3 kB] Get:14 http://deb.debian.org/debian unstable/main riscv64 libpaper2 riscv64 2.2.5-0.4 [16.4 kB] Get:15 http://deb.debian.org/debian unstable/main riscv64 libpipeline1 riscv64 1.5.8-3 [48.2 kB] Get:16 http://deb.debian.org/debian unstable/main riscv64 libpng16-16t64 riscv64 1.6.58-1 [286 kB] Get:17 http://deb.debian.org/debian unstable/main riscv64 libselinux1 riscv64 3.11-2 [90.4 kB] Get:18 http://deb.debian.org/debian unstable/main riscv64 libsm6 riscv64 2:1.2.6-1+b2 [38.1 kB] Get:19 http://deb.debian.org/debian unstable/main riscv64 libtext-unidecode-perl all 1.30-3 [101 kB] Get:20 http://deb.debian.org/debian unstable/main riscv64 libtext-wrapi18n-perl all 0.06-11 [7788 B] Get:21 http://deb.debian.org/debian unstable/main riscv64 libtirpc-common all 1.3.7+ds-1 [10.0 kB] Get:22 http://deb.debian.org/debian unstable/main riscv64 libtirpc-dev riscv64 1.3.7+ds-1 [327 kB] Get:23 http://deb.debian.org/debian unstable/main riscv64 libtirpc3t64 riscv64 1.3.7+ds-1 [84.8 kB] Get:24 http://deb.debian.org/debian unstable/main riscv64 libunistring5 riscv64 1.4.2-1 [475 kB] Get:25 http://deb.debian.org/debian unstable/main riscv64 libx11-6 riscv64 2:1.8.13-1 [821 kB] Get:26 http://deb.debian.org/debian unstable/main riscv64 libx11-data all 2:1.8.13-1 [346 kB] Get:27 http://deb.debian.org/debian unstable/main riscv64 libxau6 riscv64 1:1.0.11-1+b2 [20.7 kB] Get:28 http://deb.debian.org/debian unstable/main riscv64 libxaw7 riscv64 2:1.0.16-1+b2 [207 kB] Get:29 http://deb.debian.org/debian unstable/main riscv64 libxcb-render0 riscv64 1.17.0-2+b2 [115 kB] Get:30 http://deb.debian.org/debian unstable/main riscv64 libxcb-shm0 riscv64 1.17.0-2+b2 [105 kB] Get:31 http://deb.debian.org/debian unstable/main riscv64 libxcb1 riscv64 1.17.0-2+b2 [145 kB] Get:32 http://deb.debian.org/debian unstable/main riscv64 libxdmcp6 riscv64 1:1.1.5-2+b1 [28.5 kB] Get:33 http://deb.debian.org/debian unstable/main riscv64 libxext6 riscv64 2:1.3.4-1+b4 [51.1 kB] Get:34 http://deb.debian.org/debian unstable/main riscv64 libxml-namespacesupport-perl all 1.12-2 [15.1 kB] Get:35 http://deb.debian.org/debian unstable/main riscv64 libxml-sax-base-perl all 1.09-3 [20.6 kB] Get:36 http://deb.debian.org/debian unstable/main riscv64 libxml-sax-perl all 1.02+dfsg-5 [53.6 kB] Get:37 http://deb.debian.org/debian unstable/main riscv64 libxml2-16 riscv64 2.15.3+dfsg-1 [640 kB] Get:38 http://deb.debian.org/debian unstable/main riscv64 libxmu6 riscv64 2:1.1.3-4+b1 [58.2 kB] Get:39 http://deb.debian.org/debian unstable/main riscv64 libxpm4 riscv64 1:3.5.19-1 [58.4 kB] Get:40 http://deb.debian.org/debian unstable/main riscv64 libxrender1 riscv64 1:0.9.12-1+b2 [28.3 kB] Get:41 http://deb.debian.org/debian unstable/main riscv64 libxt6t64 riscv64 1:1.2.1-1.3+b2 [184 kB] Get:42 http://deb.debian.org/debian unstable/main riscv64 m4 riscv64 1.4.21-1 [330 kB] Get:43 http://deb.debian.org/debian unstable/main riscv64 make riscv64 4.4.1-3 [463 kB] Get:44 http://deb.debian.org/debian unstable/main riscv64 man-db riscv64 2.13.1-1 [1458 kB] Get:45 http://deb.debian.org/debian unstable/main riscv64 mawk riscv64 1.3.4.20260302-1 [142 kB] Get:46 http://deb.debian.org/debian unstable/main riscv64 libmpc3 riscv64 1.3.1-3 [56.5 kB] Get:47 http://deb.debian.org/debian unstable/main riscv64 libmpfi0 riscv64 1.5.4+ds-5 [36.2 kB] Get:48 http://deb.debian.org/debian unstable/main riscv64 libmpfr6 riscv64 4.2.2-3 [666 kB] Get:49 http://deb.debian.org/debian unstable/main riscv64 libncursesw6 riscv64 6.6+20260608-2 [141 kB] Get:50 http://deb.debian.org/debian unstable/main riscv64 libtinfo6 riscv64 6.6+20260608-2 [351 kB] Get:51 http://deb.debian.org/debian unstable/main riscv64 ncurses-base all 6.6+20260608-2 [276 kB] Get:52 http://deb.debian.org/debian unstable/main riscv64 ncurses-bin riscv64 6.6+20260608-2 [442 kB] Get:53 http://deb.debian.org/debian unstable/main riscv64 libpam-modules riscv64 1.7.0-8 [165 kB] Get:54 http://deb.debian.org/debian unstable/main riscv64 libpam-modules-bin riscv64 1.7.0-8 [46.2 kB] Get:55 http://deb.debian.org/debian unstable/main riscv64 libpam-runtime all 1.7.0-8 [246 kB] Get:56 http://deb.debian.org/debian unstable/main riscv64 libpam0g riscv64 1.7.0-8 [66.9 kB] Get:57 http://deb.debian.org/debian unstable/main riscv64 patch riscv64 2.8-2 [134 kB] Get:58 http://deb.debian.org/debian unstable/main riscv64 libpcre2-8-0 riscv64 10.46-1+b2 [296 kB] Get:59 http://deb.debian.org/debian unstable/main riscv64 libperl5.40 riscv64 5.40.1-8 [3942 kB] Get:60 http://deb.debian.org/debian unstable/main riscv64 perl-modules-5.40 all 5.40.1-8 [3019 kB] Get:61 http://deb.debian.org/debian unstable/main riscv64 libpixman-1-0 riscv64 0.46.4-1+b2 [179 kB] Get:62 http://deb.debian.org/debian unstable/main riscv64 po-debconf all 1.0.22 [216 kB] Get:63 http://deb.debian.org/debian unstable/main riscv64 libpotrace0 riscv64 1.16-2+b3 [24.3 kB] Get:64 http://deb.debian.org/debian unstable/main riscv64 rpcsvc-proto riscv64 1.4.4-1 [61.5 kB] Get:65 http://deb.debian.org/debian unstable/main riscv64 sed riscv64 4.9-3 [329 kB] Get:66 http://deb.debian.org/debian unstable/main riscv64 sensible-utils all 0.0.26 [27.0 kB] Get:67 http://deb.debian.org/debian unstable/main riscv64 sysvinit-utils riscv64 3.18-1 [29.3 kB] Get:68 http://deb.debian.org/debian unstable/main riscv64 t1utils riscv64 1.41-4+b1 [60.0 kB] Get:69 http://deb.debian.org/debian unstable/main riscv64 libteckit0 riscv64 2.5.13+ds-2 [289 kB] Get:70 http://deb.debian.org/debian unstable/main riscv64 libkpathsea6 riscv64 2026.20260303.78225+ds-4 [157 kB] Get:71 http://deb.debian.org/debian unstable/main riscv64 libptexenc1 riscv64 2026.20260303.78225+ds-4 [51.6 kB] Get:72 http://deb.debian.org/debian unstable/main riscv64 libsynctex2 riscv64 2026.20260303.78225+ds-4 [62.6 kB] Get:73 http://deb.debian.org/debian unstable/main riscv64 libtexlua53-5 riscv64 2026.20260303.78225+ds-4 [113 kB] Get:74 http://deb.debian.org/debian unstable/main riscv64 libuchardet0 riscv64 0.0.8-2+b2 [68.8 kB] Get:75 http://deb.debian.org/debian unstable/main riscv64 liblzma5 riscv64 5.8.3-1 [334 kB] Get:76 http://deb.debian.org/debian unstable/main riscv64 libzzip-0-13t64 riscv64 0.13.78+dfsg.1-0.2+b1 [59.3 kB] Get:77 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libsframe3 riscv64 2.46.90.20260712-1 [86.0 kB] Get:78 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libstdc++-15-dev riscv64 15.3.0-1 [6743 kB] Get:79 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libitm1 riscv64 16.1.0-2 [25.7 kB] Get:80 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 liblsan0 riscv64 16.1.0-2 [1342 kB] Get:81 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libstdc++6 riscv64 16.1.0-2 [776 kB] Get:82 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libtsan2 riscv64 16.1.0-2 [2704 kB] Get:83 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libubsan1 riscv64 16.1.0-2 [1191 kB] Get:84 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libtext-charwidth-perl riscv64 0.04-12 [8896 B] Get:85 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libtool all 2.5.4-11 [539 kB] Get:86 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libxi6 riscv64 2:1.8.2-2+b1 [80.1 kB] Get:87 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libxml-libxml-perl riscv64 2.0207+dfsg+really+2.0134-8 [314 kB] Get:88 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libzstd1 riscv64 1.5.7+dfsg-3+b2 [368 kB] Get:89 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 linux-libc-dev all 7.1.3-1 [1963 kB] Get:90 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libssl3t64 riscv64 3.6.3-1 [2255 kB] Get:91 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 openssl-provider-legacy riscv64 3.6.3-1 [322 kB] Get:92 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 perl riscv64 5.40.1-8 [264 kB] Get:93 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 perl-base riscv64 5.40.1-8 [1676 kB] Get:94 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libproc2-1 riscv64 2:4.0.6-2 [68.3 kB] Get:95 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 procps riscv64 2:4.0.6-2 [981 kB] Get:96 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libsystemd0 riscv64 261.1-3 [477 kB] Get:97 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libudev1 riscv64 261.1-3 [140 kB] Get:98 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libmount1 riscv64 2.42.2-2 [229 kB] Get:99 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libsmartcols1 riscv64 2.42.2-2 [155 kB] Get:100 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 libuuid1 riscv64 2.42.2-2 [35.0 kB] Fetched 53.9 MB in 5s (10.2 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libtsan2_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libtext-charwidth-perl_0.04-12_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libkrb5-3_1.22.1-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libkeyutils1_1.6.3-6+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libsystemd0_261.1-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libjansson4_2.15.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libudev1_261.1-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/ncurses-bin_6.6+20260608-2_riscv64.deb' dpkg-name: info: moved 'libproc2-1_2%3a4.0.6-2_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libproc2-1_4.0.6-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/patch_2.8-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libsynctex2_2026.20260303.78225+ds-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/make_4.4.1-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpam-modules_1.7.0-8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libsmartcols1_2.42.2-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libselinux1_3.11-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libitm1_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libtirpc3t64_1.3.7+ds-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libtinfo6_6.6+20260608-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/po-debconf_1.0.22_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpam0g_1.7.0-8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libxml-libxml-perl_2.0207+dfsg+really+2.0134-8_riscv64.deb' dpkg-name: info: moved 'libxrender1_1%3a0.9.12-1+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libxrender1_0.9.12-1+b2_riscv64.deb' dpkg-name: info: moved 'procps_2%3a4.0.6-2_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/procps_4.0.6-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libncursesw6_6.6+20260608-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libteckit0_2.5.13+ds-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libtool_2.5.4-11_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libuuid1_2.42.2-2_riscv64.deb' dpkg-name: info: moved 'libxi6_2%3a1.8.2-2+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libxi6_1.8.2-2+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/sensible-utils_0.0.26_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libstdc++-15-dev_15.3.0-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libtext-wrapi18n-perl_0.06-11_all.deb' dpkg-name: info: moved 'libxext6_2%3a1.3.4-1+b4_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libxext6_1.3.4-1+b4_riscv64.deb' dpkg-name: info: moved 'libice6_2%3a1.1.1-1+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libice6_1.1.1-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/t1utils_1.41-4+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libsframe3_2.46.90.20260712-1_riscv64.deb' dpkg-name: info: moved 'libx11-data_2%3a1.8.13-1_all.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libx11-data_1.8.13-1_all.deb' dpkg-name: info: moved 'libx11-6_2%3a1.8.13-1_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libx11-6_1.8.13-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libxml-namespacesupport-perl_1.12-2_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libkpathsea6_2026.20260303.78225+ds-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libicu78_78.3-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libmpc3_1.3.1-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libperl5.40_5.40.1-8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libtirpc-common_1.3.7+ds-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpaper2_2.2.5-0.4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libxcb-render0_1.17.0-2+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libxml2-16_2.15.3+dfsg-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libisl23_0.28-1_riscv64.deb' dpkg-name: info: moved 'libxmu6_2%3a1.1.3-4+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libxmu6_1.1.3-4+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpam-runtime_1.7.0-8_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/openssl-provider-legacy_3.6.3-1_riscv64.deb' dpkg-name: info: moved 'libxt6t64_1%3a1.2.1-1.3+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libxt6t64_1.2.1-1.3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/rpcsvc-proto_1.4.4-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libkrb5support0_1.22.1-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpng16-16t64_1.6.58-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libunistring5_1.4.2-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/m4_1.4.21-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libzstd1_1.5.7+dfsg-3+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/sysvinit-utils_3.18-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libtirpc-dev_1.3.7+ds-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libzzip-0-13t64_0.13.78+dfsg.1-0.2+b1_riscv64.deb' dpkg-name: info: moved 'libmagic1t64_1%3a5.47-4_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libmagic1t64_5.47-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libtexlua53-5_2026.20260303.78225+ds-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libmpfi0_1.5.4+ds-5_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libubsan1_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libmount1_2.42.2-2_riscv64.deb' dpkg-name: info: moved 'libxau6_1%3a1.0.11-1+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libxau6_1.0.11-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libstdc++6_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/perl-modules-5.40_5.40.1-8_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/mawk_1.3.4.20260302-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libuchardet0_0.0.8-2+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libmd0_1.2.0-2_riscv64.deb' dpkg-name: info: moved 'libxdmcp6_1%3a1.1.5-2+b1_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libxdmcp6_1.1.5-2+b1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libxml-sax-base-perl_1.09-3_all.deb' dpkg-name: info: moved 'libmagic-mgc_1%3a5.47-4_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libmagic-mgc_5.47-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/linux-libc-dev_7.1.3-1_all.deb' dpkg-name: info: moved 'libsm6_2%3a1.2.6-1+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libsm6_1.2.6-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/sed_4.9-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/man-db_2.13.1-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpotrace0_1.16-2+b3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libxcb1_1.17.0-2+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/perl-base_5.40.1-8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libintl-perl_1.37-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/liblsan0_16.1.0-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpam-modules-bin_1.7.0-8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpipeline1_1.5.8-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libssl3t64_3.6.3-1_riscv64.deb' dpkg-name: info: moved 'libxaw7_2%3a1.0.16-1+b2_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libxaw7_1.0.16-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libxcb-shm0_1.17.0-2+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/liblzma5_5.8.3-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpixman-1-0_0.46.4-1+b2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpcre2-8-0_10.46-1+b2_riscv64.deb' dpkg-name: info: moved 'libxpm4_1%3a3.5.19-1_riscv64.deb' to '/srv/rebuilderd/tmp/tmppxjdkxex/libxpm4_3.5.19-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libxml-sax-perl_1.02+dfsg-5_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libpaper-utils_2.2.5-0.4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libptexenc1_2026.20260303.78225+ds-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libk5crypto3_1.22.1-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/perl_5.40.1-8_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libmpfr6_4.2.2-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/libtext-unidecode-perl_1.30-3_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmppxjdkxex/ncurses-base_6.6+20260608-2_all.deb' Get:1 http://deb.debian.org/debian unstable/main riscv64 tex-common all 6.20 [29.7 kB] Get:2 http://deb.debian.org/debian unstable/main riscv64 texinfo all 7.3-2 [1877 kB] Get:3 http://deb.debian.org/debian unstable/main riscv64 texlive-binaries riscv64 2026.20260303.78225+ds-4 [8909 kB] Get:4 http://deb.debian.org/debian unstable/main riscv64 time riscv64 1.10-0.1 [58.2 kB] Get:5 http://deb.debian.org/debian unstable/main riscv64 ucf all 3.0056 [47.1 kB] Get:6 http://deb.debian.org/debian unstable/main riscv64 xdg-utils all 1.2.1-2 [75.8 kB] Get:7 http://deb.debian.org/debian unstable/main riscv64 x11-common all 1:7.7+26 [217 kB] Get:8 http://deb.debian.org/debian unstable/main riscv64 xz-utils riscv64 5.8.3-1 [739 kB] Get:9 http://deb.debian.org/debian unstable/main riscv64 zlib1g riscv64 1:1.3.dfsg+really1.3.2-3 [87.3 kB] Get:10 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 tar riscv64 1.35+dfsg-4 [821 kB] Get:11 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 texinfo-lib riscv64 7.3-2 [696 kB] Get:12 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 texlive-base all 2026.20260711-1 [24.5 MB] Get:13 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 texlive-latex-base all 2026.20260711-1 [1450 kB] Get:14 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 texlive-latex-recommended all 2026.20260711-1 [8453 kB] Get:15 http://snapshot.debian.org/archive/debian/20260719T142401Z unstable/main riscv64 util-linux riscv64 2.42.2-2 [1225 kB] Fetched 49.2 MB in 2s (21.1 MB/s) dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/xz-utils_5.8.3-1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/xdg-utils_1.2.1-2_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/time_1.10-0.1_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/texinfo_7.3-2_all.deb' dpkg-name: info: moved 'zlib1g_1%3a1.3.dfsg+really1.3.2-3_riscv64.deb' to '/srv/rebuilderd/tmp/tmpyz5kp4to/zlib1g_1.3.dfsg+really1.3.2-3_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/texlive-binaries_2026.20260303.78225+ds-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/texinfo-lib_7.3-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/tar_1.35+dfsg-4_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/tex-common_6.20_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/texlive-latex-base_2026.20260711-1_all.deb' dpkg-name: info: moved 'x11-common_1%3a7.7+26_all.deb' to '/srv/rebuilderd/tmp/tmpyz5kp4to/x11-common_7.7+26_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/util-linux_2.42.2-2_riscv64.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/texlive-latex-recommended_2026.20260711-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/texlive-base_2026.20260711-1_all.deb' dpkg-name: warning: skipping '/srv/rebuilderd/tmp/tmpyz5kp4to/ucf_3.0056_all.deb' dpkg-buildpackage: info: source package debootsnap-dummy dpkg-buildpackage: info: source version 1.0 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Equivs Dummy Package Generator dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 debian/rules clean dh clean dh_clean debian/rules binary dh binary dh_update_autotools_config dh_autoreconf create-stamp debian/debhelper-build-stamp dh_prep dh_auto_install --destdir=debian/debootsnap-dummy/ dh_install dh_installdocs dh_installchangelogs dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'debootsnap-dummy' in '../debootsnap-dummy_1.0_all.deb'. dpkg-genbuildinfo --build=binary -O../debootsnap-dummy_1.0_riscv64.buildinfo dpkg-genchanges --build=binary -O../debootsnap-dummy_1.0_riscv64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) The package has been created. Attention, the package has been created in the /srv/rebuilderd/tmp/tmp10jo4wfd/cache directory, not in ".." as indicated by the message above! I: automatically chosen mode: unshare I: chroot architecture riscv64 is equal to the host's architecture I: using /srv/rebuilderd/tmp/mmdebstrap.zS8dzBbj75 as tempdir I: running --setup-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/setup00.sh /srv/rebuilderd/tmp/mmdebstrap.zS8dzBbj75 127.0.0.1 - - [30/Aug/2026 15:03:40] code 404, message File not found 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:37959 ./ InRelease 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./Release HTTP/1.1" 200 - Get:2 http://localhost:37959 ./ Release [462 B] 127.0.0.1 - - [30/Aug/2026 15:03:40] code 404, message File not found 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:37959 ./ Release.gpg 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./Packages HTTP/1.1" 200 - Get:4 http://localhost:37959 ./ Packages [281 kB] Fetched 281 kB in 0s (6056 kB/s) Reading package lists... usr-is-merged found but not real -- not running merged-usr setup hook I: skipping apt-get update because it was already run I: downloading packages with apt... 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./gcc-16-base_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libc-gconv-modules-extra_2.42-17_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libc6_2.42-17_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libgcc-s1_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./mawk_1.3.4.20260302-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./base-files_14.2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libtinfo6_6.6%2b20260608-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./debianutils_5.23.2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./bash_5.3-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libacl1_2.4.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libattr1_2.6.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libgmp10_6.3.0%2bdfsg-5%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libpcre2-8-0_10.46-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libselinux1_3.11-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libzstd1_1.5.7%2bdfsg-3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./zlib1g_1.3.dfsg%2breally1.3.2-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libssl3t64_3.6.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./openssl-provider-legacy_3.6.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./libsystemd0_261.1-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:40] "GET /./coreutils_9.10-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./dash_0.5.12-12_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./diffutils_3.12-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libbz2-1.0_1.0.8-6%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./liblzma5_5.8.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libmd0_1.2.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./tar_1.35%2bdfsg-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./dpkg_1.23.7_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./findutils_4.10.0-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./grep_3.12-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./gzip_1.13-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./hostname_3.25_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./ncurses-bin_6.6%2b20260608-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libcrypt1_4.5.1-1%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./perl-base_5.40.1-8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./sed_4.9-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libaudit-common_4.1.2-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libcap-ng0_0.9.3-1%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libaudit1_4.1.2-1%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libdb5.3t64_5.3.28%2bdfsg2-11%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./debconf_1.5.92_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libpam0g_1.7.0-8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libpam-modules-bin_1.7.0-8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libpam-modules_1.7.0-8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libpam-runtime_1.7.0-8_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libblkid1_2.42.2-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libmount1_2.42.2-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libsmartcols1_2.42.2-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libudev1_261.1-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libuuid1_2.42.2-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./util-linux_2.42.2-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libdebconfclient0_0.283_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./base-passwd_3.6.8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./init-system-helpers_1.69_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./libc-bin_2.42-17_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./ncurses-base_6.6%2b20260608-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:03:41] "GET /./sysvinit-utils_3.18-1_riscv64.deb HTTP/1.1" 200 - I: extracting archives... I: running --extract-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/extract00.sh /srv/rebuilderd/tmp/mmdebstrap.zS8dzBbj75 127.0.0.1 - - [30/Aug/2026 15:03:45] code 404, message File not found 127.0.0.1 - - [30/Aug/2026 15:03:45] "GET /./InRelease HTTP/1.1" 404 - Ign:1 http://localhost:37959 ./ InRelease 127.0.0.1 - - [30/Aug/2026 15:03:45] "GET /./Release HTTP/1.1" 304 - Hit:2 http://localhost:37959 ./ Release 127.0.0.1 - - [30/Aug/2026 15:03:45] code 404, message File not found 127.0.0.1 - - [30/Aug/2026 15:03:45] "GET /./Release.gpg HTTP/1.1" 404 - Ign:3 http://localhost:37959 ./ Release.gpg Reading package lists... usr-is-merged found but not real -- not running merged-usr extract hook I: installing essential packages... I: running --essential-hook directly: /usr/share/mmdebstrap/hooks/maybe-merged-usr/essential00.sh /srv/rebuilderd/tmp/mmdebstrap.zS8dzBbj75 usr-is-merged was not installed in a previous hook -- not running merged-usr essential hook I: installing remaining packages inside the chroot... 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libexpat1_2.8.2-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./sensible-utils_0.0.26_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libstdc%2b%2b6_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libuchardet0_0.0.8-2%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./groff-base_1.24.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./bsdextrautils_2.42.2-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libgdbm6t64_1.26-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libpipeline1_1.5.8-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./man-db_2.13.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libncursesw6_6.6%2b20260608-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libproc2-1_4.0.6-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./procps_4.0.6-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./bzip2_1.0.8-6%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libmagic-mgc_5.47-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libmagic1t64_5.47-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./file_5.47-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./gettext-base_1.0-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./perl-modules-5.40_5.40.1-8_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libgdbm-compat4t64_1.26-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libperl5.40_5.40.1-8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./perl_5.40.1-8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libtext-charwidth-perl_0.04-12_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libtext-wrapi18n-perl_0.06-11_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./ucf_3.0056_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./xz-utils_5.8.3-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./m4_1.4.21-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./autoconf_2.73-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./autotools-dev_20240727.1%2bnmu1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./automake_1.18.1-4_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./autopoint_1.0-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libsframe3_2.46.90.20260712-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./binutils-common_2.46.90.20260712-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libbinutils_2.46.90.20260712-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libgprofng0_2.46.90.20260712-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libctf-nobfd0_2.46.90.20260712-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libctf0_2.46.90.20260712-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libjansson4_2.15.1-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./binutils-riscv64-linux-gnu_2.46.90.20260712-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./binutils_2.46.90.20260712-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./libc-dev-bin_2.42-17_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./linux-libc-dev_7.1.3-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:01] "GET /./rpcsvc-proto_1.4.4-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libc6-dev_2.42-17_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./gcc-15-base_15.3.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libisl23_0.28-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libmpfr6_4.2.2-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libmpc3_1.3.1-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./cpp-15-riscv64-linux-gnu_15.3.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./cpp-15_15.3.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./cpp-riscv64-linux-gnu_15.2.0-5%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./cpp_15.2.0-5%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libcc1-0_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libgomp1_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libitm1_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libatomic1_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libasan8_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./liblsan0_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libtsan2_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libubsan1_16.1.0-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:02] "GET /./libgcc-15-dev_15.3.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:04] "GET /./gcc-15-riscv64-linux-gnu_15.3.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./gcc-15_15.3.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./gcc-riscv64-linux-gnu_15.2.0-5%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./gcc_15.2.0-5%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./libstdc%2b%2b-15-dev_15.3.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./g%2b%2b-15-riscv64-linux-gnu_15.3.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./g%2b%2b-15_15.3.0-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./g%2b%2b-riscv64-linux-gnu_15.2.0-5%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./g%2b%2b_15.2.0-5%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./make_4.4.1-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./libdpkg-perl_1.23.7_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./patch_2.8-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./dpkg-dev_1.23.7_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./build-essential_12.12_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./libdebhelper-perl_14.3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./libtool_2.5.4-11_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:06] "GET /./dh-autoreconf_22_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./libarchive-zip-perl_1.68-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./libfile-stripnondeterminism-perl_1.15.1-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./dh-strip-nondeterminism_1.15.1-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./libelf1t64_0.195-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./dwz_0.17-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./libunistring5_1.4.2-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./libxml2-16_2.15.3%2bdfsg-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./gettext_1.0-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./intltool-debian_0.35.0%2b20060710.6_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./po-debconf_1.0.22_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./debhelper_14.3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./libxau6_1.0.11-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./libxdmcp6_1.1.5-2%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./libxcb1_1.17.0-2%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./libxcb-shm0_1.17.0-2%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:07] "GET /./libicu78_78.3-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./libteckit0_2.5.13%2bds-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./libx11-data_1.8.13-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./libx11-6_1.8.13-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./libxpm4_3.5.19-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./libkpathsea6_2026.20260303.78225%2bds-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./libptexenc1_2026.20260303.78225%2bds-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./libsynctex2_2026.20260303.78225%2bds-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./libtexlua53-5_2026.20260303.78225%2bds-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./t1utils_1.41-4%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./tex-common_6.20_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./libbrotli1_1.2.0-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:08] "GET /./libpng16-16t64_1.6.58-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libfreetype6_2.14.3%2bdfsg-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./fonts-dejavu-mono_2.37-9_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./fonts-dejavu-core_2.37-9_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./fontconfig-config_2.17.1-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libfontconfig1_2.17.1-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libpixman-1-0_0.46.4-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libxcb-render0_1.17.0-2%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libxext6_1.3.4-1%2bb4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libxrender1_0.9.12-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libcairo2_1.18.4-3%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libgraphite2-3_1.3.15-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libffi8_3.7.1-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libglib2.0-0t64_2.88.2-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libharfbuzz0b_12.3.2-2%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libharfbuzz-subset0_12.3.2-2%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libmpfi0_1.5.4%2bds-5_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libpaper2_2.2.5-0.4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libpotrace0_1.16-2%2bb3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./x11-common_7.7%2b26_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libice6_1.1.1-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libsm6_1.2.6-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libxt6t64_1.2.1-1.3%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libxmu6_1.1.3-4%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libxaw7_1.0.16-1%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libxi6_1.8.2-2%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libzzip-0-13t64_0.13.78%2bdfsg.1-0.2%2bb1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./texlive-binaries_2026.20260303.78225%2bds-4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libkrb5support0_1.22.1-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libcom-err2_1.47.4-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libk5crypto3_1.22.1-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libkeyutils1_1.6.3-6%2bb2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libkrb5-3_1.22.1-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libgssapi-krb5-2_1.22.1-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libbsd0_0.12.2-3_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libedit2_3.1-20260512-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./libtext-unidecode-perl_1.30-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:09] "GET /./fonts-lmodern_2.005-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:10] "GET /./xdg-utils_1.2.1-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:10] "GET /./libpaper-utils_2.2.5-0.4_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:10] "GET /./texlive-base_2026.20260711-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:10] "GET /./texlive-latex-base_2026.20260711-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:10] "GET /./texlive-latex-recommended_2026.20260711-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./libtirpc-common_1.3.7%2bds-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./libxml-sax-base-perl_1.09-3_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./libtirpc3t64_1.3.7%2bds-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./texinfo-lib_7.3-2_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./time_1.10-0.1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./libintl-perl_1.37-1_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./libxml-namespacesupport-perl_1.12-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./libxml-sax-perl_1.02%2bdfsg-5_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./libxml-libxml-perl_2.0207%2bdfsg%2breally%2b2.0134-8_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./texinfo_7.3-2_all.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./libtirpc-dev_1.3.7%2bds-1_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:12] "GET /./gcl27_2.7.1-32_riscv64.deb HTTP/1.1" 200 - 127.0.0.1 - - [30/Aug/2026 15:04:20] "GET /./debootsnap-dummy_1.0_all.deb HTTP/1.1" 200 - I: running --customize-hook directly: /srv/rebuilderd/tmp/tmp10jo4wfd/apt_install.sh /srv/rebuilderd/tmp/mmdebstrap.zS8dzBbj75 Reading package lists... Building dependency tree... Reading state information... libbsd0 is already the newest version (0.12.2-3). libbsd0 set to manually installed. libedit2 is already the newest version (3.1-20260512-1). libedit2 set to manually installed. g++-15 is already the newest version (15.3.0-1). g++-15 set to manually installed. libcom-err2 is already the newest version (1.47.4-1). libcom-err2 set to manually installed. debhelper is already the newest version (14.3). debhelper set to manually installed. libbinutils is already the newest version (2.46.90.20260712-1). libbinutils set to manually installed. libdb5.3t64 is already the newest version (5.3.28+dfsg2-11+b1). libcap-ng0 is already the newest version (0.9.3-1+b1). libcc1-0 is already the newest version (16.1.0-2). libcc1-0 set to manually installed. binutils-common is already the newest version (2.46.90.20260712-1). binutils-common set to manually installed. libffi8 is already the newest version (3.7.1-2). libffi8 set to manually installed. dwz is already the newest version (0.17-1). dwz set to manually installed. autopoint is already the newest version (1.0-3). autopoint set to manually installed. fonts-dejavu-core is already the newest version (2.37-9). fonts-dejavu-core set to manually installed. debconf is already the newest version (1.5.92). gcc-15-base is already the newest version (15.3.0-1). gcc-15-base set to manually installed. libatomic1 is already the newest version (16.1.0-2). libatomic1 set to manually installed. libfile-stripnondeterminism-perl is already the newest version (1.15.1-1). libfile-stripnondeterminism-perl set to manually installed. init-system-helpers is already the newest version (1.69). file is already the newest version (1:5.47-4). file set to manually installed. libattr1 is already the newest version (1:2.6.0-1). libcairo2 is already the newest version (1.18.4-3+b1). libcairo2 set to manually installed. libgcc-15-dev is already the newest version (15.3.0-1). libgcc-15-dev set to manually installed. bsdextrautils is already the newest version (2.42.2-2). bsdextrautils set to manually installed. fonts-dejavu-mono is already the newest version (2.37-9). fonts-dejavu-mono set to manually installed. gcc-riscv64-linux-gnu is already the newest version (4:15.2.0-5+b1). gcc-riscv64-linux-gnu set to manually installed. libctf-nobfd0 is already the newest version (2.46.90.20260712-1). libctf-nobfd0 set to manually installed. libdpkg-perl is already the newest version (1.23.7). libdpkg-perl set to manually installed. intltool-debian is already the newest version (0.35.0+20060710.6). intltool-debian set to manually installed. hostname is already the newest version (3.25). libdebconfclient0 is already the newest version (0.283). libelf1t64 is already the newest version (0.195-1). libelf1t64 set to manually installed. fonts-lmodern is already the newest version (2.005-2). fonts-lmodern set to manually installed. gcc-16-base is already the newest version (16.1.0-2). fontconfig-config is already the newest version (2.17.1-5). fontconfig-config set to manually installed. build-essential is already the newest version (12.12). build-essential set to manually installed. cpp-15 is already the newest version (15.3.0-1). cpp-15 set to manually installed. libc6 is already the newest version (2.42-17). libbz2-1.0 is already the newest version (1.0.8-6+b2). libharfbuzz0b is already the newest version (12.3.2-2+b2). libharfbuzz0b set to manually installed. libdebhelper-perl is already the newest version (14.3). libdebhelper-perl set to manually installed. gzip is already the newest version (1.13-1). dh-strip-nondeterminism is already the newest version (1.15.1-1). dh-strip-nondeterminism set to manually installed. gcc is already the newest version (4:15.2.0-5+b1). gcc set to manually installed. gettext is already the newest version (1.0-3). gettext set to manually installed. grep is already the newest version (3.12-1). gettext-base is already the newest version (1.0-3). gettext-base set to manually installed. libc-bin is already the newest version (2.42-17). base-passwd is already the newest version (3.6.8). libgomp1 is already the newest version (16.1.0-2). libgomp1 set to manually installed. libfontconfig1 is already the newest version (2.17.1-5). libfontconfig1 set to manually installed. libgssapi-krb5-2 is already the newest version (1.22.1-3). libgssapi-krb5-2 set to manually installed. cpp is already the newest version (4:15.2.0-5+b1). cpp set to manually installed. base-files is already the newest version (14.2). libc6-dev is already the newest version (2.42-17). libc6-dev set to manually installed. gcc-15-riscv64-linux-gnu is already the newest version (15.3.0-1). gcc-15-riscv64-linux-gnu set to manually installed. cpp-15-riscv64-linux-gnu is already the newest version (15.3.0-1). cpp-15-riscv64-linux-gnu set to manually installed. autotools-dev is already the newest version (20240727.1+nmu1). autotools-dev set to manually installed. libgmp10 is already the newest version (2:6.3.0+dfsg-5+b2). g++ is already the newest version (4:15.2.0-5+b1). g++ set to manually installed. libgprofng0 is already the newest version (2.46.90.20260712-1). libgprofng0 set to manually installed. libfreetype6 is already the newest version (2.14.3+dfsg-1). libfreetype6 set to manually installed. gcl27 is already the newest version (2.7.1-32). gcl27 set to manually installed. libgdbm-compat4t64 is already the newest version (1.26-1+b2). libgdbm-compat4t64 set to manually installed. libc-gconv-modules-extra is already the newest version (2.42-17). automake is already the newest version (1:1.18.1-4). automake set to manually installed. g++-riscv64-linux-gnu is already the newest version (4:15.2.0-5+b1). g++-riscv64-linux-gnu set to manually installed. libbrotli1 is already the newest version (1.2.0-3). libbrotli1 set to manually installed. dash is already the newest version (0.5.12-12). findutils is already the newest version (4.10.0-4). libexpat1 is already the newest version (2.8.2-1). libexpat1 set to manually installed. bzip2 is already the newest version (1.0.8-6+b2). bzip2 set to manually installed. coreutils is already the newest version (9.10-1). diffutils is already the newest version (1:3.12-1). dpkg-dev is already the newest version (1.23.7). dpkg-dev set to manually installed. groff-base is already the newest version (1.24.1-1). groff-base set to manually installed. libblkid1 is already the newest version (2.42.2-2). binutils-riscv64-linux-gnu is already the newest version (2.46.90.20260712-1). binutils-riscv64-linux-gnu set to manually installed. libaudit1 is already the newest version (1:4.1.2-1+b1). libarchive-zip-perl is already the newest version (1.68-1). libarchive-zip-perl set to manually installed. libctf0 is already the newest version (2.46.90.20260712-1). libctf0 set to manually installed. debianutils is already the newest version (5.23.2). autoconf is already the newest version (2.73-2). autoconf set to manually installed. libaudit-common is already the newest version (1:4.1.2-1). libgcc-s1 is already the newest version (16.1.0-2). dh-autoreconf is already the newest version (22). dh-autoreconf set to manually installed. libc-dev-bin is already the newest version (2.42-17). libc-dev-bin set to manually installed. libgdbm6t64 is already the newest version (1.26-1+b2). libgdbm6t64 set to manually installed. bash is already the newest version (5.3-3). libglib2.0-0t64 is already the newest version (2.88.2-1). libglib2.0-0t64 set to manually installed. g++-15-riscv64-linux-gnu is already the newest version (15.3.0-1). g++-15-riscv64-linux-gnu set to manually installed. binutils is already the newest version (2.46.90.20260712-1). binutils set to manually installed. cpp-riscv64-linux-gnu is already the newest version (4:15.2.0-5+b1). cpp-riscv64-linux-gnu set to manually installed. libgraphite2-3 is already the newest version (1.3.15-2). libgraphite2-3 set to manually installed. libcrypt1 is already the newest version (1:4.5.1-1+b1). libacl1 is already the newest version (2.4.0-1). libasan8 is already the newest version (16.1.0-2). libasan8 set to manually installed. gcc-15 is already the newest version (15.3.0-1). gcc-15 set to manually installed. libharfbuzz-subset0 is already the newest version (12.3.2-2+b2). libharfbuzz-subset0 set to manually installed. dpkg is already the newest version (1.23.7). libtsan2 is already the newest version (16.1.0-2). libtsan2 set to manually installed. libtext-charwidth-perl is already the newest version (0.04-12). libtext-charwidth-perl set to manually installed. libkrb5-3 is already the newest version (1.22.1-3). libkrb5-3 set to manually installed. libkeyutils1 is already the newest version (1.6.3-6+b2). libkeyutils1 set to manually installed. libsystemd0 is already the newest version (261.1-3). libjansson4 is already the newest version (2.15.1-1). libjansson4 set to manually installed. libudev1 is already the newest version (261.1-3). ncurses-bin is already the newest version (6.6+20260608-2). patch is already the newest version (2.8-2). patch set to manually installed. libsynctex2 is already the newest version (2026.20260303.78225+ds-4). libsynctex2 set to manually installed. make is already the newest version (4.4.1-3). make set to manually installed. libpam-modules is already the newest version (1.7.0-8). libsmartcols1 is already the newest version (2.42.2-2). libselinux1 is already the newest version (3.11-2). libmagic-mgc is already the newest version (1:5.47-4). libmagic-mgc set to manually installed. libitm1 is already the newest version (16.1.0-2). libitm1 set to manually installed. libtirpc3t64 is already the newest version (1.3.7+ds-1). libtirpc3t64 set to manually installed. libtinfo6 is already the newest version (6.6+20260608-2). libice6 is already the newest version (2:1.1.1-1+b2). libice6 set to manually installed. po-debconf is already the newest version (1.0.22). po-debconf set to manually installed. libxi6 is already the newest version (2:1.8.2-2+b1). libxi6 set to manually installed. libpam0g is already the newest version (1.7.0-8). libxpm4 is already the newest version (1:3.5.19-1). libxpm4 set to manually installed. libxaw7 is already the newest version (2:1.0.16-1+b2). libxaw7 set to manually installed. libxml-libxml-perl is already the newest version (2.0207+dfsg+really+2.0134-8). libxml-libxml-perl set to manually installed. libncursesw6 is already the newest version (6.6+20260608-2). libncursesw6 set to manually installed. libxau6 is already the newest version (1:1.0.11-1+b2). libxau6 set to manually installed. libteckit0 is already the newest version (2.5.13+ds-2). libteckit0 set to manually installed. libtool is already the newest version (2.5.4-11). libtool set to manually installed. libuuid1 is already the newest version (2.42.2-2). sensible-utils is already the newest version (0.0.26). sensible-utils set to manually installed. libstdc++-15-dev is already the newest version (15.3.0-1). libstdc++-15-dev set to manually installed. libtext-wrapi18n-perl is already the newest version (0.06-11). libtext-wrapi18n-perl set to manually installed. t1utils is already the newest version (1.41-4+b1). t1utils set to manually installed. libsframe3 is already the newest version (2.46.90.20260712-1). libsframe3 set to manually installed. libxml-namespacesupport-perl is already the newest version (1.12-2). libxml-namespacesupport-perl set to manually installed. libkpathsea6 is already the newest version (2026.20260303.78225+ds-4). libkpathsea6 set to manually installed. libicu78 is already the newest version (78.3-2). libicu78 set to manually installed. libxt6t64 is already the newest version (1:1.2.1-1.3+b2). libxt6t64 set to manually installed. libmpc3 is already the newest version (1.3.1-3). libmpc3 set to manually installed. libperl5.40 is already the newest version (5.40.1-8). libperl5.40 set to manually installed. libtirpc-common is already the newest version (1.3.7+ds-1). libtirpc-common set to manually installed. libpaper2 is already the newest version (2.2.5-0.4). libpaper2 set to manually installed. libxcb-render0 is already the newest version (1.17.0-2+b2). libxcb-render0 set to manually installed. libxml2-16 is already the newest version (2.15.3+dfsg-1). libxml2-16 set to manually installed. libisl23 is already the newest version (0.28-1). libisl23 set to manually installed. libx11-data is already the newest version (2:1.8.13-1). libx11-data set to manually installed. libpam-runtime is already the newest version (1.7.0-8). openssl-provider-legacy is already the newest version (3.6.3-1). rpcsvc-proto is already the newest version (1.4.4-1). rpcsvc-proto set to manually installed. libkrb5support0 is already the newest version (1.22.1-3). libkrb5support0 set to manually installed. libxdmcp6 is already the newest version (1:1.1.5-2+b1). libxdmcp6 set to manually installed. libpng16-16t64 is already the newest version (1.6.58-1). libpng16-16t64 set to manually installed. libsm6 is already the newest version (2:1.2.6-1+b2). libsm6 set to manually installed. libunistring5 is already the newest version (1.4.2-1). libunistring5 set to manually installed. libxrender1 is already the newest version (1:0.9.12-1+b2). libxrender1 set to manually installed. m4 is already the newest version (1.4.21-1). m4 set to manually installed. libzstd1 is already the newest version (1.5.7+dfsg-3+b2). sysvinit-utils is already the newest version (3.18-1). libx11-6 is already the newest version (2:1.8.13-1). libx11-6 set to manually installed. libtirpc-dev is already the newest version (1.3.7+ds-1). libtirpc-dev set to manually installed. libzzip-0-13t64 is already the newest version (0.13.78+dfsg.1-0.2+b1). libzzip-0-13t64 set to manually installed. libtexlua53-5 is already the newest version (2026.20260303.78225+ds-4). libtexlua53-5 set to manually installed. libmpfi0 is already the newest version (1.5.4+ds-5). libmpfi0 set to manually installed. libubsan1 is already the newest version (16.1.0-2). libubsan1 set to manually installed. libmount1 is already the newest version (2.42.2-2). libstdc++6 is already the newest version (16.1.0-2). libstdc++6 set to manually installed. perl-modules-5.40 is already the newest version (5.40.1-8). perl-modules-5.40 set to manually installed. mawk is already the newest version (1.3.4.20260302-1). libuchardet0 is already the newest version (0.0.8-2+b2). libuchardet0 set to manually installed. libmd0 is already the newest version (1.2.0-2). procps is already the newest version (2:4.0.6-2). procps set to manually installed. libxext6 is already the newest version (2:1.3.4-1+b4). libxext6 set to manually installed. libxml-sax-base-perl is already the newest version (1.09-3). libxml-sax-base-perl set to manually installed. linux-libc-dev is already the newest version (7.1.3-1). linux-libc-dev set to manually installed. sed is already the newest version (4.9-3). libmagic1t64 is already the newest version (1:5.47-4). libmagic1t64 set to manually installed. man-db is already the newest version (2.13.1-1). man-db set to manually installed. libpotrace0 is already the newest version (1.16-2+b3). libpotrace0 set to manually installed. libxcb1 is already the newest version (1.17.0-2+b2). libxcb1 set to manually installed. perl-base is already the newest version (5.40.1-8). libintl-perl is already the newest version (1.37-1). libintl-perl set to manually installed. liblsan0 is already the newest version (16.1.0-2). liblsan0 set to manually installed. libpam-modules-bin is already the newest version (1.7.0-8). libpipeline1 is already the newest version (1.5.8-3). libpipeline1 set to manually installed. libssl3t64 is already the newest version (3.6.3-1). libxmu6 is already the newest version (2:1.1.3-4+b1). libxmu6 set to manually installed. libxcb-shm0 is already the newest version (1.17.0-2+b2). libxcb-shm0 set to manually installed. liblzma5 is already the newest version (5.8.3-1). libpixman-1-0 is already the newest version (0.46.4-1+b2). libpixman-1-0 set to manually installed. libpcre2-8-0 is already the newest version (10.46-1+b2). libxml-sax-perl is already the newest version (1.02+dfsg-5). libxml-sax-perl set to manually installed. libproc2-1 is already the newest version (2:4.0.6-2). libproc2-1 set to manually installed. libpaper-utils is already the newest version (2.2.5-0.4). libpaper-utils set to manually installed. libptexenc1 is already the newest version (2026.20260303.78225+ds-4). libptexenc1 set to manually installed. libk5crypto3 is already the newest version (1.22.1-3). libk5crypto3 set to manually installed. perl is already the newest version (5.40.1-8). perl set to manually installed. libmpfr6 is already the newest version (4.2.2-3). libmpfr6 set to manually installed. libtext-unidecode-perl is already the newest version (1.30-3). libtext-unidecode-perl set to manually installed. ncurses-base is already the newest version (6.6+20260608-2). zlib1g is already the newest version (1:1.3.dfsg+really1.3.2-3). xz-utils is already the newest version (5.8.3-1). xz-utils set to manually installed. xdg-utils is already the newest version (1.2.1-2). xdg-utils set to manually installed. time is already the newest version (1.10-0.1). time set to manually installed. texinfo is already the newest version (7.3-2). texinfo set to manually installed. x11-common is already the newest version (1:7.7+26). x11-common set to manually installed. texlive-binaries is already the newest version (2026.20260303.78225+ds-4). texlive-binaries set to manually installed. texinfo-lib is already the newest version (7.3-2). texinfo-lib set to manually installed. tar is already the newest version (1.35+dfsg-4). tex-common is already the newest version (6.20). tex-common set to manually installed. texlive-latex-base is already the newest version (2026.20260711-1). texlive-latex-base set to manually installed. util-linux is already the newest version (2.42.2-2). texlive-latex-recommended is already the newest version (2026.20260711-1). texlive-latex-recommended set to manually installed. texlive-base is already the newest version (2026.20260711-1). texlive-base set to manually installed. ucf is already the newest version (3.0056). ucf set to manually installed. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: running --customize-hook in shell: sh -c 'chroot "$1" dpkg -r debootsnap-dummy' exec /srv/rebuilderd/tmp/mmdebstrap.zS8dzBbj75 (Reading database ... 24180 files and directories currently installed.) Removing debootsnap-dummy (1.0) ... I: running --customize-hook in shell: sh -c 'chroot "$1" dpkg-query --showformat '${binary:Package}=${Version}\n' --show > "$1/pkglist"' exec /srv/rebuilderd/tmp/mmdebstrap.zS8dzBbj75 I: running special hook: download /pkglist ./pkglist I: running --customize-hook in shell: sh -c 'rm "$1/pkglist"' exec /srv/rebuilderd/tmp/mmdebstrap.zS8dzBbj75 I: running special hook: upload sources.list /etc/apt/sources.list I: waiting for background processes to finish... I: cleaning package lists and apt cache... I: skipping cleanup/reproducible as requested I: creating tarball... I: done I: removing tempdir /srv/rebuilderd/tmp/mmdebstrap.zS8dzBbj75... I: success in 398.6379 seconds Downloading packages 1to 100 out of 215 Downloading packages 101to 200 out of 215 Downloading packages 201to 215 out of 215 env --chdir=/srv/rebuilderd/tmp/rebuilderdMqXuO9/out DEB_BUILD_OPTIONS=parallel=4 LANG=C.UTF-8 LC_COLLATE=C.UTF-8 LC_CTYPE=C.UTF-8 SOURCE_DATE_EPOCH=1782055855 SBUILD_CONFIG=/srv/rebuilderd/tmp/debrebuildCgwrNF/debrebuild.sbuildrc.8oo0lD99mXg0 sbuild --build=riscv64 --host=riscv64 --arch-any --no-arch-all --chroot=/srv/rebuilderd/tmp/debrebuildCgwrNF/debrebuild.tar.P_PvJApRsuGA --chroot-mode=unshare --dist=unstable --no-run-lintian --no-run-piuparts --no-run-autopkgtest --no-apt-update --no-apt-upgrade --no-apt-distupgrade --no-source --verbose --nolog --bd-uninstallable-explainer= --build-path=/build/reproducible-path --dsc-dir=acl2-8.7+dfsg /srv/rebuilderd/tmp/rebuilderdMqXuO9/inputs/acl2_8.7+dfsg-3.dsc I: consider moving your ~/.sbuildrc to /srv/rebuilderd/.config/sbuild/config.pl The Debian buildds switched to the "unshare" backend and sbuild will default to it in the future. To start using "unshare" add this to your `~/.config/sbuild/config.pl`: $chroot_mode = "unshare"; If you want to keep the old "schroot" mode even in the future, add the following to your `~/.config/sbuild/config.pl`: $chroot_mode = "schroot"; $schroot = "schroot"; sbuild (Debian sbuild) 0.89.3+deb13u4 (28 December 2025) on localhost +==============================================================================+ | acl2 8.7+dfsg-3 (riscv64) Sun, 30 Aug 2026 07:10:20 +0000 | +==============================================================================+ Package: acl2 Version: 8.7+dfsg-3 Source Version: 8.7+dfsg-3 Distribution: unstable Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: No tarballs found in /srv/rebuilderd/.cache/sbuild I: Unpacking /srv/rebuilderd/tmp/debrebuildCgwrNF/debrebuild.tar.P_PvJApRsuGA to /srv/rebuilderd/tmp/tmp.sbuild.imL8mSVrUh... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Fetch source files Sun, 30 Aug 2026 07:11:02 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /srv/rebuilderd/tmp/rebuilderdMqXuO9/inputs/acl2_8.7+dfsg-3.dsc exists in /srv/rebuilderd/tmp/rebuilderdMqXuO9/inputs; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Sun, 30 Aug 2026 07:11:09 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-4), debhelper (>= 13), texlive-latex-recommended, time, texinfo, tex-common, build-essential Filtered Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-4), debhelper (>= 13), texlive-latex-recommended, time, texinfo, tex-common, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-cEFPYD/apt_archive/sbuild-build-depends-main-dummy.deb'. Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies +------------------------------------------------------------------------------+ | Check architectures Sun, 30 Aug 2026 07:11:19 +0000 | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any all) +------------------------------------------------------------------------------+ | Build environment Sun, 30 Aug 2026 07:11:20 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.6.87-win2030 #2025.04.20.18.43+bb0c69aea SMP Sun Apr 20 18:58:14 UTC 2025 riscv64 (riscv64) Toolchain package versions: binutils_2.46.90.20260712-1 dpkg-dev_1.23.7 g++-15_15.3.0-1 gcc-15_15.3.0-1 libc6-dev_2.42-17 libstdc++-15-dev_15.3.0-1 libstdc++6_16.1.0-2 linux-libc-dev_7.1.3-1 Package versions: autoconf_2.73-2 automake_1:1.18.1-4 autopoint_1.0-3 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8 bash_5.3-3 binutils_2.46.90.20260712-1 binutils-common_2.46.90.20260712-1 binutils-riscv64-linux-gnu_2.46.90.20260712-1 bsdextrautils_2.42.2-2 build-essential_12.12 bzip2_1.0.8-6+b2 coreutils_9.10-1 cpp_4:15.2.0-5+b1 cpp-15_15.3.0-1 cpp-15-riscv64-linux-gnu_15.3.0-1 cpp-riscv64-linux-gnu_4:15.2.0-5+b1 dash_0.5.12-12 debconf_1.5.92 debhelper_14.3 debianutils_5.23.2 dh-autoreconf_22 dh-strip-nondeterminism_1.15.1-1 diffutils_1:3.12-1 dpkg_1.23.7 dpkg-dev_1.23.7 dwz_0.17-1 file_1:5.47-4 findutils_4.10.0-4 fontconfig-config_2.17.1-5 fonts-dejavu-core_2.37-9 fonts-dejavu-mono_2.37-9 fonts-lmodern_2.005-2 g++_4:15.2.0-5+b1 g++-15_15.3.0-1 g++-15-riscv64-linux-gnu_15.3.0-1 g++-riscv64-linux-gnu_4:15.2.0-5+b1 gcc_4:15.2.0-5+b1 gcc-15_15.3.0-1 gcc-15-base_15.3.0-1 gcc-15-riscv64-linux-gnu_15.3.0-1 gcc-16-base_16.1.0-2 gcc-riscv64-linux-gnu_4:15.2.0-5+b1 gcl27_2.7.1-32 gettext_1.0-3 gettext-base_1.0-3 grep_3.12-1 groff-base_1.24.1-1 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.4.0-1 libarchive-zip-perl_1.68-1 libasan8_16.1.0-2 libatomic1_16.1.0-2 libattr1_1:2.6.0-1 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b1 libbinutils_2.46.90.20260712-1 libblkid1_2.42.2-2 libbrotli1_1.2.0-3 libbsd0_0.12.2-3 libbz2-1.0_1.0.8-6+b2 libc-bin_2.42-17 libc-dev-bin_2.42-17 libc-gconv-modules-extra_2.42-17 libc6_2.42-17 libc6-dev_2.42-17 libcairo2_1.18.4-3+b1 libcap-ng0_0.9.3-1+b1 libcc1-0_16.1.0-2 libcom-err2_1.47.4-1 libcrypt1_1:4.5.1-1+b1 libctf-nobfd0_2.46.90.20260712-1 libctf0_2.46.90.20260712-1 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.283 libdebhelper-perl_14.3 libdpkg-perl_1.23.7 libedit2_3.1-20260512-1 libelf1t64_0.195-1 libexpat1_2.8.2-1 libffi8_3.7.1-2 libfile-stripnondeterminism-perl_1.15.1-1 libfontconfig1_2.17.1-5 libfreetype6_2.14.3+dfsg-1 libgcc-15-dev_15.3.0-1 libgcc-s1_16.1.0-2 libgdbm-compat4t64_1.26-1+b2 libgdbm6t64_1.26-1+b2 libglib2.0-0t64_2.88.2-1 libgmp10_2:6.3.0+dfsg-5+b2 libgomp1_16.1.0-2 libgprofng0_2.46.90.20260712-1 libgraphite2-3_1.3.15-2 libgssapi-krb5-2_1.22.1-3 libharfbuzz-subset0_12.3.2-2+b2 libharfbuzz0b_12.3.2-2+b2 libice6_2:1.1.1-1+b2 libicu78_78.3-2 libintl-perl_1.37-1 libisl23_0.28-1 libitm1_16.1.0-2 libjansson4_2.15.1-1 libk5crypto3_1.22.1-3 libkeyutils1_1.6.3-6+b2 libkpathsea6_2026.20260303.78225+ds-4 libkrb5-3_1.22.1-3 libkrb5support0_1.22.1-3 liblsan0_16.1.0-2 liblzma5_5.8.3-1 libmagic-mgc_1:5.47-4 libmagic1t64_1:5.47-4 libmd0_1.2.0-2 libmount1_2.42.2-2 libmpc3_1.3.1-3 libmpfi0_1.5.4+ds-5 libmpfr6_4.2.2-3 libncursesw6_6.6+20260608-2 libpam-modules_1.7.0-8 libpam-modules-bin_1.7.0-8 libpam-runtime_1.7.0-8 libpam0g_1.7.0-8 libpaper-utils_2.2.5-0.4 libpaper2_2.2.5-0.4 libpcre2-8-0_10.46-1+b2 libperl5.40_5.40.1-8 libpipeline1_1.5.8-3 libpixman-1-0_0.46.4-1+b2 libpng16-16t64_1.6.58-1 libpotrace0_1.16-2+b3 libproc2-1_2:4.0.6-2 libptexenc1_2026.20260303.78225+ds-4 libselinux1_3.11-2 libsframe3_2.46.90.20260712-1 libsm6_2:1.2.6-1+b2 libsmartcols1_2.42.2-2 libssl3t64_3.6.3-1 libstdc++-15-dev_15.3.0-1 libstdc++6_16.1.0-2 libsynctex2_2026.20260303.78225+ds-4 libsystemd0_261.1-3 libteckit0_2.5.13+ds-2 libtexlua53-5_2026.20260303.78225+ds-4 libtext-charwidth-perl_0.04-12 libtext-unidecode-perl_1.30-3 libtext-wrapi18n-perl_0.06-11 libtinfo6_6.6+20260608-2 libtirpc-common_1.3.7+ds-1 libtirpc-dev_1.3.7+ds-1 libtirpc3t64_1.3.7+ds-1 libtool_2.5.4-11 libtsan2_16.1.0-2 libubsan1_16.1.0-2 libuchardet0_0.0.8-2+b2 libudev1_261.1-3 libunistring5_1.4.2-1 libuuid1_2.42.2-2 libx11-6_2:1.8.13-1 libx11-data_2:1.8.13-1 libxau6_1:1.0.11-1+b2 libxaw7_2:1.0.16-1+b2 libxcb-render0_1.17.0-2+b2 libxcb-shm0_1.17.0-2+b2 libxcb1_1.17.0-2+b2 libxdmcp6_1:1.1.5-2+b1 libxext6_2:1.3.4-1+b4 libxi6_2:1.8.2-2+b1 libxml-libxml-perl_2.0207+dfsg+really+2.0134-8 libxml-namespacesupport-perl_1.12-2 libxml-sax-base-perl_1.09-3 libxml-sax-perl_1.02+dfsg-5 libxml2-16_2.15.3+dfsg-1 libxmu6_2:1.1.3-4+b1 libxpm4_1:3.5.19-1 libxrender1_1:0.9.12-1+b2 libxt6t64_1:1.2.1-1.3+b2 libzstd1_1.5.7+dfsg-3+b2 libzzip-0-13t64_0.13.78+dfsg.1-0.2+b1 linux-libc-dev_7.1.3-1 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260302-1 ncurses-base_6.6+20260608-2 ncurses-bin_6.6+20260608-2 openssl-provider-legacy_3.6.3-1 patch_2.8-2 perl_5.40.1-8 perl-base_5.40.1-8 perl-modules-5.40_5.40.1-8 po-debconf_1.0.22 procps_2:4.0.6-2 rpcsvc-proto_1.4.4-1 sed_4.9-3 sensible-utils_0.0.26 sysvinit-utils_3.18-1 t1utils_1.41-4+b1 tar_1.35+dfsg-4 tex-common_6.20 texinfo_7.3-2 texinfo-lib_7.3-2 texlive-base_2026.20260711-1 texlive-binaries_2026.20260303.78225+ds-4 texlive-latex-base_2026.20260711-1 texlive-latex-recommended_2026.20260711-1 time_1.10-0.1 ucf_3.0056 util-linux_2.42.2-2 x11-common_1:7.7+26 xdg-utils_1.2.1-2 xz-utils_5.8.3-1 zlib1g_1:1.3.dfsg+really1.3.2-3 +------------------------------------------------------------------------------+ | Build Sun, 30 Aug 2026 07:11:20 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: acl2 Binary: acl2, acl2-source, elpa-acl2, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc Architecture: any all Version: 8.7+dfsg-3 Maintainer: Camm Maguire Homepage: https://www.cs.utexas.edu/users/moore/acl2/ Standards-Version: 4.7.2 Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-4), debhelper (>= 13), texlive-latex-recommended, time, texinfo, tex-common Build-Depends-Indep: dh-elpa Package-List: acl2 deb math optional arch=any acl2-books deb math optional arch=any acl2-books-certs deb math optional arch=all acl2-books-source deb math optional arch=all acl2-doc deb doc optional arch=all acl2-infix deb math optional arch=any acl2-infix-source deb math optional arch=all acl2-source deb math optional arch=all elpa-acl2 deb lisp optional arch=all Checksums-Sha1: 8678eff2c1a646c0cfc9933bf1c9f612b65cc0b8 249797630 acl2_8.7+dfsg.orig.tar.gz 6ca6e0783720a96a9126dbd456d89d785ab4bfd1 901928 acl2_8.7+dfsg-3.debian.tar.xz Checksums-Sha256: 2f396e166c041d852b5974f2fd57bed5e22c282bf397c7e917d0065cb1a68dce 249797630 acl2_8.7+dfsg.orig.tar.gz 771e8768905b50e9f6383bcd22ebd95260dfcfa2827c84bcd380978809ebb2e7 901928 acl2_8.7+dfsg-3.debian.tar.xz Files: bc17750a5303792edc8661380fd359e5 249797630 acl2_8.7+dfsg.orig.tar.gz 3c4c61bd4080fa7424f0e024be82352b 901928 acl2_8.7+dfsg-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmpXe8oACgkQuEXOUQ+b cU30jRAAkVo+yFuvUqURBQSzzr/um3E5WsV2CbqhuARnq8W5Rqq3pxpqkqbQEuJn doj43hNI0ooyd6L66gaFKJvR6yItVLhnWD25NgmfOSq7X1ZO7zyBa4rQY7VeSF8b IJZaQqLBCiImT4MbS4zDFwk4HbJLA6+2A8H8EAjcvIUiiq/FypQEXfhVrMBVU405 DKgB5ZM8kjr9qgNYXncJW723AAS6hguWYdM7iwMC5nGtZxKKFls15Hi2eFb5BzKi ifQBN8mvwlRdq2+eRcGyZCWxeo8fYVdMLierxgFgICQ4Bdybv4D8e5BqaFbDET5l Hs8ZzM2H3gbThYvK3tVBpiW0NZQ30fkMjtZBThKdejsdJ51XeqjEGadOGLnx9YQi m5DYu14ey/VDYrkXIG7Exre7No+pPpgFAIVkGekEPcVLHf8O1MRxd7k610rKjinU 1MF5FxWV4dU6y5dPvuFj+dT4kfusSj/DfrbVxqvpCv3Vmat7Ms6jRaI/V4FOUsUU WgpleQ7P1PFzNmSgN4sPF6fqGZ4wCNFrDEp0Vwaad3wXpbCpig/GIv+yNvHwMvQi IZrrRdte+RiAmWlzVri0Swh1A9pxTi4iMU0ZI4XOwJ1LTMf46sCEaelndnJJJ6BP vKOBYR6o0hMpWiiPtYUBbtIjimWS7zbaOr/iuHYsQj7lmIpI2J4= =NcBK -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./acl2_8.7+dfsg-3.dsc: missing OpenPGP keyrings dpkg-source: info: verifying ./acl2_8.7+dfsg-3.dsc dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-keyring.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-tag2upload.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-nonupload.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-maintainers.pgp dpkg-source: info: extracting acl2 in /build/reproducible-path/acl2-8.7+dfsg dpkg-source: info: unpacking acl2_8.7+dfsg.orig.tar.gz dpkg-source: info: unpacking acl2_8.7+dfsg-3.debian.tar.xz Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LC_COLLATE=C.UTF-8 LC_CTYPE=C.UTF-8 LOGNAME=sbuild PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SHELL=/bin/sh SOURCE_DATE_EPOCH=1782055855 USER=sbuild dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -B dpkg-buildpackage: info: source package acl2 dpkg-buildpackage: info: source version 8.7+dfsg-3 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Camm Maguire dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 debian/rules clean sed -e "s,^DIR = .*,DIR = $(pwd)/books/interface/infix,1" \ -e 's,"user","USER",g' -e 's,"sloop","SLOOP",g' \ -e "s,^LISP = .*,LISP = $(pwd)/saved_acl2,1" books/interface/infix/makefile > books/interface/infix/Makefile rm -f infix-stamp cd books/interface/infix && HOME=$(pwd) /usr/bin/make -f Makefile clean make[1]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/interface/infix' rm -f /build/reproducible-path/acl2-8.7+dfsg/books/interface/infix/*.otl /build/reproducible-path/acl2-8.7+dfsg/books/interface/infix/*.err /build/reproducible-path/acl2-8.7+dfsg/books/interface/infix/*.ps /build/reproducible-path/acl2-8.7+dfsg/books/interface/infix/*.aux rm -f /build/reproducible-path/acl2-8.7+dfsg/books/interface/infix/*.dvi /build/reproducible-path/acl2-8.7+dfsg/books/interface/infix/*.aux /build/reproducible-path/acl2-8.7+dfsg/books/interface/infix/*.log /build/reproducible-path/acl2-8.7+dfsg/books/interface/infix/*.idx /build/reproducible-path/acl2-8.7+dfsg/books/interface/infix/.log rm -f *~* *#* workxxx *.o *.tex *.nqtex TAGS *.dvi *.ps *.err *.aux *.log *.idx make[1]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/interface/infix' rm -f books/interface/infix/Makefile dh_testdir dh_testroot rm -f build-stamp /usr/bin/make clean-all make[1]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg' rm -f *.o *#* *.c *.h *.data gazonk.* workxxx* workyyy* *.lib \ *.fasl *.fas *.sparcf *.ufsl *.64ufasl *.ufasl *.dfsl *.dxl \ *.d64fsl *.dx64fsl *.lx64fsl \ *.lx32fsl *.x86f *.sse2f *.o *.fn \ TAGS TAGS-acl2-doc acl2-status.txt acl2r.lisp acl2-proclaims.lisp \ .acl2rc *osaved_acl2* *.log devel-check.out TMP* rm -rf saved rm -f doc/*.o doc/*#* doc/*.c doc/*.h doc/*.data doc/gazonk.* \ doc/workxxx doc/workyyy doc/*.lib \ doc/*.fasl doc/*.fas doc/*.sparcf doc/*.ufsl doc/*.64ufasl doc/*.ufasl doc/*.dfsl \ doc/*.dxl doc/*.d64fsl doc/*.dx64fsl doc/*.lx64fsl \ doc/*.lx32fsl doc/*.x86f doc/*.sse2f doc/*.o doc/*.fn \ doc/*.cert doc/*.port doc/*.out \ doc/*.log doc/TMP* rm -rf doc/TEX doc/HTML doc/EMACS rm -f *saved_acl2* doc.lisp.backup make[1]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg' /usr/bin/make clean-books make[1]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg' ACL2_WD is /build/reproducible-path/acl2-8.7+dfsg ACL2 is /build/reproducible-path/acl2-8.7+dfsg/saved_acl2 Linux sbuild 6.6.87-win2030 #2025.04.20.18.43+bb0c69aea SMP Sun Apr 20 18:58:14 UTC 2025 riscv64 GNU/Linux cd books ; /usr/bin/make -k ACL2=/build/reproducible-path/acl2-8.7+dfsg/saved_acl2 moreclean make[2]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books' ACL2_SYSTEM_BOOKS is /build/reproducible-path/acl2-8.7+dfsg/books Determining ACL2 features (for ACL2 = /build/reproducible-path/acl2-8.7+dfsg/saved_acl2) *** Failed to run ACL2! *** Determining whether Glucose is installed Determining whether an ipasir shared library is installed Determining whether ABC is installed Determining whether Z3 is installed, for use by SMTLink Determining whether STP is installed Determining whether GCC is installed and supports the c17 standard ACL2_HAS_ANSI := ACL2_HAS_PARALLEL := ACL2_HAS_REALS := ACL2_HAS_ACL2_DEVEL := ACL2_COMP_EXT := ACL2_HOST_LISP := OS_HAS_ABC := OS_HAS_GLUCOSE := OS_HAS_IPASIR := OS_HAS_SMTLINK := OS_HAS_STP := OS_HAS_GCC_C17 := 1 USE_QUICKLISP := ACL2_USELESS_RUNES := Done with features. Scanning for books... real 0m0.240s user 0m0.093s sys 0m0.159s Scanning for dependencies... real 5m18.038s user 5m14.260s sys 0m2.198s Done scanning. Reading book deps Makefile-deps created on Sun Aug 30 07:17:08 UTC 2026 Excluding books that are CCL-only: [] Excluding books that are SBCL-only: [kestrel/acl2pl/reader-tests.cert] Excluding books that need ANSI Common Lisp [...] Excluding books that need ABC: [centaur/glmc/glmc-test.cert] Excluding books that need Glucose: [centaur/aig/aig-sat-tests.cert centaur/esim/tests/add.cert centaur/esim/tests/common.cert centaur/esim/tests/divide.cert centaur/esim/tests/idiv.cert centaur/esim/tests/multiply.cert centaur/esim/tests/regs.cert centaur/esim/tests/subtract.cert centaur/esim/tutorial/boothmul.cert centaur/fgl/equivcheck-test.cert centaur/fgl/tests.cert centaur/glmc/glmc-test.cert centaur/sv/svtv/svtv-generalize-test.cert centaur/sv/svtv/svtv-to-fsm-test.cert centaur/sv/tutorial/alu-2.cert centaur/sv/tutorial/alu.cert centaur/sv/tutorial/boothpipe-mini.cert centaur/sv/tutorial/boothpipe-svtv-spec.cert centaur/sv/tutorial/boothpipe-syn.cert centaur/sv/tutorial/boothpipe.cert centaur/sv/tutorial/sums.cert workshops/2017/swords/support/demos.cert] Excluding books that need Ipasir: [centaur/fgl/equivcheck-test.cert centaur/fgl/tests-ipasir.cert centaur/ipasir/ipasir-backend-extra.cert centaur/ipasir/ipasir-backend.cert centaur/ipasir/ipasir-tests.cert centaur/ipasir/soundness-bug-fixed.cert centaur/ipasir/soundness-bug2-fixed.cert centaur/sv/tutorial/sums.cert projects/vescmul/demo/demo-3.cert projects/vescmul/demo/old-demo-4-svtv.cert workshops/2020/sumners/bake-models.cert workshops/2020/sumners/bake-proofs.cert workshops/2020/sumners/gen-models.cert workshops/2020/sumners/gl-fin-set.cert workshops/2020/sumners/top.cert] Excluding books that need SMTLINK: [projects/smtlink/examples/examples.cert projects/smtlink/examples/ringosc.cert workshops/2020/kwan-peng-greenstreet/abstract-cs.cert] Excluding books that need STP: [kestrel/axe/arm/examples/add/add-with-stop-pcs.cert kestrel/axe/arm/examples/add/add.cert kestrel/axe/arm/examples/popcount/popcount-32-proof.cert kestrel/axe/arm/examples/popcount/popcount-64-proof.cert kestrel/axe/arm/examples/tea/wiki.cert kestrel/axe/defthm-stp-tests.cert kestrel/axe/examples/popcount-32.cert kestrel/axe/prove-equal-with-axe-tests.cert kestrel/axe/prove-with-stp-tests.cert kestrel/axe/prover-tests.cert kestrel/axe/query-tests.cert kestrel/axe/rewriter-basic-smt-tests.cert kestrel/axe/stp-clause-processor-tests.cert kestrel/axe/tactic-prover-tests.cert kestrel/axe/tests-top.cert kestrel/axe/x86/examples/abs/abs-elf64.cert kestrel/axe/x86/examples/add/add-elf64.cert kestrel/axe/x86/examples/charptr/charptr-locations-elf64.cert kestrel/axe/x86/examples/charptr/return-literal-elf64.cert kestrel/axe/x86/examples/charptr/simple-byte-elf64.cert kestrel/axe/x86/examples/factorial/factorial-elf64.cert kestrel/axe/x86/examples/factorial/factorial-macho64.cert kestrel/axe/x86/examples/formal-unit-tests/add/run-test.cert kestrel/axe/x86/examples/formal-unit-tests/sbox/run-tests.cert kestrel/axe/x86/examples/popcount/popcount-32-proof.cert kestrel/axe/x86/examples/popcount/popcount-64-proof.cert kestrel/axe/x86/examples/switch/switch-complex-1a-elf64.cert kestrel/axe/x86/examples/switch/switch-complex-elf64.cert kestrel/axe/x86/examples/switch/switch-complex-elf64staticO2.cert kestrel/axe/x86/examples/switch/switch-macho64.cert kestrel/axe/x86/examples/tea/tea-elf64.cert kestrel/axe/x86/examples/tea/tea-macho64.cert kestrel/axe/x86/tests/kestrel/add-elf64-full.cert kestrel/axe/x86/tests/kestrel/add-elf64.cert kestrel/axe/x86/tests/kestrel/add-pe64.cert kestrel/axe/x86/tests/ndsu/run-tests-add.cert kestrel/axe/x86/tests/ndsu/run-tests-and.cert kestrel/axe/x86/tests/ndsu/run-tests-cmp.cert kestrel/axe/x86/tests/ndsu/run-tests-movddup.cert kestrel/axe/x86/tests/ndsu/run-tests-mul.cert kestrel/axe/x86/tests/ndsu/run-tests-or.cert kestrel/axe/x86/tests/ndsu/run-tests-padd.cert kestrel/axe/x86/tests/ndsu/run-tests-pand.cert kestrel/axe/x86/tests/ndsu/run-tests-por.cert kestrel/axe/x86/tests/ndsu/run-tests-psub.cert kestrel/axe/x86/tests/ndsu/run-tests-pxor.cert kestrel/axe/x86/tests/ndsu/run-tests-sub.cert kestrel/axe/x86/tests/ndsu/run-tests-vpadd128.cert kestrel/axe/x86/tests/ndsu/run-tests-xor.cert] Excluding ACL2(r)-only books: [nonstd/arc-length/length-of-a-rectifiable-curve.cert nonstd/circles/area-of-a-circle/area-of-a-circle-1.cert nonstd/circles/area-of-a-circle/area-of-a-circle-2.cert nonstd/circles/circumference-of-a-circle.cert nonstd/fft/fft-trig-with-axioms.cert nonstd/fft/fft-trig.cert nonstd/integrals/continuous-function.cert nonstd/integrals/equivalence-continuous-function.cert nonstd/integrals/equivalence-ftc.cert nonstd/integrals/equivalence-integrals.cert nonstd/integrals/ftc-1.cert nonstd/integrals/ftc-2.cert nonstd/integrals/integrable-functions.cert nonstd/integrals/integral-of-polynomials.cert nonstd/integrals/integration-composition-equivalences.cert nonstd/integrals/integration-composition.cert nonstd/integrals/make-partition.cert nonstd/integrals/split-integral-by-subintervals.cert nonstd/integrals/u-substitution.cert nonstd/nsa/Banach-Tarski/banach-tarski-b-0.cert nonstd/nsa/Banach-Tarski/banach-tarski-s2.cert nonstd/nsa/Banach-Tarski/banach-tarski.cert nonstd/nsa/Banach-Tarski/countable-sets.cert nonstd/nsa/Banach-Tarski/free-group.cert nonstd/nsa/Banach-Tarski/groups.cert nonstd/nsa/Banach-Tarski/hausdorff-paradox-1.cert nonstd/nsa/Banach-Tarski/hausdorff-paradox-2.cert nonstd/nsa/Banach-Tarski/rotations.cert nonstd/nsa/Banach-Tarski/supportive-theorems.cert nonstd/nsa/alternating-series.cert nonstd/nsa/chain-rule.cert nonstd/nsa/complex-polar.cert nonstd/nsa/continuity-product.cert nonstd/nsa/continuity.cert nonstd/nsa/derivative-raise.cert nonstd/nsa/derivatives-composition.cert nonstd/nsa/derivatives.cert nonstd/nsa/equivalence-continuity.cert nonstd/nsa/equivalence-derivatives-composition.cert nonstd/nsa/equivalence-derivatives.cert nonstd/nsa/equivalence-limits.cert nonstd/nsa/exp-continuous.cert nonstd/nsa/exp-sum.cert nonstd/nsa/exp.cert nonstd/nsa/factorial.cert nonstd/nsa/intervals.cert nonstd/nsa/inverse-derivatives.cert nonstd/nsa/inverse-monotone.cert nonstd/nsa/inverse-square.cert nonstd/nsa/inverse-trig.cert nonstd/nsa/inverses.cert nonstd/nsa/ln.cert nonstd/nsa/next-integer.cert nonstd/nsa/norm.cert nonstd/nsa/nsa.cert nonstd/nsa/overspill-proof.cert nonstd/nsa/overspill-test.cert nonstd/nsa/overspill.cert nonstd/nsa/raise.cert nonstd/nsa/sine.cert nonstd/nsa/sqrt.cert nonstd/nsa/trig-approx.cert nonstd/nsa/trig.cert nonstd/polynomials/polynomial-calculus.cert nonstd/transcendentals/nested-intervals-revised.cert nonstd/transcendentals/nested-intervals.cert nonstd/transcendentals/reals-are-uncountable-1.cert nonstd/transcendentals/reals-are-uncountable-2.cert nonstd/workshops/1999/analysis/continuity.cert nonstd/workshops/1999/analysis/derivatives.cert nonstd/workshops/1999/analysis/exercise1.cert nonstd/workshops/1999/analysis/exercise2.cert nonstd/workshops/1999/analysis/exercise3.cert nonstd/workshops/1999/analysis/exercise4.cert nonstd/workshops/1999/analysis/exercise5.cert nonstd/workshops/1999/analysis/exercise6.cert nonstd/workshops/1999/analysis/exercise7.cert nonstd/workshops/1999/analysis/exercise8.cert nonstd/workshops/1999/calculus/book/between-i-close-implies-i-close.cert nonstd/workshops/1999/calculus/book/between-limited-implies-limited.cert nonstd/workshops/1999/calculus/book/defaxioms.cert nonstd/workshops/1999/calculus/book/equal-riemann-rcfn-refinement-reduction.cert nonstd/workshops/1999/calculus/book/ftoc-lemma.cert nonstd/workshops/1999/calculus/book/fundamental-theorem-of-calculus.cert nonstd/workshops/1999/calculus/book/i-close-implies-abs-difference-small.cert nonstd/workshops/1999/calculus/book/i-limited-rcfn.cert nonstd/workshops/1999/calculus/book/i-small-maxlist-abslist-difflist-maps.cert nonstd/workshops/1999/calculus/book/integral-rcfn-equal-if-i-close.cert nonstd/workshops/1999/calculus/book/integral-rcfn-lemmas.cert nonstd/workshops/1999/calculus/book/integral-rcfn-quotient-between-non-classical.cert nonstd/workshops/1999/calculus/book/integral-rcfn.cert nonstd/workshops/1999/calculus/book/make-partition.cert nonstd/workshops/1999/calculus/book/map-rcfn-close-to-map-rcfn-refinement.cert nonstd/workshops/1999/calculus/book/map-rcfn-refinement-cdr-co-member.cert nonstd/workshops/1999/calculus/book/max-and-min-attained.cert nonstd/workshops/1999/calculus/book/max-x-between.cert nonstd/workshops/1999/calculus/book/maxlist-abslist-difflist-maps-lt.cert nonstd/workshops/1999/calculus/book/min-max-x-rec-lemmas.cert nonstd/workshops/1999/calculus/book/min-x-and-max-x-lemmas.cert nonstd/workshops/1999/calculus/book/min-x-between.cert nonstd/workshops/1999/calculus/book/next-gte-close.cert nonstd/workshops/1999/calculus/book/nsa-lemmas.cert nonstd/workshops/1999/calculus/book/nsa.cert nonstd/workshops/1999/calculus/book/partitions-give-i-close-riemann-sum.cert nonstd/workshops/1999/calculus/book/proof-outline.cert nonstd/workshops/1999/calculus/book/rcfn-next-gte-close.cert nonstd/workshops/1999/calculus/book/rcfn-standard-part.cert nonstd/workshops/1999/calculus/book/refinement-makes-i-small-change-1.cert nonstd/workshops/1999/calculus/book/refinement-makes-i-small-change.cert nonstd/workshops/1999/calculus/book/riemann-bound.cert nonstd/workshops/1999/calculus/book/riemann-defuns.cert nonstd/workshops/1999/calculus/book/riemann-lemmas.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-between.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-lower-bound.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-refinement-is-riemann-rcfn.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-upper-bound.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral-1.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral-2.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral.cert nonstd/workshops/1999/calculus/book/riemann.cert nonstd/workshops/1999/calculus/book/split-integral-by-subintervals.cert nonstd/workshops/1999/calculus/book/standard-part-equal-if-i-close.cert nonstd/workshops/1999/calculus/book/standard-part-preserves-between.cert nonstd/workshops/1999/calculus/book/standard-part-riemann-rcfn-is-standard.cert nonstd/workshops/1999/calculus/book/two-times-r-is-not-less-than-standard-part.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/abs-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/chain-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/composition-elem.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/differentiator.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/exp-minimal.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/exp-properties.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-square.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-trig-derivatives.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-trig-ex.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/ln-derivative-real.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/nsa-ex.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/product-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sin-cos-minimal.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sqrt-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sum-composition.cert nonstd/workshops/2013/helms-gamboa-quantum/support/quantum.cert projects/cholesky/chol.cert projects/hybrid-systems/abs.cert projects/hybrid-systems/arith-nsa4.cert projects/hybrid-systems/computed-hints.cert projects/hybrid-systems/eexp.cert projects/hybrid-systems/example.cert projects/hybrid-systems/nsa.cert projects/hybrid-systems/o-real-p.cert projects/hybrid-systems/phi-exists.cert projects/hybrid-systems/phi-properties.cert projects/hybrid-systems/phi-unique.cert projects/hybrid-systems/tm-floor.cert projects/omp/dictionary.cert projects/omp/sparse-approximation.cert projects/omp/top.cert workshops/2015/chau-kaufmann-hunt/support/cosines-orthog.cert workshops/2015/chau-kaufmann-hunt/support/fourier-coefficients-2.cert workshops/2015/chau-kaufmann-hunt/support/fourier-coefficients.cert workshops/2015/chau-kaufmann-hunt/support/fourier-inner-product.cert workshops/2015/chau-kaufmann-hunt/support/fourier-sums.cert workshops/2015/chau-kaufmann-hunt/support/int-infinite-sum-1.cert workshops/2015/chau-kaufmann-hunt/support/int-infinite-sum-2.cert workshops/2015/chau-kaufmann-hunt/support/int-sum.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/continuity-2.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/continuous-function-2.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/ftc-1-2.cert workshops/2015/chau-kaufmann-hunt/support/sine-cosine-orthog.cert workshops/2015/chau-kaufmann-hunt/support/sines-orthog.cert workshops/2015/chau-kaufmann-hunt/support/utils.cert workshops/2018/gamboa-cowles/complex-continuity.cert workshops/2018/gamboa-cowles/complex-lemmas.cert workshops/2018/gamboa-cowles/complex-polynomials.cert workshops/2018/gamboa-cowles/de-moivre.cert workshops/2018/gamboa-cowles/norm2.cert workshops/2018/kwan-greenstreet/cauchy-schwarz.cert workshops/2018/kwan-greenstreet/continuity.cert workshops/2018/kwan-greenstreet/convex.cert workshops/2018/kwan-greenstreet/ftc-2.cert workshops/2018/kwan-greenstreet/metric.cert workshops/2018/kwan-greenstreet/nesterov-1.cert workshops/2018/kwan-greenstreet/nesterov-2.cert workshops/2018/kwan-greenstreet/nesterov-3.cert workshops/2018/kwan-greenstreet/nesterov-4.cert workshops/2018/kwan-greenstreet/nesterov-top.cert workshops/2018/kwan-greenstreet/norm.cert workshops/2018/kwan-greenstreet/top.cert workshops/2018/kwan-greenstreet/vectors.cert workshops/2020/gamboa-cowles-gamboa/floor1-non-R.cert workshops/2020/gamboa-cowles-gamboa/norm-1C.cert workshops/2020/gamboa-cowles-gamboa/number-field.cert workshops/2020/gamboa-cowles-gamboa/polylist.cert workshops/2020/gamboa-cowles-gamboa/prior/raise-to.cert workshops/2020/kwan-peng-greenstreet/abstract-cs.cert workshops/2023/vonhippel-etal/a-n-0-acl2r.cert] Excluding books that depend on Quicklisp: [acl2s/cgen/fixers-gl-backend.cert centaur/4v-sexpr/sexpr-purebool-p.cert centaur/4v-sexpr/top.cert centaur/aig/aig-sat-tests.cert centaur/aig/aig-sat.cert centaur/aig/faig-purebool-p.cert centaur/aig/top-doc.cert centaur/aig/top.cert centaur/aignet/abc-wrappers.cert centaur/aignet/abc.cert centaur/aignet/cube-sat.cert centaur/aignet/top-doc.cert centaur/aignet/top.cert centaur/aignet/transforms.cert centaur/bridge/top.cert centaur/esim/stv/stv-debug.cert centaur/esim/stv/stv2c/top.cert centaur/esim/tests/add.cert centaur/esim/tests/common.cert centaur/esim/tests/divide.cert centaur/esim/tests/idiv.cert centaur/esim/tests/multiply.cert centaur/esim/tests/regs.cert centaur/esim/tests/subtract.cert centaur/esim/top-doc.cert centaur/esim/tutorial/alu16-book.cert centaur/esim/tutorial/boothmul.cert centaur/esim/tutorial/counter.cert centaur/esim/tutorial/intro.cert centaur/esim/vcd/vcd-impl.cert centaur/esim/vcd/vcd.cert centaur/fgl/equivcheck-test.cert centaur/fgl/equivcheck.cert centaur/fgl/exhaustive-test.cert centaur/fgl/greedy-int-slice-diffs.cert centaur/fgl/sat-default.cert centaur/fgl/satlink-sat.cert centaur/fgl/tests-ipasir.cert centaur/fgl/tests.cert centaur/fgl/top-bare.cert centaur/fgl/top-doc.cert centaur/fgl/top.cert centaur/gl/bfr-fraig-satlink.cert centaur/gl/bfr-satlink.cert centaur/gl/gl-ttags.cert centaur/gl/top-doc.cert centaur/glmc/bfr-mcheck-abc.cert centaur/glmc/glmc-test.cert centaur/ipasir/ipasir-backend-extra.cert centaur/ipasir/ipasir-backend.cert centaur/ipasir/ipasir-tests.cert centaur/ipasir/soundness-bug-fixed.cert centaur/ipasir/soundness-bug2-fixed.cert centaur/misc/sharedlibtest/app.cert centaur/misc/tshell-tests.cert centaur/misc/tshell-unsound.cert centaur/misc/tshell.cert centaur/quicklisp/base.cert centaur/quicklisp/bordeaux.cert centaur/quicklisp/bt-semaphore.cert centaur/quicklisp/cffi.cert centaur/quicklisp/cl-fad.cert centaur/quicklisp/fastnumio.cert centaur/quicklisp/html-template.cert centaur/quicklisp/hunchentoot.cert centaur/quicklisp/osicat.cert centaur/quicklisp/shellpool.cert centaur/quicklisp/top.cert centaur/quicklisp/uiop.cert centaur/satlink/benchmarks.cert centaur/satlink/check-config.cert centaur/satlink/top.cert centaur/sv/cosims/cosims.cert centaur/sv/svtv/svtv-generalize-test.cert centaur/sv/svtv/svtv-to-fsm-test.cert centaur/sv/tutorial/alu-2.cert centaur/sv/tutorial/alu.cert centaur/sv/tutorial/boothpipe-mini.cert centaur/sv/tutorial/boothpipe-svtv-spec.cert centaur/sv/tutorial/boothpipe-syn.cert centaur/sv/tutorial/boothpipe.cert centaur/sv/tutorial/sums.cert centaur/vl/kit/json.cert centaur/vl/kit/server.cert centaur/vl/kit/top.cert centaur/vl/loader/preprocessor/tests.cert centaur/vl/server/top.cert centaur/vl/top-doc.cert centaur/vl2014/kit/gather.cert centaur/vl2014/kit/json.cert centaur/vl2014/kit/lint.cert centaur/vl2014/kit/model.cert centaur/vl2014/kit/pp.cert centaur/vl2014/kit/progutils.cert centaur/vl2014/kit/server.cert centaur/vl2014/kit/shell.cert centaur/vl2014/kit/top.cert centaur/vl2014/server/file-layout.cert centaur/vl2014/server/server.cert centaur/vl2014/top-doc.cert doc/top.cert intel/assume-to-sva/assume-to-sva.cert intel/assume-to-sva/top.cert intel/svtv-to-sva/svtv-to-sva-main.cert intel/svtv-to-sva/top.cert kestrel/acl2data/gather/my-advice.cert kestrel/acl2data/gather/patch-book-advice.cert kestrel/acl2data/gather/tests/acl2data-files-agree.cert kestrel/acl2data/gather/tests/run-tests.cert kestrel/apt/doc.cert kestrel/apt/simplify-conjunctions-tests.cert kestrel/apt/simplify-conjunctions.cert kestrel/apt/solve-method-axe-rewriter.cert kestrel/apt/solve-tests-axe-rewriter.cert kestrel/apt/top.cert kestrel/axe/arm/doc.cert kestrel/axe/arm/examples/add/add-with-stop-pcs.cert kestrel/axe/arm/examples/add/add.cert kestrel/axe/arm/examples/popcount/popcount-32-proof.cert kestrel/axe/arm/examples/popcount/popcount-64-proof.cert kestrel/axe/arm/examples/tea/wiki.cert kestrel/axe/arm/rewriter.cert kestrel/axe/arm/top.cert kestrel/axe/arm/unroller.cert kestrel/axe/call-axe-script.cert kestrel/axe/def-simplified-tests.cert kestrel/axe/def-simplified.cert kestrel/axe/defthm-axe.cert kestrel/axe/defthm-stp-tests.cert kestrel/axe/defthm-stp.cert kestrel/axe/doc.cert kestrel/axe/equivalence-checker.cert kestrel/axe/examples/aes-blast-boolean.cert kestrel/axe/examples/aes-blast.cert kestrel/axe/examples/popcount-32.cert kestrel/axe/jvm/doc.cert kestrel/axe/jvm/lifter-utilities3.cert kestrel/axe/jvm/lifter.cert kestrel/axe/jvm/lifter2.cert kestrel/axe/jvm/rewriter-jvm.cert kestrel/axe/jvm/tester-exec.cert kestrel/axe/jvm/tester.cert kestrel/axe/jvm/top.cert kestrel/axe/jvm/unroller-common.cert kestrel/axe/jvm/unroller.cert kestrel/axe/jvm/unroller2.cert kestrel/axe/make-rewriter-simple.cert kestrel/axe/prove-equal-with-axe-plus-tests.cert kestrel/axe/prove-equal-with-axe-tests.cert kestrel/axe/prove-with-stp-tester.cert kestrel/axe/prove-with-stp-tests.cert kestrel/axe/prove-with-stp.cert kestrel/axe/prove-with-stp2.cert kestrel/axe/prover-tests.cert kestrel/axe/prover.cert kestrel/axe/prover2.cert kestrel/axe/prune-dag-approximately.cert kestrel/axe/prune-dag-precisely.cert kestrel/axe/prune-term-tests.cert kestrel/axe/prune-term.cert kestrel/axe/query-tests.cert kestrel/axe/query.cert kestrel/axe/r1cs/lift-r1cs-old.cert kestrel/axe/r1cs/lift-r1cs.cert kestrel/axe/r1cs/top.cert kestrel/axe/rewriter-alt-tests.cert kestrel/axe/rewriter-alt.cert kestrel/axe/rewriter-basic-code-only.cert kestrel/axe/rewriter-basic-smt-tests.cert kestrel/axe/rewriter-basic-smt.cert kestrel/axe/rewriter-basic-tests.cert kestrel/axe/rewriter-basic.cert kestrel/axe/rewriter-tests.cert kestrel/axe/rewriter.cert kestrel/axe/risc-v/doc.cert kestrel/axe/risc-v/examples/add/add-position-independent.cert kestrel/axe/risc-v/examples/add/add.cert kestrel/axe/risc-v/rewriter.cert kestrel/axe/risc-v/top.cert kestrel/axe/risc-v/unroller.cert kestrel/axe/specialize.cert kestrel/axe/stp-clause-processor-tests.cert kestrel/axe/stp-clause-processor.cert kestrel/axe/strengthen-facts.cert kestrel/axe/tactic-prover-tests.cert kestrel/axe/tactic-prover.cert kestrel/axe/tests-top.cert kestrel/axe/top.cert kestrel/axe/translate-dag-to-stp.cert kestrel/axe/unroll-spec-basic-tests.cert kestrel/axe/unroll-spec-basic.cert kestrel/axe/unroll-spec-tests.cert kestrel/axe/unroll-spec.cert kestrel/axe/x86/doc.cert kestrel/axe/x86/examples/abs/abs-elf64.cert kestrel/axe/x86/examples/add/add-elf64.cert kestrel/axe/x86/examples/charptr/charptr-locations-elf64.cert kestrel/axe/x86/examples/charptr/return-literal-elf64.cert kestrel/axe/x86/examples/charptr/simple-byte-elf64.cert kestrel/axe/x86/examples/factorial/factorial-elf64.cert kestrel/axe/x86/examples/factorial/factorial-macho64.cert kestrel/axe/x86/examples/formal-unit-tests/add/run-test.cert kestrel/axe/x86/examples/formal-unit-tests/sbox/run-tests.cert kestrel/axe/x86/examples/popcount/popcount-32-proof.cert kestrel/axe/x86/examples/popcount/popcount-64-proof.cert kestrel/axe/x86/examples/switch/switch-complex-1a-elf64.cert kestrel/axe/x86/examples/switch/switch-complex-elf64.cert kestrel/axe/x86/examples/switch/switch-complex-elf64staticO2.cert kestrel/axe/x86/examples/switch/switch-macho64.cert kestrel/axe/x86/examples/tea/tea-elf64.cert kestrel/axe/x86/examples/tea/tea-macho64.cert kestrel/axe/x86/loop-lifter.cert kestrel/axe/x86/prove-equivalence.cert kestrel/axe/x86/rewriter-x86-code-only.cert kestrel/axe/x86/rewriter-x86-tests.cert kestrel/axe/x86/rewriter-x86.cert kestrel/axe/x86/tester-code-only.cert kestrel/axe/x86/tester.cert kestrel/axe/x86/tests/kestrel/add-elf64-full.cert kestrel/axe/x86/tests/kestrel/add-elf64.cert kestrel/axe/x86/tests/kestrel/add-pe64.cert kestrel/axe/x86/tests/ndsu/run-tests-add.cert kestrel/axe/x86/tests/ndsu/run-tests-and.cert kestrel/axe/x86/tests/ndsu/run-tests-cmp.cert kestrel/axe/x86/tests/ndsu/run-tests-movddup.cert kestrel/axe/x86/tests/ndsu/run-tests-mul.cert kestrel/axe/x86/tests/ndsu/run-tests-or.cert kestrel/axe/x86/tests/ndsu/run-tests-padd.cert kestrel/axe/x86/tests/ndsu/run-tests-pand.cert kestrel/axe/x86/tests/ndsu/run-tests-por.cert kestrel/axe/x86/tests/ndsu/run-tests-psub.cert kestrel/axe/x86/tests/ndsu/run-tests-pxor.cert kestrel/axe/x86/tests/ndsu/run-tests-sub.cert kestrel/axe/x86/tests/ndsu/run-tests-vpadd128.cert kestrel/axe/x86/tests/ndsu/run-tests-xor.cert kestrel/axe/x86/top.cert kestrel/axe/x86/unroller-code-only.cert kestrel/axe/x86/unroller.cert kestrel/c/atc/atc.cert kestrel/c/atc/input-processing.cert kestrel/c/atc/tests/arrays.cert kestrel/c/atc/tests/assign.cert kestrel/c/atc/tests/calls.cert kestrel/c/atc/tests/checksum.cert kestrel/c/atc/tests/conditionals.cert kestrel/c/atc/tests/constants.cert kestrel/c/atc/tests/conversions.cert kestrel/c/atc/tests/ext-objs.cert kestrel/c/atc/tests/guard-mbt.cert kestrel/c/atc/tests/int.cert kestrel/c/atc/tests/locvars.cert kestrel/c/atc/tests/loops.cert kestrel/c/atc/tests/mbt.cert kestrel/c/atc/tests/nonstrict.cert kestrel/c/atc/tests/not.cert kestrel/c/atc/tests/operators.cert kestrel/c/atc/tests/ops-diff-types.cert kestrel/c/atc/tests/pointers.cert kestrel/c/atc/tests/structs.cert kestrel/c/atc/top.cert kestrel/c/examples/add-uints.cert kestrel/c/examples/strcpy-safe-induction.cert kestrel/c/examples/strcpy-safe.cert kestrel/c/syntax/external-preprocessing.cert kestrel/c/syntax/infer-ienv.cert kestrel/c/syntax/input-files.cert kestrel/c/syntax/preprocessing.cert kestrel/c/syntax/tests/disambiguator-trans-ensembles.cert kestrel/c/syntax/tests/input-files.cert kestrel/c/syntax/tests/output-files.cert kestrel/c/syntax/tests/preprocess-file.cert kestrel/c/syntax/top.cert kestrel/c/top.cert kestrel/c/transformation/command-line/transform-c.cert kestrel/c/transformation/command-line/wrappers.cert kestrel/c/transformation/tests/add-section-attr/add-section-attr.cert kestrel/c/transformation/tests/call-graph/call-graph.cert kestrel/c/transformation/tests/constant-propagation/constant-propagation.cert kestrel/c/transformation/tests/copy-fn/copy-fn.cert kestrel/c/transformation/tests/rename/rename.cert kestrel/c/transformation/tests/simpadd0/asg-int.cert kestrel/c/transformation/tests/simpadd0/asg-multi.cert kestrel/c/transformation/tests/simpadd0/bin.cert kestrel/c/transformation/tests/simpadd0/blocks.cert kestrel/c/transformation/tests/simpadd0/cast.cert kestrel/c/transformation/tests/simpadd0/constant.cert kestrel/c/transformation/tests/simpadd0/decl.cert kestrel/c/transformation/tests/simpadd0/dowhile.cert kestrel/c/transformation/tests/simpadd0/file-scope.cert kestrel/c/transformation/tests/simpadd0/gg.cert kestrel/c/transformation/tests/simpadd0/global.cert kestrel/c/transformation/tests/simpadd0/if.cert kestrel/c/transformation/tests/simpadd0/ifelse.cert kestrel/c/transformation/tests/simpadd0/logand.cert kestrel/c/transformation/tests/simpadd0/logor.cert kestrel/c/transformation/tests/simpadd0/nonint-const.cert kestrel/c/transformation/tests/simpadd0/nonint-param.cert kestrel/c/transformation/tests/simpadd0/nonint-return.cert kestrel/c/transformation/tests/simpadd0/noninteger.cert kestrel/c/transformation/tests/simpadd0/paren.cert kestrel/c/transformation/tests/simpadd0/pure-expr-stmt.cert kestrel/c/transformation/tests/simpadd0/return-void.cert kestrel/c/transformation/tests/simpadd0/stmt-null.cert kestrel/c/transformation/tests/simpadd0/ternary-int.cert kestrel/c/transformation/tests/simpadd0/unary.cert kestrel/c/transformation/tests/simpadd0/variable.cert kestrel/c/transformation/tests/simpadd0/while.cert kestrel/c/transformation/tests/specialize/specialize.cert kestrel/c/transformation/tests/split-all-gso/split-all-gso.cert kestrel/c/transformation/tests/split-fn-when/split-fn-when.cert kestrel/c/transformation/tests/split-fn/split-fn.cert kestrel/c/transformation/tests/split-gso/split-gso.cert kestrel/c/transformation/tests/wrap-fn/wrap-fn.cert kestrel/crypto/sha-3/connect-to-keccak-256.cert kestrel/crypto/sha-3/connect-to-keccak-8.cert kestrel/ethereum/semaphore/binsum-32-2-proof.cert kestrel/ethereum/semaphore/blake2s-mixing-proof.cert kestrel/ethereum/semaphore/lift-semaphore-r1cs.cert kestrel/ethereum/semaphore/mimcsponge-1-1-proof.cert kestrel/ethereum/semaphore/mimcsponge-2-1-proof.cert kestrel/ethereum/semaphore/mimcsponge-5-1-proof.cert kestrel/ethereum/semaphore/r1cs-proof-support.cert kestrel/ethereum/semaphore/rotr-32-7-proof.cert kestrel/ethereum/semaphore/top.cert kestrel/ethereum/semaphore/uint32add-2-proof.cert kestrel/ethereum/semaphore/uint32add-3-proof.cert kestrel/ethereum/semaphore/uint32xor-proof.cert kestrel/ethereum/top.cert kestrel/hdwallet/top.cert kestrel/hdwallet/wallet-executable.cert kestrel/hdwallet/wallet-tests.cert kestrel/helpers/advice-implementation.cert kestrel/helpers/advice-tests.cert kestrel/helpers/advice.cert kestrel/helpers/eval-models.cert kestrel/helpers/find-failed-books.cert kestrel/helpers/repair-book.cert kestrel/helpers/replay-book-with-advice.cert kestrel/helpers/replay-books-with-advice.cert kestrel/helpers/top.cert kestrel/htclient/post-light.cert kestrel/htclient/post.cert kestrel/htclient/top.cert kestrel/java/atj/atj.cert kestrel/java/atj/code-generation.cert kestrel/java/atj/input-processing.cert kestrel/java/atj/tests/abnf.cert kestrel/java/atj/tests/acl2-times.cert kestrel/java/atj/tests/booleans.cert kestrel/java/atj/tests/cache-const-methods.cert kestrel/java/atj/tests/factorial.cert kestrel/java/atj/tests/fibonacci.cert kestrel/java/atj/tests/hard-error.cert kestrel/java/atj/tests/multivalue.cert kestrel/java/atj/tests/natives.cert kestrel/java/atj/tests/no-aij-types.cert kestrel/java/atj/tests/packages.cert kestrel/java/atj/tests/primarrays.cert kestrel/java/atj/tests/primitives.cert kestrel/java/atj/top.cert kestrel/java/top.cert kestrel/jvm/doc.cert kestrel/jvm/read-jar.cert kestrel/jvm/top.cert kestrel/remora/parse-directory-files.cert kestrel/remora/parsing-and-printing.cert kestrel/remora/top.cert kestrel/top-doc.cert kestrel/top.cert kestrel/zcash/gadgets/a-3-3-1-alt-proof.cert kestrel/zcash/gadgets/a-3-3-1-proof.cert kestrel/zcash/gadgets/a-3-3-3-proof.cert kestrel/zcash/gadgets/a-3-3-4-proof.cert kestrel/zcash/gadgets/a-3-3-5-proof.cert kestrel/zcash/gadgets/a-3-3-6-proof.cert kestrel/zcash/gadgets/top.cert kestrel/zcash/lift-zcash-r1cs.cert kestrel/zcash/top.cert kestrel/zip/decompress-bytes.cert kestrel/zip/unzip.cert oslib/copy.cert oslib/dirname.cert oslib/file-types.cert oslib/ls.cert oslib/mkdir.cert oslib/rmtree.cert oslib/tests/copy.cert oslib/tests/dirname.cert oslib/tests/file-types.cert oslib/tests/ls.cert oslib/tests/mkdir.cert oslib/tests/top.cert oslib/top.cert projects/aleo/vm/circuits/axe/add-plus-3.cert projects/aleo/vm/circuits/axe/blake2s-one-round-proof.cert projects/aleo/vm/circuits/axe/blake2s-one-round-proof2.cert projects/aleo/vm/circuits/axe/blake2s-proof2.cert projects/aleo/vm/circuits/axe/keccak256-round-chi.cert projects/aleo/vm/circuits/axe/keccak256-round-theta-1.cert projects/aleo/vm/circuits/axe/keccak256-round-theta-2a.cert projects/aleo/vm/circuits/axe/keccak256-round-theta-2b.cert projects/aleo/vm/circuits/axe/keccak256-round.cert projects/aleo/vm/circuits/axe/poseidon-rate2-1.cert projects/aleo/vm/circuits/axe/poseidon-rate2-3.cert projects/aleo/vm/circuits/axe/poseidon-rate4-1.cert projects/aleo/vm/circuits/axe/poseidon-support.cert projects/aleo/vm/circuits/axe/support.cert projects/aleo/vm/circuits/axe/top-blake2s.cert projects/aleo/vm/circuits/axe/top-keccak-poseidon.cert projects/include-doc.cert projects/sidekick/eventdata.cert projects/sidekick/explore.cert projects/sidekick/lint.cert projects/sidekick/lock.cert projects/sidekick/lookup.cert projects/sidekick/server.cert projects/sidekick/session.cert projects/sidekick/top.cert projects/sidekick/webcommand.cert projects/smtlink/config.cert projects/smtlink/doc.cert projects/smtlink/examples/examples.cert projects/smtlink/examples/inverter.cert projects/smtlink/examples/ringosc.cert projects/smtlink/examples/util.cert projects/smtlink/top-doc.cert projects/smtlink/top.cert projects/smtlink/trusted/prove.cert projects/smtlink/trusted/run.cert projects/smtlink/trusted/trusted-cp.cert projects/smtlink/trusted/write.cert projects/smtlink/trusted/z3-py/header.cert projects/smtlink/trusted/z3-py/recover-type-hyp.cert projects/smtlink/trusted/z3-py/translate-type.cert projects/smtlink/trusted/z3-py/translator.cert projects/smtlink/verified/Smtlink.cert projects/smtlink/verified/add-hypo-cp.cert projects/smtlink/verified/computed-hints.cert projects/smtlink/verified/expand-cp.cert projects/smtlink/verified/extractor.cert projects/smtlink/verified/hint-interface.cert projects/smtlink/verified/hint-please.cert projects/smtlink/verified/type-extract-cp.cert projects/smtlink/verified/type-hyp.cert projects/smtlink/verified/uninterpreted-fn-cp.cert projects/top-doc.cert projects/top.cert projects/vescmul/demo/demo-1.cert projects/vescmul/demo/demo-2-expanded.cert projects/vescmul/demo/demo-2.cert projects/vescmul/demo/demo-3.cert projects/vescmul/demo/old-demo-1-svl.cert projects/vescmul/demo/old-demo-2-svl.cert projects/vescmul/demo/old-demo-3-svtv.cert projects/vescmul/demo/old-demo-4-svtv.cert projects/vescmul/top.cert projects/vwsim/gnuplot.cert projects/vwsim/tests/vwsim-tests-book.cert projects/vwsim/top.cert projects/vwsim/vwsim-doc.cert quicklisp/base.cert quicklisp/bordeaux.cert quicklisp/bt-semaphore.cert quicklisp/cffi.cert quicklisp/cl-fad.cert quicklisp/dexador.cert quicklisp/fastnumio.cert quicklisp/html-template.cert quicklisp/hunchentoot.cert quicklisp/osicat.cert quicklisp/shellpool.cert quicklisp/top.cert quicklisp/uiop.cert quicklisp/zippy.cert system/doc/acl2-manual.cert tools/oracle-timelimit-tests.cert tools/oracle-timelimit.cert tools/top.cert top.cert workshops/2017/swords/support/demos.cert workshops/2018/sumners/exa.cert workshops/2018/sumners/exbase.cert workshops/2018/sumners/exloop.cert workshops/2018/sumners/exsim.cert workshops/2018/sumners/extra.cert workshops/2018/sumners/readme.cert workshops/2018/sumners/svcnf.cert workshops/2020/kwan-peng-greenstreet/abstract-cs.cert workshops/2020/sswords-rewriter/support.cert workshops/2020/sumners/bake-models.cert workshops/2020/sumners/bake-proofs.cert workshops/2020/sumners/gen-models.cert workshops/2020/sumners/gl-fin-set.cert workshops/2020/sumners/gl-setup.cert workshops/2020/sumners/top.cert workshops/2022/walter-manolios/acl2s-utils/top.cert workshops/2022/walter-manolios/top.cert xdoc/all.cert xdoc/save-fancy.cert xdoc/save-rendered.cert xdoc/save.cert] Using clean.pl to remove certificates, etc. /build/reproducible-path/acl2-8.7+dfsg/books/build/clean.pl clean.pl: scanning for generated files clean.pl: found 4 targets (1 seconds) clean.pl: deleted 4 files (0 seconds) Cleaning up Quicklisp files cd quicklisp; ./clean.sh Cleaning quicklisp/bundle (only compiled files 'bundle.*', since outside git repository) Cleaning asdf-home/cache/common-lisp Cleaning quicklisp books clean.pl: scanning for generated files clean.pl: found 0 targets (0 seconds) clean.pl: deleted 0 files (0 seconds) if [ -d projects/milawa/ACL2 ] ; then \ cd projects/milawa/ACL2; /usr/bin/make clean ; \ fi make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/milawa/ACL2' Calculating cert dependencies... Calculating pcert dependencies... Done with dependencies. Cleaning ACL2 directory (certificates, ACL2 images, etc.) clean.pl: scanning for generated files clean.pl: found 1 targets (0 seconds) clean.pl: deleted 1 files (0 seconds) Cleaning ../Proofs directory. make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/milawa/ACL2' Cleaning centaur/vl/bin directory Cleaning centaur/vl2014/bin directory Removing extra, explicitly temporary files. rm -rf /build/reproducible-path/acl2-8.7+dfsg/books/build/Makefile-comp /build/reproducible-path/acl2-8.7+dfsg/books/build/Makefile-comp-pre /build/reproducible-path/acl2-8.7+dfsg/books/build/Makefile-deps /build/reproducible-path/acl2-8.7+dfsg/books/build/Makefile-books /build/reproducible-path/acl2-8.7+dfsg/books/build/Makefile-features /build/reproducible-path/acl2-8.7+dfsg/books/build/Makefile-cache serialize/test.sao bdd/benchmarks.lisp nonstd/workshops/1999/calculus/book/tree.lisp centaur/getopt/demo2.core centaur/getopt/demo2.gcl centaur/getopt/demo2.lw centaur/getopt/demo2.lx86cl64 centaur/getopt/demo2.dx86cl64 centaur/getopt/demo2.ccl nonstd/workshops/1999/calculus/book/outline/ projects/sat/lrat/incremental/lrat-check projects/sat/lrat/incremental/lrat-check.* projects/sat/lrat/cube/cube-check projects/sat/lrat/cube/cube-check.* projects/apply-model/ex1/evaluation-apply.lisp projects/apply-model/ex1/evaluation-user-defs.lisp projects/apply-model/ex2/evaluation-apply.lisp projects/apply-model/ex2/evaluation-user-defs.lisp projects/apply-model-2/ex1/evaluation-apply.lisp projects/apply-model-2/ex1/evaluation-user-defs.lisp projects/apply-model-2/ex2/evaluation-apply.lisp projects/apply-model-2/ex2/evaluation-user-defs.lisp for dir in system/toothbrush/ clause-processors/SULFA/ projects/translators/l3-to-acl2/ projects/acl2-in-hol/tests/ workshops/1999/multiplier/ workshops/2003/greve-wilding-vanfleet/support/ workshops/2003/kaufmann/support/input/ workshops/2003/kaufmann/support/rtl/ workshops/2004/sumners-ray/support/ projects/apply-model/ projects/apply-model-2/ ; \ do \ if [ -f $dir/Makefile ] ; then \ (cd $dir ; /usr/bin/make clean) ; \ fi ; \ done make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush' Updating dependencies in /build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush Note: For toothbrush, ACL2_DIR = /build/reproducible-path/acl2-8.7+dfsg/. rm -f defined-syms.lsp rm -f success.txt cd tests ; /usr/bin/make clean make[4]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests' make[5]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/test1' Updating dependencies in /build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/test1 rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/test1' make[5]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/test2' Updating dependencies in /build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/test2 rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/test2' make[5]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/test-par' Updating dependencies in /build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/test-par rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/test-par' make[5]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/dag-unification' Updating dependencies in /build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/dag-unification rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests/dag-unification' make[4]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush/tests' make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/system/toothbrush' make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA' rm -f \#*\# *~ rm -f scripts/interpret_sulfa_file /usr/bin/make PERL=perl SAT_SOLVER=/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/../../../aux/minisat2//minisat/core/minisat SAT_SOLVER_TYPE=minisat CC=gcc clean-subdirs make[4]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA' for dir in scripts c-files books; do \ /usr/bin/make PERL=perl SAT_SOLVER=/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/../../../aux/minisat2//minisat/core/minisat SAT_SOLVER_TYPE=minisat CC=gcc clean -C $dir; \ done make[5]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/scripts' rm -f sexpr-sat-solver *~ \#*\# rm -f *acl2_with_smt* temp_command_file.lisp rm -fr sat-temp-files rm -fr sulfa_smt_temp rm -f sulfa-smt rm -f interpret_sulfa_file make[5]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/scripts' make[5]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/c-files' rm -f sat-input-formater smt-prep zchaff-output-formater minisat-output-formater *~ #*# make[5]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/c-files' make[5]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books' make[6]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books/sat' rm -f \#*\# *.cert *~ *.sexpr *.d *.sot sulfa-dir-const.lisp sat-setup.data rm -f -r sat-temp-files make[6]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books/sat' make[6]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books/clause-processors' Updating dependencies in /build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books/clause-processors rm -f *.cert *~ *.sexpr *.d *.sot *~ \#*\# rm -f -r sat-temp-files make[6]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books/clause-processors' make[6]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books/sat-tests' rm -f *.cert *~ *.sexpr *.d *.sot rm -f -r sat-temp-files make[6]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books/sat-tests' make[6]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books/bv-smt-solver' Updating dependencies in /build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books/bv-smt-solver rm -f *.cert *~ *.sexpr *.d *.sot *~ \#*\# *.smt *.prepped rm -fr sat-temp-files rm -f *.bak make[6]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books/bv-smt-solver' make[5]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA/books' make[4]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA' make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/clause-processors/SULFA' make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/translators/l3-to-acl2' make[4]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/translators/l3-to-acl2/translator' Updating dependencies in /build/reproducible-path/acl2-8.7+dfsg/books/projects/translators/l3-to-acl2/translator make[4]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/translators/l3-to-acl2/translator' make[4]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/translators/l3-to-acl2/examples/thacker' rm -f tiny.lisp tiny-logic.lisp run-check.txt run-test.log make[4]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/translators/l3-to-acl2/examples/thacker' make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/translators/l3-to-acl2' make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/workshops/1999/multiplier' rm -f fmul.lisp fmul-star.lisp rm -f *.tem make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/workshops/1999/multiplier' make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/workshops/2003/greve-wilding-vanfleet/support' rm -f consistency-test.lisp make.lisp consistency-test-passed.lisp make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/workshops/2003/greve-wilding-vanfleet/support' make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/workshops/2003/kaufmann/support/input' rm -f defs-out.lisp defs-eq.lisp lemmas-out.lisp check.txt make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/workshops/2003/kaufmann/support/input' make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/workshops/2003/kaufmann/support/rtl' rm -f model.lisp model-defs.lisp model-eq.lisp model.lisp bvecp.lisp make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/workshops/2003/kaufmann/support/rtl' make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/workshops/2004/sumners-ray/support' Updating dependencies in /build/reproducible-path/acl2-8.7+dfsg/books/workshops/2004/sumners-ray/support rm -f *.rpt rm -f success.txt rm -f run.date run.log run.err make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/workshops/2004/sumners-ray/support' make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/apply-model' make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/apply-model' make[3]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/apply-model-2' make[3]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books/projects/apply-model-2' Removing even more generated files (documentation, etc). rm -rf doc/manual system/doc/manual system/doc/manual-fast doc/xdoc.sao kestrel/acl2data/gather/tests/runs make[2]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg/books' make[1]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg' find books -name "*.final" -exec rm {} \; rm -f debian/acl2.install debian/acl2-source.install debian/acl2-doc.install debian/acl2-books.install debian/acl2-books-source.install debian/acl2-books-certs.install debian/acl2-infix.install debian/acl2-infix-source.install debian/acl2.links debian/acl2-books.links debian/acl2-infix.links rm -f books/build/Makefile-sources books/build/Makefile-certs rm -f gcl_pool rm -f debian/acl2.lintian-overrides debian/elpa-acl2.lintian-overrides debian/acl2-books-certs.lintian-overrides debian/acl2-books-source.lintian-overrides debian/acl2-doc.lintian-overrides debian/acl2-books.lintian-overrides rm -f books/std/strings/binary.cert.temp books/std/strings/decimal.cert.temp books/std/strings/defs-program.cert.temp rm -f books/build/defrec-certdeps/*.certdep rm -f books/centaur/vl/kit/test.vlzip rm -f books/std/io/test.sao rm -f books/build/acl2-exports.certdep rm -f books/build/acl2-version.certdep rm -f books/build/ground-zero-theory.certdep rm -f books/build/first-order-like-terms-and-out-arities.certdep rm -f books/centaur/getopt/demo2 rm -f books/centaur/getopt/demo2-test.ok rm -f books/demos/event-data/test1@event-data.lsp rm -f books/demos/event-data/test1a@event-data.lsp rm -f books/demos/event-data/test2@event-data.lsp rm -f books/system/doc/rendered-doc.lsp gcl27 worklispext rm -rf books/projects/acl2-in-hol/tests/results rm -rf books/projects/acl2-in-hol/tests/logs rm -f books/projects/acl2-in-hol/lisp/workxxx* rm -rf rm -f books/projects/acl2-in-hol/tests/diffout rm -f books/projects/acl2-in-hol/tests/inputs/pkg-check.err rm -f books/projects/acl2-in-hol/tests/success.txt rm -f books/projects/acl2-in-hol/tests/inputs/pkg-check.txt rm -f debian/acl2.sh dh_clean -XTAGS debian/rules binary-arch ACL2_SNAPSHOT_INFO="commit 518b637a57 (tag: post-8.7-for-debian-gcl)" \ ACL2_SMALL_FIXNUMS=$(gcl27 -batch -eval '(princ (if (< (si::heap-report) 64) "T" ""))') \ /usr/bin/make GCL_MEM_BOUND=29 GCL_ANSI=t LISP=gcl27 & j=$! ; tail --retry -f make.log & k=$! ; wait $j ; kill $k tail: warning: --retry only effective for the initial open tail: cannot open 'make.log' for reading: No such file or directory The assertion !madvise(m,p2,MADV_HUGEPAGE) on line 78 of o/msbrk.c in function msbrk failed: Invalid argument Aborted make[1]: Entering directory '/build/reproducible-path/acl2-8.7+dfsg' Preparing to build saved_acl2 (log file make.log). Compiling ... ERROR: See make.log. make[1]: *** [GNUmakefile:752: large] Error 1 make[1]: Leaving directory '/build/reproducible-path/acl2-8.7+dfsg' mv *saved_acl2.gcl saved_acl2 mv: cannot stat '*saved_acl2.gcl': No such file or directory make: *** [debian/rules:86: saved_acl2] Error 1 dpkg-buildpackage: error: debian/rules binary-arch subprocess failed with exit status 2 -------------------------------------------------------------------------------- Build finished at 2026-08-30T07:17:32Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup Sun, 30 Aug 2026 07:17:33 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died with exit 2) +------------------------------------------------------------------------------+ | Summary Sun, 30 Aug 2026 07:17:41 +0000 | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 1274448 Build-Time: 345 Distribution: unstable Fail-Stage: build Host Architecture: riscv64 Install-Time: 10 Job: /srv/rebuilderd/tmp/rebuilderdMqXuO9/inputs/acl2_8.7+dfsg-3.dsc Machine Architecture: riscv64 Package: acl2 Package-Time: 432 Source-Version: 8.7+dfsg-3 Space: 1274448 Status: attempted Version: 8.7+dfsg-3 -------------------------------------------------------------------------------- Finished at 2026-08-30T07:17:32Z Build needed 00:07:12, 1274448k disk space E: Build failure (dpkg-buildpackage died with exit 2) sbuild failed