0s autopkgtest [21:08:14]: starting date and time: 2025-02-20 21:08:14+0000 0s autopkgtest [21:08:14]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [21:08:14]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.m3c0562r/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gmp --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=gmp/2:6.3.0+dfsg-3ubuntu1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-ppc64el-8.secgroup --name adt-plucky-ppc64el-why3-20250220-210814-juju-7f2275-prod-proposed-migration-environment-2-97822dee-c581-4ec4-a07e-8310ebd15424 --image adt/ubuntu-plucky-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-ppc64el -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 111s autopkgtest [21:10:05]: testbed dpkg architecture: ppc64el 111s autopkgtest [21:10:05]: testbed apt version: 2.9.30 112s autopkgtest [21:10:06]: @@@@@@@@@@@@@@@@@@@@ test bed setup 112s autopkgtest [21:10:06]: testbed release detected to be: None 113s autopkgtest [21:10:07]: updating testbed package index (apt update) 113s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 113s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 113s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 113s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 113s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 113s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 113s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 113s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 114s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [126 kB] 114s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 114s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [677 kB] 114s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [4908 B] 114s Fetched 1771 kB in 1s (1647 kB/s) 115s Reading package lists... 116s Reading package lists... 116s Building dependency tree... 116s Reading state information... 117s Calculating upgrade... 117s The following packages will be upgraded: 117s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 117s libssl3t64 openssl openssl-provider-legacy powerpc-ibm-utils powerpc-utils 117s python3-requests telnet 117s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 117s Need to get 10.7 MB of archives. 117s After this operation, 68.6 kB disk space will be freed. 117s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el openssl-provider-legacy ppc64el 3.4.1-1ubuntu1 [44.4 kB] 117s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libssl3t64 ppc64el 3.4.1-1ubuntu1 [2504 kB] 117s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el kbd ppc64el 2.7.1-2ubuntu1 [240 kB] 117s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el openssl ppc64el 3.4.1-1ubuntu1 [1204 kB] 118s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el powerpc-ibm-utils ppc64el 1.3.13-1 [263 kB] 118s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el powerpc-utils ppc64el 1.3.13-1 [1632 B] 118s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el inetutils-telnet ppc64el 2:2.5-6ubuntu1 [121 kB] 118s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el telnet all 0.17+2.5-6ubuntu1 [3694 B] 118s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcryptsetup12 ppc64el 2:2.7.5-1ubuntu2 [386 kB] 118s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el cryptsetup-bin ppc64el 2:2.7.5-1ubuntu2 [234 kB] 118s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el fwupd ppc64el 2.0.6-3 [5481 kB] 118s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfwupd3 ppc64el 2.0.6-3 [137 kB] 118s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 118s Fetched 10.7 MB in 1s (9449 kB/s) 119s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106370 files and directories currently installed.) 119s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_ppc64el.deb ... 119s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 119s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 119s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106370 files and directories currently installed.) 119s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_ppc64el.deb ... 119s Unpacking libssl3t64:ppc64el (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 119s Setting up libssl3t64:ppc64el (3.4.1-1ubuntu1) ... 119s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106369 files and directories currently installed.) 119s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_ppc64el.deb ... 119s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 119s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_ppc64el.deb ... 119s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 119s Preparing to unpack .../02-powerpc-ibm-utils_1.3.13-1_ppc64el.deb ... 119s Unpacking powerpc-ibm-utils (1.3.13-1) over (1.3.13-0ubuntu1) ... 119s Preparing to unpack .../03-powerpc-utils_1.3.13-1_ppc64el.deb ... 119s Unpacking powerpc-utils (1.3.13-1) over (1.3.13-0ubuntu1) ... 119s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_ppc64el.deb ... 119s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 119s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 119s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 119s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_ppc64el.deb ... 119s Unpacking libcryptsetup12:ppc64el (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 119s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_ppc64el.deb ... 119s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 119s Preparing to unpack .../08-fwupd_2.0.6-3_ppc64el.deb ... 120s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 120s Preparing to unpack .../09-libfwupd3_2.0.6-3_ppc64el.deb ... 120s Unpacking libfwupd3:ppc64el (2.0.6-3) over (2.0.5-1) ... 120s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 120s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 120s for fn in glob1(directory, "%s.*" % fname): 120s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 120s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 120s Setting up powerpc-ibm-utils (1.3.13-1) ... 120s Setting up libfwupd3:ppc64el (2.0.6-3) ... 120s Setting up powerpc-utils (1.3.13-1) ... 120s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 120s Setting up libcryptsetup12:ppc64el (2:2.7.5-1ubuntu2) ... 120s Setting up kbd (2.7.1-2ubuntu1) ... 120s Setting up openssl (3.4.1-1ubuntu1) ... 120s Setting up fwupd (2.0.6-3) ... 121s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 121s fwupd.service is a disabled or a static unit not running, not starting it. 121s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 121s Setting up telnet (0.17+2.5-6ubuntu1) ... 121s Processing triggers for libc-bin (2.40-4ubuntu1) ... 121s Processing triggers for man-db (2.13.0-1) ... 123s Processing triggers for dbus (1.16.0-1ubuntu1) ... 123s Processing triggers for initramfs-tools (0.145ubuntu2) ... 123s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 123s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 135s Reading package lists... 135s Building dependency tree... 135s Reading state information... 135s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded. 136s autopkgtest [21:10:30]: upgrading testbed (apt dist-upgrade and autopurge) 136s Reading package lists... 136s Building dependency tree... 136s Reading state information... 137s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 137s Starting 2 pkgProblemResolver with broken count: 0 137s Done 137s Entering ResolveByKeep 138s 138s The following packages will be upgraded: 138s libgmp10 138s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 138s Need to get 283 kB of archives. 138s After this operation, 0 B of additional disk space will be used. 138s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libgmp10 ppc64el 2:6.3.0+dfsg-3ubuntu1 [283 kB] 139s Fetched 283 kB in 0s (670 kB/s) 139s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106366 files and directories currently installed.) 139s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_ppc64el.deb ... 139s Unpacking libgmp10:ppc64el (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 139s Setting up libgmp10:ppc64el (2:6.3.0+dfsg-3ubuntu1) ... 139s Processing triggers for libc-bin (2.40-4ubuntu1) ... 139s Reading package lists... 140s Building dependency tree... 140s Reading state information... 140s Starting pkgProblemResolver with broken count: 0 140s Starting 2 pkgProblemResolver with broken count: 0 140s Done 140s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 141s autopkgtest [21:10:35]: rebooting testbed after setup commands that affected boot 163s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 178s autopkgtest [21:11:12]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 16:32:08 UTC 2025 180s autopkgtest [21:11:14]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 186s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 186s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 186s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 186s gpgv: Signature made Fri Sep 6 15:04:31 2024 UTC 186s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 186s gpgv: Can't check signature: No public key 186s dpkg-source: warning: cannot verify inline signature for ./why3_1.7.2-2build1.dsc: no acceptable signature found 187s autopkgtest [21:11:21]: testing package why3 version 1.7.2-2build1 188s autopkgtest [21:11:22]: build not needed 190s autopkgtest [21:11:24]: test why3+cvc4: preparing testbed 190s Reading package lists... 191s Building dependency tree... 191s Reading state information... 191s Starting pkgProblemResolver with broken count: 0 191s Starting 2 pkgProblemResolver with broken count: 0 191s Done 192s The following NEW packages will be installed: 192s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-powerpc64le-linux-gnu 192s cpp-powerpc64le-linux-gnu cvc4 dconf-gsettings-backend dconf-service 192s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 192s gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 192s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 192s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 192s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 192s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 192s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 192s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 192s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 192s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 192s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 192s liblcms2-2 liblerc4 liblsan0 libmpc3 libncurses-dev libpango-1.0-0 192s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libquadmath0 192s libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 192s libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 192s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 192s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 192s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 192s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 192s Need to get 166 MB of archives. 192s After this operation, 534 MB of additional disk space will be used. 192s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 192s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-3ubuntu2 [215 kB] 192s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 192s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdeflate0 ppc64el 1.23-1 [63.4 kB] 192s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 192s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 192s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 192s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 192s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtiff6 ppc64el 4.5.1+git230720-4ubuntu4 [272 kB] 193s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-2 [191 kB] 193s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gtk-update-icon-cache ppc64el 4.17.4+ds-4 [55.0 kB] 193s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 193s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el adwaita-icon-theme all 48~beta-3 [578 kB] 193s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el at-spi2-common all 2.55.2-1 [8916 B] 193s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 193s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 193s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [10.5 MB] 193s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu1 [1038 B] 193s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 193s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 193s Get:21 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 193s Get:22 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcvc4-7 ppc64el 1.8-3build2 [4746 kB] 193s Get:23 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libantlr3c-3.4-0 ppc64el 3.4+dfsg-4build2 [60.7 kB] 193s Get:24 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcvc4parser7 ppc64el 1.8-3build2 [383 kB] 193s Get:25 http://ftpmaster.internal/ubuntu plucky/universe ppc64el cvc4 ppc64el 1.8-3build2 [76.6 kB] 193s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdconf1 ppc64el 0.40.0-5 [43.7 kB] 193s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-service ppc64el 0.40.0-5 [30.8 kB] 193s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5 [26.0 kB] 193s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 193s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 193s Get:31 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig-config ppc64el 2.15.0-2ubuntu1 [37.5 kB] 193s Get:32 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfontconfig1 ppc64el 2.15.0-2ubuntu1 [188 kB] 193s Get:33 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig ppc64el 2.15.0-2ubuntu1 [192 kB] 193s Get:34 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB] 193s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB] 193s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB] 193s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB] 193s Get:38 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB] 193s Get:39 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB] 194s Get:40 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB] 194s Get:41 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB] 194s Get:42 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu1 [1620 kB] 194s Get:43 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [20.6 MB] 194s Get:44 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu1 [536 kB] 194s Get:45 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 194s Get:46 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 194s Get:47 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk1.0-0t64 ppc64el 2.55.2-1 [59.8 kB] 194s Get:48 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 194s Get:49 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatspi2.0-0t64 ppc64el 2.55.2-1 [97.5 kB] 194s Get:50 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.55.2-1 [77.8 kB] 194s Get:51 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common-data ppc64el 0.8-14ubuntu1 [30.5 kB] 194s Get:52 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common3 ppc64el 0.8-14ubuntu1 [26.0 kB] 194s Get:53 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-client3 ppc64el 0.8-14ubuntu1 [31.0 kB] 194s Get:54 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 194s Get:55 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 194s Get:56 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 194s Get:57 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 194s Get:58 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo2 ppc64el 1.18.2-2 [747 kB] 194s Get:59 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo-gobject2 ppc64el 1.18.2-2 [127 kB] 194s Get:60 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.2.0-3 [446 kB] 194s Get:61 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.2.0-3 [347 kB] 194s Get:62 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2 [29.1 kB] 194s Get:63 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 194s Get:64 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 194s Get:65 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.2.0-3 [11.1 MB] 195s Get:66 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.2.0-3 [47.1 MB] 197s Get:67 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcups2t64 ppc64el 2.4.11-0ubuntu2 [347 kB] 197s Get:68 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 197s Get:69 http://ftpmaster.internal/ubuntu plucky/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 197s Get:70 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 197s Get:71 http://ftpmaster.internal/ubuntu plucky/main ppc64el libharfbuzz0b ppc64el 10.2.0-1 [598 kB] 197s Get:72 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 197s Get:73 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 197s Get:74 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpango-1.0-0 ppc64el 1.56.1-1 [277 kB] 197s Get:75 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.1-1 [58.6 kB] 197s Get:76 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.1-1 [30.6 kB] 197s Get:77 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-client0 ppc64el 1.23.1-1 [31.6 kB] 197s Get:78 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-cursor0 ppc64el 1.23.1-1 [12.0 kB] 197s Get:79 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-egl1 ppc64el 1.23.1-1 [5810 B] 197s Get:80 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 197s Get:81 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 197s Get:82 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 197s Get:83 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 197s Get:84 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 197s Get:85 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 197s Get:86 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 197s Get:87 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-0t64 ppc64el 3.24.48-3ubuntu1 [3380 kB] 197s Get:88 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 197s Get:89 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-3 [260 kB] 197s Get:90 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build1 [3588 kB] 197s Get:91 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build1 [331 kB] 197s Get:92 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 197s Get:93 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 197s Get:94 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.2.0-3 [8077 kB] 198s Get:95 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.2.0-3 [20.1 MB] 199s Get:96 http://ftpmaster.internal/ubuntu plucky/universe ppc64el tex-common all 6.18 [32.8 kB] 199s Get:97 http://ftpmaster.internal/ubuntu plucky/universe ppc64el why3 ppc64el 1.7.2-2build1 [12.2 MB] 200s Fetched 166 MB in 8s (21.7 MB/s) 200s Selecting previously unselected package libgdk-pixbuf2.0-common. 201s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106366 files and directories currently installed.) 201s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 201s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 201s Selecting previously unselected package libjpeg-turbo8:ppc64el. 201s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_ppc64el.deb ... 201s Unpacking libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 201s Selecting previously unselected package libjpeg8:ppc64el. 201s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 201s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 201s Selecting previously unselected package libdeflate0:ppc64el. 201s Preparing to unpack .../03-libdeflate0_1.23-1_ppc64el.deb ... 201s Unpacking libdeflate0:ppc64el (1.23-1) ... 201s Selecting previously unselected package libjbig0:ppc64el. 201s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 201s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 201s Selecting previously unselected package liblerc4:ppc64el. 201s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 201s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 201s Selecting previously unselected package libsharpyuv0:ppc64el. 201s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 201s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 201s Selecting previously unselected package libwebp7:ppc64el. 201s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 201s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 201s Selecting previously unselected package libtiff6:ppc64el. 201s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_ppc64el.deb ... 201s Unpacking libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 201s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 201s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_ppc64el.deb ... 201s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 201s Selecting previously unselected package gtk-update-icon-cache. 201s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_ppc64el.deb ... 201s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 201s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. 201s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 201s Selecting previously unselected package hicolor-icon-theme. 201s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 201s Unpacking hicolor-icon-theme (0.18-2) ... 201s Selecting previously unselected package adwaita-icon-theme. 201s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 201s Unpacking adwaita-icon-theme (48~beta-3) ... 201s Selecting previously unselected package at-spi2-common. 201s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 201s Unpacking at-spi2-common (2.55.2-1) ... 201s Selecting previously unselected package libisl23:ppc64el. 201s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 201s Unpacking libisl23:ppc64el (0.27-1) ... 201s Selecting previously unselected package libmpc3:ppc64el. 202s Preparing to unpack .../15-libmpc3_1.3.1-1build2_ppc64el.deb ... 202s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 202s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 202s Preparing to unpack .../16-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 202s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 202s Selecting previously unselected package cpp-14. 202s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_ppc64el.deb ... 202s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 202s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 202s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 202s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 202s Selecting previously unselected package cpp. 202s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 202s Unpacking cpp (4:14.2.0-1ubuntu1) ... 202s Selecting previously unselected package libcln6:ppc64el. 202s Preparing to unpack .../20-libcln6_1.3.7-1_ppc64el.deb ... 202s Unpacking libcln6:ppc64el (1.3.7-1) ... 202s Selecting previously unselected package libcvc4-7:ppc64el. 202s Preparing to unpack .../21-libcvc4-7_1.8-3build2_ppc64el.deb ... 202s Unpacking libcvc4-7:ppc64el (1.8-3build2) ... 202s Selecting previously unselected package libantlr3c-3.4-0:ppc64el. 202s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_ppc64el.deb ... 202s Unpacking libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 202s Selecting previously unselected package libcvc4parser7:ppc64el. 202s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_ppc64el.deb ... 202s Unpacking libcvc4parser7:ppc64el (1.8-3build2) ... 202s Selecting previously unselected package cvc4. 202s Preparing to unpack .../24-cvc4_1.8-3build2_ppc64el.deb ... 202s Unpacking cvc4 (1.8-3build2) ... 202s Selecting previously unselected package libdconf1:ppc64el. 202s Preparing to unpack .../25-libdconf1_0.40.0-5_ppc64el.deb ... 202s Unpacking libdconf1:ppc64el (0.40.0-5) ... 202s Selecting previously unselected package dconf-service. 202s Preparing to unpack .../26-dconf-service_0.40.0-5_ppc64el.deb ... 202s Unpacking dconf-service (0.40.0-5) ... 202s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 202s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_ppc64el.deb ... 202s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5) ... 202s Selecting previously unselected package fonts-dejavu-mono. 202s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 202s Unpacking fonts-dejavu-mono (2.37-8) ... 202s Selecting previously unselected package fonts-dejavu-core. 202s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 202s Unpacking fonts-dejavu-core (2.37-8) ... 202s Selecting previously unselected package fontconfig-config. 202s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_ppc64el.deb ... 203s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 203s Selecting previously unselected package libfontconfig1:ppc64el. 203s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_ppc64el.deb ... 203s Unpacking libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 203s Selecting previously unselected package fontconfig. 203s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_ppc64el.deb ... 203s Unpacking fontconfig (2.15.0-2ubuntu1) ... 203s Selecting previously unselected package libcc1-0:ppc64el. 203s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ... 203s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 203s Selecting previously unselected package libgomp1:ppc64el. 203s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ... 203s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ... 203s Selecting previously unselected package libitm1:ppc64el. 203s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_ppc64el.deb ... 203s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ... 203s Selecting previously unselected package libasan8:ppc64el. 203s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_ppc64el.deb ... 203s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ... 203s Selecting previously unselected package liblsan0:ppc64el. 203s Preparing to unpack .../37-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ... 203s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ... 203s Selecting previously unselected package libtsan2:ppc64el. 203s Preparing to unpack .../38-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ... 203s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ... 203s Selecting previously unselected package libubsan1:ppc64el. 203s Preparing to unpack .../39-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ... 203s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ... 203s Selecting previously unselected package libquadmath0:ppc64el. 203s Preparing to unpack .../40-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ... 203s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 203s Selecting previously unselected package libgcc-14-dev:ppc64el. 203s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu1_ppc64el.deb ... 203s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 203s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 203s Preparing to unpack .../42-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 203s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 204s Selecting previously unselected package gcc-14. 204s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu1_ppc64el.deb ... 204s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 204s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 204s Preparing to unpack .../44-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 204s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 204s Selecting previously unselected package gcc. 204s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 204s Unpacking gcc (4:14.2.0-1ubuntu1) ... 204s Selecting previously unselected package libatk1.0-0t64:ppc64el. 204s Preparing to unpack .../46-libatk1.0-0t64_2.55.2-1_ppc64el.deb ... 204s Unpacking libatk1.0-0t64:ppc64el (2.55.2-1) ... 204s Selecting previously unselected package libxi6:ppc64el. 204s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_ppc64el.deb ... 204s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 204s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 204s Preparing to unpack .../48-libatspi2.0-0t64_2.55.2-1_ppc64el.deb ... 204s Unpacking libatspi2.0-0t64:ppc64el (2.55.2-1) ... 204s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 204s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.2-1_ppc64el.deb ... 204s Unpacking libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 204s Selecting previously unselected package libavahi-common-data:ppc64el. 204s Preparing to unpack .../50-libavahi-common-data_0.8-14ubuntu1_ppc64el.deb ... 204s Unpacking libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 204s Selecting previously unselected package libavahi-common3:ppc64el. 204s Preparing to unpack .../51-libavahi-common3_0.8-14ubuntu1_ppc64el.deb ... 204s Unpacking libavahi-common3:ppc64el (0.8-14ubuntu1) ... 204s Selecting previously unselected package libavahi-client3:ppc64el. 204s Preparing to unpack .../52-libavahi-client3_0.8-14ubuntu1_ppc64el.deb ... 204s Unpacking libavahi-client3:ppc64el (0.8-14ubuntu1) ... 204s Selecting previously unselected package libpixman-1-0:ppc64el. 204s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_ppc64el.deb ... 204s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 204s Selecting previously unselected package libxcb-render0:ppc64el. 204s Preparing to unpack .../54-libxcb-render0_1.17.0-2_ppc64el.deb ... 204s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 204s Selecting previously unselected package libxcb-shm0:ppc64el. 204s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_ppc64el.deb ... 204s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 204s Selecting previously unselected package libxrender1:ppc64el. 204s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 204s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 204s Selecting previously unselected package libcairo2:ppc64el. 204s Preparing to unpack .../57-libcairo2_1.18.2-2_ppc64el.deb ... 204s Unpacking libcairo2:ppc64el (1.18.2-2) ... 204s Selecting previously unselected package libcairo-gobject2:ppc64el. 204s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_ppc64el.deb ... 204s Unpacking libcairo-gobject2:ppc64el (1.18.2-2) ... 204s Selecting previously unselected package libstdlib-ocaml. 204s Preparing to unpack .../59-libstdlib-ocaml_5.2.0-3_ppc64el.deb ... 204s Unpacking libstdlib-ocaml (5.2.0-3) ... 204s Selecting previously unselected package ocaml-base. 204s Preparing to unpack .../60-ocaml-base_5.2.0-3_ppc64el.deb ... 204s Unpacking ocaml-base (5.2.0-3) ... 204s Selecting previously unselected package libcairo2-ocaml. 204s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2_ppc64el.deb ... 204s Unpacking libcairo2-ocaml (0.6.5-2) ... 204s Selecting previously unselected package liblcms2-2:ppc64el. 204s Preparing to unpack .../62-liblcms2-2_2.16-2_ppc64el.deb ... 204s Unpacking liblcms2-2:ppc64el (2.16-2) ... 204s Selecting previously unselected package libcolord2:ppc64el. 204s Preparing to unpack .../63-libcolord2_1.4.7-1build2_ppc64el.deb ... 204s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 204s Selecting previously unselected package libstdlib-ocaml-dev. 204s Preparing to unpack .../64-libstdlib-ocaml-dev_5.2.0-3_ppc64el.deb ... 204s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 204s Selecting previously unselected package libcompiler-libs-ocaml-dev. 204s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.2.0-3_ppc64el.deb ... 204s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 205s Selecting previously unselected package libcups2t64:ppc64el. 205s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_ppc64el.deb ... 205s Unpacking libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 205s Selecting previously unselected package libdatrie1:ppc64el. 205s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_ppc64el.deb ... 205s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 205s Selecting previously unselected package libepoxy0:ppc64el. 205s Preparing to unpack .../68-libepoxy0_1.5.10-2_ppc64el.deb ... 205s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 205s Selecting previously unselected package libgraphite2-3:ppc64el. 205s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 205s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 205s Selecting previously unselected package libharfbuzz0b:ppc64el. 205s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_ppc64el.deb ... 205s Unpacking libharfbuzz0b:ppc64el (10.2.0-1) ... 205s Selecting previously unselected package libthai-data. 205s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 205s Unpacking libthai-data (0.1.29-2build1) ... 205s Selecting previously unselected package libthai0:ppc64el. 205s Preparing to unpack .../72-libthai0_0.1.29-2build1_ppc64el.deb ... 205s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 205s Selecting previously unselected package libpango-1.0-0:ppc64el. 205s Preparing to unpack .../73-libpango-1.0-0_1.56.1-1_ppc64el.deb ... 205s Unpacking libpango-1.0-0:ppc64el (1.56.1-1) ... 205s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 205s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.1-1_ppc64el.deb ... 205s Unpacking libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 205s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 205s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.1-1_ppc64el.deb ... 205s Unpacking libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 205s Selecting previously unselected package libwayland-client0:ppc64el. 205s Preparing to unpack .../76-libwayland-client0_1.23.1-1_ppc64el.deb ... 205s Unpacking libwayland-client0:ppc64el (1.23.1-1) ... 205s Selecting previously unselected package libwayland-cursor0:ppc64el. 205s Preparing to unpack .../77-libwayland-cursor0_1.23.1-1_ppc64el.deb ... 205s Unpacking libwayland-cursor0:ppc64el (1.23.1-1) ... 205s Selecting previously unselected package libwayland-egl1:ppc64el. 205s Preparing to unpack .../78-libwayland-egl1_1.23.1-1_ppc64el.deb ... 205s Unpacking libwayland-egl1:ppc64el (1.23.1-1) ... 205s Selecting previously unselected package libxcomposite1:ppc64el. 205s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 205s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 205s Selecting previously unselected package libxfixes3:ppc64el. 205s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 205s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 205s Selecting previously unselected package libxcursor1:ppc64el. 205s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 205s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 205s Selecting previously unselected package libxdamage1:ppc64el. 205s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 205s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 205s Selecting previously unselected package libxinerama1:ppc64el. 205s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 205s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 206s Selecting previously unselected package libxrandr2:ppc64el. 206s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 206s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 206s Selecting previously unselected package libgtk-3-common. 206s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 206s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 206s Selecting previously unselected package libgtk-3-0t64:ppc64el. 206s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_ppc64el.deb ... 206s Unpacking libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 206s Selecting previously unselected package libgtksourceview-3.0-common. 206s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 206s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 206s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 206s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_ppc64el.deb ... 206s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 206s Selecting previously unselected package liblablgtk3-ocaml. 206s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build1_ppc64el.deb ... 206s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 206s Selecting previously unselected package liblablgtksourceview3-ocaml. 206s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build1_ppc64el.deb ... 206s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 206s Selecting previously unselected package libncurses-dev:ppc64el. 206s Preparing to unpack .../91-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 206s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 206s Selecting previously unselected package libzstd-dev:ppc64el. 206s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 206s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 206s Selecting previously unselected package ocaml-interp. 206s Preparing to unpack .../93-ocaml-interp_5.2.0-3_ppc64el.deb ... 206s Unpacking ocaml-interp (5.2.0-3) ... 206s Selecting previously unselected package ocaml. 206s Preparing to unpack .../94-ocaml_5.2.0-3_ppc64el.deb ... 206s Unpacking ocaml (5.2.0-3) ... 207s Selecting previously unselected package tex-common. 207s Preparing to unpack .../95-tex-common_6.18_all.deb ... 207s Unpacking tex-common (6.18) ... 207s Selecting previously unselected package why3. 207s Preparing to unpack .../96-why3_1.7.2-2build1_ppc64el.deb ... 207s Unpacking why3 (1.7.2-2build1) ... 207s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 207s Setting up liblcms2-2:ppc64el (2.16-2) ... 207s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 207s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 207s Setting up libcln6:ppc64el (1.3.7-1) ... 207s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 207s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 207s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 207s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 207s Setting up libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 207s Setting up hicolor-icon-theme (0.18-2) ... 207s Setting up libxi6:ppc64el (2:1.8.2-1) ... 207s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 207s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 207s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 207s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 207s Setting up libdeflate0:ppc64el (1.23-1) ... 207s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 207s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ... 207s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 207s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 207s Setting up libdconf1:ppc64el (0.40.0-5) ... 207s Setting up tex-common (6.18) ... 208s update-language: texlive-base not installed and configured, doing nothing! 208s Setting up libepoxy0:ppc64el (1.5.10-2) ... 208s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 208s Setting up libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 208s Setting up libatspi2.0-0t64:ppc64el (2.55.2-1) ... 208s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 208s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 208s Setting up libstdlib-ocaml (5.2.0-3) ... 208s Setting up fonts-dejavu-mono (2.37-8) ... 208s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 208s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 208s Setting up ocaml-base (5.2.0-3) ... 208s Setting up fonts-dejavu-core (2.37-8) ... 208s Setting up libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 208s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 208s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ... 208s Setting up at-spi2-common (2.55.2-1) ... 208s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ... 208s Setting up libcvc4-7:ppc64el (1.8-3build2) ... 208s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 208s Setting up libharfbuzz0b:ppc64el (10.2.0-1) ... 208s Setting up libthai-data (0.1.29-2build1) ... 208s Setting up libwayland-egl1:ppc64el (1.23.1-1) ... 208s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ... 208s Setting up libisl23:ppc64el (0.27-1) ... 208s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 208s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 208s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ... 208s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ... 208s Setting up libwayland-client0:ppc64el (1.23.1-1) ... 208s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 208s Setting up libatk1.0-0t64:ppc64el (2.55.2-1) ... 208s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 208s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 208s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 208s Setting up libavahi-common3:ppc64el (0.8-14ubuntu1) ... 208s Setting up dconf-service (0.40.0-5) ... 208s Setting up libthai0:ppc64el (0.1.29-2build1) ... 208s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 208s Setting up ocaml-interp (5.2.0-3) ... 208s Setting up libcvc4parser7:ppc64el (1.8-3build2) ... 208s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 208s Setting up cpp-14 (14.2.0-17ubuntu1) ... 208s Setting up libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 208s Setting up libwayland-cursor0:ppc64el (1.23.1-1) ... 208s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 208s Setting up cvc4 (1.8-3build2) ... 208s Setting up libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 208s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 208s Setting up libavahi-client3:ppc64el (0.8-14ubuntu1) ... 208s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 208s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 208s Setting up libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 208s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 208s Setting up fontconfig (2.15.0-2ubuntu1) ... 210s Regenerating fonts cache... done. 210s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5) ... 210s Setting up libpango-1.0-0:ppc64el (1.56.1-1) ... 210s Setting up libcairo2:ppc64el (1.18.2-2) ... 210s Setting up gcc-14 (14.2.0-17ubuntu1) ... 210s Setting up adwaita-icon-theme (48~beta-3) ... 210s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 210s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 210s Setting up cpp (4:14.2.0-1ubuntu1) ... 210s Setting up libcairo-gobject2:ppc64el (1.18.2-2) ... 210s Setting up libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 210s Setting up libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 210s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 210s Setting up libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 210s Setting up libcairo2-ocaml (0.6.5-2) ... 210s Setting up gcc (4:14.2.0-1ubuntu1) ... 210s Setting up ocaml (5.2.0-3) ... 210s Processing triggers for libc-bin (2.40-4ubuntu1) ... 210s Processing triggers for man-db (2.13.0-1) ... 212s Processing triggers for libglib2.0-0t64:ppc64el (2.83.3-2) ... 212s Setting up libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 212s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 212s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 212s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 212s Setting up why3 (1.7.2-2build1) ... 212s Processing triggers for libc-bin (2.40-4ubuntu1) ... 213s autopkgtest [21:11:47]: test why3+cvc4: [----------------------- 215s autopkgtest [21:11:49]: test why3+cvc4: -----------------------] 215s why3+cvc4 PASS 215s autopkgtest [21:11:49]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 216s autopkgtest [21:11:50]: test why3+spass: preparing testbed 305s autopkgtest [21:13:19]: testbed dpkg architecture: ppc64el 306s autopkgtest [21:13:20]: testbed apt version: 2.9.30 306s autopkgtest [21:13:20]: @@@@@@@@@@@@@@@@@@@@ test bed setup 306s autopkgtest [21:13:20]: testbed release detected to be: plucky 307s autopkgtest [21:13:21]: updating testbed package index (apt update) 307s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 308s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 308s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 308s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 308s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 308s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 308s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 308s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 308s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [126 kB] 308s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 308s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [677 kB] 308s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [4908 B] 308s Fetched 1771 kB in 1s (1756 kB/s) 309s Reading package lists... 310s Reading package lists... 310s Building dependency tree... 310s Reading state information... 310s Calculating upgrade... 310s The following packages will be upgraded: 310s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 310s libssl3t64 openssl openssl-provider-legacy powerpc-ibm-utils powerpc-utils 310s python3-requests telnet 311s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 311s Need to get 10.7 MB of archives. 311s After this operation, 68.6 kB disk space will be freed. 311s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el openssl-provider-legacy ppc64el 3.4.1-1ubuntu1 [44.4 kB] 311s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libssl3t64 ppc64el 3.4.1-1ubuntu1 [2504 kB] 311s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el kbd ppc64el 2.7.1-2ubuntu1 [240 kB] 311s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el openssl ppc64el 3.4.1-1ubuntu1 [1204 kB] 311s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el powerpc-ibm-utils ppc64el 1.3.13-1 [263 kB] 311s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el powerpc-utils ppc64el 1.3.13-1 [1632 B] 311s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el inetutils-telnet ppc64el 2:2.5-6ubuntu1 [121 kB] 311s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el telnet all 0.17+2.5-6ubuntu1 [3694 B] 311s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcryptsetup12 ppc64el 2:2.7.5-1ubuntu2 [386 kB] 311s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el cryptsetup-bin ppc64el 2:2.7.5-1ubuntu2 [234 kB] 311s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el fwupd ppc64el 2.0.6-3 [5481 kB] 312s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfwupd3 ppc64el 2.0.6-3 [137 kB] 312s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 312s Fetched 10.7 MB in 1s (9813 kB/s) 312s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106370 files and directories currently installed.) 312s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_ppc64el.deb ... 312s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 312s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 312s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106370 files and directories currently installed.) 312s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_ppc64el.deb ... 312s Unpacking libssl3t64:ppc64el (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 312s Setting up libssl3t64:ppc64el (3.4.1-1ubuntu1) ... 312s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106369 files and directories currently installed.) 312s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_ppc64el.deb ... 312s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 312s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_ppc64el.deb ... 312s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 313s Preparing to unpack .../02-powerpc-ibm-utils_1.3.13-1_ppc64el.deb ... 313s Unpacking powerpc-ibm-utils (1.3.13-1) over (1.3.13-0ubuntu1) ... 313s Preparing to unpack .../03-powerpc-utils_1.3.13-1_ppc64el.deb ... 313s Unpacking powerpc-utils (1.3.13-1) over (1.3.13-0ubuntu1) ... 313s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_ppc64el.deb ... 313s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 313s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 313s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 313s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_ppc64el.deb ... 313s Unpacking libcryptsetup12:ppc64el (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 313s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_ppc64el.deb ... 313s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 313s Preparing to unpack .../08-fwupd_2.0.6-3_ppc64el.deb ... 313s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 313s Preparing to unpack .../09-libfwupd3_2.0.6-3_ppc64el.deb ... 313s Unpacking libfwupd3:ppc64el (2.0.6-3) over (2.0.5-1) ... 313s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 313s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 313s for fn in glob1(directory, "%s.*" % fname): 313s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 313s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 313s Setting up powerpc-ibm-utils (1.3.13-1) ... 313s Setting up libfwupd3:ppc64el (2.0.6-3) ... 313s Setting up powerpc-utils (1.3.13-1) ... 313s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 313s Setting up libcryptsetup12:ppc64el (2:2.7.5-1ubuntu2) ... 313s Setting up kbd (2.7.1-2ubuntu1) ... 313s Setting up openssl (3.4.1-1ubuntu1) ... 313s Setting up fwupd (2.0.6-3) ... 314s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 314s fwupd.service is a disabled or a static unit not running, not starting it. 314s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 314s Setting up telnet (0.17+2.5-6ubuntu1) ... 314s Processing triggers for libc-bin (2.40-4ubuntu1) ... 314s Processing triggers for man-db (2.13.0-1) ... 315s Processing triggers for dbus (1.16.0-1ubuntu1) ... 315s Processing triggers for initramfs-tools (0.145ubuntu2) ... 316s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 316s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 325s Reading package lists... 326s Building dependency tree... 326s Reading state information... 326s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded. 326s autopkgtest [21:13:40]: upgrading testbed (apt dist-upgrade and autopurge) 326s Reading package lists... 326s Building dependency tree... 326s Reading state information... 327s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 327s Starting 2 pkgProblemResolver with broken count: 0 327s Done 327s Entering ResolveByKeep 327s 327s The following packages will be upgraded: 327s libgmp10 328s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 328s Need to get 283 kB of archives. 328s After this operation, 0 B of additional disk space will be used. 328s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libgmp10 ppc64el 2:6.3.0+dfsg-3ubuntu1 [283 kB] 328s Fetched 283 kB in 0s (672 kB/s) 328s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106366 files and directories currently installed.) 328s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_ppc64el.deb ... 328s Unpacking libgmp10:ppc64el (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 328s Setting up libgmp10:ppc64el (2:6.3.0+dfsg-3ubuntu1) ... 328s Processing triggers for libc-bin (2.40-4ubuntu1) ... 329s Reading package lists... 329s Building dependency tree... 329s Reading state information... 329s Starting pkgProblemResolver with broken count: 0 329s Starting 2 pkgProblemResolver with broken count: 0 329s Done 330s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 330s autopkgtest [21:13:44]: rebooting testbed after setup commands that affected boot 364s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 376s Reading package lists... 376s Building dependency tree... 376s Reading state information... 376s Starting pkgProblemResolver with broken count: 0 377s Starting 2 pkgProblemResolver with broken count: 0 377s Done 377s The following NEW packages will be installed: 377s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-powerpc64le-linux-gnu 377s cpp-powerpc64le-linux-gnu dconf-gsettings-backend dconf-service fontconfig 377s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 377s gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 377s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 377s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 377s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 377s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 377s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 377s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 377s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 377s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 377s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 377s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 377s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 377s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 377s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 377s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 377s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass 377s tex-common why3 377s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 377s Need to get 161 MB of archives. 377s After this operation, 513 MB of additional disk space will be used. 377s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 377s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-3ubuntu2 [215 kB] 377s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 377s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdeflate0 ppc64el 1.23-1 [63.4 kB] 377s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 377s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 377s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 377s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 377s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtiff6 ppc64el 4.5.1+git230720-4ubuntu4 [272 kB] 378s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-2 [191 kB] 378s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gtk-update-icon-cache ppc64el 4.17.4+ds-4 [55.0 kB] 378s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 378s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el adwaita-icon-theme all 48~beta-3 [578 kB] 378s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el at-spi2-common all 2.55.2-1 [8916 B] 378s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 378s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 378s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [10.5 MB] 378s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu1 [1038 B] 378s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 378s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 378s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdconf1 ppc64el 0.40.0-5 [43.7 kB] 378s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-service ppc64el 0.40.0-5 [30.8 kB] 378s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5 [26.0 kB] 378s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 378s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 378s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig-config ppc64el 2.15.0-2ubuntu1 [37.5 kB] 378s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfontconfig1 ppc64el 2.15.0-2ubuntu1 [188 kB] 378s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig ppc64el 2.15.0-2ubuntu1 [192 kB] 378s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB] 378s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB] 378s Get:31 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB] 378s Get:32 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB] 378s Get:33 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB] 378s Get:34 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB] 379s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB] 379s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB] 379s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu1 [1620 kB] 379s Get:38 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [20.6 MB] 380s Get:39 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu1 [536 kB] 380s Get:40 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 380s Get:41 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 380s Get:42 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk1.0-0t64 ppc64el 2.55.2-1 [59.8 kB] 380s Get:43 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 380s Get:44 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatspi2.0-0t64 ppc64el 2.55.2-1 [97.5 kB] 380s Get:45 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.55.2-1 [77.8 kB] 380s Get:46 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common-data ppc64el 0.8-14ubuntu1 [30.5 kB] 380s Get:47 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common3 ppc64el 0.8-14ubuntu1 [26.0 kB] 380s Get:48 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-client3 ppc64el 0.8-14ubuntu1 [31.0 kB] 380s Get:49 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 380s Get:50 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 380s Get:51 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 380s Get:52 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 380s Get:53 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo2 ppc64el 1.18.2-2 [747 kB] 380s Get:54 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo-gobject2 ppc64el 1.18.2-2 [127 kB] 380s Get:55 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.2.0-3 [446 kB] 380s Get:56 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.2.0-3 [347 kB] 380s Get:57 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2 [29.1 kB] 380s Get:58 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 380s Get:59 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 380s Get:60 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.2.0-3 [11.1 MB] 380s Get:61 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.2.0-3 [47.1 MB] 382s Get:62 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcups2t64 ppc64el 2.4.11-0ubuntu2 [347 kB] 382s Get:63 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 382s Get:64 http://ftpmaster.internal/ubuntu plucky/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 382s Get:65 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 382s Get:66 http://ftpmaster.internal/ubuntu plucky/main ppc64el libharfbuzz0b ppc64el 10.2.0-1 [598 kB] 382s Get:67 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 382s Get:68 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 382s Get:69 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpango-1.0-0 ppc64el 1.56.1-1 [277 kB] 382s Get:70 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.1-1 [58.6 kB] 382s Get:71 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.1-1 [30.6 kB] 382s Get:72 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-client0 ppc64el 1.23.1-1 [31.6 kB] 382s Get:73 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-cursor0 ppc64el 1.23.1-1 [12.0 kB] 382s Get:74 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-egl1 ppc64el 1.23.1-1 [5810 B] 382s Get:75 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 382s Get:76 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 382s Get:77 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 382s Get:78 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 382s Get:79 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 382s Get:80 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 382s Get:81 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 382s Get:82 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-0t64 ppc64el 3.24.48-3ubuntu1 [3380 kB] 382s Get:83 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 382s Get:84 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-3 [260 kB] 382s Get:85 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build1 [3588 kB] 382s Get:86 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build1 [331 kB] 382s Get:87 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 382s Get:88 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 382s Get:89 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.2.0-3 [8077 kB] 382s Get:90 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.2.0-3 [20.1 MB] 383s Get:91 http://ftpmaster.internal/ubuntu plucky/universe ppc64el spass ppc64el 3.9-1.1 [304 kB] 383s Get:92 http://ftpmaster.internal/ubuntu plucky/universe ppc64el tex-common all 6.18 [32.8 kB] 383s Get:93 http://ftpmaster.internal/ubuntu plucky/universe ppc64el why3 ppc64el 1.7.2-2build1 [12.2 MB] 384s Fetched 161 MB in 6s (26.3 MB/s) 384s Selecting previously unselected package libgdk-pixbuf2.0-common. 384s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106366 files and directories currently installed.) 384s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 384s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 384s Selecting previously unselected package libjpeg-turbo8:ppc64el. 384s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_ppc64el.deb ... 384s Unpacking libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 384s Selecting previously unselected package libjpeg8:ppc64el. 384s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 384s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 384s Selecting previously unselected package libdeflate0:ppc64el. 384s Preparing to unpack .../03-libdeflate0_1.23-1_ppc64el.deb ... 384s Unpacking libdeflate0:ppc64el (1.23-1) ... 384s Selecting previously unselected package libjbig0:ppc64el. 384s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 384s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 384s Selecting previously unselected package liblerc4:ppc64el. 384s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 384s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 384s Selecting previously unselected package libsharpyuv0:ppc64el. 384s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 384s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 384s Selecting previously unselected package libwebp7:ppc64el. 384s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 384s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 384s Selecting previously unselected package libtiff6:ppc64el. 384s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_ppc64el.deb ... 384s Unpacking libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 384s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 384s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_ppc64el.deb ... 384s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 384s Selecting previously unselected package gtk-update-icon-cache. 384s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_ppc64el.deb ... 384s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 384s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. 384s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 384s Selecting previously unselected package hicolor-icon-theme. 384s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 384s Unpacking hicolor-icon-theme (0.18-2) ... 384s Selecting previously unselected package adwaita-icon-theme. 384s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 384s Unpacking adwaita-icon-theme (48~beta-3) ... 384s Selecting previously unselected package at-spi2-common. 384s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 384s Unpacking at-spi2-common (2.55.2-1) ... 384s Selecting previously unselected package libisl23:ppc64el. 384s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 384s Unpacking libisl23:ppc64el (0.27-1) ... 384s Selecting previously unselected package libmpc3:ppc64el. 384s Preparing to unpack .../15-libmpc3_1.3.1-1build2_ppc64el.deb ... 384s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 384s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 384s Preparing to unpack .../16-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 384s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 385s Selecting previously unselected package cpp-14. 385s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_ppc64el.deb ... 385s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 385s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 385s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 385s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 385s Selecting previously unselected package cpp. 385s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 385s Unpacking cpp (4:14.2.0-1ubuntu1) ... 385s Selecting previously unselected package libdconf1:ppc64el. 385s Preparing to unpack .../20-libdconf1_0.40.0-5_ppc64el.deb ... 385s Unpacking libdconf1:ppc64el (0.40.0-5) ... 385s Selecting previously unselected package dconf-service. 385s Preparing to unpack .../21-dconf-service_0.40.0-5_ppc64el.deb ... 385s Unpacking dconf-service (0.40.0-5) ... 385s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 385s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_ppc64el.deb ... 385s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5) ... 385s Selecting previously unselected package fonts-dejavu-mono. 385s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 385s Unpacking fonts-dejavu-mono (2.37-8) ... 385s Selecting previously unselected package fonts-dejavu-core. 385s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 385s Unpacking fonts-dejavu-core (2.37-8) ... 385s Selecting previously unselected package fontconfig-config. 385s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_ppc64el.deb ... 385s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 385s Selecting previously unselected package libfontconfig1:ppc64el. 385s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_ppc64el.deb ... 385s Unpacking libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 385s Selecting previously unselected package fontconfig. 385s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_ppc64el.deb ... 385s Unpacking fontconfig (2.15.0-2ubuntu1) ... 385s Selecting previously unselected package libcc1-0:ppc64el. 385s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ... 385s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 385s Selecting previously unselected package libgomp1:ppc64el. 385s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ... 385s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ... 385s Selecting previously unselected package libitm1:ppc64el. 385s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_ppc64el.deb ... 385s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ... 385s Selecting previously unselected package libasan8:ppc64el. 385s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_ppc64el.deb ... 385s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ... 385s Selecting previously unselected package liblsan0:ppc64el. 385s Preparing to unpack .../32-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ... 385s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ... 385s Selecting previously unselected package libtsan2:ppc64el. 385s Preparing to unpack .../33-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ... 385s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ... 385s Selecting previously unselected package libubsan1:ppc64el. 385s Preparing to unpack .../34-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ... 385s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ... 385s Selecting previously unselected package libquadmath0:ppc64el. 385s Preparing to unpack .../35-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ... 385s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 385s Selecting previously unselected package libgcc-14-dev:ppc64el. 385s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu1_ppc64el.deb ... 385s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 385s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 385s Preparing to unpack .../37-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 385s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 386s Selecting previously unselected package gcc-14. 386s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu1_ppc64el.deb ... 386s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 386s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 386s Preparing to unpack .../39-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 386s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 386s Selecting previously unselected package gcc. 386s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 386s Unpacking gcc (4:14.2.0-1ubuntu1) ... 386s Selecting previously unselected package libatk1.0-0t64:ppc64el. 386s Preparing to unpack .../41-libatk1.0-0t64_2.55.2-1_ppc64el.deb ... 386s Unpacking libatk1.0-0t64:ppc64el (2.55.2-1) ... 386s Selecting previously unselected package libxi6:ppc64el. 386s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_ppc64el.deb ... 386s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 386s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 386s Preparing to unpack .../43-libatspi2.0-0t64_2.55.2-1_ppc64el.deb ... 386s Unpacking libatspi2.0-0t64:ppc64el (2.55.2-1) ... 386s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 386s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.2-1_ppc64el.deb ... 386s Unpacking libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 386s Selecting previously unselected package libavahi-common-data:ppc64el. 386s Preparing to unpack .../45-libavahi-common-data_0.8-14ubuntu1_ppc64el.deb ... 386s Unpacking libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 386s Selecting previously unselected package libavahi-common3:ppc64el. 386s Preparing to unpack .../46-libavahi-common3_0.8-14ubuntu1_ppc64el.deb ... 386s Unpacking libavahi-common3:ppc64el (0.8-14ubuntu1) ... 386s Selecting previously unselected package libavahi-client3:ppc64el. 386s Preparing to unpack .../47-libavahi-client3_0.8-14ubuntu1_ppc64el.deb ... 386s Unpacking libavahi-client3:ppc64el (0.8-14ubuntu1) ... 386s Selecting previously unselected package libpixman-1-0:ppc64el. 386s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_ppc64el.deb ... 386s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 386s Selecting previously unselected package libxcb-render0:ppc64el. 386s Preparing to unpack .../49-libxcb-render0_1.17.0-2_ppc64el.deb ... 386s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 386s Selecting previously unselected package libxcb-shm0:ppc64el. 386s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_ppc64el.deb ... 386s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 386s Selecting previously unselected package libxrender1:ppc64el. 386s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 386s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 386s Selecting previously unselected package libcairo2:ppc64el. 386s Preparing to unpack .../52-libcairo2_1.18.2-2_ppc64el.deb ... 386s Unpacking libcairo2:ppc64el (1.18.2-2) ... 386s Selecting previously unselected package libcairo-gobject2:ppc64el. 386s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_ppc64el.deb ... 386s Unpacking libcairo-gobject2:ppc64el (1.18.2-2) ... 386s Selecting previously unselected package libstdlib-ocaml. 386s Preparing to unpack .../54-libstdlib-ocaml_5.2.0-3_ppc64el.deb ... 386s Unpacking libstdlib-ocaml (5.2.0-3) ... 386s Selecting previously unselected package ocaml-base. 386s Preparing to unpack .../55-ocaml-base_5.2.0-3_ppc64el.deb ... 386s Unpacking ocaml-base (5.2.0-3) ... 386s Selecting previously unselected package libcairo2-ocaml. 386s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2_ppc64el.deb ... 386s Unpacking libcairo2-ocaml (0.6.5-2) ... 386s Selecting previously unselected package liblcms2-2:ppc64el. 386s Preparing to unpack .../57-liblcms2-2_2.16-2_ppc64el.deb ... 386s Unpacking liblcms2-2:ppc64el (2.16-2) ... 386s Selecting previously unselected package libcolord2:ppc64el. 386s Preparing to unpack .../58-libcolord2_1.4.7-1build2_ppc64el.deb ... 386s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 386s Selecting previously unselected package libstdlib-ocaml-dev. 386s Preparing to unpack .../59-libstdlib-ocaml-dev_5.2.0-3_ppc64el.deb ... 386s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 386s Selecting previously unselected package libcompiler-libs-ocaml-dev. 386s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.2.0-3_ppc64el.deb ... 386s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 387s Selecting previously unselected package libcups2t64:ppc64el. 387s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_ppc64el.deb ... 387s Unpacking libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 387s Selecting previously unselected package libdatrie1:ppc64el. 387s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_ppc64el.deb ... 387s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 387s Selecting previously unselected package libepoxy0:ppc64el. 387s Preparing to unpack .../63-libepoxy0_1.5.10-2_ppc64el.deb ... 387s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 387s Selecting previously unselected package libgraphite2-3:ppc64el. 387s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 387s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 387s Selecting previously unselected package libharfbuzz0b:ppc64el. 387s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_ppc64el.deb ... 387s Unpacking libharfbuzz0b:ppc64el (10.2.0-1) ... 387s Selecting previously unselected package libthai-data. 387s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 387s Unpacking libthai-data (0.1.29-2build1) ... 387s Selecting previously unselected package libthai0:ppc64el. 387s Preparing to unpack .../67-libthai0_0.1.29-2build1_ppc64el.deb ... 387s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 387s Selecting previously unselected package libpango-1.0-0:ppc64el. 387s Preparing to unpack .../68-libpango-1.0-0_1.56.1-1_ppc64el.deb ... 387s Unpacking libpango-1.0-0:ppc64el (1.56.1-1) ... 387s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 387s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.1-1_ppc64el.deb ... 387s Unpacking libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 387s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 387s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.1-1_ppc64el.deb ... 387s Unpacking libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 387s Selecting previously unselected package libwayland-client0:ppc64el. 387s Preparing to unpack .../71-libwayland-client0_1.23.1-1_ppc64el.deb ... 387s Unpacking libwayland-client0:ppc64el (1.23.1-1) ... 387s Selecting previously unselected package libwayland-cursor0:ppc64el. 387s Preparing to unpack .../72-libwayland-cursor0_1.23.1-1_ppc64el.deb ... 387s Unpacking libwayland-cursor0:ppc64el (1.23.1-1) ... 387s Selecting previously unselected package libwayland-egl1:ppc64el. 387s Preparing to unpack .../73-libwayland-egl1_1.23.1-1_ppc64el.deb ... 387s Unpacking libwayland-egl1:ppc64el (1.23.1-1) ... 387s Selecting previously unselected package libxcomposite1:ppc64el. 387s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 387s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 387s Selecting previously unselected package libxfixes3:ppc64el. 387s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 387s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 387s Selecting previously unselected package libxcursor1:ppc64el. 387s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 387s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 387s Selecting previously unselected package libxdamage1:ppc64el. 387s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 387s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 387s Selecting previously unselected package libxinerama1:ppc64el. 387s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 387s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 387s Selecting previously unselected package libxrandr2:ppc64el. 387s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 387s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 387s Selecting previously unselected package libgtk-3-common. 387s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 387s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 387s Selecting previously unselected package libgtk-3-0t64:ppc64el. 387s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_ppc64el.deb ... 387s Unpacking libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 387s Selecting previously unselected package libgtksourceview-3.0-common. 387s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 387s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 388s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 388s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_ppc64el.deb ... 388s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 388s Selecting previously unselected package liblablgtk3-ocaml. 388s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build1_ppc64el.deb ... 388s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 388s Selecting previously unselected package liblablgtksourceview3-ocaml. 388s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build1_ppc64el.deb ... 388s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 388s Selecting previously unselected package libncurses-dev:ppc64el. 388s Preparing to unpack .../86-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 388s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 388s Selecting previously unselected package libzstd-dev:ppc64el. 388s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 388s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 388s Selecting previously unselected package ocaml-interp. 388s Preparing to unpack .../88-ocaml-interp_5.2.0-3_ppc64el.deb ... 388s Unpacking ocaml-interp (5.2.0-3) ... 388s Selecting previously unselected package ocaml. 388s Preparing to unpack .../89-ocaml_5.2.0-3_ppc64el.deb ... 388s Unpacking ocaml (5.2.0-3) ... 388s Selecting previously unselected package spass. 388s Preparing to unpack .../90-spass_3.9-1.1_ppc64el.deb ... 388s Unpacking spass (3.9-1.1) ... 388s Selecting previously unselected package tex-common. 388s Preparing to unpack .../91-tex-common_6.18_all.deb ... 388s Unpacking tex-common (6.18) ... 388s Selecting previously unselected package why3. 388s Preparing to unpack .../92-why3_1.7.2-2build1_ppc64el.deb ... 388s Unpacking why3 (1.7.2-2build1) ... 389s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 389s Setting up liblcms2-2:ppc64el (2.16-2) ... 389s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 389s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 389s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 389s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 389s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 389s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 389s Setting up hicolor-icon-theme (0.18-2) ... 389s Setting up libxi6:ppc64el (2:1.8.2-1) ... 389s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 389s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 389s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 389s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 389s Setting up libdeflate0:ppc64el (1.23-1) ... 389s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 389s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ... 389s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 389s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 389s Setting up libdconf1:ppc64el (0.40.0-5) ... 389s Setting up tex-common (6.18) ... 389s update-language: texlive-base not installed and configured, doing nothing! 389s Setting up libepoxy0:ppc64el (1.5.10-2) ... 389s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 389s Setting up spass (3.9-1.1) ... 389s Setting up libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 389s Setting up libatspi2.0-0t64:ppc64el (2.55.2-1) ... 389s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 389s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 389s Setting up libstdlib-ocaml (5.2.0-3) ... 389s Setting up fonts-dejavu-mono (2.37-8) ... 389s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 389s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 389s Setting up ocaml-base (5.2.0-3) ... 389s Setting up fonts-dejavu-core (2.37-8) ... 389s Setting up libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 389s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 389s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ... 389s Setting up at-spi2-common (2.55.2-1) ... 389s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ... 389s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 389s Setting up libharfbuzz0b:ppc64el (10.2.0-1) ... 389s Setting up libthai-data (0.1.29-2build1) ... 389s Setting up libwayland-egl1:ppc64el (1.23.1-1) ... 389s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ... 389s Setting up libisl23:ppc64el (0.27-1) ... 389s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 389s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 389s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ... 389s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ... 389s Setting up libwayland-client0:ppc64el (1.23.1-1) ... 389s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 389s Setting up libatk1.0-0t64:ppc64el (2.55.2-1) ... 389s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 389s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 389s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 389s Setting up libavahi-common3:ppc64el (0.8-14ubuntu1) ... 389s Setting up dconf-service (0.40.0-5) ... 389s Setting up libthai0:ppc64el (0.1.29-2build1) ... 389s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 389s Setting up ocaml-interp (5.2.0-3) ... 389s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 389s Setting up cpp-14 (14.2.0-17ubuntu1) ... 389s Setting up libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 389s Setting up libwayland-cursor0:ppc64el (1.23.1-1) ... 389s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 389s Setting up libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 389s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 389s Setting up libavahi-client3:ppc64el (0.8-14ubuntu1) ... 389s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 389s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 389s Setting up libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 389s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 389s Setting up fontconfig (2.15.0-2ubuntu1) ... 391s Regenerating fonts cache... done. 391s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5) ... 391s Setting up libpango-1.0-0:ppc64el (1.56.1-1) ... 391s Setting up libcairo2:ppc64el (1.18.2-2) ... 391s Setting up gcc-14 (14.2.0-17ubuntu1) ... 391s Setting up adwaita-icon-theme (48~beta-3) ... 391s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 391s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 391s Setting up cpp (4:14.2.0-1ubuntu1) ... 391s Setting up libcairo-gobject2:ppc64el (1.18.2-2) ... 391s Setting up libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 391s Setting up libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 391s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 391s Setting up libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 391s Setting up libcairo2-ocaml (0.6.5-2) ... 391s Setting up gcc (4:14.2.0-1ubuntu1) ... 391s Setting up ocaml (5.2.0-3) ... 391s Processing triggers for libc-bin (2.40-4ubuntu1) ... 392s Processing triggers for man-db (2.13.0-1) ... 393s Processing triggers for libglib2.0-0t64:ppc64el (2.83.3-2) ... 393s Setting up libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 393s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 393s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 393s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 393s Setting up why3 (1.7.2-2build1) ... 393s Processing triggers for libc-bin (2.40-4ubuntu1) ... 402s autopkgtest [21:14:56]: test why3+spass: [----------------------- 403s autopkgtest [21:14:57]: test why3+spass: -----------------------] 404s autopkgtest [21:14:58]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 404s why3+spass PASS 404s autopkgtest [21:14:58]: test why3+z3: preparing testbed 541s autopkgtest [21:17:15]: testbed dpkg architecture: ppc64el 541s autopkgtest [21:17:15]: testbed apt version: 2.9.30 541s autopkgtest [21:17:15]: @@@@@@@@@@@@@@@@@@@@ test bed setup 542s autopkgtest [21:17:16]: testbed release detected to be: plucky 542s autopkgtest [21:17:16]: updating testbed package index (apt update) 543s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 543s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 543s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 543s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 543s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 543s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 544s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 544s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 544s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [126 kB] 544s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 544s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [677 kB] 544s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [4908 B] 544s Fetched 1771 kB in 1s (1762 kB/s) 545s Reading package lists... 546s Reading package lists... 546s Building dependency tree... 546s Reading state information... 547s Calculating upgrade... 547s The following packages will be upgraded: 547s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 547s libssl3t64 openssl openssl-provider-legacy powerpc-ibm-utils powerpc-utils 547s python3-requests telnet 547s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 547s Need to get 10.7 MB of archives. 547s After this operation, 68.6 kB disk space will be freed. 547s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el openssl-provider-legacy ppc64el 3.4.1-1ubuntu1 [44.4 kB] 547s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libssl3t64 ppc64el 3.4.1-1ubuntu1 [2504 kB] 547s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el kbd ppc64el 2.7.1-2ubuntu1 [240 kB] 547s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el openssl ppc64el 3.4.1-1ubuntu1 [1204 kB] 548s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el powerpc-ibm-utils ppc64el 1.3.13-1 [263 kB] 548s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el powerpc-utils ppc64el 1.3.13-1 [1632 B] 548s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el inetutils-telnet ppc64el 2:2.5-6ubuntu1 [121 kB] 548s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el telnet all 0.17+2.5-6ubuntu1 [3694 B] 548s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcryptsetup12 ppc64el 2:2.7.5-1ubuntu2 [386 kB] 548s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el cryptsetup-bin ppc64el 2:2.7.5-1ubuntu2 [234 kB] 548s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el fwupd ppc64el 2.0.6-3 [5481 kB] 548s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfwupd3 ppc64el 2.0.6-3 [137 kB] 548s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 548s Fetched 10.7 MB in 1s (11.3 MB/s) 549s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106370 files and directories currently installed.) 549s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_ppc64el.deb ... 549s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 549s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 549s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106370 files and directories currently installed.) 549s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_ppc64el.deb ... 549s Unpacking libssl3t64:ppc64el (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 549s Setting up libssl3t64:ppc64el (3.4.1-1ubuntu1) ... 549s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106369 files and directories currently installed.) 549s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_ppc64el.deb ... 549s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 549s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_ppc64el.deb ... 549s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 549s Preparing to unpack .../02-powerpc-ibm-utils_1.3.13-1_ppc64el.deb ... 549s Unpacking powerpc-ibm-utils (1.3.13-1) over (1.3.13-0ubuntu1) ... 549s Preparing to unpack .../03-powerpc-utils_1.3.13-1_ppc64el.deb ... 549s Unpacking powerpc-utils (1.3.13-1) over (1.3.13-0ubuntu1) ... 549s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_ppc64el.deb ... 549s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 549s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 549s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 549s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_ppc64el.deb ... 549s Unpacking libcryptsetup12:ppc64el (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 549s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_ppc64el.deb ... 549s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 549s Preparing to unpack .../08-fwupd_2.0.6-3_ppc64el.deb ... 549s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 549s Preparing to unpack .../09-libfwupd3_2.0.6-3_ppc64el.deb ... 549s Unpacking libfwupd3:ppc64el (2.0.6-3) over (2.0.5-1) ... 550s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 550s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 550s for fn in glob1(directory, "%s.*" % fname): 550s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 550s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 550s Setting up powerpc-ibm-utils (1.3.13-1) ... 550s Setting up libfwupd3:ppc64el (2.0.6-3) ... 550s Setting up powerpc-utils (1.3.13-1) ... 550s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 550s Setting up libcryptsetup12:ppc64el (2:2.7.5-1ubuntu2) ... 550s Setting up kbd (2.7.1-2ubuntu1) ... 550s Setting up openssl (3.4.1-1ubuntu1) ... 550s Setting up fwupd (2.0.6-3) ... 550s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 551s fwupd.service is a disabled or a static unit not running, not starting it. 551s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 551s Setting up telnet (0.17+2.5-6ubuntu1) ... 551s Processing triggers for libc-bin (2.40-4ubuntu1) ... 551s Processing triggers for man-db (2.13.0-1) ... 552s Processing triggers for dbus (1.16.0-1ubuntu1) ... 552s Processing triggers for initramfs-tools (0.145ubuntu2) ... 552s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 552s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 563s Reading package lists... 563s Building dependency tree... 563s Reading state information... 564s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded. 564s autopkgtest [21:17:38]: upgrading testbed (apt dist-upgrade and autopurge) 564s Reading package lists... 564s Building dependency tree... 564s Reading state information... 565s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 565s Starting 2 pkgProblemResolver with broken count: 0 565s Done 566s Entering ResolveByKeep 566s 566s The following packages will be upgraded: 566s libgmp10 566s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 566s Need to get 283 kB of archives. 566s After this operation, 0 B of additional disk space will be used. 566s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libgmp10 ppc64el 2:6.3.0+dfsg-3ubuntu1 [283 kB] 567s Fetched 283 kB in 0s (675 kB/s) 567s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106366 files and directories currently installed.) 567s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_ppc64el.deb ... 567s Unpacking libgmp10:ppc64el (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 567s Setting up libgmp10:ppc64el (2:6.3.0+dfsg-3ubuntu1) ... 567s Processing triggers for libc-bin (2.40-4ubuntu1) ... 567s Reading package lists... 568s Building dependency tree... 568s Reading state information... 568s Starting pkgProblemResolver with broken count: 0 568s Starting 2 pkgProblemResolver with broken count: 0 568s Done 569s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 569s autopkgtest [21:17:43]: rebooting testbed after setup commands that affected boot 603s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 613s Reading package lists... 614s Building dependency tree... 614s Reading state information... 614s Starting pkgProblemResolver with broken count: 1 614s Starting 2 pkgProblemResolver with broken count: 1 614s Investigating (0) satisfy:command-line:ppc64el < none -> 1 @un puN Ib > 614s Broken satisfy:command-line:ppc64el Depends on why3:ppc64el < none | 1.7.2-2build1 @un uH > 614s Considering why3:ppc64el 1 as a solution to satisfy:command-line:ppc64el 9998 614s Re-Instated fonts-dejavu-mono:ppc64el 614s Re-Instated fonts-dejavu-core:ppc64el 614s Re-Instated fontconfig-config:ppc64el 614s Re-Instated libfontconfig1:ppc64el 614s Re-Instated libpixman-1-0:ppc64el 614s Re-Instated libxcb-render0:ppc64el 614s Re-Instated libxcb-shm0:ppc64el 614s Re-Instated libxrender1:ppc64el 614s Re-Instated libcairo2:ppc64el 614s Re-Instated libgdk-pixbuf2.0-common:ppc64el 614s Re-Instated libjpeg-turbo8:ppc64el 614s Re-Instated libjpeg8:ppc64el 614s Re-Instated libdeflate0:ppc64el 614s Re-Instated libjbig0:ppc64el 614s Re-Instated liblerc4:ppc64el 614s Re-Instated libsharpyuv0:ppc64el 614s Re-Instated libwebp7:ppc64el 614s Re-Instated libtiff6:ppc64el 614s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 614s Re-Instated gtk-update-icon-cache:ppc64el 614s Re-Instated hicolor-icon-theme:ppc64el 614s Re-Instated adwaita-icon-theme:ppc64el 614s Re-Instated at-spi2-common:ppc64el 614s Re-Instated libatk1.0-0t64:ppc64el 614s Re-Instated libxi6:ppc64el 614s Re-Instated libatspi2.0-0t64:ppc64el 614s Re-Instated libatk-bridge2.0-0t64:ppc64el 614s Re-Instated libcairo-gobject2:ppc64el 614s Re-Instated liblcms2-2:ppc64el 614s Re-Instated libcolord2:ppc64el 614s Re-Instated libavahi-common-data:ppc64el 614s Re-Instated libavahi-common3:ppc64el 614s Re-Instated libavahi-client3:ppc64el 614s Re-Instated libcups2t64:ppc64el 614s Re-Instated libepoxy0:ppc64el 614s Re-Instated libgraphite2-3:ppc64el 614s Re-Instated libharfbuzz0b:ppc64el 614s Re-Instated fontconfig:ppc64el 614s Re-Instated libthai-data:ppc64el 614s Re-Instated libdatrie1:ppc64el 614s Re-Instated libthai0:ppc64el 614s Re-Instated libpango-1.0-0:ppc64el 614s Re-Instated libpangoft2-1.0-0:ppc64el 614s Re-Instated libpangocairo-1.0-0:ppc64el 614s Re-Instated libwayland-client0:ppc64el 614s Re-Instated libwayland-cursor0:ppc64el 614s Re-Instated libwayland-egl1:ppc64el 614s Re-Instated libxcomposite1:ppc64el 614s Re-Instated libxfixes3:ppc64el 614s Re-Instated libxcursor1:ppc64el 614s Re-Instated libxdamage1:ppc64el 614s Re-Instated libxinerama1:ppc64el 614s Re-Instated libxrandr2:ppc64el 614s Re-Instated libdconf1:ppc64el 614s Re-Instated dconf-service:ppc64el 614s Re-Instated dconf-gsettings-backend:ppc64el 614s Re-Instated libgtk-3-common:ppc64el 614s Re-Instated libgtk-3-0t64:ppc64el 614s Re-Instated libgtksourceview-3.0-common:ppc64el 614s Re-Instated libgtksourceview-3.0-1:ppc64el 614s Re-Instated libstdlib-ocaml:ppc64el 614s Re-Instated ocaml-base:ppc64el 614s Re-Instated libcairo2-ocaml:ppc64el 614s Re-Instated liblablgtk3-ocaml:ppc64el 614s Re-Instated liblablgtksourceview3-ocaml:ppc64el 614s Re-Instated tex-common:ppc64el 614s Re-Instated why3:ppc64el 614s Broken satisfy:command-line:ppc64el Depends on z3:ppc64el < none | 4.13.3-1 @un uH > (< 4.11.1) 614s Broken satisfy:command-line:ppc64el Depends on ocaml-native-compilers:ppc64el < none @un H > 614s Considering ocaml:ppc64el 0 as a solution to satisfy:command-line:ppc64el 9998 614s Re-Instated libstdlib-ocaml-dev:ppc64el 614s Re-Instated libcompiler-libs-ocaml-dev:ppc64el 614s Re-Instated ocaml-interp:ppc64el 614s Re-Instated libncurses-dev:ppc64el 614s Re-Instated libisl23:ppc64el 614s Re-Instated libmpc3:ppc64el 614s Re-Instated cpp-14-powerpc64le-linux-gnu:ppc64el 614s Re-Instated cpp-14:ppc64el 614s Re-Instated cpp-powerpc64le-linux-gnu:ppc64el 614s Re-Instated cpp:ppc64el 614s Re-Instated libcc1-0:ppc64el 614s Re-Instated libgomp1:ppc64el 614s Re-Instated libitm1:ppc64el 614s Re-Instated libasan8:ppc64el 614s Re-Instated liblsan0:ppc64el 614s Re-Instated libtsan2:ppc64el 614s Re-Instated libubsan1:ppc64el 614s Re-Instated libquadmath0:ppc64el 614s Re-Instated libgcc-14-dev:ppc64el 614s Re-Instated gcc-14-powerpc64le-linux-gnu:ppc64el 614s Re-Instated gcc-14:ppc64el 614s Re-Instated gcc-powerpc64le-linux-gnu:ppc64el 614s Re-Instated gcc:ppc64el 614s Re-Instated libzstd-dev:ppc64el 614s Re-Instated ocaml:ppc64el 614s Done 614s Some packages could not be installed. This may mean that you have 614s requested an impossible situation or if you are using the unstable 614s distribution that some required packages have not yet been created 614s or been moved out of Incoming. 614s The following information may help to resolve the situation: 614s 614s The following packages have unmet dependencies: 614s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 614s E: Unable to correct problems, you have held broken packages. 614s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 614s Reading package lists... 615s Building dependency tree... 615s Reading state information... 615s Starting pkgProblemResolver with broken count: 1 615s Starting 2 pkgProblemResolver with broken count: 1 615s Investigating (0) satisfy:command-line:ppc64el < none -> 1 @un puN Ib > 615s Broken satisfy:command-line:ppc64el Depends on why3:ppc64el < none | 1.8.0-2 @un uH > 615s Considering why3:ppc64el 1 as a solution to satisfy:command-line:ppc64el 9998 615s Re-Instated fonts-dejavu-mono:ppc64el 615s Re-Instated fonts-dejavu-core:ppc64el 615s Re-Instated fontconfig-config:ppc64el 615s Re-Instated libfontconfig1:ppc64el 615s Re-Instated libpixman-1-0:ppc64el 615s Re-Instated libxcb-render0:ppc64el 615s Re-Instated libxcb-shm0:ppc64el 615s Re-Instated libxrender1:ppc64el 615s Re-Instated libcairo2:ppc64el 615s Re-Instated libgdk-pixbuf2.0-common:ppc64el 615s Re-Instated libjpeg-turbo8:ppc64el 615s Re-Instated libjpeg8:ppc64el 615s Re-Instated libdeflate0:ppc64el 615s Re-Instated libjbig0:ppc64el 615s Re-Instated liblerc4:ppc64el 615s Re-Instated libsharpyuv0:ppc64el 615s Re-Instated libwebp7:ppc64el 615s Re-Instated libtiff6:ppc64el 615s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 615s Re-Instated gtk-update-icon-cache:ppc64el 615s Re-Instated hicolor-icon-theme:ppc64el 615s Re-Instated adwaita-icon-theme:ppc64el 615s Re-Instated at-spi2-common:ppc64el 615s Re-Instated libatk1.0-0t64:ppc64el 615s Re-Instated libxi6:ppc64el 615s Re-Instated libatspi2.0-0t64:ppc64el 615s Re-Instated libatk-bridge2.0-0t64:ppc64el 615s Re-Instated libcairo-gobject2:ppc64el 615s Re-Instated liblcms2-2:ppc64el 615s Re-Instated libcolord2:ppc64el 615s Re-Instated libavahi-common-data:ppc64el 615s Re-Instated libavahi-common3:ppc64el 615s Re-Instated libavahi-client3:ppc64el 615s Re-Instated libcups2t64:ppc64el 615s Re-Instated libepoxy0:ppc64el 615s Re-Instated libgraphite2-3:ppc64el 615s Re-Instated libharfbuzz0b:ppc64el 615s Re-Instated fontconfig:ppc64el 615s Re-Instated libthai-data:ppc64el 615s Re-Instated libdatrie1:ppc64el 615s Re-Instated libthai0:ppc64el 615s Re-Instated libpango-1.0-0:ppc64el 615s Re-Instated libpangoft2-1.0-0:ppc64el 615s Re-Instated libpangocairo-1.0-0:ppc64el 615s Re-Instated libwayland-client0:ppc64el 615s Re-Instated libwayland-cursor0:ppc64el 615s Re-Instated libwayland-egl1:ppc64el 615s Re-Instated libxcomposite1:ppc64el 615s Re-Instated libxfixes3:ppc64el 615s Re-Instated libxcursor1:ppc64el 615s Re-Instated libxdamage1:ppc64el 615s Re-Instated libxinerama1:ppc64el 615s Re-Instated libxrandr2:ppc64el 615s Re-Instated libdconf1:ppc64el 615s Re-Instated dconf-service:ppc64el 615s Re-Instated dconf-gsettings-backend:ppc64el 615s Re-Instated libgtk-3-common:ppc64el 615s Re-Instated libgtk-3-0t64:ppc64el 615s Re-Instated libgtksourceview-3.0-common:ppc64el 615s Re-Instated libgtksourceview-3.0-1:ppc64el 615s Re-Instated libstdlib-ocaml:ppc64el 615s Re-Instated ocaml-base:ppc64el 615s Re-Instated libcairo2-ocaml:ppc64el 615s Re-Instated liblablgtk3-ocaml:ppc64el 615s Re-Instated liblablgtksourceview3-ocaml:ppc64el 615s Re-Instated tex-common:ppc64el 615s Re-Instated why3:ppc64el 615s Broken satisfy:command-line:ppc64el Depends on z3:ppc64el < none | 4.13.3-1 @un uH > (< 4.11.1) 615s Broken satisfy:command-line:ppc64el Depends on ocaml-native-compilers:ppc64el < none @un H > 615s Considering ocaml:ppc64el 0 as a solution to satisfy:command-line:ppc64el 9998 615s Re-Instated libstdlib-ocaml-dev:ppc64el 615s Re-Instated libcompiler-libs-ocaml-dev:ppc64el 615s Re-Instated ocaml-interp:ppc64el 615s Re-Instated libtinfo6:ppc64el 615s Re-Instated libncurses6:ppc64el 615s Re-Instated libncursesw6:ppc64el 615s Re-Instated libncurses-dev:ppc64el 615s Re-Instated gcc-14-base:ppc64el 615s Re-Instated libisl23:ppc64el 615s Re-Instated libmpc3:ppc64el 615s Re-Instated cpp-14-powerpc64le-linux-gnu:ppc64el 615s Re-Instated cpp-14:ppc64el 615s Re-Instated cpp-powerpc64le-linux-gnu:ppc64el 615s Re-Instated cpp:ppc64el 615s Re-Instated libcc1-0:ppc64el 615s Re-Instated libgomp1:ppc64el 615s Re-Instated libitm1:ppc64el 615s Re-Instated libasan8:ppc64el 615s Re-Instated liblsan0:ppc64el 615s Re-Instated libtsan2:ppc64el 615s Re-Instated libubsan1:ppc64el 615s Re-Instated libquadmath0:ppc64el 615s Re-Instated libgcc-14-dev:ppc64el 615s Re-Instated gcc-14-powerpc64le-linux-gnu:ppc64el 615s Re-Instated gcc-14:ppc64el 615s Re-Instated gcc-powerpc64le-linux-gnu:ppc64el 615s Re-Instated gcc:ppc64el 615s Re-Instated libzstd-dev:ppc64el 615s Re-Instated ocaml:ppc64el 615s Done 615s Some packages could not be installed. This may mean that you have 615s requested an impossible situation or if you are using the unstable 615s distribution that some required packages have not yet been created 615s or been moved out of Incoming. 615s The following information may help to resolve the situation: 615s 615s The following packages have unmet dependencies: 615s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 615s E: Unable to correct problems, you have held broken packages. 615s why3+z3 SKIP installation fails and skip-not-installable set 615s autopkgtest [21:18:29]: @@@@@@@@@@@@@@@@@@@@ summary 615s why3+cvc4 PASS 615s why3+spass PASS 615s why3+z3 SKIP installation fails and skip-not-installable set 634s nova [W] Using flock in prodstack6-ppc64el 634s Creating nova instance adt-plucky-ppc64el-why3-20250220-210814-juju-7f2275-prod-proposed-migration-environment-2-97822dee-c581-4ec4-a07e-8310ebd15424 from image adt/ubuntu-plucky-ppc64el-server-20250220.img (UUID 8cc835a1-8e62-4357-a4cf-395725ecab4d)... 634s nova [W] Timed out waiting for 59a5ecfd-45fd-41c4-b234-617c311c2f5c to get deleted. 634s nova [W] Using flock in prodstack6-ppc64el 634s Creating nova instance adt-plucky-ppc64el-why3-20250220-210814-juju-7f2275-prod-proposed-migration-environment-2-97822dee-c581-4ec4-a07e-8310ebd15424 from image adt/ubuntu-plucky-ppc64el-server-20250220.img (UUID 8cc835a1-8e62-4357-a4cf-395725ecab4d)... 634s nova [W] Timed out waiting for a3840993-8170-4354-81bb-714bd54afced to get deleted. 634s nova [W] Using flock in prodstack6-ppc64el 634s Creating nova instance adt-plucky-ppc64el-why3-20250220-210814-juju-7f2275-prod-proposed-migration-environment-2-97822dee-c581-4ec4-a07e-8310ebd15424 from image adt/ubuntu-plucky-ppc64el-server-20250220.img (UUID 8cc835a1-8e62-4357-a4cf-395725ecab4d)... 634s nova [W] Timed out waiting for 63e2da5c-404c-41ea-b74c-058c62f33bf9 to get deleted.