sbuild (Debian sbuild) 0.89.3+deb13u4 (28 December 2025) on debian-ci-siliconvalley +==============================================================================+ | hol88 2.02.19940316dfsg-9 (ppc64el) Sat, 06 Jun 2026 17:15:24 +0000 | +==============================================================================+ Package: hol88 Version: 2.02.19940316dfsg-9 Source Version: 2.02.19940316dfsg-9 Distribution: unstable Machine Architecture: amd64 Host Architecture: ppc64el Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Sat, 06 Jun 2026 17:15:29 +0000 | +------------------------------------------------------------------------------+ Get:1 http://localhost:3142/debian unstable InRelease [189 kB] Get:2 http://localhost:3142/debian unstable/main Sources.diff/Index [63.6 kB] Get:3 http://localhost:3142/debian unstable/main amd64 Packages.diff/Index [63.6 kB] Get:4 http://localhost:3142/debian unstable/main Sources T-2026-06-06-1401.08-F-2026-06-06-0203.16.pdiff [42.9 kB] Get:5 http://localhost:3142/debian unstable/main amd64 Packages T-2026-06-06-1401.08-F-2026-06-06-0203.16.pdiff [55.4 kB] Get:4 http://localhost:3142/debian unstable/main Sources T-2026-06-06-1401.08-F-2026-06-06-0203.16.pdiff [42.9 kB] Get:6 http://localhost:3142/debian unstable/main ppc64el Packages [10.3 MB] Get:5 http://localhost:3142/debian unstable/main amd64 Packages T-2026-06-06-1401.08-F-2026-06-06-0203.16.pdiff [55.4 kB] Fetched 10.7 MB in 3s (3782 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files Sat, 06 Jun 2026 17:15:34 +0000 | +------------------------------------------------------------------------------+ Check APT --------- Checking available source versions... Download source files with APT ------------------------------ Reading package lists... Need to get 10.5 MB of source archives. Get:1 http://localhost:3142/debian unstable/main hol88 2.02.19940316dfsg-9 (dsc) [2265 B] Get:2 http://localhost:3142/debian unstable/main hol88 2.02.19940316dfsg-9 (tar) [10.4 MB] Get:3 http://localhost:3142/debian unstable/main hol88 2.02.19940316dfsg-9 (diff) [132 kB] Fetched 10.5 MB in 0s (180 MB/s) Download complete and in download only mode +------------------------------------------------------------------------------+ | Install package build dependencies Sat, 06 Jun 2026 17:15:34 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-6), texlive-latex-base, libc-dev, libstdc++-dev, build-essential:amd64, crossbuild-essential-ppc64el:amd64, apt-utils:amd64, libc-dev:ppc64el, libstdc++-dev:ppc64el Filtered Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-6), texlive-latex-base, libc-dev, libstdc++-dev, build-essential:amd64, crossbuild-essential-ppc64el:amd64, apt-utils:amd64, libc-dev:ppc64el, libstdc++-dev:ppc64el dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-mJUbDw/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-mJUbDw/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-mJUbDw/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-mJUbDw/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-mJUbDw/apt_archive ./ Sources [761 B] Get:5 copy:/build/reproducible-path/resolver-mJUbDw/apt_archive ./ Packages [806 B] Fetched 2176 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-15-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu crossbuild-essential-ppc64el debhelper dh-autoreconf dh-strip-nondeterminism dwz file fontconfig-config fonts-dejavu-core fonts-dejavu-mono fonts-lmodern g++-15-powerpc64le-linux-gnu g++-powerpc64le-linux-gnu gcc-15-base:ppc64el gcc-15-cross-base gcc-15-powerpc64le-linux-gnu gcc-15-powerpc64le-linux-gnu-base gcc-16-base:ppc64el gcc-16-cross-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 libc-gconv-modules-extra:ppc64el libc6:ppc64el libc6-dev:ppc64el libc6-dev-ppc64el-cross libc6-ppc64el-cross libcairo2 libcom-err2:ppc64el libdebhelper-perl libedit2:ppc64el libelf1t64 libexpat1 libffi8 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libgcc-15-dev:ppc64el libgcc-15-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 libharfbuzz-subset0 libharfbuzz0b libice6 libicu78 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++-15-dev:ppc64el libstdc++-15-dev-ppc64el-cross libstdc++6:ppc64el libstdc++6-ppc64el-cross libsynctex2 libteckit0 libtexlua53-5 libtext-charwidth-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 libxml2-16 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 texlive-base texlive-binaries texlive-latex-base ucf x11-common xdg-utils zlib1g:ppc64el Suggested packages: autoconf-archive gnu-standards autoconf-doc binutils-doc gcc-15-locales cpp-15-doc cpp-doc dh-make gcc-15-doc manpages-dev flex bison gdb-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++-15-doc:ppc64el libtool-doc gfortran | fortran95-compiler m4-doc apparmor less www-browser libmail-box-perl ghostscript gv | postscript-viewer perl-tk xpdf | pdf-viewer xzdec texlive-binaries-sse2 hintview texlive-latex-base-doc wp2latex 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 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-15-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu crossbuild-essential-ppc64el debhelper dh-autoreconf dh-strip-nondeterminism dwz file fontconfig-config fonts-dejavu-core fonts-dejavu-mono fonts-lmodern g++-15-powerpc64le-linux-gnu g++-powerpc64le-linux-gnu gcc-15-base:ppc64el gcc-15-cross-base gcc-15-powerpc64le-linux-gnu gcc-15-powerpc64le-linux-gnu-base gcc-16-base:ppc64el gcc-16-cross-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 libc-gconv-modules-extra:ppc64el libc6:ppc64el libc6-dev:ppc64el libc6-dev-ppc64el-cross libc6-ppc64el-cross libcairo2 libcom-err2:ppc64el libdebhelper-perl libedit2:ppc64el libelf1t64 libexpat1 libffi8 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libgcc-15-dev:ppc64el libgcc-15-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 libharfbuzz-subset0 libharfbuzz0b libice6 libicu78 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++-15-dev:ppc64el libstdc++-15-dev-ppc64el-cross libstdc++6:ppc64el libstdc++6-ppc64el-cross libsynctex2 libteckit0 libtexlua53-5 libtext-charwidth-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 libxml2-16 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 texlive-base texlive-binaries texlive-latex-base ucf x11-common xdg-utils zlib1g:ppc64el 0 upgraded, 151 newly installed, 0 to remove and 0 not upgraded. Need to get 230 MB of archives. After this operation, 1339 MB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-mJUbDw/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [932 B] Get:2 http://localhost:3142/debian unstable/main amd64 libexpat1 amd64 2.8.1-1 [117 kB] Get:3 http://localhost:3142/debian unstable/main amd64 libncursesw6 amd64 6.6+20251231-1+b1 [136 kB] Get:4 http://localhost:3142/debian unstable/main amd64 libproc2-0 amd64 2:4.0.4-9+b2 [63.8 kB] Get:5 http://localhost:3142/debian unstable/main amd64 procps amd64 2:4.0.4-9+b2 [880 kB] Get:6 http://localhost:3142/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get:7 http://localhost:3142/debian unstable/main amd64 libmagic-mgc amd64 1:5.47-3 [346 kB] Get:8 http://localhost:3142/debian unstable/main amd64 libmagic1t64 amd64 1:5.47-3 [111 kB] Get:9 http://localhost:3142/debian unstable/main amd64 file amd64 1:5.47-3 [42.9 kB] Get:10 http://localhost:3142/debian unstable/main amd64 gettext-base amd64 0.26-1 [315 kB] Get:11 http://localhost:3142/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB] Get:12 http://localhost:3142/debian unstable/main amd64 groff-base amd64 1.24.1-1 [1336 kB] Get:13 http://localhost:3142/debian unstable/main amd64 bsdextrautils amd64 2.42.1-2 [99.7 kB] Get:14 http://localhost:3142/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB] Get:15 http://localhost:3142/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:16 http://localhost:3142/debian unstable/main amd64 libtext-charwidth-perl amd64 0.04-12 [8996 B] Get:17 http://localhost:3142/debian unstable/main amd64 libtext-wrapi18n-perl all 0.06-11 [7788 B] Get:18 http://localhost:3142/debian unstable/main amd64 ucf all 3.0053 [41.9 kB] Get:19 http://localhost:3142/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB] Get:20 http://localhost:3142/debian unstable/main amd64 autoconf all 2.73-2 [516 kB] Get:21 http://localhost:3142/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:22 http://localhost:3142/debian unstable/main amd64 automake all 1:1.18.1-4 [877 kB] Get:23 http://localhost:3142/debian unstable/main amd64 autopoint all 0.26-1 [802 kB] Get:24 http://localhost:3142/debian unstable/main amd64 binutils-powerpc64le-linux-gnu amd64 2.46-3 [1565 kB] Get:25 http://localhost:3142/debian unstable/main amd64 gcc-15-powerpc64le-linux-gnu-base amd64 15.2.0-17cross1 [37.0 kB] Get:26 http://localhost:3142/debian unstable/main amd64 cpp-15-powerpc64le-linux-gnu amd64 15.2.0-17cross1 [11.0 MB] Get:27 http://localhost:3142/debian unstable/main amd64 cpp-powerpc64le-linux-gnu amd64 4:15.2.0-5+b1 [4668 B] Get:28 http://localhost:3142/debian unstable/main amd64 gcc-15-cross-base all 15.2.0-17cross1 [32.3 kB] Get:29 http://localhost:3142/debian unstable/main amd64 gcc-16-cross-base all 16-20260425-1cross1 [31.6 kB] Get:30 http://localhost:3142/debian unstable/main amd64 libc6-ppc64el-cross all 2.42-12cross1 [1462 kB] Get:31 http://localhost:3142/debian unstable/main amd64 libgcc-s1-ppc64el-cross all 16-20260425-1cross1 [52.0 kB] Get:32 http://localhost:3142/debian unstable/main amd64 libgomp1-ppc64el-cross all 16-20260425-1cross1 [149 kB] Get:33 http://localhost:3142/debian unstable/main amd64 libitm1-ppc64el-cross all 16-20260425-1cross1 [29.2 kB] Get:34 http://localhost:3142/debian unstable/main amd64 libatomic1-ppc64el-cross all 16-20260425-1cross1 [10.3 kB] Get:35 http://localhost:3142/debian unstable/main amd64 libasan8-ppc64el-cross all 16-20260425-1cross1 [2786 kB] Get:36 http://localhost:3142/debian unstable/main amd64 liblsan0-ppc64el-cross all 16-20260425-1cross1 [1272 kB] Get:37 http://localhost:3142/debian unstable/main amd64 libtsan2-ppc64el-cross all 16-20260425-1cross1 [2504 kB] Get:38 http://localhost:3142/debian unstable/main amd64 libstdc++6-ppc64el-cross all 16-20260425-1cross1 [865 kB] Get:39 http://localhost:3142/debian unstable/main amd64 libubsan1-ppc64el-cross all 16-20260425-1cross1 [1194 kB] Get:40 http://localhost:3142/debian unstable/main amd64 libquadmath0-ppc64el-cross all 16-20260425-1cross1 [157 kB] Get:41 http://localhost:3142/debian unstable/main amd64 libgcc-15-dev-ppc64el-cross all 15.2.0-17cross1 [1449 kB] Get:42 http://localhost:3142/debian unstable/main amd64 gcc-15-powerpc64le-linux-gnu amd64 15.2.0-17cross1 [21.1 MB] Get:43 http://localhost:3142/debian unstable/main amd64 gcc-powerpc64le-linux-gnu amd64 4:15.2.0-5+b1 [1464 B] Get:44 http://localhost:3142/debian unstable/main amd64 linux-libc-dev-ppc64el-cross all 7.0.10-1 [12.3 kB] Get:45 http://localhost:3142/debian unstable/main amd64 libc6-dev-ppc64el-cross all 2.42-12cross1 [1927 kB] Get:46 http://localhost:3142/debian unstable/main amd64 libstdc++-15-dev-ppc64el-cross all 15.2.0-17cross1 [2893 kB] Get:47 http://localhost:3142/debian unstable/main amd64 g++-15-powerpc64le-linux-gnu amd64 15.2.0-17cross1 [12.0 MB] Get:48 http://localhost:3142/debian unstable/main amd64 g++-powerpc64le-linux-gnu amd64 4:15.2.0-5+b1 [1212 B] Get:49 http://localhost:3142/debian unstable/main amd64 crossbuild-essential-ppc64el all 12.12 [3560 B] Get:50 http://localhost:3142/debian unstable/main amd64 libdebhelper-perl all 13.31 [75.7 kB] Get:51 http://localhost:3142/debian unstable/main amd64 libtool all 2.5.4-11 [539 kB] Get:52 http://localhost:3142/debian unstable/main amd64 dh-autoreconf all 22 [12.2 kB] Get:53 http://localhost:3142/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:54 http://localhost:3142/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Get:55 http://localhost:3142/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.0-1 [8812 B] Get:56 http://localhost:3142/debian unstable/main amd64 libelf1t64 amd64 0.195-1 [58.1 kB] Get:57 http://localhost:3142/debian unstable/main amd64 dwz amd64 0.16-4 [108 kB] Get:58 http://localhost:3142/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB] Get:59 http://localhost:3142/debian unstable/main amd64 libxml2-16 amd64 2.15.3+dfsg-1 [642 kB] Get:60 http://localhost:3142/debian unstable/main amd64 gettext amd64 0.26-1 [2311 kB] Get:61 http://localhost:3142/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:62 http://localhost:3142/debian unstable/main amd64 po-debconf all 1.0.22 [216 kB] Get:63 http://localhost:3142/debian unstable/main amd64 debhelper all 13.31 [932 kB] Get:64 http://localhost:3142/debian unstable/main amd64 fonts-dejavu-mono all 2.37-9 [488 kB] Get:65 http://localhost:3142/debian unstable/main amd64 fonts-dejavu-core all 2.37-9 [840 kB] Get:66 http://localhost:3142/debian unstable/main amd64 fontconfig-config amd64 2.17.1-5 [56.1 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-15-base ppc64el 15.2.0-17 [36.8 kB] Get:69 http://localhost:3142/debian unstable/main ppc64el gcc-16-base ppc64el 16.1.0-1 [36.3 kB] Get:70 http://localhost:3142/debian unstable/main ppc64el libgcc-s1 ppc64el 16.1.0-1 [51.9 kB] Get:71 http://localhost:3142/debian unstable/main ppc64el libc-gconv-modules-extra ppc64el 2.42-16 [1126 kB] Get:72 http://localhost:3142/debian unstable/main ppc64el libc6 ppc64el 2.42-16 [1676 kB] Get:73 http://localhost:3142/debian unstable/main ppc64el libmd0 ppc64el 1.2.0-2 [41.9 kB] Get:74 http://localhost:3142/debian unstable/main ppc64el libbsd0 ppc64el 0.12.2-3 [136 kB] Get:75 http://localhost:3142/debian unstable/main ppc64el libtinfo6 ppc64el 6.6+20251231-1+b1 [360 kB] Get:76 http://localhost:3142/debian unstable/main ppc64el libedit2 ppc64el 3.1-20260512-1 [102 kB] Get:77 http://localhost:3142/debian unstable/main ppc64el libgmp10 ppc64el 2:6.3.0+dfsg-5+b2 [580 kB] Get:78 http://localhost:3142/debian unstable/main ppc64el libkrb5support0 ppc64el 1.22.1-2.1 [33.3 kB] Get:79 http://localhost:3142/debian unstable/main ppc64el libcom-err2 ppc64el 1.47.4-1 [19.5 kB] Get:80 http://localhost:3142/debian unstable/main ppc64el libk5crypto3 ppc64el 1.22.1-2.1 [89.3 kB] Get:81 http://localhost:3142/debian unstable/main ppc64el libkeyutils1 ppc64el 1.6.3-6+b2 [10.5 kB] Get:82 http://localhost:3142/debian unstable/main ppc64el libzstd1 ppc64el 1.5.7+dfsg-3+b2 [328 kB] Get:83 http://localhost:3142/debian unstable/main ppc64el zlib1g ppc64el 1:1.3.dfsg+really1.3.2-3 [90.4 kB] Get:84 http://localhost:3142/debian unstable/main ppc64el libssl3t64 ppc64el 3.6.2-1 [2559 kB] Get:85 http://localhost:3142/debian unstable/main ppc64el libkrb5-3 ppc64el 1.22.1-2.1 [369 kB] Get:86 http://localhost:3142/debian unstable/main ppc64el libgssapi-krb5-2 ppc64el 1.22.1-2.1 [151 kB] Get:87 http://localhost:3142/debian unstable/main amd64 libtirpc-common all 1.3.7+ds-1 [10.0 kB] Get:88 http://localhost:3142/debian unstable/main ppc64el libtirpc3t64 ppc64el 1.3.7+ds-1 [93.3 kB] Get:89 http://localhost:3142/debian unstable/main ppc64el libxau6 ppc64el 1:1.0.11-1+b2 [21.4 kB] Get:90 http://localhost:3142/debian unstable/main ppc64el libxdmcp6 ppc64el 1:1.1.5-2+b1 [29.0 kB] Get:91 http://localhost:3142/debian unstable/main ppc64el libxcb1 ppc64el 1.17.0-2+b2 [148 kB] Get:92 http://localhost:3142/debian unstable/main amd64 libx11-data all 2:1.8.13-1 [346 kB] Get:93 http://localhost:3142/debian unstable/main ppc64el libx11-6 ppc64el 2:1.8.13-1 [863 kB] Get:94 http://localhost:3142/debian unstable/main ppc64el libtirpc-dev ppc64el 1.3.7+ds-1 [206 kB] Get:95 http://localhost:3142/debian unstable/main ppc64el gcl27 ppc64el 2.7.1-24 [70.3 MB] Get:96 http://localhost:3142/debian unstable/main ppc64el libasan8 ppc64el 16.1.0-1 [2793 kB] Get:97 http://localhost:3142/debian unstable/main ppc64el libatomic1 ppc64el 16.1.0-1 [10.2 kB] Get:98 http://localhost:3142/debian unstable/main amd64 libbrotli1 amd64 1.2.0-3 [320 kB] Get:99 http://localhost:3142/debian unstable/main ppc64el libc6-dev ppc64el 2.42-16 [1909 kB] Get:100 http://localhost:3142/debian unstable/main amd64 libpng16-16t64 amd64 1.6.58-1 [289 kB] Get:101 http://localhost:3142/debian unstable/main amd64 libfreetype6 amd64 2.14.3+dfsg-1 [493 kB] Get:102 http://localhost:3142/debian unstable/main amd64 libfontconfig1 amd64 2.17.1-5 [132 kB] Get:103 http://localhost:3142/debian unstable/main amd64 libpixman-1-0 amd64 0.46.4-1+b2 [259 kB] Get:104 http://localhost:3142/debian unstable/main amd64 libxau6 amd64 1:1.0.11-1+b2 [20.7 kB] Get:105 http://localhost:3142/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.5-2+b1 [28.2 kB] Get:106 http://localhost:3142/debian unstable/main amd64 libxcb1 amd64 1.17.0-2+b2 [144 kB] Get:107 http://localhost:3142/debian unstable/main amd64 libx11-6 amd64 2:1.8.13-1 [829 kB] Get:108 http://localhost:3142/debian unstable/main amd64 libxcb-render0 amd64 1.17.0-2+b2 [115 kB] Get:109 http://localhost:3142/debian unstable/main amd64 libxcb-shm0 amd64 1.17.0-2+b2 [105 kB] Get:110 http://localhost:3142/debian unstable/main amd64 libxext6 amd64 2:1.3.4-1+b4 [50.7 kB] Get:111 http://localhost:3142/debian unstable/main amd64 libxrender1 amd64 1:0.9.12-1+b2 [27.7 kB] Get:112 http://localhost:3142/debian unstable/main amd64 libcairo2 amd64 1.18.4-3+b1 [543 kB] Get:113 http://localhost:3142/debian unstable/main amd64 libffi8 amd64 3.5.2-4 [25.2 kB] Get:114 http://localhost:3142/debian unstable/main ppc64el libgomp1 ppc64el 16.1.0-1 [155 kB] Get:115 http://localhost:3142/debian unstable/main ppc64el libitm1 ppc64el 16.1.0-1 [29.2 kB] Get:116 http://localhost:3142/debian unstable/main ppc64el liblsan0 ppc64el 16.1.0-1 [1273 kB] Get:117 http://localhost:3142/debian unstable/main ppc64el libtsan2 ppc64el 16.1.0-1 [2511 kB] Get:118 http://localhost:3142/debian unstable/main ppc64el libstdc++6 ppc64el 16.1.0-1 [888 kB] Get:119 http://localhost:3142/debian unstable/main ppc64el libubsan1 ppc64el 16.1.0-1 [1196 kB] Get:120 http://localhost:3142/debian unstable/main ppc64el libquadmath0 ppc64el 16.1.0-1 [157 kB] Get:121 http://localhost:3142/debian unstable/main ppc64el libgcc-15-dev ppc64el 15.2.0-17 [1468 kB] Get:122 http://localhost:3142/debian unstable/main amd64 libglib2.0-0t64 amd64 2.88.1-2 [1536 kB] Get:123 http://localhost:3142/debian unstable/main amd64 libgraphite2-3 amd64 1.3.15-2 [75.8 kB] Get:124 http://localhost:3142/debian unstable/main amd64 libharfbuzz0b amd64 12.3.2-2+b2 [513 kB] Get:125 http://localhost:3142/debian unstable/main amd64 libharfbuzz-subset0 amd64 12.3.2-2+b2 [574 kB] Get:126 http://localhost:3142/debian unstable/main amd64 x11-common all 1:7.7+26 [217 kB] Get:127 http://localhost:3142/debian unstable/main amd64 libice6 amd64 2:1.1.1-1+b2 [66.8 kB] Get:128 http://localhost:3142/debian unstable/main amd64 libicu78 amd64 78.3-2 [10.0 MB] Get:129 http://localhost:3142/debian unstable/main amd64 libkpathsea6 amd64 2026.20260303.78225+ds-4 [158 kB] Get:130 http://localhost:3142/debian unstable/main amd64 libmpfi0 amd64 1.5.4+ds-5 [36.0 kB] Get:131 http://localhost:3142/debian unstable/main amd64 libpaper2 amd64 2.2.5-0.4 [16.6 kB] Get:132 http://localhost:3142/debian unstable/main amd64 libpaper-utils amd64 2.2.5-0.4 [15.8 kB] Get:133 http://localhost:3142/debian unstable/main amd64 libpotrace0 amd64 1.16-2+b3 [25.5 kB] Get:134 http://localhost:3142/debian unstable/main amd64 libptexenc1 amd64 2026.20260303.78225+ds-4 [51.7 kB] Get:135 http://localhost:3142/debian unstable/main amd64 libsm6 amd64 2:1.2.6-1+b2 [37.9 kB] Get:136 http://localhost:3142/debian unstable/main ppc64el libstdc++-15-dev ppc64el 15.2.0-17 [3078 kB] Get:137 http://localhost:3142/debian unstable/main amd64 libsynctex2 amd64 2026.20260303.78225+ds-4 [63.2 kB] Get:138 http://localhost:3142/debian unstable/main amd64 libteckit0 amd64 2.5.13+ds-1+b1 [369 kB] Get:139 http://localhost:3142/debian unstable/main amd64 libtexlua53-5 amd64 2026.20260303.78225+ds-4 [113 kB] Get:140 http://localhost:3142/debian unstable/main amd64 libxt6t64 amd64 1:1.2.1-1.3+b2 [191 kB] Get:141 http://localhost:3142/debian unstable/main amd64 libxmu6 amd64 2:1.1.3-4+b1 [59.6 kB] Get:142 http://localhost:3142/debian unstable/main amd64 libxpm4 amd64 1:3.5.19-1 [58.9 kB] Get:143 http://localhost:3142/debian unstable/main amd64 libxaw7 amd64 2:1.0.16-1+b2 [214 kB] Get:144 http://localhost:3142/debian unstable/main amd64 libxi6 amd64 2:1.8.2-2+b1 [79.9 kB] Get:145 http://localhost:3142/debian unstable/main amd64 libzzip-0-13t64 amd64 0.13.78+dfsg.1-0.2+b1 [58.9 kB] Get:146 http://localhost:3142/debian unstable/main amd64 t1utils amd64 1.41-4 [62.1 kB] Get:147 http://localhost:3142/debian unstable/main amd64 tex-common all 6.20 [29.7 kB] Get:148 http://localhost:3142/debian unstable/main amd64 texlive-binaries amd64 2026.20260303.78225+ds-4 [9244 kB] Get:149 http://localhost:3142/debian unstable/main amd64 xdg-utils all 1.2.1-2 [75.8 kB] Get:150 http://localhost:3142/debian unstable/main amd64 texlive-base all 2026.20260527-3 [23.9 MB] Get:151 http://localhost:3142/debian unstable/main amd64 texlive-latex-base all 2026.20260527-3 [1437 kB] Preconfiguring packages ... Fetched 230 MB in 1s (210 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 13018 files and directories currently installed.) Preparing to unpack .../000-libexpat1_2.8.1-1_amd64.deb ... Unpacking libexpat1:amd64 (2.8.1-1) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../001-libncursesw6_6.6+20251231-1+b1_amd64.deb ... Unpacking libncursesw6:amd64 (6.6+20251231-1+b1) ... Selecting previously unselected package libproc2-0:amd64. Preparing to unpack .../002-libproc2-0_2%3a4.0.4-9+b2_amd64.deb ... Unpacking libproc2-0:amd64 (2:4.0.4-9+b2) ... Selecting previously unselected package procps. Preparing to unpack .../003-procps_2%3a4.0.4-9+b2_amd64.deb ... Unpacking procps (2:4.0.4-9+b2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../004-sensible-utils_0.0.26_all.deb ... Unpacking sensible-utils (0.0.26) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../005-libmagic-mgc_1%3a5.47-3_amd64.deb ... Unpacking libmagic-mgc (1:5.47-3) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../006-libmagic1t64_1%3a5.47-3_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.47-3) ... Selecting previously unselected package file. Preparing to unpack .../007-file_1%3a5.47-3_amd64.deb ... Unpacking file (1:5.47-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../008-gettext-base_0.26-1_amd64.deb ... Unpacking gettext-base (0.26-1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../009-libuchardet0_0.0.8-2+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-2+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../010-groff-base_1.24.1-1_amd64.deb ... Unpacking groff-base (1.24.1-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../011-bsdextrautils_2.42.1-2_amd64.deb ... Unpacking bsdextrautils (2.42.1-2) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../012-libpipeline1_1.5.8-3_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-3) ... Selecting previously unselected package man-db. Preparing to unpack .../013-man-db_2.13.1-1_amd64.deb ... Unpacking man-db (2.13.1-1) ... Selecting previously unselected package libtext-charwidth-perl:amd64. Preparing to unpack .../014-libtext-charwidth-perl_0.04-12_amd64.deb ... Unpacking libtext-charwidth-perl:amd64 (0.04-12) ... Selecting previously unselected package libtext-wrapi18n-perl. Preparing to unpack .../015-libtext-wrapi18n-perl_0.06-11_all.deb ... Unpacking libtext-wrapi18n-perl (0.06-11) ... Selecting previously unselected package ucf. Preparing to unpack .../016-ucf_3.0053_all.deb ... Moving old data out of the way Unpacking ucf (3.0053) ... Selecting previously unselected package m4. Preparing to unpack .../017-m4_1.4.21-1_amd64.deb ... Unpacking m4 (1.4.21-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../018-autoconf_2.73-2_all.deb ... Unpacking autoconf (2.73-2) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../019-autotools-dev_20240727.1+nmu1_all.deb ... Unpacking autotools-dev (20240727.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../020-automake_1%3a1.18.1-4_all.deb ... Unpacking automake (1:1.18.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../021-autopoint_0.26-1_all.deb ... Unpacking autopoint (0.26-1) ... Selecting previously unselected package binutils-powerpc64le-linux-gnu. Preparing to unpack .../022-binutils-powerpc64le-linux-gnu_2.46-3_amd64.deb ... Unpacking binutils-powerpc64le-linux-gnu (2.46-3) ... Selecting previously unselected package gcc-15-powerpc64le-linux-gnu-base:amd64. Preparing to unpack .../023-gcc-15-powerpc64le-linux-gnu-base_15.2.0-17cross1_amd64.deb ... Unpacking gcc-15-powerpc64le-linux-gnu-base:amd64 (15.2.0-17cross1) ... Selecting previously unselected package cpp-15-powerpc64le-linux-gnu. Preparing to unpack .../024-cpp-15-powerpc64le-linux-gnu_15.2.0-17cross1_amd64.deb ... Unpacking cpp-15-powerpc64le-linux-gnu (15.2.0-17cross1) ... Selecting previously unselected package cpp-powerpc64le-linux-gnu. Preparing to unpack .../025-cpp-powerpc64le-linux-gnu_4%3a15.2.0-5+b1_amd64.deb ... Unpacking cpp-powerpc64le-linux-gnu (4:15.2.0-5+b1) ... Selecting previously unselected package gcc-15-cross-base. Preparing to unpack .../026-gcc-15-cross-base_15.2.0-17cross1_all.deb ... Unpacking gcc-15-cross-base (15.2.0-17cross1) ... Selecting previously unselected package gcc-16-cross-base. Preparing to unpack .../027-gcc-16-cross-base_16-20260425-1cross1_all.deb ... Unpacking gcc-16-cross-base (16-20260425-1cross1) ... Selecting previously unselected package libc6-ppc64el-cross. Preparing to unpack .../028-libc6-ppc64el-cross_2.42-12cross1_all.deb ... Unpacking libc6-ppc64el-cross (2.42-12cross1) ... Selecting previously unselected package libgcc-s1-ppc64el-cross. Preparing to unpack .../029-libgcc-s1-ppc64el-cross_16-20260425-1cross1_all.deb ... Unpacking libgcc-s1-ppc64el-cross (16-20260425-1cross1) ... Selecting previously unselected package libgomp1-ppc64el-cross. Preparing to unpack .../030-libgomp1-ppc64el-cross_16-20260425-1cross1_all.deb ... Unpacking libgomp1-ppc64el-cross (16-20260425-1cross1) ... Selecting previously unselected package libitm1-ppc64el-cross. Preparing to unpack .../031-libitm1-ppc64el-cross_16-20260425-1cross1_all.deb ... Unpacking libitm1-ppc64el-cross (16-20260425-1cross1) ... Selecting previously unselected package libatomic1-ppc64el-cross. Preparing to unpack .../032-libatomic1-ppc64el-cross_16-20260425-1cross1_all.deb ... Unpacking libatomic1-ppc64el-cross (16-20260425-1cross1) ... Selecting previously unselected package libasan8-ppc64el-cross. Preparing to unpack .../033-libasan8-ppc64el-cross_16-20260425-1cross1_all.deb ... Unpacking libasan8-ppc64el-cross (16-20260425-1cross1) ... Selecting previously unselected package liblsan0-ppc64el-cross. Preparing to unpack .../034-liblsan0-ppc64el-cross_16-20260425-1cross1_all.deb ... Unpacking liblsan0-ppc64el-cross (16-20260425-1cross1) ... Selecting previously unselected package libtsan2-ppc64el-cross. Preparing to unpack .../035-libtsan2-ppc64el-cross_16-20260425-1cross1_all.deb ... Unpacking libtsan2-ppc64el-cross (16-20260425-1cross1) ... Selecting previously unselected package libstdc++6-ppc64el-cross. Preparing to unpack .../036-libstdc++6-ppc64el-cross_16-20260425-1cross1_all.deb ... Unpacking libstdc++6-ppc64el-cross (16-20260425-1cross1) ... Selecting previously unselected package libubsan1-ppc64el-cross. Preparing to unpack .../037-libubsan1-ppc64el-cross_16-20260425-1cross1_all.deb ... Unpacking libubsan1-ppc64el-cross (16-20260425-1cross1) ... Selecting previously unselected package libquadmath0-ppc64el-cross. Preparing to unpack .../038-libquadmath0-ppc64el-cross_16-20260425-1cross1_all.deb ... Unpacking libquadmath0-ppc64el-cross (16-20260425-1cross1) ... Selecting previously unselected package libgcc-15-dev-ppc64el-cross. Preparing to unpack .../039-libgcc-15-dev-ppc64el-cross_15.2.0-17cross1_all.deb ... Unpacking libgcc-15-dev-ppc64el-cross (15.2.0-17cross1) ... Selecting previously unselected package gcc-15-powerpc64le-linux-gnu. Preparing to unpack .../040-gcc-15-powerpc64le-linux-gnu_15.2.0-17cross1_amd64.deb ... Unpacking gcc-15-powerpc64le-linux-gnu (15.2.0-17cross1) ... Selecting previously unselected package gcc-powerpc64le-linux-gnu. Preparing to unpack .../041-gcc-powerpc64le-linux-gnu_4%3a15.2.0-5+b1_amd64.deb ... Unpacking gcc-powerpc64le-linux-gnu (4:15.2.0-5+b1) ... Selecting previously unselected package linux-libc-dev-ppc64el-cross. Preparing to unpack .../042-linux-libc-dev-ppc64el-cross_7.0.10-1_all.deb ... Unpacking linux-libc-dev-ppc64el-cross (7.0.10-1) ... Selecting previously unselected package libc6-dev-ppc64el-cross. Preparing to unpack .../043-libc6-dev-ppc64el-cross_2.42-12cross1_all.deb ... Unpacking libc6-dev-ppc64el-cross (2.42-12cross1) ... Selecting previously unselected package libstdc++-15-dev-ppc64el-cross. Preparing to unpack .../044-libstdc++-15-dev-ppc64el-cross_15.2.0-17cross1_all.deb ... Unpacking libstdc++-15-dev-ppc64el-cross (15.2.0-17cross1) ... Selecting previously unselected package g++-15-powerpc64le-linux-gnu. Preparing to unpack .../045-g++-15-powerpc64le-linux-gnu_15.2.0-17cross1_amd64.deb ... Unpacking g++-15-powerpc64le-linux-gnu (15.2.0-17cross1) ... Selecting previously unselected package g++-powerpc64le-linux-gnu. Preparing to unpack .../046-g++-powerpc64le-linux-gnu_4%3a15.2.0-5+b1_amd64.deb ... Unpacking g++-powerpc64le-linux-gnu (4:15.2.0-5+b1) ... Selecting previously unselected package crossbuild-essential-ppc64el. Preparing to unpack .../047-crossbuild-essential-ppc64el_12.12_all.deb ... Unpacking crossbuild-essential-ppc64el (12.12) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../048-libdebhelper-perl_13.31_all.deb ... Unpacking libdebhelper-perl (13.31) ... Selecting previously unselected package libtool. Preparing to unpack .../049-libtool_2.5.4-11_all.deb ... Unpacking libtool (2.5.4-11) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../050-dh-autoreconf_22_all.deb ... Unpacking dh-autoreconf (22) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../051-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 .../052-libfile-stripnondeterminism-perl_1.15.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.15.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../053-dh-strip-nondeterminism_1.15.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.15.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../054-libelf1t64_0.195-1_amd64.deb ... Unpacking libelf1t64:amd64 (0.195-1) ... Selecting previously unselected package dwz. Preparing to unpack .../055-dwz_0.16-4_amd64.deb ... Unpacking dwz (0.16-4) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../056-libunistring5_1.4.2-1_amd64.deb ... Unpacking libunistring5:amd64 (1.4.2-1) ... Selecting previously unselected package libxml2-16:amd64. Preparing to unpack .../057-libxml2-16_2.15.3+dfsg-1_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.3+dfsg-1) ... Selecting previously unselected package gettext. Preparing to unpack .../058-gettext_0.26-1_amd64.deb ... Unpacking gettext (0.26-1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../059-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 .../060-po-debconf_1.0.22_all.deb ... Unpacking po-debconf (1.0.22) ... Selecting previously unselected package debhelper. Preparing to unpack .../061-debhelper_13.31_all.deb ... Unpacking debhelper (13.31) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../062-fonts-dejavu-mono_2.37-9_all.deb ... Unpacking fonts-dejavu-mono (2.37-9) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../063-fonts-dejavu-core_2.37-9_all.deb ... Unpacking fonts-dejavu-core (2.37-9) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../064-fontconfig-config_2.17.1-5_amd64.deb ... Unpacking fontconfig-config (2.17.1-5) ... 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-15-base:ppc64el. Preparing to unpack .../066-gcc-15-base_15.2.0-17_ppc64el.deb ... Unpacking gcc-15-base:ppc64el (15.2.0-17) ... Selecting previously unselected package gcc-16-base:ppc64el. Preparing to unpack .../067-gcc-16-base_16.1.0-1_ppc64el.deb ... Unpacking gcc-16-base:ppc64el (16.1.0-1) ... Selecting previously unselected package libgcc-s1:ppc64el. Preparing to unpack .../068-libgcc-s1_16.1.0-1_ppc64el.deb ... Unpacking libgcc-s1:ppc64el (16.1.0-1) ... Selecting previously unselected package libc-gconv-modules-extra:ppc64el. Preparing to unpack .../069-libc-gconv-modules-extra_2.42-16_ppc64el.deb ... Unpacking libc-gconv-modules-extra:ppc64el (2.42-16) ... Selecting previously unselected package libc6:ppc64el. Preparing to unpack .../070-libc6_2.42-16_ppc64el.deb ... Unpacking libc6:ppc64el (2.42-16) ... Selecting previously unselected package libmd0:ppc64el. Preparing to unpack .../071-libmd0_1.2.0-2_ppc64el.deb ... Unpacking libmd0:ppc64el (1.2.0-2) ... Selecting previously unselected package libbsd0:ppc64el. Preparing to unpack .../072-libbsd0_0.12.2-3_ppc64el.deb ... Unpacking libbsd0:ppc64el (0.12.2-3) ... Selecting previously unselected package libtinfo6:ppc64el. Preparing to unpack .../073-libtinfo6_6.6+20251231-1+b1_ppc64el.deb ... Unpacking libtinfo6:ppc64el (6.6+20251231-1+b1) ... Selecting previously unselected package libedit2:ppc64el. Preparing to unpack .../074-libedit2_3.1-20260512-1_ppc64el.deb ... Unpacking libedit2:ppc64el (3.1-20260512-1) ... Selecting previously unselected package libgmp10:ppc64el. Preparing to unpack .../075-libgmp10_2%3a6.3.0+dfsg-5+b2_ppc64el.deb ... Unpacking libgmp10:ppc64el (2:6.3.0+dfsg-5+b2) ... Selecting previously unselected package libkrb5support0:ppc64el. Preparing to unpack .../076-libkrb5support0_1.22.1-2.1_ppc64el.deb ... Unpacking libkrb5support0:ppc64el (1.22.1-2.1) ... Selecting previously unselected package libcom-err2:ppc64el. Preparing to unpack .../077-libcom-err2_1.47.4-1_ppc64el.deb ... Unpacking libcom-err2:ppc64el (1.47.4-1) ... Selecting previously unselected package libk5crypto3:ppc64el. Preparing to unpack .../078-libk5crypto3_1.22.1-2.1_ppc64el.deb ... Unpacking libk5crypto3:ppc64el (1.22.1-2.1) ... Selecting previously unselected package libkeyutils1:ppc64el. Preparing to unpack .../079-libkeyutils1_1.6.3-6+b2_ppc64el.deb ... Unpacking libkeyutils1:ppc64el (1.6.3-6+b2) ... Selecting previously unselected package libzstd1:ppc64el. Preparing to unpack .../080-libzstd1_1.5.7+dfsg-3+b2_ppc64el.deb ... Unpacking libzstd1:ppc64el (1.5.7+dfsg-3+b2) ... Selecting previously unselected package zlib1g:ppc64el. Preparing to unpack .../081-zlib1g_1%3a1.3.dfsg+really1.3.2-3_ppc64el.deb ... Unpacking zlib1g:ppc64el (1:1.3.dfsg+really1.3.2-3) ... Selecting previously unselected package libssl3t64:ppc64el. Preparing to unpack .../082-libssl3t64_3.6.2-1_ppc64el.deb ... Unpacking libssl3t64:ppc64el (3.6.2-1) ... Selecting previously unselected package libkrb5-3:ppc64el. Preparing to unpack .../083-libkrb5-3_1.22.1-2.1_ppc64el.deb ... Unpacking libkrb5-3:ppc64el (1.22.1-2.1) ... Selecting previously unselected package libgssapi-krb5-2:ppc64el. Preparing to unpack .../084-libgssapi-krb5-2_1.22.1-2.1_ppc64el.deb ... Unpacking libgssapi-krb5-2:ppc64el (1.22.1-2.1) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../085-libtirpc-common_1.3.7+ds-1_all.deb ... Unpacking libtirpc-common (1.3.7+ds-1) ... Selecting previously unselected package libtirpc3t64:ppc64el. Preparing to unpack .../086-libtirpc3t64_1.3.7+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.7+ds-1) ... Selecting previously unselected package libxau6:ppc64el. Preparing to unpack .../087-libxau6_1%3a1.0.11-1+b2_ppc64el.deb ... Unpacking libxau6:ppc64el (1:1.0.11-1+b2) ... Selecting previously unselected package libxdmcp6:ppc64el. Preparing to unpack .../088-libxdmcp6_1%3a1.1.5-2+b1_ppc64el.deb ... Unpacking libxdmcp6:ppc64el (1:1.1.5-2+b1) ... Selecting previously unselected package libxcb1:ppc64el. Preparing to unpack .../089-libxcb1_1.17.0-2+b2_ppc64el.deb ... Unpacking libxcb1:ppc64el (1.17.0-2+b2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../090-libx11-data_2%3a1.8.13-1_all.deb ... Unpacking libx11-data (2:1.8.13-1) ... Selecting previously unselected package libx11-6:ppc64el. Preparing to unpack .../091-libx11-6_2%3a1.8.13-1_ppc64el.deb ... Unpacking libx11-6:ppc64el (2:1.8.13-1) ... Selecting previously unselected package libtirpc-dev:ppc64el. Preparing to unpack .../092-libtirpc-dev_1.3.7+ds-1_ppc64el.deb ... Unpacking libtirpc-dev:ppc64el (1.3.7+ds-1) ... Selecting previously unselected package gcl27:ppc64el. Preparing to unpack .../093-gcl27_2.7.1-24_ppc64el.deb ... Unpacking gcl27:ppc64el (2.7.1-24) ... Selecting previously unselected package libasan8:ppc64el. Preparing to unpack .../094-libasan8_16.1.0-1_ppc64el.deb ... Unpacking libasan8:ppc64el (16.1.0-1) ... Selecting previously unselected package libatomic1:ppc64el. Preparing to unpack .../095-libatomic1_16.1.0-1_ppc64el.deb ... Unpacking libatomic1:ppc64el (16.1.0-1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../096-libbrotli1_1.2.0-3_amd64.deb ... Unpacking libbrotli1:amd64 (1.2.0-3) ... Selecting previously unselected package libc6-dev:ppc64el. Preparing to unpack .../097-libc6-dev_2.42-16_ppc64el.deb ... Unpacking libc6-dev:ppc64el (2.42-16) ... Selecting previously unselected package libpng16-16t64:amd64. Preparing to unpack .../098-libpng16-16t64_1.6.58-1_amd64.deb ... Unpacking libpng16-16t64:amd64 (1.6.58-1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../099-libfreetype6_2.14.3+dfsg-1_amd64.deb ... Unpacking libfreetype6:amd64 (2.14.3+dfsg-1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../100-libfontconfig1_2.17.1-5_amd64.deb ... Unpacking libfontconfig1:amd64 (2.17.1-5) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../101-libpixman-1-0_0.46.4-1+b2_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.46.4-1+b2) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../102-libxau6_1%3a1.0.11-1+b2_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.11-1+b2) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../103-libxdmcp6_1%3a1.1.5-2+b1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.5-2+b1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../104-libxcb1_1.17.0-2+b2_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../105-libx11-6_2%3a1.8.13-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.13-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../106-libxcb-render0_1.17.0-2+b2_amd64.deb ... Unpacking libxcb-render0:amd64 (1.17.0-2+b2) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../107-libxcb-shm0_1.17.0-2+b2_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.17.0-2+b2) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../108-libxext6_2%3a1.3.4-1+b4_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b4) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../109-libxrender1_1%3a0.9.12-1+b2_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.12-1+b2) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../110-libcairo2_1.18.4-3+b1_amd64.deb ... Unpacking libcairo2:amd64 (1.18.4-3+b1) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../111-libffi8_3.5.2-4_amd64.deb ... Unpacking libffi8:amd64 (3.5.2-4) ... Selecting previously unselected package libgomp1:ppc64el. Preparing to unpack .../112-libgomp1_16.1.0-1_ppc64el.deb ... Unpacking libgomp1:ppc64el (16.1.0-1) ... Selecting previously unselected package libitm1:ppc64el. Preparing to unpack .../113-libitm1_16.1.0-1_ppc64el.deb ... Unpacking libitm1:ppc64el (16.1.0-1) ... Selecting previously unselected package liblsan0:ppc64el. Preparing to unpack .../114-liblsan0_16.1.0-1_ppc64el.deb ... Unpacking liblsan0:ppc64el (16.1.0-1) ... Selecting previously unselected package libtsan2:ppc64el. Preparing to unpack .../115-libtsan2_16.1.0-1_ppc64el.deb ... Unpacking libtsan2:ppc64el (16.1.0-1) ... Selecting previously unselected package libstdc++6:ppc64el. Preparing to unpack .../116-libstdc++6_16.1.0-1_ppc64el.deb ... Unpacking libstdc++6:ppc64el (16.1.0-1) ... Selecting previously unselected package libubsan1:ppc64el. Preparing to unpack .../117-libubsan1_16.1.0-1_ppc64el.deb ... Unpacking libubsan1:ppc64el (16.1.0-1) ... Selecting previously unselected package libquadmath0:ppc64el. Preparing to unpack .../118-libquadmath0_16.1.0-1_ppc64el.deb ... Unpacking libquadmath0:ppc64el (16.1.0-1) ... Selecting previously unselected package libgcc-15-dev:ppc64el. Preparing to unpack .../119-libgcc-15-dev_15.2.0-17_ppc64el.deb ... Unpacking libgcc-15-dev:ppc64el (15.2.0-17) ... Selecting previously unselected package libglib2.0-0t64:amd64. Preparing to unpack .../120-libglib2.0-0t64_2.88.1-2_amd64.deb ... Unpacking libglib2.0-0t64:amd64 (2.88.1-2) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../121-libgraphite2-3_1.3.15-2_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.15-2) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../122-libharfbuzz0b_12.3.2-2+b2_amd64.deb ... Unpacking libharfbuzz0b:amd64 (12.3.2-2+b2) ... Selecting previously unselected package libharfbuzz-subset0:amd64. Preparing to unpack .../123-libharfbuzz-subset0_12.3.2-2+b2_amd64.deb ... Unpacking libharfbuzz-subset0:amd64 (12.3.2-2+b2) ... Selecting previously unselected package x11-common. Preparing to unpack .../124-x11-common_1%3a7.7+26_all.deb ... Unpacking x11-common (1:7.7+26) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../125-libice6_2%3a1.1.1-1+b2_amd64.deb ... Unpacking libice6:amd64 (2:1.1.1-1+b2) ... Selecting previously unselected package libicu78:amd64. Preparing to unpack .../126-libicu78_78.3-2_amd64.deb ... Unpacking libicu78:amd64 (78.3-2) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../127-libkpathsea6_2026.20260303.78225+ds-4_amd64.deb ... Unpacking libkpathsea6:amd64 (2026.20260303.78225+ds-4) ... Selecting previously unselected package libmpfi0:amd64. Preparing to unpack .../128-libmpfi0_1.5.4+ds-5_amd64.deb ... Unpacking libmpfi0:amd64 (1.5.4+ds-5) ... Selecting previously unselected package libpaper2:amd64. Preparing to unpack .../129-libpaper2_2.2.5-0.4_amd64.deb ... Unpacking libpaper2:amd64 (2.2.5-0.4) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../130-libpaper-utils_2.2.5-0.4_amd64.deb ... Unpacking libpaper-utils (2.2.5-0.4) ... Selecting previously unselected package libpotrace0:amd64. Preparing to unpack .../131-libpotrace0_1.16-2+b3_amd64.deb ... Unpacking libpotrace0:amd64 (1.16-2+b3) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../132-libptexenc1_2026.20260303.78225+ds-4_amd64.deb ... Unpacking libptexenc1:amd64 (2026.20260303.78225+ds-4) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../133-libsm6_2%3a1.2.6-1+b2_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.6-1+b2) ... Selecting previously unselected package libstdc++-15-dev:ppc64el. Preparing to unpack .../134-libstdc++-15-dev_15.2.0-17_ppc64el.deb ... Unpacking libstdc++-15-dev:ppc64el (15.2.0-17) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../135-libsynctex2_2026.20260303.78225+ds-4_amd64.deb ... Unpacking libsynctex2:amd64 (2026.20260303.78225+ds-4) ... Selecting previously unselected package libteckit0:amd64. Preparing to unpack .../136-libteckit0_2.5.13+ds-1+b1_amd64.deb ... Unpacking libteckit0:amd64 (2.5.13+ds-1+b1) ... Selecting previously unselected package libtexlua53-5:amd64. Preparing to unpack .../137-libtexlua53-5_2026.20260303.78225+ds-4_amd64.deb ... Unpacking libtexlua53-5:amd64 (2026.20260303.78225+ds-4) ... Selecting previously unselected package libxt6t64:amd64. Preparing to unpack .../138-libxt6t64_1%3a1.2.1-1.3+b2_amd64.deb ... Unpacking libxt6t64:amd64 (1:1.2.1-1.3+b2) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../139-libxmu6_2%3a1.1.3-4+b1_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.3-4+b1) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../140-libxpm4_1%3a3.5.19-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.19-1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../141-libxaw7_2%3a1.0.16-1+b2_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.16-1+b2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../142-libxi6_2%3a1.8.2-2+b1_amd64.deb ... Unpacking libxi6:amd64 (2:1.8.2-2+b1) ... Selecting previously unselected package libzzip-0-13t64:amd64. Preparing to unpack .../143-libzzip-0-13t64_0.13.78+dfsg.1-0.2+b1_amd64.deb ... Unpacking libzzip-0-13t64:amd64 (0.13.78+dfsg.1-0.2+b1) ... Selecting previously unselected package t1utils. Preparing to unpack .../144-t1utils_1.41-4_amd64.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package tex-common. Preparing to unpack .../145-tex-common_6.20_all.deb ... Unpacking tex-common (6.20) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../146-texlive-binaries_2026.20260303.78225+ds-4_amd64.deb ... Unpacking texlive-binaries (2026.20260303.78225+ds-4) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../147-xdg-utils_1.2.1-2_all.deb ... Unpacking xdg-utils (1.2.1-2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../148-texlive-base_2026.20260527-3_all.deb ... Unpacking texlive-base (2026.20260527-3) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../149-texlive-latex-base_2026.20260527-3_all.deb ... Unpacking texlive-latex-base (2026.20260527-3) ... Selecting previously unselected package sbuild-build-depends-main-dummy:ppc64el. Preparing to unpack .../150-sbuild-build-depends-main-dummy_0.invalid.0_ppc64el.deb ... Unpacking sbuild-build-depends-main-dummy:ppc64el (0.invalid.0) ... Setting up libc-gconv-modules-extra:ppc64el (2.42-16) ... Setting up libexpat1:amd64 (2.8.1-1) ... Setting up libpipeline1:amd64 (1.5.8-3) ... Setting up libgraphite2-3:amd64 (1.3.15-2) ... Setting up libpixman-1-0:amd64 (0.46.4-1+b2) ... Setting up libtext-charwidth-perl:amd64 (0.04-12) ... Setting up libxau6:amd64 (1:1.0.11-1+b2) ... Setting up libxdmcp6:amd64 (1:1.1.5-2+b1) ... Setting up libxcb1:amd64 (1.17.0-2+b2) ... Setting up bsdextrautils (2.42.1-2) ... Setting up libmagic-mgc (1:5.47-3) ... Setting up libxcb-render0:amd64 (1.17.0-2+b2) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libxml2-16:amd64 (2.15.3+dfsg-1) ... Setting up libtirpc-common (1.3.7+ds-1) ... Setting up libc6-ppc64el-cross (2.42-12cross1) ... Setting up libdebhelper-perl (13.31) ... Setting up libbrotli1:amd64 (1.2.0-3) ... Setting up libmagic1t64:amd64 (1:5.47-3) ... Setting up x11-common (1:7.7+26) ... invoke-rc.d: could not determine current runlevel invoke-rc.d: WARNING: No init system and policy-rc.d missing! Defaulting to block. Setting up gettext-base (0.26-1) ... Setting up m4 (1.4.21-1) ... Setting up libxcb-shm0:amd64 (1.17.0-2+b2) ... Setting up gcc-16-base:ppc64el (16.1.0-1) ... Setting up file (1:5.47-3) ... Setting up libtext-wrapi18n-perl (0.06-11) ... Setting up gcc-16-cross-base (16-20260425-1cross1) ... Setting up libelf1t64:amd64 (0.195-1) ... Setting up gcc-15-powerpc64le-linux-gnu-base:amd64 (15.2.0-17cross1) ... Setting up libicu78:amd64 (78.3-2) ... Setting up autotools-dev (20240727.1+nmu1) ... Setting up cpp-15-powerpc64le-linux-gnu (15.2.0-17cross1) ... Setting up libzzip-0-13t64:amd64 (0.13.78+dfsg.1-0.2+b1) ... Setting up libx11-data (2:1.8.13-1) ... Setting up libteckit0:amd64 (2.5.13+ds-1+b1) ... Setting up t1utils (1.41-4) ... Setting up libtexlua53-5:amd64 (2026.20260303.78225+ds-4) ... Setting up libproc2-0:amd64 (2:4.0.4-9+b2) ... Setting up libunistring5:amd64 (1.4.2-1) ... Setting up fonts-dejavu-mono (2.37-9) ... Setting up libpng16-16t64:amd64 (1.6.58-1) ... Setting up autopoint (0.26-1) ... Setting up libmpfi0:amd64 (1.5.4+ds-5) ... Setting up fonts-dejavu-core (2.37-9) ... Setting up libncursesw6:amd64 (6.6+20251231-1+b1) ... Setting up libkpathsea6:amd64 (2026.20260303.78225+ds-4) ... Setting up autoconf (2.73-2) ... Setting up libitm1-ppc64el-cross (16-20260425-1cross1) ... Setting up libffi8:amd64 (3.5.2-4) ... Setting up libatomic1-ppc64el-cross (16-20260425-1cross1) ... Setting up dwz (0.16-4) ... Setting up sensible-utils (0.0.26) ... Setting up libuchardet0:amd64 (0.0.8-2+b2) ... Setting up linux-libc-dev-ppc64el-cross (7.0.10-1) ... Setting up procps (2:4.0.4-9+b2) ... Setting up fonts-lmodern (2.005-1) ... Setting up libx11-6:amd64 (2:1.8.13-1) ... Setting up libgcc-s1-ppc64el-cross (16-20260425-1cross1) ... Setting up libpaper2:amd64 (2.2.5-0.4) ... Setting up binutils-powerpc64le-linux-gnu (2.46-3) ... Setting up gcc-15-cross-base (15.2.0-17cross1) ... Setting up gcc-15-base:ppc64el (15.2.0-17) ... Setting up xdg-utils (1.2.1-2) ... update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode Setting up cpp-powerpc64le-linux-gnu (4:15.2.0-5+b1) ... Setting up libsynctex2:amd64 (2026.20260303.78225+ds-4) ... Setting up libpotrace0:amd64 (1.16-2+b3) ... Setting up automake (1:1.18.1-4) ... update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.15.0-1) ... Setting up libice6:amd64 (2:1.1.1-1+b2) ... Setting up gettext (0.26-1) ... Setting up libxpm4:amd64 (1:3.5.19-1) ... Setting up libc6-dev-ppc64el-cross (2.42-12cross1) ... Setting up libxrender1:amd64 (1:0.9.12-1+b2) ... Setting up libtool (2.5.4-11) ... Setting up libquadmath0-ppc64el-cross (16-20260425-1cross1) ... Setting up fontconfig-config (2.17.1-5) ... Setting up libxext6:amd64 (2:1.3.4-1+b4) ... Setting up libasan8-ppc64el-cross (16-20260425-1cross1) ... Setting up libpaper-utils (2.2.5-0.4) ... Setting up libgomp1-ppc64el-cross (16-20260425-1cross1) ... Setting up liblsan0-ppc64el-cross (16-20260425-1cross1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libtsan2-ppc64el-cross (16-20260425-1cross1) ... Setting up dh-autoreconf (22) ... Setting up libglib2.0-0t64:amd64 (2.88.1-2) ... No schema files found: doing nothing. Setting up libptexenc1:amd64 (2026.20260303.78225+ds-4) ... Setting up libfreetype6:amd64 (2.14.3+dfsg-1) ... Setting up ucf (3.0053) ... Setting up libstdc++6-ppc64el-cross (16-20260425-1cross1) ... Setting up dh-strip-nondeterminism (1.15.0-1) ... Setting up groff-base (1.24.1-1) ... Setting up libharfbuzz0b:amd64 (12.3.2-2+b2) ... Setting up libfontconfig1:amd64 (2.17.1-5) ... Setting up libsm6:amd64 (2:1.2.6-1+b2) ... Setting up libxi6:amd64 (2:1.8.2-2+b1) ... Setting up libubsan1-ppc64el-cross (16-20260425-1cross1) ... Setting up po-debconf (1.0.22) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libcairo2:amd64 (1.18.4-3+b1) ... Setting up tex-common (6.20) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libxt6t64:amd64 (1:1.2.1-1.3+b2) ... Setting up libharfbuzz-subset0:amd64 (12.3.2-2+b2) ... Setting up libxmu6:amd64 (2:1.1.3-4+b1) ... Setting up libgcc-15-dev-ppc64el-cross (15.2.0-17cross1) ... Setting up libstdc++-15-dev-ppc64el-cross (15.2.0-17cross1) ... Setting up gcc-15-powerpc64le-linux-gnu (15.2.0-17cross1) ... Setting up debhelper (13.31) ... Setting up libxaw7:amd64 (2:1.0.16-1+b2) ... Setting up gcc-powerpc64le-linux-gnu (4:15.2.0-5+b1) ... Setting up texlive-binaries (2026.20260303.78225+ds-4) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up texlive-base (2026.20260527-3) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex Setting up g++-15-powerpc64le-linux-gnu (15.2.0-17cross1) ... Setting up texlive-latex-base (2026.20260527-3) ... Setting up g++-powerpc64le-linux-gnu (4:15.2.0-5+b1) ... Setting up crossbuild-essential-ppc64el (12.12) ... Setting up libgcc-s1:ppc64el (16.1.0-1) ... Setting up libc6:ppc64el (2.42-16) ... Setting up libmd0:ppc64el (1.2.0-2) ... Setting up libasan8:ppc64el (16.1.0-1) ... Setting up libc6-dev:ppc64el (2.42-16) ... Setting up libtsan2:ppc64el (16.1.0-1) ... Setting up libbsd0:ppc64el (0.12.2-3) ... Setting up libstdc++6:ppc64el (16.1.0-1) ... Setting up liblsan0:ppc64el (16.1.0-1) ... Setting up libitm1:ppc64el (16.1.0-1) ... Setting up libtinfo6:ppc64el (6.6+20251231-1+b1) ... Setting up libzstd1:ppc64el (1.5.7+dfsg-3+b2) ... Setting up libxau6:ppc64el (1:1.0.11-1+b2) ... Setting up libxdmcp6:ppc64el (1:1.1.5-2+b1) ... Setting up libkeyutils1:ppc64el (1.6.3-6+b2) ... Setting up libxcb1:ppc64el (1.17.0-2+b2) ... Setting up libedit2:ppc64el (3.1-20260512-1) ... Setting up zlib1g:ppc64el (1:1.3.dfsg+really1.3.2-3) ... Setting up libcom-err2:ppc64el (1.47.4-1) ... Setting up libgomp1:ppc64el (16.1.0-1) ... Setting up libkrb5support0:ppc64el (1.22.1-2.1) ... Setting up libgmp10:ppc64el (2:6.3.0+dfsg-5+b2) ... Setting up libquadmath0:ppc64el (16.1.0-1) ... Setting up libatomic1:ppc64el (16.1.0-1) ... Setting up libk5crypto3:ppc64el (1.22.1-2.1) ... Setting up libubsan1:ppc64el (16.1.0-1) ... Setting up libx11-6:ppc64el (2:1.8.13-1) ... Setting up libgcc-15-dev:ppc64el (15.2.0-17) ... Setting up libssl3t64:ppc64el (3.6.2-1) ... Setting up libstdc++-15-dev:ppc64el (15.2.0-17) ... Setting up libkrb5-3:ppc64el (1.22.1-2.1) ... Setting up libgssapi-krb5-2:ppc64el (1.22.1-2.1) ... Setting up libtirpc3t64:ppc64el (1.3.7+ds-1) ... Setting up libtirpc-dev:ppc64el (1.3.7+ds-1) ... Setting up gcl27:ppc64el (2.7.1-24) ... 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.42-16) ... Processing triggers for tex-common (6.20) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. +------------------------------------------------------------------------------+ | Check architectures Sat, 06 Jun 2026 17:16:12 +0000 | +------------------------------------------------------------------------------+ Arch check ok (ppc64el included in any all) +------------------------------------------------------------------------------+ | Build environment Sat, 06 Jun 2026 17:16:12 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.88+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.88-1 (2026-05-15) amd64 (x86_64) Toolchain package versions: binutils_2.46-3 dpkg-dev_1.23.7 g++-15_15.2.0-17 gcc-15_15.2.0-17 libc6-dev_2.42-16 libstdc++-15-dev_15.2.0-17 libstdc++-15-dev-ppc64el-cross_15.2.0-17cross1 libstdc++6_16.1.0-1 libstdc++6-ppc64el-cross_16-20260425-1cross1 linux-libc-dev_7.0.10-1 Package versions: apt_3.3.1 apt-utils_3.3.1 autoconf_2.73-2 automake_1:1.18.1-4 autopoint_0.26-1 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8 bash_5.3-3 binutils_2.46-3 binutils-common_2.46-3 binutils-powerpc64le-linux-gnu_2.46-3 binutils-x86-64-linux-gnu_2.46-3 bsdextrautils_2.42.1-2 bsdutils_1:2.42.1-2 build-essential_12.12 bzip2_1.0.8-6+b2 coreutils_9.10-1 cpp_4:15.2.0-5+b1 cpp-15_15.2.0-17 cpp-15-powerpc64le-linux-gnu_15.2.0-17cross1 cpp-15-x86-64-linux-gnu_15.2.0-17 cpp-powerpc64le-linux-gnu_4:15.2.0-5+b1 cpp-x86-64-linux-gnu_4:15.2.0-5+b1 crossbuild-essential-ppc64el_12.12 dash_0.5.12-12 debconf_1.5.92 debhelper_13.31 debian-archive-keyring_2025.1 debianutils_5.23.2 dh-autoreconf_22 dh-strip-nondeterminism_1.15.0-1 diffutils_1:3.12-1 dpkg_1.23.7 dpkg-dev_1.23.7 dwz_0.16-4 file_1:5.47-3 findutils_4.10.0-4 fontconfig-config_2.17.1-5 fonts-dejavu-core_2.37-9 fonts-dejavu-mono_2.37-9 fonts-lmodern_2.005-1 g++_4:15.2.0-5+b1 g++-15_15.2.0-17 g++-15-powerpc64le-linux-gnu_15.2.0-17cross1 g++-15-x86-64-linux-gnu_15.2.0-17 g++-powerpc64le-linux-gnu_4:15.2.0-5+b1 g++-x86-64-linux-gnu_4:15.2.0-5+b1 gcc_4:15.2.0-5+b1 gcc-15_15.2.0-17 gcc-15-base_15.2.0-17 gcc-15-cross-base_15.2.0-17cross1 gcc-15-powerpc64le-linux-gnu_15.2.0-17cross1 gcc-15-powerpc64le-linux-gnu-base_15.2.0-17cross1 gcc-15-x86-64-linux-gnu_15.2.0-17 gcc-16-base_16.1.0-1 gcc-16-cross-base_16-20260425-1cross1 gcc-powerpc64le-linux-gnu_4:15.2.0-5+b1 gcc-x86-64-linux-gnu_4:15.2.0-5+b1 gcl27_2.7.1-24 gettext_0.26-1 gettext-base_0.26-1 grep_3.12-1 groff-base_1.24.1-1 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-3 libapt-pkg7.0_3.3.1 libarchive-zip-perl_1.68-1 libasan8_16.1.0-1 libasan8-ppc64el-cross_16-20260425-1cross1 libatomic1_16.1.0-1 libatomic1-ppc64el-cross_16-20260425-1cross1 libattr1_1:2.5.2-4 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b1 libbinutils_2.46-3 libblkid1_2.42.1-2 libbrotli1_1.2.0-3 libbsd0_0.12.2-3 libbz2-1.0_1.0.8-6+b2 libc-bin_2.42-16 libc-dev-bin_2.42-16 libc-gconv-modules-extra_2.42-16 libc6_2.42-16 libc6-dev_2.42-16 libc6-dev-ppc64el-cross_2.42-12cross1 libc6-ppc64el-cross_2.42-12cross1 libcairo2_1.18.4-3+b1 libcap-ng0_0.9.3-1 libcc1-0_16.1.0-1 libcom-err2_1.47.4-1 libcrypt1_1:4.5.1-1+b1 libctf-nobfd0_2.46-3 libctf0_2.46-3 libdb5.3t64_5.3.28+dfsg2-11+b1 libdebconfclient0_0.283 libdebhelper-perl_13.31 libdpkg-perl_1.23.7 libedit2_3.1-20260512-1 libelf1t64_0.195-1 libexpat1_2.8.1-1 libffi8_3.5.2-4 libfile-stripnondeterminism-perl_1.15.0-1 libfontconfig1_2.17.1-5 libfreetype6_2.14.3+dfsg-1 libgcc-15-dev_15.2.0-17 libgcc-15-dev-ppc64el-cross_15.2.0-17cross1 libgcc-s1_16.1.0-1 libgcc-s1-ppc64el-cross_16-20260425-1cross1 libgdbm-compat4t64_1.26-1+b2 libgdbm6t64_1.26-1+b2 libglib2.0-0t64_2.88.1-2 libgmp10_2:6.3.0+dfsg-5+b2 libgomp1_16.1.0-1 libgomp1-ppc64el-cross_16-20260425-1cross1 libgprofng0_2.46-3 libgraphite2-3_1.3.15-2 libgssapi-krb5-2_1.22.1-2.1 libharfbuzz-subset0_12.3.2-2+b2 libharfbuzz0b_12.3.2-2+b2 libhogweed6t64_3.10.2-1+b1 libhwasan0_16.1.0-1 libice6_2:1.1.1-1+b2 libicu78_78.3-2 libisl23_0.27-2 libitm1_16.1.0-1 libitm1-ppc64el-cross_16-20260425-1cross1 libjansson4_2.14-2+b4 libk5crypto3_1.22.1-2.1 libkeyutils1_1.6.3-6+b2 libkpathsea6_2026.20260303.78225+ds-4 libkrb5-3_1.22.1-2.1 libkrb5support0_1.22.1-2.1 liblsan0_16.1.0-1 liblsan0-ppc64el-cross_16-20260425-1cross1 liblz4-1_1.10.0-10 liblzma5_5.8.3-1 libmagic-mgc_1:5.47-3 libmagic1t64_1:5.47-3 libmd0_1.2.0-2 libmount1_2.42.1-2 libmpc3_1.3.1-3 libmpfi0_1.5.4+ds-5 libmpfr6_4.2.2-3 libncursesw6_6.6+20251231-1+b1 libnettle8t64_3.10.2-1+b1 libpam-modules_1.7.0-5+b2 libpam-modules-bin_1.7.0-5+b2 libpam-runtime_1.7.0-5 libpam0g_1.7.0-5+b2 libpaper-utils_2.2.5-0.4 libpaper2_2.2.5-0.4 libpcre2-8-0_10.46-1+b2 libperl5.40_5.40.1-7+b1 libpipeline1_1.5.8-3 libpixman-1-0_0.46.4-1+b2 libpng16-16t64_1.6.58-1 libpotrace0_1.16-2+b3 libproc2-0_2:4.0.4-9+b2 libptexenc1_2026.20260303.78225+ds-4 libquadmath0_16.1.0-1 libquadmath0-ppc64el-cross_16-20260425-1cross1 libseccomp2_2.6.0-2+b1 libselinux1_3.10-1 libsemanage-common_3.10-1 libsemanage2_3.10-1 libsepol2_3.10-1 libsframe3_2.46-3 libsm6_2:1.2.6-1+b2 libsmartcols1_2.42.1-2 libssl3t64_3.6.2-1 libstdc++-15-dev_15.2.0-17 libstdc++-15-dev-ppc64el-cross_15.2.0-17cross1 libstdc++6_16.1.0-1 libstdc++6-ppc64el-cross_16-20260425-1cross1 libsynctex2_2026.20260303.78225+ds-4 libsystemd0_261~rc3-1 libteckit0_2.5.13+ds-1+b1 libtexlua53-5_2026.20260303.78225+ds-4 libtext-charwidth-perl_0.04-12 libtext-wrapi18n-perl_0.06-11 libtinfo6_6.6+20251231-1+b1 libtirpc-common_1.3.7+ds-1 libtirpc-dev_1.3.7+ds-1 libtirpc3t64_1.3.7+ds-1 libtool_2.5.4-11 libtsan2_16.1.0-1 libtsan2-ppc64el-cross_16-20260425-1cross1 libubsan1_16.1.0-1 libubsan1-ppc64el-cross_16-20260425-1cross1 libuchardet0_0.0.8-2+b2 libudev1_261~rc3-1 libunistring5_1.4.2-1 libuuid1_2.42.1-2 libx11-6_2:1.8.13-1 libx11-data_2:1.8.13-1 libxau6_1:1.0.11-1+b2 libxaw7_2:1.0.16-1+b2 libxcb-render0_1.17.0-2+b2 libxcb-shm0_1.17.0-2+b2 libxcb1_1.17.0-2+b2 libxdmcp6_1:1.1.5-2+b1 libxext6_2:1.3.4-1+b4 libxi6_2:1.8.2-2+b1 libxml2-16_2.15.3+dfsg-1 libxmu6_2:1.1.3-4+b1 libxpm4_1:3.5.19-1 libxrender1_1:0.9.12-1+b2 libxt6t64_1:1.2.1-1.3+b2 libxxhash0_0.8.3-2+b2 libzstd1_1.5.7+dfsg-3+b2 libzzip-0-13t64_0.13.78+dfsg.1-0.2+b1 linux-libc-dev_7.0.10-1 linux-libc-dev-ppc64el-cross_7.0.10-1 login_1:4.16.0-2+really2.42.1-2 login.defs_1:4.19.3-2 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260302-1 mount_2.42.1-2 ncurses-base_6.6+20251231-1 ncurses-bin_6.6+20251231-1+b1 openssl-provider-legacy_3.6.2-1 passwd_1:4.19.3-2 patch_2.8-2 perl_5.40.1-7+b1 perl-base_5.40.1-7+b1 perl-modules-5.40_5.40.1-7 po-debconf_1.0.22 procps_2:4.0.4-9+b2 rpcsvc-proto_1.4.4-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-3 sensible-utils_0.0.26 sqv_1.3.0-5+b2 sysvinit-utils_3.18-1 t1utils_1.41-4 tar_1.35+dfsg-4 tex-common_6.20 texlive-base_2026.20260527-3 texlive-binaries_2026.20260303.78225+ds-4 texlive-latex-base_2026.20260527-3 tzdata_2026b-1 ucf_3.0053 util-linux_2.42.1-2 x11-common_1:7.7+26 xdg-utils_1.2.1-2 xz-utils_5.8.3-1 zlib1g_1:1.3.dfsg+really1.3.2-3 +------------------------------------------------------------------------------+ | Build Sat, 06 Jun 2026 17:16:12 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: hol88 Binary: hol88, hol88-source, hol88-help, hol88-library, hol88-library-source, hol88-library-help, hol88-contrib-source, hol88-contrib-help, hol88-doc Architecture: any all Version: 2.02.19940316dfsg-9 Maintainer: Camm Maguire Standards-Version: 4.7.4 Build-Depends: debhelper-compat (= 13), gcl27 (>= 2.7.1-6), texlive-latex-base Package-List: hol88 deb math optional arch=any hol88-contrib-help deb math optional arch=all hol88-contrib-source deb math optional arch=all hol88-doc deb doc optional arch=all hol88-help deb math optional arch=all hol88-library deb math optional arch=any hol88-library-help deb math optional arch=all hol88-library-source deb math optional arch=all hol88-source deb math optional arch=all Checksums-Sha1: bc74d2d9ec9af6fe04c6b6853b0a9850897c4b7f 10359437 hol88_2.02.19940316dfsg.orig.tar.gz c661579357332a0b5fd111e4cb4d2b48dbae698b 132100 hol88_2.02.19940316dfsg-9.debian.tar.xz Checksums-Sha256: 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 10359437 hol88_2.02.19940316dfsg.orig.tar.gz 8016a7c2b904406f45a58bcafe301996ef56587cf7c94f83694223c4c021c389 132100 hol88_2.02.19940316dfsg-9.debian.tar.xz Files: d916adf41bc7c1f9eb2a7c07ff442b01 10359437 hol88_2.02.19940316dfsg.orig.tar.gz a8e46aa98d722f7271c9fba6220c7480 132100 hol88_2.02.19940316dfsg-9.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmodktQACgkQuEXOUQ+b cU1/zQ//fkY2FSk+0X9IoBNtnWDW4sSLAUTuX95CXk1D1/RKiB1hXpi6eia9+PPV yzvFCH5GEIaPvogsnlM0sgTmdaoCJp/Vaoju0Zy9pEDFsvnJjTRWNfOAJQZ6BrTP AaSNrCd9VoB/TcjgBweg2ouzcVMmZsTrZj9wKgiMTtLjcDGJmidlL/9JGc7k5MHF AP3y9vxDkPA3RGNwbu49PRdS6s4wT+iJ/cNpyDOUrUS4juvuuTiICtWjwgW4flX5 wYZXNFmfOIOJuK+PGzO1eRl3OUd3adLTel2klIRjjZJAz117MzF1t+8qY4imM0Uf B3fg1TuQgjYdxcD1dcxzRIvlB3OECnZNrJpnALzrfznJUd6D7pIGHk0GZUurI++4 uyI381JSwXYU5eFRas+1g2cAsdS9xiieOmZoUtDKTqPfQhwECHCZs5gxmZEYNbyw SSuM0rcGfn9vyWOP+ZevQtKO8BBYn8msyAAzklk0+fJxpxeQeVhQgc7G/gHjmAhY ietA9+MSJFROIT8FbvZVSYXudQ8zSTBfHgdqT/6C7iHcdAYgl+eGDRmj1B1O4M8X MjqNwVY23goh2OJ8IEhzvrLLB/U2n7+I8ZfZby0PjYvlpFOZqHGXmjTsh9AMcheG rZbfsZQJLN9Ieg++wtu8wjSKzfjGgqQvYGDOdtW0f29oA47mrqU= =kfaI -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./hol88_2.02.19940316dfsg-9.dsc: missing OpenPGP keyrings dpkg-source: info: verifying ./hol88_2.02.19940316dfsg-9.dsc dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-keyring.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-tag2upload.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-nonupload.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-maintainers.pgp dpkg-source: info: extracting hol88 in /build/reproducible-path/hol88-2.02.19940316dfsg dpkg-source: info: unpacking hol88_2.02.19940316dfsg.orig.tar.gz dpkg-source: info: unpacking hol88_2.02.19940316dfsg-9.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying quilt-source-init dpkg-source: info: applying FTBFS_detection_fix dpkg-source: info: applying function_representation 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.z9tHf5hSRu/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-c49dfdd5-bf37-49aa-be5e-303ad62485f0 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 --jobs-try=1 dpkg-buildpackage: info: source package hol88 dpkg-buildpackage: info: source version 2.02.19940316dfsg-9 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 dh_testdir dh_testroot rm -f build-arch-stamp build-indep-stamp configure-stamp [ ! -f Makefile ] || /usr/bin/make clean make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg' /bin/rm -f ml/*_ml.o ml/*_ml.l ml/site.ml lisp/*.o /bin/rm -f hol-lcf basic-hol hol /usr/bin/make clean-library make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg' (cd /build/reproducible-path/hol88-2.02.19940316dfsg/Library; /usr/bin/make Obj=o clean; cd ..) make[3]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library' for lib in unwind taut sets reduce arith pred_sets string finite_sets res_quan wellorder abs_theory reals window pair word record_proof parser prettyp trs latex-hol more_arithmetic numeral ind_defs ; \ do (cd $lib; /usr/bin/make Obj=o clean; cd ..) ; \ done make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/unwind' rm -f *_ml.o *_ml.l ===> library unwind: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/unwind' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/taut' rm -f taut_check_ml.o taut_check_ml.l ===> library taut: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/taut' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/sets' rm -f *_ml.o ===> library sets: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/sets' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reduce' rm -f boolconv_ml.o arithconv_ml.o reduce_ml.o make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reduce' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/arith' rm -f *_ml.l *_ml.o ===> library arith: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/arith' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pred_sets' rm -f *_ml.o ===> library pred_sets: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pred_sets' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/string' rm -f *_ml.o ===> library string: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/string' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/finite_sets' rm -f *_ml.o ===> library finite_sets: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/finite_sets' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/res_quan' rm -f *_ml.o ===> library res_quan: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/res_quan' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/wellorder' make[4]: 'clean' is up to date. make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/wellorder' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/abs_theory' /bin/rm -f *_ml.o ===> abs_theory. All object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/abs_theory' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals' cd theories; make clean make[5]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/theories' rm -f *_ml.o make[5]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/theories' make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/window' rm -f *.l *.c *.o *.h *.data ===> library window: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/window' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pair' rm -f *.l *.c *.o *.h *.data *.i *.s *.ir ===> library pair: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pair' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/word' rm -f *_ml.o ===> library word: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/word' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/record_proof' rm -f *_ml.o ===> library record_proof: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/record_proof' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/parser' rm -f *_ml.o *_ml.l *.o ===> library parser: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/parser' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/prettyp' rm -f PP_printer/*_ml.o PP_printer/*_ml.l rm -f PP_parser/*_ml.o PP_parser/*_ml.l rm -f PP_hol/*_ml.o PP_hol/*_ml.l ===> library prettyp: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/prettyp' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/trs' rm -f *_ml.l *_ml.o ===> library trs: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/trs' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/latex-hol' rm -f *.o ===> library latex-hol: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/latex-hol' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/more_arithmetic' rm -f *_ml.o ===> library more_arithmetic: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/more_arithmetic' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/numeral' rm -f numeral_rules_ml.o make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/numeral' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/ind_defs' rm -f *_ml.o ===> library ind_defs: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/ind_defs' ===> all library object code deleted make[3]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library' make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg' =======> all hol and lisp object code deleted make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg' [ ! -f Makefile ] || /usr/bin/make clobber make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg' /bin/rm -f ml/*_ml.o ml/*_ml.l ml/site.ml lisp/*.o /bin/rm -f /build/reproducible-path/hol88-2.02.19940316dfsg/theories/*.th hol-lcf basic-hol hol /usr/bin/make clobber-library make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg' (cd /build/reproducible-path/hol88-2.02.19940316dfsg/Library; /usr/bin/make Obj=o clobber; cd ..) make[3]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library' for lib in unwind taut sets reduce arith pred_sets string finite_sets res_quan wellorder abs_theory reals window pair word record_proof parser prettyp trs latex-hol more_arithmetic numeral ind_defs ; \ do (cd $lib; /usr/bin/make Obj=o clobber; cd ..) ; \ done make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/unwind' rm -f *_ml.o *_ml.l ===> library unwind: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/unwind' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/taut' rm -f taut_check_ml.o taut_check_ml.l ===> library taut: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/taut' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/sets' rm -f *_ml.o *_ml.l *.th ===> library sets: all object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/sets' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reduce' rm -f boolconv_ml.o arithconv_ml.o reduce_ml.o make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reduce' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/arith' rm -f *_ml.l *_ml.o ===> library arith: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/arith' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pred_sets' rm -f *_ml.o *_ml.l *.th ===> library pred_sets: all object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pred_sets' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/string' rm -f *_ml.o *_ml.l *.th ===> library string: all object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/string' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/finite_sets' rm -f *_ml.o *_ml.l *.th ===> library finite_sets: object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/finite_sets' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/res_quan' rm -f *_ml.o *_ml.l *.th ===> library res_quan: all object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/res_quan' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/wellorder' rm -f WELLORDER.th make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/wellorder' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/abs_theory' /bin/rm -f *_ml.o *.th print ===> abs_theory: All object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/abs_theory' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals' cd theories; make clobber make[5]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/theories' rm -f *_ml.o rm -f *.th make[5]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/theories' make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/window' rm -f *.l *.c *.o *.th *.h *.data ===> library window: all object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/window' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pair' rm -f *.l *.c *.o *.th *.h *.data *.i *.s *.ir ===> library pair: all object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pair' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/word' rm -f *_ml.o *_ml.l *.th ===> library word: all object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/word' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/record_proof' rm -f *_ml.o *_ml.l *.th ===> library record_proof: all object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/record_proof' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/parser' rm -f *_ml.o *_ml.l *.o ===> library parser: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/parser' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/prettyp' rm -f PP_printer/*_ml.o PP_printer/*_ml.l rm -f PP_parser/*_ml.o PP_parser/*_ml.l PP_parser/*_pp.ml rm -f PP_hol/*_ml.o PP_hol/*_ml.l PP_hol/*_pp.ml ===> library prettyp: all object code and _pp.ml files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/prettyp' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/trs' rm -f *_ml.l *_ml.o ===> library trs: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/trs' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/latex-hol' rm -f latex_*_pp.ml *.o ===> library latex-hol: all object code and _pp.ml file deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/latex-hol' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/more_arithmetic' rm -f *_ml.o *_ml.l *.th ===> library more_arithmetic: all object code and theory files deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/more_arithmetic' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/numeral' rm -f numeral_rules_ml.o rm -f numeral.th make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/numeral' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/ind_defs' rm -f *_ml.o *_ml.l ===> library ind_defs: all object code deleted make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/ind_defs' ===> all library object code and theory files deleted make[3]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library' make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg' =======> all object code and theory files deleted make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg' for i in $(find Library -name index.tex) Library/pred_sets/Manual/theorems.tex Library/record_proof/Manual/record_proof.ind ; do\ [ -e $i.sve ] || cp $i $i.sve ; done [ ! -f Makefile ] || /usr/bin/make -C Manual clean make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual' for i in Tutorial Description Reference Libraries Covers ; do /usr/bin/make -C $i clean ; done make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Tutorial' rm -f *.dvi *.aux *.toc *.log make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Tutorial' make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Description' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Description' make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Reference' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Reference' make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Libraries' rm -f *.dvi *.aux *.toc *.log make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Libraries' make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Covers' rm -f *.log core *.aux *~ #* LOG ===> Fancy end and title pages cleaned up make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Covers' make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual' [ ! -f Makefile ] || for i in $(find Library -name Manual); do /usr/bin/make -C $i clean ; done make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/parser/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/parser/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/numeral/Manual' \ rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex; \ printf '\\begin{theindex}' >index.tex; \ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/numeral/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/abs_theory/Manual' \ rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex; \ printf '\\begin{theindex}' >index.tex; \ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/abs_theory/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/trs/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/trs/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/sets/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/sets/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/prettyp/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/prettyp/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/string/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/string/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/arith/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/arith/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/finite_sets/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/finite_sets/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/Manual' \ rm -f *.dvi *.aux *.toc *.log *.idx *.ilg; \ printf '\\begin{theindex}' >index.tex; \ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/wellorder/Manual' \ rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex; \ printf '\\begin{theindex}' >index.tex; \ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/wellorder/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pair/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex theorems.tex; \ printf '\\begin{theindex}' >index.tex; \ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pair/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/record_proof/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/record_proof/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/latex-hol/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/latex-hol/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/more_arithmetic/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/more_arithmetic/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/window/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex *.bak; \ printf '\\begin{theindex}' >index.tex; \ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/window/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/unwind/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/unwind/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/taut/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/taut/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/word/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/word/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/res_quan/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/res_quan/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pred_sets/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pred_sets/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reduce/Manual' \ rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex; \ printf '\\begin{theindex}' >index.tex; \ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reduce/Manual' find -name X.tex -exec rm -rf {} \; dh_clean -X./ml/site.ml.orig -X./contrib/tooltool/Makefile.orig \ -X./contrib/tooltool/events.c.orig -X./contrib/tooltool/func_fix.c.orig \ -X./contrib/tooltool/lex.c.orig -X./contrib/tooltool/parse.y.orig \ -X./contrib/tooltool/patchlevel.h.orig -X./contrib/tooltool/windows.c.orig \ -X./contrib/Xhelp/hol_apro.orig -X./contrib/Xhelp/hol_ref.orig \ -X./contrib/Xhelp/xholhelp.h.orig -X./contrib/Xhelp/hol_thm.orig for i in $(find Library -name "*.sve") ; do mv $i $(echo $i | sed "s,\.sve,,1"); done rm -f debian/hol88.install debian/hol88-library.install debian/hol88-source.install debian/hol88-help.install debian/hol88-library-source.install debian/hol88-library-help.install debian/hol88-contrib-source.install debian/hol88-contrib-help.install debian/hol88-doc.install debian/hol88.links debian/hol88-library.links debian/hol88.sh find -name "*.dvi" -exec rm {} \; rm -f Manual/Tutorial/ack.tex Manual/Reference/ack.tex Manual/Description/ack.tex rm -f Manual/Covers/titlepages.ps Manual/Covers/endpages.ps rm -f bm.l foo* gcl ./lisp/f-ol-syntax.data cp debian/site_ml_orig ml/site.ml.orig rm -f Library/finite_sets/Manual/entries.tex \ Library/finite_sets/Manual/theorems.tex \ Library/more_arithmetic/Manual/theorems.tex \ Library/numeral/Manual/theorems.tex \ Library/pred_sets/Manual/entries.tex \ Library/prettyp/Manual/entries.tex \ Library/reals/Manual/theorems.tex \ Library/res_quan/Manual/entries.tex \ Library/sets/Manual/entries.tex \ Library/sets/Manual/theorems.tex \ Library/string/Manual/theorems.tex \ Library/wellorder/Manual/theorems.tex \ Library/word/Manual/theorems.tex \ Manual/Reference/entries.tex \ Manual/Reference/theorems.tex debian/rules binary-arch dh_testdir touch configure-stamp echo '(shadow "LIST")' \ '(defmacro list (&rest r &aux (l (length r)))' \ '(let ((x (nthcdr (1- call-arguments-limit) r)))' \ '(if x `(nconc (cl::list ,@(ldiff r x)) (list ,@x)) `(cl::list ,@r))))' \ '(deftype list nil (quote cl::list))' \ '(use-package :cltl1-compat)' \ '(si::save-system "gcl")' | GCL_ANSI="no" gcl27 # FIXME list calls > call-arguments-limit /usr/bin/gcl27: 35: exec: /usr/lib/gcl-2.7.1/unixport/saved_gcl: Exec format error make: *** [debian/rules:37: build-arch-stamp] Error 126 dpkg-buildpackage: error: debian/rules binary-arch subprocess failed with exit status 2 -------------------------------------------------------------------------------- Build finished at 2026-06-06T17:16:15Z +------------------------------------------------------------------------------+ | Finished Timed Build Commands Sat, 06 Jun 2026 17:16:15 +0000 | +------------------------------------------------------------------------------+ rm -Rf /build/reproducible-path/hol88-2.02.19940316dfsg/ -------------------------------------------------------- I: Finished running 'rm -Rf /build/reproducible-path/hol88-2.02.19940316dfsg/'. Finished processing commands. -------------------------------------------------------------------------------- Finished -------- +------------------------------------------------------------------------------+ | Cleanup Sat, 06 Jun 2026 17:16:15 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died with exit 2) +------------------------------------------------------------------------------+ | Summary Sat, 06 Jun 2026 17:16:15 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any Build-Space: n/a Build-Time: 2 Distribution: unstable Fail-Stage: build Foreign Architectures: ppc64el Host Architecture: ppc64el Install-Time: 38 Job: hol88_2.02.19940316dfsg-9 Machine Architecture: amd64 Package: hol88 Package-Time: 51 Source-Version: 2.02.19940316dfsg-9 Space: n/a Status: attempted Version: 2.02.19940316dfsg-9 -------------------------------------------------------------------------------- Finished at 2026-06-06T17:16:15Z Build needed 00:00:51, no disk space