0s autopkgtest [21:55:02]: starting date and time: 2026-02-09 21:55:02+0000 0s autopkgtest [21:55:02]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [21:55:02]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.l3ow5ewr/out --timeout-copy=6000 --needs-internet=try --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gdk-pixbuf --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=gdk-pixbuf/2.44.5+dfsg-3 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-cpu2-ram4-disk20-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@sto01-ppc64el-21.secgroup --name adt-resolute-ppc64el-why3-20260209-215502-juju-7f2275-prod-proposed-migration-environment-20-25756c25-5839-4606-adb4-f249e52ea78b --image adt/ubuntu-resolute-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-autopkgtest-workers-ppc64el -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 4s Creating nova instance adt-resolute-ppc64el-why3-20260209-215502-juju-7f2275-prod-proposed-migration-environment-20-25756c25-5839-4606-adb4-f249e52ea78b from image adt/ubuntu-resolute-ppc64el-server-20260209.img (UUID f7f31435-4cd1-4090-aa55-59cfefa097ca)... 116s autopkgtest [21:56:58]: testbed dpkg architecture: ppc64el 117s autopkgtest [21:56:59]: testbed apt version: 3.1.15 117s autopkgtest [21:56:59]: @@@@@@@@@@@@@@@@@@@@ test bed setup 117s autopkgtest [21:56:59]: testbed release detected to be: None 118s autopkgtest [21:57:00]: updating testbed package index (apt update) 118s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 118s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 118s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 118s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 118s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 121s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 122s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 122s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el Packages [246 kB] 122s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/universe ppc64el Packages [1534 kB] 125s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse ppc64el Packages [19.4 kB] 125s Fetched 3774 kB in 7s (519 kB/s) 126s Reading package lists... 126s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 127s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 127s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 127s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 127s Reading package lists... 127s Reading package lists... 128s Building dependency tree... 128s Reading state information... 128s Calculating upgrade... 128s The following packages will be upgraded: 128s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 128s libip6tc2 libxtables12 wget 128s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 128s Need to get 3125 kB of archives. 128s After this operation, 78.8 kB of additional disk space will be used. 128s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el iptables ppc64el 1.8.11-2ubuntu3 [464 kB] 129s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el libip4tc2 ppc64el 1.8.11-2ubuntu3 [27.8 kB] 129s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el libip6tc2 ppc64el 1.8.11-2ubuntu3 [28.2 kB] 129s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxtables12 ppc64el 1.8.11-2ubuntu3 [41.2 kB] 129s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el iproute2 ppc64el 6.18.0-1ubuntu1 [1458 kB] 131s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcryptsetup12 ppc64el 2:2.8.0-1ubuntu3 [404 kB] 131s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el wget ppc64el 1.25.0-2ubuntu4 [401 kB] 131s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el cryptsetup-bin ppc64el 2:2.8.0-1ubuntu3 [250 kB] 131s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el dracut-install ppc64el 109-11ubuntu1 [51.3 kB] 132s dpkg-preconfigure: unable to re-open stdin: No such file or directory 132s Fetched 3125 kB in 4s (877 kB/s) 132s (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 ... 122003 files and directories currently installed.) 132s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_ppc64el.deb ... 132s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 132s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_ppc64el.deb ... 133s Unpacking libip4tc2:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 133s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_ppc64el.deb ... 133s Unpacking libip6tc2:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 133s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_ppc64el.deb ... 133s Unpacking libxtables12:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 133s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_ppc64el.deb ... 133s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 133s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_ppc64el.deb ... 133s Unpacking libcryptsetup12:ppc64el (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 133s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_ppc64el.deb ... 133s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 133s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_ppc64el.deb ... 133s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 133s Preparing to unpack .../8-dracut-install_109-11ubuntu1_ppc64el.deb ... 133s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 133s Setting up libip4tc2:ppc64el (1.8.11-2ubuntu3) ... 133s Setting up wget (1.25.0-2ubuntu4) ... 133s Setting up libip6tc2:ppc64el (1.8.11-2ubuntu3) ... 134s Setting up libxtables12:ppc64el (1.8.11-2ubuntu3) ... 134s Setting up dracut-install (109-11ubuntu1) ... 134s Setting up libcryptsetup12:ppc64el (2:2.8.0-1ubuntu3) ... 134s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 134s Setting up iptables (1.8.11-2ubuntu3) ... 134s Setting up iproute2 (6.18.0-1ubuntu1) ... 134s Processing triggers for man-db (2.13.1-1build1) ... 136s Processing triggers for install-info (7.2-5) ... 136s Processing triggers for libc-bin (2.42-2ubuntu4) ... 136s autopkgtest [21:57:18]: upgrading testbed (apt dist-upgrade and autopurge) 136s Reading package lists... 136s Building dependency tree... 136s Reading state information... 136s Calculating upgrade... 136s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 136s Reading package lists... 137s Building dependency tree... 137s Reading state information... 137s Solving dependencies... 137s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 139s autopkgtest [21:57:21]: testbed running kernel: Linux 6.19.0-3-generic #3-Ubuntu SMP PREEMPT_DYNAMIC Fri Jan 23 20:13:51 UTC 2026 139s autopkgtest [21:57:21]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 154s Get:1 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (dsc) [2677 B] 154s Get:2 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (tar) [6645 kB] 154s Get:3 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (diff) [19.6 kB] 154s gpgv: Signature made Tue Jan 6 09:14:00 2026 UTC 154s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 154s gpgv: Can't check signature: No public key 154s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.2-3.dsc: no acceptable signature found 155s autopkgtest [21:57:37]: testing package why3 version 1.8.2-3 156s autopkgtest [21:57:38]: build not needed 158s autopkgtest [21:57:40]: test why3+cvc4: preparing testbed 158s Reading package lists... 158s Building dependency tree... 158s Reading state information... 158s Solving dependencies... 158s The following NEW packages will be installed: 158s adwaita-icon-theme at-spi2-common bubblewrap cpp cpp-15 158s cpp-15-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu cvc4 158s dconf-gsettings-backend dconf-service fontconfig fontconfig-config 158s fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 gcc-15-powerpc64le-linux-gnu 158s gcc-powerpc64le-linux-gnu glycin-loaders glycin-thumbnailers 158s gtk-update-icon-cache hicolor-icon-theme libantlr3c-3.4-0 libaom3 libasan8 158s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 158s libavahi-common-data libavahi-common3 libc-dev-bin libc6-dev 158s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcln6 libcolord2 158s libcompiler-libs-ocaml-dev libcrypt-dev libcups2t64 libcvc4-7 libcvc4parser7 158s libdatrie1 libdconf1 libde265-0 libepoxy0 libfontconfig1 libgcc-15-dev 158s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libglycin-2-0 libgomp1 158s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 158s libgtksourceview-3.0-common libharfbuzz0b libheif-plugin-aomdec 158s libheif-plugin-libde265 libheif1 libhwy1t64 libisl23 libitm1 libjxl0.11 158s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmpc3 158s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 158s libpixman-1-0 libquadmath0 librsvg2-2 libsharpyuv0 libstdlib-ocaml 158s libstdlib-ocaml-dev libthai-data libthai0 libtsan2 libubsan1 158s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 158s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 158s libxinerama1 libxrandr2 libxrender1 libzstd-dev linux-libc-dev ocaml 158s ocaml-base ocaml-interp rpcsvc-proto tex-common why3 158s 0 upgraded, 107 newly installed, 0 to remove and 0 not upgraded. 158s Need to get 188 MB of archives. 158s After this operation, 752 MB of additional disk space will be used. 158s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el bubblewrap ppc64el 0.11.0-2build1 [57.1 kB] 159s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-mono all 2.37-8build1 [502 kB] 160s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-core all 2.37-8build1 [834 kB] 162s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig-config ppc64el 2.17.1-3ubuntu1 [38.5 kB] 162s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el libfontconfig1 ppc64el 2.17.1-3ubuntu1 [193 kB] 162s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpixman-1-0 ppc64el 0.46.4-1 [347 kB] 162s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-render0 ppc64el 1.17.0-2ubuntu1 [17.4 kB] 162s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-shm0 ppc64el 1.17.0-2ubuntu1 [6072 B] 162s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrender1 ppc64el 1:0.9.12-1 [23.0 kB] 162s Get:10 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo2 ppc64el 1.18.4-3 [759 kB] 163s Get:11 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo-gobject2 ppc64el 1.18.4-3 [127 kB] 163s Get:12 http://ftpmaster.internal/ubuntu resolute/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1build1 [24.7 kB] 163s Get:13 http://ftpmaster.internal/ubuntu resolute/main ppc64el libaom3 ppc64el 3.13.1-2 [2908 kB] 168s Get:14 http://ftpmaster.internal/ubuntu resolute/main ppc64el libheif-plugin-aomdec ppc64el 1.21.2-1 [14.4 kB] 168s Get:15 http://ftpmaster.internal/ubuntu resolute/main ppc64el libde265-0 ppc64el 1.0.16-1build1 [300 kB] 168s Get:16 http://ftpmaster.internal/ubuntu resolute/main ppc64el libheif-plugin-libde265 ppc64el 1.21.2-1 [10.2 kB] 168s Get:17 http://ftpmaster.internal/ubuntu resolute/main ppc64el libheif1 ppc64el 1.21.2-1 [657 kB] 169s Get:18 http://ftpmaster.internal/ubuntu resolute/main ppc64el libhwy1t64 ppc64el 1.3.0-2 [251 kB] 169s Get:19 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblcms2-2 ppc64el 2.17-1 [246 kB] 169s Get:20 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjxl0.11 ppc64el 0.11.1-6ubuntu1 [1411 kB] 171s Get:21 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig ppc64el 2.17.1-3ubuntu1 [182 kB] 171s Get:22 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgraphite2-3 ppc64el 1.3.14-11ubuntu1 [85.3 kB] 172s Get:23 http://ftpmaster.internal/ubuntu resolute/main ppc64el libharfbuzz0b ppc64el 12.3.2-1 [663 kB] 173s Get:24 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai-data all 0.1.30-1 [155 kB] 173s Get:25 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdatrie1 ppc64el 0.2.14-1 [22.7 kB] 173s Get:26 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai0 ppc64el 0.1.30-1 [22.5 kB] 173s Get:27 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpango-1.0-0 ppc64el 1.57.0-1 [283 kB] 173s Get:28 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangoft2-1.0-0 ppc64el 1.57.0-1 [61.2 kB] 173s Get:29 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangocairo-1.0-0 ppc64el 1.57.0-1 [31.0 kB] 173s Get:30 http://ftpmaster.internal/ubuntu resolute/main ppc64el librsvg2-2 ppc64el 2.61.3+dfsg-3 [2065 kB] 176s Get:31 http://ftpmaster.internal/ubuntu resolute/main ppc64el glycin-loaders ppc64el 2.0.7+ds-3ubuntu1 [3507 kB] 182s Get:32 http://ftpmaster.internal/ubuntu resolute/main ppc64el glycin-thumbnailers ppc64el 2.0.7+ds-3ubuntu1 [1422 kB] 184s Get:33 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el libgdk-pixbuf2.0-common all 2.44.5+dfsg-3 [9206 B] 184s Get:34 http://ftpmaster.internal/ubuntu resolute/main ppc64el libglycin-2-0 ppc64el 2.0.7+ds-3ubuntu1 [1777 kB] 187s Get:35 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.44.5+dfsg-3 [136 kB] 187s Get:36 http://ftpmaster.internal/ubuntu resolute/main ppc64el gtk-update-icon-cache ppc64el 4.20.3+ds-3 [57.9 kB] 187s Get:37 http://ftpmaster.internal/ubuntu resolute/main ppc64el hicolor-icon-theme all 0.18-2build1 [13.2 kB] 187s Get:38 http://ftpmaster.internal/ubuntu resolute/main ppc64el adwaita-icon-theme all 49.0-1 [581 kB] 188s Get:39 http://ftpmaster.internal/ubuntu resolute/main ppc64el at-spi2-common all 2.59.0-1 [9774 B] 188s Get:40 http://ftpmaster.internal/ubuntu resolute/main ppc64el libisl23 ppc64el 0.27-1build1 [893 kB] 190s Get:41 http://ftpmaster.internal/ubuntu resolute/main ppc64el libmpc3 ppc64el 1.3.1-2 [62.5 kB] 190s Get:42 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15-powerpc64le-linux-gnu ppc64el 15.2.0-12ubuntu1 [11.4 MB] 210s Get:43 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15 ppc64el 15.2.0-12ubuntu1 [1038 B] 210s Get:44 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [5746 B] 210s Get:45 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp ppc64el 4:15.2.0-4ubuntu1 [22.4 kB] 210s Get:46 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcln6 ppc64el 1.3.7-1build1 [560 kB] 211s Get:47 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc4-7 ppc64el 1.8-5 [4863 kB] 219s Get:48 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libantlr3c-3.4-0 ppc64el 3.4+dfsg-4build3 [58.7 kB] 220s Get:49 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc4parser7 ppc64el 1.8-5 [398 kB] 220s Get:50 http://ftpmaster.internal/ubuntu resolute/universe ppc64el cvc4 ppc64el 1.8-5 [70.0 kB] 220s Get:51 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdconf1 ppc64el 0.49.0-4 [45.7 kB] 220s Get:52 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-service ppc64el 0.49.0-4 [31.6 kB] 220s Get:53 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-gsettings-backend ppc64el 0.49.0-4 [27.3 kB] 220s Get:54 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcc1-0 ppc64el 15.2.0-12ubuntu1 [49.0 kB] 220s Get:55 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgomp1 ppc64el 15.2.0-12ubuntu1 [169 kB] 221s Get:56 http://ftpmaster.internal/ubuntu resolute/main ppc64el libitm1 ppc64el 15.2.0-12ubuntu1 [32.2 kB] 221s Get:57 http://ftpmaster.internal/ubuntu resolute/main ppc64el libasan8 ppc64el 15.2.0-12ubuntu1 [3006 kB] 225s Get:58 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblsan0 ppc64el 15.2.0-12ubuntu1 [1374 kB] 227s Get:59 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtsan2 ppc64el 15.2.0-12ubuntu1 [2729 kB] 232s Get:60 http://ftpmaster.internal/ubuntu resolute/main ppc64el libubsan1 ppc64el 15.2.0-12ubuntu1 [1231 kB] 234s Get:61 http://ftpmaster.internal/ubuntu resolute/main ppc64el libquadmath0 ppc64el 15.2.0-12ubuntu1 [160 kB] 234s Get:62 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgcc-15-dev ppc64el 15.2.0-12ubuntu1 [1670 kB] 236s Get:63 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15-powerpc64le-linux-gnu ppc64el 15.2.0-12ubuntu1 [22.4 MB] 297s Get:64 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15 ppc64el 15.2.0-12ubuntu1 [530 kB] 298s Get:65 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [1220 B] 298s Get:66 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc ppc64el 4:15.2.0-4ubuntu1 [5032 B] 298s Get:67 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk1.0-0t64 ppc64el 2.59.0-1 [61.2 kB] 298s Get:68 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxi6 ppc64el 2:1.8.2-2 [37.0 kB] 298s Get:69 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatspi2.0-0t64 ppc64el 2.59.0-1 [103 kB] 298s Get:70 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.59.0-1 [79.4 kB] 298s Get:71 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common-data ppc64el 0.8-17ubuntu2 [31.5 kB] 298s Get:72 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common3 ppc64el 0.8-17ubuntu2 [26.3 kB] 298s Get:73 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-client3 ppc64el 0.8-17ubuntu2 [31.1 kB] 298s Get:74 http://ftpmaster.internal/ubuntu resolute/main ppc64el libc-dev-bin ppc64el 2.42-2ubuntu4 [23.9 kB] 298s Get:75 http://ftpmaster.internal/ubuntu resolute/main ppc64el linux-libc-dev ppc64el 6.19.0-3.3 [1832 kB] 301s Get:76 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcrypt-dev ppc64el 1:4.5.1-1 [162 kB] 301s Get:77 http://ftpmaster.internal/ubuntu resolute/main ppc64el rpcsvc-proto ppc64el 1.4.3-1build1 [84.2 kB] 301s Get:78 http://ftpmaster.internal/ubuntu resolute/main ppc64el libc6-dev ppc64el 2.42-2ubuntu4 [2080 kB] 305s Get:79 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml ppc64el 5.4.0-1ubuntu1 [482 kB] 306s Get:80 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-base ppc64el 5.4.0-1ubuntu1 [398 kB] 306s Get:81 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build3 [28.4 kB] 306s Get:82 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcolord2 ppc64el 1.4.8-2build1 [162 kB] 306s Get:83 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml-dev ppc64el 5.4.0-1ubuntu1 [7460 kB] 318s Get:84 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.4.0-1ubuntu1 [46.1 MB] 424s Get:85 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcups2t64 ppc64el 2.4.16-1ubuntu1 [353 kB] 425s Get:86 http://ftpmaster.internal/ubuntu resolute/main ppc64el libepoxy0 ppc64el 1.5.10-2build1 [229 kB] 425s Get:87 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-client0 ppc64el 1.24.0-2 [32.8 kB] 425s Get:88 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-cursor0 ppc64el 1.24.0-2 [11.9 kB] 425s Get:89 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-egl1 ppc64el 1.24.0-2 [6266 B] 425s Get:90 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1build1 [6874 B] 425s Get:91 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build2 [11.8 kB] 425s Get:92 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcursor1 ppc64el 1:1.2.3-1build1 [28.3 kB] 425s Get:93 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxdamage1 ppc64el 1:1.1.7-1 [6836 B] 425s Get:94 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build2 [6844 B] 425s Get:95 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrandr2 ppc64el 2:1.5.4-1build1 [21.7 kB] 425s Get:96 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 428s Get:97 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-0t64 ppc64el 3.24.50-1ubuntu2 [3552 kB] 434s Get:98 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-common all 3.24.11-7 [294 kB] 441s Get:99 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-7 [264 kB] 442s Get:100 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build5 [3831 kB] 450s Get:101 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build5 [340 kB] 450s Get:102 http://ftpmaster.internal/ubuntu resolute/main ppc64el libncurses-dev ppc64el 6.6+20251231-1 [505 kB] 451s Get:103 http://ftpmaster.internal/ubuntu resolute/main ppc64el libzstd-dev ppc64el 1.5.7+dfsg-3 [528 kB] 451s Get:104 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-interp ppc64el 5.4.0-1ubuntu1 [8772 kB] 467s Get:105 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml ppc64el 5.4.0-1ubuntu1 [21.4 MB] 504s Get:106 http://ftpmaster.internal/ubuntu resolute/universe ppc64el tex-common all 6.20 [30.0 kB] 504s Get:107 http://ftpmaster.internal/ubuntu resolute/universe ppc64el why3 ppc64el 1.8.2-3 [15.3 MB] 530s Fetched 188 MB in 6min 11s (506 kB/s) 530s Selecting previously unselected package bubblewrap. 530s (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 ... 122006 files and directories currently installed.) 530s Preparing to unpack .../000-bubblewrap_0.11.0-2build1_ppc64el.deb ... 530s Unpacking bubblewrap (0.11.0-2build1) ... 530s Selecting previously unselected package fonts-dejavu-mono. 530s Preparing to unpack .../001-fonts-dejavu-mono_2.37-8build1_all.deb ... 530s Unpacking fonts-dejavu-mono (2.37-8build1) ... 530s Selecting previously unselected package fonts-dejavu-core. 530s Preparing to unpack .../002-fonts-dejavu-core_2.37-8build1_all.deb ... 530s Unpacking fonts-dejavu-core (2.37-8build1) ... 530s Selecting previously unselected package fontconfig-config. 530s Preparing to unpack .../003-fontconfig-config_2.17.1-3ubuntu1_ppc64el.deb ... 530s Unpacking fontconfig-config (2.17.1-3ubuntu1) ... 530s Selecting previously unselected package libfontconfig1:ppc64el. 530s Preparing to unpack .../004-libfontconfig1_2.17.1-3ubuntu1_ppc64el.deb ... 530s Unpacking libfontconfig1:ppc64el (2.17.1-3ubuntu1) ... 530s Selecting previously unselected package libpixman-1-0:ppc64el. 530s Preparing to unpack .../005-libpixman-1-0_0.46.4-1_ppc64el.deb ... 530s Unpacking libpixman-1-0:ppc64el (0.46.4-1) ... 530s Selecting previously unselected package libxcb-render0:ppc64el. 530s Preparing to unpack .../006-libxcb-render0_1.17.0-2ubuntu1_ppc64el.deb ... 530s Unpacking libxcb-render0:ppc64el (1.17.0-2ubuntu1) ... 530s Selecting previously unselected package libxcb-shm0:ppc64el. 530s Preparing to unpack .../007-libxcb-shm0_1.17.0-2ubuntu1_ppc64el.deb ... 530s Unpacking libxcb-shm0:ppc64el (1.17.0-2ubuntu1) ... 530s Selecting previously unselected package libxrender1:ppc64el. 530s Preparing to unpack .../008-libxrender1_1%3a0.9.12-1_ppc64el.deb ... 530s Unpacking libxrender1:ppc64el (1:0.9.12-1) ... 530s Selecting previously unselected package libcairo2:ppc64el. 530s Preparing to unpack .../009-libcairo2_1.18.4-3_ppc64el.deb ... 530s Unpacking libcairo2:ppc64el (1.18.4-3) ... 530s Selecting previously unselected package libcairo-gobject2:ppc64el. 530s Preparing to unpack .../010-libcairo-gobject2_1.18.4-3_ppc64el.deb ... 530s Unpacking libcairo-gobject2:ppc64el (1.18.4-3) ... 531s Selecting previously unselected package libsharpyuv0:ppc64el. 531s Preparing to unpack .../011-libsharpyuv0_1.5.0-0.1build1_ppc64el.deb ... 531s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1build1) ... 531s Selecting previously unselected package libaom3:ppc64el. 531s Preparing to unpack .../012-libaom3_3.13.1-2_ppc64el.deb ... 531s Unpacking libaom3:ppc64el (3.13.1-2) ... 531s Selecting previously unselected package libheif-plugin-aomdec:ppc64el. 531s Preparing to unpack .../013-libheif-plugin-aomdec_1.21.2-1_ppc64el.deb ... 531s Unpacking libheif-plugin-aomdec:ppc64el (1.21.2-1) ... 531s Selecting previously unselected package libde265-0:ppc64el. 531s Preparing to unpack .../014-libde265-0_1.0.16-1build1_ppc64el.deb ... 531s Unpacking libde265-0:ppc64el (1.0.16-1build1) ... 531s Selecting previously unselected package libheif-plugin-libde265:ppc64el. 531s Preparing to unpack .../015-libheif-plugin-libde265_1.21.2-1_ppc64el.deb ... 531s Unpacking libheif-plugin-libde265:ppc64el (1.21.2-1) ... 531s Selecting previously unselected package libheif1:ppc64el. 531s Preparing to unpack .../016-libheif1_1.21.2-1_ppc64el.deb ... 531s Unpacking libheif1:ppc64el (1.21.2-1) ... 531s Selecting previously unselected package libhwy1t64:ppc64el. 531s Preparing to unpack .../017-libhwy1t64_1.3.0-2_ppc64el.deb ... 531s Unpacking libhwy1t64:ppc64el (1.3.0-2) ... 531s Selecting previously unselected package liblcms2-2:ppc64el. 531s Preparing to unpack .../018-liblcms2-2_2.17-1_ppc64el.deb ... 531s Unpacking liblcms2-2:ppc64el (2.17-1) ... 531s Selecting previously unselected package libjxl0.11:ppc64el. 531s Preparing to unpack .../019-libjxl0.11_0.11.1-6ubuntu1_ppc64el.deb ... 531s Unpacking libjxl0.11:ppc64el (0.11.1-6ubuntu1) ... 531s Selecting previously unselected package fontconfig. 531s Preparing to unpack .../020-fontconfig_2.17.1-3ubuntu1_ppc64el.deb ... 531s Unpacking fontconfig (2.17.1-3ubuntu1) ... 531s Selecting previously unselected package libgraphite2-3:ppc64el. 531s Preparing to unpack .../021-libgraphite2-3_1.3.14-11ubuntu1_ppc64el.deb ... 531s Unpacking libgraphite2-3:ppc64el (1.3.14-11ubuntu1) ... 531s Selecting previously unselected package libharfbuzz0b:ppc64el. 531s Preparing to unpack .../022-libharfbuzz0b_12.3.2-1_ppc64el.deb ... 531s Unpacking libharfbuzz0b:ppc64el (12.3.2-1) ... 531s Selecting previously unselected package libthai-data. 531s Preparing to unpack .../023-libthai-data_0.1.30-1_all.deb ... 531s Unpacking libthai-data (0.1.30-1) ... 531s Selecting previously unselected package libdatrie1:ppc64el. 531s Preparing to unpack .../024-libdatrie1_0.2.14-1_ppc64el.deb ... 531s Unpacking libdatrie1:ppc64el (0.2.14-1) ... 531s Selecting previously unselected package libthai0:ppc64el. 531s Preparing to unpack .../025-libthai0_0.1.30-1_ppc64el.deb ... 531s Unpacking libthai0:ppc64el (0.1.30-1) ... 531s Selecting previously unselected package libpango-1.0-0:ppc64el. 531s Preparing to unpack .../026-libpango-1.0-0_1.57.0-1_ppc64el.deb ... 531s Unpacking libpango-1.0-0:ppc64el (1.57.0-1) ... 531s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 531s Preparing to unpack .../027-libpangoft2-1.0-0_1.57.0-1_ppc64el.deb ... 531s Unpacking libpangoft2-1.0-0:ppc64el (1.57.0-1) ... 531s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 531s Preparing to unpack .../028-libpangocairo-1.0-0_1.57.0-1_ppc64el.deb ... 531s Unpacking libpangocairo-1.0-0:ppc64el (1.57.0-1) ... 531s Selecting previously unselected package librsvg2-2:ppc64el. 531s Preparing to unpack .../029-librsvg2-2_2.61.3+dfsg-3_ppc64el.deb ... 531s Unpacking librsvg2-2:ppc64el (2.61.3+dfsg-3) ... 531s Selecting previously unselected package glycin-loaders. 531s Preparing to unpack .../030-glycin-loaders_2.0.7+ds-3ubuntu1_ppc64el.deb ... 531s Unpacking glycin-loaders (2.0.7+ds-3ubuntu1) ... 531s Selecting previously unselected package glycin-thumbnailers. 531s Preparing to unpack .../031-glycin-thumbnailers_2.0.7+ds-3ubuntu1_ppc64el.deb ... 531s Unpacking glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 531s Selecting previously unselected package libgdk-pixbuf2.0-common. 531s Preparing to unpack .../032-libgdk-pixbuf2.0-common_2.44.5+dfsg-3_all.deb ... 531s Unpacking libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 531s Selecting previously unselected package libglycin-2-0:ppc64el. 531s Preparing to unpack .../033-libglycin-2-0_2.0.7+ds-3ubuntu1_ppc64el.deb ... 531s Unpacking libglycin-2-0:ppc64el (2.0.7+ds-3ubuntu1) ... 531s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 531s Preparing to unpack .../034-libgdk-pixbuf-2.0-0_2.44.5+dfsg-3_ppc64el.deb ... 531s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.44.5+dfsg-3) ... 531s Selecting previously unselected package gtk-update-icon-cache. 531s Preparing to unpack .../035-gtk-update-icon-cache_4.20.3+ds-3_ppc64el.deb ... 531s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 531s 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. 531s Unpacking gtk-update-icon-cache (4.20.3+ds-3) ... 531s Selecting previously unselected package hicolor-icon-theme. 531s Preparing to unpack .../036-hicolor-icon-theme_0.18-2build1_all.deb ... 531s Unpacking hicolor-icon-theme (0.18-2build1) ... 531s Selecting previously unselected package adwaita-icon-theme. 531s Preparing to unpack .../037-adwaita-icon-theme_49.0-1_all.deb ... 531s Unpacking adwaita-icon-theme (49.0-1) ... 531s Selecting previously unselected package at-spi2-common. 531s Preparing to unpack .../038-at-spi2-common_2.59.0-1_all.deb ... 531s Unpacking at-spi2-common (2.59.0-1) ... 531s Selecting previously unselected package libisl23:ppc64el. 531s Preparing to unpack .../039-libisl23_0.27-1build1_ppc64el.deb ... 531s Unpacking libisl23:ppc64el (0.27-1build1) ... 531s Selecting previously unselected package libmpc3:ppc64el. 531s Preparing to unpack .../040-libmpc3_1.3.1-2_ppc64el.deb ... 531s Unpacking libmpc3:ppc64el (1.3.1-2) ... 531s Selecting previously unselected package cpp-15-powerpc64le-linux-gnu. 531s Preparing to unpack .../041-cpp-15-powerpc64le-linux-gnu_15.2.0-12ubuntu1_ppc64el.deb ... 531s Unpacking cpp-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package cpp-15. 532s Preparing to unpack .../042-cpp-15_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking cpp-15 (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 532s Preparing to unpack .../043-cpp-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 532s Unpacking cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 532s Selecting previously unselected package cpp. 532s Preparing to unpack .../044-cpp_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 532s Unpacking cpp (4:15.2.0-4ubuntu1) ... 532s Selecting previously unselected package libcln6:ppc64el. 532s Preparing to unpack .../045-libcln6_1.3.7-1build1_ppc64el.deb ... 532s Unpacking libcln6:ppc64el (1.3.7-1build1) ... 532s Selecting previously unselected package libcvc4-7:ppc64el. 532s Preparing to unpack .../046-libcvc4-7_1.8-5_ppc64el.deb ... 532s Unpacking libcvc4-7:ppc64el (1.8-5) ... 532s Selecting previously unselected package libantlr3c-3.4-0:ppc64el. 532s Preparing to unpack .../047-libantlr3c-3.4-0_3.4+dfsg-4build3_ppc64el.deb ... 532s Unpacking libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build3) ... 532s Selecting previously unselected package libcvc4parser7:ppc64el. 532s Preparing to unpack .../048-libcvc4parser7_1.8-5_ppc64el.deb ... 532s Unpacking libcvc4parser7:ppc64el (1.8-5) ... 532s Selecting previously unselected package cvc4. 532s Preparing to unpack .../049-cvc4_1.8-5_ppc64el.deb ... 532s Unpacking cvc4 (1.8-5) ... 532s Selecting previously unselected package libdconf1:ppc64el. 532s Preparing to unpack .../050-libdconf1_0.49.0-4_ppc64el.deb ... 532s Unpacking libdconf1:ppc64el (0.49.0-4) ... 532s Selecting previously unselected package dconf-service. 532s Preparing to unpack .../051-dconf-service_0.49.0-4_ppc64el.deb ... 532s Unpacking dconf-service (0.49.0-4) ... 532s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 532s Preparing to unpack .../052-dconf-gsettings-backend_0.49.0-4_ppc64el.deb ... 532s Unpacking dconf-gsettings-backend:ppc64el (0.49.0-4) ... 532s Selecting previously unselected package libcc1-0:ppc64el. 532s Preparing to unpack .../053-libcc1-0_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking libcc1-0:ppc64el (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package libgomp1:ppc64el. 532s Preparing to unpack .../054-libgomp1_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking libgomp1:ppc64el (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package libitm1:ppc64el. 532s Preparing to unpack .../055-libitm1_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking libitm1:ppc64el (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package libasan8:ppc64el. 532s Preparing to unpack .../056-libasan8_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking libasan8:ppc64el (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package liblsan0:ppc64el. 532s Preparing to unpack .../057-liblsan0_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking liblsan0:ppc64el (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package libtsan2:ppc64el. 532s Preparing to unpack .../058-libtsan2_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking libtsan2:ppc64el (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package libubsan1:ppc64el. 532s Preparing to unpack .../059-libubsan1_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking libubsan1:ppc64el (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package libquadmath0:ppc64el. 532s Preparing to unpack .../060-libquadmath0_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking libquadmath0:ppc64el (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package libgcc-15-dev:ppc64el. 532s Preparing to unpack .../061-libgcc-15-dev_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking libgcc-15-dev:ppc64el (15.2.0-12ubuntu1) ... 532s Selecting previously unselected package gcc-15-powerpc64le-linux-gnu. 532s Preparing to unpack .../062-gcc-15-powerpc64le-linux-gnu_15.2.0-12ubuntu1_ppc64el.deb ... 532s Unpacking gcc-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 533s Selecting previously unselected package gcc-15. 533s Preparing to unpack .../063-gcc-15_15.2.0-12ubuntu1_ppc64el.deb ... 533s Unpacking gcc-15 (15.2.0-12ubuntu1) ... 533s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 533s Preparing to unpack .../064-gcc-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 533s Unpacking gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 533s Selecting previously unselected package gcc. 533s Preparing to unpack .../065-gcc_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 533s Unpacking gcc (4:15.2.0-4ubuntu1) ... 533s Selecting previously unselected package libatk1.0-0t64:ppc64el. 533s Preparing to unpack .../066-libatk1.0-0t64_2.59.0-1_ppc64el.deb ... 533s Unpacking libatk1.0-0t64:ppc64el (2.59.0-1) ... 533s Selecting previously unselected package libxi6:ppc64el. 533s Preparing to unpack .../067-libxi6_2%3a1.8.2-2_ppc64el.deb ... 533s Unpacking libxi6:ppc64el (2:1.8.2-2) ... 533s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 533s Preparing to unpack .../068-libatspi2.0-0t64_2.59.0-1_ppc64el.deb ... 533s Unpacking libatspi2.0-0t64:ppc64el (2.59.0-1) ... 533s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 533s Preparing to unpack .../069-libatk-bridge2.0-0t64_2.59.0-1_ppc64el.deb ... 533s Unpacking libatk-bridge2.0-0t64:ppc64el (2.59.0-1) ... 533s Selecting previously unselected package libavahi-common-data:ppc64el. 533s Preparing to unpack .../070-libavahi-common-data_0.8-17ubuntu2_ppc64el.deb ... 533s Unpacking libavahi-common-data:ppc64el (0.8-17ubuntu2) ... 533s Selecting previously unselected package libavahi-common3:ppc64el. 533s Preparing to unpack .../071-libavahi-common3_0.8-17ubuntu2_ppc64el.deb ... 533s Unpacking libavahi-common3:ppc64el (0.8-17ubuntu2) ... 533s Selecting previously unselected package libavahi-client3:ppc64el. 533s Preparing to unpack .../072-libavahi-client3_0.8-17ubuntu2_ppc64el.deb ... 533s Unpacking libavahi-client3:ppc64el (0.8-17ubuntu2) ... 533s Selecting previously unselected package libc-dev-bin. 533s Preparing to unpack .../073-libc-dev-bin_2.42-2ubuntu4_ppc64el.deb ... 533s Unpacking libc-dev-bin (2.42-2ubuntu4) ... 533s Selecting previously unselected package linux-libc-dev:ppc64el. 533s Preparing to unpack .../074-linux-libc-dev_6.19.0-3.3_ppc64el.deb ... 533s Unpacking linux-libc-dev:ppc64el (6.19.0-3.3) ... 533s Selecting previously unselected package libcrypt-dev:ppc64el. 533s Preparing to unpack .../075-libcrypt-dev_1%3a4.5.1-1_ppc64el.deb ... 533s Unpacking libcrypt-dev:ppc64el (1:4.5.1-1) ... 533s Selecting previously unselected package rpcsvc-proto. 533s Preparing to unpack .../076-rpcsvc-proto_1.4.3-1build1_ppc64el.deb ... 533s Unpacking rpcsvc-proto (1.4.3-1build1) ... 533s Selecting previously unselected package libc6-dev:ppc64el. 533s Preparing to unpack .../077-libc6-dev_2.42-2ubuntu4_ppc64el.deb ... 533s Unpacking libc6-dev:ppc64el (2.42-2ubuntu4) ... 533s Selecting previously unselected package libstdlib-ocaml. 533s Preparing to unpack .../078-libstdlib-ocaml_5.4.0-1ubuntu1_ppc64el.deb ... 533s Unpacking libstdlib-ocaml (5.4.0-1ubuntu1) ... 533s Selecting previously unselected package ocaml-base. 533s Preparing to unpack .../079-ocaml-base_5.4.0-1ubuntu1_ppc64el.deb ... 533s Unpacking ocaml-base (5.4.0-1ubuntu1) ... 533s Selecting previously unselected package libcairo2-ocaml. 533s Preparing to unpack .../080-libcairo2-ocaml_0.6.5-2build3_ppc64el.deb ... 533s Unpacking libcairo2-ocaml (0.6.5-2build3) ... 533s Selecting previously unselected package libcolord2:ppc64el. 533s Preparing to unpack .../081-libcolord2_1.4.8-2build1_ppc64el.deb ... 533s Unpacking libcolord2:ppc64el (1.4.8-2build1) ... 533s Selecting previously unselected package libstdlib-ocaml-dev. 533s Preparing to unpack .../082-libstdlib-ocaml-dev_5.4.0-1ubuntu1_ppc64el.deb ... 533s Unpacking libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 533s Selecting previously unselected package libcompiler-libs-ocaml-dev. 533s Preparing to unpack .../083-libcompiler-libs-ocaml-dev_5.4.0-1ubuntu1_ppc64el.deb ... 533s Unpacking libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 534s Selecting previously unselected package libcups2t64:ppc64el. 534s Preparing to unpack .../084-libcups2t64_2.4.16-1ubuntu1_ppc64el.deb ... 534s Unpacking libcups2t64:ppc64el (2.4.16-1ubuntu1) ... 534s Selecting previously unselected package libepoxy0:ppc64el. 534s Preparing to unpack .../085-libepoxy0_1.5.10-2build1_ppc64el.deb ... 534s Unpacking libepoxy0:ppc64el (1.5.10-2build1) ... 534s Selecting previously unselected package libwayland-client0:ppc64el. 534s Preparing to unpack .../086-libwayland-client0_1.24.0-2_ppc64el.deb ... 534s Unpacking libwayland-client0:ppc64el (1.24.0-2) ... 534s Selecting previously unselected package libwayland-cursor0:ppc64el. 534s Preparing to unpack .../087-libwayland-cursor0_1.24.0-2_ppc64el.deb ... 534s Unpacking libwayland-cursor0:ppc64el (1.24.0-2) ... 534s Selecting previously unselected package libwayland-egl1:ppc64el. 534s Preparing to unpack .../088-libwayland-egl1_1.24.0-2_ppc64el.deb ... 534s Unpacking libwayland-egl1:ppc64el (1.24.0-2) ... 535s Selecting previously unselected package libxcomposite1:ppc64el. 535s Preparing to unpack .../089-libxcomposite1_1%3a0.4.6-1build1_ppc64el.deb ... 535s Unpacking libxcomposite1:ppc64el (1:0.4.6-1build1) ... 535s Selecting previously unselected package libxfixes3:ppc64el. 535s Preparing to unpack .../090-libxfixes3_1%3a6.0.0-2build2_ppc64el.deb ... 535s Unpacking libxfixes3:ppc64el (1:6.0.0-2build2) ... 535s Selecting previously unselected package libxcursor1:ppc64el. 535s Preparing to unpack .../091-libxcursor1_1%3a1.2.3-1build1_ppc64el.deb ... 535s Unpacking libxcursor1:ppc64el (1:1.2.3-1build1) ... 535s Selecting previously unselected package libxdamage1:ppc64el. 535s Preparing to unpack .../092-libxdamage1_1%3a1.1.7-1_ppc64el.deb ... 535s Unpacking libxdamage1:ppc64el (1:1.1.7-1) ... 535s Selecting previously unselected package libxinerama1:ppc64el. 535s Preparing to unpack .../093-libxinerama1_2%3a1.1.4-3build2_ppc64el.deb ... 535s Unpacking libxinerama1:ppc64el (2:1.1.4-3build2) ... 535s Selecting previously unselected package libxrandr2:ppc64el. 535s Preparing to unpack .../094-libxrandr2_2%3a1.5.4-1build1_ppc64el.deb ... 535s Unpacking libxrandr2:ppc64el (2:1.5.4-1build1) ... 535s Selecting previously unselected package libgtk-3-common. 535s Preparing to unpack .../095-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 535s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 535s Selecting previously unselected package libgtk-3-0t64:ppc64el. 535s Preparing to unpack .../096-libgtk-3-0t64_3.24.50-1ubuntu2_ppc64el.deb ... 535s Unpacking libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 535s Selecting previously unselected package libgtksourceview-3.0-common. 535s Preparing to unpack .../097-libgtksourceview-3.0-common_3.24.11-7_all.deb ... 535s Unpacking libgtksourceview-3.0-common (3.24.11-7) ... 535s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 535s Preparing to unpack .../098-libgtksourceview-3.0-1_3.24.11-7_ppc64el.deb ... 535s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-7) ... 535s Selecting previously unselected package liblablgtk3-ocaml. 535s Preparing to unpack .../099-liblablgtk3-ocaml_3.1.5-1build5_ppc64el.deb ... 535s Unpacking liblablgtk3-ocaml (3.1.5-1build5) ... 535s Selecting previously unselected package liblablgtksourceview3-ocaml. 535s Preparing to unpack .../100-liblablgtksourceview3-ocaml_3.1.5-1build5_ppc64el.deb ... 535s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build5) ... 535s Selecting previously unselected package libncurses-dev:ppc64el. 535s Preparing to unpack .../101-libncurses-dev_6.6+20251231-1_ppc64el.deb ... 535s Unpacking libncurses-dev:ppc64el (6.6+20251231-1) ... 535s Selecting previously unselected package libzstd-dev:ppc64el. 535s Preparing to unpack .../102-libzstd-dev_1.5.7+dfsg-3_ppc64el.deb ... 535s Unpacking libzstd-dev:ppc64el (1.5.7+dfsg-3) ... 535s Selecting previously unselected package ocaml-interp. 535s Preparing to unpack .../103-ocaml-interp_5.4.0-1ubuntu1_ppc64el.deb ... 535s Unpacking ocaml-interp (5.4.0-1ubuntu1) ... 535s Selecting previously unselected package ocaml. 535s Preparing to unpack .../104-ocaml_5.4.0-1ubuntu1_ppc64el.deb ... 535s Unpacking ocaml (5.4.0-1ubuntu1) ... 536s Selecting previously unselected package tex-common. 536s Preparing to unpack .../105-tex-common_6.20_all.deb ... 536s Unpacking tex-common (6.20) ... 536s Selecting previously unselected package why3. 536s Preparing to unpack .../106-why3_1.8.2-3_ppc64el.deb ... 536s Unpacking why3 (1.8.2-3) ... 536s Setting up libhwy1t64:ppc64el (1.3.0-2) ... 536s Setting up bubblewrap (0.11.0-2build1) ... 536s Setting up libgraphite2-3:ppc64el (1.3.14-11ubuntu1) ... 536s Setting up liblcms2-2:ppc64el (2.17-1) ... 536s Setting up libpixman-1-0:ppc64el (0.46.4-1) ... 536s Setting up libsharpyuv0:ppc64el (1.5.0-0.1build1) ... 536s Setting up libaom3:ppc64el (3.13.1-2) ... 536s Setting up libcln6:ppc64el (1.3.7-1build1) ... 536s Setting up libxdamage1:ppc64el (1:1.1.7-1) ... 536s Setting up libzstd-dev:ppc64el (1.5.7+dfsg-3) ... 536s Setting up libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build3) ... 536s Setting up hicolor-icon-theme (0.18-2build1) ... 536s Setting up libxi6:ppc64el (2:1.8.2-2) ... 536s Setting up libxrender1:ppc64el (1:0.9.12-1) ... 536s Setting up libdatrie1:ppc64el (0.2.14-1) ... 536s Setting up libxcb-render0:ppc64el (1.17.0-2ubuntu1) ... 536s Setting up libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 536s Setting up linux-libc-dev:ppc64el (6.19.0-3.3) ... 536s Setting up libxcb-shm0:ppc64el (1.17.0-2ubuntu1) ... 536s Setting up libgomp1:ppc64el (15.2.0-12ubuntu1) ... 536s Setting up libcolord2:ppc64el (1.4.8-2build1) ... 536s Setting up libdconf1:ppc64el (0.49.0-4) ... 536s Setting up tex-common (6.20) ... 536s update-language: texlive-base not installed and configured, doing nothing! 536s Setting up rpcsvc-proto (1.4.3-1build1) ... 536s Setting up libepoxy0:ppc64el (1.5.10-2build1) ... 536s Setting up libxfixes3:ppc64el (1:6.0.0-2build2) ... 536s Setting up libavahi-common-data:ppc64el (0.8-17ubuntu2) ... 536s Setting up libatspi2.0-0t64:ppc64el (2.59.0-1) ... 536s Setting up libquadmath0:ppc64el (15.2.0-12ubuntu1) ... 536s Setting up libxinerama1:ppc64el (2:1.1.4-3build2) ... 536s Setting up libstdlib-ocaml (5.4.0-1ubuntu1) ... 536s Setting up fonts-dejavu-mono (2.37-8build1) ... 536s Setting up libmpc3:ppc64el (1.3.1-2) ... 536s Setting up libxrandr2:ppc64el (2:1.5.4-1build1) ... 536s Setting up ocaml-base (5.4.0-1ubuntu1) ... 536s Setting up fonts-dejavu-core (2.37-8build1) ... 537s Setting up libubsan1:ppc64el (15.2.0-12ubuntu1) ... 537s Setting up at-spi2-common (2.59.0-1) ... 537s Setting up libcrypt-dev:ppc64el (1:4.5.1-1) ... 537s Setting up libasan8:ppc64el (15.2.0-12ubuntu1) ... 537s Setting up libcvc4-7:ppc64el (1.8-5) ... 537s Setting up libgtksourceview-3.0-common (3.24.11-7) ... 537s Setting up libharfbuzz0b:ppc64el (12.3.2-1) ... 537s Setting up libthai-data (0.1.30-1) ... 537s Setting up libwayland-egl1:ppc64el (1.24.0-2) ... 537s Setting up libtsan2:ppc64el (15.2.0-12ubuntu1) ... 537s Setting up libisl23:ppc64el (0.27-1build1) ... 537s Setting up libde265-0:ppc64el (1.0.16-1build1) ... 537s Setting up libc-dev-bin (2.42-2ubuntu4) ... 537s Setting up libxcomposite1:ppc64el (1:0.4.6-1build1) ... 537s Setting up libjxl0.11:ppc64el (0.11.1-6ubuntu1) ... 537s Setting up libcc1-0:ppc64el (15.2.0-12ubuntu1) ... 537s Setting up liblsan0:ppc64el (15.2.0-12ubuntu1) ... 537s Setting up libitm1:ppc64el (15.2.0-12ubuntu1) ... 537s Setting up libwayland-client0:ppc64el (1.24.0-2) ... 537s Setting up libgcc-15-dev:ppc64el (15.2.0-12ubuntu1) ... 537s Setting up libatk1.0-0t64:ppc64el (2.59.0-1) ... 537s Setting up libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 537s Setting up fontconfig-config (2.17.1-3ubuntu1) ... 537s Setting up libxcursor1:ppc64el (1:1.2.3-1build1) ... 537s Setting up libavahi-common3:ppc64el (0.8-17ubuntu2) ... 537s Setting up dconf-service (0.49.0-4) ... 537s Setting up libthai0:ppc64el (0.1.30-1) ... 537s Setting up libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 537s Setting up cpp-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 537s Setting up ocaml-interp (5.4.0-1ubuntu1) ... 537s Setting up libcvc4parser7:ppc64el (1.8-5) ... 537s Setting up cpp-15 (15.2.0-12ubuntu1) ... 537s Setting up libwayland-cursor0:ppc64el (1.24.0-2) ... 537s Setting up libc6-dev:ppc64el (2.42-2ubuntu4) ... 537s Setting up cvc4 (1.8-5) ... 537s Setting up libfontconfig1:ppc64el (2.17.1-3ubuntu1) ... 537s Setting up libavahi-client3:ppc64el (0.8-17ubuntu2) ... 537s Setting up cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 537s Setting up libatk-bridge2.0-0t64:ppc64el (2.59.0-1) ... 537s Setting up fontconfig (2.17.1-3ubuntu1) ... 539s Regenerating fonts cache... done. 539s Setting up libncurses-dev:ppc64el (6.6+20251231-1) ... 539s Setting up dconf-gsettings-backend:ppc64el (0.49.0-4) ... 539s Setting up gcc-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 539s Setting up libpango-1.0-0:ppc64el (1.57.0-1) ... 539s Setting up libcairo2:ppc64el (1.18.4-3) ... 539s Setting up gcc-15 (15.2.0-12ubuntu1) ... 539s Setting up gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 539s Setting up cpp (4:15.2.0-4ubuntu1) ... 539s Setting up libcairo-gobject2:ppc64el (1.18.4-3) ... 539s Setting up libpangoft2-1.0-0:ppc64el (1.57.0-1) ... 539s Setting up libcups2t64:ppc64el (2.4.16-1ubuntu1) ... 539s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 539s Setting up libpangocairo-1.0-0:ppc64el (1.57.0-1) ... 539s Setting up libcairo2-ocaml (0.6.5-2build3) ... 539s Setting up gcc (4:15.2.0-4ubuntu1) ... 539s Setting up ocaml (5.4.0-1ubuntu1) ... 539s Setting up libheif-plugin-aomdec:ppc64el (1.21.2-1) ... 539s Setting up libheif-plugin-libde265:ppc64el (1.21.2-1) ... 539s Setting up libheif1:ppc64el (1.21.2-1) ... 539s Setting up librsvg2-2:ppc64el (2.61.3+dfsg-3) ... 539s Setting up glycin-loaders (2.0.7+ds-3ubuntu1) ... 539s Setting up libglycin-2-0:ppc64el (2.0.7+ds-3ubuntu1) ... 539s Setting up glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 539s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.44.5+dfsg-3) ... 539s Setting up gtk-update-icon-cache (4.20.3+ds-3) ... 539s Setting up adwaita-icon-theme (49.0-1) ... 539s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 539s Processing triggers for procps (2:4.0.4-9ubuntu1) ... 539s Processing triggers for libc-bin (2.42-2ubuntu4) ... 539s Processing triggers for systemd (259-1ubuntu3) ... 539s Processing triggers for man-db (2.13.1-1build1) ... 540s Processing triggers for libglib2.0-0t64:ppc64el (2.87.2-2) ... 540s Setting up libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 540s Setting up liblablgtk3-ocaml (3.1.5-1build5) ... 540s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-7) ... 540s Setting up liblablgtksourceview3-ocaml (3.1.5-1build5) ... 540s Setting up why3 (1.8.2-3) ... 540s Processing triggers for libc-bin (2.42-2ubuntu4) ... 541s autopkgtest [22:04:03]: test why3+cvc4: [----------------------- 542s autopkgtest [22:04:04]: test why3+cvc4: -----------------------] 542s why3+cvc4 PASS 542s autopkgtest [22:04:04]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 543s autopkgtest [22:04:05]: test why3+cvc5: preparing testbed 562s Creating nova instance adt-resolute-ppc64el-why3-20260209-215502-juju-7f2275-prod-proposed-migration-environment-20-25756c25-5839-4606-adb4-f249e52ea78b from image adt/ubuntu-resolute-ppc64el-server-20260209.img (UUID f7f31435-4cd1-4090-aa55-59cfefa097ca)... 682s autopkgtest [22:06:24]: testbed dpkg architecture: ppc64el 682s autopkgtest [22:06:24]: testbed apt version: 3.1.15 682s autopkgtest [22:06:24]: @@@@@@@@@@@@@@@@@@@@ test bed setup 683s autopkgtest [22:06:25]: testbed release detected to be: resolute 683s autopkgtest [22:06:25]: updating testbed package index (apt update) 684s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 684s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 684s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 684s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 684s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 686s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 686s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 686s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el Packages [246 kB] 687s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/universe ppc64el Packages [1534 kB] 689s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse ppc64el Packages [19.4 kB] 689s Fetched 3774 kB in 6s (670 kB/s) 690s Reading package lists... 691s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 691s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 691s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 691s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 691s Reading package lists... 692s Reading package lists... 692s Building dependency tree... 692s Reading state information... 692s Calculating upgrade... 692s The following packages will be upgraded: 692s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 692s libip6tc2 libxtables12 wget 692s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 692s Need to get 3125 kB of archives. 692s After this operation, 78.8 kB of additional disk space will be used. 692s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el iptables ppc64el 1.8.11-2ubuntu3 [464 kB] 692s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el libip4tc2 ppc64el 1.8.11-2ubuntu3 [27.8 kB] 692s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el libip6tc2 ppc64el 1.8.11-2ubuntu3 [28.2 kB] 692s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxtables12 ppc64el 1.8.11-2ubuntu3 [41.2 kB] 692s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el iproute2 ppc64el 6.18.0-1ubuntu1 [1458 kB] 695s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcryptsetup12 ppc64el 2:2.8.0-1ubuntu3 [404 kB] 695s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el wget ppc64el 1.25.0-2ubuntu4 [401 kB] 695s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el cryptsetup-bin ppc64el 2:2.8.0-1ubuntu3 [250 kB] 695s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el dracut-install ppc64el 109-11ubuntu1 [51.3 kB] 695s dpkg-preconfigure: unable to re-open stdin: No such file or directory 695s Fetched 3125 kB in 3s (1101 kB/s) 695s (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 ... 122003 files and directories currently installed.) 695s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_ppc64el.deb ... 695s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 696s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_ppc64el.deb ... 696s Unpacking libip4tc2:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 696s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_ppc64el.deb ... 696s Unpacking libip6tc2:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 696s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_ppc64el.deb ... 696s Unpacking libxtables12:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 696s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_ppc64el.deb ... 696s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 696s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_ppc64el.deb ... 696s Unpacking libcryptsetup12:ppc64el (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 696s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_ppc64el.deb ... 696s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 697s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_ppc64el.deb ... 697s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 697s Preparing to unpack .../8-dracut-install_109-11ubuntu1_ppc64el.deb ... 697s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 697s Setting up libip4tc2:ppc64el (1.8.11-2ubuntu3) ... 697s Setting up wget (1.25.0-2ubuntu4) ... 697s Setting up libip6tc2:ppc64el (1.8.11-2ubuntu3) ... 697s Setting up libxtables12:ppc64el (1.8.11-2ubuntu3) ... 697s Setting up dracut-install (109-11ubuntu1) ... 697s Setting up libcryptsetup12:ppc64el (2:2.8.0-1ubuntu3) ... 697s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 697s Setting up iptables (1.8.11-2ubuntu3) ... 697s Setting up iproute2 (6.18.0-1ubuntu1) ... 697s Processing triggers for man-db (2.13.1-1build1) ... 698s Processing triggers for install-info (7.2-5) ... 699s Processing triggers for libc-bin (2.42-2ubuntu4) ... 699s autopkgtest [22:06:41]: upgrading testbed (apt dist-upgrade and autopurge) 699s Reading package lists... 699s Building dependency tree... 699s Reading state information... 699s Calculating upgrade... 699s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 699s Reading package lists... 699s Building dependency tree... 699s Reading state information... 699s Solving dependencies... 700s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 703s Reading package lists... 703s Building dependency tree... 703s Reading state information... 703s Solving dependencies... 703s Some packages could not be installed. This may mean that you have 703s requested an impossible situation or if you are using the unstable 703s distribution that some required packages have not yet been created 703s or been moved out of Incoming. 703s The following information may help to resolve the situation: 703s 703s The following packages have unmet dependencies: 703s satisfy:command-line : Depends: why3 but it is not going to be installed 703s Depends: cvc5 (< 1.3) but it is not going to be installed 703s Depends: ocaml-native-compilers 703s E: Unable to satisfy dependencies. Reached two conflicting assignments: 703s 1. satisfy:command-line:ppc64el=1 is selected for install 703s 2. satisfy:command-line:ppc64el Depends cvc5 (< 1.3) 703s but none of the choices are installable: 703s [no choices] 703s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from resolute-proposed 704s Reading package lists... 704s Building dependency tree... 704s Reading state information... 704s Solving dependencies... 704s Some packages could not be installed. This may mean that you have 704s requested an impossible situation or if you are using the unstable 704s distribution that some required packages have not yet been created 704s or been moved out of Incoming. 704s The following information may help to resolve the situation: 704s 704s The following packages have unmet dependencies: 704s satisfy:command-line : Depends: why3 but it is not going to be installed 704s Depends: cvc5 (< 1.3) but it is not going to be installed 704s Depends: ocaml-native-compilers 704s E: Unable to satisfy dependencies. Reached two conflicting assignments: 704s 1. satisfy:command-line:ppc64el=1 is selected for install 704s 2. satisfy:command-line:ppc64el Depends cvc5 (< 1.3) 704s but none of the choices are installable: 704s [no choices] 704s autopkgtest [22:06:46]: test why3+spass: preparing testbed 704s why3+cvc5 SKIP installation fails and skip-not-installable set 723s Creating nova instance adt-resolute-ppc64el-why3-20260209-215502-juju-7f2275-prod-proposed-migration-environment-20-25756c25-5839-4606-adb4-f249e52ea78b from image adt/ubuntu-resolute-ppc64el-server-20260209.img (UUID f7f31435-4cd1-4090-aa55-59cfefa097ca)... 848s autopkgtest [22:09:10]: testbed dpkg architecture: ppc64el 848s autopkgtest [22:09:10]: testbed apt version: 3.1.15 849s autopkgtest [22:09:11]: @@@@@@@@@@@@@@@@@@@@ test bed setup 849s autopkgtest [22:09:11]: testbed release detected to be: resolute 849s autopkgtest [22:09:11]: updating testbed package index (apt update) 850s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 850s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 850s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 850s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 850s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 850s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 850s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 853s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el Packages [246 kB] 853s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/universe ppc64el Packages [1534 kB] 855s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse ppc64el Packages [19.4 kB] 856s Fetched 3774 kB in 6s (624 kB/s) 856s Reading package lists... 857s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 857s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 857s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 857s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 858s Reading package lists... 858s Reading package lists... 858s Building dependency tree... 858s Reading state information... 858s Calculating upgrade... 858s The following packages will be upgraded: 858s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 858s libip6tc2 libxtables12 wget 859s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 859s Need to get 3125 kB of archives. 859s After this operation, 78.8 kB of additional disk space will be used. 859s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el iptables ppc64el 1.8.11-2ubuntu3 [464 kB] 859s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el libip4tc2 ppc64el 1.8.11-2ubuntu3 [27.8 kB] 859s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el libip6tc2 ppc64el 1.8.11-2ubuntu3 [28.2 kB] 859s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxtables12 ppc64el 1.8.11-2ubuntu3 [41.2 kB] 859s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el iproute2 ppc64el 6.18.0-1ubuntu1 [1458 kB] 863s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcryptsetup12 ppc64el 2:2.8.0-1ubuntu3 [404 kB] 863s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el wget ppc64el 1.25.0-2ubuntu4 [401 kB] 863s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el cryptsetup-bin ppc64el 2:2.8.0-1ubuntu3 [250 kB] 863s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el dracut-install ppc64el 109-11ubuntu1 [51.3 kB] 863s dpkg-preconfigure: unable to re-open stdin: No such file or directory 864s Fetched 3125 kB in 5s (659 kB/s) 864s (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 ... 122003 files and directories currently installed.) 864s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_ppc64el.deb ... 864s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 864s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_ppc64el.deb ... 864s Unpacking libip4tc2:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 864s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_ppc64el.deb ... 864s Unpacking libip6tc2:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 864s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_ppc64el.deb ... 864s Unpacking libxtables12:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 864s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_ppc64el.deb ... 864s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 864s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_ppc64el.deb ... 864s Unpacking libcryptsetup12:ppc64el (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 864s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_ppc64el.deb ... 865s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 865s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_ppc64el.deb ... 865s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 865s Preparing to unpack .../8-dracut-install_109-11ubuntu1_ppc64el.deb ... 865s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 865s Setting up libip4tc2:ppc64el (1.8.11-2ubuntu3) ... 865s Setting up wget (1.25.0-2ubuntu4) ... 865s Setting up libip6tc2:ppc64el (1.8.11-2ubuntu3) ... 865s Setting up libxtables12:ppc64el (1.8.11-2ubuntu3) ... 865s Setting up dracut-install (109-11ubuntu1) ... 865s Setting up libcryptsetup12:ppc64el (2:2.8.0-1ubuntu3) ... 865s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 865s Setting up iptables (1.8.11-2ubuntu3) ... 865s Setting up iproute2 (6.18.0-1ubuntu1) ... 865s Processing triggers for man-db (2.13.1-1build1) ... 866s Processing triggers for install-info (7.2-5) ... 866s Processing triggers for libc-bin (2.42-2ubuntu4) ... 866s autopkgtest [22:09:28]: upgrading testbed (apt dist-upgrade and autopurge) 867s Reading package lists... 867s Building dependency tree... 867s Reading state information... 867s Calculating upgrade... 867s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 867s Reading package lists... 867s Building dependency tree... 867s Reading state information... 867s Solving dependencies... 867s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 870s Reading package lists... 870s Building dependency tree... 870s Reading state information... 870s Solving dependencies... 870s The following NEW packages will be installed: 870s adwaita-icon-theme at-spi2-common bubblewrap cpp cpp-15 870s cpp-15-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu 870s dconf-gsettings-backend dconf-service fontconfig fontconfig-config 870s fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 gcc-15-powerpc64le-linux-gnu 870s gcc-powerpc64le-linux-gnu glycin-loaders glycin-thumbnailers 870s gtk-update-icon-cache hicolor-icon-theme libaom3 libasan8 870s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 870s libavahi-common-data libavahi-common3 libc-dev-bin libc6-dev 870s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 870s libcompiler-libs-ocaml-dev libcrypt-dev libcups2t64 libdatrie1 libdconf1 870s libde265-0 libepoxy0 libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 870s libgdk-pixbuf2.0-common libglycin-2-0 libgomp1 libgraphite2-3 libgtk-3-0t64 870s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 870s libharfbuzz0b libheif-plugin-aomdec libheif-plugin-libde265 libheif1 870s libhwy1t64 libisl23 libitm1 libjxl0.11 liblablgtk3-ocaml 870s liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmpc3 libncurses-dev 870s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 870s libquadmath0 librsvg2-2 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 870s libthai-data libthai0 libtsan2 libubsan1 libwayland-client0 870s libwayland-cursor0 libwayland-egl1 libxcb-render0 libxcb-shm0 libxcomposite1 870s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 870s libxrender1 libzstd-dev linux-libc-dev ocaml ocaml-base ocaml-interp 870s rpcsvc-proto spass tex-common why3 870s 0 upgraded, 103 newly installed, 0 to remove and 0 not upgraded. 870s Need to get 182 MB of archives. 870s After this operation, 730 MB of additional disk space will be used. 870s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el bubblewrap ppc64el 0.11.0-2build1 [57.1 kB] 870s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-mono all 2.37-8build1 [502 kB] 870s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-core all 2.37-8build1 [834 kB] 873s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig-config ppc64el 2.17.1-3ubuntu1 [38.5 kB] 873s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el libfontconfig1 ppc64el 2.17.1-3ubuntu1 [193 kB] 873s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpixman-1-0 ppc64el 0.46.4-1 [347 kB] 873s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-render0 ppc64el 1.17.0-2ubuntu1 [17.4 kB] 873s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-shm0 ppc64el 1.17.0-2ubuntu1 [6072 B] 873s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrender1 ppc64el 1:0.9.12-1 [23.0 kB] 873s Get:10 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo2 ppc64el 1.18.4-3 [759 kB] 875s Get:11 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo-gobject2 ppc64el 1.18.4-3 [127 kB] 875s Get:12 http://ftpmaster.internal/ubuntu resolute/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1build1 [24.7 kB] 875s Get:13 http://ftpmaster.internal/ubuntu resolute/main ppc64el libaom3 ppc64el 3.13.1-2 [2908 kB] 883s Get:14 http://ftpmaster.internal/ubuntu resolute/main ppc64el libheif-plugin-aomdec ppc64el 1.21.2-1 [14.4 kB] 883s Get:15 http://ftpmaster.internal/ubuntu resolute/main ppc64el libde265-0 ppc64el 1.0.16-1build1 [300 kB] 883s Get:16 http://ftpmaster.internal/ubuntu resolute/main ppc64el libheif-plugin-libde265 ppc64el 1.21.2-1 [10.2 kB] 883s Get:17 http://ftpmaster.internal/ubuntu resolute/main ppc64el libheif1 ppc64el 1.21.2-1 [657 kB] 884s Get:18 http://ftpmaster.internal/ubuntu resolute/main ppc64el libhwy1t64 ppc64el 1.3.0-2 [251 kB] 884s Get:19 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblcms2-2 ppc64el 2.17-1 [246 kB] 884s Get:20 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjxl0.11 ppc64el 0.11.1-6ubuntu1 [1411 kB] 886s Get:21 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig ppc64el 2.17.1-3ubuntu1 [182 kB] 886s Get:22 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgraphite2-3 ppc64el 1.3.14-11ubuntu1 [85.3 kB] 886s Get:23 http://ftpmaster.internal/ubuntu resolute/main ppc64el libharfbuzz0b ppc64el 12.3.2-1 [663 kB] 887s Get:24 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai-data all 0.1.30-1 [155 kB] 887s Get:25 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdatrie1 ppc64el 0.2.14-1 [22.7 kB] 887s Get:26 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai0 ppc64el 0.1.30-1 [22.5 kB] 887s Get:27 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpango-1.0-0 ppc64el 1.57.0-1 [283 kB] 887s Get:28 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangoft2-1.0-0 ppc64el 1.57.0-1 [61.2 kB] 887s Get:29 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangocairo-1.0-0 ppc64el 1.57.0-1 [31.0 kB] 887s Get:30 http://ftpmaster.internal/ubuntu resolute/main ppc64el librsvg2-2 ppc64el 2.61.3+dfsg-3 [2065 kB] 891s Get:31 http://ftpmaster.internal/ubuntu resolute/main ppc64el glycin-loaders ppc64el 2.0.7+ds-3ubuntu1 [3507 kB] 897s Get:32 http://ftpmaster.internal/ubuntu resolute/main ppc64el glycin-thumbnailers ppc64el 2.0.7+ds-3ubuntu1 [1422 kB] 900s Get:33 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el libgdk-pixbuf2.0-common all 2.44.5+dfsg-3 [9206 B] 900s Get:34 http://ftpmaster.internal/ubuntu resolute/main ppc64el libglycin-2-0 ppc64el 2.0.7+ds-3ubuntu1 [1777 kB] 903s Get:35 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.44.5+dfsg-3 [136 kB] 903s Get:36 http://ftpmaster.internal/ubuntu resolute/main ppc64el gtk-update-icon-cache ppc64el 4.20.3+ds-3 [57.9 kB] 903s Get:37 http://ftpmaster.internal/ubuntu resolute/main ppc64el hicolor-icon-theme all 0.18-2build1 [13.2 kB] 903s Get:38 http://ftpmaster.internal/ubuntu resolute/main ppc64el adwaita-icon-theme all 49.0-1 [581 kB] 904s Get:39 http://ftpmaster.internal/ubuntu resolute/main ppc64el at-spi2-common all 2.59.0-1 [9774 B] 904s Get:40 http://ftpmaster.internal/ubuntu resolute/main ppc64el libisl23 ppc64el 0.27-1build1 [893 kB] 905s Get:41 http://ftpmaster.internal/ubuntu resolute/main ppc64el libmpc3 ppc64el 1.3.1-2 [62.5 kB] 905s Get:42 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15-powerpc64le-linux-gnu ppc64el 15.2.0-12ubuntu1 [11.4 MB] 930s Get:43 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15 ppc64el 15.2.0-12ubuntu1 [1038 B] 930s Get:44 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [5746 B] 930s Get:45 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp ppc64el 4:15.2.0-4ubuntu1 [22.4 kB] 930s Get:46 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdconf1 ppc64el 0.49.0-4 [45.7 kB] 930s Get:47 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-service ppc64el 0.49.0-4 [31.6 kB] 930s Get:48 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-gsettings-backend ppc64el 0.49.0-4 [27.3 kB] 930s Get:49 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcc1-0 ppc64el 15.2.0-12ubuntu1 [49.0 kB] 930s Get:50 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgomp1 ppc64el 15.2.0-12ubuntu1 [169 kB] 930s Get:51 http://ftpmaster.internal/ubuntu resolute/main ppc64el libitm1 ppc64el 15.2.0-12ubuntu1 [32.2 kB] 930s Get:52 http://ftpmaster.internal/ubuntu resolute/main ppc64el libasan8 ppc64el 15.2.0-12ubuntu1 [3006 kB] 935s Get:53 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblsan0 ppc64el 15.2.0-12ubuntu1 [1374 kB] 937s Get:54 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtsan2 ppc64el 15.2.0-12ubuntu1 [2729 kB] 942s Get:55 http://ftpmaster.internal/ubuntu resolute/main ppc64el libubsan1 ppc64el 15.2.0-12ubuntu1 [1231 kB] 944s Get:56 http://ftpmaster.internal/ubuntu resolute/main ppc64el libquadmath0 ppc64el 15.2.0-12ubuntu1 [160 kB] 944s Get:57 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgcc-15-dev ppc64el 15.2.0-12ubuntu1 [1670 kB] 946s Get:58 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15-powerpc64le-linux-gnu ppc64el 15.2.0-12ubuntu1 [22.4 MB] 986s Get:59 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15 ppc64el 15.2.0-12ubuntu1 [530 kB] 986s Get:60 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [1220 B] 986s Get:61 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc ppc64el 4:15.2.0-4ubuntu1 [5032 B] 986s Get:62 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk1.0-0t64 ppc64el 2.59.0-1 [61.2 kB] 986s Get:63 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxi6 ppc64el 2:1.8.2-2 [37.0 kB] 986s Get:64 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatspi2.0-0t64 ppc64el 2.59.0-1 [103 kB] 986s Get:65 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.59.0-1 [79.4 kB] 986s Get:66 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common-data ppc64el 0.8-17ubuntu2 [31.5 kB] 986s Get:67 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common3 ppc64el 0.8-17ubuntu2 [26.3 kB] 986s Get:68 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-client3 ppc64el 0.8-17ubuntu2 [31.1 kB] 986s Get:69 http://ftpmaster.internal/ubuntu resolute/main ppc64el libc-dev-bin ppc64el 2.42-2ubuntu4 [23.9 kB] 986s Get:70 http://ftpmaster.internal/ubuntu resolute/main ppc64el linux-libc-dev ppc64el 6.19.0-3.3 [1832 kB] 989s Get:71 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcrypt-dev ppc64el 1:4.5.1-1 [162 kB] 989s Get:72 http://ftpmaster.internal/ubuntu resolute/main ppc64el rpcsvc-proto ppc64el 1.4.3-1build1 [84.2 kB] 989s Get:73 http://ftpmaster.internal/ubuntu resolute/main ppc64el libc6-dev ppc64el 2.42-2ubuntu4 [2080 kB] 993s Get:74 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml ppc64el 5.4.0-1ubuntu1 [482 kB] 993s Get:75 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-base ppc64el 5.4.0-1ubuntu1 [398 kB] 993s Get:76 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build3 [28.4 kB] 993s Get:77 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcolord2 ppc64el 1.4.8-2build1 [162 kB] 993s Get:78 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml-dev ppc64el 5.4.0-1ubuntu1 [7460 kB] 1005s Get:79 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.4.0-1ubuntu1 [46.1 MB] 1084s Get:80 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcups2t64 ppc64el 2.4.16-1ubuntu1 [353 kB] 1084s Get:81 http://ftpmaster.internal/ubuntu resolute/main ppc64el libepoxy0 ppc64el 1.5.10-2build1 [229 kB] 1084s Get:82 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-client0 ppc64el 1.24.0-2 [32.8 kB] 1084s Get:83 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-cursor0 ppc64el 1.24.0-2 [11.9 kB] 1084s Get:84 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-egl1 ppc64el 1.24.0-2 [6266 B] 1084s Get:85 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1build1 [6874 B] 1084s Get:86 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build2 [11.8 kB] 1084s Get:87 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcursor1 ppc64el 1:1.2.3-1build1 [28.3 kB] 1084s Get:88 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxdamage1 ppc64el 1:1.1.7-1 [6836 B] 1084s Get:89 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build2 [6844 B] 1084s Get:90 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrandr2 ppc64el 2:1.5.4-1build1 [21.7 kB] 1084s Get:91 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 1087s Get:92 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-0t64 ppc64el 3.24.50-1ubuntu2 [3552 kB] 1094s Get:93 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-common all 3.24.11-7 [294 kB] 1094s Get:94 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-7 [264 kB] 1094s Get:95 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build5 [3831 kB] 1104s Get:96 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build5 [340 kB] 1104s Get:97 http://ftpmaster.internal/ubuntu resolute/main ppc64el libncurses-dev ppc64el 6.6+20251231-1 [505 kB] 1104s Get:98 http://ftpmaster.internal/ubuntu resolute/main ppc64el libzstd-dev ppc64el 1.5.7+dfsg-3 [528 kB] 1105s Get:99 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-interp ppc64el 5.4.0-1ubuntu1 [8772 kB] 1120s Get:100 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml ppc64el 5.4.0-1ubuntu1 [21.4 MB] 1176s Get:101 http://ftpmaster.internal/ubuntu resolute/universe ppc64el spass ppc64el 3.9-1.1build1 [351 kB] 1177s Get:102 http://ftpmaster.internal/ubuntu resolute/universe ppc64el tex-common all 6.20 [30.0 kB] 1177s Get:103 http://ftpmaster.internal/ubuntu resolute/universe ppc64el why3 ppc64el 1.8.2-3 [15.3 MB] 1201s Fetched 182 MB in 5min 30s (552 kB/s) 1201s Selecting previously unselected package bubblewrap. 1201s (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 ... 122006 files and directories currently installed.) 1201s Preparing to unpack .../000-bubblewrap_0.11.0-2build1_ppc64el.deb ... 1201s Unpacking bubblewrap (0.11.0-2build1) ... 1201s Selecting previously unselected package fonts-dejavu-mono. 1201s Preparing to unpack .../001-fonts-dejavu-mono_2.37-8build1_all.deb ... 1201s Unpacking fonts-dejavu-mono (2.37-8build1) ... 1201s Selecting previously unselected package fonts-dejavu-core. 1201s Preparing to unpack .../002-fonts-dejavu-core_2.37-8build1_all.deb ... 1201s Unpacking fonts-dejavu-core (2.37-8build1) ... 1201s Selecting previously unselected package fontconfig-config. 1201s Preparing to unpack .../003-fontconfig-config_2.17.1-3ubuntu1_ppc64el.deb ... 1201s Unpacking fontconfig-config (2.17.1-3ubuntu1) ... 1201s Selecting previously unselected package libfontconfig1:ppc64el. 1201s Preparing to unpack .../004-libfontconfig1_2.17.1-3ubuntu1_ppc64el.deb ... 1201s Unpacking libfontconfig1:ppc64el (2.17.1-3ubuntu1) ... 1201s Selecting previously unselected package libpixman-1-0:ppc64el. 1201s Preparing to unpack .../005-libpixman-1-0_0.46.4-1_ppc64el.deb ... 1201s Unpacking libpixman-1-0:ppc64el (0.46.4-1) ... 1201s Selecting previously unselected package libxcb-render0:ppc64el. 1201s Preparing to unpack .../006-libxcb-render0_1.17.0-2ubuntu1_ppc64el.deb ... 1201s Unpacking libxcb-render0:ppc64el (1.17.0-2ubuntu1) ... 1201s Selecting previously unselected package libxcb-shm0:ppc64el. 1201s Preparing to unpack .../007-libxcb-shm0_1.17.0-2ubuntu1_ppc64el.deb ... 1201s Unpacking libxcb-shm0:ppc64el (1.17.0-2ubuntu1) ... 1201s Selecting previously unselected package libxrender1:ppc64el. 1201s Preparing to unpack .../008-libxrender1_1%3a0.9.12-1_ppc64el.deb ... 1201s Unpacking libxrender1:ppc64el (1:0.9.12-1) ... 1201s Selecting previously unselected package libcairo2:ppc64el. 1201s Preparing to unpack .../009-libcairo2_1.18.4-3_ppc64el.deb ... 1201s Unpacking libcairo2:ppc64el (1.18.4-3) ... 1201s Selecting previously unselected package libcairo-gobject2:ppc64el. 1201s Preparing to unpack .../010-libcairo-gobject2_1.18.4-3_ppc64el.deb ... 1201s Unpacking libcairo-gobject2:ppc64el (1.18.4-3) ... 1201s Selecting previously unselected package libsharpyuv0:ppc64el. 1201s Preparing to unpack .../011-libsharpyuv0_1.5.0-0.1build1_ppc64el.deb ... 1201s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1build1) ... 1201s Selecting previously unselected package libaom3:ppc64el. 1201s Preparing to unpack .../012-libaom3_3.13.1-2_ppc64el.deb ... 1201s Unpacking libaom3:ppc64el (3.13.1-2) ... 1201s Selecting previously unselected package libheif-plugin-aomdec:ppc64el. 1201s Preparing to unpack .../013-libheif-plugin-aomdec_1.21.2-1_ppc64el.deb ... 1201s Unpacking libheif-plugin-aomdec:ppc64el (1.21.2-1) ... 1201s Selecting previously unselected package libde265-0:ppc64el. 1201s Preparing to unpack .../014-libde265-0_1.0.16-1build1_ppc64el.deb ... 1201s Unpacking libde265-0:ppc64el (1.0.16-1build1) ... 1201s Selecting previously unselected package libheif-plugin-libde265:ppc64el. 1201s Preparing to unpack .../015-libheif-plugin-libde265_1.21.2-1_ppc64el.deb ... 1201s Unpacking libheif-plugin-libde265:ppc64el (1.21.2-1) ... 1201s Selecting previously unselected package libheif1:ppc64el. 1201s Preparing to unpack .../016-libheif1_1.21.2-1_ppc64el.deb ... 1201s Unpacking libheif1:ppc64el (1.21.2-1) ... 1201s Selecting previously unselected package libhwy1t64:ppc64el. 1201s Preparing to unpack .../017-libhwy1t64_1.3.0-2_ppc64el.deb ... 1201s Unpacking libhwy1t64:ppc64el (1.3.0-2) ... 1201s Selecting previously unselected package liblcms2-2:ppc64el. 1201s Preparing to unpack .../018-liblcms2-2_2.17-1_ppc64el.deb ... 1201s Unpacking liblcms2-2:ppc64el (2.17-1) ... 1201s Selecting previously unselected package libjxl0.11:ppc64el. 1201s Preparing to unpack .../019-libjxl0.11_0.11.1-6ubuntu1_ppc64el.deb ... 1201s Unpacking libjxl0.11:ppc64el (0.11.1-6ubuntu1) ... 1202s Selecting previously unselected package fontconfig. 1202s Preparing to unpack .../020-fontconfig_2.17.1-3ubuntu1_ppc64el.deb ... 1202s Unpacking fontconfig (2.17.1-3ubuntu1) ... 1202s Selecting previously unselected package libgraphite2-3:ppc64el. 1202s Preparing to unpack .../021-libgraphite2-3_1.3.14-11ubuntu1_ppc64el.deb ... 1202s Unpacking libgraphite2-3:ppc64el (1.3.14-11ubuntu1) ... 1202s Selecting previously unselected package libharfbuzz0b:ppc64el. 1202s Preparing to unpack .../022-libharfbuzz0b_12.3.2-1_ppc64el.deb ... 1202s Unpacking libharfbuzz0b:ppc64el (12.3.2-1) ... 1202s Selecting previously unselected package libthai-data. 1202s Preparing to unpack .../023-libthai-data_0.1.30-1_all.deb ... 1202s Unpacking libthai-data (0.1.30-1) ... 1202s Selecting previously unselected package libdatrie1:ppc64el. 1202s Preparing to unpack .../024-libdatrie1_0.2.14-1_ppc64el.deb ... 1202s Unpacking libdatrie1:ppc64el (0.2.14-1) ... 1202s Selecting previously unselected package libthai0:ppc64el. 1202s Preparing to unpack .../025-libthai0_0.1.30-1_ppc64el.deb ... 1202s Unpacking libthai0:ppc64el (0.1.30-1) ... 1202s Selecting previously unselected package libpango-1.0-0:ppc64el. 1202s Preparing to unpack .../026-libpango-1.0-0_1.57.0-1_ppc64el.deb ... 1202s Unpacking libpango-1.0-0:ppc64el (1.57.0-1) ... 1202s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 1202s Preparing to unpack .../027-libpangoft2-1.0-0_1.57.0-1_ppc64el.deb ... 1202s Unpacking libpangoft2-1.0-0:ppc64el (1.57.0-1) ... 1202s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 1202s Preparing to unpack .../028-libpangocairo-1.0-0_1.57.0-1_ppc64el.deb ... 1202s Unpacking libpangocairo-1.0-0:ppc64el (1.57.0-1) ... 1202s Selecting previously unselected package librsvg2-2:ppc64el. 1202s Preparing to unpack .../029-librsvg2-2_2.61.3+dfsg-3_ppc64el.deb ... 1202s Unpacking librsvg2-2:ppc64el (2.61.3+dfsg-3) ... 1202s Selecting previously unselected package glycin-loaders. 1202s Preparing to unpack .../030-glycin-loaders_2.0.7+ds-3ubuntu1_ppc64el.deb ... 1202s Unpacking glycin-loaders (2.0.7+ds-3ubuntu1) ... 1202s Selecting previously unselected package glycin-thumbnailers. 1202s Preparing to unpack .../031-glycin-thumbnailers_2.0.7+ds-3ubuntu1_ppc64el.deb ... 1202s Unpacking glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 1202s Selecting previously unselected package libgdk-pixbuf2.0-common. 1202s Preparing to unpack .../032-libgdk-pixbuf2.0-common_2.44.5+dfsg-3_all.deb ... 1202s Unpacking libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 1202s Selecting previously unselected package libglycin-2-0:ppc64el. 1202s Preparing to unpack .../033-libglycin-2-0_2.0.7+ds-3ubuntu1_ppc64el.deb ... 1202s Unpacking libglycin-2-0:ppc64el (2.0.7+ds-3ubuntu1) ... 1202s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 1202s Preparing to unpack .../034-libgdk-pixbuf-2.0-0_2.44.5+dfsg-3_ppc64el.deb ... 1202s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.44.5+dfsg-3) ... 1202s Selecting previously unselected package gtk-update-icon-cache. 1202s Preparing to unpack .../035-gtk-update-icon-cache_4.20.3+ds-3_ppc64el.deb ... 1202s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 1202s 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. 1202s Unpacking gtk-update-icon-cache (4.20.3+ds-3) ... 1202s Selecting previously unselected package hicolor-icon-theme. 1202s Preparing to unpack .../036-hicolor-icon-theme_0.18-2build1_all.deb ... 1202s Unpacking hicolor-icon-theme (0.18-2build1) ... 1202s Selecting previously unselected package adwaita-icon-theme. 1202s Preparing to unpack .../037-adwaita-icon-theme_49.0-1_all.deb ... 1202s Unpacking adwaita-icon-theme (49.0-1) ... 1202s Selecting previously unselected package at-spi2-common. 1202s Preparing to unpack .../038-at-spi2-common_2.59.0-1_all.deb ... 1202s Unpacking at-spi2-common (2.59.0-1) ... 1202s Selecting previously unselected package libisl23:ppc64el. 1202s Preparing to unpack .../039-libisl23_0.27-1build1_ppc64el.deb ... 1202s Unpacking libisl23:ppc64el (0.27-1build1) ... 1202s Selecting previously unselected package libmpc3:ppc64el. 1202s Preparing to unpack .../040-libmpc3_1.3.1-2_ppc64el.deb ... 1202s Unpacking libmpc3:ppc64el (1.3.1-2) ... 1202s Selecting previously unselected package cpp-15-powerpc64le-linux-gnu. 1202s Preparing to unpack .../041-cpp-15-powerpc64le-linux-gnu_15.2.0-12ubuntu1_ppc64el.deb ... 1202s Unpacking cpp-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 1202s Selecting previously unselected package cpp-15. 1202s Preparing to unpack .../042-cpp-15_15.2.0-12ubuntu1_ppc64el.deb ... 1202s Unpacking cpp-15 (15.2.0-12ubuntu1) ... 1202s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 1202s Preparing to unpack .../043-cpp-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 1202s Unpacking cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 1202s Selecting previously unselected package cpp. 1202s Preparing to unpack .../044-cpp_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 1202s Unpacking cpp (4:15.2.0-4ubuntu1) ... 1202s Selecting previously unselected package libdconf1:ppc64el. 1202s Preparing to unpack .../045-libdconf1_0.49.0-4_ppc64el.deb ... 1202s Unpacking libdconf1:ppc64el (0.49.0-4) ... 1202s Selecting previously unselected package dconf-service. 1202s Preparing to unpack .../046-dconf-service_0.49.0-4_ppc64el.deb ... 1202s Unpacking dconf-service (0.49.0-4) ... 1202s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 1202s Preparing to unpack .../047-dconf-gsettings-backend_0.49.0-4_ppc64el.deb ... 1202s Unpacking dconf-gsettings-backend:ppc64el (0.49.0-4) ... 1202s Selecting previously unselected package libcc1-0:ppc64el. 1202s Preparing to unpack .../048-libcc1-0_15.2.0-12ubuntu1_ppc64el.deb ... 1202s Unpacking libcc1-0:ppc64el (15.2.0-12ubuntu1) ... 1202s Selecting previously unselected package libgomp1:ppc64el. 1202s Preparing to unpack .../049-libgomp1_15.2.0-12ubuntu1_ppc64el.deb ... 1203s Unpacking libgomp1:ppc64el (15.2.0-12ubuntu1) ... 1203s Selecting previously unselected package libitm1:ppc64el. 1203s Preparing to unpack .../050-libitm1_15.2.0-12ubuntu1_ppc64el.deb ... 1203s Unpacking libitm1:ppc64el (15.2.0-12ubuntu1) ... 1203s Selecting previously unselected package libasan8:ppc64el. 1203s Preparing to unpack .../051-libasan8_15.2.0-12ubuntu1_ppc64el.deb ... 1203s Unpacking libasan8:ppc64el (15.2.0-12ubuntu1) ... 1203s Selecting previously unselected package liblsan0:ppc64el. 1203s Preparing to unpack .../052-liblsan0_15.2.0-12ubuntu1_ppc64el.deb ... 1203s Unpacking liblsan0:ppc64el (15.2.0-12ubuntu1) ... 1203s Selecting previously unselected package libtsan2:ppc64el. 1203s Preparing to unpack .../053-libtsan2_15.2.0-12ubuntu1_ppc64el.deb ... 1203s Unpacking libtsan2:ppc64el (15.2.0-12ubuntu1) ... 1203s Selecting previously unselected package libubsan1:ppc64el. 1203s Preparing to unpack .../054-libubsan1_15.2.0-12ubuntu1_ppc64el.deb ... 1203s Unpacking libubsan1:ppc64el (15.2.0-12ubuntu1) ... 1203s Selecting previously unselected package libquadmath0:ppc64el. 1203s Preparing to unpack .../055-libquadmath0_15.2.0-12ubuntu1_ppc64el.deb ... 1203s Unpacking libquadmath0:ppc64el (15.2.0-12ubuntu1) ... 1203s Selecting previously unselected package libgcc-15-dev:ppc64el. 1203s Preparing to unpack .../056-libgcc-15-dev_15.2.0-12ubuntu1_ppc64el.deb ... 1203s Unpacking libgcc-15-dev:ppc64el (15.2.0-12ubuntu1) ... 1203s Selecting previously unselected package gcc-15-powerpc64le-linux-gnu. 1203s Preparing to unpack .../057-gcc-15-powerpc64le-linux-gnu_15.2.0-12ubuntu1_ppc64el.deb ... 1203s Unpacking gcc-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 1203s Selecting previously unselected package gcc-15. 1203s Preparing to unpack .../058-gcc-15_15.2.0-12ubuntu1_ppc64el.deb ... 1203s Unpacking gcc-15 (15.2.0-12ubuntu1) ... 1203s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 1203s Preparing to unpack .../059-gcc-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 1203s Unpacking gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 1203s Selecting previously unselected package gcc. 1203s Preparing to unpack .../060-gcc_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 1203s Unpacking gcc (4:15.2.0-4ubuntu1) ... 1203s Selecting previously unselected package libatk1.0-0t64:ppc64el. 1203s Preparing to unpack .../061-libatk1.0-0t64_2.59.0-1_ppc64el.deb ... 1203s Unpacking libatk1.0-0t64:ppc64el (2.59.0-1) ... 1203s Selecting previously unselected package libxi6:ppc64el. 1203s Preparing to unpack .../062-libxi6_2%3a1.8.2-2_ppc64el.deb ... 1203s Unpacking libxi6:ppc64el (2:1.8.2-2) ... 1203s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 1203s Preparing to unpack .../063-libatspi2.0-0t64_2.59.0-1_ppc64el.deb ... 1203s Unpacking libatspi2.0-0t64:ppc64el (2.59.0-1) ... 1203s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 1203s Preparing to unpack .../064-libatk-bridge2.0-0t64_2.59.0-1_ppc64el.deb ... 1203s Unpacking libatk-bridge2.0-0t64:ppc64el (2.59.0-1) ... 1203s Selecting previously unselected package libavahi-common-data:ppc64el. 1203s Preparing to unpack .../065-libavahi-common-data_0.8-17ubuntu2_ppc64el.deb ... 1203s Unpacking libavahi-common-data:ppc64el (0.8-17ubuntu2) ... 1203s Selecting previously unselected package libavahi-common3:ppc64el. 1203s Preparing to unpack .../066-libavahi-common3_0.8-17ubuntu2_ppc64el.deb ... 1203s Unpacking libavahi-common3:ppc64el (0.8-17ubuntu2) ... 1203s Selecting previously unselected package libavahi-client3:ppc64el. 1203s Preparing to unpack .../067-libavahi-client3_0.8-17ubuntu2_ppc64el.deb ... 1203s Unpacking libavahi-client3:ppc64el (0.8-17ubuntu2) ... 1203s Selecting previously unselected package libc-dev-bin. 1203s Preparing to unpack .../068-libc-dev-bin_2.42-2ubuntu4_ppc64el.deb ... 1203s Unpacking libc-dev-bin (2.42-2ubuntu4) ... 1203s Selecting previously unselected package linux-libc-dev:ppc64el. 1203s Preparing to unpack .../069-linux-libc-dev_6.19.0-3.3_ppc64el.deb ... 1203s Unpacking linux-libc-dev:ppc64el (6.19.0-3.3) ... 1203s Selecting previously unselected package libcrypt-dev:ppc64el. 1203s Preparing to unpack .../070-libcrypt-dev_1%3a4.5.1-1_ppc64el.deb ... 1203s Unpacking libcrypt-dev:ppc64el (1:4.5.1-1) ... 1203s Selecting previously unselected package rpcsvc-proto. 1203s Preparing to unpack .../071-rpcsvc-proto_1.4.3-1build1_ppc64el.deb ... 1203s Unpacking rpcsvc-proto (1.4.3-1build1) ... 1203s Selecting previously unselected package libc6-dev:ppc64el. 1203s Preparing to unpack .../072-libc6-dev_2.42-2ubuntu4_ppc64el.deb ... 1203s Unpacking libc6-dev:ppc64el (2.42-2ubuntu4) ... 1204s Selecting previously unselected package libstdlib-ocaml. 1204s Preparing to unpack .../073-libstdlib-ocaml_5.4.0-1ubuntu1_ppc64el.deb ... 1204s Unpacking libstdlib-ocaml (5.4.0-1ubuntu1) ... 1204s Selecting previously unselected package ocaml-base. 1204s Preparing to unpack .../074-ocaml-base_5.4.0-1ubuntu1_ppc64el.deb ... 1204s Unpacking ocaml-base (5.4.0-1ubuntu1) ... 1204s Selecting previously unselected package libcairo2-ocaml. 1204s Preparing to unpack .../075-libcairo2-ocaml_0.6.5-2build3_ppc64el.deb ... 1204s Unpacking libcairo2-ocaml (0.6.5-2build3) ... 1204s Selecting previously unselected package libcolord2:ppc64el. 1204s Preparing to unpack .../076-libcolord2_1.4.8-2build1_ppc64el.deb ... 1204s Unpacking libcolord2:ppc64el (1.4.8-2build1) ... 1204s Selecting previously unselected package libstdlib-ocaml-dev. 1204s Preparing to unpack .../077-libstdlib-ocaml-dev_5.4.0-1ubuntu1_ppc64el.deb ... 1204s Unpacking libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 1204s Selecting previously unselected package libcompiler-libs-ocaml-dev. 1204s Preparing to unpack .../078-libcompiler-libs-ocaml-dev_5.4.0-1ubuntu1_ppc64el.deb ... 1204s Unpacking libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 1205s Selecting previously unselected package libcups2t64:ppc64el. 1205s Preparing to unpack .../079-libcups2t64_2.4.16-1ubuntu1_ppc64el.deb ... 1205s Unpacking libcups2t64:ppc64el (2.4.16-1ubuntu1) ... 1205s Selecting previously unselected package libepoxy0:ppc64el. 1205s Preparing to unpack .../080-libepoxy0_1.5.10-2build1_ppc64el.deb ... 1205s Unpacking libepoxy0:ppc64el (1.5.10-2build1) ... 1205s Selecting previously unselected package libwayland-client0:ppc64el. 1205s Preparing to unpack .../081-libwayland-client0_1.24.0-2_ppc64el.deb ... 1205s Unpacking libwayland-client0:ppc64el (1.24.0-2) ... 1205s Selecting previously unselected package libwayland-cursor0:ppc64el. 1205s Preparing to unpack .../082-libwayland-cursor0_1.24.0-2_ppc64el.deb ... 1205s Unpacking libwayland-cursor0:ppc64el (1.24.0-2) ... 1205s Selecting previously unselected package libwayland-egl1:ppc64el. 1205s Preparing to unpack .../083-libwayland-egl1_1.24.0-2_ppc64el.deb ... 1205s Unpacking libwayland-egl1:ppc64el (1.24.0-2) ... 1205s Selecting previously unselected package libxcomposite1:ppc64el. 1205s Preparing to unpack .../084-libxcomposite1_1%3a0.4.6-1build1_ppc64el.deb ... 1205s Unpacking libxcomposite1:ppc64el (1:0.4.6-1build1) ... 1205s Selecting previously unselected package libxfixes3:ppc64el. 1205s Preparing to unpack .../085-libxfixes3_1%3a6.0.0-2build2_ppc64el.deb ... 1205s Unpacking libxfixes3:ppc64el (1:6.0.0-2build2) ... 1205s Selecting previously unselected package libxcursor1:ppc64el. 1205s Preparing to unpack .../086-libxcursor1_1%3a1.2.3-1build1_ppc64el.deb ... 1205s Unpacking libxcursor1:ppc64el (1:1.2.3-1build1) ... 1205s Selecting previously unselected package libxdamage1:ppc64el. 1205s Preparing to unpack .../087-libxdamage1_1%3a1.1.7-1_ppc64el.deb ... 1205s Unpacking libxdamage1:ppc64el (1:1.1.7-1) ... 1205s Selecting previously unselected package libxinerama1:ppc64el. 1205s Preparing to unpack .../088-libxinerama1_2%3a1.1.4-3build2_ppc64el.deb ... 1205s Unpacking libxinerama1:ppc64el (2:1.1.4-3build2) ... 1205s Selecting previously unselected package libxrandr2:ppc64el. 1205s Preparing to unpack .../089-libxrandr2_2%3a1.5.4-1build1_ppc64el.deb ... 1205s Unpacking libxrandr2:ppc64el (2:1.5.4-1build1) ... 1205s Selecting previously unselected package libgtk-3-common. 1205s Preparing to unpack .../090-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 1205s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 1205s Selecting previously unselected package libgtk-3-0t64:ppc64el. 1205s Preparing to unpack .../091-libgtk-3-0t64_3.24.50-1ubuntu2_ppc64el.deb ... 1205s Unpacking libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 1205s Selecting previously unselected package libgtksourceview-3.0-common. 1205s Preparing to unpack .../092-libgtksourceview-3.0-common_3.24.11-7_all.deb ... 1205s Unpacking libgtksourceview-3.0-common (3.24.11-7) ... 1205s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 1205s Preparing to unpack .../093-libgtksourceview-3.0-1_3.24.11-7_ppc64el.deb ... 1205s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-7) ... 1205s Selecting previously unselected package liblablgtk3-ocaml. 1205s Preparing to unpack .../094-liblablgtk3-ocaml_3.1.5-1build5_ppc64el.deb ... 1205s Unpacking liblablgtk3-ocaml (3.1.5-1build5) ... 1205s Selecting previously unselected package liblablgtksourceview3-ocaml. 1205s Preparing to unpack .../095-liblablgtksourceview3-ocaml_3.1.5-1build5_ppc64el.deb ... 1205s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build5) ... 1205s Selecting previously unselected package libncurses-dev:ppc64el. 1205s Preparing to unpack .../096-libncurses-dev_6.6+20251231-1_ppc64el.deb ... 1205s Unpacking libncurses-dev:ppc64el (6.6+20251231-1) ... 1205s Selecting previously unselected package libzstd-dev:ppc64el. 1205s Preparing to unpack .../097-libzstd-dev_1.5.7+dfsg-3_ppc64el.deb ... 1205s Unpacking libzstd-dev:ppc64el (1.5.7+dfsg-3) ... 1205s Selecting previously unselected package ocaml-interp. 1205s Preparing to unpack .../098-ocaml-interp_5.4.0-1ubuntu1_ppc64el.deb ... 1205s Unpacking ocaml-interp (5.4.0-1ubuntu1) ... 1206s Selecting previously unselected package ocaml. 1206s Preparing to unpack .../099-ocaml_5.4.0-1ubuntu1_ppc64el.deb ... 1206s Unpacking ocaml (5.4.0-1ubuntu1) ... 1206s Selecting previously unselected package spass. 1206s Preparing to unpack .../100-spass_3.9-1.1build1_ppc64el.deb ... 1206s Unpacking spass (3.9-1.1build1) ... 1206s Selecting previously unselected package tex-common. 1206s Preparing to unpack .../101-tex-common_6.20_all.deb ... 1206s Unpacking tex-common (6.20) ... 1206s Selecting previously unselected package why3. 1206s Preparing to unpack .../102-why3_1.8.2-3_ppc64el.deb ... 1206s Unpacking why3 (1.8.2-3) ... 1207s Setting up libhwy1t64:ppc64el (1.3.0-2) ... 1207s Setting up bubblewrap (0.11.0-2build1) ... 1207s Setting up libgraphite2-3:ppc64el (1.3.14-11ubuntu1) ... 1207s Setting up liblcms2-2:ppc64el (2.17-1) ... 1207s Setting up libpixman-1-0:ppc64el (0.46.4-1) ... 1207s Setting up libsharpyuv0:ppc64el (1.5.0-0.1build1) ... 1207s Setting up libaom3:ppc64el (3.13.1-2) ... 1207s Setting up libxdamage1:ppc64el (1:1.1.7-1) ... 1207s Setting up libzstd-dev:ppc64el (1.5.7+dfsg-3) ... 1207s Setting up hicolor-icon-theme (0.18-2build1) ... 1207s Setting up libxi6:ppc64el (2:1.8.2-2) ... 1207s Setting up libxrender1:ppc64el (1:0.9.12-1) ... 1207s Setting up libdatrie1:ppc64el (0.2.14-1) ... 1207s Setting up libxcb-render0:ppc64el (1.17.0-2ubuntu1) ... 1207s Setting up libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 1207s Setting up linux-libc-dev:ppc64el (6.19.0-3.3) ... 1207s Setting up libxcb-shm0:ppc64el (1.17.0-2ubuntu1) ... 1207s Setting up libgomp1:ppc64el (15.2.0-12ubuntu1) ... 1207s Setting up libcolord2:ppc64el (1.4.8-2build1) ... 1207s Setting up libdconf1:ppc64el (0.49.0-4) ... 1207s Setting up tex-common (6.20) ... 1207s update-language: texlive-base not installed and configured, doing nothing! 1207s Setting up rpcsvc-proto (1.4.3-1build1) ... 1207s Setting up libepoxy0:ppc64el (1.5.10-2build1) ... 1207s Setting up libxfixes3:ppc64el (1:6.0.0-2build2) ... 1207s Setting up spass (3.9-1.1build1) ... 1207s Setting up libavahi-common-data:ppc64el (0.8-17ubuntu2) ... 1207s Setting up libatspi2.0-0t64:ppc64el (2.59.0-1) ... 1207s Setting up libquadmath0:ppc64el (15.2.0-12ubuntu1) ... 1207s Setting up libxinerama1:ppc64el (2:1.1.4-3build2) ... 1207s Setting up libstdlib-ocaml (5.4.0-1ubuntu1) ... 1207s Setting up fonts-dejavu-mono (2.37-8build1) ... 1207s Setting up libmpc3:ppc64el (1.3.1-2) ... 1207s Setting up libxrandr2:ppc64el (2:1.5.4-1build1) ... 1207s Setting up ocaml-base (5.4.0-1ubuntu1) ... 1207s Setting up fonts-dejavu-core (2.37-8build1) ... 1207s Setting up libubsan1:ppc64el (15.2.0-12ubuntu1) ... 1207s Setting up at-spi2-common (2.59.0-1) ... 1207s Setting up libcrypt-dev:ppc64el (1:4.5.1-1) ... 1207s Setting up libasan8:ppc64el (15.2.0-12ubuntu1) ... 1207s Setting up libgtksourceview-3.0-common (3.24.11-7) ... 1207s Setting up libharfbuzz0b:ppc64el (12.3.2-1) ... 1207s Setting up libthai-data (0.1.30-1) ... 1207s Setting up libwayland-egl1:ppc64el (1.24.0-2) ... 1207s Setting up libtsan2:ppc64el (15.2.0-12ubuntu1) ... 1207s Setting up libisl23:ppc64el (0.27-1build1) ... 1207s Setting up libde265-0:ppc64el (1.0.16-1build1) ... 1207s Setting up libc-dev-bin (2.42-2ubuntu4) ... 1207s Setting up libxcomposite1:ppc64el (1:0.4.6-1build1) ... 1207s Setting up libjxl0.11:ppc64el (0.11.1-6ubuntu1) ... 1207s Setting up libcc1-0:ppc64el (15.2.0-12ubuntu1) ... 1207s Setting up liblsan0:ppc64el (15.2.0-12ubuntu1) ... 1207s Setting up libitm1:ppc64el (15.2.0-12ubuntu1) ... 1207s Setting up libwayland-client0:ppc64el (1.24.0-2) ... 1207s Setting up libgcc-15-dev:ppc64el (15.2.0-12ubuntu1) ... 1207s Setting up libatk1.0-0t64:ppc64el (2.59.0-1) ... 1207s Setting up libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 1207s Setting up fontconfig-config (2.17.1-3ubuntu1) ... 1207s Setting up libxcursor1:ppc64el (1:1.2.3-1build1) ... 1207s Setting up libavahi-common3:ppc64el (0.8-17ubuntu2) ... 1207s Setting up dconf-service (0.49.0-4) ... 1207s Setting up libthai0:ppc64el (0.1.30-1) ... 1207s Setting up libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 1207s Setting up cpp-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 1207s Setting up ocaml-interp (5.4.0-1ubuntu1) ... 1207s Setting up cpp-15 (15.2.0-12ubuntu1) ... 1207s Setting up libwayland-cursor0:ppc64el (1.24.0-2) ... 1207s Setting up libc6-dev:ppc64el (2.42-2ubuntu4) ... 1207s Setting up libfontconfig1:ppc64el (2.17.1-3ubuntu1) ... 1207s Setting up libavahi-client3:ppc64el (0.8-17ubuntu2) ... 1207s Setting up cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 1207s Setting up libatk-bridge2.0-0t64:ppc64el (2.59.0-1) ... 1207s Setting up fontconfig (2.17.1-3ubuntu1) ... 1209s Regenerating fonts cache... done. 1209s Setting up libncurses-dev:ppc64el (6.6+20251231-1) ... 1209s Setting up dconf-gsettings-backend:ppc64el (0.49.0-4) ... 1209s Setting up gcc-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 1209s Setting up libpango-1.0-0:ppc64el (1.57.0-1) ... 1209s Setting up libcairo2:ppc64el (1.18.4-3) ... 1209s Setting up gcc-15 (15.2.0-12ubuntu1) ... 1209s Setting up gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 1209s Setting up cpp (4:15.2.0-4ubuntu1) ... 1209s Setting up libcairo-gobject2:ppc64el (1.18.4-3) ... 1209s Setting up libpangoft2-1.0-0:ppc64el (1.57.0-1) ... 1209s Setting up libcups2t64:ppc64el (2.4.16-1ubuntu1) ... 1209s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 1209s Setting up libpangocairo-1.0-0:ppc64el (1.57.0-1) ... 1209s Setting up libcairo2-ocaml (0.6.5-2build3) ... 1209s Setting up gcc (4:15.2.0-4ubuntu1) ... 1209s Setting up ocaml (5.4.0-1ubuntu1) ... 1209s Setting up libheif-plugin-aomdec:ppc64el (1.21.2-1) ... 1209s Setting up libheif-plugin-libde265:ppc64el (1.21.2-1) ... 1209s Setting up libheif1:ppc64el (1.21.2-1) ... 1209s Setting up librsvg2-2:ppc64el (2.61.3+dfsg-3) ... 1209s Setting up glycin-loaders (2.0.7+ds-3ubuntu1) ... 1209s Setting up libglycin-2-0:ppc64el (2.0.7+ds-3ubuntu1) ... 1209s Setting up glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 1209s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.44.5+dfsg-3) ... 1209s Setting up gtk-update-icon-cache (4.20.3+ds-3) ... 1209s Setting up adwaita-icon-theme (49.0-1) ... 1209s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1209s Processing triggers for procps (2:4.0.4-9ubuntu1) ... 1209s Processing triggers for libc-bin (2.42-2ubuntu4) ... 1209s Processing triggers for systemd (259-1ubuntu3) ... 1209s Processing triggers for man-db (2.13.1-1build1) ... 1210s Processing triggers for libglib2.0-0t64:ppc64el (2.87.2-2) ... 1210s Setting up libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 1210s Setting up liblablgtk3-ocaml (3.1.5-1build5) ... 1210s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-7) ... 1210s Setting up liblablgtksourceview3-ocaml (3.1.5-1build5) ... 1210s Setting up why3 (1.8.2-3) ... 1210s Processing triggers for libc-bin (2.42-2ubuntu4) ... 1232s autopkgtest [22:15:34]: test why3+spass: [----------------------- 1232s autopkgtest [22:15:34]: test why3+spass: -----------------------] 1233s autopkgtest [22:15:35]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 1233s why3+spass PASS 1233s autopkgtest [22:15:35]: test why3+z3: preparing testbed 1252s Creating nova instance adt-resolute-ppc64el-why3-20260209-215502-juju-7f2275-prod-proposed-migration-environment-20-25756c25-5839-4606-adb4-f249e52ea78b from image adt/ubuntu-resolute-ppc64el-server-20260209.img (UUID f7f31435-4cd1-4090-aa55-59cfefa097ca)... 1379s autopkgtest [22:18:01]: testbed dpkg architecture: ppc64el 1379s autopkgtest [22:18:01]: testbed apt version: 3.1.15 1379s autopkgtest [22:18:01]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1379s autopkgtest [22:18:01]: testbed release detected to be: resolute 1380s autopkgtest [22:18:02]: updating testbed package index (apt update) 1380s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 1381s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 1381s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 1381s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 1381s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 1381s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 1385s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 1385s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el Packages [246 kB] 1385s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/universe ppc64el Packages [1534 kB] 1388s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse ppc64el Packages [19.4 kB] 1389s Fetched 3774 kB in 8s (447 kB/s) 1389s Reading package lists... 1390s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 1390s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 1390s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 1390s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 1391s Reading package lists... 1391s Reading package lists... 1391s Building dependency tree... 1391s Reading state information... 1391s Calculating upgrade... 1392s The following packages will be upgraded: 1392s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 1392s libip6tc2 libxtables12 wget 1392s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1392s Need to get 3125 kB of archives. 1392s After this operation, 78.8 kB of additional disk space will be used. 1392s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el iptables ppc64el 1.8.11-2ubuntu3 [464 kB] 1392s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el libip4tc2 ppc64el 1.8.11-2ubuntu3 [27.8 kB] 1392s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el libip6tc2 ppc64el 1.8.11-2ubuntu3 [28.2 kB] 1392s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxtables12 ppc64el 1.8.11-2ubuntu3 [41.2 kB] 1392s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el iproute2 ppc64el 6.18.0-1ubuntu1 [1458 kB] 1394s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcryptsetup12 ppc64el 2:2.8.0-1ubuntu3 [404 kB] 1394s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el wget ppc64el 1.25.0-2ubuntu4 [401 kB] 1394s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el cryptsetup-bin ppc64el 2:2.8.0-1ubuntu3 [250 kB] 1394s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el dracut-install ppc64el 109-11ubuntu1 [51.3 kB] 1394s dpkg-preconfigure: unable to re-open stdin: No such file or directory 1394s Fetched 3125 kB in 2s (1285 kB/s) 1395s (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 ... 122003 files and directories currently installed.) 1395s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_ppc64el.deb ... 1395s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 1395s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_ppc64el.deb ... 1395s Unpacking libip4tc2:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 1395s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_ppc64el.deb ... 1396s Unpacking libip6tc2:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 1396s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_ppc64el.deb ... 1396s Unpacking libxtables12:ppc64el (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 1396s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_ppc64el.deb ... 1396s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 1396s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_ppc64el.deb ... 1396s Unpacking libcryptsetup12:ppc64el (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 1396s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_ppc64el.deb ... 1396s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 1396s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_ppc64el.deb ... 1396s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 1396s Preparing to unpack .../8-dracut-install_109-11ubuntu1_ppc64el.deb ... 1396s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 1396s Setting up libip4tc2:ppc64el (1.8.11-2ubuntu3) ... 1396s Setting up wget (1.25.0-2ubuntu4) ... 1396s Setting up libip6tc2:ppc64el (1.8.11-2ubuntu3) ... 1396s Setting up libxtables12:ppc64el (1.8.11-2ubuntu3) ... 1396s Setting up dracut-install (109-11ubuntu1) ... 1396s Setting up libcryptsetup12:ppc64el (2:2.8.0-1ubuntu3) ... 1397s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 1397s Setting up iptables (1.8.11-2ubuntu3) ... 1397s Setting up iproute2 (6.18.0-1ubuntu1) ... 1397s Processing triggers for man-db (2.13.1-1build1) ... 1400s Processing triggers for install-info (7.2-5) ... 1400s Processing triggers for libc-bin (2.42-2ubuntu4) ... 1400s autopkgtest [22:18:22]: upgrading testbed (apt dist-upgrade and autopurge) 1400s Reading package lists... 1400s Building dependency tree... 1400s Reading state information... 1400s Calculating upgrade... 1401s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1401s Reading package lists... 1401s Building dependency tree... 1401s Reading state information... 1401s Solving dependencies... 1401s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1405s Reading package lists... 1405s Building dependency tree... 1405s Reading state information... 1405s Solving dependencies... 1405s The following NEW packages will be installed: 1405s adwaita-icon-theme at-spi2-common bubblewrap cpp cpp-15 1405s cpp-15-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu 1405s dconf-gsettings-backend dconf-service fontconfig fontconfig-config 1405s fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 gcc-15-powerpc64le-linux-gnu 1405s gcc-powerpc64le-linux-gnu glycin-loaders glycin-thumbnailers 1405s gtk-update-icon-cache hicolor-icon-theme libaom3 libasan8 1405s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 1405s libavahi-common-data libavahi-common3 libc-dev-bin libc6-dev 1405s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 1405s libcompiler-libs-ocaml-dev libcrypt-dev libcups2t64 libdatrie1 libdconf1 1405s libde265-0 libepoxy0 libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 1405s libgdk-pixbuf2.0-common libglycin-2-0 libgomp1 libgraphite2-3 libgtk-3-0t64 1405s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 1405s libharfbuzz0b libheif-plugin-aomdec libheif-plugin-libde265 libheif1 1405s libhwy1t64 libisl23 libitm1 libjxl0.11 liblablgtk3-ocaml 1405s liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmpc3 libncurses-dev 1405s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1405s libquadmath0 librsvg2-2 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 1405s libthai-data libthai0 libtsan2 libubsan1 libwayland-client0 1405s libwayland-cursor0 libwayland-egl1 libxcb-render0 libxcb-shm0 libxcomposite1 1405s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 1405s libxrender1 libzstd-dev linux-libc-dev ocaml ocaml-base ocaml-interp 1405s rpcsvc-proto tex-common why3 z3 1405s 0 upgraded, 103 newly installed, 0 to remove and 0 not upgraded. 1405s Need to get 189 MB of archives. 1405s After this operation, 752 MB of additional disk space will be used. 1405s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el bubblewrap ppc64el 0.11.0-2build1 [57.1 kB] 1405s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-mono all 2.37-8build1 [502 kB] 1406s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-core all 2.37-8build1 [834 kB] 1409s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig-config ppc64el 2.17.1-3ubuntu1 [38.5 kB] 1409s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el libfontconfig1 ppc64el 2.17.1-3ubuntu1 [193 kB] 1409s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpixman-1-0 ppc64el 0.46.4-1 [347 kB] 1409s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-render0 ppc64el 1.17.0-2ubuntu1 [17.4 kB] 1409s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-shm0 ppc64el 1.17.0-2ubuntu1 [6072 B] 1409s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrender1 ppc64el 1:0.9.12-1 [23.0 kB] 1409s Get:10 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo2 ppc64el 1.18.4-3 [759 kB] 1411s Get:11 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo-gobject2 ppc64el 1.18.4-3 [127 kB] 1411s Get:12 http://ftpmaster.internal/ubuntu resolute/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1build1 [24.7 kB] 1411s Get:13 http://ftpmaster.internal/ubuntu resolute/main ppc64el libaom3 ppc64el 3.13.1-2 [2908 kB] 1416s Get:14 http://ftpmaster.internal/ubuntu resolute/main ppc64el libheif-plugin-aomdec ppc64el 1.21.2-1 [14.4 kB] 1416s Get:15 http://ftpmaster.internal/ubuntu resolute/main ppc64el libde265-0 ppc64el 1.0.16-1build1 [300 kB] 1416s Get:16 http://ftpmaster.internal/ubuntu resolute/main ppc64el libheif-plugin-libde265 ppc64el 1.21.2-1 [10.2 kB] 1416s Get:17 http://ftpmaster.internal/ubuntu resolute/main ppc64el libheif1 ppc64el 1.21.2-1 [657 kB] 1417s Get:18 http://ftpmaster.internal/ubuntu resolute/main ppc64el libhwy1t64 ppc64el 1.3.0-2 [251 kB] 1417s Get:19 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblcms2-2 ppc64el 2.17-1 [246 kB] 1417s Get:20 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjxl0.11 ppc64el 0.11.1-6ubuntu1 [1411 kB] 1420s Get:21 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig ppc64el 2.17.1-3ubuntu1 [182 kB] 1420s Get:22 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgraphite2-3 ppc64el 1.3.14-11ubuntu1 [85.3 kB] 1420s Get:23 http://ftpmaster.internal/ubuntu resolute/main ppc64el libharfbuzz0b ppc64el 12.3.2-1 [663 kB] 1421s Get:24 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai-data all 0.1.30-1 [155 kB] 1421s Get:25 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdatrie1 ppc64el 0.2.14-1 [22.7 kB] 1421s Get:26 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai0 ppc64el 0.1.30-1 [22.5 kB] 1421s Get:27 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpango-1.0-0 ppc64el 1.57.0-1 [283 kB] 1421s Get:28 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangoft2-1.0-0 ppc64el 1.57.0-1 [61.2 kB] 1421s Get:29 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangocairo-1.0-0 ppc64el 1.57.0-1 [31.0 kB] 1421s Get:30 http://ftpmaster.internal/ubuntu resolute/main ppc64el librsvg2-2 ppc64el 2.61.3+dfsg-3 [2065 kB] 1425s Get:31 http://ftpmaster.internal/ubuntu resolute/main ppc64el glycin-loaders ppc64el 2.0.7+ds-3ubuntu1 [3507 kB] 1432s Get:32 http://ftpmaster.internal/ubuntu resolute/main ppc64el glycin-thumbnailers ppc64el 2.0.7+ds-3ubuntu1 [1422 kB] 1435s Get:33 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el libgdk-pixbuf2.0-common all 2.44.5+dfsg-3 [9206 B] 1435s Get:34 http://ftpmaster.internal/ubuntu resolute/main ppc64el libglycin-2-0 ppc64el 2.0.7+ds-3ubuntu1 [1777 kB] 1438s Get:35 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.44.5+dfsg-3 [136 kB] 1438s Get:36 http://ftpmaster.internal/ubuntu resolute/main ppc64el gtk-update-icon-cache ppc64el 4.20.3+ds-3 [57.9 kB] 1438s Get:37 http://ftpmaster.internal/ubuntu resolute/main ppc64el hicolor-icon-theme all 0.18-2build1 [13.2 kB] 1438s Get:38 http://ftpmaster.internal/ubuntu resolute/main ppc64el adwaita-icon-theme all 49.0-1 [581 kB] 1440s Get:39 http://ftpmaster.internal/ubuntu resolute/main ppc64el at-spi2-common all 2.59.0-1 [9774 B] 1440s Get:40 http://ftpmaster.internal/ubuntu resolute/main ppc64el libisl23 ppc64el 0.27-1build1 [893 kB] 1441s Get:41 http://ftpmaster.internal/ubuntu resolute/main ppc64el libmpc3 ppc64el 1.3.1-2 [62.5 kB] 1441s Get:42 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15-powerpc64le-linux-gnu ppc64el 15.2.0-12ubuntu1 [11.4 MB] 1467s Get:43 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15 ppc64el 15.2.0-12ubuntu1 [1038 B] 1467s Get:44 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [5746 B] 1467s Get:45 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp ppc64el 4:15.2.0-4ubuntu1 [22.4 kB] 1467s Get:46 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdconf1 ppc64el 0.49.0-4 [45.7 kB] 1467s Get:47 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-service ppc64el 0.49.0-4 [31.6 kB] 1468s Get:48 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-gsettings-backend ppc64el 0.49.0-4 [27.3 kB] 1468s Get:49 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcc1-0 ppc64el 15.2.0-12ubuntu1 [49.0 kB] 1468s Get:50 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgomp1 ppc64el 15.2.0-12ubuntu1 [169 kB] 1468s Get:51 http://ftpmaster.internal/ubuntu resolute/main ppc64el libitm1 ppc64el 15.2.0-12ubuntu1 [32.2 kB] 1468s Get:52 http://ftpmaster.internal/ubuntu resolute/main ppc64el libasan8 ppc64el 15.2.0-12ubuntu1 [3006 kB] 1474s Get:53 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblsan0 ppc64el 15.2.0-12ubuntu1 [1374 kB] 1480s Get:54 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtsan2 ppc64el 15.2.0-12ubuntu1 [2729 kB] 1486s Get:55 http://ftpmaster.internal/ubuntu resolute/main ppc64el libubsan1 ppc64el 15.2.0-12ubuntu1 [1231 kB] 1489s Get:56 http://ftpmaster.internal/ubuntu resolute/main ppc64el libquadmath0 ppc64el 15.2.0-12ubuntu1 [160 kB] 1489s Get:57 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgcc-15-dev ppc64el 15.2.0-12ubuntu1 [1670 kB] 1495s Get:58 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15-powerpc64le-linux-gnu ppc64el 15.2.0-12ubuntu1 [22.4 MB] 1591s Get:59 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15 ppc64el 15.2.0-12ubuntu1 [530 kB] 1592s Get:60 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [1220 B] 1592s Get:61 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc ppc64el 4:15.2.0-4ubuntu1 [5032 B] 1592s Get:62 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk1.0-0t64 ppc64el 2.59.0-1 [61.2 kB] 1592s Get:63 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxi6 ppc64el 2:1.8.2-2 [37.0 kB] 1592s Get:64 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatspi2.0-0t64 ppc64el 2.59.0-1 [103 kB] 1593s Get:65 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.59.0-1 [79.4 kB] 1593s Get:66 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common-data ppc64el 0.8-17ubuntu2 [31.5 kB] 1593s Get:67 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common3 ppc64el 0.8-17ubuntu2 [26.3 kB] 1593s Get:68 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-client3 ppc64el 0.8-17ubuntu2 [31.1 kB] 1593s Get:69 http://ftpmaster.internal/ubuntu resolute/main ppc64el libc-dev-bin ppc64el 2.42-2ubuntu4 [23.9 kB] 1593s Get:70 http://ftpmaster.internal/ubuntu resolute/main ppc64el linux-libc-dev ppc64el 6.19.0-3.3 [1832 kB] 1596s Get:71 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcrypt-dev ppc64el 1:4.5.1-1 [162 kB] 1596s Get:72 http://ftpmaster.internal/ubuntu resolute/main ppc64el rpcsvc-proto ppc64el 1.4.3-1build1 [84.2 kB] 1596s Get:73 http://ftpmaster.internal/ubuntu resolute/main ppc64el libc6-dev ppc64el 2.42-2ubuntu4 [2080 kB] 1601s Get:74 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml ppc64el 5.4.0-1ubuntu1 [482 kB] 1601s Get:75 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-base ppc64el 5.4.0-1ubuntu1 [398 kB] 1601s Get:76 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build3 [28.4 kB] 1601s Get:77 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcolord2 ppc64el 1.4.8-2build1 [162 kB] 1602s Get:78 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml-dev ppc64el 5.4.0-1ubuntu1 [7460 kB] 1628s Get:79 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.4.0-1ubuntu1 [46.1 MB] 1716s Get:80 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcups2t64 ppc64el 2.4.16-1ubuntu1 [353 kB] 1716s Get:81 http://ftpmaster.internal/ubuntu resolute/main ppc64el libepoxy0 ppc64el 1.5.10-2build1 [229 kB] 1716s Get:82 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-client0 ppc64el 1.24.0-2 [32.8 kB] 1716s Get:83 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-cursor0 ppc64el 1.24.0-2 [11.9 kB] 1716s Get:84 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-egl1 ppc64el 1.24.0-2 [6266 B] 1716s Get:85 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1build1 [6874 B] 1716s Get:86 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build2 [11.8 kB] 1716s Get:87 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcursor1 ppc64el 1:1.2.3-1build1 [28.3 kB] 1716s Get:88 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxdamage1 ppc64el 1:1.1.7-1 [6836 B] 1716s Get:89 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build2 [6844 B] 1716s Get:90 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrandr2 ppc64el 2:1.5.4-1build1 [21.7 kB] 1716s Get:91 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 1719s Get:92 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-0t64 ppc64el 3.24.50-1ubuntu2 [3552 kB] 1724s Get:93 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-common all 3.24.11-7 [294 kB] 1725s Get:94 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-7 [264 kB] 1725s Get:95 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build5 [3831 kB] 1731s Get:96 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build5 [340 kB] 1732s Get:97 http://ftpmaster.internal/ubuntu resolute/main ppc64el libncurses-dev ppc64el 6.6+20251231-1 [505 kB] 1732s Get:98 http://ftpmaster.internal/ubuntu resolute/main ppc64el libzstd-dev ppc64el 1.5.7+dfsg-3 [528 kB] 1733s Get:99 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-interp ppc64el 5.4.0-1ubuntu1 [8772 kB] 1748s Get:100 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml ppc64el 5.4.0-1ubuntu1 [21.4 MB] 1784s Get:101 http://ftpmaster.internal/ubuntu resolute/universe ppc64el tex-common all 6.20 [30.0 kB] 1785s Get:102 http://ftpmaster.internal/ubuntu resolute/universe ppc64el why3 ppc64el 1.8.2-3 [15.3 MB] 1817s Get:103 http://ftpmaster.internal/ubuntu resolute/universe ppc64el z3 ppc64el 4.13.3-1build1 [7309 kB] 1829s Fetched 189 MB in 7min 4s (446 kB/s) 1829s Selecting previously unselected package bubblewrap. 1829s (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 ... 122006 files and directories currently installed.) 1829s Preparing to unpack .../000-bubblewrap_0.11.0-2build1_ppc64el.deb ... 1829s Unpacking bubblewrap (0.11.0-2build1) ... 1829s Selecting previously unselected package fonts-dejavu-mono. 1829s Preparing to unpack .../001-fonts-dejavu-mono_2.37-8build1_all.deb ... 1829s Unpacking fonts-dejavu-mono (2.37-8build1) ... 1829s Selecting previously unselected package fonts-dejavu-core. 1829s Preparing to unpack .../002-fonts-dejavu-core_2.37-8build1_all.deb ... 1829s Unpacking fonts-dejavu-core (2.37-8build1) ... 1829s Selecting previously unselected package fontconfig-config. 1829s Preparing to unpack .../003-fontconfig-config_2.17.1-3ubuntu1_ppc64el.deb ... 1830s Unpacking fontconfig-config (2.17.1-3ubuntu1) ... 1830s Selecting previously unselected package libfontconfig1:ppc64el. 1830s Preparing to unpack .../004-libfontconfig1_2.17.1-3ubuntu1_ppc64el.deb ... 1830s Unpacking libfontconfig1:ppc64el (2.17.1-3ubuntu1) ... 1830s Selecting previously unselected package libpixman-1-0:ppc64el. 1830s Preparing to unpack .../005-libpixman-1-0_0.46.4-1_ppc64el.deb ... 1830s Unpacking libpixman-1-0:ppc64el (0.46.4-1) ... 1830s Selecting previously unselected package libxcb-render0:ppc64el. 1830s Preparing to unpack .../006-libxcb-render0_1.17.0-2ubuntu1_ppc64el.deb ... 1830s Unpacking libxcb-render0:ppc64el (1.17.0-2ubuntu1) ... 1830s Selecting previously unselected package libxcb-shm0:ppc64el. 1830s Preparing to unpack .../007-libxcb-shm0_1.17.0-2ubuntu1_ppc64el.deb ... 1830s Unpacking libxcb-shm0:ppc64el (1.17.0-2ubuntu1) ... 1830s Selecting previously unselected package libxrender1:ppc64el. 1830s Preparing to unpack .../008-libxrender1_1%3a0.9.12-1_ppc64el.deb ... 1830s Unpacking libxrender1:ppc64el (1:0.9.12-1) ... 1830s Selecting previously unselected package libcairo2:ppc64el. 1830s Preparing to unpack .../009-libcairo2_1.18.4-3_ppc64el.deb ... 1830s Unpacking libcairo2:ppc64el (1.18.4-3) ... 1830s Selecting previously unselected package libcairo-gobject2:ppc64el. 1830s Preparing to unpack .../010-libcairo-gobject2_1.18.4-3_ppc64el.deb ... 1830s Unpacking libcairo-gobject2:ppc64el (1.18.4-3) ... 1830s Selecting previously unselected package libsharpyuv0:ppc64el. 1830s Preparing to unpack .../011-libsharpyuv0_1.5.0-0.1build1_ppc64el.deb ... 1830s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1build1) ... 1830s Selecting previously unselected package libaom3:ppc64el. 1830s Preparing to unpack .../012-libaom3_3.13.1-2_ppc64el.deb ... 1830s Unpacking libaom3:ppc64el (3.13.1-2) ... 1830s Selecting previously unselected package libheif-plugin-aomdec:ppc64el. 1830s Preparing to unpack .../013-libheif-plugin-aomdec_1.21.2-1_ppc64el.deb ... 1830s Unpacking libheif-plugin-aomdec:ppc64el (1.21.2-1) ... 1830s Selecting previously unselected package libde265-0:ppc64el. 1830s Preparing to unpack .../014-libde265-0_1.0.16-1build1_ppc64el.deb ... 1830s Unpacking libde265-0:ppc64el (1.0.16-1build1) ... 1830s Selecting previously unselected package libheif-plugin-libde265:ppc64el. 1830s Preparing to unpack .../015-libheif-plugin-libde265_1.21.2-1_ppc64el.deb ... 1830s Unpacking libheif-plugin-libde265:ppc64el (1.21.2-1) ... 1830s Selecting previously unselected package libheif1:ppc64el. 1830s Preparing to unpack .../016-libheif1_1.21.2-1_ppc64el.deb ... 1830s Unpacking libheif1:ppc64el (1.21.2-1) ... 1830s Selecting previously unselected package libhwy1t64:ppc64el. 1830s Preparing to unpack .../017-libhwy1t64_1.3.0-2_ppc64el.deb ... 1830s Unpacking libhwy1t64:ppc64el (1.3.0-2) ... 1830s Selecting previously unselected package liblcms2-2:ppc64el. 1830s Preparing to unpack .../018-liblcms2-2_2.17-1_ppc64el.deb ... 1830s Unpacking liblcms2-2:ppc64el (2.17-1) ... 1830s Selecting previously unselected package libjxl0.11:ppc64el. 1830s Preparing to unpack .../019-libjxl0.11_0.11.1-6ubuntu1_ppc64el.deb ... 1830s Unpacking libjxl0.11:ppc64el (0.11.1-6ubuntu1) ... 1830s Selecting previously unselected package fontconfig. 1830s Preparing to unpack .../020-fontconfig_2.17.1-3ubuntu1_ppc64el.deb ... 1830s Unpacking fontconfig (2.17.1-3ubuntu1) ... 1830s Selecting previously unselected package libgraphite2-3:ppc64el. 1830s Preparing to unpack .../021-libgraphite2-3_1.3.14-11ubuntu1_ppc64el.deb ... 1830s Unpacking libgraphite2-3:ppc64el (1.3.14-11ubuntu1) ... 1830s Selecting previously unselected package libharfbuzz0b:ppc64el. 1830s Preparing to unpack .../022-libharfbuzz0b_12.3.2-1_ppc64el.deb ... 1830s Unpacking libharfbuzz0b:ppc64el (12.3.2-1) ... 1830s Selecting previously unselected package libthai-data. 1830s Preparing to unpack .../023-libthai-data_0.1.30-1_all.deb ... 1830s Unpacking libthai-data (0.1.30-1) ... 1830s Selecting previously unselected package libdatrie1:ppc64el. 1830s Preparing to unpack .../024-libdatrie1_0.2.14-1_ppc64el.deb ... 1830s Unpacking libdatrie1:ppc64el (0.2.14-1) ... 1830s Selecting previously unselected package libthai0:ppc64el. 1830s Preparing to unpack .../025-libthai0_0.1.30-1_ppc64el.deb ... 1830s Unpacking libthai0:ppc64el (0.1.30-1) ... 1830s Selecting previously unselected package libpango-1.0-0:ppc64el. 1830s Preparing to unpack .../026-libpango-1.0-0_1.57.0-1_ppc64el.deb ... 1830s Unpacking libpango-1.0-0:ppc64el (1.57.0-1) ... 1830s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 1830s Preparing to unpack .../027-libpangoft2-1.0-0_1.57.0-1_ppc64el.deb ... 1830s Unpacking libpangoft2-1.0-0:ppc64el (1.57.0-1) ... 1830s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 1830s Preparing to unpack .../028-libpangocairo-1.0-0_1.57.0-1_ppc64el.deb ... 1830s Unpacking libpangocairo-1.0-0:ppc64el (1.57.0-1) ... 1830s Selecting previously unselected package librsvg2-2:ppc64el. 1830s Preparing to unpack .../029-librsvg2-2_2.61.3+dfsg-3_ppc64el.deb ... 1830s Unpacking librsvg2-2:ppc64el (2.61.3+dfsg-3) ... 1830s Selecting previously unselected package glycin-loaders. 1830s Preparing to unpack .../030-glycin-loaders_2.0.7+ds-3ubuntu1_ppc64el.deb ... 1830s Unpacking glycin-loaders (2.0.7+ds-3ubuntu1) ... 1830s Selecting previously unselected package glycin-thumbnailers. 1830s Preparing to unpack .../031-glycin-thumbnailers_2.0.7+ds-3ubuntu1_ppc64el.deb ... 1830s Unpacking glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 1830s Selecting previously unselected package libgdk-pixbuf2.0-common. 1830s Preparing to unpack .../032-libgdk-pixbuf2.0-common_2.44.5+dfsg-3_all.deb ... 1830s Unpacking libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 1830s Selecting previously unselected package libglycin-2-0:ppc64el. 1830s Preparing to unpack .../033-libglycin-2-0_2.0.7+ds-3ubuntu1_ppc64el.deb ... 1830s Unpacking libglycin-2-0:ppc64el (2.0.7+ds-3ubuntu1) ... 1830s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 1830s Preparing to unpack .../034-libgdk-pixbuf-2.0-0_2.44.5+dfsg-3_ppc64el.deb ... 1830s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.44.5+dfsg-3) ... 1830s Selecting previously unselected package gtk-update-icon-cache. 1830s Preparing to unpack .../035-gtk-update-icon-cache_4.20.3+ds-3_ppc64el.deb ... 1830s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 1830s 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. 1830s Unpacking gtk-update-icon-cache (4.20.3+ds-3) ... 1830s Selecting previously unselected package hicolor-icon-theme. 1830s Preparing to unpack .../036-hicolor-icon-theme_0.18-2build1_all.deb ... 1830s Unpacking hicolor-icon-theme (0.18-2build1) ... 1831s Selecting previously unselected package adwaita-icon-theme. 1831s Preparing to unpack .../037-adwaita-icon-theme_49.0-1_all.deb ... 1831s Unpacking adwaita-icon-theme (49.0-1) ... 1831s Selecting previously unselected package at-spi2-common. 1831s Preparing to unpack .../038-at-spi2-common_2.59.0-1_all.deb ... 1831s Unpacking at-spi2-common (2.59.0-1) ... 1831s Selecting previously unselected package libisl23:ppc64el. 1831s Preparing to unpack .../039-libisl23_0.27-1build1_ppc64el.deb ... 1831s Unpacking libisl23:ppc64el (0.27-1build1) ... 1831s Selecting previously unselected package libmpc3:ppc64el. 1831s Preparing to unpack .../040-libmpc3_1.3.1-2_ppc64el.deb ... 1831s Unpacking libmpc3:ppc64el (1.3.1-2) ... 1831s Selecting previously unselected package cpp-15-powerpc64le-linux-gnu. 1831s Preparing to unpack .../041-cpp-15-powerpc64le-linux-gnu_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking cpp-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package cpp-15. 1831s Preparing to unpack .../042-cpp-15_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking cpp-15 (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 1831s Preparing to unpack .../043-cpp-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 1831s Unpacking cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 1831s Selecting previously unselected package cpp. 1831s Preparing to unpack .../044-cpp_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 1831s Unpacking cpp (4:15.2.0-4ubuntu1) ... 1831s Selecting previously unselected package libdconf1:ppc64el. 1831s Preparing to unpack .../045-libdconf1_0.49.0-4_ppc64el.deb ... 1831s Unpacking libdconf1:ppc64el (0.49.0-4) ... 1831s Selecting previously unselected package dconf-service. 1831s Preparing to unpack .../046-dconf-service_0.49.0-4_ppc64el.deb ... 1831s Unpacking dconf-service (0.49.0-4) ... 1831s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 1831s Preparing to unpack .../047-dconf-gsettings-backend_0.49.0-4_ppc64el.deb ... 1831s Unpacking dconf-gsettings-backend:ppc64el (0.49.0-4) ... 1831s Selecting previously unselected package libcc1-0:ppc64el. 1831s Preparing to unpack .../048-libcc1-0_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking libcc1-0:ppc64el (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package libgomp1:ppc64el. 1831s Preparing to unpack .../049-libgomp1_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking libgomp1:ppc64el (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package libitm1:ppc64el. 1831s Preparing to unpack .../050-libitm1_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking libitm1:ppc64el (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package libasan8:ppc64el. 1831s Preparing to unpack .../051-libasan8_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking libasan8:ppc64el (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package liblsan0:ppc64el. 1831s Preparing to unpack .../052-liblsan0_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking liblsan0:ppc64el (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package libtsan2:ppc64el. 1831s Preparing to unpack .../053-libtsan2_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking libtsan2:ppc64el (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package libubsan1:ppc64el. 1831s Preparing to unpack .../054-libubsan1_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking libubsan1:ppc64el (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package libquadmath0:ppc64el. 1831s Preparing to unpack .../055-libquadmath0_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking libquadmath0:ppc64el (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package libgcc-15-dev:ppc64el. 1831s Preparing to unpack .../056-libgcc-15-dev_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking libgcc-15-dev:ppc64el (15.2.0-12ubuntu1) ... 1831s Selecting previously unselected package gcc-15-powerpc64le-linux-gnu. 1831s Preparing to unpack .../057-gcc-15-powerpc64le-linux-gnu_15.2.0-12ubuntu1_ppc64el.deb ... 1831s Unpacking gcc-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 1832s Selecting previously unselected package gcc-15. 1832s Preparing to unpack .../058-gcc-15_15.2.0-12ubuntu1_ppc64el.deb ... 1832s Unpacking gcc-15 (15.2.0-12ubuntu1) ... 1832s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 1832s Preparing to unpack .../059-gcc-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 1832s Unpacking gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 1832s Selecting previously unselected package gcc. 1832s Preparing to unpack .../060-gcc_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 1832s Unpacking gcc (4:15.2.0-4ubuntu1) ... 1832s Selecting previously unselected package libatk1.0-0t64:ppc64el. 1832s Preparing to unpack .../061-libatk1.0-0t64_2.59.0-1_ppc64el.deb ... 1832s Unpacking libatk1.0-0t64:ppc64el (2.59.0-1) ... 1832s Selecting previously unselected package libxi6:ppc64el. 1832s Preparing to unpack .../062-libxi6_2%3a1.8.2-2_ppc64el.deb ... 1832s Unpacking libxi6:ppc64el (2:1.8.2-2) ... 1832s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 1832s Preparing to unpack .../063-libatspi2.0-0t64_2.59.0-1_ppc64el.deb ... 1832s Unpacking libatspi2.0-0t64:ppc64el (2.59.0-1) ... 1832s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 1832s Preparing to unpack .../064-libatk-bridge2.0-0t64_2.59.0-1_ppc64el.deb ... 1832s Unpacking libatk-bridge2.0-0t64:ppc64el (2.59.0-1) ... 1832s Selecting previously unselected package libavahi-common-data:ppc64el. 1832s Preparing to unpack .../065-libavahi-common-data_0.8-17ubuntu2_ppc64el.deb ... 1832s Unpacking libavahi-common-data:ppc64el (0.8-17ubuntu2) ... 1832s Selecting previously unselected package libavahi-common3:ppc64el. 1832s Preparing to unpack .../066-libavahi-common3_0.8-17ubuntu2_ppc64el.deb ... 1832s Unpacking libavahi-common3:ppc64el (0.8-17ubuntu2) ... 1832s Selecting previously unselected package libavahi-client3:ppc64el. 1832s Preparing to unpack .../067-libavahi-client3_0.8-17ubuntu2_ppc64el.deb ... 1832s Unpacking libavahi-client3:ppc64el (0.8-17ubuntu2) ... 1832s Selecting previously unselected package libc-dev-bin. 1832s Preparing to unpack .../068-libc-dev-bin_2.42-2ubuntu4_ppc64el.deb ... 1832s Unpacking libc-dev-bin (2.42-2ubuntu4) ... 1832s Selecting previously unselected package linux-libc-dev:ppc64el. 1832s Preparing to unpack .../069-linux-libc-dev_6.19.0-3.3_ppc64el.deb ... 1832s Unpacking linux-libc-dev:ppc64el (6.19.0-3.3) ... 1832s Selecting previously unselected package libcrypt-dev:ppc64el. 1832s Preparing to unpack .../070-libcrypt-dev_1%3a4.5.1-1_ppc64el.deb ... 1832s Unpacking libcrypt-dev:ppc64el (1:4.5.1-1) ... 1832s Selecting previously unselected package rpcsvc-proto. 1832s Preparing to unpack .../071-rpcsvc-proto_1.4.3-1build1_ppc64el.deb ... 1832s Unpacking rpcsvc-proto (1.4.3-1build1) ... 1832s Selecting previously unselected package libc6-dev:ppc64el. 1832s Preparing to unpack .../072-libc6-dev_2.42-2ubuntu4_ppc64el.deb ... 1832s Unpacking libc6-dev:ppc64el (2.42-2ubuntu4) ... 1832s Selecting previously unselected package libstdlib-ocaml. 1832s Preparing to unpack .../073-libstdlib-ocaml_5.4.0-1ubuntu1_ppc64el.deb ... 1832s Unpacking libstdlib-ocaml (5.4.0-1ubuntu1) ... 1832s Selecting previously unselected package ocaml-base. 1832s Preparing to unpack .../074-ocaml-base_5.4.0-1ubuntu1_ppc64el.deb ... 1832s Unpacking ocaml-base (5.4.0-1ubuntu1) ... 1832s Selecting previously unselected package libcairo2-ocaml. 1832s Preparing to unpack .../075-libcairo2-ocaml_0.6.5-2build3_ppc64el.deb ... 1832s Unpacking libcairo2-ocaml (0.6.5-2build3) ... 1832s Selecting previously unselected package libcolord2:ppc64el. 1832s Preparing to unpack .../076-libcolord2_1.4.8-2build1_ppc64el.deb ... 1832s Unpacking libcolord2:ppc64el (1.4.8-2build1) ... 1832s Selecting previously unselected package libstdlib-ocaml-dev. 1832s Preparing to unpack .../077-libstdlib-ocaml-dev_5.4.0-1ubuntu1_ppc64el.deb ... 1832s Unpacking libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 1832s Selecting previously unselected package libcompiler-libs-ocaml-dev. 1832s Preparing to unpack .../078-libcompiler-libs-ocaml-dev_5.4.0-1ubuntu1_ppc64el.deb ... 1832s Unpacking libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 1833s Selecting previously unselected package libcups2t64:ppc64el. 1833s Preparing to unpack .../079-libcups2t64_2.4.16-1ubuntu1_ppc64el.deb ... 1833s Unpacking libcups2t64:ppc64el (2.4.16-1ubuntu1) ... 1833s Selecting previously unselected package libepoxy0:ppc64el. 1833s Preparing to unpack .../080-libepoxy0_1.5.10-2build1_ppc64el.deb ... 1833s Unpacking libepoxy0:ppc64el (1.5.10-2build1) ... 1833s Selecting previously unselected package libwayland-client0:ppc64el. 1833s Preparing to unpack .../081-libwayland-client0_1.24.0-2_ppc64el.deb ... 1833s Unpacking libwayland-client0:ppc64el (1.24.0-2) ... 1833s Selecting previously unselected package libwayland-cursor0:ppc64el. 1833s Preparing to unpack .../082-libwayland-cursor0_1.24.0-2_ppc64el.deb ... 1833s Unpacking libwayland-cursor0:ppc64el (1.24.0-2) ... 1833s Selecting previously unselected package libwayland-egl1:ppc64el. 1833s Preparing to unpack .../083-libwayland-egl1_1.24.0-2_ppc64el.deb ... 1833s Unpacking libwayland-egl1:ppc64el (1.24.0-2) ... 1833s Selecting previously unselected package libxcomposite1:ppc64el. 1833s Preparing to unpack .../084-libxcomposite1_1%3a0.4.6-1build1_ppc64el.deb ... 1833s Unpacking libxcomposite1:ppc64el (1:0.4.6-1build1) ... 1833s Selecting previously unselected package libxfixes3:ppc64el. 1833s Preparing to unpack .../085-libxfixes3_1%3a6.0.0-2build2_ppc64el.deb ... 1833s Unpacking libxfixes3:ppc64el (1:6.0.0-2build2) ... 1833s Selecting previously unselected package libxcursor1:ppc64el. 1833s Preparing to unpack .../086-libxcursor1_1%3a1.2.3-1build1_ppc64el.deb ... 1833s Unpacking libxcursor1:ppc64el (1:1.2.3-1build1) ... 1833s Selecting previously unselected package libxdamage1:ppc64el. 1833s Preparing to unpack .../087-libxdamage1_1%3a1.1.7-1_ppc64el.deb ... 1833s Unpacking libxdamage1:ppc64el (1:1.1.7-1) ... 1834s Selecting previously unselected package libxinerama1:ppc64el. 1834s Preparing to unpack .../088-libxinerama1_2%3a1.1.4-3build2_ppc64el.deb ... 1834s Unpacking libxinerama1:ppc64el (2:1.1.4-3build2) ... 1834s Selecting previously unselected package libxrandr2:ppc64el. 1834s Preparing to unpack .../089-libxrandr2_2%3a1.5.4-1build1_ppc64el.deb ... 1834s Unpacking libxrandr2:ppc64el (2:1.5.4-1build1) ... 1834s Selecting previously unselected package libgtk-3-common. 1834s Preparing to unpack .../090-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 1834s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 1834s Selecting previously unselected package libgtk-3-0t64:ppc64el. 1834s Preparing to unpack .../091-libgtk-3-0t64_3.24.50-1ubuntu2_ppc64el.deb ... 1834s Unpacking libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 1834s Selecting previously unselected package libgtksourceview-3.0-common. 1834s Preparing to unpack .../092-libgtksourceview-3.0-common_3.24.11-7_all.deb ... 1834s Unpacking libgtksourceview-3.0-common (3.24.11-7) ... 1834s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 1834s Preparing to unpack .../093-libgtksourceview-3.0-1_3.24.11-7_ppc64el.deb ... 1834s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-7) ... 1834s Selecting previously unselected package liblablgtk3-ocaml. 1834s Preparing to unpack .../094-liblablgtk3-ocaml_3.1.5-1build5_ppc64el.deb ... 1834s Unpacking liblablgtk3-ocaml (3.1.5-1build5) ... 1834s Selecting previously unselected package liblablgtksourceview3-ocaml. 1834s Preparing to unpack .../095-liblablgtksourceview3-ocaml_3.1.5-1build5_ppc64el.deb ... 1834s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build5) ... 1834s Selecting previously unselected package libncurses-dev:ppc64el. 1834s Preparing to unpack .../096-libncurses-dev_6.6+20251231-1_ppc64el.deb ... 1834s Unpacking libncurses-dev:ppc64el (6.6+20251231-1) ... 1834s Selecting previously unselected package libzstd-dev:ppc64el. 1834s Preparing to unpack .../097-libzstd-dev_1.5.7+dfsg-3_ppc64el.deb ... 1834s Unpacking libzstd-dev:ppc64el (1.5.7+dfsg-3) ... 1834s Selecting previously unselected package ocaml-interp. 1834s Preparing to unpack .../098-ocaml-interp_5.4.0-1ubuntu1_ppc64el.deb ... 1834s Unpacking ocaml-interp (5.4.0-1ubuntu1) ... 1834s Selecting previously unselected package ocaml. 1834s Preparing to unpack .../099-ocaml_5.4.0-1ubuntu1_ppc64el.deb ... 1834s Unpacking ocaml (5.4.0-1ubuntu1) ... 1835s Selecting previously unselected package tex-common. 1835s Preparing to unpack .../100-tex-common_6.20_all.deb ... 1835s Unpacking tex-common (6.20) ... 1835s Selecting previously unselected package why3. 1835s Preparing to unpack .../101-why3_1.8.2-3_ppc64el.deb ... 1835s Unpacking why3 (1.8.2-3) ... 1835s Selecting previously unselected package z3. 1835s Preparing to unpack .../102-z3_4.13.3-1build1_ppc64el.deb ... 1835s Unpacking z3 (4.13.3-1build1) ... 1835s Setting up libhwy1t64:ppc64el (1.3.0-2) ... 1835s Setting up bubblewrap (0.11.0-2build1) ... 1835s Setting up libgraphite2-3:ppc64el (1.3.14-11ubuntu1) ... 1835s Setting up liblcms2-2:ppc64el (2.17-1) ... 1835s Setting up libpixman-1-0:ppc64el (0.46.4-1) ... 1835s Setting up libsharpyuv0:ppc64el (1.5.0-0.1build1) ... 1835s Setting up libaom3:ppc64el (3.13.1-2) ... 1835s Setting up libxdamage1:ppc64el (1:1.1.7-1) ... 1835s Setting up libzstd-dev:ppc64el (1.5.7+dfsg-3) ... 1835s Setting up hicolor-icon-theme (0.18-2build1) ... 1835s Setting up libxi6:ppc64el (2:1.8.2-2) ... 1835s Setting up libxrender1:ppc64el (1:0.9.12-1) ... 1835s Setting up libdatrie1:ppc64el (0.2.14-1) ... 1835s Setting up libxcb-render0:ppc64el (1.17.0-2ubuntu1) ... 1835s Setting up libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 1835s Setting up linux-libc-dev:ppc64el (6.19.0-3.3) ... 1835s Setting up libxcb-shm0:ppc64el (1.17.0-2ubuntu1) ... 1835s Setting up libgomp1:ppc64el (15.2.0-12ubuntu1) ... 1835s Setting up z3 (4.13.3-1build1) ... 1835s Setting up libcolord2:ppc64el (1.4.8-2build1) ... 1835s Setting up libdconf1:ppc64el (0.49.0-4) ... 1835s Setting up tex-common (6.20) ... 1835s update-language: texlive-base not installed and configured, doing nothing! 1836s Setting up rpcsvc-proto (1.4.3-1build1) ... 1836s Setting up libepoxy0:ppc64el (1.5.10-2build1) ... 1836s Setting up libxfixes3:ppc64el (1:6.0.0-2build2) ... 1836s Setting up libavahi-common-data:ppc64el (0.8-17ubuntu2) ... 1836s Setting up libatspi2.0-0t64:ppc64el (2.59.0-1) ... 1836s Setting up libquadmath0:ppc64el (15.2.0-12ubuntu1) ... 1836s Setting up libxinerama1:ppc64el (2:1.1.4-3build2) ... 1836s Setting up libstdlib-ocaml (5.4.0-1ubuntu1) ... 1836s Setting up fonts-dejavu-mono (2.37-8build1) ... 1836s Setting up libmpc3:ppc64el (1.3.1-2) ... 1836s Setting up libxrandr2:ppc64el (2:1.5.4-1build1) ... 1836s Setting up ocaml-base (5.4.0-1ubuntu1) ... 1836s Setting up fonts-dejavu-core (2.37-8build1) ... 1836s Setting up libubsan1:ppc64el (15.2.0-12ubuntu1) ... 1836s Setting up at-spi2-common (2.59.0-1) ... 1836s Setting up libcrypt-dev:ppc64el (1:4.5.1-1) ... 1836s Setting up libasan8:ppc64el (15.2.0-12ubuntu1) ... 1836s Setting up libgtksourceview-3.0-common (3.24.11-7) ... 1836s Setting up libharfbuzz0b:ppc64el (12.3.2-1) ... 1836s Setting up libthai-data (0.1.30-1) ... 1836s Setting up libwayland-egl1:ppc64el (1.24.0-2) ... 1836s Setting up libtsan2:ppc64el (15.2.0-12ubuntu1) ... 1836s Setting up libisl23:ppc64el (0.27-1build1) ... 1836s Setting up libde265-0:ppc64el (1.0.16-1build1) ... 1836s Setting up libc-dev-bin (2.42-2ubuntu4) ... 1836s Setting up libxcomposite1:ppc64el (1:0.4.6-1build1) ... 1836s Setting up libjxl0.11:ppc64el (0.11.1-6ubuntu1) ... 1836s Setting up libcc1-0:ppc64el (15.2.0-12ubuntu1) ... 1836s Setting up liblsan0:ppc64el (15.2.0-12ubuntu1) ... 1836s Setting up libitm1:ppc64el (15.2.0-12ubuntu1) ... 1836s Setting up libwayland-client0:ppc64el (1.24.0-2) ... 1836s Setting up libgcc-15-dev:ppc64el (15.2.0-12ubuntu1) ... 1836s Setting up libatk1.0-0t64:ppc64el (2.59.0-1) ... 1836s Setting up libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 1836s Setting up fontconfig-config (2.17.1-3ubuntu1) ... 1836s Setting up libxcursor1:ppc64el (1:1.2.3-1build1) ... 1836s Setting up libavahi-common3:ppc64el (0.8-17ubuntu2) ... 1836s Setting up dconf-service (0.49.0-4) ... 1836s Setting up libthai0:ppc64el (0.1.30-1) ... 1836s Setting up libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 1836s Setting up cpp-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 1836s Setting up ocaml-interp (5.4.0-1ubuntu1) ... 1836s Setting up cpp-15 (15.2.0-12ubuntu1) ... 1836s Setting up libwayland-cursor0:ppc64el (1.24.0-2) ... 1836s Setting up libc6-dev:ppc64el (2.42-2ubuntu4) ... 1836s Setting up libfontconfig1:ppc64el (2.17.1-3ubuntu1) ... 1836s Setting up libavahi-client3:ppc64el (0.8-17ubuntu2) ... 1836s Setting up cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 1836s Setting up libatk-bridge2.0-0t64:ppc64el (2.59.0-1) ... 1836s Setting up fontconfig (2.17.1-3ubuntu1) ... 1838s Regenerating fonts cache... done. 1838s Setting up libncurses-dev:ppc64el (6.6+20251231-1) ... 1838s Setting up dconf-gsettings-backend:ppc64el (0.49.0-4) ... 1838s Setting up gcc-15-powerpc64le-linux-gnu (15.2.0-12ubuntu1) ... 1838s Setting up libpango-1.0-0:ppc64el (1.57.0-1) ... 1838s Setting up libcairo2:ppc64el (1.18.4-3) ... 1838s Setting up gcc-15 (15.2.0-12ubuntu1) ... 1838s Setting up gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 1838s Setting up cpp (4:15.2.0-4ubuntu1) ... 1838s Setting up libcairo-gobject2:ppc64el (1.18.4-3) ... 1838s Setting up libpangoft2-1.0-0:ppc64el (1.57.0-1) ... 1838s Setting up libcups2t64:ppc64el (2.4.16-1ubuntu1) ... 1838s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 1838s Setting up libpangocairo-1.0-0:ppc64el (1.57.0-1) ... 1838s Setting up libcairo2-ocaml (0.6.5-2build3) ... 1838s Setting up gcc (4:15.2.0-4ubuntu1) ... 1838s Setting up ocaml (5.4.0-1ubuntu1) ... 1838s Setting up libheif-plugin-aomdec:ppc64el (1.21.2-1) ... 1838s Setting up libheif-plugin-libde265:ppc64el (1.21.2-1) ... 1838s Setting up libheif1:ppc64el (1.21.2-1) ... 1838s Setting up librsvg2-2:ppc64el (2.61.3+dfsg-3) ... 1838s Setting up glycin-loaders (2.0.7+ds-3ubuntu1) ... 1838s Setting up libglycin-2-0:ppc64el (2.0.7+ds-3ubuntu1) ... 1838s Setting up glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 1838s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.44.5+dfsg-3) ... 1838s Setting up gtk-update-icon-cache (4.20.3+ds-3) ... 1838s Setting up adwaita-icon-theme (49.0-1) ... 1838s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1838s Processing triggers for procps (2:4.0.4-9ubuntu1) ... 1838s Processing triggers for libc-bin (2.42-2ubuntu4) ... 1838s Processing triggers for systemd (259-1ubuntu3) ... 1838s Processing triggers for man-db (2.13.1-1build1) ... 1839s Processing triggers for libglib2.0-0t64:ppc64el (2.87.2-2) ... 1839s Setting up libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 1839s Setting up liblablgtk3-ocaml (3.1.5-1build5) ... 1839s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-7) ... 1839s Setting up liblablgtksourceview3-ocaml (3.1.5-1build5) ... 1839s Setting up why3 (1.8.2-3) ... 1839s Processing triggers for libc-bin (2.42-2ubuntu4) ... 1856s autopkgtest [22:25:58]: test why3+z3: [----------------------- 1858s autopkgtest [22:26:00]: test why3+z3: -----------------------] 1858s autopkgtest [22:26:00]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1858s why3+z3 PASS 1858s autopkgtest [22:26:00]: @@@@@@@@@@@@@@@@@@@@ summary 1858s why3+cvc4 PASS 1858s why3+cvc5 SKIP installation fails and skip-not-installable set 1858s why3+spass PASS 1858s why3+z3 PASS