sbuild (Debian sbuild) 0.85.0 (04 January 2023) on debian-ci-siliconvalley +==============================================================================+ | acl2 8.6+dfsg-2 (ppc64el) Fri, 02 May 2025 14:59:19 +0000 | +==============================================================================+ Package: acl2 Version: 8.6+dfsg-2 Source Version: 8.6+dfsg-2 Distribution: unstable Machine Architecture: amd64 Host Architecture: ppc64el Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any I: NOTICE: Log filtering will replace 'var/run/schroot/mount/sid-amd64-sbuild-efd038af-55b5-421d-b07e-ca4a8e12cf1d' with '<>' I: NOTICE: Log filtering will replace 'build/acl2-s8mmUy/resolver-i0E6F3' with '<>' +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Get:1 http://localhost:3142/debian unstable InRelease [205 kB] Get:2 http://localhost:3142/debian unstable/non-free-firmware Sources.diff/Index [63.3 kB] Get:3 http://localhost:3142/debian unstable/main Sources.diff/Index [63.6 kB] Get:4 http://localhost:3142/debian unstable/contrib Sources.diff/Index [63.3 kB] Get:5 http://localhost:3142/debian unstable/main amd64 Packages.diff/Index [63.6 kB] Get:6 http://localhost:3142/debian unstable/non-free-firmware Sources T-2025-05-02-1408.52-F-2025-05-02-0804.43.pdiff [3034 B] Get:7 http://localhost:3142/debian unstable/main Sources T-2025-05-02-1408.52-F-2025-05-02-0308.43.pdiff [50.8 kB] Get:8 http://localhost:3142/debian unstable/contrib Sources T-2025-05-02-1408.52-F-2025-05-02-0804.43.pdiff [1331 B] Get:6 http://localhost:3142/debian unstable/non-free-firmware Sources T-2025-05-02-1408.52-F-2025-05-02-0804.43.pdiff [3034 B] Get:8 http://localhost:3142/debian unstable/contrib Sources T-2025-05-02-1408.52-F-2025-05-02-0804.43.pdiff [1331 B] Get:7 http://localhost:3142/debian unstable/main Sources T-2025-05-02-1408.52-F-2025-05-02-0308.43.pdiff [50.8 kB] Get:9 http://localhost:3142/debian unstable/main amd64 Packages T-2025-05-02-1408.52-F-2025-05-02-0308.43.pdiff [60.1 kB] Get:9 http://localhost:3142/debian unstable/main amd64 Packages T-2025-05-02-1408.52-F-2025-05-02-0308.43.pdiff [60.1 kB] Get:10 http://localhost:3142/debian unstable/main ppc64el Packages [9951 kB] Fetched 10.5 MB in 3s (3026 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: tzdata 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 260 kB of archives. After this operation, 1024 B of additional disk space will be used. Get:1 http://localhost:3142/debian unstable/main amd64 tzdata all 2025b-3 [260 kB] Preconfiguring packages ... Fetched 260 kB in 0s (0 B/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 ... 12885 files and directories currently installed.) Preparing to unpack .../tzdata_2025b-3_all.deb ... Unpacking tzdata (2025b-3) over (2025b-2) ... Setting up tzdata (2025b-3) ... Current default time zone: 'Etc/UTC' Local time is now: Fri May 2 14:59:30 UTC 2025. Universal Time is now: Fri May 2 14:59:30 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. +------------------------------------------------------------------------------+ | 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://localhost:3142/debian unstable/main acl2 8.6+dfsg-2 (dsc) [2286 B] Get:2 http://localhost:3142/debian unstable/main acl2 8.6+dfsg-2 (tar) [240 MB] Get:3 http://localhost:3142/debian unstable/main acl2 8.6+dfsg-2 (diff) [445 kB] Fetched 241 MB in 1s (218 MB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/acl2-s8mmUy/acl2-8.6+dfsg' with '<>' I: NOTICE: Log filtering will replace 'build/acl2-s8mmUy' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1), debhelper (>= 13), texlive-latex-recommended, time, texinfo, tex-common, libc-dev, libstdc++-dev, build-essential:amd64, fakeroot:amd64, crossbuild-essential-ppc64el:amd64, libc-dev:ppc64el, libstdc++-dev:ppc64el Filtered Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1), debhelper (>= 13), texlive-latex-recommended, time, texinfo, tex-common, libc-dev, libstdc++-dev, build-essential:amd64, fakeroot:amd64, crossbuild-essential-ppc64el:amd64, libc-dev:ppc64el, libstdc++-dev:ppc64el dpkg-deb: warning: root directory /<>/sbuild-build-depends-main-dummy has unusual owner or group 1000:119 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 [811 B] Get:5 copy:/<>/apt_archive ./ Packages [856 B] Fetched 2276 B in 0s (0 B/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-powerpc64le-linux-gnu bsdextrautils cpp-14-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu crossbuild-essential-ppc64el debhelper dh-autoreconf dh-strip-nondeterminism dwz fakeroot file fontconfig-config fonts-dejavu-core fonts-dejavu-mono fonts-lmodern g++-14-powerpc64le-linux-gnu g++-powerpc64le-linux-gnu gcc-14-base:ppc64el gcc-14-cross-base gcc-14-powerpc64le-linux-gnu gcc-14-powerpc64le-linux-gnu-base gcc-powerpc64le-linux-gnu gcl27:ppc64el gettext gettext-base groff-base intltool-debian libarchive-zip-perl libasan8:ppc64el libasan8-ppc64el-cross libatomic1:ppc64el libatomic1-ppc64el-cross libbrotli1 libbsd0:ppc64el libc6:ppc64el libc6-dev:ppc64el libc6-dev-ppc64el-cross libc6-ppc64el-cross libcairo2 libcom-err2:ppc64el libcrypt-dev:ppc64el libcrypt1:ppc64el libdebhelper-perl libedit2:ppc64el libelf1t64 libexpat1 libfakeroot libffi8 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libgcc-14-dev:ppc64el libgcc-14-dev-ppc64el-cross libgcc-s1:ppc64el libgcc-s1-ppc64el-cross libglib2.0-0t64 libgmp10:ppc64el libgomp1:ppc64el libgomp1-ppc64el-cross libgraphite2-3 libgssapi-krb5-2:ppc64el libharfbuzz0b libice6 libicu76 libitm1:ppc64el libitm1-ppc64el-cross libk5crypto3:ppc64el libkeyutils1:ppc64el libkpathsea6 libkrb5-3:ppc64el libkrb5support0:ppc64el liblsan0:ppc64el liblsan0-ppc64el-cross libmagic-mgc libmagic1t64 libmd0:ppc64el libmpfi0 libncursesw6 libpaper-utils libpaper2 libpipeline1 libpixman-1-0 libpng16-16t64 libpotrace0 libproc2-0 libptexenc1 libquadmath0:ppc64el libquadmath0-ppc64el-cross libsm6 libssl3t64:ppc64el libstdc++-14-dev:ppc64el libstdc++-14-dev-ppc64el-cross libstdc++6:ppc64el libstdc++6-ppc64el-cross libsynctex2 libteckit0 libtexlua53-5 libtext-charwidth-perl libtext-unidecode-perl libtext-wrapi18n-perl libtinfo6:ppc64el libtirpc-common libtirpc-dev:ppc64el libtirpc3t64:ppc64el libtool libtsan2:ppc64el libtsan2-ppc64el-cross libubsan1:ppc64el libubsan1-ppc64el-cross libuchardet0 libunistring5 libx11-6 libx11-6:ppc64el libx11-data libxau6 libxau6:ppc64el libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxcb1:ppc64el libxdmcp6 libxdmcp6:ppc64el libxext6 libxi6 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2 libxmu6 libxpm4 libxrender1 libxt6t64 libzstd1:ppc64el libzzip-0-13t64 linux-libc-dev-ppc64el-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:ppc64el 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-powerpc64le-linux-gnu gcc-doc gcl27-doc:ppc64el gettext-doc libasprintf-dev libgettextpo-dev gnulib-l10n groff glibc-doc:ppc64el libc-l10n:ppc64el locales:ppc64el libnss-nis:ppc64el libnss-nisplus:ppc64el manpages-dev:ppc64el low-memory-monitor krb5-doc:ppc64el krb5-user:ppc64el libmpfi-doc libstdc++-14-doc:ppc64el 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:ppc64el libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs krb5-locales:ppc64el 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-powerpc64le-linux-gnu bsdextrautils cpp-14-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu crossbuild-essential-ppc64el debhelper dh-autoreconf dh-strip-nondeterminism dwz fakeroot file fontconfig-config fonts-dejavu-core fonts-dejavu-mono fonts-lmodern g++-14-powerpc64le-linux-gnu g++-powerpc64le-linux-gnu gcc-14-base:ppc64el gcc-14-cross-base gcc-14-powerpc64le-linux-gnu gcc-14-powerpc64le-linux-gnu-base gcc-powerpc64le-linux-gnu gcl27:ppc64el gettext gettext-base groff-base intltool-debian libarchive-zip-perl libasan8:ppc64el libasan8-ppc64el-cross libatomic1:ppc64el libatomic1-ppc64el-cross libbrotli1 libbsd0:ppc64el libc6:ppc64el libc6-dev:ppc64el libc6-dev-ppc64el-cross libc6-ppc64el-cross libcairo2 libcom-err2:ppc64el libcrypt-dev:ppc64el libcrypt1:ppc64el libdebhelper-perl libedit2:ppc64el libelf1t64 libexpat1 libfakeroot libffi8 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libgcc-14-dev:ppc64el libgcc-14-dev-ppc64el-cross libgcc-s1:ppc64el libgcc-s1-ppc64el-cross libglib2.0-0t64 libgmp10:ppc64el libgomp1:ppc64el libgomp1-ppc64el-cross libgraphite2-3 libgssapi-krb5-2:ppc64el libharfbuzz0b libice6 libicu76 libitm1:ppc64el libitm1-ppc64el-cross libk5crypto3:ppc64el libkeyutils1:ppc64el libkpathsea6 libkrb5-3:ppc64el libkrb5support0:ppc64el liblsan0:ppc64el liblsan0-ppc64el-cross libmagic-mgc libmagic1t64 libmd0:ppc64el libmpfi0 libncursesw6 libpaper-utils libpaper2 libpipeline1 libpixman-1-0 libpng16-16t64 libpotrace0 libproc2-0 libptexenc1 libquadmath0:ppc64el libquadmath0-ppc64el-cross libsm6 libssl3t64:ppc64el libstdc++-14-dev:ppc64el libstdc++-14-dev-ppc64el-cross libstdc++6:ppc64el libstdc++6-ppc64el-cross libsynctex2 libteckit0 libtexlua53-5 libtext-charwidth-perl libtext-unidecode-perl libtext-wrapi18n-perl libtinfo6:ppc64el libtirpc-common libtirpc-dev:ppc64el libtirpc3t64:ppc64el libtool libtsan2:ppc64el libtsan2-ppc64el-cross libubsan1:ppc64el libubsan1-ppc64el-cross libuchardet0 libunistring5 libx11-6 libx11-6:ppc64el libx11-data libxau6 libxau6:ppc64el libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxcb1:ppc64el libxdmcp6 libxdmcp6:ppc64el libxext6 libxi6 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2 libxmu6 libxpm4 libxrender1 libxt6t64 libzstd1:ppc64el libzzip-0-13t64 linux-libc-dev-ppc64el-cross m4 man-db po-debconf procps sbuild-build-depends-main-dummy:ppc64el 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:ppc64el 0 upgraded, 160 newly installed, 0 to remove and 0 not upgraded. Need to get 231 MB of archives. After this operation, 1322 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [972 B] Get:2 http://localhost:3142/debian unstable/main amd64 libncursesw6 amd64 6.5+20250216-2 [135 kB] Get:3 http://localhost:3142/debian unstable/main amd64 libproc2-0 amd64 2:4.0.4-8 [65.4 kB] Get:4 http://localhost:3142/debian unstable/main amd64 procps amd64 2:4.0.4-8 [881 kB] Get:5 http://localhost:3142/debian unstable/main amd64 sensible-utils all 0.0.25 [25.0 kB] Get:6 http://localhost:3142/debian unstable/main amd64 libmagic-mgc amd64 1:5.46-5 [338 kB] Get:7 http://localhost:3142/debian unstable/main amd64 libmagic1t64 amd64 1:5.46-5 [109 kB] Get:8 http://localhost:3142/debian unstable/main amd64 file amd64 1:5.46-5 [43.6 kB] Get:9 http://localhost:3142/debian unstable/main amd64 gettext-base amd64 0.23.1-2 [243 kB] Get:10 http://localhost:3142/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB] Get:11 http://localhost:3142/debian unstable/main amd64 groff-base amd64 1.23.0-7 [1185 kB] Get:12 http://localhost:3142/debian unstable/main amd64 bsdextrautils amd64 2.41-4 [94.6 kB] Get:13 http://localhost:3142/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get:14 http://localhost:3142/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB] Get:15 http://localhost:3142/debian unstable/main amd64 libtext-charwidth-perl amd64 0.04-11+b4 [9476 B] Get:16 http://localhost:3142/debian unstable/main amd64 libtext-wrapi18n-perl all 0.06-10 [8808 B] Get:17 http://localhost:3142/debian unstable/main amd64 ucf all 3.0051 [42.8 kB] Get:18 http://localhost:3142/debian unstable/main amd64 m4 amd64 1.4.19-8 [294 kB] Get:19 http://localhost:3142/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB] Get:20 http://localhost:3142/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB] Get:21 http://localhost:3142/debian unstable/main amd64 automake all 1:1.17-4 [862 kB] Get:22 http://localhost:3142/debian unstable/main amd64 autopoint all 0.23.1-2 [770 kB] Get:23 http://localhost:3142/debian unstable/main amd64 binutils-powerpc64le-linux-gnu amd64 2.44-3 [1514 kB] Get:24 http://localhost:3142/debian unstable/main amd64 gcc-14-powerpc64le-linux-gnu-base amd64 14.2.0-19cross1 [49.7 kB] Get:25 http://localhost:3142/debian unstable/main amd64 cpp-14-powerpc64le-linux-gnu amd64 14.2.0-19cross1 [10.2 MB] Get:26 http://localhost:3142/debian unstable/main amd64 cpp-powerpc64le-linux-gnu amd64 4:14.2.0-1 [4860 B] Get:27 http://localhost:3142/debian unstable/main amd64 gcc-14-cross-base all 14.2.0-19cross1 [44.9 kB] Get:28 http://localhost:3142/debian unstable/main amd64 libc6-ppc64el-cross all 2.41-6cross2 [1428 kB] Get:29 http://localhost:3142/debian unstable/main amd64 libgcc-s1-ppc64el-cross all 14.2.0-19cross1 [35.5 kB] Get:30 http://localhost:3142/debian unstable/main amd64 libgomp1-ppc64el-cross all 14.2.0-19cross1 [135 kB] Get:31 http://localhost:3142/debian unstable/main amd64 libitm1-ppc64el-cross all 14.2.0-19cross1 [28.0 kB] Get:32 http://localhost:3142/debian unstable/main amd64 libatomic1-ppc64el-cross all 14.2.0-19cross1 [9644 B] Get:33 http://localhost:3142/debian unstable/main amd64 libasan8-ppc64el-cross all 14.2.0-19cross1 [2643 kB] Get:34 http://localhost:3142/debian unstable/main amd64 liblsan0-ppc64el-cross all 14.2.0-19cross1 [1201 kB] Get:35 http://localhost:3142/debian unstable/main amd64 libtsan2-ppc64el-cross all 14.2.0-19cross1 [2409 kB] Get:36 http://localhost:3142/debian unstable/main amd64 libstdc++6-ppc64el-cross all 14.2.0-19cross1 [747 kB] Get:37 http://localhost:3142/debian unstable/main amd64 libubsan1-ppc64el-cross all 14.2.0-19cross1 [1078 kB] Get:38 http://localhost:3142/debian unstable/main amd64 libquadmath0-ppc64el-cross all 14.2.0-19cross1 [151 kB] Get:39 http://localhost:3142/debian unstable/main amd64 libgcc-14-dev-ppc64el-cross all 14.2.0-19cross1 [1408 kB] Get:40 http://localhost:3142/debian unstable/main amd64 gcc-14-powerpc64le-linux-gnu amd64 14.2.0-19cross1 [19.6 MB] Get:41 http://localhost:3142/debian unstable/main amd64 gcc-powerpc64le-linux-gnu amd64 4:14.2.0-1 [1460 B] Get:42 http://localhost:3142/debian unstable/main amd64 linux-libc-dev-ppc64el-cross all 6.12.17-1cross2 [2356 kB] Get:43 http://localhost:3142/debian unstable/main amd64 libc6-dev-ppc64el-cross all 2.41-6cross2 [1896 kB] Get:44 http://localhost:3142/debian unstable/main amd64 libstdc++-14-dev-ppc64el-cross all 14.2.0-19cross1 [2485 kB] Get:45 http://localhost:3142/debian unstable/main amd64 g++-14-powerpc64le-linux-gnu amd64 14.2.0-19cross1 [11.2 MB] Get:46 http://localhost:3142/debian unstable/main amd64 g++-powerpc64le-linux-gnu amd64 4:14.2.0-1 [1212 B] Get:47 http://localhost:3142/debian unstable/main amd64 crossbuild-essential-ppc64el all 12.12 [3560 B] Get:48 http://localhost:3142/debian unstable/main amd64 libdebhelper-perl all 13.24.2 [90.9 kB] Get:49 http://localhost:3142/debian unstable/main amd64 libtool all 2.5.4-4 [539 kB] Get:50 http://localhost:3142/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB] Get:51 http://localhost:3142/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:52 http://localhost:3142/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB] Get:53 http://localhost:3142/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.1-2 [8620 B] Get:54 http://localhost:3142/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB] Get:55 http://localhost:3142/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get:56 http://localhost:3142/debian unstable/main amd64 libunistring5 amd64 1.3-2 [477 kB] Get:57 http://localhost:3142/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.4 [698 kB] Get:58 http://localhost:3142/debian unstable/main amd64 gettext amd64 0.23.1-2 [1680 kB] Get:59 http://localhost:3142/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:60 http://localhost:3142/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:61 http://localhost:3142/debian unstable/main amd64 debhelper all 13.24.2 [919 kB] Get:62 http://localhost:3142/debian unstable/main amd64 libfakeroot amd64 1.37.1.1-1 [29.6 kB] Get:63 http://localhost:3142/debian unstable/main amd64 fakeroot amd64 1.37.1.1-1 [76.0 kB] Get:64 http://localhost:3142/debian unstable/main amd64 fonts-dejavu-mono all 2.37-8 [489 kB] Get:65 http://localhost:3142/debian unstable/main amd64 fonts-dejavu-core all 2.37-8 [840 kB] Get:66 http://localhost:3142/debian unstable/main amd64 fontconfig-config amd64 2.15.0-2.3 [318 kB] Get:67 http://localhost:3142/debian unstable/main amd64 fonts-lmodern all 2.005-1 [4540 kB] Get:68 http://localhost:3142/debian unstable/main ppc64el gcc-14-base ppc64el 14.2.0-19 [49.5 kB] Get:69 http://localhost:3142/debian unstable/main ppc64el libgcc-s1 ppc64el 14.2.0-19 [35.5 kB] Get:70 http://localhost:3142/debian unstable/main ppc64el libc6 ppc64el 2.41-7 [2755 kB] Get:71 http://localhost:3142/debian unstable/main ppc64el libmd0 ppc64el 1.1.0-2+b1 [34.1 kB] Get:72 http://localhost:3142/debian unstable/main ppc64el libbsd0 ppc64el 0.12.2-2 [136 kB] Get:73 http://localhost:3142/debian unstable/main ppc64el libtinfo6 ppc64el 6.5+20250216-2 [356 kB] Get:74 http://localhost:3142/debian unstable/main ppc64el libedit2 ppc64el 3.1-20250104-1 [102 kB] Get:75 http://localhost:3142/debian unstable/main ppc64el libgmp10 ppc64el 2:6.3.0+dfsg-3 [572 kB] Get:76 http://localhost:3142/debian unstable/main ppc64el libkrb5support0 ppc64el 1.21.3-5 [35.6 kB] Get:77 http://localhost:3142/debian unstable/main ppc64el libcom-err2 ppc64el 1.47.2-1+b1 [24.7 kB] Get:78 http://localhost:3142/debian unstable/main ppc64el libk5crypto3 ppc64el 1.21.3-5 [90.8 kB] Get:79 http://localhost:3142/debian unstable/main ppc64el libkeyutils1 ppc64el 1.6.3-6 [10.7 kB] Get:80 http://localhost:3142/debian unstable/main ppc64el libzstd1 ppc64el 1.5.7+dfsg-1 [318 kB] Get:81 http://localhost:3142/debian unstable/main ppc64el zlib1g ppc64el 1:1.3.dfsg+really1.3.1-1+b1 [87.4 kB] Get:82 http://localhost:3142/debian unstable/main ppc64el libssl3t64 ppc64el 3.5.0-1 [2494 kB] Get:83 http://localhost:3142/debian unstable/main ppc64el libkrb5-3 ppc64el 1.21.3-5 [356 kB] Get:84 http://localhost:3142/debian unstable/main ppc64el libgssapi-krb5-2 ppc64el 1.21.3-5 [152 kB] Get:85 http://localhost:3142/debian unstable/main amd64 libtirpc-common all 1.3.6+ds-1 [11.0 kB] Get:86 http://localhost:3142/debian unstable/main ppc64el libtirpc3t64 ppc64el 1.3.6+ds-1 [93.8 kB] Get:87 http://localhost:3142/debian unstable/main ppc64el libxau6 ppc64el 1:1.0.11-1 [21.1 kB] Get:88 http://localhost:3142/debian unstable/main ppc64el libxdmcp6 ppc64el 1:1.1.5-1 [28.7 kB] Get:89 http://localhost:3142/debian unstable/main ppc64el libxcb1 ppc64el 1.17.0-2+b1 [148 kB] Get:90 http://localhost:3142/debian unstable/main amd64 libx11-data all 2:1.8.12-1 [343 kB] Get:91 http://localhost:3142/debian unstable/main ppc64el libx11-6 ppc64el 2:1.8.12-1 [854 kB] Get:92 http://localhost:3142/debian unstable/main ppc64el libtirpc-dev ppc64el 1.3.6+ds-1 [206 kB] Get:93 http://localhost:3142/debian unstable/main ppc64el gcl27 ppc64el 2.7.1-3 [66.9 MB] Get:94 http://localhost:3142/debian unstable/main ppc64el libasan8 ppc64el 14.2.0-19 [2650 kB] Get:95 http://localhost:3142/debian unstable/main ppc64el libatomic1 ppc64el 14.2.0-19 [9952 B] Get:96 http://localhost:3142/debian unstable/main amd64 libbrotli1 amd64 1.1.0-2+b7 [307 kB] Get:97 http://localhost:3142/debian unstable/main ppc64el libcrypt1 ppc64el 1:4.4.38-1 [98.0 kB] Get:98 http://localhost:3142/debian unstable/main ppc64el libcrypt-dev ppc64el 1:4.4.38-1 [132 kB] Get:99 http://localhost:3142/debian unstable/main ppc64el libc6-dev ppc64el 2.41-7 [1899 kB] Get:100 http://localhost:3142/debian unstable/main amd64 libexpat1 amd64 2.7.1-1 [108 kB] Get:101 http://localhost:3142/debian unstable/main amd64 libpng16-16t64 amd64 1.6.47-1.1 [282 kB] Get:102 http://localhost:3142/debian unstable/main amd64 libfreetype6 amd64 2.13.3+dfsg-1 [452 kB] Get:103 http://localhost:3142/debian unstable/main amd64 libfontconfig1 amd64 2.15.0-2.3 [392 kB] Get:104 http://localhost:3142/debian unstable/main amd64 libpixman-1-0 amd64 0.44.0-3 [248 kB] Get:105 http://localhost:3142/debian unstable/main amd64 libxau6 amd64 1:1.0.11-1 [20.4 kB] Get:106 http://localhost:3142/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.5-1 [27.8 kB] Get:107 http://localhost:3142/debian unstable/main amd64 libxcb1 amd64 1.17.0-2+b1 [144 kB] Get:108 http://localhost:3142/debian unstable/main amd64 libx11-6 amd64 2:1.8.12-1 [815 kB] Get:109 http://localhost:3142/debian unstable/main amd64 libxcb-render0 amd64 1.17.0-2+b1 [115 kB] Get:110 http://localhost:3142/debian unstable/main amd64 libxcb-shm0 amd64 1.17.0-2+b1 [105 kB] Get:111 http://localhost:3142/debian unstable/main amd64 libxext6 amd64 2:1.3.4-1+b3 [50.4 kB] Get:112 http://localhost:3142/debian unstable/main amd64 libxrender1 amd64 1:0.9.12-1 [27.9 kB] Get:113 http://localhost:3142/debian unstable/main amd64 libcairo2 amd64 1.18.4-1+b1 [538 kB] Get:114 http://localhost:3142/debian unstable/main amd64 libffi8 amd64 3.4.8-2 [24.1 kB] Get:115 http://localhost:3142/debian unstable/main ppc64el libgomp1 ppc64el 14.2.0-19 [143 kB] Get:116 http://localhost:3142/debian unstable/main ppc64el libitm1 ppc64el 14.2.0-19 [28.5 kB] Get:117 http://localhost:3142/debian unstable/main ppc64el liblsan0 ppc64el 14.2.0-19 [1202 kB] Get:118 http://localhost:3142/debian unstable/main ppc64el libtsan2 ppc64el 14.2.0-19 [2416 kB] Get:119 http://localhost:3142/debian unstable/main ppc64el libstdc++6 ppc64el 14.2.0-19 [797 kB] Get:120 http://localhost:3142/debian unstable/main ppc64el libubsan1 ppc64el 14.2.0-19 [1079 kB] Get:121 http://localhost:3142/debian unstable/main ppc64el libquadmath0 ppc64el 14.2.0-19 [151 kB] Get:122 http://localhost:3142/debian unstable/main ppc64el libgcc-14-dev ppc64el 14.2.0-19 [1409 kB] Get:123 http://localhost:3142/debian unstable/main amd64 libglib2.0-0t64 amd64 2.84.1-2 [1514 kB] Get:124 http://localhost:3142/debian unstable/main amd64 libgraphite2-3 amd64 1.3.14-2+b1 [75.4 kB] Get:125 http://localhost:3142/debian unstable/main amd64 libharfbuzz0b amd64 10.2.0-1+b1 [479 kB] Get:126 http://localhost:3142/debian unstable/main amd64 x11-common all 1:7.7+24 [217 kB] Get:127 http://localhost:3142/debian unstable/main amd64 libice6 amd64 2:1.1.1-1 [65.4 kB] Get:128 http://localhost:3142/debian unstable/main amd64 libicu76 amd64 76.1-3 [9721 kB] Get:129 http://localhost:3142/debian unstable/main amd64 libkpathsea6 amd64 2024.20240313.70630+ds-6 [157 kB] Get:130 http://localhost:3142/debian unstable/main amd64 libmpfi0 amd64 1.5.4+ds-4 [35.5 kB] Get:131 http://localhost:3142/debian unstable/main amd64 libpaper2 amd64 2.2.5-0.3+b2 [16.7 kB] Get:132 http://localhost:3142/debian unstable/main amd64 libpaper-utils amd64 2.2.5-0.3+b2 [16.5 kB] Get:133 http://localhost:3142/debian unstable/main amd64 libpotrace0 amd64 1.16-2+b2 [25.6 kB] Get:134 http://localhost:3142/debian unstable/main amd64 libptexenc1 amd64 2024.20240313.70630+ds-6 [49.3 kB] Get:135 http://localhost:3142/debian unstable/main amd64 libsm6 amd64 2:1.2.6-1 [37.3 kB] Get:136 http://localhost:3142/debian unstable/main ppc64el libstdc++-14-dev ppc64el 14.2.0-19 [2507 kB] Get:137 http://localhost:3142/debian unstable/main amd64 libsynctex2 amd64 2024.20240313.70630+ds-6 [62.9 kB] Get:138 http://localhost:3142/debian unstable/main amd64 libteckit0 amd64 2.5.12+ds1-1+b1 [341 kB] Get:139 http://localhost:3142/debian unstable/main amd64 libtexlua53-5 amd64 2024.20240313.70630+ds-6 [114 kB] Get:140 http://localhost:3142/debian unstable/main amd64 libtext-unidecode-perl all 1.30-3 [101 kB] Get:141 http://localhost:3142/debian unstable/main amd64 libxt6t64 amd64 1:1.2.1-1.2+b2 [188 kB] Get:142 http://localhost:3142/debian unstable/main amd64 libxmu6 amd64 2:1.1.3-3+b4 [59.0 kB] Get:143 http://localhost:3142/debian unstable/main amd64 libxpm4 amd64 1:3.5.17-1+b3 [56.2 kB] Get:144 http://localhost:3142/debian unstable/main amd64 libxaw7 amd64 2:1.0.16-1 [212 kB] Get:145 http://localhost:3142/debian unstable/main amd64 libxi6 amd64 2:1.8.2-1 [78.9 kB] Get:146 http://localhost:3142/debian unstable/main amd64 libxml-namespacesupport-perl all 1.12-2 [15.1 kB] Get:147 http://localhost:3142/debian unstable/main amd64 libxml-sax-base-perl all 1.09-3 [20.6 kB] Get:148 http://localhost:3142/debian unstable/main amd64 libxml-sax-perl all 1.02+dfsg-4 [53.4 kB] Get:149 http://localhost:3142/debian unstable/main amd64 libxml-libxml-perl amd64 2.0207+dfsg+really+2.0134-5+b2 [314 kB] Get:150 http://localhost:3142/debian unstable/main amd64 libzzip-0-13t64 amd64 0.13.78+dfsg.1-0.1 [59.0 kB] Get:151 http://localhost:3142/debian unstable/main amd64 t1utils amd64 1.41-4 [62.1 kB] Get:152 http://localhost:3142/debian unstable/main amd64 tex-common all 6.19 [29.4 kB] Get:153 http://localhost:3142/debian unstable/main amd64 texinfo-lib amd64 7.1.1-1+b1 [232 kB] Get:154 http://localhost:3142/debian unstable/main amd64 texinfo all 7.1.1-1 [1753 kB] Get:155 http://localhost:3142/debian unstable/main amd64 texlive-binaries amd64 2024.20240313.70630+ds-6 [8446 kB] Get:156 http://localhost:3142/debian unstable/main amd64 xdg-utils all 1.2.1-2 [75.8 kB] Get:157 http://localhost:3142/debian unstable/main amd64 texlive-base all 2024.20250309-1 [23.1 MB] Get:158 http://localhost:3142/debian unstable/main amd64 texlive-latex-base all 2024.20250309-1 [1294 kB] Get:159 http://localhost:3142/debian unstable/main amd64 texlive-latex-recommended all 2024.20250309-1 [8745 kB] Get:160 http://localhost:3142/debian unstable/main amd64 time amd64 1.9-0.2 [50.8 kB] Preconfiguring packages ... Fetched 231 MB in 5s (43.1 MB/s) Selecting previously unselected package libncursesw6:amd64. (Reading database ... 12885 files and directories currently installed.) Preparing to unpack .../000-libncursesw6_6.5+20250216-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libproc2-0:amd64. Preparing to unpack .../001-libproc2-0_2%3a4.0.4-8_amd64.deb ... Unpacking libproc2-0:amd64 (2:4.0.4-8) ... Selecting previously unselected package procps. Preparing to unpack .../002-procps_2%3a4.0.4-8_amd64.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_amd64.deb ... Unpacking libmagic-mgc (1:5.46-5) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../005-libmagic1t64_1%3a5.46-5_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.46-5) ... Selecting previously unselected package file. Preparing to unpack .../006-file_1%3a5.46-5_amd64.deb ... Unpacking file (1:5.46-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../007-gettext-base_0.23.1-2_amd64.deb ... Unpacking gettext-base (0.23.1-2) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../008-libuchardet0_0.0.8-1+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../009-groff-base_1.23.0-7_amd64.deb ... Unpacking groff-base (1.23.0-7) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../010-bsdextrautils_2.41-4_amd64.deb ... Unpacking bsdextrautils (2.41-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../011-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../012-man-db_2.13.0-1_amd64.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package libtext-charwidth-perl:amd64. Preparing to unpack .../013-libtext-charwidth-perl_0.04-11+b4_amd64.deb ... Unpacking libtext-charwidth-perl:amd64 (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_amd64.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 binutils-powerpc64le-linux-gnu. Preparing to unpack .../021-binutils-powerpc64le-linux-gnu_2.44-3_amd64.deb ... Unpacking binutils-powerpc64le-linux-gnu (2.44-3) ... Selecting previously unselected package gcc-14-powerpc64le-linux-gnu-base:amd64. Preparing to unpack .../022-gcc-14-powerpc64le-linux-gnu-base_14.2.0-19cross1_amd64.deb ... Unpacking gcc-14-powerpc64le-linux-gnu-base:amd64 (14.2.0-19cross1) ... Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. Preparing to unpack .../023-cpp-14-powerpc64le-linux-gnu_14.2.0-19cross1_amd64.deb ... Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-19cross1) ... Selecting previously unselected package cpp-powerpc64le-linux-gnu. Preparing to unpack .../024-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1) ... 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 libc6-ppc64el-cross. Preparing to unpack .../026-libc6-ppc64el-cross_2.41-6cross2_all.deb ... Unpacking libc6-ppc64el-cross (2.41-6cross2) ... Selecting previously unselected package libgcc-s1-ppc64el-cross. Preparing to unpack .../027-libgcc-s1-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libgcc-s1-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package libgomp1-ppc64el-cross. Preparing to unpack .../028-libgomp1-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libgomp1-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package libitm1-ppc64el-cross. Preparing to unpack .../029-libitm1-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libitm1-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package libatomic1-ppc64el-cross. Preparing to unpack .../030-libatomic1-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libatomic1-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package libasan8-ppc64el-cross. Preparing to unpack .../031-libasan8-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libasan8-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package liblsan0-ppc64el-cross. Preparing to unpack .../032-liblsan0-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking liblsan0-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package libtsan2-ppc64el-cross. Preparing to unpack .../033-libtsan2-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libtsan2-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package libstdc++6-ppc64el-cross. Preparing to unpack .../034-libstdc++6-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libstdc++6-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package libubsan1-ppc64el-cross. Preparing to unpack .../035-libubsan1-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libubsan1-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package libquadmath0-ppc64el-cross. Preparing to unpack .../036-libquadmath0-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libquadmath0-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package libgcc-14-dev-ppc64el-cross. Preparing to unpack .../037-libgcc-14-dev-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libgcc-14-dev-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. Preparing to unpack .../038-gcc-14-powerpc64le-linux-gnu_14.2.0-19cross1_amd64.deb ... Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-19cross1) ... Selecting previously unselected package gcc-powerpc64le-linux-gnu. Preparing to unpack .../039-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1) ... Selecting previously unselected package linux-libc-dev-ppc64el-cross. Preparing to unpack .../040-linux-libc-dev-ppc64el-cross_6.12.17-1cross2_all.deb ... Unpacking linux-libc-dev-ppc64el-cross (6.12.17-1cross2) ... Selecting previously unselected package libc6-dev-ppc64el-cross. Preparing to unpack .../041-libc6-dev-ppc64el-cross_2.41-6cross2_all.deb ... Unpacking libc6-dev-ppc64el-cross (2.41-6cross2) ... Selecting previously unselected package libstdc++-14-dev-ppc64el-cross. Preparing to unpack .../042-libstdc++-14-dev-ppc64el-cross_14.2.0-19cross1_all.deb ... Unpacking libstdc++-14-dev-ppc64el-cross (14.2.0-19cross1) ... Selecting previously unselected package g++-14-powerpc64le-linux-gnu. Preparing to unpack .../043-g++-14-powerpc64le-linux-gnu_14.2.0-19cross1_amd64.deb ... Unpacking g++-14-powerpc64le-linux-gnu (14.2.0-19cross1) ... Selecting previously unselected package g++-powerpc64le-linux-gnu. Preparing to unpack .../044-g++-powerpc64le-linux-gnu_4%3a14.2.0-1_amd64.deb ... Unpacking g++-powerpc64le-linux-gnu (4:14.2.0-1) ... Selecting previously unselected package crossbuild-essential-ppc64el. Preparing to unpack .../045-crossbuild-essential-ppc64el_12.12_all.deb ... Unpacking crossbuild-essential-ppc64el (12.12) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../046-libdebhelper-perl_13.24.2_all.deb ... Unpacking libdebhelper-perl (13.24.2) ... Selecting previously unselected package libtool. Preparing to unpack .../047-libtool_2.5.4-4_all.deb ... Unpacking libtool (2.5.4-4) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../048-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../049-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 .../050-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 .../051-dh-strip-nondeterminism_1.14.1-2_all.deb ... Unpacking dh-strip-nondeterminism (1.14.1-2) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../052-libelf1t64_0.192-4_amd64.deb ... Unpacking libelf1t64:amd64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../053-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../054-libunistring5_1.3-2_amd64.deb ... Unpacking libunistring5:amd64 (1.3-2) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../055-libxml2_2.12.7+dfsg+really2.9.14-0.4_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.4) ... Selecting previously unselected package gettext. Preparing to unpack .../056-gettext_0.23.1-2_amd64.deb ... Unpacking gettext (0.23.1-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../057-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 .../058-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../059-debhelper_13.24.2_all.deb ... Unpacking debhelper (13.24.2) ... Selecting previously unselected package libfakeroot:amd64. Preparing to unpack .../060-libfakeroot_1.37.1.1-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.37.1.1-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../061-fakeroot_1.37.1.1-1_amd64.deb ... Unpacking fakeroot (1.37.1.1-1) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../062-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 .../063-fonts-dejavu-core_2.37-8_all.deb ... Unpacking fonts-dejavu-core (2.37-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../064-fontconfig-config_2.15.0-2.3_amd64.deb ... Unpacking fontconfig-config (2.15.0-2.3) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../065-fonts-lmodern_2.005-1_all.deb ... Unpacking fonts-lmodern (2.005-1) ... Selecting previously unselected package gcc-14-base:ppc64el. Preparing to unpack .../066-gcc-14-base_14.2.0-19_ppc64el.deb ... Unpacking gcc-14-base:ppc64el (14.2.0-19) ... Selecting previously unselected package libgcc-s1:ppc64el. Preparing to unpack .../067-libgcc-s1_14.2.0-19_ppc64el.deb ... Unpacking libgcc-s1:ppc64el (14.2.0-19) ... Selecting previously unselected package libc6:ppc64el. Preparing to unpack .../068-libc6_2.41-7_ppc64el.deb ... Unpacking libc6:ppc64el (2.41-7) ... Selecting previously unselected package libmd0:ppc64el. Preparing to unpack .../069-libmd0_1.1.0-2+b1_ppc64el.deb ... Unpacking libmd0:ppc64el (1.1.0-2+b1) ... Selecting previously unselected package libbsd0:ppc64el. Preparing to unpack .../070-libbsd0_0.12.2-2_ppc64el.deb ... Unpacking libbsd0:ppc64el (0.12.2-2) ... Selecting previously unselected package libtinfo6:ppc64el. Preparing to unpack .../071-libtinfo6_6.5+20250216-2_ppc64el.deb ... Unpacking libtinfo6:ppc64el (6.5+20250216-2) ... Selecting previously unselected package libedit2:ppc64el. Preparing to unpack .../072-libedit2_3.1-20250104-1_ppc64el.deb ... Unpacking libedit2:ppc64el (3.1-20250104-1) ... Selecting previously unselected package libgmp10:ppc64el. Preparing to unpack .../073-libgmp10_2%3a6.3.0+dfsg-3_ppc64el.deb ... Unpacking libgmp10:ppc64el (2:6.3.0+dfsg-3) ... Selecting previously unselected package libkrb5support0:ppc64el. Preparing to unpack .../074-libkrb5support0_1.21.3-5_ppc64el.deb ... Unpacking libkrb5support0:ppc64el (1.21.3-5) ... Selecting previously unselected package libcom-err2:ppc64el. Preparing to unpack .../075-libcom-err2_1.47.2-1+b1_ppc64el.deb ... Unpacking libcom-err2:ppc64el (1.47.2-1+b1) ... Selecting previously unselected package libk5crypto3:ppc64el. Preparing to unpack .../076-libk5crypto3_1.21.3-5_ppc64el.deb ... Unpacking libk5crypto3:ppc64el (1.21.3-5) ... Selecting previously unselected package libkeyutils1:ppc64el. Preparing to unpack .../077-libkeyutils1_1.6.3-6_ppc64el.deb ... Unpacking libkeyutils1:ppc64el (1.6.3-6) ... Selecting previously unselected package libzstd1:ppc64el. Preparing to unpack .../078-libzstd1_1.5.7+dfsg-1_ppc64el.deb ... Unpacking libzstd1:ppc64el (1.5.7+dfsg-1) ... Selecting previously unselected package zlib1g:ppc64el. Preparing to unpack .../079-zlib1g_1%3a1.3.dfsg+really1.3.1-1+b1_ppc64el.deb ... Unpacking zlib1g:ppc64el (1:1.3.dfsg+really1.3.1-1+b1) ... Selecting previously unselected package libssl3t64:ppc64el. Preparing to unpack .../080-libssl3t64_3.5.0-1_ppc64el.deb ... Unpacking libssl3t64:ppc64el (3.5.0-1) ... Selecting previously unselected package libkrb5-3:ppc64el. Preparing to unpack .../081-libkrb5-3_1.21.3-5_ppc64el.deb ... Unpacking libkrb5-3:ppc64el (1.21.3-5) ... Selecting previously unselected package libgssapi-krb5-2:ppc64el. Preparing to unpack .../082-libgssapi-krb5-2_1.21.3-5_ppc64el.deb ... Unpacking libgssapi-krb5-2:ppc64el (1.21.3-5) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../083-libtirpc-common_1.3.6+ds-1_all.deb ... Unpacking libtirpc-common (1.3.6+ds-1) ... Selecting previously unselected package libtirpc3t64:ppc64el. Preparing to unpack .../084-libtirpc3t64_1.3.6+ds-1_ppc64el.deb ... Adding 'diversion of /lib/powerpc64le-linux-gnu/libtirpc.so.3 to /lib/powerpc64le-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/powerpc64le-linux-gnu/libtirpc.so.3.0.0 to /lib/powerpc64le-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:ppc64el (1.3.6+ds-1) ... Selecting previously unselected package libxau6:ppc64el. Preparing to unpack .../085-libxau6_1%3a1.0.11-1_ppc64el.deb ... Unpacking libxau6:ppc64el (1:1.0.11-1) ... Selecting previously unselected package libxdmcp6:ppc64el. Preparing to unpack .../086-libxdmcp6_1%3a1.1.5-1_ppc64el.deb ... Unpacking libxdmcp6:ppc64el (1:1.1.5-1) ... Selecting previously unselected package libxcb1:ppc64el. Preparing to unpack .../087-libxcb1_1.17.0-2+b1_ppc64el.deb ... Unpacking libxcb1:ppc64el (1.17.0-2+b1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../088-libx11-data_2%3a1.8.12-1_all.deb ... Unpacking libx11-data (2:1.8.12-1) ... Selecting previously unselected package libx11-6:ppc64el. Preparing to unpack .../089-libx11-6_2%3a1.8.12-1_ppc64el.deb ... Unpacking libx11-6:ppc64el (2:1.8.12-1) ... Selecting previously unselected package libtirpc-dev:ppc64el. Preparing to unpack .../090-libtirpc-dev_1.3.6+ds-1_ppc64el.deb ... Unpacking libtirpc-dev:ppc64el (1.3.6+ds-1) ... Selecting previously unselected package gcl27:ppc64el. Preparing to unpack .../091-gcl27_2.7.1-3_ppc64el.deb ... Unpacking gcl27:ppc64el (2.7.1-3) ... Selecting previously unselected package libasan8:ppc64el. Preparing to unpack .../092-libasan8_14.2.0-19_ppc64el.deb ... Unpacking libasan8:ppc64el (14.2.0-19) ... Selecting previously unselected package libatomic1:ppc64el. Preparing to unpack .../093-libatomic1_14.2.0-19_ppc64el.deb ... Unpacking libatomic1:ppc64el (14.2.0-19) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../094-libbrotli1_1.1.0-2+b7_amd64.deb ... Unpacking libbrotli1:amd64 (1.1.0-2+b7) ... Selecting previously unselected package libcrypt1:ppc64el. Preparing to unpack .../095-libcrypt1_1%3a4.4.38-1_ppc64el.deb ... Unpacking libcrypt1:ppc64el (1:4.4.38-1) ... Selecting previously unselected package libcrypt-dev:ppc64el. Preparing to unpack .../096-libcrypt-dev_1%3a4.4.38-1_ppc64el.deb ... Unpacking libcrypt-dev:ppc64el (1:4.4.38-1) ... Selecting previously unselected package libc6-dev:ppc64el. Preparing to unpack .../097-libc6-dev_2.41-7_ppc64el.deb ... Unpacking libc6-dev:ppc64el (2.41-7) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../098-libexpat1_2.7.1-1_amd64.deb ... Unpacking libexpat1:amd64 (2.7.1-1) ... Selecting previously unselected package libpng16-16t64:amd64. Preparing to unpack .../099-libpng16-16t64_1.6.47-1.1_amd64.deb ... Unpacking libpng16-16t64:amd64 (1.6.47-1.1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../100-libfreetype6_2.13.3+dfsg-1_amd64.deb ... Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../101-libfontconfig1_2.15.0-2.3_amd64.deb ... Unpacking libfontconfig1:amd64 (2.15.0-2.3) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../102-libpixman-1-0_0.44.0-3_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.44.0-3) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../103-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 .../104-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 .../105-libxcb1_1.17.0-2+b1_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../106-libx11-6_2%3a1.8.12-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.12-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../107-libxcb-render0_1.17.0-2+b1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../108-libxcb-shm0_1.17.0-2+b1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../109-libxext6_2%3a1.3.4-1+b3_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b3) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../110-libxrender1_1%3a0.9.12-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.12-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../111-libcairo2_1.18.4-1+b1_amd64.deb ... Unpacking libcairo2:amd64 (1.18.4-1+b1) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../112-libffi8_3.4.8-2_amd64.deb ... Unpacking libffi8:amd64 (3.4.8-2) ... Selecting previously unselected package libgomp1:ppc64el. Preparing to unpack .../113-libgomp1_14.2.0-19_ppc64el.deb ... Unpacking libgomp1:ppc64el (14.2.0-19) ... Selecting previously unselected package libitm1:ppc64el. Preparing to unpack .../114-libitm1_14.2.0-19_ppc64el.deb ... Unpacking libitm1:ppc64el (14.2.0-19) ... Selecting previously unselected package liblsan0:ppc64el. Preparing to unpack .../115-liblsan0_14.2.0-19_ppc64el.deb ... Unpacking liblsan0:ppc64el (14.2.0-19) ... Selecting previously unselected package libtsan2:ppc64el. Preparing to unpack .../116-libtsan2_14.2.0-19_ppc64el.deb ... Unpacking libtsan2:ppc64el (14.2.0-19) ... Selecting previously unselected package libstdc++6:ppc64el. Preparing to unpack .../117-libstdc++6_14.2.0-19_ppc64el.deb ... Unpacking libstdc++6:ppc64el (14.2.0-19) ... Selecting previously unselected package libubsan1:ppc64el. Preparing to unpack .../118-libubsan1_14.2.0-19_ppc64el.deb ... Unpacking libubsan1:ppc64el (14.2.0-19) ... Selecting previously unselected package libquadmath0:ppc64el. Preparing to unpack .../119-libquadmath0_14.2.0-19_ppc64el.deb ... Unpacking libquadmath0:ppc64el (14.2.0-19) ... Selecting previously unselected package libgcc-14-dev:ppc64el. Preparing to unpack .../120-libgcc-14-dev_14.2.0-19_ppc64el.deb ... Unpacking libgcc-14-dev:ppc64el (14.2.0-19) ... Selecting previously unselected package libglib2.0-0t64:amd64. Preparing to unpack .../121-libglib2.0-0t64_2.84.1-2_amd64.deb ... Unpacking libglib2.0-0t64:amd64 (2.84.1-2) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../122-libgraphite2-3_1.3.14-2+b1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-2+b1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../123-libharfbuzz0b_10.2.0-1+b1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (10.2.0-1+b1) ... Selecting previously unselected package x11-common. Preparing to unpack .../124-x11-common_1%3a7.7+24_all.deb ... Unpacking x11-common (1:7.7+24) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../125-libice6_2%3a1.1.1-1_amd64.deb ... Unpacking libice6:amd64 (2:1.1.1-1) ... Selecting previously unselected package libicu76:amd64. Preparing to unpack .../126-libicu76_76.1-3_amd64.deb ... Unpacking libicu76:amd64 (76.1-3) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../127-libkpathsea6_2024.20240313.70630+ds-6_amd64.deb ... Unpacking libkpathsea6:amd64 (2024.20240313.70630+ds-6) ... Selecting previously unselected package libmpfi0:amd64. Preparing to unpack .../128-libmpfi0_1.5.4+ds-4_amd64.deb ... Unpacking libmpfi0:amd64 (1.5.4+ds-4) ... Selecting previously unselected package libpaper2:amd64. Preparing to unpack .../129-libpaper2_2.2.5-0.3+b2_amd64.deb ... Unpacking libpaper2:amd64 (2.2.5-0.3+b2) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../130-libpaper-utils_2.2.5-0.3+b2_amd64.deb ... Unpacking libpaper-utils (2.2.5-0.3+b2) ... Selecting previously unselected package libpotrace0:amd64. Preparing to unpack .../131-libpotrace0_1.16-2+b2_amd64.deb ... Unpacking libpotrace0:amd64 (1.16-2+b2) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../132-libptexenc1_2024.20240313.70630+ds-6_amd64.deb ... Unpacking libptexenc1:amd64 (2024.20240313.70630+ds-6) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../133-libsm6_2%3a1.2.6-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.6-1) ... Selecting previously unselected package libstdc++-14-dev:ppc64el. Preparing to unpack .../134-libstdc++-14-dev_14.2.0-19_ppc64el.deb ... Unpacking libstdc++-14-dev:ppc64el (14.2.0-19) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../135-libsynctex2_2024.20240313.70630+ds-6_amd64.deb ... Unpacking libsynctex2:amd64 (2024.20240313.70630+ds-6) ... Selecting previously unselected package libteckit0:amd64. Preparing to unpack .../136-libteckit0_2.5.12+ds1-1+b1_amd64.deb ... Unpacking libteckit0:amd64 (2.5.12+ds1-1+b1) ... Selecting previously unselected package libtexlua53-5:amd64. Preparing to unpack .../137-libtexlua53-5_2024.20240313.70630+ds-6_amd64.deb ... Unpacking libtexlua53-5:amd64 (2024.20240313.70630+ds-6) ... Selecting previously unselected package libtext-unidecode-perl. Preparing to unpack .../138-libtext-unidecode-perl_1.30-3_all.deb ... Unpacking libtext-unidecode-perl (1.30-3) ... Selecting previously unselected package libxt6t64:amd64. Preparing to unpack .../139-libxt6t64_1%3a1.2.1-1.2+b2_amd64.deb ... Unpacking libxt6t64:amd64 (1:1.2.1-1.2+b2) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../140-libxmu6_2%3a1.1.3-3+b4_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.3-3+b4) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../141-libxpm4_1%3a3.5.17-1+b3_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.17-1+b3) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../142-libxaw7_2%3a1.0.16-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.16-1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../143-libxi6_2%3a1.8.2-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.8.2-1) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../144-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 .../145-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 .../146-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 .../147-libxml-libxml-perl_2.0207+dfsg+really+2.0134-5+b2_amd64.deb ... Unpacking libxml-libxml-perl (2.0207+dfsg+really+2.0134-5+b2) ... Selecting previously unselected package libzzip-0-13t64:amd64. Preparing to unpack .../148-libzzip-0-13t64_0.13.78+dfsg.1-0.1_amd64.deb ... Unpacking libzzip-0-13t64:amd64 (0.13.78+dfsg.1-0.1) ... Selecting previously unselected package t1utils. Preparing to unpack .../149-t1utils_1.41-4_amd64.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package tex-common. Preparing to unpack .../150-tex-common_6.19_all.deb ... Unpacking tex-common (6.19) ... Selecting previously unselected package texinfo-lib. Preparing to unpack .../151-texinfo-lib_7.1.1-1+b1_amd64.deb ... Unpacking texinfo-lib (7.1.1-1+b1) ... Selecting previously unselected package texinfo. Preparing to unpack .../152-texinfo_7.1.1-1_all.deb ... Unpacking texinfo (7.1.1-1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../153-texlive-binaries_2024.20240313.70630+ds-6_amd64.deb ... Unpacking texlive-binaries (2024.20240313.70630+ds-6) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../154-xdg-utils_1.2.1-2_all.deb ... Unpacking xdg-utils (1.2.1-2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../155-texlive-base_2024.20250309-1_all.deb ... Unpacking texlive-base (2024.20250309-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../156-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 .../157-texlive-latex-recommended_2024.20250309-1_all.deb ... Unpacking texlive-latex-recommended (2024.20250309-1) ... Selecting previously unselected package time. Preparing to unpack .../158-time_1.9-0.2_amd64.deb ... Unpacking time (1.9-0.2) ... Selecting previously unselected package sbuild-build-depends-main-dummy:ppc64el. Preparing to unpack .../159-sbuild-build-depends-main-dummy_0.invalid.0_ppc64el.deb ... Unpacking sbuild-build-depends-main-dummy:ppc64el (0.invalid.0) ... Setting up libexpat1:amd64 (2.7.1-1) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up libgraphite2-3:amd64 (1.3.14-2+b1) ... Setting up libpixman-1-0:amd64 (0.44.0-3) ... Setting up libtext-charwidth-perl:amd64 (0.04-11+b4) ... Setting up libxau6:amd64 (1:1.0.11-1) ... Setting up libxdmcp6:amd64 (1:1.1.5-1) ... Setting up time (1.9-0.2) ... Setting up libxcb1:amd64 (1.17.0-2+b1) ... Setting up bsdextrautils (2.41-4) ... Setting up gcc-14-powerpc64le-linux-gnu-base:amd64 (14.2.0-19cross1) ... Setting up libmagic-mgc (1:5.46-5) ... Setting up gcc-14-base:ppc64el (14.2.0-19) ... Setting up libxcb-render0:amd64 (1.17.0-2+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libtirpc-common (1.3.6+ds-1) ... Setting up libc6-ppc64el-cross (2.41-6cross2) ... Setting up libdebhelper-perl (13.24.2) ... Setting up libbrotli1:amd64 (1.1.0-2+b7) ... Setting up libmagic1t64:amd64 (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:amd64 (1.17.0-2+b1) ... Setting up file (1:5.46-5) ... Setting up texinfo-lib (7.1.1-1+b1) ... Setting up libgomp1-ppc64el-cross (14.2.0-19cross1) ... Setting up libtext-wrapi18n-perl (0.06-10) ... Setting up libfakeroot:amd64 (1.37.1.1-1) ... Setting up libelf1t64:amd64 (0.192-4) ... Setting up fakeroot (1.37.1.1-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up libxml-sax-base-perl (1.09-3) ... Setting up autotools-dev (20240727.1) ... Setting up libzzip-0-13t64:amd64 (0.13.78+dfsg.1-0.1) ... Setting up libx11-data (2:1.8.12-1) ... Setting up libteckit0:amd64 (2.5.12+ds1-1+b1) ... Setting up t1utils (1.41-4) ... Setting up libtexlua53-5:amd64 (2024.20240313.70630+ds-6) ... Setting up libproc2-0:amd64 (2:4.0.4-8) ... Setting up libunistring5:amd64 (1.3-2) ... Setting up fonts-dejavu-mono (2.37-8) ... Setting up libpng16-16t64:amd64 (1.6.47-1.1) ... Setting up autopoint (0.23.1-2) ... Setting up libmpfi0:amd64 (1.5.4+ds-4) ... Setting up fonts-dejavu-core (2.37-8) ... Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-19cross1) ... Setting up libncursesw6:amd64 (6.5+20250216-2) ... Setting up libkpathsea6:amd64 (2024.20240313.70630+ds-6) ... Setting up autoconf (2.72-3.1) ... Setting up libitm1-ppc64el-cross (14.2.0-19cross1) ... Setting up libffi8:amd64 (3.4.8-2) ... Setting up libatomic1-ppc64el-cross (14.2.0-19cross1) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.25) ... Setting up libuchardet0:amd64 (0.0.8-1+b2) ... Setting up linux-libc-dev-ppc64el-cross (6.12.17-1cross2) ... Setting up procps (2:4.0.4-8) ... Setting up fonts-lmodern (2.005-1) ... Setting up libx11-6:amd64 (2:1.8.12-1) ... Setting up libgcc-s1-ppc64el-cross (14.2.0-19cross1) ... Setting up libicu76:amd64 (76.1-3) ... Setting up libpaper2:amd64 (2.2.5-0.3+b2) ... Setting up binutils-powerpc64le-linux-gnu (2.44-3) ... Setting up libtext-unidecode-perl (1.30-3) ... Setting up libxml2:amd64 (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 cpp-powerpc64le-linux-gnu (4:14.2.0-1) ... Setting up libsynctex2:amd64 (2024.20240313.70630+ds-6) ... Setting up libpotrace0:amd64 (1.16-2+b2) ... 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:amd64 (2:1.1.1-1) ... Setting up gettext (0.23.1-2) ... Setting up libxpm4:amd64 (1:3.5.17-1+b3) ... Setting up libc6-dev-ppc64el-cross (2.41-6cross2) ... Setting up libxrender1:amd64 (1:0.9.12-1) ... Setting up libtool (2.5.4-4) ... Setting up libquadmath0-ppc64el-cross (14.2.0-19cross1) ... Setting up fontconfig-config (2.15.0-2.3) ... Setting up libxext6:amd64 (2:1.3.4-1+b3) ... Setting up libasan8-ppc64el-cross (14.2.0-19cross1) ... Setting up libpaper-utils (2.2.5-0.3+b2) ... Setting up liblsan0-ppc64el-cross (14.2.0-19cross1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libtsan2-ppc64el-cross (14.2.0-19cross1) ... Setting up dh-autoreconf (20) ... Setting up libglib2.0-0t64:amd64 (2.84.1-2) ... No schema files found: doing nothing. Setting up libptexenc1:amd64 (2024.20240313.70630+ds-6) ... Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ... Setting up ucf (3.0051) ... Setting up libstdc++6-ppc64el-cross (14.2.0-19cross1) ... Setting up dh-strip-nondeterminism (1.14.1-2) ... Setting up groff-base (1.23.0-7) ... Setting up libharfbuzz0b:amd64 (10.2.0-1+b1) ... Setting up libfontconfig1:amd64 (2.15.0-2.3) ... Setting up libsm6:amd64 (2:1.2.6-1) ... Setting up libxi6:amd64 (2:1.8.2-1) ... Setting up libubsan1-ppc64el-cross (14.2.0-19cross1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.13.0-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:amd64 (1.18.4-1+b1) ... Setting up tex-common (6.19) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libxt6t64:amd64 (1:1.2.1-1.2+b2) ... Setting up libgcc-14-dev-ppc64el-cross (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 libstdc++-14-dev-ppc64el-cross (14.2.0-19cross1) ... Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-19cross1) ... Setting up libxmu6:amd64 (2:1.1.3-3+b4) ... Setting up g++-14-powerpc64le-linux-gnu (14.2.0-19cross1) ... Setting up debhelper (13.24.2) ... Setting up libxaw7:amd64 (2:1.0.16-1) ... Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1) ... 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 g++-powerpc64le-linux-gnu (4:14.2.0-1) ... Setting up texlive-latex-base (2024.20250309-1) ... Setting up texlive-latex-recommended (2024.20250309-1) ... Setting up crossbuild-essential-ppc64el (12.12) ... Setting up libgcc-s1:ppc64el (14.2.0-19) ... Setting up libc6:ppc64el (2.41-7) ... Setting up libmd0:ppc64el (1.1.0-2+b1) ... Setting up libasan8:ppc64el (14.2.0-19) ... Setting up libtsan2:ppc64el (14.2.0-19) ... Setting up libbsd0:ppc64el (0.12.2-2) ... Setting up libstdc++6:ppc64el (14.2.0-19) ... Setting up liblsan0:ppc64el (14.2.0-19) ... Setting up libitm1:ppc64el (14.2.0-19) ... Setting up libtinfo6:ppc64el (6.5+20250216-2) ... Setting up libzstd1:ppc64el (1.5.7+dfsg-1) ... Setting up libxau6:ppc64el (1:1.0.11-1) ... Setting up libxdmcp6:ppc64el (1:1.1.5-1) ... Setting up libkeyutils1:ppc64el (1.6.3-6) ... Setting up libxcb1:ppc64el (1.17.0-2+b1) ... Setting up libedit2:ppc64el (3.1-20250104-1) ... Setting up zlib1g:ppc64el (1:1.3.dfsg+really1.3.1-1+b1) ... Setting up libcrypt1:ppc64el (1:4.4.38-1) ... Setting up libcom-err2:ppc64el (1.47.2-1+b1) ... Setting up libgomp1:ppc64el (14.2.0-19) ... Setting up libkrb5support0:ppc64el (1.21.3-5) ... Setting up libgmp10:ppc64el (2:6.3.0+dfsg-3) ... Setting up libquadmath0:ppc64el (14.2.0-19) ... Setting up libatomic1:ppc64el (14.2.0-19) ... Setting up libk5crypto3:ppc64el (1.21.3-5) ... Setting up libubsan1:ppc64el (14.2.0-19) ... Setting up libcrypt-dev:ppc64el (1:4.4.38-1) ... Setting up libc6-dev:ppc64el (2.41-7) ... Setting up libx11-6:ppc64el (2:1.8.12-1) ... Setting up libgcc-14-dev:ppc64el (14.2.0-19) ... Setting up libstdc++-14-dev:ppc64el (14.2.0-19) ... Setting up libssl3t64:ppc64el (3.5.0-1) ... Setting up libkrb5-3:ppc64el (1.21.3-5) ... Setting up libgssapi-krb5-2:ppc64el (1.21.3-5) ... Setting up libtirpc3t64:ppc64el (1.3.6+ds-1) ... Setting up libtirpc-dev:ppc64el (1.3.6+ds-1) ... Setting up gcl27:ppc64el (2.7.1-3) ... Creating config file /etc/default/gcl27 with new version Setting up sbuild-build-depends-main-dummy:ppc64el (0.invalid.0) ... 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 (ppc64el included in any all) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 6.1.0-32-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.129-1 (2025-03-06) amd64 (x86_64) 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-ppc64el-cross_14.2.0-19cross1 libstdc++6_14.2.0-19 libstdc++6-ppc64el-cross_14.2.0-19cross1 linux-libc-dev_6.12.25-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.7 base-passwd_3.6.7 bash_5.2.37-2 binutils_2.44-3 binutils-common_2.44-3 binutils-powerpc64le-linux-gnu_2.44-3 binutils-x86-64-linux-gnu_2.44-3 bsdextrautils_2.41-4 bsdutils_1:2.41-4 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-powerpc64le-linux-gnu_14.2.0-19cross1 cpp-14-x86-64-linux-gnu_14.2.0-19 cpp-powerpc64le-linux-gnu_4:14.2.0-1 cpp-x86-64-linux-gnu_4:14.2.0-1 crossbuild-essential-ppc64el_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.1-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-powerpc64le-linux-gnu_14.2.0-19cross1 g++-14-x86-64-linux-gnu_14.2.0-19 g++-powerpc64le-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-base_14.2.0-19 gcc-14-cross-base_14.2.0-19cross1 gcc-14-powerpc64le-linux-gnu_14.2.0-19cross1 gcc-14-powerpc64le-linux-gnu-base_14.2.0-19cross1 gcc-14-x86-64-linux-gnu_14.2.0-19 gcc-powerpc64le-linux-gnu_4:14.2.0-1 gcc-x86-64-linux-gnu_4:14.2.0-1 gcl27_2.7.1-3 gettext_0.23.1-2 gettext-base_0.23.1-2 grep_3.11-4 groff-base_1.23.0-7 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-ppc64el-cross_14.2.0-19cross1 libatomic1_14.2.0-19 libatomic1-ppc64el-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-4 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-dev_2.41-7 libc6-dev-ppc64el-cross_2.41-6cross2 libc6-ppc64el-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.1-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-ppc64el-cross_14.2.0-19cross1 libgcc-s1_14.2.0-19 libgcc-s1-ppc64el-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-ppc64el-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 libice6_2:1.1.1-1 libicu76_76.1-3 libisl23_0.27-1 libitm1_14.2.0-19 libitm1-ppc64el-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-4 liblsan0_14.2.0-19 liblsan0-ppc64el-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-4 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.47-1.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-ppc64el-cross_14.2.0-19cross1 libseccomp2_2.6.0-2 libselinux1_3.8.1-1 libsemanage-common_3.8.1-1 libsemanage2_3.8.1-1 libsepol2_3.8.1-1 libsframe1_2.44-3 libsm6_2:1.2.6-1 libsmartcols1_2.41-4 libsqlite3-0_3.46.1-3 libssl3t64_3.5.0-1 libstdc++-14-dev_14.2.0-19 libstdc++-14-dev-ppc64el-cross_14.2.0-19cross1 libstdc++6_14.2.0-19 libstdc++6-ppc64el-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-ppc64el-cross_14.2.0-19cross1 libubsan1_14.2.0-19 libubsan1-ppc64el-cross_14.2.0-19cross1 libuchardet0_0.0.8-1+b2 libudev1_257.5-2 libunistring5_1.3-2 libuuid1_2.41-4 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.25-1 linux-libc-dev-ppc64el-cross_6.12.17-1cross2 login_1:4.16.0-2+really2.41-4 login.defs_1:4.17.4-2 m4_1.4.19-8 make_4.4.1-2 man-db_2.13.0-1 mawk_1.3.4.20250131-1 mount_2.41-4 ncurses-base_6.5+20250216-2 ncurses-bin_6.5+20250216-2 openssl-provider-legacy_3.5.0-1 passwd_1:4.17.4-2 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 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.25 sqv_1.3.0-1 sysvinit-utils_3.14-4 t1utils_1.41-4 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 tzdata_2025b-3 ucf_3.0051 util-linux_2.41-4 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-2 Maintainer: Camm Maguire Homepage: https://www.cs.utexas.edu/users/moore/acl2/ Standards-Version: 4.5.1 Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1), 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 e0f694fbf4ae8acb766c43b9198915f38e40df62 445128 acl2_8.6+dfsg-2.debian.tar.xz Checksums-Sha256: f633ff0ad42874381b96c34b38f4612629c3c267e2c6214f9543d03a447b366e 240329345 acl2_8.6+dfsg.orig.tar.gz 75f1788d07f74adc491c02739e0258d42bfe2d9d5bfd0b2b0a9d356074a1a2fb 445128 acl2_8.6+dfsg-2.debian.tar.xz Files: 771f71065482cd947d11ce939ed3ebe8 240329345 acl2_8.6+dfsg.orig.tar.gz 64d17b5be8696bc745e6183d0965600d 445128 acl2_8.6+dfsg-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgOJkwACgkQuEXOUQ+b cU2aDw/+IkSkvx06ZATPAc8OVNbJEiAZvvLezPxinMS9tHDzHUqs1F8AvFB4tNgK glYNmcncNu9G7MpAg1RFTvcrzqKYhQnJiudAy2ovYCpvb1KHqoG0Zcysa408vKyS UfAHHkOme4qgyymueKS5liis2EMoPc4zVGWQfJWbkfBFRAgjca3Zrvds3HQQ47Ke DEHAma2rrpixmWdIQEgtldORd4IMI6z5AeilCVlxVHDLQ5gnPPkQybhdPNwj9VV0 c5rWpMoWOEWCpYY/Bvmbri75/hf5K+YlmxV7nWgit2zq8rHCGYA8lxSlwb1X01g0 2f8zVOeKoD9+K6urzEcTOvJvmVzg0sIAz4HvURW5y9e6STXtO4hwXOW4l7rRkWc/ tjar9ngWWmOA6qiVV0h8+aJMLtezvbMJSofrbeR4WEFBUb+iOqfo+scCeErSGY/O 1G0i0X8wxhsgjL73nHYmdX1PsRcTbWDMbM9Tzpdvrttile2V8bJj5WB72JbKzCiB qoNTGlm3CRti/pdKOskj6FSz9rsGsfbKCAyhhii8GlrY1xltbk6nbglA6niU1wn/ 7if/8JbEA4eN/uPvseEQat0SVblehAWPEA974wL1iiPKU9R28OV3nwCsPjtdVohg +UBVduTm0lrEcCsdeKzaIpwjKpNNCCWc1AAsnXBo/A/XLr+pctA= =07t/ -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./acl2_8.6+dfsg-2.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-2.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.ppc64el DEB_BUILD_OPTIONS=nocheck HOME=/sbuild-nonexistent LANG=en_US.UTF-8 LC_ALL=C.UTF-8 LOGNAME=crossqa OLDPWD=/home/crossqa PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SBUILD_CONFIG=/tmp/tmp.F8BVjgmtL8/sbuild.conf SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=sid-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1000 SCHROOT_GROUP=crossqa SCHROOT_SESSION_ID=sid-amd64-sbuild-efd038af-55b5-421d-b07e-ca4a8e12cf1d SCHROOT_UID=1000 SCHROOT_USER=crossqa SHELL=/bin/sh USER=crossqa XDG_SESSION_CLASS=user dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -appc64el -Pcross,nocheck -us -uc -B -rfakeroot --jobs-try=1 dpkg-buildpackage: info: source package acl2 dpkg-buildpackage: info: source version 8.6+dfsg-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Camm Maguire dpkg-architecture: warning: specified GNU system type powerpc64le-linux-gnu does not match CC system type x86_64-linux-gnu, try setting a correct CC environment variable dpkg-source --before-build . dpkg-buildpackage: info: host architecture ppc64el 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 debian-ci-siliconvalley 6.1.0-32-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.129-1 (2025-03-06) x86_64 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.060s user 0m0.047s sys 0m0.020s Scanning for dependencies... real 1m9.034s user 1m8.593s sys 0m0.436s Done scanning. Reading book deps Makefile-deps created on Fri May 2 15:01:37 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 (1 seconds) clean.pl: deleted 4 files (0 seconds) Cleaning up Quicklisp files cd quicklisp; ./clean.sh Cleaning quicklisp/bundle (only compiled files 'bundle.*', since outside git repository) Cleaning asdf-home/cache/common-lisp Cleaning quicklisp books clean.pl: scanning for generated files clean.pl: found 0 targets (0 seconds) clean.pl: deleted 0 files (0 seconds) if [ -d projects/milawa/ACL2 ] ; then \ cd projects/milawa/ACL2; /usr/bin/make clean ; \ fi make[3]: Entering directory '/<>/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 echo '(load "debian/gcl27p.l")(si::save-system "gcl27")' | GCL_ANSI=t gcl27 /usr/bin/gcl27: 29: exec: /usr/lib/gcl-2.7.1/unixport/saved_ansi_gcl: Exec format error make: *** [debian/rules:94: saved_acl2] Error 126 dpkg-buildpackage: error: debian/rules binary-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2025-05-02T15:01:44Z +------------------------------------------------------------------------------+ | 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: amd64 Build Profiles: cross nocheck Build Type: any Build-Space: n/a Build-Time: 76 Distribution: unstable Fail-Stage: build Foreign Architectures: ppc64el Host Architecture: ppc64el Install-Time: 48 Job: acl2_8.6+dfsg-2 Machine Architecture: amd64 Package: acl2 Package-Time: 145 Source-Version: 8.6+dfsg-2 Space: n/a Status: attempted Version: 8.6+dfsg-2 -------------------------------------------------------------------------------- Finished at 2025-05-02T15:01:44Z Build needed 00:02:25, no disk space