sbuild (Debian sbuild) 0.85.0 (04 January 2023) on mjolnir.einval.org +==============================================================================+ | acl2 8.6+dfsg-3 (amd64) Thu, 15 May 2025 14:29: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 Unpacking /home/helmut/.cache/sbuild/unstable-arm64-sbuild.tar.zst to /tmp/tmp.sbuild.WIEQWgm7OZ... I: NOTICE: Log filtering will replace 'sbuild-unshare-dummy-location' with '<>' I: NOTICE: Log filtering will replace 'build/acl2-Zz7aso/resolver-sgYP5f' with '<>' +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Get:1 http://mirror.einval.org/debian unstable InRelease [208 kB] Get:2 http://mirror.einval.org/debian unstable/main Sources [11.0 MB] Get:3 http://mirror.einval.org/debian unstable/main amd64 Packages [10.1 MB] Get:4 http://mirror.einval.org/debian unstable/main arm64 Packages [10.0 MB] Fetched 31.3 MB in 7s (4360 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: base-files 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 73.1 kB of archives. After this operation, 0 B of additional disk space will be used. Get:1 http://mirror.einval.org/debian unstable/main arm64 base-files arm64 13.8 [73.1 kB] Fetched 73.1 kB in 0s (2509 kB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12033 files and directories currently installed.) Preparing to unpack .../base-files_13.8_arm64.deb ... Unpacking base-files (13.8) over (13.7) ... Setting up base-files (13.8) ... Installing new version of config file /etc/debian_version ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ 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 2s (101 MB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/acl2-Zz7aso/acl2-8.6+dfsg' with '<>' I: NOTICE: Log filtering will replace 'build/acl2-Zz7aso' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ 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, fakeroot:arm64, crossbuild-essential-amd64: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, fakeroot:arm64, crossbuild-essential-amd64:arm64, libc-dev:amd64, libstdc++-dev:amd64 dpkg-deb: warning: root directory /<>/sbuild-build-depends-main-dummy has unusual owner or group 998:999 dpkg-deb: hint: you might need to pass --root-owner-group, see for further details dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [609 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [807 B] Get:5 copy:/<>/apt_archive ./ Packages [850 B] Fetched 2266 B in 0s (91.5 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-14-x86-64-linux-gnu cpp-x86-64-linux-gnu crossbuild-essential-amd64 debhelper dh-autoreconf dh-strip-nondeterminism dwz fakeroot file fontconfig-config fonts-dejavu-core fonts-dejavu-mono fonts-lmodern g++-14-x86-64-linux-gnu g++-x86-64-linux-gnu gcc-14-base:amd64 gcc-14-cross-base gcc-14-x86-64-linux-gnu gcc-14-x86-64-linux-gnu-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 libc6:amd64 libc6-amd64-cross libc6-dev:amd64 libc6-dev-amd64-cross libcairo2 libcom-err2:amd64 libcrypt-dev:amd64 libcrypt1:amd64 libdebhelper-perl libedit2:amd64 libelf1t64 libexpat1 libfakeroot libffi8 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libgcc-14-dev:amd64 libgcc-14-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 libharfbuzz0b libhwasan0:amd64 libhwasan0-amd64-cross libice6 libicu76 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++-14-dev:amd64 libstdc++-14-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 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-14-locales cpp-14-doc cpp-doc dh-make gcc-14-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++-14-doc:amd64 libtool-doc gfortran | fortran95-compiler gcj-jdk 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 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-14-x86-64-linux-gnu cpp-x86-64-linux-gnu crossbuild-essential-amd64 debhelper dh-autoreconf dh-strip-nondeterminism dwz fakeroot file fontconfig-config fonts-dejavu-core fonts-dejavu-mono fonts-lmodern g++-14-x86-64-linux-gnu g++-x86-64-linux-gnu gcc-14-base:amd64 gcc-14-cross-base gcc-14-x86-64-linux-gnu gcc-14-x86-64-linux-gnu-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 libc6:amd64 libc6-amd64-cross libc6-dev:amd64 libc6-dev-amd64-cross libcairo2 libcom-err2:amd64 libcrypt-dev:amd64 libcrypt1:amd64 libdebhelper-perl libedit2:amd64 libelf1t64 libexpat1 libfakeroot libffi8 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libgcc-14-dev:amd64 libgcc-14-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 libharfbuzz0b libhwasan0:amd64 libhwasan0-amd64-cross libice6 libicu76 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++-14-dev:amd64 libstdc++-14-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 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, 162 newly installed, 0 to remove and 0 not upgraded. Need to get 234 MB of archives. After this operation, 1271 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [968 B] Get:2 http://mirror.einval.org/debian unstable/main arm64 libncursesw6 arm64 6.5+20250216-2 [124 kB] Get:3 http://mirror.einval.org/debian unstable/main arm64 libproc2-0 arm64 2:4.0.4-8 [63.0 kB] Get:4 http://mirror.einval.org/debian unstable/main arm64 procps arm64 2:4.0.4-8 [873 kB] Get:5 http://mirror.einval.org/debian unstable/main arm64 sensible-utils all 0.0.25 [25.0 kB] Get:6 http://mirror.einval.org/debian unstable/main arm64 libmagic-mgc arm64 1:5.46-5 [338 kB] Get:7 http://mirror.einval.org/debian unstable/main arm64 libmagic1t64 arm64 1:5.46-5 [103 kB] Get:8 http://mirror.einval.org/debian unstable/main arm64 file arm64 1:5.46-5 [43.7 kB] Get:9 http://mirror.einval.org/debian unstable/main arm64 gettext-base arm64 0.23.1-2 [241 kB] Get:10 http://mirror.einval.org/debian unstable/main arm64 libuchardet0 arm64 0.0.8-1+b2 [69.2 kB] Get:11 http://mirror.einval.org/debian unstable/main arm64 groff-base arm64 1.23.0-8 [1131 kB] Get:12 http://mirror.einval.org/debian unstable/main arm64 bsdextrautils arm64 2.41-5 [93.8 kB] Get:13 http://mirror.einval.org/debian unstable/main arm64 libpipeline1 arm64 1.5.8-1 [40.2 kB] Get:14 http://mirror.einval.org/debian unstable/main arm64 man-db arm64 2.13.1-1 [1453 kB] Get:15 http://mirror.einval.org/debian unstable/main arm64 libtext-charwidth-perl arm64 0.04-11+b4 [9652 B] Get:16 http://mirror.einval.org/debian unstable/main arm64 libtext-wrapi18n-perl all 0.06-10 [8808 B] Get:17 http://mirror.einval.org/debian unstable/main arm64 ucf all 3.0051 [42.8 kB] Get:18 http://mirror.einval.org/debian unstable/main arm64 m4 arm64 1.4.19-8 [285 kB] Get:19 http://mirror.einval.org/debian unstable/main arm64 autoconf all 2.72-3.1 [494 kB] Get:20 http://mirror.einval.org/debian unstable/main arm64 autotools-dev all 20240727.1 [60.2 kB] Get:21 http://mirror.einval.org/debian unstable/main arm64 automake all 1:1.17-4 [862 kB] Get:22 http://mirror.einval.org/debian unstable/main arm64 autopoint all 0.23.1-2 [770 kB] Get:23 http://mirror.einval.org/debian unstable/main arm64 gcc-14-x86-64-linux-gnu-base arm64 14.2.0-19cross1 [49.6 kB] Get:24 http://mirror.einval.org/debian unstable/main arm64 cpp-14-x86-64-linux-gnu arm64 14.2.0-19cross1 [10.4 MB] Get:25 http://mirror.einval.org/debian unstable/main arm64 cpp-x86-64-linux-gnu arm64 4:14.2.0-1 [4852 B] Get:26 http://mirror.einval.org/debian unstable/main arm64 binutils-x86-64-linux-gnu arm64 2.44-3 [1483 kB] Get:27 http://mirror.einval.org/debian unstable/main arm64 gcc-14-cross-base all 14.2.0-19cross1 [44.9 kB] Get:28 http://mirror.einval.org/debian unstable/main arm64 libgcc-s1-amd64-cross all 14.2.0-19cross1 [72.8 kB] Get:29 http://mirror.einval.org/debian unstable/main arm64 libgomp1-amd64-cross all 14.2.0-19cross1 [129 kB] Get:30 http://mirror.einval.org/debian unstable/main arm64 libitm1-amd64-cross all 14.2.0-19cross1 [25.4 kB] Get:31 http://mirror.einval.org/debian unstable/main arm64 libatomic1-amd64-cross all 14.2.0-19cross1 [8972 B] Get:32 http://mirror.einval.org/debian unstable/main arm64 libasan8-amd64-cross all 14.2.0-19cross1 [2713 kB] Get:33 http://mirror.einval.org/debian unstable/main arm64 liblsan0-amd64-cross all 14.2.0-19cross1 [1203 kB] Get:34 http://mirror.einval.org/debian unstable/main arm64 libtsan2-amd64-cross all 14.2.0-19cross1 [2448 kB] Get:35 http://mirror.einval.org/debian unstable/main arm64 libc6-amd64-cross all 2.41-6cross2 [1558 kB] Get:36 http://mirror.einval.org/debian unstable/main arm64 libstdc++6-amd64-cross all 14.2.0-19cross1 [665 kB] Get:37 http://mirror.einval.org/debian unstable/main arm64 libubsan1-amd64-cross all 14.2.0-19cross1 [1073 kB] Get:38 http://mirror.einval.org/debian unstable/main arm64 libhwasan0-amd64-cross all 14.2.0-19cross1 [1484 kB] Get:39 http://mirror.einval.org/debian unstable/main arm64 libquadmath0-amd64-cross all 14.2.0-19cross1 [145 kB] Get:40 http://mirror.einval.org/debian unstable/main arm64 libgcc-14-dev-amd64-cross all 14.2.0-19cross1 [2665 kB] Get:41 http://mirror.einval.org/debian unstable/main arm64 gcc-14-x86-64-linux-gnu arm64 14.2.0-19cross1 [20.0 MB] Get:42 http://mirror.einval.org/debian unstable/main arm64 gcc-x86-64-linux-gnu arm64 4:14.2.0-1 [1448 B] Get:43 http://mirror.einval.org/debian unstable/main arm64 linux-libc-dev-amd64-cross all 6.12.17-1cross2 [2369 kB] Get:44 http://mirror.einval.org/debian unstable/main arm64 libc6-dev-amd64-cross all 2.41-6cross2 [1987 kB] Get:45 http://mirror.einval.org/debian unstable/main arm64 libstdc++-14-dev-amd64-cross all 14.2.0-19cross1 [2354 kB] Get:46 http://mirror.einval.org/debian unstable/main arm64 g++-14-x86-64-linux-gnu arm64 14.2.0-19cross1 [11.2 MB] Get:47 http://mirror.einval.org/debian unstable/main arm64 g++-x86-64-linux-gnu arm64 4:14.2.0-1 [1204 B] Get:48 http://mirror.einval.org/debian unstable/main arm64 crossbuild-essential-amd64 all 12.12 [3552 B] Get:49 http://mirror.einval.org/debian unstable/main arm64 libdebhelper-perl all 13.24.2 [90.9 kB] Get:50 http://mirror.einval.org/debian unstable/main arm64 libtool all 2.5.4-4 [539 kB] Get:51 http://mirror.einval.org/debian unstable/main arm64 dh-autoreconf all 20 [17.1 kB] Get:52 http://mirror.einval.org/debian unstable/main arm64 libarchive-zip-perl all 1.68-1 [104 kB] Get:53 http://mirror.einval.org/debian unstable/main arm64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB] Get:54 http://mirror.einval.org/debian unstable/main arm64 dh-strip-nondeterminism all 1.14.1-2 [8620 B] Get:55 http://mirror.einval.org/debian unstable/main arm64 libelf1t64 arm64 0.192-4 [189 kB] Get:56 http://mirror.einval.org/debian unstable/main arm64 dwz arm64 0.15-1+b1 [102 kB] Get:57 http://mirror.einval.org/debian unstable/main arm64 libunistring5 arm64 1.3-2 [453 kB] Get:58 http://mirror.einval.org/debian unstable/main arm64 libxml2 arm64 2.12.7+dfsg+really2.9.14-0.4 [629 kB] Get:59 http://mirror.einval.org/debian unstable/main arm64 gettext arm64 0.23.1-2 [1611 kB] Get:60 http://mirror.einval.org/debian unstable/main arm64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:61 http://mirror.einval.org/debian unstable/main arm64 po-debconf all 1.0.21+nmu1 [248 kB] Get:62 http://mirror.einval.org/debian unstable/main arm64 debhelper all 13.24.2 [919 kB] Get:63 http://mirror.einval.org/debian unstable/main arm64 libfakeroot arm64 1.37.1.2-1 [29.7 kB] Get:64 http://mirror.einval.org/debian unstable/main arm64 fakeroot arm64 1.37.1.2-1 [75.4 kB] Get:65 http://mirror.einval.org/debian unstable/main arm64 fonts-dejavu-mono all 2.37-8 [489 kB] Get:66 http://mirror.einval.org/debian unstable/main arm64 fonts-dejavu-core all 2.37-8 [840 kB] Get:67 http://mirror.einval.org/debian unstable/main arm64 fontconfig-config arm64 2.15.0-2.3 [318 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-14-base amd64 14.2.0-19 [49.4 kB] Get:70 http://mirror.einval.org/debian unstable/main amd64 libgcc-s1 amd64 14.2.0-19 [72.8 kB] Get:71 http://mirror.einval.org/debian unstable/main amd64 libc6 amd64 2.41-7 [2847 kB] Get:72 http://mirror.einval.org/debian unstable/main amd64 libmd0 amd64 1.1.0-2+b1 [36.3 kB] Get:73 http://mirror.einval.org/debian unstable/main amd64 libbsd0 amd64 0.12.2-2 [131 kB] Get:74 http://mirror.einval.org/debian unstable/main amd64 libtinfo6 amd64 6.5+20250216-2 [348 kB] Get:75 http://mirror.einval.org/debian unstable/main amd64 libedit2 amd64 3.1-20250104-1 [93.8 kB] Get:76 http://mirror.einval.org/debian unstable/main amd64 libgmp10 amd64 2:6.3.0+dfsg-3 [560 kB] Get:77 http://mirror.einval.org/debian unstable/main amd64 libkrb5support0 amd64 1.21.3-5 [33.0 kB] Get:78 http://mirror.einval.org/debian unstable/main amd64 libcom-err2 amd64 1.47.2-1+b1 [24.3 kB] Get:79 http://mirror.einval.org/debian unstable/main amd64 libk5crypto3 amd64 1.21.3-5 [81.5 kB] Get:80 http://mirror.einval.org/debian unstable/main amd64 libkeyutils1 amd64 1.6.3-6 [9456 B] Get:81 http://mirror.einval.org/debian unstable/main amd64 libzstd1 amd64 1.5.7+dfsg-1 [304 kB] Get:82 http://mirror.einval.org/debian unstable/main amd64 zlib1g amd64 1:1.3.dfsg+really1.3.1-1+b1 [88.9 kB] Get:83 http://mirror.einval.org/debian unstable/main amd64 libssl3t64 amd64 3.5.0-1 [2432 kB] Get:84 http://mirror.einval.org/debian unstable/main amd64 libkrb5-3 amd64 1.21.3-5 [326 kB] Get:85 http://mirror.einval.org/debian unstable/main amd64 libgssapi-krb5-2 amd64 1.21.3-5 [138 kB] Get:86 http://mirror.einval.org/debian unstable/main arm64 libtirpc-common all 1.3.6+ds-1 [11.0 kB] Get:87 http://mirror.einval.org/debian unstable/main amd64 libtirpc3t64 amd64 1.3.6+ds-1 [83.3 kB] Get:88 http://mirror.einval.org/debian unstable/main amd64 libxau6 amd64 1:1.0.11-1 [20.4 kB] Get:89 http://mirror.einval.org/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.5-1 [27.8 kB] Get:90 http://mirror.einval.org/debian unstable/main amd64 libxcb1 amd64 1.17.0-2+b1 [144 kB] Get:91 http://mirror.einval.org/debian unstable/main arm64 libx11-data all 2:1.8.12-1 [343 kB] Get:92 http://mirror.einval.org/debian unstable/main amd64 libx11-6 amd64 2:1.8.12-1 [815 kB] Get:93 http://mirror.einval.org/debian unstable/main amd64 libtirpc-dev amd64 1.3.6+ds-1 [191 kB] Get:94 http://mirror.einval.org/debian unstable/main amd64 gcl27 amd64 2.7.1-6 [65.8 MB] Get:95 http://mirror.einval.org/debian unstable/main amd64 libasan8 amd64 14.2.0-19 [2725 kB] Get:96 http://mirror.einval.org/debian unstable/main amd64 libatomic1 amd64 14.2.0-19 [9308 B] Get:97 http://mirror.einval.org/debian unstable/main arm64 libbrotli1 arm64 1.1.0-2+b7 [308 kB] Get:98 http://mirror.einval.org/debian unstable/main amd64 libcrypt1 amd64 1:4.4.38-1 [90.1 kB] Get:99 http://mirror.einval.org/debian unstable/main amd64 libcrypt-dev amd64 1:4.4.38-1 [119 kB] Get:100 http://mirror.einval.org/debian unstable/main amd64 libc6-dev amd64 2.41-7 [1992 kB] Get:101 http://mirror.einval.org/debian unstable/main arm64 libexpat1 arm64 2.7.1-1 [93.3 kB] Get:102 http://mirror.einval.org/debian unstable/main arm64 libpng16-16t64 arm64 1.6.48-1 [274 kB] Get:103 http://mirror.einval.org/debian unstable/main arm64 libfreetype6 arm64 2.13.3+dfsg-1 [422 kB] Get:104 http://mirror.einval.org/debian unstable/main arm64 libfontconfig1 arm64 2.15.0-2.3 [387 kB] Get:105 http://mirror.einval.org/debian unstable/main arm64 libpixman-1-0 arm64 0.44.0-3 [168 kB] Get:106 http://mirror.einval.org/debian unstable/main arm64 libxau6 arm64 1:1.0.11-1 [20.6 kB] Get:107 http://mirror.einval.org/debian unstable/main arm64 libxdmcp6 arm64 1:1.1.5-1 [27.8 kB] Get:108 http://mirror.einval.org/debian unstable/main arm64 libxcb1 arm64 1.17.0-2+b1 [143 kB] Get:109 http://mirror.einval.org/debian unstable/main arm64 libx11-6 arm64 2:1.8.12-1 [795 kB] Get:110 http://mirror.einval.org/debian unstable/main arm64 libxcb-render0 arm64 1.17.0-2+b1 [115 kB] Get:111 http://mirror.einval.org/debian unstable/main arm64 libxcb-shm0 arm64 1.17.0-2+b1 [105 kB] Get:112 http://mirror.einval.org/debian unstable/main arm64 libxext6 arm64 2:1.3.4-1+b3 [49.2 kB] Get:113 http://mirror.einval.org/debian unstable/main arm64 libxrender1 arm64 1:0.9.12-1 [27.0 kB] Get:114 http://mirror.einval.org/debian unstable/main arm64 libcairo2 arm64 1.18.4-1+b1 [483 kB] Get:115 http://mirror.einval.org/debian unstable/main arm64 libffi8 arm64 3.4.8-2 [21.3 kB] Get:116 http://mirror.einval.org/debian unstable/main amd64 libgomp1 amd64 14.2.0-19 [137 kB] Get:117 http://mirror.einval.org/debian unstable/main amd64 libitm1 amd64 14.2.0-19 [26.0 kB] Get:118 http://mirror.einval.org/debian unstable/main amd64 liblsan0 amd64 14.2.0-19 [1204 kB] Get:119 http://mirror.einval.org/debian unstable/main amd64 libtsan2 amd64 14.2.0-19 [2460 kB] Get:120 http://mirror.einval.org/debian unstable/main amd64 libstdc++6 amd64 14.2.0-19 [714 kB] Get:121 http://mirror.einval.org/debian unstable/main amd64 libubsan1 amd64 14.2.0-19 [1074 kB] Get:122 http://mirror.einval.org/debian unstable/main amd64 libhwasan0 amd64 14.2.0-19 [1488 kB] Get:123 http://mirror.einval.org/debian unstable/main amd64 libquadmath0 amd64 14.2.0-19 [145 kB] Get:124 http://mirror.einval.org/debian unstable/main amd64 libgcc-14-dev amd64 14.2.0-19 [2672 kB] Get:125 http://mirror.einval.org/debian unstable/main arm64 libglib2.0-0t64 arm64 2.84.1-2 [1423 kB] Get:126 http://mirror.einval.org/debian unstable/main arm64 libgraphite2-3 arm64 1.3.14-2+b1 [70.4 kB] Get:127 http://mirror.einval.org/debian unstable/main arm64 libharfbuzz0b arm64 10.2.0-1+b1 [442 kB] Get:128 http://mirror.einval.org/debian unstable/main arm64 x11-common all 1:7.7+24 [217 kB] Get:129 http://mirror.einval.org/debian unstable/main arm64 libice6 arm64 2:1.1.1-1 [62.1 kB] Get:130 http://mirror.einval.org/debian unstable/main arm64 libicu76 arm64 76.1-3 [9526 kB] Get:131 http://mirror.einval.org/debian unstable/main arm64 libkpathsea6 arm64 2024.20240313.70630+ds-6 [154 kB] Get:132 http://mirror.einval.org/debian unstable/main arm64 libmpfi0 arm64 1.5.4+ds-4 [34.5 kB] Get:133 http://mirror.einval.org/debian unstable/main arm64 libpaper2 arm64 2.2.5-0.3+b2 [16.6 kB] Get:134 http://mirror.einval.org/debian unstable/main arm64 libpaper-utils arm64 2.2.5-0.3+b2 [16.4 kB] Get:135 http://mirror.einval.org/debian unstable/main arm64 libpotrace0 arm64 1.16-2+b2 [23.4 kB] Get:136 http://mirror.einval.org/debian unstable/main arm64 libptexenc1 arm64 2024.20240313.70630+ds-6 [48.1 kB] Get:137 http://mirror.einval.org/debian unstable/main arm64 libsm6 arm64 2:1.2.6-1 [36.4 kB] Get:138 http://mirror.einval.org/debian unstable/main amd64 libstdc++-14-dev amd64 14.2.0-19 [2376 kB] Get:139 http://mirror.einval.org/debian unstable/main arm64 libsynctex2 arm64 2024.20240313.70630+ds-6 [60.5 kB] Get:140 http://mirror.einval.org/debian unstable/main arm64 libteckit0 arm64 2.5.12+ds1-1+b1 [303 kB] Get:141 http://mirror.einval.org/debian unstable/main arm64 libtexlua53-5 arm64 2024.20240313.70630+ds-6 [106 kB] Get:142 http://mirror.einval.org/debian unstable/main arm64 libtext-unidecode-perl all 1.30-3 [101 kB] Get:143 http://mirror.einval.org/debian unstable/main arm64 libxt6t64 arm64 1:1.2.1-1.2+b2 [173 kB] Get:144 http://mirror.einval.org/debian unstable/main arm64 libxmu6 arm64 2:1.1.3-3+b4 [55.7 kB] Get:145 http://mirror.einval.org/debian unstable/main arm64 libxpm4 arm64 1:3.5.17-1+b3 [53.4 kB] Get:146 http://mirror.einval.org/debian unstable/main arm64 libxaw7 arm64 2:1.0.16-1 [195 kB] Get:147 http://mirror.einval.org/debian unstable/main arm64 libxi6 arm64 2:1.8.2-1 [77.8 kB] Get:148 http://mirror.einval.org/debian unstable/main arm64 libxml-namespacesupport-perl all 1.12-2 [15.1 kB] Get:149 http://mirror.einval.org/debian unstable/main arm64 libxml-sax-base-perl all 1.09-3 [20.6 kB] Get:150 http://mirror.einval.org/debian unstable/main arm64 libxml-sax-perl all 1.02+dfsg-4 [53.4 kB] Get:151 http://mirror.einval.org/debian unstable/main arm64 libxml-libxml-perl arm64 2.0207+dfsg+really+2.0134-5+b2 [300 kB] Get:152 http://mirror.einval.org/debian unstable/main arm64 libzzip-0-13t64 arm64 0.13.78+dfsg.1-0.1 [59.4 kB] Get:153 http://mirror.einval.org/debian unstable/main arm64 t1utils arm64 1.41-4+b1 [57.6 kB] Get:154 http://mirror.einval.org/debian unstable/main arm64 tex-common all 6.19 [29.4 kB] Get:155 http://mirror.einval.org/debian unstable/main arm64 texinfo-lib arm64 7.1.1-1+b1 [220 kB] Get:156 http://mirror.einval.org/debian unstable/main arm64 texinfo all 7.1.1-1 [1753 kB] Get:157 http://mirror.einval.org/debian unstable/main arm64 texlive-binaries arm64 2024.20240313.70630+ds-6 [7369 kB] Get:158 http://mirror.einval.org/debian unstable/main arm64 xdg-utils all 1.2.1-2 [75.8 kB] Get:159 http://mirror.einval.org/debian unstable/main arm64 texlive-base all 2024.20250309-1 [23.1 MB] Get:160 http://mirror.einval.org/debian unstable/main arm64 texlive-latex-base all 2024.20250309-1 [1294 kB] Get:161 http://mirror.einval.org/debian unstable/main arm64 texlive-latex-recommended all 2024.20250309-1 [8745 kB] Get:162 http://mirror.einval.org/debian unstable/main arm64 time arm64 1.9-0.2+b1 [48.1 kB] Preconfiguring packages ... Fetched 234 MB in 2s (102 MB/s) Selecting previously unselected package libncursesw6:arm64. (Reading database ... 12033 files and directories currently installed.) Preparing to unpack .../000-libncursesw6_6.5+20250216-2_arm64.deb ... Unpacking libncursesw6:arm64 (6.5+20250216-2) ... Selecting previously unselected package libproc2-0:arm64. Preparing to unpack .../001-libproc2-0_2%3a4.0.4-8_arm64.deb ... Unpacking libproc2-0:arm64 (2:4.0.4-8) ... Selecting previously unselected package procps. Preparing to unpack .../002-procps_2%3a4.0.4-8_arm64.deb ... Unpacking procps (2:4.0.4-8) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../003-sensible-utils_0.0.25_all.deb ... Unpacking sensible-utils (0.0.25) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../004-libmagic-mgc_1%3a5.46-5_arm64.deb ... Unpacking libmagic-mgc (1:5.46-5) ... Selecting previously unselected package libmagic1t64:arm64. Preparing to unpack .../005-libmagic1t64_1%3a5.46-5_arm64.deb ... Unpacking libmagic1t64:arm64 (1:5.46-5) ... Selecting previously unselected package file. Preparing to unpack .../006-file_1%3a5.46-5_arm64.deb ... Unpacking file (1:5.46-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../007-gettext-base_0.23.1-2_arm64.deb ... Unpacking gettext-base (0.23.1-2) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../008-libuchardet0_0.0.8-1+b2_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../009-groff-base_1.23.0-8_arm64.deb ... Unpacking groff-base (1.23.0-8) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../010-bsdextrautils_2.41-5_arm64.deb ... Unpacking bsdextrautils (2.41-5) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../011-libpipeline1_1.5.8-1_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../012-man-db_2.13.1-1_arm64.deb ... Unpacking man-db (2.13.1-1) ... Selecting previously unselected package libtext-charwidth-perl:arm64. Preparing to unpack .../013-libtext-charwidth-perl_0.04-11+b4_arm64.deb ... Unpacking libtext-charwidth-perl:arm64 (0.04-11+b4) ... Selecting previously unselected package libtext-wrapi18n-perl. Preparing to unpack .../014-libtext-wrapi18n-perl_0.06-10_all.deb ... Unpacking libtext-wrapi18n-perl (0.06-10) ... Selecting previously unselected package ucf. Preparing to unpack .../015-ucf_3.0051_all.deb ... Moving old data out of the way Unpacking ucf (3.0051) ... Selecting previously unselected package m4. Preparing to unpack .../016-m4_1.4.19-8_arm64.deb ... Unpacking m4 (1.4.19-8) ... Selecting previously unselected package autoconf. Preparing to unpack .../017-autoconf_2.72-3.1_all.deb ... Unpacking autoconf (2.72-3.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../018-autotools-dev_20240727.1_all.deb ... Unpacking autotools-dev (20240727.1) ... Selecting previously unselected package automake. Preparing to unpack .../019-automake_1%3a1.17-4_all.deb ... Unpacking automake (1:1.17-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../020-autopoint_0.23.1-2_all.deb ... Unpacking autopoint (0.23.1-2) ... Selecting previously unselected package gcc-14-x86-64-linux-gnu-base:arm64. Preparing to unpack .../021-gcc-14-x86-64-linux-gnu-base_14.2.0-19cross1_arm64.deb ... Unpacking gcc-14-x86-64-linux-gnu-base:arm64 (14.2.0-19cross1) ... Selecting previously unselected package cpp-14-x86-64-linux-gnu. Preparing to unpack .../022-cpp-14-x86-64-linux-gnu_14.2.0-19cross1_arm64.deb ... Unpacking cpp-14-x86-64-linux-gnu (14.2.0-19cross1) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../023-cpp-x86-64-linux-gnu_4%3a14.2.0-1_arm64.deb ... Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../024-binutils-x86-64-linux-gnu_2.44-3_arm64.deb ... Unpacking binutils-x86-64-linux-gnu (2.44-3) ... Selecting previously unselected package gcc-14-cross-base. Preparing to unpack .../025-gcc-14-cross-base_14.2.0-19cross1_all.deb ... Unpacking gcc-14-cross-base (14.2.0-19cross1) ... Selecting previously unselected package libgcc-s1-amd64-cross. Preparing to unpack .../026-libgcc-s1-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libgcc-s1-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package libgomp1-amd64-cross. Preparing to unpack .../027-libgomp1-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libgomp1-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package libitm1-amd64-cross. Preparing to unpack .../028-libitm1-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libitm1-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package libatomic1-amd64-cross. Preparing to unpack .../029-libatomic1-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libatomic1-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package libasan8-amd64-cross. Preparing to unpack .../030-libasan8-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libasan8-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package liblsan0-amd64-cross. Preparing to unpack .../031-liblsan0-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking liblsan0-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package libtsan2-amd64-cross. Preparing to unpack .../032-libtsan2-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libtsan2-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package libc6-amd64-cross. Preparing to unpack .../033-libc6-amd64-cross_2.41-6cross2_all.deb ... Unpacking libc6-amd64-cross (2.41-6cross2) ... Selecting previously unselected package libstdc++6-amd64-cross. Preparing to unpack .../034-libstdc++6-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libstdc++6-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package libubsan1-amd64-cross. Preparing to unpack .../035-libubsan1-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libubsan1-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package libhwasan0-amd64-cross. Preparing to unpack .../036-libhwasan0-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libhwasan0-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package libquadmath0-amd64-cross. Preparing to unpack .../037-libquadmath0-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libquadmath0-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package libgcc-14-dev-amd64-cross. Preparing to unpack .../038-libgcc-14-dev-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libgcc-14-dev-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package gcc-14-x86-64-linux-gnu. Preparing to unpack .../039-gcc-14-x86-64-linux-gnu_14.2.0-19cross1_arm64.deb ... Unpacking gcc-14-x86-64-linux-gnu (14.2.0-19cross1) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../040-gcc-x86-64-linux-gnu_4%3a14.2.0-1_arm64.deb ... Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1) ... Selecting previously unselected package linux-libc-dev-amd64-cross. Preparing to unpack .../041-linux-libc-dev-amd64-cross_6.12.17-1cross2_all.deb ... Unpacking linux-libc-dev-amd64-cross (6.12.17-1cross2) ... Selecting previously unselected package libc6-dev-amd64-cross. Preparing to unpack .../042-libc6-dev-amd64-cross_2.41-6cross2_all.deb ... Unpacking libc6-dev-amd64-cross (2.41-6cross2) ... Selecting previously unselected package libstdc++-14-dev-amd64-cross. Preparing to unpack .../043-libstdc++-14-dev-amd64-cross_14.2.0-19cross1_all.deb ... Unpacking libstdc++-14-dev-amd64-cross (14.2.0-19cross1) ... Selecting previously unselected package g++-14-x86-64-linux-gnu. Preparing to unpack .../044-g++-14-x86-64-linux-gnu_14.2.0-19cross1_arm64.deb ... Unpacking g++-14-x86-64-linux-gnu (14.2.0-19cross1) ... Selecting previously unselected package g++-x86-64-linux-gnu. Preparing to unpack .../045-g++-x86-64-linux-gnu_4%3a14.2.0-1_arm64.deb ... Unpacking g++-x86-64-linux-gnu (4:14.2.0-1) ... Selecting previously unselected package crossbuild-essential-amd64. Preparing to unpack .../046-crossbuild-essential-amd64_12.12_all.deb ... Unpacking crossbuild-essential-amd64 (12.12) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../047-libdebhelper-perl_13.24.2_all.deb ... Unpacking libdebhelper-perl (13.24.2) ... Selecting previously unselected package libtool. Preparing to unpack .../048-libtool_2.5.4-4_all.deb ... Unpacking libtool (2.5.4-4) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../049-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../050-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 .../051-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../052-dh-strip-nondeterminism_1.14.1-2_all.deb ... Unpacking dh-strip-nondeterminism (1.14.1-2) ... Selecting previously unselected package libelf1t64:arm64. Preparing to unpack .../053-libelf1t64_0.192-4_arm64.deb ... Unpacking libelf1t64:arm64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../054-dwz_0.15-1+b1_arm64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libunistring5:arm64. Preparing to unpack .../055-libunistring5_1.3-2_arm64.deb ... Unpacking libunistring5:arm64 (1.3-2) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../056-libxml2_2.12.7+dfsg+really2.9.14-0.4_arm64.deb ... Unpacking libxml2:arm64 (2.12.7+dfsg+really2.9.14-0.4) ... Selecting previously unselected package gettext. Preparing to unpack .../057-gettext_0.23.1-2_arm64.deb ... Unpacking gettext (0.23.1-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../058-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 .../059-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../060-debhelper_13.24.2_all.deb ... Unpacking debhelper (13.24.2) ... Selecting previously unselected package libfakeroot:arm64. Preparing to unpack .../061-libfakeroot_1.37.1.2-1_arm64.deb ... Unpacking libfakeroot:arm64 (1.37.1.2-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../062-fakeroot_1.37.1.2-1_arm64.deb ... Unpacking fakeroot (1.37.1.2-1) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../063-fonts-dejavu-mono_2.37-8_all.deb ... Unpacking fonts-dejavu-mono (2.37-8) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../064-fonts-dejavu-core_2.37-8_all.deb ... Unpacking fonts-dejavu-core (2.37-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../065-fontconfig-config_2.15.0-2.3_arm64.deb ... Unpacking fontconfig-config (2.15.0-2.3) ... 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-14-base:amd64. Preparing to unpack .../067-gcc-14-base_14.2.0-19_amd64.deb ... Unpacking gcc-14-base:amd64 (14.2.0-19) ... Selecting previously unselected package libgcc-s1:amd64. Preparing to unpack .../068-libgcc-s1_14.2.0-19_amd64.deb ... Unpacking libgcc-s1:amd64 (14.2.0-19) ... Selecting previously unselected package libc6:amd64. Preparing to unpack .../069-libc6_2.41-7_amd64.deb ... Unpacking libc6:amd64 (2.41-7) ... Selecting previously unselected package libmd0:amd64. Preparing to unpack .../070-libmd0_1.1.0-2+b1_amd64.deb ... Unpacking libmd0:amd64 (1.1.0-2+b1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../071-libbsd0_0.12.2-2_amd64.deb ... Unpacking libbsd0:amd64 (0.12.2-2) ... Selecting previously unselected package libtinfo6:amd64. Preparing to unpack .../072-libtinfo6_6.5+20250216-2_amd64.deb ... Unpacking libtinfo6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../073-libedit2_3.1-20250104-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20250104-1) ... Selecting previously unselected package libgmp10:amd64. Preparing to unpack .../074-libgmp10_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp10:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../075-libkrb5support0_1.21.3-5_amd64.deb ... Unpacking libkrb5support0:amd64 (1.21.3-5) ... Selecting previously unselected package libcom-err2:amd64. Preparing to unpack .../076-libcom-err2_1.47.2-1+b1_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.2-1+b1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../077-libk5crypto3_1.21.3-5_amd64.deb ... Unpacking libk5crypto3:amd64 (1.21.3-5) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../078-libkeyutils1_1.6.3-6_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-6) ... Selecting previously unselected package libzstd1:amd64. Preparing to unpack .../079-libzstd1_1.5.7+dfsg-1_amd64.deb ... Unpacking libzstd1:amd64 (1.5.7+dfsg-1) ... Selecting previously unselected package zlib1g:amd64. Preparing to unpack .../080-zlib1g_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ... Unpacking zlib1g:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ... Selecting previously unselected package libssl3t64:amd64. Preparing to unpack .../081-libssl3t64_3.5.0-1_amd64.deb ... Unpacking libssl3t64:amd64 (3.5.0-1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../082-libkrb5-3_1.21.3-5_amd64.deb ... Unpacking libkrb5-3:amd64 (1.21.3-5) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../083-libgssapi-krb5-2_1.21.3-5_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.21.3-5) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../084-libtirpc-common_1.3.6+ds-1_all.deb ... Unpacking libtirpc-common (1.3.6+ds-1) ... Selecting previously unselected package libtirpc3t64:amd64. Preparing to unpack .../085-libtirpc3t64_1.3.6+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.6+ds-1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../086-libxau6_1%3a1.0.11-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.11-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../087-libxdmcp6_1%3a1.1.5-1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../088-libxcb1_1.17.0-2+b1_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../089-libx11-data_2%3a1.8.12-1_all.deb ... Unpacking libx11-data (2:1.8.12-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../090-libx11-6_2%3a1.8.12-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.12-1) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../091-libtirpc-dev_1.3.6+ds-1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.6+ds-1) ... Selecting previously unselected package gcl27:amd64. Preparing to unpack .../092-gcl27_2.7.1-6_amd64.deb ... Unpacking gcl27:amd64 (2.7.1-6) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../093-libasan8_14.2.0-19_amd64.deb ... Unpacking libasan8:amd64 (14.2.0-19) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../094-libatomic1_14.2.0-19_amd64.deb ... Unpacking libatomic1:amd64 (14.2.0-19) ... Selecting previously unselected package libbrotli1:arm64. Preparing to unpack .../095-libbrotli1_1.1.0-2+b7_arm64.deb ... Unpacking libbrotli1:arm64 (1.1.0-2+b7) ... Selecting previously unselected package libcrypt1:amd64. Preparing to unpack .../096-libcrypt1_1%3a4.4.38-1_amd64.deb ... Unpacking libcrypt1:amd64 (1:4.4.38-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../097-libcrypt-dev_1%3a4.4.38-1_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.38-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../098-libc6-dev_2.41-7_amd64.deb ... Unpacking libc6-dev:amd64 (2.41-7) ... Selecting previously unselected package libexpat1:arm64. Preparing to unpack .../099-libexpat1_2.7.1-1_arm64.deb ... Unpacking libexpat1:arm64 (2.7.1-1) ... Selecting previously unselected package libpng16-16t64:arm64. Preparing to unpack .../100-libpng16-16t64_1.6.48-1_arm64.deb ... Unpacking libpng16-16t64:arm64 (1.6.48-1) ... Selecting previously unselected package libfreetype6:arm64. Preparing to unpack .../101-libfreetype6_2.13.3+dfsg-1_arm64.deb ... Unpacking libfreetype6:arm64 (2.13.3+dfsg-1) ... Selecting previously unselected package libfontconfig1:arm64. Preparing to unpack .../102-libfontconfig1_2.15.0-2.3_arm64.deb ... Unpacking libfontconfig1:arm64 (2.15.0-2.3) ... Selecting previously unselected package libpixman-1-0:arm64. Preparing to unpack .../103-libpixman-1-0_0.44.0-3_arm64.deb ... Unpacking libpixman-1-0:arm64 (0.44.0-3) ... Selecting previously unselected package libxau6:arm64. Preparing to unpack .../104-libxau6_1%3a1.0.11-1_arm64.deb ... Unpacking libxau6:arm64 (1:1.0.11-1) ... Selecting previously unselected package libxdmcp6:arm64. Preparing to unpack .../105-libxdmcp6_1%3a1.1.5-1_arm64.deb ... Unpacking libxdmcp6:arm64 (1:1.1.5-1) ... Selecting previously unselected package libxcb1:arm64. Preparing to unpack .../106-libxcb1_1.17.0-2+b1_arm64.deb ... Unpacking libxcb1:arm64 (1.17.0-2+b1) ... Selecting previously unselected package libx11-6:arm64. Preparing to unpack .../107-libx11-6_2%3a1.8.12-1_arm64.deb ... Unpacking libx11-6:arm64 (2:1.8.12-1) ... Selecting previously unselected package libxcb-render0:arm64. Preparing to unpack .../108-libxcb-render0_1.17.0-2+b1_arm64.deb ... Unpacking libxcb-render0:arm64 (1.17.0-2+b1) ... Selecting previously unselected package libxcb-shm0:arm64. Preparing to unpack .../109-libxcb-shm0_1.17.0-2+b1_arm64.deb ... Unpacking libxcb-shm0:arm64 (1.17.0-2+b1) ... Selecting previously unselected package libxext6:arm64. Preparing to unpack .../110-libxext6_2%3a1.3.4-1+b3_arm64.deb ... Unpacking libxext6:arm64 (2:1.3.4-1+b3) ... Selecting previously unselected package libxrender1:arm64. Preparing to unpack .../111-libxrender1_1%3a0.9.12-1_arm64.deb ... Unpacking libxrender1:arm64 (1:0.9.12-1) ... Selecting previously unselected package libcairo2:arm64. Preparing to unpack .../112-libcairo2_1.18.4-1+b1_arm64.deb ... Unpacking libcairo2:arm64 (1.18.4-1+b1) ... Selecting previously unselected package libffi8:arm64. Preparing to unpack .../113-libffi8_3.4.8-2_arm64.deb ... Unpacking libffi8:arm64 (3.4.8-2) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../114-libgomp1_14.2.0-19_amd64.deb ... Unpacking libgomp1:amd64 (14.2.0-19) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../115-libitm1_14.2.0-19_amd64.deb ... Unpacking libitm1:amd64 (14.2.0-19) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../116-liblsan0_14.2.0-19_amd64.deb ... Unpacking liblsan0:amd64 (14.2.0-19) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../117-libtsan2_14.2.0-19_amd64.deb ... Unpacking libtsan2:amd64 (14.2.0-19) ... Selecting previously unselected package libstdc++6:amd64. Preparing to unpack .../118-libstdc++6_14.2.0-19_amd64.deb ... Unpacking libstdc++6:amd64 (14.2.0-19) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../119-libubsan1_14.2.0-19_amd64.deb ... Unpacking libubsan1:amd64 (14.2.0-19) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../120-libhwasan0_14.2.0-19_amd64.deb ... Unpacking libhwasan0:amd64 (14.2.0-19) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../121-libquadmath0_14.2.0-19_amd64.deb ... Unpacking libquadmath0:amd64 (14.2.0-19) ... Selecting previously unselected package libgcc-14-dev:amd64. Preparing to unpack .../122-libgcc-14-dev_14.2.0-19_amd64.deb ... Unpacking libgcc-14-dev:amd64 (14.2.0-19) ... Selecting previously unselected package libglib2.0-0t64:arm64. Preparing to unpack .../123-libglib2.0-0t64_2.84.1-2_arm64.deb ... Unpacking libglib2.0-0t64:arm64 (2.84.1-2) ... Selecting previously unselected package libgraphite2-3:arm64. Preparing to unpack .../124-libgraphite2-3_1.3.14-2+b1_arm64.deb ... Unpacking libgraphite2-3:arm64 (1.3.14-2+b1) ... Selecting previously unselected package libharfbuzz0b:arm64. Preparing to unpack .../125-libharfbuzz0b_10.2.0-1+b1_arm64.deb ... Unpacking libharfbuzz0b:arm64 (10.2.0-1+b1) ... Selecting previously unselected package x11-common. Preparing to unpack .../126-x11-common_1%3a7.7+24_all.deb ... Unpacking x11-common (1:7.7+24) ... Selecting previously unselected package libice6:arm64. Preparing to unpack .../127-libice6_2%3a1.1.1-1_arm64.deb ... Unpacking libice6:arm64 (2:1.1.1-1) ... Selecting previously unselected package libicu76:arm64. Preparing to unpack .../128-libicu76_76.1-3_arm64.deb ... Unpacking libicu76:arm64 (76.1-3) ... Selecting previously unselected package libkpathsea6:arm64. Preparing to unpack .../129-libkpathsea6_2024.20240313.70630+ds-6_arm64.deb ... Unpacking libkpathsea6:arm64 (2024.20240313.70630+ds-6) ... Selecting previously unselected package libmpfi0:arm64. Preparing to unpack .../130-libmpfi0_1.5.4+ds-4_arm64.deb ... Unpacking libmpfi0:arm64 (1.5.4+ds-4) ... Selecting previously unselected package libpaper2:arm64. Preparing to unpack .../131-libpaper2_2.2.5-0.3+b2_arm64.deb ... Unpacking libpaper2:arm64 (2.2.5-0.3+b2) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../132-libpaper-utils_2.2.5-0.3+b2_arm64.deb ... Unpacking libpaper-utils (2.2.5-0.3+b2) ... Selecting previously unselected package libpotrace0:arm64. Preparing to unpack .../133-libpotrace0_1.16-2+b2_arm64.deb ... Unpacking libpotrace0:arm64 (1.16-2+b2) ... Selecting previously unselected package libptexenc1:arm64. Preparing to unpack .../134-libptexenc1_2024.20240313.70630+ds-6_arm64.deb ... Unpacking libptexenc1:arm64 (2024.20240313.70630+ds-6) ... Selecting previously unselected package libsm6:arm64. Preparing to unpack .../135-libsm6_2%3a1.2.6-1_arm64.deb ... Unpacking libsm6:arm64 (2:1.2.6-1) ... Selecting previously unselected package libstdc++-14-dev:amd64. Preparing to unpack .../136-libstdc++-14-dev_14.2.0-19_amd64.deb ... Unpacking libstdc++-14-dev:amd64 (14.2.0-19) ... Selecting previously unselected package libsynctex2:arm64. Preparing to unpack .../137-libsynctex2_2024.20240313.70630+ds-6_arm64.deb ... Unpacking libsynctex2:arm64 (2024.20240313.70630+ds-6) ... Selecting previously unselected package libteckit0:arm64. Preparing to unpack .../138-libteckit0_2.5.12+ds1-1+b1_arm64.deb ... Unpacking libteckit0:arm64 (2.5.12+ds1-1+b1) ... Selecting previously unselected package libtexlua53-5:arm64. Preparing to unpack .../139-libtexlua53-5_2024.20240313.70630+ds-6_arm64.deb ... Unpacking libtexlua53-5:arm64 (2024.20240313.70630+ds-6) ... Selecting previously unselected package libtext-unidecode-perl. Preparing to unpack .../140-libtext-unidecode-perl_1.30-3_all.deb ... Unpacking libtext-unidecode-perl (1.30-3) ... Selecting previously unselected package libxt6t64:arm64. Preparing to unpack .../141-libxt6t64_1%3a1.2.1-1.2+b2_arm64.deb ... Unpacking libxt6t64:arm64 (1:1.2.1-1.2+b2) ... Selecting previously unselected package libxmu6:arm64. Preparing to unpack .../142-libxmu6_2%3a1.1.3-3+b4_arm64.deb ... Unpacking libxmu6:arm64 (2:1.1.3-3+b4) ... Selecting previously unselected package libxpm4:arm64. Preparing to unpack .../143-libxpm4_1%3a3.5.17-1+b3_arm64.deb ... Unpacking libxpm4:arm64 (1:3.5.17-1+b3) ... Selecting previously unselected package libxaw7:arm64. Preparing to unpack .../144-libxaw7_2%3a1.0.16-1_arm64.deb ... Unpacking libxaw7:arm64 (2:1.0.16-1) ... Selecting previously unselected package libxi6:arm64. Preparing to unpack .../145-libxi6_2%3a1.8.2-1_arm64.deb ... Unpacking libxi6:arm64 (2:1.8.2-1) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../146-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 .../147-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 .../148-libxml-sax-perl_1.02+dfsg-4_all.deb ... Unpacking libxml-sax-perl (1.02+dfsg-4) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../149-libxml-libxml-perl_2.0207+dfsg+really+2.0134-5+b2_arm64.deb ... Unpacking libxml-libxml-perl (2.0207+dfsg+really+2.0134-5+b2) ... Selecting previously unselected package libzzip-0-13t64:arm64. Preparing to unpack .../150-libzzip-0-13t64_0.13.78+dfsg.1-0.1_arm64.deb ... Unpacking libzzip-0-13t64:arm64 (0.13.78+dfsg.1-0.1) ... Selecting previously unselected package t1utils. Preparing to unpack .../151-t1utils_1.41-4+b1_arm64.deb ... Unpacking t1utils (1.41-4+b1) ... Selecting previously unselected package tex-common. Preparing to unpack .../152-tex-common_6.19_all.deb ... Unpacking tex-common (6.19) ... Selecting previously unselected package texinfo-lib. Preparing to unpack .../153-texinfo-lib_7.1.1-1+b1_arm64.deb ... Unpacking texinfo-lib (7.1.1-1+b1) ... Selecting previously unselected package texinfo. Preparing to unpack .../154-texinfo_7.1.1-1_all.deb ... Unpacking texinfo (7.1.1-1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../155-texlive-binaries_2024.20240313.70630+ds-6_arm64.deb ... Unpacking texlive-binaries (2024.20240313.70630+ds-6) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../156-xdg-utils_1.2.1-2_all.deb ... Unpacking xdg-utils (1.2.1-2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../157-texlive-base_2024.20250309-1_all.deb ... Unpacking texlive-base (2024.20250309-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../158-texlive-latex-base_2024.20250309-1_all.deb ... Unpacking texlive-latex-base (2024.20250309-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../159-texlive-latex-recommended_2024.20250309-1_all.deb ... Unpacking texlive-latex-recommended (2024.20250309-1) ... Selecting previously unselected package time. Preparing to unpack .../160-time_1.9-0.2+b1_arm64.deb ... Unpacking time (1.9-0.2+b1) ... Selecting previously unselected package sbuild-build-depends-main-dummy:amd64. Preparing to unpack .../161-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy:amd64 (0.invalid.0) ... Setting up libexpat1:arm64 (2.7.1-1) ... Setting up libpipeline1:arm64 (1.5.8-1) ... Setting up libgraphite2-3:arm64 (1.3.14-2+b1) ... Setting up libpixman-1-0:arm64 (0.44.0-3) ... Setting up libtext-charwidth-perl:arm64 (0.04-11+b4) ... Setting up libxau6:arm64 (1:1.0.11-1) ... Setting up libxdmcp6:arm64 (1:1.1.5-1) ... Setting up time (1.9-0.2+b1) ... Setting up libxcb1:arm64 (1.17.0-2+b1) ... Setting up gcc-14-x86-64-linux-gnu-base:arm64 (14.2.0-19cross1) ... Setting up linux-libc-dev-amd64-cross (6.12.17-1cross2) ... Setting up bsdextrautils (2.41-5) ... Setting up libmagic-mgc (1:5.46-5) ... Setting up gcc-14-base:amd64 (14.2.0-19) ... Setting up libxcb-render0:arm64 (1.17.0-2+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libtirpc-common (1.3.6+ds-1) ... Setting up libdebhelper-perl (13.24.2) ... Setting up libbrotli1:arm64 (1.1.0-2+b7) ... Setting up libmagic1t64:arm64 (1:5.46-5) ... Setting up x11-common (1:7.7+24) ... 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.23.1-2) ... Setting up m4 (1.4.19-8) ... Setting up gcc-14-cross-base (14.2.0-19cross1) ... Setting up libxcb-shm0:arm64 (1.17.0-2+b1) ... Setting up file (1:5.46-5) ... Setting up texinfo-lib (7.1.1-1+b1) ... Setting up libgomp1-amd64-cross (14.2.0-19cross1) ... Setting up libtext-wrapi18n-perl (0.06-10) ... Setting up libfakeroot:arm64 (1.37.1.2-1) ... Setting up libelf1t64:arm64 (0.192-4) ... Setting up fakeroot (1.37.1.2-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up libitm1-amd64-cross (14.2.0-19cross1) ... Setting up libxml-sax-base-perl (1.09-3) ... Setting up autotools-dev (20240727.1) ... Setting up libatomic1-amd64-cross (14.2.0-19cross1) ... Setting up libzzip-0-13t64:arm64 (0.13.78+dfsg.1-0.1) ... Setting up libx11-data (2:1.8.12-1) ... Setting up libteckit0:arm64 (2.5.12+ds1-1+b1) ... Setting up t1utils (1.41-4+b1) ... Setting up libtexlua53-5:arm64 (2024.20240313.70630+ds-6) ... Setting up libproc2-0:arm64 (2:4.0.4-8) ... Setting up libunistring5:arm64 (1.3-2) ... Setting up fonts-dejavu-mono (2.37-8) ... Setting up libpng16-16t64:arm64 (1.6.48-1) ... Setting up libquadmath0-amd64-cross (14.2.0-19cross1) ... Setting up autopoint (0.23.1-2) ... Setting up libmpfi0:arm64 (1.5.4+ds-4) ... Setting up fonts-dejavu-core (2.37-8) ... Setting up cpp-14-x86-64-linux-gnu (14.2.0-19cross1) ... Setting up libc6-amd64-cross (2.41-6cross2) ... Setting up libncursesw6:arm64 (6.5+20250216-2) ... Setting up libkpathsea6:arm64 (2024.20240313.70630+ds-6) ... Setting up autoconf (2.72-3.1) ... Setting up libffi8:arm64 (3.4.8-2) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.25) ... Setting up libuchardet0:arm64 (0.0.8-1+b2) ... Setting up procps (2:4.0.4-8) ... Setting up fonts-lmodern (2.005-1) ... Setting up libx11-6:arm64 (2:1.8.12-1) ... Setting up libicu76:arm64 (76.1-3) ... Setting up libpaper2:arm64 (2.2.5-0.3+b2) ... Setting up libtext-unidecode-perl (1.30-3) ... Setting up libgcc-s1-amd64-cross (14.2.0-19cross1) ... Setting up libxml2:arm64 (2.12.7+dfsg+really2.9.14-0.4) ... 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 (2024.20240313.70630+ds-6) ... Setting up binutils-x86-64-linux-gnu (2.44-3) ... Setting up libpotrace0:arm64 (1.16-2+b2) ... Setting up libstdc++6-amd64-cross (14.2.0-19cross1) ... Setting up cpp-x86-64-linux-gnu (4:14.2.0-1) ... Setting up automake (1:1.17-4) ... update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.1-2) ... Setting up libice6:arm64 (2:1.1.1-1) ... Setting up gettext (0.23.1-2) ... Setting up libxpm4:arm64 (1:3.5.17-1+b3) ... Setting up libxrender1:arm64 (1:0.9.12-1) ... Setting up libtool (2.5.4-4) ... Setting up fontconfig-config (2.15.0-2.3) ... Setting up libasan8-amd64-cross (14.2.0-19cross1) ... Setting up liblsan0-amd64-cross (14.2.0-19cross1) ... Setting up libc6-dev-amd64-cross (2.41-6cross2) ... Setting up libxext6:arm64 (2:1.3.4-1+b3) ... Setting up libtsan2-amd64-cross (14.2.0-19cross1) ... Setting up libpaper-utils (2.2.5-0.3+b2) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libglib2.0-0t64:arm64 (2.84.1-2) ... No schema files found: doing nothing. Setting up libptexenc1:arm64 (2024.20240313.70630+ds-6) ... Setting up libfreetype6:arm64 (2.13.3+dfsg-1) ... Setting up libhwasan0-amd64-cross (14.2.0-19cross1) ... Setting up libubsan1-amd64-cross (14.2.0-19cross1) ... Setting up ucf (3.0051) ... Setting up dh-strip-nondeterminism (1.14.1-2) ... Setting up libgcc-14-dev-amd64-cross (14.2.0-19cross1) ... Setting up groff-base (1.23.0-8) ... Setting up libharfbuzz0b:arm64 (10.2.0-1+b1) ... Setting up libfontconfig1:arm64 (2.15.0-2.3) ... Setting up gcc-14-x86-64-linux-gnu (14.2.0-19cross1) ... Setting up libsm6:arm64 (2:1.2.6-1) ... Setting up libstdc++-14-dev-amd64-cross (14.2.0-19cross1) ... Setting up libxi6:arm64 (2:1.8.2-1) ... Setting up gcc-x86-64-linux-gnu (4:14.2.0-1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libxml-sax-perl (1.02+dfsg-4) ... 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-1+b1) ... Setting up tex-common (6.19) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libxt6t64:arm64 (1:1.2.1-1.2+b2) ... Setting up g++-14-x86-64-linux-gnu (14.2.0-19cross1) ... Setting up libxml-libxml-perl (2.0207+dfsg+really+2.0134-5+b2) ... 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 g++-x86-64-linux-gnu (4:14.2.0-1) ... Setting up libxmu6:arm64 (2:1.1.3-3+b4) ... Setting up debhelper (13.24.2) ... Setting up libxaw7:arm64 (2:1.0.16-1) ... Setting up crossbuild-essential-amd64 (12.12) ... Setting up texinfo (7.1.1-1) ... Running mktexlsr. This may take some time. ... done. Setting up texlive-binaries (2024.20240313.70630+ds-6) ... 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 (2024.20250309-1) ... 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 texlive-latex-base (2024.20250309-1) ... Setting up texlive-latex-recommended (2024.20250309-1) ... Setting up libgcc-s1:amd64 (14.2.0-19) ... Setting up libc6:amd64 (2.41-7) ... Setting up libmd0:amd64 (1.1.0-2+b1) ... Setting up libhwasan0:amd64 (14.2.0-19) ... Setting up libasan8:amd64 (14.2.0-19) ... Setting up libtsan2:amd64 (14.2.0-19) ... Setting up libbsd0:amd64 (0.12.2-2) ... Setting up libstdc++6:amd64 (14.2.0-19) ... Setting up liblsan0:amd64 (14.2.0-19) ... Setting up libitm1:amd64 (14.2.0-19) ... Setting up libtinfo6:amd64 (6.5+20250216-2) ... Setting up libzstd1:amd64 (1.5.7+dfsg-1) ... Setting up libxau6:amd64 (1:1.0.11-1) ... Setting up libxdmcp6:amd64 (1:1.1.5-1) ... Setting up libkeyutils1:amd64 (1.6.3-6) ... Setting up libxcb1:amd64 (1.17.0-2+b1) ... Setting up libedit2:amd64 (3.1-20250104-1) ... Setting up zlib1g:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ... Setting up libcrypt1:amd64 (1:4.4.38-1) ... Setting up libcom-err2:amd64 (1.47.2-1+b1) ... Setting up libgomp1:amd64 (14.2.0-19) ... Setting up libkrb5support0:amd64 (1.21.3-5) ... Setting up libgmp10:amd64 (2:6.3.0+dfsg-3) ... Setting up libquadmath0:amd64 (14.2.0-19) ... Setting up libatomic1:amd64 (14.2.0-19) ... Setting up libk5crypto3:amd64 (1.21.3-5) ... Setting up libubsan1:amd64 (14.2.0-19) ... Setting up libcrypt-dev:amd64 (1:4.4.38-1) ... Setting up libc6-dev:amd64 (2.41-7) ... Setting up libx11-6:amd64 (2:1.8.12-1) ... Setting up libgcc-14-dev:amd64 (14.2.0-19) ... Setting up libstdc++-14-dev:amd64 (14.2.0-19) ... Setting up libssl3t64:amd64 (3.5.0-1) ... Setting up libkrb5-3:amd64 (1.21.3-5) ... Setting up libgssapi-krb5-2:amd64 (1.21.3-5) ... Setting up libtirpc3t64:amd64 (1.3.6+ds-1) ... Setting up libtirpc-dev:amd64 (1.3.6+ds-1) ... Setting up gcl27:amd64 (2.7.1-6) ... 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 (13.8) ... Processing triggers for libc-bin (2.41-7) ... Processing triggers for tex-common (6.19) ... 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 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any all) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 6.1.0-28-arm64 #1 SMP Debian 6.1.119-1 (2024-11-22) arm64 (aarch64) Toolchain package versions: binutils_2.44-3 dpkg-dev_1.22.18 g++-14_14.2.0-19 gcc-14_14.2.0-19 libc6-dev_2.41-7 libstdc++-14-dev_14.2.0-19 libstdc++-14-dev-amd64-cross_14.2.0-19cross1 libstdc++6_14.2.0-19 libstdc++6-amd64-cross_14.2.0-19cross1 linux-libc-dev_6.12.27-1 Package versions: apt_3.0.1 apt-utils_3.0.1 autoconf_2.72-3.1 automake_1:1.17-4 autopoint_0.23.1-2 autotools-dev_20240727.1 base-files_13.8 base-passwd_3.6.7 bash_5.2.37-2+b1 binutils_2.44-3 binutils-aarch64-linux-gnu_2.44-3 binutils-common_2.44-3 binutils-x86-64-linux-gnu_2.44-3 bsdextrautils_2.41-5 bsdutils_1:2.41-5 build-essential_12.12 bzip2_1.0.8-6 coreutils_9.7-2 cpp_4:14.2.0-1 cpp-14_14.2.0-19 cpp-14-aarch64-linux-gnu_14.2.0-19 cpp-14-x86-64-linux-gnu_14.2.0-19cross1 cpp-aarch64-linux-gnu_4:14.2.0-1 cpp-x86-64-linux-gnu_4:14.2.0-1 crossbuild-essential-amd64_12.12 dash_0.5.12-12 debconf_1.5.91 debhelper_13.24.2 debian-archive-keyring_2025.1 debianutils_5.22 dh-autoreconf_20 dh-strip-nondeterminism_1.14.1-2 diffutils_1:3.10-4 dpkg_1.22.18 dpkg-dev_1.22.18 dwz_0.15-1+b1 fakeroot_1.37.1.2-1 file_1:5.46-5 findutils_4.10.0-3 fontconfig-config_2.15.0-2.3 fonts-dejavu-core_2.37-8 fonts-dejavu-mono_2.37-8 fonts-lmodern_2.005-1 g++_4:14.2.0-1 g++-14_14.2.0-19 g++-14-aarch64-linux-gnu_14.2.0-19 g++-14-x86-64-linux-gnu_14.2.0-19cross1 g++-aarch64-linux-gnu_4:14.2.0-1 g++-x86-64-linux-gnu_4:14.2.0-1 gcc_4:14.2.0-1 gcc-14_14.2.0-19 gcc-14-aarch64-linux-gnu_14.2.0-19 gcc-14-base_14.2.0-19 gcc-14-cross-base_14.2.0-19cross1 gcc-14-x86-64-linux-gnu_14.2.0-19cross1 gcc-14-x86-64-linux-gnu-base_14.2.0-19cross1 gcc-aarch64-linux-gnu_4:14.2.0-1 gcc-x86-64-linux-gnu_4:14.2.0-1 gcl27_2.7.1-6 gettext_0.23.1-2 gettext-base_0.23.1-2 grep_3.11-4+b1 groff-base_1.23.0-8 gzip_1.13-1 hostname_3.25 init-system-helpers_1.68 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-2+b1 libapt-pkg7.0_3.0.1 libarchive-zip-perl_1.68-1 libasan8_14.2.0-19 libasan8-amd64-cross_14.2.0-19cross1 libatomic1_14.2.0-19 libatomic1-amd64-cross_14.2.0-19cross1 libattr1_1:2.5.2-3 libaudit-common_1:4.0.2-2 libaudit1_1:4.0.2-2+b2 libbinutils_2.44-3 libblkid1_2.41-5 libbrotli1_1.1.0-2+b7 libbsd0_0.12.2-2 libbz2-1.0_1.0.8-6 libc-bin_2.41-7 libc-dev-bin_2.41-7 libc6_2.41-7 libc6-amd64-cross_2.41-6cross2 libc6-dev_2.41-7 libc6-dev-amd64-cross_2.41-6cross2 libcairo2_1.18.4-1+b1 libcap-ng0_0.8.5-4+b1 libcap2_1:2.75-7 libcc1-0_14.2.0-19 libcom-err2_1.47.2-1+b1 libcrypt-dev_1:4.4.38-1 libcrypt1_1:4.4.38-1 libctf-nobfd0_2.44-3 libctf0_2.44-3 libdb5.3t64_5.3.28+dfsg2-9 libdebconfclient0_0.278 libdebhelper-perl_13.24.2 libdpkg-perl_1.22.18 libedit2_3.1-20250104-1 libelf1t64_0.192-4 libexpat1_2.7.1-1 libfakeroot_1.37.1.2-1 libffi8_3.4.8-2 libfile-stripnondeterminism-perl_1.14.1-2 libfontconfig1_2.15.0-2.3 libfreetype6_2.13.3+dfsg-1 libgcc-14-dev_14.2.0-19 libgcc-14-dev-amd64-cross_14.2.0-19cross1 libgcc-s1_14.2.0-19 libgcc-s1-amd64-cross_14.2.0-19cross1 libgdbm-compat4t64_1.24-2 libgdbm6t64_1.24-2 libglib2.0-0t64_2.84.1-2 libgmp10_2:6.3.0+dfsg-3 libgomp1_14.2.0-19 libgomp1-amd64-cross_14.2.0-19cross1 libgprofng0_2.44-3 libgraphite2-3_1.3.14-2+b1 libgssapi-krb5-2_1.21.3-5 libharfbuzz0b_10.2.0-1+b1 libhogweed6t64_3.10.1-1 libhwasan0_14.2.0-19 libhwasan0-amd64-cross_14.2.0-19cross1 libice6_2:1.1.1-1 libicu76_76.1-3 libisl23_0.27-1 libitm1_14.2.0-19 libitm1-amd64-cross_14.2.0-19cross1 libjansson4_2.14-2+b3 libk5crypto3_1.21.3-5 libkeyutils1_1.6.3-6 libkpathsea6_2024.20240313.70630+ds-6 libkrb5-3_1.21.3-5 libkrb5support0_1.21.3-5 liblastlog2-2_2.41-5 liblsan0_14.2.0-19 liblsan0-amd64-cross_14.2.0-19cross1 liblz4-1_1.10.0-4 liblzma5_5.8.1-1 libmagic-mgc_1:5.46-5 libmagic1t64_1:5.46-5 libmd0_1.1.0-2+b1 libmount1_2.41-5 libmpc3_1.3.1-1+b3 libmpfi0_1.5.4+ds-4 libmpfr6_4.2.2-1 libncursesw6_6.5+20250216-2 libnettle8t64_3.10.1-1 libpam-modules_1.7.0-3 libpam-modules-bin_1.7.0-3 libpam-runtime_1.7.0-3 libpam0g_1.7.0-3 libpaper-utils_2.2.5-0.3+b2 libpaper2_2.2.5-0.3+b2 libpcre2-8-0_10.45-1 libperl5.40_5.40.1-3 libpipeline1_1.5.8-1 libpixman-1-0_0.44.0-3 libpng16-16t64_1.6.48-1 libpotrace0_1.16-2+b2 libproc2-0_2:4.0.4-8 libptexenc1_2024.20240313.70630+ds-6 libquadmath0_14.2.0-19 libquadmath0-amd64-cross_14.2.0-19cross1 libseccomp2_2.6.0-2 libselinux1_3.8.1-1 libsframe1_2.44-3 libsm6_2:1.2.6-1 libsmartcols1_2.41-5 libsqlite3-0_3.46.1-4 libssl3t64_3.5.0-1 libstdc++-14-dev_14.2.0-19 libstdc++-14-dev-amd64-cross_14.2.0-19cross1 libstdc++6_14.2.0-19 libstdc++6-amd64-cross_14.2.0-19cross1 libsynctex2_2024.20240313.70630+ds-6 libsystemd0_257.5-2 libteckit0_2.5.12+ds1-1+b1 libtexlua53-5_2024.20240313.70630+ds-6 libtext-charwidth-perl_0.04-11+b4 libtext-unidecode-perl_1.30-3 libtext-wrapi18n-perl_0.06-10 libtinfo6_6.5+20250216-2 libtirpc-common_1.3.6+ds-1 libtirpc-dev_1.3.6+ds-1 libtirpc3t64_1.3.6+ds-1 libtool_2.5.4-4 libtsan2_14.2.0-19 libtsan2-amd64-cross_14.2.0-19cross1 libubsan1_14.2.0-19 libubsan1-amd64-cross_14.2.0-19cross1 libuchardet0_0.0.8-1+b2 libudev1_257.5-2 libunistring5_1.3-2 libuuid1_2.41-5 libx11-6_2:1.8.12-1 libx11-data_2:1.8.12-1 libxau6_1:1.0.11-1 libxaw7_2:1.0.16-1 libxcb-render0_1.17.0-2+b1 libxcb-shm0_1.17.0-2+b1 libxcb1_1.17.0-2+b1 libxdmcp6_1:1.1.5-1 libxext6_2:1.3.4-1+b3 libxi6_2:1.8.2-1 libxml-libxml-perl_2.0207+dfsg+really+2.0134-5+b2 libxml-namespacesupport-perl_1.12-2 libxml-sax-base-perl_1.09-3 libxml-sax-perl_1.02+dfsg-4 libxml2_2.12.7+dfsg+really2.9.14-0.4 libxmu6_2:1.1.3-3+b4 libxpm4_1:3.5.17-1+b3 libxrender1_1:0.9.12-1 libxt6t64_1:1.2.1-1.2+b2 libxxhash0_0.8.3-2 libzstd1_1.5.7+dfsg-1 libzzip-0-13t64_0.13.78+dfsg.1-0.1 linux-libc-dev_6.12.27-1 linux-libc-dev-amd64-cross_6.12.17-1cross2 login_1:4.16.0-2+really2.41-5 login.defs_1:4.17.4-2 m4_1.4.19-8 make_4.4.1-2 man-db_2.13.1-1 mawk_1.3.4.20250131-1 ncurses-base_6.5+20250216-2 ncurses-bin_6.5+20250216-2 openssl-provider-legacy_3.5.0-1 patch_2.8-1 perl_5.40.1-3 perl-base_5.40.1-3 perl-modules-5.40_5.40.1-3 po-debconf_1.0.21+nmu1 procps_2:4.0.4-8 rpcsvc-proto_1.4.3-1+b1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2+b1 sensible-utils_0.0.25 sqv_1.3.0-2 sysvinit-utils_3.14-4 t1utils_1.41-4+b1 tar_1.35+dfsg-3.1 tex-common_6.19 texinfo_7.1.1-1 texinfo-lib_7.1.1-1+b1 texlive-base_2024.20250309-1 texlive-binaries_2024.20240313.70630+ds-6 texlive-latex-base_2024.20250309-1 texlive-latex-recommended_2024.20250309-1 time_1.9-0.2+b1 ucf_3.0051 util-linux_2.41-5 x11-common_1:7.7+24 xdg-utils_1.2.1-2 xz-utils_5.8.1-1 zlib1g_1:1.3.dfsg+really1.3.1-1+b1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ 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: unsupported subcommand dpkg-source: info: extracting acl2 in /<> 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=/var/lib/sbuild LANG=en_GB.UTF-8 LC_ALL=C.UTF-8 LOGNAME=helmut OLDPWD=/ PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games PWD=/<> SHELL=/bin/sh USER=helmut dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -aamd64 -Pcross,nocheck -us -uc -B -rfakeroot --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 '/<>/books/interface/infix' rm -f /<>/books/interface/infix/*.otl /<>/books/interface/infix/*.err /<>/books/interface/infix/*.ps /<>/books/interface/infix/*.aux rm -f /<>/books/interface/infix/*.dvi /<>/books/interface/infix/*.aux /<>/books/interface/infix/*.log /<>/books/interface/infix/*.idx /<>/books/interface/infix/.log rm -f *~* *#* workxxx *.o *.tex *.nqtex TAGS *.dvi *.ps *.err *.aux *.log *.idx make[1]: Leaving directory '/<>/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 '/<>' 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 '/<>' /usr/bin/make clean-books make[1]: Entering directory '/<>' ACL2_WD is /<> ACL2 is /<>/saved_acl2 Linux sbuild 6.1.0-28-arm64 #1 SMP Debian 6.1.119-1 (2024-11-22) aarch64 GNU/Linux cd books ; /usr/bin/make -k ACL2=/<>/saved_acl2 moreclean make[2]: Entering directory '/<>/books' ACL2_SYSTEM_BOOKS is /<>/books Determining ACL2 features (for ACL2 = /<>/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.227s user 0m0.097s sys 0m0.154s Scanning for dependencies... real 5m46.405s user 5m40.757s sys 0m3.193s Done scanning. Reading book deps Makefile-deps created on Thu May 15 14:40:21 UTC 2025 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. /<>/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 '/<>/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 '/<>/books/projects/milawa/ACL2' Cleaning centaur/vl/bin directory Cleaning centaur/vl2014/bin directory Removing extra, explicitly temporary files. rm -rf /<>/books/build/Makefile-comp /<>/books/build/Makefile-comp-pre /<>/books/build/Makefile-deps /<>/books/build/Makefile-books /<>/books/build/Makefile-features /<>/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 '/<>/books/system/toothbrush' Updating dependencies in /<>/books/system/toothbrush Note: For toothbrush, ACL2_DIR = /<>/. rm -f defined-syms.lsp rm -f success.txt cd tests ; /usr/bin/make clean make[4]: Entering directory '/<>/books/system/toothbrush/tests' make[5]: Entering directory '/<>/books/system/toothbrush/tests/test1' Updating dependencies in /<>/books/system/toothbrush/tests/test1 rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/<>/books/system/toothbrush/tests/test1' make[5]: Entering directory '/<>/books/system/toothbrush/tests/test2' Updating dependencies in /<>/books/system/toothbrush/tests/test2 rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/<>/books/system/toothbrush/tests/test2' make[5]: Entering directory '/<>/books/system/toothbrush/tests/test-par' Updating dependencies in /<>/books/system/toothbrush/tests/test-par rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/<>/books/system/toothbrush/tests/test-par' make[5]: Entering directory '/<>/books/system/toothbrush/tests/dag-unification' Updating dependencies in /<>/books/system/toothbrush/tests/dag-unification rm -f output.lsp success.txt tb-exec* make[5]: Leaving directory '/<>/books/system/toothbrush/tests/dag-unification' make[4]: Leaving directory '/<>/books/system/toothbrush/tests' make[3]: Leaving directory '/<>/books/system/toothbrush' make[3]: Entering directory '/<>/books/clause-processors/SULFA' rm -f \#*\# *~ rm -f scripts/interpret_sulfa_file /usr/bin/make PERL=perl SAT_SOLVER=/<>/books/clause-processors/SULFA/../../../aux/minisat2//minisat/core/minisat SAT_SOLVER_TYPE=minisat CC=gcc clean-subdirs make[4]: Entering directory '/<>/books/clause-processors/SULFA' for dir in scripts c-files books; do \ /usr/bin/make PERL=perl SAT_SOLVER=/<>/books/clause-processors/SULFA/../../../aux/minisat2//minisat/core/minisat SAT_SOLVER_TYPE=minisat CC=gcc clean -C $dir; \ done make[5]: Entering directory '/<>/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 '/<>/books/clause-processors/SULFA/scripts' make[5]: Entering directory '/<>/books/clause-processors/SULFA/c-files' rm -f sat-input-formater smt-prep zchaff-output-formater minisat-output-formater *~ #*# make[5]: Leaving directory '/<>/books/clause-processors/SULFA/c-files' make[5]: Entering directory '/<>/books/clause-processors/SULFA/books' make[6]: Entering directory '/<>/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 '/<>/books/clause-processors/SULFA/books/sat' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/clause-processors' Updating dependencies in /<>/books/clause-processors/SULFA/books/clause-processors rm -f *.cert *~ *.sexpr *.d *.sot *~ \#*\# rm -f -r sat-temp-files make[6]: Leaving directory '/<>/books/clause-processors/SULFA/books/clause-processors' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/sat-tests' rm -f *.cert *~ *.sexpr *.d *.sot rm -f -r sat-temp-files make[6]: Leaving directory '/<>/books/clause-processors/SULFA/books/sat-tests' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/bv-smt-solver' Updating dependencies in /<>/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 '/<>/books/clause-processors/SULFA/books/bv-smt-solver' make[5]: Leaving directory '/<>/books/clause-processors/SULFA/books' make[4]: Leaving directory '/<>/books/clause-processors/SULFA' make[3]: Leaving directory '/<>/books/clause-processors/SULFA' make[3]: Entering directory '/<>/books/projects/translators/l3-to-acl2' make[4]: Entering directory '/<>/books/projects/translators/l3-to-acl2/translator' Updating dependencies in /<>/books/projects/translators/l3-to-acl2/translator make[4]: Leaving directory '/<>/books/projects/translators/l3-to-acl2/translator' make[4]: Entering directory '/<>/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 '/<>/books/projects/translators/l3-to-acl2/examples/thacker' make[3]: Leaving directory '/<>/books/projects/translators/l3-to-acl2' make[3]: Entering directory '/<>/books/workshops/1999/multiplier' rm -f fmul.lisp fmul-star.lisp rm -f *.tem make[3]: Leaving directory '/<>/books/workshops/1999/multiplier' make[3]: Entering directory '/<>/books/workshops/2003/greve-wilding-vanfleet/support' rm -f consistency-test.lisp make.lisp consistency-test-passed.lisp make[3]: Leaving directory '/<>/books/workshops/2003/greve-wilding-vanfleet/support' make[3]: Entering directory '/<>/books/workshops/2003/kaufmann/support/input' rm -f defs-out.lisp defs-eq.lisp lemmas-out.lisp check.txt make[3]: Leaving directory '/<>/books/workshops/2003/kaufmann/support/input' make[3]: Entering directory '/<>/books/workshops/2003/kaufmann/support/rtl' rm -f model.lisp model-defs.lisp model-eq.lisp model.lisp bvecp.lisp make[3]: Leaving directory '/<>/books/workshops/2003/kaufmann/support/rtl' make[3]: Entering directory '/<>/books/workshops/2004/sumners-ray/support' Updating dependencies in /<>/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 '/<>/books/workshops/2004/sumners-ray/support' make[3]: Entering directory '/<>/books/projects/apply-model' make[3]: Leaving directory '/<>/books/projects/apply-model' make[3]: Entering directory '/<>/books/projects/apply-model-2' make[3]: Leaving directory '/<>/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 '/<>/books' make[1]: Leaving directory '/<>' 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 '/<>' 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 '/<>' 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 returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2025-05-15T14:40:53Z +------------------------------------------------------------------------------+ | Finished Timed Build Commands | +------------------------------------------------------------------------------+ rm -Rf /<>/ ---------------------------------------- I: Finished running 'rm -Rf /<>/'. Finished processing commands. -------------------------------------------------------------------------------- Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: arm64 Build Profiles: cross nocheck Build Type: any Build-Space: n/a Build-Time: 381 Distribution: unstable Fail-Stage: build Foreign Architectures: amd64 Host Architecture: amd64 Install-Time: 238 Job: acl2_8.6+dfsg-3 Machine Architecture: arm64 Package: acl2 Package-Time: 686 Source-Version: 8.6+dfsg-3 Space: n/a Status: attempted Version: 8.6+dfsg-3 -------------------------------------------------------------------------------- Finished at 2025-05-15T14:40:53Z Build needed 00:11:26, no disk space