sbuild (Debian sbuild) 0.89.3+deb13u4 (28 December 2025) on mjolnir.einval.org +==============================================================================+ | acl2 8.6+dfsg-3 (amd64) Mon, 08 Jun 2026 20:21:27 +0000 | +==============================================================================+ Package: acl2 Version: 8.6+dfsg-3 Source Version: 8.6+dfsg-3 Distribution: unstable Machine Architecture: arm64 Host Architecture: amd64 Build Architecture: arm64 Build Profiles: cross nocheck Build Type: any I: Unpacking /home/helmut/.cache/sbuild/unstable-arm64-sbuild.tar.zst to /tmp/tmp.sbuild.tI5afO806m... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Mon, 08 Jun 2026 20:21:44 +0000 | +------------------------------------------------------------------------------+ Get:1 http://mirror.einval.org/debian unstable InRelease [189 kB] Get:2 http://mirror.einval.org/debian unstable/main Sources [11.5 MB] Get:3 http://mirror.einval.org/debian unstable/main amd64 Packages [10.5 MB] Get:4 http://mirror.einval.org/debian unstable/main arm64 Packages [10.4 MB] Fetched 32.7 MB in 8s (4340 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files Mon, 08 Jun 2026 20:22:00 +0000 | +------------------------------------------------------------------------------+ Check APT --------- Checking available source versions... Download source files with APT ------------------------------ Reading package lists... Need to get 241 MB of source archives. Get:1 http://mirror.einval.org/debian unstable/main acl2 8.6+dfsg-3 (dsc) [2288 B] Get:2 http://mirror.einval.org/debian unstable/main acl2 8.6+dfsg-3 (tar) [240 MB] Get:3 http://mirror.einval.org/debian unstable/main acl2 8.6+dfsg-3 (diff) [711 kB] Fetched 241 MB in 3s (92.9 MB/s) Download complete and in download only mode +------------------------------------------------------------------------------+ | Install package build dependencies Mon, 08 Jun 2026 20:22:05 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-4), debhelper (>= 13), texlive-latex-recommended, time, texinfo, tex-common, libc-dev, libstdc++-dev, build-essential:arm64, crossbuild-essential-amd64:arm64, apt-utils:arm64, libc-dev:amd64, libstdc++-dev:amd64 Filtered Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-4), debhelper (>= 13), texlive-latex-recommended, time, texinfo, tex-common, libc-dev, libstdc++-dev, build-essential:arm64, crossbuild-essential-amd64:arm64, apt-utils:arm64, libc-dev:amd64, libstdc++-dev:amd64 dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-VzRzOV/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-VzRzOV/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-VzRzOV/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-VzRzOV/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-VzRzOV/apt_archive ./ Sources [808 B] Get:5 copy:/build/reproducible-path/resolver-VzRzOV/apt_archive ./ Packages [851 B] Fetched 2268 B in 0s (103 kB/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... Execute external solver... The following additional packages will be installed: autoconf automake autopoint autotools-dev binutils-x86-64-linux-gnu bsdextrautils cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu crossbuild-essential-amd64 debhelper dh-autoreconf dh-strip-nondeterminism dwz file fontconfig-config fonts-dejavu-core fonts-dejavu-mono fonts-lmodern g++-15-x86-64-linux-gnu g++-x86-64-linux-gnu gcc-15-base:amd64 gcc-15-cross-base gcc-15-x86-64-linux-gnu gcc-15-x86-64-linux-gnu-base gcc-16-base:amd64 gcc-16-cross-base gcc-x86-64-linux-gnu gcl27:amd64 gettext gettext-base groff-base intltool-debian libarchive-zip-perl libasan8:amd64 libasan8-amd64-cross libatomic1:amd64 libatomic1-amd64-cross libbrotli1 libbsd0:amd64 libc-gconv-modules-extra:amd64 libc6:amd64 libc6-amd64-cross libc6-dev:amd64 libc6-dev-amd64-cross libcairo2 libcom-err2:amd64 libdebhelper-perl libedit2:amd64 libelf1t64 libexpat1 libffi8 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libgcc-15-dev:amd64 libgcc-15-dev-amd64-cross libgcc-s1:amd64 libgcc-s1-amd64-cross libglib2.0-0t64 libgmp10:amd64 libgomp1:amd64 libgomp1-amd64-cross libgraphite2-3 libgssapi-krb5-2:amd64 libharfbuzz-subset0 libharfbuzz0b libhwasan0:amd64 libhwasan0-amd64-cross libice6 libicu78 libintl-perl libitm1:amd64 libitm1-amd64-cross libk5crypto3:amd64 libkeyutils1:amd64 libkpathsea6 libkrb5-3:amd64 libkrb5support0:amd64 liblsan0:amd64 liblsan0-amd64-cross libmagic-mgc libmagic1t64 libmd0:amd64 libmpfi0 libncursesw6 libpaper-utils libpaper2 libpipeline1 libpixman-1-0 libpng16-16t64 libpotrace0 libproc2-0 libptexenc1 libquadmath0:amd64 libquadmath0-amd64-cross libsm6 libssl3t64:amd64 libstdc++-15-dev:amd64 libstdc++-15-dev-amd64-cross libstdc++6:amd64 libstdc++6-amd64-cross libsynctex2 libteckit0 libtexlua53-5 libtext-charwidth-perl libtext-unidecode-perl libtext-wrapi18n-perl libtinfo6:amd64 libtirpc-common libtirpc-dev:amd64 libtirpc3t64:amd64 libtool libtsan2:amd64 libtsan2-amd64-cross libubsan1:amd64 libubsan1-amd64-cross libuchardet0 libunistring5 libx11-6 libx11-6:amd64 libx11-data libxau6 libxau6:amd64 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxcb1:amd64 libxdmcp6 libxdmcp6:amd64 libxext6 libxi6 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2-16 libxmu6 libxpm4 libxrender1 libxt6t64 libzstd1:amd64 libzzip-0-13t64 linux-libc-dev-amd64-cross m4 man-db po-debconf procps sensible-utils t1utils tex-common texinfo texinfo-lib texlive-base texlive-binaries texlive-latex-base texlive-latex-recommended time ucf x11-common xdg-utils zlib1g:amd64 Suggested packages: autoconf-archive gnu-standards autoconf-doc binutils-doc gcc-15-locales cpp-15-doc cpp-doc dh-make gcc-15-doc manpages-dev flex bison gdb-x86-64-linux-gnu gcc-doc gcl27-doc:amd64 gettext-doc libasprintf-dev libgettextpo-dev gnulib-l10n groff glibc-doc:amd64 libc-l10n:amd64 locales:amd64 libnss-nis:amd64 libnss-nisplus:amd64 manpages-dev:amd64 low-memory-monitor krb5-doc:amd64 krb5-user:amd64 libmpfi-doc libstdc++-15-doc:amd64 libtool-doc gfortran | fortran95-compiler m4-doc apparmor less www-browser libmail-box-perl texlive-plain-generic texlive-fonts-recommended ghostscript gv | postscript-viewer perl-tk xpdf | pdf-viewer xzdec texlive-binaries-sse2 hintview texlive-latex-base-doc wp2latex texlive-latex-recommended-doc texlive-luatex texlive-pstricks Recommended packages: curl | wget | lynx libidn2-0:amd64 libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libintl-xs-perl krb5-locales:amd64 libgpm2 libltdl-dev libwww-perl libxml-sax-expat-perl libmail-sendmail-perl psmisc linux-sysctl-defaults lmodern dvisvgm libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils x11-xserver-utils The following NEW packages will be installed: autoconf automake autopoint autotools-dev binutils-x86-64-linux-gnu bsdextrautils cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu crossbuild-essential-amd64 debhelper dh-autoreconf dh-strip-nondeterminism dwz file fontconfig-config fonts-dejavu-core fonts-dejavu-mono fonts-lmodern g++-15-x86-64-linux-gnu g++-x86-64-linux-gnu gcc-15-base:amd64 gcc-15-cross-base gcc-15-x86-64-linux-gnu gcc-15-x86-64-linux-gnu-base gcc-16-base:amd64 gcc-16-cross-base gcc-x86-64-linux-gnu gcl27:amd64 gettext gettext-base groff-base intltool-debian libarchive-zip-perl libasan8:amd64 libasan8-amd64-cross libatomic1:amd64 libatomic1-amd64-cross libbrotli1 libbsd0:amd64 libc-gconv-modules-extra:amd64 libc6:amd64 libc6-amd64-cross libc6-dev:amd64 libc6-dev-amd64-cross libcairo2 libcom-err2:amd64 libdebhelper-perl libedit2:amd64 libelf1t64 libexpat1 libffi8 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libgcc-15-dev:amd64 libgcc-15-dev-amd64-cross libgcc-s1:amd64 libgcc-s1-amd64-cross libglib2.0-0t64 libgmp10:amd64 libgomp1:amd64 libgomp1-amd64-cross libgraphite2-3 libgssapi-krb5-2:amd64 libharfbuzz-subset0 libharfbuzz0b libhwasan0:amd64 libhwasan0-amd64-cross libice6 libicu78 libintl-perl libitm1:amd64 libitm1-amd64-cross libk5crypto3:amd64 libkeyutils1:amd64 libkpathsea6 libkrb5-3:amd64 libkrb5support0:amd64 liblsan0:amd64 liblsan0-amd64-cross libmagic-mgc libmagic1t64 libmd0:amd64 libmpfi0 libncursesw6 libpaper-utils libpaper2 libpipeline1 libpixman-1-0 libpng16-16t64 libpotrace0 libproc2-0 libptexenc1 libquadmath0:amd64 libquadmath0-amd64-cross libsm6 libssl3t64:amd64 libstdc++-15-dev:amd64 libstdc++-15-dev-amd64-cross libstdc++6:amd64 libstdc++6-amd64-cross libsynctex2 libteckit0 libtexlua53-5 libtext-charwidth-perl libtext-unidecode-perl libtext-wrapi18n-perl libtinfo6:amd64 libtirpc-common libtirpc-dev:amd64 libtirpc3t64:amd64 libtool libtsan2:amd64 libtsan2-amd64-cross libubsan1:amd64 libubsan1-amd64-cross libuchardet0 libunistring5 libx11-6 libx11-6:amd64 libx11-data libxau6 libxau6:amd64 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxcb1:amd64 libxdmcp6 libxdmcp6:amd64 libxext6 libxi6 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2-16 libxmu6 libxpm4 libxrender1 libxt6t64 libzstd1:amd64 libzzip-0-13t64 linux-libc-dev-amd64-cross m4 man-db po-debconf procps sbuild-build-depends-main-dummy:amd64 sensible-utils t1utils tex-common texinfo texinfo-lib texlive-base texlive-binaries texlive-latex-base texlive-latex-recommended time ucf x11-common xdg-utils zlib1g:amd64 0 upgraded, 163 newly installed, 0 to remove and 0 not upgraded. Need to get 244 MB of archives. After this operation, 1327 MB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-VzRzOV/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [956 B] Get:2 http://mirror.einval.org/debian unstable/main arm64 libexpat1 arm64 2.8.1-1 [103 kB] Get:3 http://mirror.einval.org/debian unstable/main arm64 libncursesw6 arm64 6.6+20251231-1+b1 [125 kB] Get:4 http://mirror.einval.org/debian unstable/main arm64 libproc2-0 arm64 2:4.0.4-9+b2 [60.1 kB] Get:5 http://mirror.einval.org/debian unstable/main arm64 procps arm64 2:4.0.4-9+b2 [867 kB] Get:6 http://mirror.einval.org/debian unstable/main arm64 sensible-utils all 0.0.26 [27.0 kB] Get:7 http://mirror.einval.org/debian unstable/main arm64 libmagic-mgc arm64 1:5.47-4 [345 kB] Get:8 http://mirror.einval.org/debian unstable/main arm64 libmagic1t64 arm64 1:5.47-4 [104 kB] Get:9 http://mirror.einval.org/debian unstable/main arm64 file arm64 1:5.47-4 [43.2 kB] Get:10 http://mirror.einval.org/debian unstable/main arm64 gettext-base arm64 0.26-1 [310 kB] Get:11 http://mirror.einval.org/debian unstable/main arm64 libuchardet0 arm64 0.0.8-2+b2 [69.1 kB] Get:12 http://mirror.einval.org/debian unstable/main arm64 groff-base arm64 1.24.1-1 [1270 kB] Get:13 http://mirror.einval.org/debian unstable/main arm64 bsdextrautils arm64 2.42.1-2 [97.9 kB] Get:14 http://mirror.einval.org/debian unstable/main arm64 libpipeline1 arm64 1.5.8-3 [47.2 kB] Get:15 http://mirror.einval.org/debian unstable/main arm64 man-db arm64 2.13.1-1+b1 [1455 kB] Get:16 http://mirror.einval.org/debian unstable/main arm64 libtext-charwidth-perl arm64 0.04-12 [9172 B] Get:17 http://mirror.einval.org/debian unstable/main arm64 libtext-wrapi18n-perl all 0.06-11 [7788 B] Get:18 http://mirror.einval.org/debian unstable/main arm64 ucf all 3.0053 [41.9 kB] Get:19 http://mirror.einval.org/debian unstable/main arm64 m4 arm64 1.4.21-1 [323 kB] Get:20 http://mirror.einval.org/debian unstable/main arm64 autoconf all 2.73-2 [516 kB] Get:21 http://mirror.einval.org/debian unstable/main arm64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:22 http://mirror.einval.org/debian unstable/main arm64 automake all 1:1.18.1-4 [877 kB] Get:23 http://mirror.einval.org/debian unstable/main arm64 autopoint all 0.26-1 [802 kB] Get:24 http://mirror.einval.org/debian unstable/main arm64 gcc-15-x86-64-linux-gnu-base arm64 15.2.0-17cross1 [37.0 kB] Get:25 http://mirror.einval.org/debian unstable/main arm64 cpp-15-x86-64-linux-gnu arm64 15.2.0-17cross1 [11.3 MB] Get:26 http://mirror.einval.org/debian unstable/main arm64 cpp-x86-64-linux-gnu arm64 4:15.2.0-5+b1 [4644 B] Get:27 http://mirror.einval.org/debian unstable/main arm64 binutils-x86-64-linux-gnu arm64 2.46-3 [1536 kB] Get:28 http://mirror.einval.org/debian unstable/main arm64 gcc-15-cross-base all 15.2.0-17cross1 [32.3 kB] Get:29 http://mirror.einval.org/debian unstable/main arm64 gcc-16-cross-base all 16-20260425-1cross1 [31.6 kB] Get:30 http://mirror.einval.org/debian unstable/main arm64 libgcc-s1-amd64-cross all 16-20260425-1cross1 [74.0 kB] Get:31 http://mirror.einval.org/debian unstable/main arm64 libgomp1-amd64-cross all 16-20260425-1cross1 [146 kB] Get:32 http://mirror.einval.org/debian unstable/main arm64 libitm1-amd64-cross all 16-20260425-1cross1 [27.0 kB] Get:33 http://mirror.einval.org/debian unstable/main arm64 libatomic1-amd64-cross all 16-20260425-1cross1 [10.5 kB] Get:34 http://mirror.einval.org/debian unstable/main arm64 libasan8-amd64-cross all 16-20260425-1cross1 [2878 kB] Get:35 http://mirror.einval.org/debian unstable/main arm64 liblsan0-amd64-cross all 16-20260425-1cross1 [1279 kB] Get:36 http://mirror.einval.org/debian unstable/main arm64 libtsan2-amd64-cross all 16-20260425-1cross1 [2560 kB] Get:37 http://mirror.einval.org/debian unstable/main arm64 libc6-amd64-cross all 2.42-12cross1 [1577 kB] Get:38 http://mirror.einval.org/debian unstable/main arm64 libstdc++6-amd64-cross all 16-20260425-1cross1 [801 kB] Get:39 http://mirror.einval.org/debian unstable/main arm64 libubsan1-amd64-cross all 16-20260425-1cross1 [1135 kB] Get:40 http://mirror.einval.org/debian unstable/main arm64 libhwasan0-amd64-cross all 16-20260425-1cross1 [1576 kB] Get:41 http://mirror.einval.org/debian unstable/main arm64 libquadmath0-amd64-cross all 16-20260425-1cross1 [148 kB] Get:42 http://mirror.einval.org/debian unstable/main arm64 libgcc-15-dev-amd64-cross all 15.2.0-17cross1 [2704 kB] Get:43 http://mirror.einval.org/debian unstable/main arm64 gcc-15-x86-64-linux-gnu arm64 15.2.0-17cross1 [21.8 MB] Get:44 http://mirror.einval.org/debian unstable/main arm64 gcc-x86-64-linux-gnu arm64 4:15.2.0-5+b1 [1452 B] Get:45 http://mirror.einval.org/debian unstable/main arm64 linux-libc-dev-amd64-cross all 7.0.10-1 [12.5 kB] Get:46 http://mirror.einval.org/debian unstable/main arm64 libc6-dev-amd64-cross all 2.42-12cross1 [2010 kB] Get:47 http://mirror.einval.org/debian unstable/main arm64 libstdc++-15-dev-amd64-cross all 15.2.0-17cross1 [2737 kB] Get:48 http://mirror.einval.org/debian unstable/main arm64 g++-15-x86-64-linux-gnu arm64 15.2.0-17cross1 [12.3 MB] Get:49 http://mirror.einval.org/debian unstable/main arm64 g++-x86-64-linux-gnu arm64 4:15.2.0-5+b1 [1208 B] Get:50 http://mirror.einval.org/debian unstable/main arm64 crossbuild-essential-amd64 all 12.12 [3552 B] Get:51 http://mirror.einval.org/debian unstable/main arm64 libdebhelper-perl all 13.32 [76.8 kB] Get:52 http://mirror.einval.org/debian unstable/main arm64 libtool all 2.5.4-11 [539 kB] Get:53 http://mirror.einval.org/debian unstable/main arm64 dh-autoreconf all 22 [12.2 kB] Get:54 http://mirror.einval.org/debian unstable/main arm64 libarchive-zip-perl all 1.68-1 [104 kB] Get:55 http://mirror.einval.org/debian unstable/main arm64 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Get:56 http://mirror.einval.org/debian unstable/main arm64 dh-strip-nondeterminism all 1.15.0-1 [8812 B] Get:57 http://mirror.einval.org/debian unstable/main arm64 libelf1t64 arm64 0.195-1 [57.5 kB] Get:58 http://mirror.einval.org/debian unstable/main arm64 dwz arm64 0.16-4 [99.2 kB] Get:59 http://mirror.einval.org/debian unstable/main arm64 libunistring5 arm64 1.4.2-1 [455 kB] Get:60 http://mirror.einval.org/debian unstable/main arm64 libxml2-16 arm64 2.15.3+dfsg-1 [593 kB] Get:61 http://mirror.einval.org/debian unstable/main arm64 gettext arm64 0.26-1 [2205 kB] Get:62 http://mirror.einval.org/debian unstable/main arm64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:63 http://mirror.einval.org/debian unstable/main arm64 po-debconf all 1.0.22 [216 kB] Get:64 http://mirror.einval.org/debian unstable/main arm64 debhelper all 13.32 [933 kB] Get:65 http://mirror.einval.org/debian unstable/main arm64 fonts-dejavu-mono all 2.37-9 [488 kB] Get:66 http://mirror.einval.org/debian unstable/main arm64 fonts-dejavu-core all 2.37-9 [840 kB] Get:67 http://mirror.einval.org/debian unstable/main arm64 fontconfig-config arm64 2.17.1-5 [56.1 kB] Get:68 http://mirror.einval.org/debian unstable/main arm64 fonts-lmodern all 2.005-1 [4540 kB] Get:69 http://mirror.einval.org/debian unstable/main amd64 gcc-15-base amd64 15.2.0-17 [36.8 kB] Get:70 http://mirror.einval.org/debian unstable/main amd64 gcc-16-base amd64 16.1.0-1 [36.2 kB] Get:71 http://mirror.einval.org/debian unstable/main amd64 libgcc-s1 amd64 16.1.0-1 [74.0 kB] Get:72 http://mirror.einval.org/debian unstable/main amd64 libc-gconv-modules-extra amd64 2.42-16 [1098 kB] Get:73 http://mirror.einval.org/debian unstable/main amd64 libc6 amd64 2.42-16 [1789 kB] Get:74 http://mirror.einval.org/debian unstable/main amd64 libmd0 amd64 1.2.0-2 [43.2 kB] Get:75 http://mirror.einval.org/debian unstable/main amd64 libbsd0 amd64 0.12.2-3 [132 kB] Get:76 http://mirror.einval.org/debian unstable/main amd64 libtinfo6 amd64 6.6+20251231-1+b1 [350 kB] Get:77 http://mirror.einval.org/debian unstable/main amd64 libedit2 amd64 3.1-20260512-1 [93.6 kB] Get:78 http://mirror.einval.org/debian unstable/main amd64 libgmp10 amd64 2:6.3.0+dfsg-5+b2 [560 kB] Get:79 http://mirror.einval.org/debian unstable/main amd64 libkrb5support0 amd64 1.22.1-2.1 [30.9 kB] Get:80 http://mirror.einval.org/debian unstable/main amd64 libcom-err2 amd64 1.47.4-1 [19.2 kB] Get:81 http://mirror.einval.org/debian unstable/main amd64 libk5crypto3 amd64 1.22.1-2.1 [78.8 kB] Get:82 http://mirror.einval.org/debian unstable/main amd64 libkeyutils1 amd64 1.6.3-6+b2 [9348 B] Get:83 http://mirror.einval.org/debian unstable/main amd64 libzstd1 amd64 1.5.7+dfsg-3+b2 [305 kB] Get:84 http://mirror.einval.org/debian unstable/main amd64 zlib1g amd64 1:1.3.dfsg+really1.3.2-3 [90.9 kB] Get:85 http://mirror.einval.org/debian unstable/main amd64 libssl3t64 amd64 3.6.2-1 [2482 kB] Get:86 http://mirror.einval.org/debian unstable/main amd64 libkrb5-3 amd64 1.22.1-2.1 [335 kB] Get:87 http://mirror.einval.org/debian unstable/main amd64 libgssapi-krb5-2 amd64 1.22.1-2.1 [137 kB] Get:88 http://mirror.einval.org/debian unstable/main arm64 libtirpc-common all 1.3.7+ds-1 [10.0 kB] Get:89 http://mirror.einval.org/debian unstable/main amd64 libtirpc3t64 amd64 1.3.7+ds-1 [82.9 kB] Get:90 http://mirror.einval.org/debian unstable/main amd64 libxau6 amd64 1:1.0.11-1+b2 [20.7 kB] Get:91 http://mirror.einval.org/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.5-2+b1 [28.2 kB] Get:92 http://mirror.einval.org/debian unstable/main amd64 libxcb1 amd64 1.17.0-2+b2 [144 kB] Get:93 http://mirror.einval.org/debian unstable/main arm64 libx11-data all 2:1.8.13-1 [346 kB] Get:94 http://mirror.einval.org/debian unstable/main amd64 libx11-6 amd64 2:1.8.13-1 [829 kB] Get:95 http://mirror.einval.org/debian unstable/main amd64 libtirpc-dev amd64 1.3.7+ds-1 [190 kB] Get:96 http://mirror.einval.org/debian unstable/main amd64 gcl27 amd64 2.7.1-24 [68.7 MB] Get:97 http://mirror.einval.org/debian unstable/main amd64 libasan8 amd64 16.1.0-1 [2888 kB] Get:98 http://mirror.einval.org/debian unstable/main amd64 libatomic1 amd64 16.1.0-1 [10.4 kB] Get:99 http://mirror.einval.org/debian unstable/main arm64 libbrotli1 arm64 1.2.0-3 [295 kB] Get:100 http://mirror.einval.org/debian unstable/main amd64 libc6-dev amd64 2.42-16 [1996 kB] Get:101 http://mirror.einval.org/debian unstable/main arm64 libpng16-16t64 arm64 1.6.58-1 [276 kB] Get:102 http://mirror.einval.org/debian unstable/main arm64 libfreetype6 arm64 2.14.3+dfsg-1 [457 kB] Get:103 http://mirror.einval.org/debian unstable/main arm64 libfontconfig1 arm64 2.17.1-5 [125 kB] Get:104 http://mirror.einval.org/debian unstable/main arm64 libpixman-1-0 arm64 0.46.4-1+b2 [173 kB] Get:105 http://mirror.einval.org/debian unstable/main arm64 libxau6 arm64 1:1.0.11-1+b2 [20.8 kB] Get:106 http://mirror.einval.org/debian unstable/main arm64 libxdmcp6 arm64 1:1.1.5-2+b1 [28.2 kB] Get:107 http://mirror.einval.org/debian unstable/main arm64 libxcb1 arm64 1.17.0-2+b2 [142 kB] Get:108 http://mirror.einval.org/debian unstable/main arm64 libx11-6 arm64 2:1.8.13-1 [799 kB] Get:109 http://mirror.einval.org/debian unstable/main arm64 libxcb-render0 arm64 1.17.0-2+b2 [115 kB] Get:110 http://mirror.einval.org/debian unstable/main arm64 libxcb-shm0 arm64 1.17.0-2+b2 [105 kB] Get:111 http://mirror.einval.org/debian unstable/main arm64 libxext6 arm64 2:1.3.4-1+b4 [49.0 kB] Get:112 http://mirror.einval.org/debian unstable/main arm64 libxrender1 arm64 1:0.9.12-1+b2 [27.2 kB] Get:113 http://mirror.einval.org/debian unstable/main arm64 libcairo2 arm64 1.18.4-3+b1 [477 kB] Get:114 http://mirror.einval.org/debian unstable/main arm64 libffi8 arm64 3.5.2-4 [22.2 kB] Get:115 http://mirror.einval.org/debian unstable/main amd64 libgomp1 amd64 16.1.0-1 [151 kB] Get:116 http://mirror.einval.org/debian unstable/main amd64 libitm1 amd64 16.1.0-1 [27.0 kB] Get:117 http://mirror.einval.org/debian unstable/main amd64 liblsan0 amd64 16.1.0-1 [1281 kB] Get:118 http://mirror.einval.org/debian unstable/main amd64 libtsan2 amd64 16.1.0-1 [2572 kB] Get:119 http://mirror.einval.org/debian unstable/main amd64 libstdc++6 amd64 16.1.0-1 [823 kB] Get:120 http://mirror.einval.org/debian unstable/main amd64 libubsan1 amd64 16.1.0-1 [1136 kB] Get:121 http://mirror.einval.org/debian unstable/main amd64 libhwasan0 amd64 16.1.0-1 [1580 kB] Get:122 http://mirror.einval.org/debian unstable/main amd64 libquadmath0 amd64 16.1.0-1 [148 kB] Get:123 http://mirror.einval.org/debian unstable/main amd64 libgcc-15-dev amd64 15.2.0-17 [2718 kB] Get:124 http://mirror.einval.org/debian unstable/main arm64 libglib2.0-0t64 arm64 2.88.1-2 [1428 kB] Get:125 http://mirror.einval.org/debian unstable/main arm64 libgraphite2-3 arm64 1.3.15-2 [69.6 kB] Get:126 http://mirror.einval.org/debian unstable/main arm64 libharfbuzz0b arm64 12.3.2-2+b2 [471 kB] Get:127 http://mirror.einval.org/debian unstable/main arm64 libharfbuzz-subset0 arm64 12.3.2-2+b2 [513 kB] Get:128 http://mirror.einval.org/debian unstable/main arm64 x11-common all 1:7.7+26 [217 kB] Get:129 http://mirror.einval.org/debian unstable/main arm64 libice6 arm64 2:1.1.1-1+b2 [63.1 kB] Get:130 http://mirror.einval.org/debian unstable/main arm64 libicu78 arm64 78.3-2 [9803 kB] Get:131 http://mirror.einval.org/debian unstable/main arm64 libintl-perl all 1.37-1 [696 kB] Get:132 http://mirror.einval.org/debian unstable/main arm64 libkpathsea6 arm64 2026.20260303.78225+ds-4 [154 kB] Get:133 http://mirror.einval.org/debian unstable/main arm64 libmpfi0 arm64 1.5.4+ds-5 [34.7 kB] Get:134 http://mirror.einval.org/debian unstable/main arm64 libpaper2 arm64 2.2.5-0.4 [16.5 kB] Get:135 http://mirror.einval.org/debian unstable/main arm64 libpaper-utils arm64 2.2.5-0.4 [15.7 kB] Get:136 http://mirror.einval.org/debian unstable/main arm64 libpotrace0 arm64 1.16-2+b3 [23.3 kB] Get:137 http://mirror.einval.org/debian unstable/main arm64 libptexenc1 arm64 2026.20260303.78225+ds-4 [50.8 kB] Get:138 http://mirror.einval.org/debian unstable/main arm64 libsm6 arm64 2:1.2.6-1+b2 [36.8 kB] Get:139 http://mirror.einval.org/debian unstable/main amd64 libstdc++-15-dev amd64 15.2.0-17 [2780 kB] Get:140 http://mirror.einval.org/debian unstable/main arm64 libsynctex2 arm64 2026.20260303.78225+ds-4 [59.9 kB] Get:141 http://mirror.einval.org/debian unstable/main arm64 libteckit0 arm64 2.5.13+ds-1+b1 [316 kB] Get:142 http://mirror.einval.org/debian unstable/main arm64 libtexlua53-5 arm64 2026.20260303.78225+ds-4 [104 kB] Get:143 http://mirror.einval.org/debian unstable/main arm64 libtext-unidecode-perl all 1.30-3 [101 kB] Get:144 http://mirror.einval.org/debian unstable/main arm64 libxt6t64 arm64 1:1.2.1-1.3+b2 [174 kB] Get:145 http://mirror.einval.org/debian unstable/main arm64 libxmu6 arm64 2:1.1.3-4+b1 [55.4 kB] Get:146 http://mirror.einval.org/debian unstable/main arm64 libxpm4 arm64 1:3.5.19-1 [55.4 kB] Get:147 http://mirror.einval.org/debian unstable/main arm64 libxaw7 arm64 2:1.0.16-1+b2 [194 kB] Get:148 http://mirror.einval.org/debian unstable/main arm64 libxi6 arm64 2:1.8.2-2+b1 [77.7 kB] Get:149 http://mirror.einval.org/debian unstable/main arm64 libxml-namespacesupport-perl all 1.12-2 [15.1 kB] Get:150 http://mirror.einval.org/debian unstable/main arm64 libxml-sax-base-perl all 1.09-3 [20.6 kB] Get:151 http://mirror.einval.org/debian unstable/main arm64 libxml-sax-perl all 1.02+dfsg-5 [53.6 kB] Get:152 http://mirror.einval.org/debian unstable/main arm64 libxml-libxml-perl arm64 2.0207+dfsg+really+2.0134-8 [298 kB] Get:153 http://mirror.einval.org/debian unstable/main arm64 libzzip-0-13t64 arm64 0.13.78+dfsg.1-0.2+b1 [59.2 kB] Get:154 http://mirror.einval.org/debian unstable/main arm64 t1utils arm64 1.41-4+b2 [57.5 kB] Get:155 http://mirror.einval.org/debian unstable/main arm64 tex-common all 6.20 [29.7 kB] Get:156 http://mirror.einval.org/debian unstable/main arm64 texinfo-lib arm64 7.3-2 [658 kB] Get:157 http://mirror.einval.org/debian unstable/main arm64 texinfo all 7.3-2 [1877 kB] Get:158 http://mirror.einval.org/debian unstable/main arm64 texlive-binaries arm64 2026.20260303.78225+ds-4 [7919 kB] Get:159 http://mirror.einval.org/debian unstable/main arm64 xdg-utils all 1.2.1-2 [75.8 kB] Get:160 http://mirror.einval.org/debian unstable/main arm64 texlive-base all 2026.20260527-3 [23.9 MB] Get:161 http://mirror.einval.org/debian unstable/main arm64 texlive-latex-base all 2026.20260527-3 [1437 kB] Get:162 http://mirror.einval.org/debian unstable/main arm64 texlive-latex-recommended all 2026.20260527-3 [8452 kB] Get:163 http://mirror.einval.org/debian unstable/main arm64 time arm64 1.10-0.1 [58.3 kB] Preconfiguring packages ... Fetched 244 MB in 2s (103 MB/s) Selecting previously unselected package libexpat1:arm64. (Reading database ... 12136 files and directories currently installed.) Preparing to unpack .../000-libexpat1_2.8.1-1_arm64.deb ... Unpacking libexpat1:arm64 (2.8.1-1) ... Selecting previously unselected package libncursesw6:arm64. Preparing to unpack .../001-libncursesw6_6.6+20251231-1+b1_arm64.deb ... Unpacking libncursesw6:arm64 (6.6+20251231-1+b1) ... Selecting previously unselected package libproc2-0:arm64. Preparing to unpack .../002-libproc2-0_2%3a4.0.4-9+b2_arm64.deb ... Unpacking libproc2-0:arm64 (2:4.0.4-9+b2) ... Selecting previously unselected package procps. Preparing to unpack .../003-procps_2%3a4.0.4-9+b2_arm64.deb ... Unpacking procps (2:4.0.4-9+b2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../004-sensible-utils_0.0.26_all.deb ... Unpacking sensible-utils (0.0.26) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../005-libmagic-mgc_1%3a5.47-4_arm64.deb ... Unpacking libmagic-mgc (1:5.47-4) ... Selecting previously unselected package libmagic1t64:arm64. Preparing to unpack .../006-libmagic1t64_1%3a5.47-4_arm64.deb ... Unpacking libmagic1t64:arm64 (1:5.47-4) ... Selecting previously unselected package file. Preparing to unpack .../007-file_1%3a5.47-4_arm64.deb ... Unpacking file (1:5.47-4) ... Selecting previously unselected package gettext-base. Preparing to unpack .../008-gettext-base_0.26-1_arm64.deb ... Unpacking gettext-base (0.26-1) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../009-libuchardet0_0.0.8-2+b2_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.8-2+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../010-groff-base_1.24.1-1_arm64.deb ... Unpacking groff-base (1.24.1-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../011-bsdextrautils_2.42.1-2_arm64.deb ... Unpacking bsdextrautils (2.42.1-2) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../012-libpipeline1_1.5.8-3_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.8-3) ... Selecting previously unselected package man-db. Preparing to unpack .../013-man-db_2.13.1-1+b1_arm64.deb ... Unpacking man-db (2.13.1-1+b1) ... Selecting previously unselected package libtext-charwidth-perl:arm64. Preparing to unpack .../014-libtext-charwidth-perl_0.04-12_arm64.deb ... Unpacking libtext-charwidth-perl:arm64 (0.04-12) ... Selecting previously unselected package libtext-wrapi18n-perl. Preparing to unpack .../015-libtext-wrapi18n-perl_0.06-11_all.deb ... Unpacking libtext-wrapi18n-perl (0.06-11) ... Selecting previously unselected package ucf. Preparing to unpack .../016-ucf_3.0053_all.deb ... Moving old data out of the way Unpacking ucf (3.0053) ... Selecting previously unselected package m4. Preparing to unpack .../017-m4_1.4.21-1_arm64.deb ... Unpacking m4 (1.4.21-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../018-autoconf_2.73-2_all.deb ... Unpacking autoconf (2.73-2) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../019-autotools-dev_20240727.1+nmu1_all.deb ... Unpacking autotools-dev (20240727.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../020-automake_1%3a1.18.1-4_all.deb ... Unpacking automake (1:1.18.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../021-autopoint_0.26-1_all.deb ... Unpacking autopoint (0.26-1) ... Selecting previously unselected package gcc-15-x86-64-linux-gnu-base:arm64. Preparing to unpack .../022-gcc-15-x86-64-linux-gnu-base_15.2.0-17cross1_arm64.deb ... Unpacking gcc-15-x86-64-linux-gnu-base:arm64 (15.2.0-17cross1) ... Selecting previously unselected package cpp-15-x86-64-linux-gnu. Preparing to unpack .../023-cpp-15-x86-64-linux-gnu_15.2.0-17cross1_arm64.deb ... Unpacking cpp-15-x86-64-linux-gnu (15.2.0-17cross1) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../024-cpp-x86-64-linux-gnu_4%3a15.2.0-5+b1_arm64.deb ... Unpacking cpp-x86-64-linux-gnu (4:15.2.0-5+b1) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../025-binutils-x86-64-linux-gnu_2.46-3_arm64.deb ... Unpacking binutils-x86-64-linux-gnu (2.46-3) ... Selecting previously unselected package gcc-15-cross-base. Preparing to unpack .../026-gcc-15-cross-base_15.2.0-17cross1_all.deb ... Unpacking gcc-15-cross-base (15.2.0-17cross1) ... Selecting previously unselected package gcc-16-cross-base. Preparing to unpack .../027-gcc-16-cross-base_16-20260425-1cross1_all.deb ... Unpacking gcc-16-cross-base (16-20260425-1cross1) ... Selecting previously unselected package libgcc-s1-amd64-cross. Preparing to unpack .../028-libgcc-s1-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking libgcc-s1-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package libgomp1-amd64-cross. Preparing to unpack .../029-libgomp1-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking libgomp1-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package libitm1-amd64-cross. Preparing to unpack .../030-libitm1-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking libitm1-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package libatomic1-amd64-cross. Preparing to unpack .../031-libatomic1-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking libatomic1-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package libasan8-amd64-cross. Preparing to unpack .../032-libasan8-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking libasan8-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package liblsan0-amd64-cross. Preparing to unpack .../033-liblsan0-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking liblsan0-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package libtsan2-amd64-cross. Preparing to unpack .../034-libtsan2-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking libtsan2-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package libc6-amd64-cross. Preparing to unpack .../035-libc6-amd64-cross_2.42-12cross1_all.deb ... Unpacking libc6-amd64-cross (2.42-12cross1) ... Selecting previously unselected package libstdc++6-amd64-cross. Preparing to unpack .../036-libstdc++6-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking libstdc++6-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package libubsan1-amd64-cross. Preparing to unpack .../037-libubsan1-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking libubsan1-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package libhwasan0-amd64-cross. Preparing to unpack .../038-libhwasan0-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking libhwasan0-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package libquadmath0-amd64-cross. Preparing to unpack .../039-libquadmath0-amd64-cross_16-20260425-1cross1_all.deb ... Unpacking libquadmath0-amd64-cross (16-20260425-1cross1) ... Selecting previously unselected package libgcc-15-dev-amd64-cross. Preparing to unpack .../040-libgcc-15-dev-amd64-cross_15.2.0-17cross1_all.deb ... Unpacking libgcc-15-dev-amd64-cross (15.2.0-17cross1) ... Selecting previously unselected package gcc-15-x86-64-linux-gnu. Preparing to unpack .../041-gcc-15-x86-64-linux-gnu_15.2.0-17cross1_arm64.deb ... Unpacking gcc-15-x86-64-linux-gnu (15.2.0-17cross1) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../042-gcc-x86-64-linux-gnu_4%3a15.2.0-5+b1_arm64.deb ... Unpacking gcc-x86-64-linux-gnu (4:15.2.0-5+b1) ... Selecting previously unselected package linux-libc-dev-amd64-cross. Preparing to unpack .../043-linux-libc-dev-amd64-cross_7.0.10-1_all.deb ... Unpacking linux-libc-dev-amd64-cross (7.0.10-1) ... Selecting previously unselected package libc6-dev-amd64-cross. Preparing to unpack .../044-libc6-dev-amd64-cross_2.42-12cross1_all.deb ... Unpacking libc6-dev-amd64-cross (2.42-12cross1) ... Selecting previously unselected package libstdc++-15-dev-amd64-cross. Preparing to unpack .../045-libstdc++-15-dev-amd64-cross_15.2.0-17cross1_all.deb ... Unpacking libstdc++-15-dev-amd64-cross (15.2.0-17cross1) ... Selecting previously unselected package g++-15-x86-64-linux-gnu. Preparing to unpack .../046-g++-15-x86-64-linux-gnu_15.2.0-17cross1_arm64.deb ... Unpacking g++-15-x86-64-linux-gnu (15.2.0-17cross1) ... Selecting previously unselected package g++-x86-64-linux-gnu. Preparing to unpack .../047-g++-x86-64-linux-gnu_4%3a15.2.0-5+b1_arm64.deb ... Unpacking g++-x86-64-linux-gnu (4:15.2.0-5+b1) ... Selecting previously unselected package crossbuild-essential-amd64. Preparing to unpack .../048-crossbuild-essential-amd64_12.12_all.deb ... Unpacking crossbuild-essential-amd64 (12.12) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../049-libdebhelper-perl_13.32_all.deb ... Unpacking libdebhelper-perl (13.32) ... Selecting previously unselected package libtool. Preparing to unpack .../050-libtool_2.5.4-11_all.deb ... Unpacking libtool (2.5.4-11) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../051-dh-autoreconf_22_all.deb ... Unpacking dh-autoreconf (22) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../052-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../053-libfile-stripnondeterminism-perl_1.15.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.15.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../054-dh-strip-nondeterminism_1.15.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.15.0-1) ... Selecting previously unselected package libelf1t64:arm64. Preparing to unpack .../055-libelf1t64_0.195-1_arm64.deb ... Unpacking libelf1t64:arm64 (0.195-1) ... Selecting previously unselected package dwz. Preparing to unpack .../056-dwz_0.16-4_arm64.deb ... Unpacking dwz (0.16-4) ... Selecting previously unselected package libunistring5:arm64. Preparing to unpack .../057-libunistring5_1.4.2-1_arm64.deb ... Unpacking libunistring5:arm64 (1.4.2-1) ... Selecting previously unselected package libxml2-16:arm64. Preparing to unpack .../058-libxml2-16_2.15.3+dfsg-1_arm64.deb ... Unpacking libxml2-16:arm64 (2.15.3+dfsg-1) ... Selecting previously unselected package gettext. Preparing to unpack .../059-gettext_0.26-1_arm64.deb ... Unpacking gettext (0.26-1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../060-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../061-po-debconf_1.0.22_all.deb ... Unpacking po-debconf (1.0.22) ... Selecting previously unselected package debhelper. Preparing to unpack .../062-debhelper_13.32_all.deb ... Unpacking debhelper (13.32) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../063-fonts-dejavu-mono_2.37-9_all.deb ... Unpacking fonts-dejavu-mono (2.37-9) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../064-fonts-dejavu-core_2.37-9_all.deb ... Unpacking fonts-dejavu-core (2.37-9) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../065-fontconfig-config_2.17.1-5_arm64.deb ... Unpacking fontconfig-config (2.17.1-5) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../066-fonts-lmodern_2.005-1_all.deb ... Unpacking fonts-lmodern (2.005-1) ... Selecting previously unselected package gcc-15-base:amd64. Preparing to unpack .../067-gcc-15-base_15.2.0-17_amd64.deb ... Unpacking gcc-15-base:amd64 (15.2.0-17) ... Selecting previously unselected package gcc-16-base:amd64. Preparing to unpack .../068-gcc-16-base_16.1.0-1_amd64.deb ... Unpacking gcc-16-base:amd64 (16.1.0-1) ... Selecting previously unselected package libgcc-s1:amd64. Preparing to unpack .../069-libgcc-s1_16.1.0-1_amd64.deb ... Unpacking libgcc-s1:amd64 (16.1.0-1) ... Selecting previously unselected package libc-gconv-modules-extra:amd64. Preparing to unpack .../070-libc-gconv-modules-extra_2.42-16_amd64.deb ... Unpacking libc-gconv-modules-extra:amd64 (2.42-16) ... Selecting previously unselected package libc6:amd64. Preparing to unpack .../071-libc6_2.42-16_amd64.deb ... Unpacking libc6:amd64 (2.42-16) ... Selecting previously unselected package libmd0:amd64. Preparing to unpack .../072-libmd0_1.2.0-2_amd64.deb ... Unpacking libmd0:amd64 (1.2.0-2) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../073-libbsd0_0.12.2-3_amd64.deb ... Unpacking libbsd0:amd64 (0.12.2-3) ... Selecting previously unselected package libtinfo6:amd64. Preparing to unpack .../074-libtinfo6_6.6+20251231-1+b1_amd64.deb ... Unpacking libtinfo6:amd64 (6.6+20251231-1+b1) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../075-libedit2_3.1-20260512-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20260512-1) ... Selecting previously unselected package libgmp10:amd64. Preparing to unpack .../076-libgmp10_2%3a6.3.0+dfsg-5+b2_amd64.deb ... Unpacking libgmp10:amd64 (2:6.3.0+dfsg-5+b2) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../077-libkrb5support0_1.22.1-2.1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.22.1-2.1) ... Selecting previously unselected package libcom-err2:amd64. Preparing to unpack .../078-libcom-err2_1.47.4-1_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.4-1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../079-libk5crypto3_1.22.1-2.1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.22.1-2.1) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../080-libkeyutils1_1.6.3-6+b2_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-6+b2) ... Selecting previously unselected package libzstd1:amd64. Preparing to unpack .../081-libzstd1_1.5.7+dfsg-3+b2_amd64.deb ... Unpacking libzstd1:amd64 (1.5.7+dfsg-3+b2) ... Selecting previously unselected package zlib1g:amd64. Preparing to unpack .../082-zlib1g_1%3a1.3.dfsg+really1.3.2-3_amd64.deb ... Unpacking zlib1g:amd64 (1:1.3.dfsg+really1.3.2-3) ... Selecting previously unselected package libssl3t64:amd64. Preparing to unpack .../083-libssl3t64_3.6.2-1_amd64.deb ... Unpacking libssl3t64:amd64 (3.6.2-1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../084-libkrb5-3_1.22.1-2.1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.22.1-2.1) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../085-libgssapi-krb5-2_1.22.1-2.1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.22.1-2.1) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../086-libtirpc-common_1.3.7+ds-1_all.deb ... Unpacking libtirpc-common (1.3.7+ds-1) ... Selecting previously unselected package libtirpc3t64:amd64. Preparing to unpack .../087-libtirpc3t64_1.3.7+ds-1_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:amd64 (1.3.7+ds-1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../088-libxau6_1%3a1.0.11-1+b2_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.11-1+b2) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../089-libxdmcp6_1%3a1.1.5-2+b1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.5-2+b1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../090-libxcb1_1.17.0-2+b2_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../091-libx11-data_2%3a1.8.13-1_all.deb ... Unpacking libx11-data (2:1.8.13-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../092-libx11-6_2%3a1.8.13-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.13-1) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../093-libtirpc-dev_1.3.7+ds-1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.7+ds-1) ... Selecting previously unselected package gcl27:amd64. Preparing to unpack .../094-gcl27_2.7.1-24_amd64.deb ... Unpacking gcl27:amd64 (2.7.1-24) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../095-libasan8_16.1.0-1_amd64.deb ... Unpacking libasan8:amd64 (16.1.0-1) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../096-libatomic1_16.1.0-1_amd64.deb ... Unpacking libatomic1:amd64 (16.1.0-1) ... Selecting previously unselected package libbrotli1:arm64. Preparing to unpack .../097-libbrotli1_1.2.0-3_arm64.deb ... Unpacking libbrotli1:arm64 (1.2.0-3) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../098-libc6-dev_2.42-16_amd64.deb ... Unpacking libc6-dev:amd64 (2.42-16) ... Selecting previously unselected package libpng16-16t64:arm64. Preparing to unpack .../099-libpng16-16t64_1.6.58-1_arm64.deb ... Unpacking libpng16-16t64:arm64 (1.6.58-1) ... Selecting previously unselected package libfreetype6:arm64. Preparing to unpack .../100-libfreetype6_2.14.3+dfsg-1_arm64.deb ... Unpacking libfreetype6:arm64 (2.14.3+dfsg-1) ... Selecting previously unselected package libfontconfig1:arm64. Preparing to unpack .../101-libfontconfig1_2.17.1-5_arm64.deb ... Unpacking libfontconfig1:arm64 (2.17.1-5) ... Selecting previously unselected package libpixman-1-0:arm64. Preparing to unpack .../102-libpixman-1-0_0.46.4-1+b2_arm64.deb ... Unpacking libpixman-1-0:arm64 (0.46.4-1+b2) ... Selecting previously unselected package libxau6:arm64. Preparing to unpack .../103-libxau6_1%3a1.0.11-1+b2_arm64.deb ... Unpacking libxau6:arm64 (1:1.0.11-1+b2) ... Selecting previously unselected package libxdmcp6:arm64. Preparing to unpack .../104-libxdmcp6_1%3a1.1.5-2+b1_arm64.deb ... Unpacking libxdmcp6:arm64 (1:1.1.5-2+b1) ... Selecting previously unselected package libxcb1:arm64. Preparing to unpack .../105-libxcb1_1.17.0-2+b2_arm64.deb ... Unpacking libxcb1:arm64 (1.17.0-2+b2) ... Selecting previously unselected package libx11-6:arm64. Preparing to unpack .../106-libx11-6_2%3a1.8.13-1_arm64.deb ... Unpacking libx11-6:arm64 (2:1.8.13-1) ... Selecting previously unselected package libxcb-render0:arm64. Preparing to unpack .../107-libxcb-render0_1.17.0-2+b2_arm64.deb ... Unpacking libxcb-render0:arm64 (1.17.0-2+b2) ... Selecting previously unselected package libxcb-shm0:arm64. Preparing to unpack .../108-libxcb-shm0_1.17.0-2+b2_arm64.deb ... Unpacking libxcb-shm0:arm64 (1.17.0-2+b2) ... Selecting previously unselected package libxext6:arm64. Preparing to unpack .../109-libxext6_2%3a1.3.4-1+b4_arm64.deb ... Unpacking libxext6:arm64 (2:1.3.4-1+b4) ... Selecting previously unselected package libxrender1:arm64. Preparing to unpack .../110-libxrender1_1%3a0.9.12-1+b2_arm64.deb ... Unpacking libxrender1:arm64 (1:0.9.12-1+b2) ... Selecting previously unselected package libcairo2:arm64. Preparing to unpack .../111-libcairo2_1.18.4-3+b1_arm64.deb ... Unpacking libcairo2:arm64 (1.18.4-3+b1) ... Selecting previously unselected package libffi8:arm64. Preparing to unpack .../112-libffi8_3.5.2-4_arm64.deb ... Unpacking libffi8:arm64 (3.5.2-4) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../113-libgomp1_16.1.0-1_amd64.deb ... Unpacking libgomp1:amd64 (16.1.0-1) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../114-libitm1_16.1.0-1_amd64.deb ... Unpacking libitm1:amd64 (16.1.0-1) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../115-liblsan0_16.1.0-1_amd64.deb ... Unpacking liblsan0:amd64 (16.1.0-1) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../116-libtsan2_16.1.0-1_amd64.deb ... Unpacking libtsan2:amd64 (16.1.0-1) ... Selecting previously unselected package libstdc++6:amd64. Preparing to unpack .../117-libstdc++6_16.1.0-1_amd64.deb ... Unpacking libstdc++6:amd64 (16.1.0-1) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../118-libubsan1_16.1.0-1_amd64.deb ... Unpacking libubsan1:amd64 (16.1.0-1) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../119-libhwasan0_16.1.0-1_amd64.deb ... Unpacking libhwasan0:amd64 (16.1.0-1) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../120-libquadmath0_16.1.0-1_amd64.deb ... Unpacking libquadmath0:amd64 (16.1.0-1) ... Selecting previously unselected package libgcc-15-dev:amd64. Preparing to unpack .../121-libgcc-15-dev_15.2.0-17_amd64.deb ... Unpacking libgcc-15-dev:amd64 (15.2.0-17) ... Selecting previously unselected package libglib2.0-0t64:arm64. Preparing to unpack .../122-libglib2.0-0t64_2.88.1-2_arm64.deb ... Unpacking libglib2.0-0t64:arm64 (2.88.1-2) ... Selecting previously unselected package libgraphite2-3:arm64. Preparing to unpack .../123-libgraphite2-3_1.3.15-2_arm64.deb ... Unpacking libgraphite2-3:arm64 (1.3.15-2) ... Selecting previously unselected package libharfbuzz0b:arm64. Preparing to unpack .../124-libharfbuzz0b_12.3.2-2+b2_arm64.deb ... Unpacking libharfbuzz0b:arm64 (12.3.2-2+b2) ... Selecting previously unselected package libharfbuzz-subset0:arm64. Preparing to unpack .../125-libharfbuzz-subset0_12.3.2-2+b2_arm64.deb ... Unpacking libharfbuzz-subset0:arm64 (12.3.2-2+b2) ... Selecting previously unselected package x11-common. Preparing to unpack .../126-x11-common_1%3a7.7+26_all.deb ... Unpacking x11-common (1:7.7+26) ... Selecting previously unselected package libice6:arm64. Preparing to unpack .../127-libice6_2%3a1.1.1-1+b2_arm64.deb ... Unpacking libice6:arm64 (2:1.1.1-1+b2) ... Selecting previously unselected package libicu78:arm64. Preparing to unpack .../128-libicu78_78.3-2_arm64.deb ... Unpacking libicu78:arm64 (78.3-2) ... Selecting previously unselected package libintl-perl. Preparing to unpack .../129-libintl-perl_1.37-1_all.deb ... Unpacking libintl-perl (1.37-1) ... Selecting previously unselected package libkpathsea6:arm64. Preparing to unpack .../130-libkpathsea6_2026.20260303.78225+ds-4_arm64.deb ... Unpacking libkpathsea6:arm64 (2026.20260303.78225+ds-4) ... Selecting previously unselected package libmpfi0:arm64. Preparing to unpack .../131-libmpfi0_1.5.4+ds-5_arm64.deb ... Unpacking libmpfi0:arm64 (1.5.4+ds-5) ... Selecting previously unselected package libpaper2:arm64. Preparing to unpack .../132-libpaper2_2.2.5-0.4_arm64.deb ... Unpacking libpaper2:arm64 (2.2.5-0.4) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../133-libpaper-utils_2.2.5-0.4_arm64.deb ... Unpacking libpaper-utils (2.2.5-0.4) ... Selecting previously unselected package libpotrace0:arm64. Preparing to unpack .../134-libpotrace0_1.16-2+b3_arm64.deb ... Unpacking libpotrace0:arm64 (1.16-2+b3) ... Selecting previously unselected package libptexenc1:arm64. Preparing to unpack .../135-libptexenc1_2026.20260303.78225+ds-4_arm64.deb ... Unpacking libptexenc1:arm64 (2026.20260303.78225+ds-4) ... Selecting previously unselected package libsm6:arm64. Preparing to unpack .../136-libsm6_2%3a1.2.6-1+b2_arm64.deb ... Unpacking libsm6:arm64 (2:1.2.6-1+b2) ... Selecting previously unselected package libstdc++-15-dev:amd64. Preparing to unpack .../137-libstdc++-15-dev_15.2.0-17_amd64.deb ... Unpacking libstdc++-15-dev:amd64 (15.2.0-17) ... Selecting previously unselected package libsynctex2:arm64. Preparing to unpack .../138-libsynctex2_2026.20260303.78225+ds-4_arm64.deb ... Unpacking libsynctex2:arm64 (2026.20260303.78225+ds-4) ... Selecting previously unselected package libteckit0:arm64. Preparing to unpack .../139-libteckit0_2.5.13+ds-1+b1_arm64.deb ... Unpacking libteckit0:arm64 (2.5.13+ds-1+b1) ... Selecting previously unselected package libtexlua53-5:arm64. Preparing to unpack .../140-libtexlua53-5_2026.20260303.78225+ds-4_arm64.deb ... Unpacking libtexlua53-5:arm64 (2026.20260303.78225+ds-4) ... Selecting previously unselected package libtext-unidecode-perl. Preparing to unpack .../141-libtext-unidecode-perl_1.30-3_all.deb ... Unpacking libtext-unidecode-perl (1.30-3) ... Selecting previously unselected package libxt6t64:arm64. Preparing to unpack .../142-libxt6t64_1%3a1.2.1-1.3+b2_arm64.deb ... Unpacking libxt6t64:arm64 (1:1.2.1-1.3+b2) ... Selecting previously unselected package libxmu6:arm64. Preparing to unpack .../143-libxmu6_2%3a1.1.3-4+b1_arm64.deb ... Unpacking libxmu6:arm64 (2:1.1.3-4+b1) ... Selecting previously unselected package libxpm4:arm64. Preparing to unpack .../144-libxpm4_1%3a3.5.19-1_arm64.deb ... Unpacking libxpm4:arm64 (1:3.5.19-1) ... Selecting previously unselected package libxaw7:arm64. Preparing to unpack .../145-libxaw7_2%3a1.0.16-1+b2_arm64.deb ... Unpacking libxaw7:arm64 (2:1.0.16-1+b2) ... Selecting previously unselected package libxi6:arm64. Preparing to unpack .../146-libxi6_2%3a1.8.2-2+b1_arm64.deb ... Unpacking libxi6:arm64 (2:1.8.2-2+b1) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../147-libxml-namespacesupport-perl_1.12-2_all.deb ... Unpacking libxml-namespacesupport-perl (1.12-2) ... Selecting previously unselected package libxml-sax-base-perl. Preparing to unpack .../148-libxml-sax-base-perl_1.09-3_all.deb ... Unpacking libxml-sax-base-perl (1.09-3) ... Selecting previously unselected package libxml-sax-perl. Preparing to unpack .../149-libxml-sax-perl_1.02+dfsg-5_all.deb ... Unpacking libxml-sax-perl (1.02+dfsg-5) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../150-libxml-libxml-perl_2.0207+dfsg+really+2.0134-8_arm64.deb ... Unpacking libxml-libxml-perl (2.0207+dfsg+really+2.0134-8) ... Selecting previously unselected package libzzip-0-13t64:arm64. Preparing to unpack .../151-libzzip-0-13t64_0.13.78+dfsg.1-0.2+b1_arm64.deb ... Unpacking libzzip-0-13t64:arm64 (0.13.78+dfsg.1-0.2+b1) ... Selecting previously unselected package t1utils. Preparing to unpack .../152-t1utils_1.41-4+b2_arm64.deb ... Unpacking t1utils (1.41-4+b2) ... Selecting previously unselected package tex-common. Preparing to unpack .../153-tex-common_6.20_all.deb ... Unpacking tex-common (6.20) ... Selecting previously unselected package texinfo-lib. Preparing to unpack .../154-texinfo-lib_7.3-2_arm64.deb ... Unpacking texinfo-lib (7.3-2) ... Selecting previously unselected package texinfo. Preparing to unpack .../155-texinfo_7.3-2_all.deb ... Unpacking texinfo (7.3-2) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../156-texlive-binaries_2026.20260303.78225+ds-4_arm64.deb ... Unpacking texlive-binaries (2026.20260303.78225+ds-4) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../157-xdg-utils_1.2.1-2_all.deb ... Unpacking xdg-utils (1.2.1-2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../158-texlive-base_2026.20260527-3_all.deb ... Unpacking texlive-base (2026.20260527-3) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../159-texlive-latex-base_2026.20260527-3_all.deb ... Unpacking texlive-latex-base (2026.20260527-3) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../160-texlive-latex-recommended_2026.20260527-3_all.deb ... Unpacking texlive-latex-recommended (2026.20260527-3) ... Selecting previously unselected package time. Preparing to unpack .../161-time_1.10-0.1_arm64.deb ... Unpacking time (1.10-0.1) ... Selecting previously unselected package sbuild-build-depends-main-dummy:amd64. Preparing to unpack .../162-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy:amd64 (0.invalid.0) ... Setting up libc-gconv-modules-extra:amd64 (2.42-16) ... Setting up libexpat1:arm64 (2.8.1-1) ... Setting up libpipeline1:arm64 (1.5.8-3) ... Setting up libgraphite2-3:arm64 (1.3.15-2) ... Setting up libpixman-1-0:arm64 (0.46.4-1+b2) ... Setting up libtext-charwidth-perl:arm64 (0.04-12) ... Setting up libxau6:arm64 (1:1.0.11-1+b2) ... Setting up libxdmcp6:arm64 (1:1.1.5-2+b1) ... Setting up time (1.10-0.1) ... Setting up libxcb1:arm64 (1.17.0-2+b2) ... Setting up linux-libc-dev-amd64-cross (7.0.10-1) ... Setting up bsdextrautils (2.42.1-2) ... Setting up libmagic-mgc (1:5.47-4) ... Setting up libxcb-render0:arm64 (1.17.0-2+b2) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libxml2-16:arm64 (2.15.3+dfsg-1) ... Setting up libtirpc-common (1.3.7+ds-1) ... Setting up libdebhelper-perl (13.32) ... Setting up libbrotli1:arm64 (1.2.0-3) ... Setting up libmagic1t64:arm64 (1:5.47-4) ... Setting up x11-common (1:7.7+26) ... invoke-rc.d: could not determine current runlevel invoke-rc.d: WARNING: No init system and policy-rc.d missing! Defaulting to block. Setting up libxml-namespacesupport-perl (1.12-2) ... Setting up gettext-base (0.26-1) ... Setting up m4 (1.4.21-1) ... Setting up gcc-15-x86-64-linux-gnu-base:arm64 (15.2.0-17cross1) ... Setting up libxcb-shm0:arm64 (1.17.0-2+b2) ... Setting up gcc-16-base:amd64 (16.1.0-1) ... Setting up file (1:5.47-4) ... Setting up texinfo-lib (7.3-2) ... Setting up cpp-15-x86-64-linux-gnu (15.2.0-17cross1) ... Setting up libtext-wrapi18n-perl (0.06-11) ... Setting up gcc-16-cross-base (16-20260425-1cross1) ... Setting up libelf1t64:arm64 (0.195-1) ... Setting up libicu78:arm64 (78.3-2) ... Setting up libitm1-amd64-cross (16-20260425-1cross1) ... Setting up libxml-sax-base-perl (1.09-3) ... Setting up autotools-dev (20240727.1+nmu1) ... Setting up libatomic1-amd64-cross (16-20260425-1cross1) ... Setting up libzzip-0-13t64:arm64 (0.13.78+dfsg.1-0.2+b1) ... Setting up libx11-data (2:1.8.13-1) ... Setting up libteckit0:arm64 (2.5.13+ds-1+b1) ... Setting up t1utils (1.41-4+b2) ... Setting up libtexlua53-5:arm64 (2026.20260303.78225+ds-4) ... Setting up libproc2-0:arm64 (2:4.0.4-9+b2) ... Setting up libunistring5:arm64 (1.4.2-1) ... Setting up fonts-dejavu-mono (2.37-9) ... Setting up libpng16-16t64:arm64 (1.6.58-1) ... Setting up libquadmath0-amd64-cross (16-20260425-1cross1) ... Setting up autopoint (0.26-1) ... Setting up libmpfi0:arm64 (1.5.4+ds-5) ... Setting up fonts-dejavu-core (2.37-9) ... Setting up libc6-amd64-cross (2.42-12cross1) ... Setting up libncursesw6:arm64 (6.6+20251231-1+b1) ... Setting up libkpathsea6:arm64 (2026.20260303.78225+ds-4) ... Setting up autoconf (2.73-2) ... Setting up libffi8:arm64 (3.5.2-4) ... Setting up dwz (0.16-4) ... Setting up sensible-utils (0.0.26) ... Setting up libuchardet0:arm64 (0.0.8-2+b2) ... Setting up procps (2:4.0.4-9+b2) ... Setting up libintl-perl (1.37-1) ... Setting up fonts-lmodern (2.005-1) ... Setting up libx11-6:arm64 (2:1.8.13-1) ... Setting up libpaper2:arm64 (2.2.5-0.4) ... Setting up gcc-15-cross-base (15.2.0-17cross1) ... Setting up libtext-unidecode-perl (1.30-3) ... Setting up libgcc-s1-amd64-cross (16-20260425-1cross1) ... Setting up gcc-15-base:amd64 (15.2.0-17) ... Setting up xdg-utils (1.2.1-2) ... update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode Setting up libsynctex2:arm64 (2026.20260303.78225+ds-4) ... Setting up binutils-x86-64-linux-gnu (2.46-3) ... Setting up libpotrace0:arm64 (1.16-2+b3) ... Setting up libstdc++6-amd64-cross (16-20260425-1cross1) ... Setting up cpp-x86-64-linux-gnu (4:15.2.0-5+b1) ... Setting up automake (1:1.18.1-4) ... update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.15.0-1) ... Setting up libice6:arm64 (2:1.1.1-1+b2) ... Setting up gettext (0.26-1) ... Setting up libxpm4:arm64 (1:3.5.19-1) ... Setting up libxrender1:arm64 (1:0.9.12-1+b2) ... Setting up libtool (2.5.4-11) ... Setting up fontconfig-config (2.17.1-5) ... Setting up libasan8-amd64-cross (16-20260425-1cross1) ... Setting up liblsan0-amd64-cross (16-20260425-1cross1) ... Setting up libc6-dev-amd64-cross (2.42-12cross1) ... Setting up libxext6:arm64 (2:1.3.4-1+b4) ... Setting up libtsan2-amd64-cross (16-20260425-1cross1) ... Setting up libpaper-utils (2.2.5-0.4) ... Setting up libgomp1-amd64-cross (16-20260425-1cross1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (22) ... Setting up libglib2.0-0t64:arm64 (2.88.1-2) ... No schema files found: doing nothing. Setting up libptexenc1:arm64 (2026.20260303.78225+ds-4) ... Setting up libfreetype6:arm64 (2.14.3+dfsg-1) ... Setting up libhwasan0-amd64-cross (16-20260425-1cross1) ... Setting up libubsan1-amd64-cross (16-20260425-1cross1) ... Setting up ucf (3.0053) ... Setting up dh-strip-nondeterminism (1.15.0-1) ... Setting up groff-base (1.24.1-1) ... Setting up libharfbuzz0b:arm64 (12.3.2-2+b2) ... Setting up libfontconfig1:arm64 (2.17.1-5) ... Setting up libsm6:arm64 (2:1.2.6-1+b2) ... Setting up libxi6:arm64 (2:1.8.2-2+b1) ... Setting up po-debconf (1.0.22) ... Setting up man-db (2.13.1-1+b1) ... Not building database; man-db/auto-update is not 'true'. Setting up libxml-sax-perl (1.02+dfsg-5) ... update-perl-sax-parsers: Registering Perl SAX parser XML::SAX::PurePerl with priority 10... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Creating config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up libcairo2:arm64 (1.18.4-3+b1) ... Setting up tex-common (6.20) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libgcc-15-dev-amd64-cross (15.2.0-17cross1) ... Setting up libxt6t64:arm64 (1:1.2.1-1.3+b2) ... Setting up libxml-libxml-perl (2.0207+dfsg+really+2.0134-8) ... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX::Parser with priority 50... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX with priority 50... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Setting up libharfbuzz-subset0:arm64 (12.3.2-2+b2) ... Setting up libstdc++-15-dev-amd64-cross (15.2.0-17cross1) ... Setting up libxmu6:arm64 (2:1.1.3-4+b1) ... Setting up debhelper (13.32) ... Setting up libxaw7:arm64 (2:1.0.16-1+b2) ... Setting up gcc-15-x86-64-linux-gnu (15.2.0-17cross1) ... Setting up texinfo (7.3-2) ... Running mktexlsr. This may take some time. ... done. Setting up texlive-binaries (2026.20260303.78225+ds-4) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up texlive-base (2026.20260527-3) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex Setting up g++-15-x86-64-linux-gnu (15.2.0-17cross1) ... Setting up gcc-x86-64-linux-gnu (4:15.2.0-5+b1) ... Setting up texlive-latex-base (2026.20260527-3) ... Setting up texlive-latex-recommended (2026.20260527-3) ... Setting up g++-x86-64-linux-gnu (4:15.2.0-5+b1) ... Setting up crossbuild-essential-amd64 (12.12) ... Setting up libgcc-s1:amd64 (16.1.0-1) ... Setting up libc6:amd64 (2.42-16) ... Setting up libmd0:amd64 (1.2.0-2) ... Setting up libhwasan0:amd64 (16.1.0-1) ... Setting up libasan8:amd64 (16.1.0-1) ... Setting up libc6-dev:amd64 (2.42-16) ... Setting up libtsan2:amd64 (16.1.0-1) ... Setting up libbsd0:amd64 (0.12.2-3) ... Setting up libstdc++6:amd64 (16.1.0-1) ... Setting up liblsan0:amd64 (16.1.0-1) ... Setting up libitm1:amd64 (16.1.0-1) ... Setting up libtinfo6:amd64 (6.6+20251231-1+b1) ... Setting up libzstd1:amd64 (1.5.7+dfsg-3+b2) ... Setting up libxau6:amd64 (1:1.0.11-1+b2) ... Setting up libxdmcp6:amd64 (1:1.1.5-2+b1) ... Setting up libkeyutils1:amd64 (1.6.3-6+b2) ... Setting up libxcb1:amd64 (1.17.0-2+b2) ... Setting up libedit2:amd64 (3.1-20260512-1) ... Setting up zlib1g:amd64 (1:1.3.dfsg+really1.3.2-3) ... Setting up libcom-err2:amd64 (1.47.4-1) ... Setting up libgomp1:amd64 (16.1.0-1) ... Setting up libkrb5support0:amd64 (1.22.1-2.1) ... Setting up libgmp10:amd64 (2:6.3.0+dfsg-5+b2) ... Setting up libquadmath0:amd64 (16.1.0-1) ... Setting up libatomic1:amd64 (16.1.0-1) ... Setting up libk5crypto3:amd64 (1.22.1-2.1) ... Setting up libubsan1:amd64 (16.1.0-1) ... Setting up libx11-6:amd64 (2:1.8.13-1) ... Setting up libgcc-15-dev:amd64 (15.2.0-17) ... Setting up libssl3t64:amd64 (3.6.2-1) ... Setting up libstdc++-15-dev:amd64 (15.2.0-17) ... Setting up libkrb5-3:amd64 (1.22.1-2.1) ... Setting up libgssapi-krb5-2:amd64 (1.22.1-2.1) ... Setting up libtirpc3t64:amd64 (1.3.7+ds-1) ... Setting up libtirpc-dev:amd64 (1.3.7+ds-1) ... Setting up gcl27:amd64 (2.7.1-24) ... Creating config file /etc/default/gcl27 with new version Setting up sbuild-build-depends-main-dummy:amd64 (0.invalid.0) ... Processing triggers for base-files (14.2) ... Processing triggers for libc-bin (2.42-16) ... Processing triggers for tex-common (6.20) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. +------------------------------------------------------------------------------+ | Check architectures Mon, 08 Jun 2026 20:25:38 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any all) +------------------------------------------------------------------------------+ | Build environment Mon, 08 Jun 2026 20:25:40 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.86+deb13-arm64 #1 SMP Debian 6.12.86-1 (2026-05-08) arm64 (aarch64) Toolchain package versions: binutils_2.46-3 dpkg-dev_1.23.7 g++-15_15.2.0-17 gcc-15_15.2.0-17 libc6-dev_2.42-16 libstdc++-15-dev_15.2.0-17 libstdc++-15-dev-amd64-cross_15.2.0-17cross1 libstdc++6_16.1.0-1 libstdc++6-amd64-cross_16-20260425-1cross1 linux-libc-dev_7.0.10-1 Package versions: apt_3.3.1 apt-utils_3.3.1 autoconf_2.73-2 automake_1:1.18.1-4 autopoint_0.26-1 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8+b1 bash_5.3-3 binutils_2.46-3 binutils-aarch64-linux-gnu_2.46-3 binutils-common_2.46-3 binutils-x86-64-linux-gnu_2.46-3 bsdextrautils_2.42.1-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.2.0-17 cpp-15-aarch64-linux-gnu_15.2.0-17 cpp-15-x86-64-linux-gnu_15.2.0-17cross1 cpp-aarch64-linux-gnu_4:15.2.0-5+b1 cpp-x86-64-linux-gnu_4:15.2.0-5+b1 crossbuild-essential-amd64_12.12 dash_0.5.12-12+b1 debconf_1.5.92 debhelper_13.32 debian-archive-keyring_2025.1 debianutils_5.23.2+b1 dh-autoreconf_22 dh-strip-nondeterminism_1.15.0-1 diffutils_1:3.12-1+b1 dpkg_1.23.7 dpkg-dev_1.23.7 dwz_0.16-4 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-1 g++_4:15.2.0-5+b1 g++-15_15.2.0-17 g++-15-aarch64-linux-gnu_15.2.0-17 g++-15-x86-64-linux-gnu_15.2.0-17cross1 g++-aarch64-linux-gnu_4:15.2.0-5+b1 g++-x86-64-linux-gnu_4:15.2.0-5+b1 gcc_4:15.2.0-5+b1 gcc-15_15.2.0-17 gcc-15-aarch64-linux-gnu_15.2.0-17 gcc-15-base_15.2.0-17 gcc-15-cross-base_15.2.0-17cross1 gcc-15-x86-64-linux-gnu_15.2.0-17cross1 gcc-15-x86-64-linux-gnu-base_15.2.0-17cross1 gcc-16-base_16.1.0-1 gcc-16-cross-base_16-20260425-1cross1 gcc-aarch64-linux-gnu_4:15.2.0-5+b1 gcc-x86-64-linux-gnu_4:15.2.0-5+b1 gcl27_2.7.1-24 gettext_0.26-1 gettext-base_0.26-1 grep_3.12-1+b1 groff-base_1.24.1-1 gzip_1.13-1+b1 hostname_3.25+b1 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-3 libapt-pkg7.0_3.3.1 libarchive-zip-perl_1.68-1 libasan8_16.1.0-1 libasan8-amd64-cross_16-20260425-1cross1 libatomic1_16.1.0-1 libatomic1-amd64-cross_16-20260425-1cross1 libattr1_1:2.5.2-4 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b1 libbinutils_2.46-3 libblkid1_2.42.1-2 libbrotli1_1.2.0-3 libbsd0_0.12.2-3 libbz2-1.0_1.0.8-6+b2 libc-bin_2.42-16 libc-dev-bin_2.42-16 libc-gconv-modules-extra_2.42-16 libc6_2.42-16 libc6-amd64-cross_2.42-12cross1 libc6-dev_2.42-16 libc6-dev-amd64-cross_2.42-12cross1 libcairo2_1.18.4-3+b1 libcap-ng0_0.9.3-1 libcc1-0_16.1.0-1 libcom-err2_1.47.4-1 libcrypt1_1:4.5.1-1+b1 libctf-nobfd0_2.46-3 libctf0_2.46-3 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.283 libdebhelper-perl_13.32 libdpkg-perl_1.23.7 libedit2_3.1-20260512-1 libelf1t64_0.195-1 libexpat1_2.8.1-1 libffi8_3.5.2-4 libfile-stripnondeterminism-perl_1.15.0-1 libfontconfig1_2.17.1-5 libfreetype6_2.14.3+dfsg-1 libgcc-15-dev_15.2.0-17 libgcc-15-dev-amd64-cross_15.2.0-17cross1 libgcc-s1_16.1.0-1 libgcc-s1-amd64-cross_16-20260425-1cross1 libgdbm-compat4t64_1.26-1+b2 libgdbm6t64_1.26-1+b2 libglib2.0-0t64_2.88.1-2 libgmp10_2:6.3.0+dfsg-5+b2 libgomp1_16.1.0-1 libgomp1-amd64-cross_16-20260425-1cross1 libgprofng0_2.46-3 libgraphite2-3_1.3.15-2 libgssapi-krb5-2_1.22.1-2.1 libharfbuzz-subset0_12.3.2-2+b2 libharfbuzz0b_12.3.2-2+b2 libhogweed6t64_3.10.2-1+b1 libhwasan0_16.1.0-1 libhwasan0-amd64-cross_16-20260425-1cross1 libice6_2:1.1.1-1+b2 libicu78_78.3-2 libintl-perl_1.37-1 libisl23_0.27-2 libitm1_16.1.0-1 libitm1-amd64-cross_16-20260425-1cross1 libjansson4_2.14-2+b4 libk5crypto3_1.22.1-2.1 libkeyutils1_1.6.3-6+b2 libkpathsea6_2026.20260303.78225+ds-4 libkrb5-3_1.22.1-2.1 libkrb5support0_1.22.1-2.1 liblsan0_16.1.0-1 liblsan0-amd64-cross_16-20260425-1cross1 liblz4-1_1.10.0-10 liblzma5_5.8.3-1 libmagic-mgc_1:5.47-4 libmagic1t64_1:5.47-4 libmd0_1.2.0-2 libmount1_2.42.1-2 libmpc3_1.3.1-3 libmpfi0_1.5.4+ds-5 libmpfr6_4.2.2-3 libncursesw6_6.6+20251231-1+b1 libnettle8t64_3.10.2-1+b1 libpam-modules_1.7.0-5+b2 libpam-modules-bin_1.7.0-5+b2 libpam-runtime_1.7.0-5 libpam0g_1.7.0-5+b2 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-0_2:4.0.4-9+b2 libptexenc1_2026.20260303.78225+ds-4 libquadmath0_16.1.0-1 libquadmath0-amd64-cross_16-20260425-1cross1 libseccomp2_2.6.0-2+b1 libselinux1_3.10-1 libsframe3_2.46-3 libsm6_2:1.2.6-1+b2 libsmartcols1_2.42.1-2 libssl3t64_3.6.2-1 libstdc++-15-dev_15.2.0-17 libstdc++-15-dev-amd64-cross_15.2.0-17cross1 libstdc++6_16.1.0-1 libstdc++6-amd64-cross_16-20260425-1cross1 libsynctex2_2026.20260303.78225+ds-4 libsystemd0_261~rc3-1 libteckit0_2.5.13+ds-1+b1 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+20251231-1+b1 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-1 libtsan2-amd64-cross_16-20260425-1cross1 libubsan1_16.1.0-1 libubsan1-amd64-cross_16-20260425-1cross1 libuchardet0_0.0.8-2+b2 libudev1_261~rc3-1 libunistring5_1.4.2-1 libuuid1_2.42.1-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 libxxhash0_0.8.3-2+b2 libzstd1_1.5.7+dfsg-3+b2 libzzip-0-13t64_0.13.78+dfsg.1-0.2+b1 linux-libc-dev_7.0.10-1 linux-libc-dev-amd64-cross_7.0.10-1 login_1:4.16.0-2+really2.42.1-2 login.defs_1:4.19.3-2 m4_1.4.21-1 make_4.4.1-3+b1 man-db_2.13.1-1+b1 mawk_1.3.4.20260302-1 ncurses-base_6.6+20251231-1 ncurses-bin_6.6+20251231-1+b1 openssl-provider-legacy_3.6.2-1 patch_2.8-2+b1 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.4-9+b2 rpcsvc-proto_1.4.4-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-3 sensible-utils_0.0.26 sqv_1.3.0-5+b2 sysvinit-utils_3.18-1 t1utils_1.41-4+b2 tar_1.35+dfsg-4 tex-common_6.20 texinfo_7.3-2 texinfo-lib_7.3-2 texlive-base_2026.20260527-3 texlive-binaries_2026.20260303.78225+ds-4 texlive-latex-base_2026.20260527-3 texlive-latex-recommended_2026.20260527-3 time_1.10-0.1 ucf_3.0053 util-linux_2.42.1-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 Mon, 08 Jun 2026 20:25:40 +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.6+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: 8137607590a4ba1cfc5bfb4cb0a50541abf37302 240329345 acl2_8.6+dfsg.orig.tar.gz cd8a1f21303b25b607d92dc70721a2bd26cc48df 711200 acl2_8.6+dfsg-3.debian.tar.xz Checksums-Sha256: f633ff0ad42874381b96c34b38f4612629c3c267e2c6214f9543d03a447b366e 240329345 acl2_8.6+dfsg.orig.tar.gz 39613319694eb435d9933bd8fa160467bbcd0c8d8e78b8dfd421284d7b529772 711200 acl2_8.6+dfsg-3.debian.tar.xz Files: 771f71065482cd947d11ce939ed3ebe8 240329345 acl2_8.6+dfsg.orig.tar.gz 07db5025e350c50aabd886f7e9c49235 711200 acl2_8.6+dfsg-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgknycACgkQuEXOUQ+b cU15Vg//fqyzXvHROwsIBhCbhWzhEtoJTCFEnpbLpmxNn6BM2kAMN4Aou0SvBmxk l8wtj6+Vhi4OhPFhCnz4KBv3BUkn4ELjQwDjffPfBOpPD0HV3W/dFteeT1nhyJGi ghT4DbSdSdKANww0VrUoL9GmmTtxgLLNS5duvM6Vd4rHQCRg2/ac1KomAjy6ztxY FlIfdFzYfG5cK2MJ6IZLQaRGKZRntGOqacoj9YFOomFhgZF4lqdTklphwPnkg9Zz t+2Pu1AmPCEqdDstYylovGYY7Z90nzFuahsvuStJKx4Vn6ylwEccw7ZIZGDKMAz/ rmL/jE4vYzA6wfbCf9nqvkoVwRxsZNMANdY2FFwfwp8Gu/XqRjQOyHtd/XOWaNrE 08O5/XBngxVFgM7RQ0EQ4Q9g7Mrsc4+JbjIyEqHW8m3GO8+NlKIVPOp2zgf3cQe2 BBxHiyyk2GMxwOnhYNqYPeQUjS7NHdFPWfdyZfAfXTj/36o9dUAt3Fzr+LhC/YDH 5Dt0hrHvUjV5ZjUIX73cF9W3456ceRhBdQ7fBv4V6CnKCr08rMAPaywqaWS8wO4+ xnYM3ukTXwzrwLGLM0XvAmECIbZI07T5Iz2MjboWmShWZtCrI+WEJL6I0FqlFpNp 5ZiYtIYAkQYahnbTPKze7HC7x4Oe2+IcfS3NHArnpPnzppDA/x4= =N71T -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./acl2_8.6+dfsg-3.dsc: missing OpenPGP keyrings dpkg-source: info: verifying ./acl2_8.6+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.6+dfsg dpkg-source: info: unpacking acl2_8.6+dfsg.orig.tar.gz dpkg-source: info: unpacking acl2_8.6+dfsg-3.debian.tar.xz Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf CONFIG_SITE=/etc/dpkg-cross/cross-config.amd64 DEB_BUILD_OPTIONS=nocheck HOME=/sbuild-nonexistent LANG=en_GB.UTF-8 LC_ALL=C.UTF-8 LOGNAME=sbuild PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SHELL=/bin/sh USER=sbuild dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -aamd64 -Pcross,nocheck -us -uc -B --jobs-try=1 dpkg-buildpackage: info: source package acl2 dpkg-buildpackage: info: source version 8.6+dfsg-3 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Camm Maguire dpkg-architecture: warning: specified GNU system type x86_64-linux-gnu does not match CC system type aarch64-linux-gnu, try setting a correct CC environment variable dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 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.6+dfsg/books/interface/infix' rm -f /build/reproducible-path/acl2-8.6+dfsg/books/interface/infix/*.otl /build/reproducible-path/acl2-8.6+dfsg/books/interface/infix/*.err /build/reproducible-path/acl2-8.6+dfsg/books/interface/infix/*.ps /build/reproducible-path/acl2-8.6+dfsg/books/interface/infix/*.aux rm -f /build/reproducible-path/acl2-8.6+dfsg/books/interface/infix/*.dvi /build/reproducible-path/acl2-8.6+dfsg/books/interface/infix/*.aux /build/reproducible-path/acl2-8.6+dfsg/books/interface/infix/*.log /build/reproducible-path/acl2-8.6+dfsg/books/interface/infix/*.idx /build/reproducible-path/acl2-8.6+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.6+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.6+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.6+dfsg' /usr/bin/make clean-books make[1]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg' ACL2_WD is /build/reproducible-path/acl2-8.6+dfsg ACL2 is /build/reproducible-path/acl2-8.6+dfsg/saved_acl2 Linux sbuild 6.12.86+deb13-arm64 #1 SMP Debian 6.12.86-1 (2026-05-08) aarch64 GNU/Linux cd books ; /usr/bin/make -k ACL2=/build/reproducible-path/acl2-8.6+dfsg/saved_acl2 moreclean make[2]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books' ACL2_SYSTEM_BOOKS is /build/reproducible-path/acl2-8.6+dfsg/books Determining ACL2 features (for ACL2 = /build/reproducible-path/acl2-8.6+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 cpp is installed 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_CPP := 1 USE_QUICKLISP := ACL2_USELESS_RUNES := Done with features. Scanning for books... real 0m0.232s user 0m0.106s sys 0m0.152s Scanning for dependencies... real 5m12.691s user 5m8.252s sys 0m3.195s Done scanning. Reading book deps Makefile-deps created on Mon Jun 8 20:31:26 UTC 2026 Excluding books that are CCL-only: [] 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/defthm-stp-tests.cert kestrel/axe/examples/popcount-32.cert kestrel/axe/prove-equivalence-tests.cert kestrel/axe/prove-with-stp-tests.cert kestrel/axe/prover-tests.cert kestrel/axe/query-tests.cert kestrel/axe/stp-clause-processor-tests.cert kestrel/axe/tactic-prover-tests.cert kestrel/axe/tests-top.cert kestrel/axe/x86/examples/popcount/popcount-32-proof.cert kestrel/axe/x86/examples/popcount/popcount-64-proof.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 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/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/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/axe/call-axe-script.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/popcount-32.cert kestrel/axe/jvm/doc.cert kestrel/axe/jvm/formal-unit-tester-exec.cert kestrel/axe/jvm/formal-unit-tester.cert kestrel/axe/jvm/lifter-utilities3.cert kestrel/axe/jvm/lifter.cert kestrel/axe/jvm/lifter2.cert kestrel/axe/jvm/top.cert kestrel/axe/jvm/unroll-java-code-common.cert kestrel/axe/jvm/unroll-java-code.cert kestrel/axe/jvm/unroll-java-code2.cert kestrel/axe/prove-equivalence-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/rewriter-alt-tests.cert kestrel/axe/rewriter-alt.cert kestrel/axe/rewriter-tests.cert kestrel/axe/rewriter.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-tests.cert kestrel/axe/unroll-spec.cert kestrel/axe/x86/examples/add/add-elf64.cert kestrel/axe/x86/examples/popcount/popcount-32-proof.cert kestrel/axe/x86/examples/popcount/popcount-64-proof.cert kestrel/axe/x86/examples/tea/tea-elf64.cert kestrel/axe/x86/examples/tea/tea-macho64.cert kestrel/axe/x86/prove-equivalence.cert kestrel/axe/x86/tester.cert kestrel/axe/x86/top.cert kestrel/axe/x86/unroll-x86-code.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/syntax/input-files.cert kestrel/c/syntax/preprocess-file.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/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/deftrans/deftrans.cert kestrel/c/transformation/tests/rename/rename.cert kestrel/c/transformation/tests/simpadd0/simpadd0.cert kestrel/c/transformation/tests/specialize/specialize.cert kestrel/c/transformation/tests/split-fn/split-fn-proofs.cert kestrel/c/transformation/tests/split-fn/split-fn.cert kestrel/c/transformation/tests/splitgso/splitgso.cert kestrel/crypto/sha-3/connect-to-keccak-256.cert kestrel/crypto/sha-3/connect-to-keccak-8.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/top-doc.cert kestrel/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/doc.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/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.6+dfsg/books/build/clean.pl clean.pl: scanning for generated files clean.pl: found 4 targets (2 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.6+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.6+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.6+dfsg/books/build/Makefile-comp /build/reproducible-path/acl2-8.6+dfsg/books/build/Makefile-comp-pre /build/reproducible-path/acl2-8.6+dfsg/books/build/Makefile-deps /build/reproducible-path/acl2-8.6+dfsg/books/build/Makefile-books /build/reproducible-path/acl2-8.6+dfsg/books/build/Makefile-features /build/reproducible-path/acl2-8.6+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/ 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.6+dfsg/books/system/toothbrush' Updating dependencies in /build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush Note: For toothbrush, ACL2_DIR = /build/reproducible-path/acl2-8.6+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.6+dfsg/books/system/toothbrush/tests' make[5]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/test1' Updating dependencies in /build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/test1 rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/test1' make[5]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/test2' Updating dependencies in /build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/test2 rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/test2' make[5]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/test-par' Updating dependencies in /build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/test-par rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/test-par' make[5]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/dag-unification' Updating dependencies in /build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/dag-unification rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests/dag-unification' make[4]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush/tests' make[3]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/system/toothbrush' make[3]: Entering directory '/build/reproducible-path/acl2-8.6+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.6+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.6+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.6+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.6+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.6+dfsg/books/clause-processors/SULFA/scripts' make[5]: Entering directory '/build/reproducible-path/acl2-8.6+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.6+dfsg/books/clause-processors/SULFA/c-files' make[5]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/clause-processors/SULFA/books' make[6]: Entering directory '/build/reproducible-path/acl2-8.6+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.6+dfsg/books/clause-processors/SULFA/books/sat' make[6]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/clause-processors/SULFA/books/clause-processors' Updating dependencies in /build/reproducible-path/acl2-8.6+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.6+dfsg/books/clause-processors/SULFA/books/clause-processors' make[6]: Entering directory '/build/reproducible-path/acl2-8.6+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.6+dfsg/books/clause-processors/SULFA/books/sat-tests' make[6]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/clause-processors/SULFA/books/bv-smt-solver' Updating dependencies in /build/reproducible-path/acl2-8.6+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.6+dfsg/books/clause-processors/SULFA/books/bv-smt-solver' make[5]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/clause-processors/SULFA/books' make[4]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/clause-processors/SULFA' make[3]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/clause-processors/SULFA' make[3]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/projects/translators/l3-to-acl2' make[4]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/projects/translators/l3-to-acl2/translator' Updating dependencies in /build/reproducible-path/acl2-8.6+dfsg/books/projects/translators/l3-to-acl2/translator make[4]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/projects/translators/l3-to-acl2/translator' make[4]: Entering directory '/build/reproducible-path/acl2-8.6+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.6+dfsg/books/projects/translators/l3-to-acl2/examples/thacker' make[3]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/projects/translators/l3-to-acl2' make[3]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/workshops/1999/multiplier' rm -f fmul.lisp fmul-star.lisp rm -f *.tem make[3]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/workshops/1999/multiplier' make[3]: Entering directory '/build/reproducible-path/acl2-8.6+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.6+dfsg/books/workshops/2003/greve-wilding-vanfleet/support' make[3]: Entering directory '/build/reproducible-path/acl2-8.6+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.6+dfsg/books/workshops/2003/kaufmann/support/input' make[3]: Entering directory '/build/reproducible-path/acl2-8.6+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.6+dfsg/books/workshops/2003/kaufmann/support/rtl' make[3]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/workshops/2004/sumners-ray/support' Updating dependencies in /build/reproducible-path/acl2-8.6+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.6+dfsg/books/workshops/2004/sumners-ray/support' make[3]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/projects/apply-model' make[3]: Leaving directory '/build/reproducible-path/acl2-8.6+dfsg/books/projects/apply-model' make[3]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg/books/projects/apply-model-2' make[3]: Leaving directory '/build/reproducible-path/acl2-8.6+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.6+dfsg/books' make[1]: Leaving directory '/build/reproducible-path/acl2-8.6+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/elpa-acl2.lintian-overrides debian/acl2.lintian-overrides debian/acl2-doc.lintian-overrides debian/acl2-books.lintian-overrides debian/acl2-books-source.lintian-overrides debian/acl2-books-certs.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 dh_clean -XTAGS debian/rules binary-arch ACL2_SNAPSHOT_INFO="commit 1c7e6f3564 (tag: post-8.6-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 /usr/bin/gcl27: 35: exec: /usr/lib/gcl-2.7.1/unixport/saved_ansi_gcl: Exec format error make[1]: Entering directory '/build/reproducible-path/acl2-8.6+dfsg' Preparing to build saved_acl2 (log file make.log). Compiling ... ERROR: See make.log. make[1]: *** [GNUmakefile:733: large] Error 1 make[1]: Leaving directory '/build/reproducible-path/acl2-8.6+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-06-08T20:31:56Z +------------------------------------------------------------------------------+ | Finished Timed Build Commands Mon, 08 Jun 2026 20:31:56 +0000 | +------------------------------------------------------------------------------+ rm -Rf /build/reproducible-path/acl2-8.6+dfsg/ ---------------------------------------------- I: Finished running 'rm -Rf /build/reproducible-path/acl2-8.6+dfsg/'. Finished processing commands. -------------------------------------------------------------------------------- Finished -------- +------------------------------------------------------------------------------+ | Cleanup Mon, 08 Jun 2026 20:31:58 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died with exit 2) +------------------------------------------------------------------------------+ | Summary Mon, 08 Jun 2026 20:32:02 +0000 | +------------------------------------------------------------------------------+ Build Architecture: arm64 Build Profiles: cross nocheck Build Type: any Build-Space: n/a Build-Time: 346 Distribution: unstable Fail-Stage: build Foreign Architectures: amd64 Host Architecture: amd64 Install-Time: 213 Job: acl2_8.6+dfsg-3 Machine Architecture: arm64 Package: acl2 Package-Time: 629 Source-Version: 8.6+dfsg-3 Space: n/a Status: attempted Version: 8.6+dfsg-3 -------------------------------------------------------------------------------- Finished at 2026-06-08T20:31:56Z Build needed 00:10:29, no disk space