0s autopkgtest [21:59:06]: starting date and time: 2025-10-20 21:59:06+0000 0s autopkgtest [21:59:06]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [21:59:06]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.u9k_a4f1/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:node-jquery --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=node-jquery/3.7.1+dfsg+~3.5.33-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-ppc64el-4.secgroup --name adt-resolute-ppc64el-why3-20251020-215906-juju-7f2275-prod-proposed-migration-environment-15-021b350e-6092-43bb-a4d3-cdea2351ac69 --image adt/ubuntu-resolute-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration-ppc64el -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 4s Creating nova instance adt-resolute-ppc64el-why3-20251020-215906-juju-7f2275-prod-proposed-migration-environment-15-021b350e-6092-43bb-a4d3-cdea2351ac69 from image adt/ubuntu-resolute-ppc64el-server-20251020.img (UUID 243ad32c-1bbf-485e-924d-1d24001cd7a1)... 53s autopkgtest [21:59:59]: testbed dpkg architecture: ppc64el 53s autopkgtest [21:59:59]: testbed apt version: 3.1.8ubuntu1 53s autopkgtest [21:59:59]: @@@@@@@@@@@@@@@@@@@@ test bed setup 54s autopkgtest [22:00:00]: testbed release detected to be: None 54s autopkgtest [22:00:00]: updating testbed package index (apt update) 55s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 55s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 55s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 55s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 55s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.0 kB] 55s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [683 kB] 56s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [63.1 kB] 56s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 56s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el Packages [116 kB] 56s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted ppc64el Packages [940 B] 56s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe ppc64el Packages [437 kB] 57s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse ppc64el Packages [4596 B] 57s Fetched 1409 kB in 3s (545 kB/s) 58s Reading package lists... 59s Failed to check for VM: Permission denied 59s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 59s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 59s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 59s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 60s Reading package lists... 60s Reading package lists... 60s Building dependency tree... 60s Reading state information... 60s Calculating upgrade... 60s The following packages will be upgraded: 60s libbrotli1 python3-markupsafe 60s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 60s Need to get 437 kB of archives. 60s After this operation, 68.6 kB of additional disk space will be used. 60s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el libbrotli1 ppc64el 1.1.0-2build6 [422 kB] 61s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el python3-markupsafe ppc64el 2.1.5-1build5 [14.6 kB] 61s dpkg-preconfigure: unable to re-open stdin: No such file or directory 61s Fetched 437 kB in 1s (569 kB/s) 62s (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 ... 76476 files and directories currently installed.) 62s Preparing to unpack .../libbrotli1_1.1.0-2build6_ppc64el.deb ... 62s Unpacking libbrotli1:ppc64el (1.1.0-2build6) over (1.1.0-2build5) ... 62s Preparing to unpack .../python3-markupsafe_2.1.5-1build5_ppc64el.deb ... 62s Unpacking python3-markupsafe (2.1.5-1build5) over (2.1.5-1build4) ... 62s Setting up libbrotli1:ppc64el (1.1.0-2build6) ... 62s Setting up python3-markupsafe (2.1.5-1build5) ... 62s Processing triggers for libc-bin (2.42-0ubuntu3) ... 62s autopkgtest [22:00:08]: upgrading testbed (apt dist-upgrade and autopurge) 62s Reading package lists... 62s Building dependency tree... 62s Reading state information... 63s Calculating upgrade... 63s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 63s Reading package lists... 63s Building dependency tree... 63s Reading state information... 63s Solving dependencies... 63s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 66s autopkgtest [22:00:12]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 22 10:02:41 UTC 2025 66s autopkgtest [22:00:12]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 76s Get:1 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (dsc) [2671 B] 76s Get:2 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (tar) [6645 kB] 76s Get:3 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (diff) [19.5 kB] 76s gpgv: Signature made Tue Sep 23 20:42:25 2025 UTC 76s gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF 76s gpgv: Can't check signature: No public key 76s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.2-1.dsc: no acceptable signature found 77s autopkgtest [22:00:23]: testing package why3 version 1.8.2-1 78s autopkgtest [22:00:24]: build not needed 80s autopkgtest [22:00:26]: test why3+cvc4: preparing testbed 80s Reading package lists... 80s Building dependency tree... 80s Reading state information... 80s Solving dependencies... 81s The following NEW packages will be installed: 81s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-powerpc64le-linux-gnu 81s cpp-powerpc64le-linux-gnu cvc4 dconf-gsettings-backend dconf-service 81s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 81s gcc-15-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 81s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 81s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 81s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 81s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 81s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 81s libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 81s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 81s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 81s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 81s liblcms2-2 liblerc4 liblsan0 libmpc3 libncurses-dev libpango-1.0-0 81s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libquadmath0 81s libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 81s libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 81s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 81s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 81s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 81s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 81s Need to get 170 MB of archives. 81s After this operation, 557 MB of additional disk space will be used. 81s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 81s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-4ubuntu2 [215 kB] 81s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 81s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdeflate0 ppc64el 1.23-2 [63.3 kB] 81s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 81s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 82s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 82s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 82s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtiff6 ppc64el 4.7.0-3ubuntu3 [307 kB] 83s Get:10 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-5 [195 kB] 83s Get:11 http://ftpmaster.internal/ubuntu resolute/main ppc64el gtk-update-icon-cache ppc64el 4.20.1+ds-2 [57.6 kB] 83s Get:12 http://ftpmaster.internal/ubuntu resolute/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 83s Get:13 http://ftpmaster.internal/ubuntu resolute/main ppc64el adwaita-icon-theme all 49.0-1 [581 kB] 84s Get:14 http://ftpmaster.internal/ubuntu resolute/main ppc64el at-spi2-common all 2.57.1-1 [9432 B] 84s Get:15 http://ftpmaster.internal/ubuntu resolute/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 85s Get:16 http://ftpmaster.internal/ubuntu resolute/main ppc64el libmpc3 ppc64el 1.3.1-1build3 [62.6 kB] 85s Get:17 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [11.4 MB] 97s Get:18 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15 ppc64el 15.2.0-5ubuntu1 [1036 B] 97s Get:19 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [5746 B] 97s Get:20 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp ppc64el 4:15.2.0-4ubuntu1 [22.4 kB] 97s Get:21 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 98s Get:22 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc4-7 ppc64el 1.8-3build2 [4746 kB] 102s Get:23 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libantlr3c-3.4-0 ppc64el 3.4+dfsg-4build2 [60.7 kB] 102s Get:24 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc4parser7 ppc64el 1.8-3build2 [383 kB] 102s Get:25 http://ftpmaster.internal/ubuntu resolute/universe ppc64el cvc4 ppc64el 1.8-3build2 [76.6 kB] 102s Get:26 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdconf1 ppc64el 0.40.0-5willsync1 [45.0 kB] 102s Get:27 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-service ppc64el 0.40.0-5willsync1 [31.4 kB] 102s Get:28 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5willsync1 [27.3 kB] 102s Get:29 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 103s Get:30 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 104s Get:31 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig-config ppc64el 2.15.0-2.3ubuntu1 [38.1 kB] 104s Get:32 http://ftpmaster.internal/ubuntu resolute/main ppc64el libfontconfig1 ppc64el 2.15.0-2.3ubuntu1 [188 kB] 104s Get:33 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig ppc64el 2.15.0-2.3ubuntu1 [192 kB] 104s Get:34 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcc1-0 ppc64el 15.2.0-5ubuntu1 [49.0 kB] 104s Get:35 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgomp1 ppc64el 15.2.0-5ubuntu1 [169 kB] 104s Get:36 http://ftpmaster.internal/ubuntu resolute/main ppc64el libitm1 ppc64el 15.2.0-5ubuntu1 [32.3 kB] 104s Get:37 http://ftpmaster.internal/ubuntu resolute/main ppc64el libasan8 ppc64el 15.2.0-5ubuntu1 [3006 kB] 107s Get:38 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblsan0 ppc64el 15.2.0-5ubuntu1 [1374 kB] 109s Get:39 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtsan2 ppc64el 15.2.0-5ubuntu1 [2729 kB] 111s Get:40 http://ftpmaster.internal/ubuntu resolute/main ppc64el libubsan1 ppc64el 15.2.0-5ubuntu1 [1231 kB] 112s Get:41 http://ftpmaster.internal/ubuntu resolute/main ppc64el libquadmath0 ppc64el 15.2.0-5ubuntu1 [160 kB] 112s Get:42 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgcc-15-dev ppc64el 15.2.0-5ubuntu1 [1670 kB] 114s Get:43 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [22.4 MB] 139s Get:44 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15 ppc64el 15.2.0-5ubuntu1 [523 kB] 140s Get:45 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [1220 B] 140s Get:46 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc ppc64el 4:15.2.0-4ubuntu1 [5032 B] 140s Get:47 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk1.0-0t64 ppc64el 2.57.1-1 [60.8 kB] 140s Get:48 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 140s Get:49 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatspi2.0-0t64 ppc64el 2.57.1-1 [102 kB] 140s Get:50 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.57.1-1 [78.9 kB] 140s Get:51 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common-data ppc64el 0.8-16ubuntu3 [31.1 kB] 140s Get:52 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common3 ppc64el 0.8-16ubuntu3 [26.3 kB] 140s Get:53 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-client3 ppc64el 0.8-16ubuntu3 [31.1 kB] 140s Get:54 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 141s Get:55 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-render0 ppc64el 1.17.0-2build1 [17.2 kB] 141s Get:56 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-shm0 ppc64el 1.17.0-2build1 [6078 B] 141s Get:57 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrender1 ppc64el 1:0.9.12-1 [23.0 kB] 141s Get:58 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo2 ppc64el 1.18.4-1build1 [759 kB] 141s Get:59 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo-gobject2 ppc64el 1.18.4-1build1 [128 kB] 142s Get:60 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml ppc64el 5.3.0-3 [463 kB] 142s Get:61 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-base ppc64el 5.3.0-3 [382 kB] 142s Get:62 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build2 [28.7 kB] 142s Get:63 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 143s Get:64 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcolord2 ppc64el 1.4.7-3build1 [162 kB] 143s Get:65 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml-dev ppc64el 5.3.0-3 [8005 kB] 151s Get:66 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.3.0-3 [48.2 MB] 207s Get:67 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcups2t64 ppc64el 2.4.12-0ubuntu3 [352 kB] 207s Get:68 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdatrie1 ppc64el 0.2.13-4 [22.2 kB] 207s Get:69 http://ftpmaster.internal/ubuntu resolute/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 208s Get:70 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 208s Get:71 http://ftpmaster.internal/ubuntu resolute/main ppc64el libharfbuzz0b ppc64el 12.1.0-1 [679 kB] 209s Get:72 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 209s Get:73 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 209s Get:74 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpango-1.0-0 ppc64el 1.56.3-1build1 [282 kB] 209s Get:75 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.3-1build1 [59.1 kB] 209s Get:76 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.3-1build1 [31.0 kB] 209s Get:77 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-client0 ppc64el 1.24.0-1build1 [32.9 kB] 209s Get:78 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-cursor0 ppc64el 1.24.0-1build1 [12.0 kB] 209s Get:79 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-egl1 ppc64el 1.24.0-1build1 [6350 B] 209s Get:80 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 209s Get:81 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 209s Get:82 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 209s Get:83 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 209s Get:84 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 209s Get:85 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 209s Get:86 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 211s Get:87 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-0t64 ppc64el 3.24.50-1ubuntu2 [3552 kB] 214s Get:88 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 215s Get:89 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-5 [264 kB] 215s Get:90 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build4 [3594 kB] 219s Get:91 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build4 [331 kB] 219s Get:92 http://ftpmaster.internal/ubuntu resolute/main ppc64el libncurses-dev ppc64el 6.5+20250216-2build1 [504 kB] 219s Get:93 http://ftpmaster.internal/ubuntu resolute/main ppc64el libzstd-dev ppc64el 1.5.7+dfsg-1build2 [528 kB] 220s Get:94 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-interp ppc64el 5.3.0-3 [8365 kB] 227s Get:95 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml ppc64el 5.3.0-3 [20.7 MB] 250s Get:96 http://ftpmaster.internal/ubuntu resolute/universe ppc64el tex-common all 6.19 [29.8 kB] 250s Get:97 http://ftpmaster.internal/ubuntu resolute/universe ppc64el why3 ppc64el 1.8.2-1 [13.7 MB] 263s Fetched 170 MB in 3min 2s (933 kB/s) 263s Selecting previously unselected package libgdk-pixbuf2.0-common. 263s (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 ... 76477 files and directories currently installed.) 263s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 263s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 263s Selecting previously unselected package libjpeg-turbo8:ppc64el. 263s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_ppc64el.deb ... 263s Unpacking libjpeg-turbo8:ppc64el (2.1.5-4ubuntu2) ... 263s Selecting previously unselected package libjpeg8:ppc64el. 263s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 263s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 263s Selecting previously unselected package libdeflate0:ppc64el. 263s Preparing to unpack .../03-libdeflate0_1.23-2_ppc64el.deb ... 263s Unpacking libdeflate0:ppc64el (1.23-2) ... 263s Selecting previously unselected package libjbig0:ppc64el. 263s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 263s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 263s Selecting previously unselected package liblerc4:ppc64el. 263s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 263s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 263s Selecting previously unselected package libsharpyuv0:ppc64el. 263s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 263s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 263s Selecting previously unselected package libwebp7:ppc64el. 263s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 263s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 263s Selecting previously unselected package libtiff6:ppc64el. 263s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_ppc64el.deb ... 263s Unpacking libtiff6:ppc64el (4.7.0-3ubuntu3) ... 263s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 263s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_ppc64el.deb ... 263s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-5) ... 263s Selecting previously unselected package gtk-update-icon-cache. 263s Preparing to unpack .../10-gtk-update-icon-cache_4.20.1+ds-2_ppc64el.deb ... 263s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 263s 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. 263s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 263s Selecting previously unselected package hicolor-icon-theme. 263s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 263s Unpacking hicolor-icon-theme (0.18-2) ... 263s Selecting previously unselected package adwaita-icon-theme. 263s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 263s Unpacking adwaita-icon-theme (49.0-1) ... 264s Selecting previously unselected package at-spi2-common. 264s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 264s Unpacking at-spi2-common (2.57.1-1) ... 264s Selecting previously unselected package libisl23:ppc64el. 264s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 264s Unpacking libisl23:ppc64el (0.27-1) ... 264s Selecting previously unselected package libmpc3:ppc64el. 264s Preparing to unpack .../15-libmpc3_1.3.1-1build3_ppc64el.deb ... 264s Unpacking libmpc3:ppc64el (1.3.1-1build3) ... 264s Selecting previously unselected package cpp-15-powerpc64le-linux-gnu. 264s Preparing to unpack .../16-cpp-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 264s Unpacking cpp-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 264s Selecting previously unselected package cpp-15. 264s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_ppc64el.deb ... 264s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 264s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 264s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 264s Unpacking cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 264s Selecting previously unselected package cpp. 264s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 264s Unpacking cpp (4:15.2.0-4ubuntu1) ... 264s Selecting previously unselected package libcln6:ppc64el. 264s Preparing to unpack .../20-libcln6_1.3.7-1_ppc64el.deb ... 264s Unpacking libcln6:ppc64el (1.3.7-1) ... 264s Selecting previously unselected package libcvc4-7:ppc64el. 264s Preparing to unpack .../21-libcvc4-7_1.8-3build2_ppc64el.deb ... 264s Unpacking libcvc4-7:ppc64el (1.8-3build2) ... 264s Selecting previously unselected package libantlr3c-3.4-0:ppc64el. 264s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_ppc64el.deb ... 264s Unpacking libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 264s Selecting previously unselected package libcvc4parser7:ppc64el. 264s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_ppc64el.deb ... 264s Unpacking libcvc4parser7:ppc64el (1.8-3build2) ... 264s Selecting previously unselected package cvc4. 264s Preparing to unpack .../24-cvc4_1.8-3build2_ppc64el.deb ... 264s Unpacking cvc4 (1.8-3build2) ... 264s Selecting previously unselected package libdconf1:ppc64el. 264s Preparing to unpack .../25-libdconf1_0.40.0-5willsync1_ppc64el.deb ... 264s Unpacking libdconf1:ppc64el (0.40.0-5willsync1) ... 264s Selecting previously unselected package dconf-service. 264s Preparing to unpack .../26-dconf-service_0.40.0-5willsync1_ppc64el.deb ... 264s Unpacking dconf-service (0.40.0-5willsync1) ... 264s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 264s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5willsync1_ppc64el.deb ... 264s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5willsync1) ... 264s Selecting previously unselected package fonts-dejavu-mono. 264s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 264s Unpacking fonts-dejavu-mono (2.37-8) ... 264s Selecting previously unselected package fonts-dejavu-core. 264s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 264s Unpacking fonts-dejavu-core (2.37-8) ... 264s Selecting previously unselected package fontconfig-config. 264s Preparing to unpack .../30-fontconfig-config_2.15.0-2.3ubuntu1_ppc64el.deb ... 264s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 264s Selecting previously unselected package libfontconfig1:ppc64el. 264s Preparing to unpack .../31-libfontconfig1_2.15.0-2.3ubuntu1_ppc64el.deb ... 264s Unpacking libfontconfig1:ppc64el (2.15.0-2.3ubuntu1) ... 264s Selecting previously unselected package fontconfig. 264s Preparing to unpack .../32-fontconfig_2.15.0-2.3ubuntu1_ppc64el.deb ... 264s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 264s Selecting previously unselected package libcc1-0:ppc64el. 264s Preparing to unpack .../33-libcc1-0_15.2.0-5ubuntu1_ppc64el.deb ... 264s Unpacking libcc1-0:ppc64el (15.2.0-5ubuntu1) ... 264s Selecting previously unselected package libgomp1:ppc64el. 264s Preparing to unpack .../34-libgomp1_15.2.0-5ubuntu1_ppc64el.deb ... 264s Unpacking libgomp1:ppc64el (15.2.0-5ubuntu1) ... 264s Selecting previously unselected package libitm1:ppc64el. 264s Preparing to unpack .../35-libitm1_15.2.0-5ubuntu1_ppc64el.deb ... 264s Unpacking libitm1:ppc64el (15.2.0-5ubuntu1) ... 264s Selecting previously unselected package libasan8:ppc64el. 264s Preparing to unpack .../36-libasan8_15.2.0-5ubuntu1_ppc64el.deb ... 264s Unpacking libasan8:ppc64el (15.2.0-5ubuntu1) ... 265s Selecting previously unselected package liblsan0:ppc64el. 265s Preparing to unpack .../37-liblsan0_15.2.0-5ubuntu1_ppc64el.deb ... 265s Unpacking liblsan0:ppc64el (15.2.0-5ubuntu1) ... 265s Selecting previously unselected package libtsan2:ppc64el. 265s Preparing to unpack .../38-libtsan2_15.2.0-5ubuntu1_ppc64el.deb ... 265s Unpacking libtsan2:ppc64el (15.2.0-5ubuntu1) ... 265s Selecting previously unselected package libubsan1:ppc64el. 265s Preparing to unpack .../39-libubsan1_15.2.0-5ubuntu1_ppc64el.deb ... 265s Unpacking libubsan1:ppc64el (15.2.0-5ubuntu1) ... 265s Selecting previously unselected package libquadmath0:ppc64el. 265s Preparing to unpack .../40-libquadmath0_15.2.0-5ubuntu1_ppc64el.deb ... 265s Unpacking libquadmath0:ppc64el (15.2.0-5ubuntu1) ... 265s Selecting previously unselected package libgcc-15-dev:ppc64el. 265s Preparing to unpack .../41-libgcc-15-dev_15.2.0-5ubuntu1_ppc64el.deb ... 265s Unpacking libgcc-15-dev:ppc64el (15.2.0-5ubuntu1) ... 265s Selecting previously unselected package gcc-15-powerpc64le-linux-gnu. 265s Preparing to unpack .../42-gcc-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 265s Unpacking gcc-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 265s Selecting previously unselected package gcc-15. 265s Preparing to unpack .../43-gcc-15_15.2.0-5ubuntu1_ppc64el.deb ... 265s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 265s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 265s Preparing to unpack .../44-gcc-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 265s Unpacking gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 265s Selecting previously unselected package gcc. 265s Preparing to unpack .../45-gcc_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 265s Unpacking gcc (4:15.2.0-4ubuntu1) ... 265s Selecting previously unselected package libatk1.0-0t64:ppc64el. 265s Preparing to unpack .../46-libatk1.0-0t64_2.57.1-1_ppc64el.deb ... 265s Unpacking libatk1.0-0t64:ppc64el (2.57.1-1) ... 265s Selecting previously unselected package libxi6:ppc64el. 265s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_ppc64el.deb ... 265s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 265s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 265s Preparing to unpack .../48-libatspi2.0-0t64_2.57.1-1_ppc64el.deb ... 265s Unpacking libatspi2.0-0t64:ppc64el (2.57.1-1) ... 265s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 265s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.57.1-1_ppc64el.deb ... 265s Unpacking libatk-bridge2.0-0t64:ppc64el (2.57.1-1) ... 265s Selecting previously unselected package libavahi-common-data:ppc64el. 265s Preparing to unpack .../50-libavahi-common-data_0.8-16ubuntu3_ppc64el.deb ... 265s Unpacking libavahi-common-data:ppc64el (0.8-16ubuntu3) ... 265s Selecting previously unselected package libavahi-common3:ppc64el. 265s Preparing to unpack .../51-libavahi-common3_0.8-16ubuntu3_ppc64el.deb ... 265s Unpacking libavahi-common3:ppc64el (0.8-16ubuntu3) ... 265s Selecting previously unselected package libavahi-client3:ppc64el. 265s Preparing to unpack .../52-libavahi-client3_0.8-16ubuntu3_ppc64el.deb ... 265s Unpacking libavahi-client3:ppc64el (0.8-16ubuntu3) ... 265s Selecting previously unselected package libpixman-1-0:ppc64el. 265s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_ppc64el.deb ... 265s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 265s Selecting previously unselected package libxcb-render0:ppc64el. 265s Preparing to unpack .../54-libxcb-render0_1.17.0-2build1_ppc64el.deb ... 265s Unpacking libxcb-render0:ppc64el (1.17.0-2build1) ... 265s Selecting previously unselected package libxcb-shm0:ppc64el. 265s Preparing to unpack .../55-libxcb-shm0_1.17.0-2build1_ppc64el.deb ... 265s Unpacking libxcb-shm0:ppc64el (1.17.0-2build1) ... 265s Selecting previously unselected package libxrender1:ppc64el. 265s Preparing to unpack .../56-libxrender1_1%3a0.9.12-1_ppc64el.deb ... 265s Unpacking libxrender1:ppc64el (1:0.9.12-1) ... 265s Selecting previously unselected package libcairo2:ppc64el. 265s Preparing to unpack .../57-libcairo2_1.18.4-1build1_ppc64el.deb ... 265s Unpacking libcairo2:ppc64el (1.18.4-1build1) ... 265s Selecting previously unselected package libcairo-gobject2:ppc64el. 265s Preparing to unpack .../58-libcairo-gobject2_1.18.4-1build1_ppc64el.deb ... 265s Unpacking libcairo-gobject2:ppc64el (1.18.4-1build1) ... 265s Selecting previously unselected package libstdlib-ocaml. 265s Preparing to unpack .../59-libstdlib-ocaml_5.3.0-3_ppc64el.deb ... 265s Unpacking libstdlib-ocaml (5.3.0-3) ... 265s Selecting previously unselected package ocaml-base. 265s Preparing to unpack .../60-ocaml-base_5.3.0-3_ppc64el.deb ... 265s Unpacking ocaml-base (5.3.0-3) ... 265s Selecting previously unselected package libcairo2-ocaml. 265s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2build2_ppc64el.deb ... 265s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 265s Selecting previously unselected package liblcms2-2:ppc64el. 265s Preparing to unpack .../62-liblcms2-2_2.16-2_ppc64el.deb ... 265s Unpacking liblcms2-2:ppc64el (2.16-2) ... 265s Selecting previously unselected package libcolord2:ppc64el. 265s Preparing to unpack .../63-libcolord2_1.4.7-3build1_ppc64el.deb ... 265s Unpacking libcolord2:ppc64el (1.4.7-3build1) ... 265s Selecting previously unselected package libstdlib-ocaml-dev. 265s Preparing to unpack .../64-libstdlib-ocaml-dev_5.3.0-3_ppc64el.deb ... 265s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 266s Selecting previously unselected package libcompiler-libs-ocaml-dev. 266s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.3.0-3_ppc64el.deb ... 266s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 266s Selecting previously unselected package libcups2t64:ppc64el. 266s Preparing to unpack .../66-libcups2t64_2.4.12-0ubuntu3_ppc64el.deb ... 266s Unpacking libcups2t64:ppc64el (2.4.12-0ubuntu3) ... 266s Selecting previously unselected package libdatrie1:ppc64el. 266s Preparing to unpack .../67-libdatrie1_0.2.13-4_ppc64el.deb ... 266s Unpacking libdatrie1:ppc64el (0.2.13-4) ... 266s Selecting previously unselected package libepoxy0:ppc64el. 266s Preparing to unpack .../68-libepoxy0_1.5.10-2_ppc64el.deb ... 266s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 266s Selecting previously unselected package libgraphite2-3:ppc64el. 266s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 266s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 266s Selecting previously unselected package libharfbuzz0b:ppc64el. 266s Preparing to unpack .../70-libharfbuzz0b_12.1.0-1_ppc64el.deb ... 266s Unpacking libharfbuzz0b:ppc64el (12.1.0-1) ... 266s Selecting previously unselected package libthai-data. 266s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 266s Unpacking libthai-data (0.1.29-2build1) ... 266s Selecting previously unselected package libthai0:ppc64el. 266s Preparing to unpack .../72-libthai0_0.1.29-2build1_ppc64el.deb ... 266s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 266s Selecting previously unselected package libpango-1.0-0:ppc64el. 266s Preparing to unpack .../73-libpango-1.0-0_1.56.3-1build1_ppc64el.deb ... 266s Unpacking libpango-1.0-0:ppc64el (1.56.3-1build1) ... 266s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 266s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.3-1build1_ppc64el.deb ... 266s Unpacking libpangoft2-1.0-0:ppc64el (1.56.3-1build1) ... 266s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 266s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.3-1build1_ppc64el.deb ... 266s Unpacking libpangocairo-1.0-0:ppc64el (1.56.3-1build1) ... 266s Selecting previously unselected package libwayland-client0:ppc64el. 266s Preparing to unpack .../76-libwayland-client0_1.24.0-1build1_ppc64el.deb ... 266s Unpacking libwayland-client0:ppc64el (1.24.0-1build1) ... 266s Selecting previously unselected package libwayland-cursor0:ppc64el. 266s Preparing to unpack .../77-libwayland-cursor0_1.24.0-1build1_ppc64el.deb ... 266s Unpacking libwayland-cursor0:ppc64el (1.24.0-1build1) ... 266s Selecting previously unselected package libwayland-egl1:ppc64el. 266s Preparing to unpack .../78-libwayland-egl1_1.24.0-1build1_ppc64el.deb ... 266s Unpacking libwayland-egl1:ppc64el (1.24.0-1build1) ... 266s Selecting previously unselected package libxcomposite1:ppc64el. 266s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 266s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 266s Selecting previously unselected package libxfixes3:ppc64el. 266s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 266s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 266s Selecting previously unselected package libxcursor1:ppc64el. 266s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 266s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 266s Selecting previously unselected package libxdamage1:ppc64el. 266s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 266s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 266s Selecting previously unselected package libxinerama1:ppc64el. 266s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 266s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 266s Selecting previously unselected package libxrandr2:ppc64el. 266s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 266s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 266s Selecting previously unselected package libgtk-3-common. 266s Preparing to unpack .../85-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 266s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 266s Selecting previously unselected package libgtk-3-0t64:ppc64el. 266s Preparing to unpack .../86-libgtk-3-0t64_3.24.50-1ubuntu2_ppc64el.deb ... 266s Unpacking libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 267s Selecting previously unselected package libgtksourceview-3.0-common. 267s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 267s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 267s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 267s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-5_ppc64el.deb ... 267s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-5) ... 267s Selecting previously unselected package liblablgtk3-ocaml. 267s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build4_ppc64el.deb ... 267s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 267s Selecting previously unselected package liblablgtksourceview3-ocaml. 267s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build4_ppc64el.deb ... 267s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 267s Selecting previously unselected package libncurses-dev:ppc64el. 267s Preparing to unpack .../91-libncurses-dev_6.5+20250216-2build1_ppc64el.deb ... 267s Unpacking libncurses-dev:ppc64el (6.5+20250216-2build1) ... 267s Selecting previously unselected package libzstd-dev:ppc64el. 267s Preparing to unpack .../92-libzstd-dev_1.5.7+dfsg-1build2_ppc64el.deb ... 267s Unpacking libzstd-dev:ppc64el (1.5.7+dfsg-1build2) ... 267s Selecting previously unselected package ocaml-interp. 267s Preparing to unpack .../93-ocaml-interp_5.3.0-3_ppc64el.deb ... 267s Unpacking ocaml-interp (5.3.0-3) ... 267s Selecting previously unselected package ocaml. 267s Preparing to unpack .../94-ocaml_5.3.0-3_ppc64el.deb ... 267s Unpacking ocaml (5.3.0-3) ... 267s Selecting previously unselected package tex-common. 267s Preparing to unpack .../95-tex-common_6.19_all.deb ... 267s Unpacking tex-common (6.19) ... 267s Selecting previously unselected package why3. 267s Preparing to unpack .../96-why3_1.8.2-1_ppc64el.deb ... 267s Unpacking why3 (1.8.2-1) ... 268s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 268s Setting up liblcms2-2:ppc64el (2.16-2) ... 268s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 268s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 268s Setting up libcln6:ppc64el (1.3.7-1) ... 268s Setting up libncurses-dev:ppc64el (6.5+20250216-2build1) ... 268s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 268s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 268s Setting up libzstd-dev:ppc64el (1.5.7+dfsg-1build2) ... 268s Setting up libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 268s Setting up hicolor-icon-theme (0.18-2) ... 268s Setting up libxi6:ppc64el (2:1.8.2-1) ... 268s Setting up libxrender1:ppc64el (1:0.9.12-1) ... 268s Setting up libdatrie1:ppc64el (0.2.13-4) ... 268s Setting up libxcb-render0:ppc64el (1.17.0-2build1) ... 268s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 268s Setting up libdeflate0:ppc64el (1.23-2) ... 268s Setting up libxcb-shm0:ppc64el (1.17.0-2build1) ... 268s Setting up libgomp1:ppc64el (15.2.0-5ubuntu1) ... 268s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 268s Setting up libcolord2:ppc64el (1.4.7-3build1) ... 268s Setting up libdconf1:ppc64el (0.40.0-5willsync1) ... 268s Setting up tex-common (6.19) ... 268s update-language: texlive-base not installed and configured, doing nothing! 268s Setting up libepoxy0:ppc64el (1.5.10-2) ... 268s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 268s Setting up libavahi-common-data:ppc64el (0.8-16ubuntu3) ... 268s Setting up libatspi2.0-0t64:ppc64el (2.57.1-1) ... 268s Setting up libquadmath0:ppc64el (15.2.0-5ubuntu1) ... 268s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 268s Setting up libstdlib-ocaml (5.3.0-3) ... 268s Setting up fonts-dejavu-mono (2.37-8) ... 268s Setting up libmpc3:ppc64el (1.3.1-1build3) ... 268s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 268s Setting up ocaml-base (5.3.0-3) ... 268s Setting up fonts-dejavu-core (2.37-8) ... 268s Setting up libjpeg-turbo8:ppc64el (2.1.5-4ubuntu2) ... 268s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 268s Setting up libubsan1:ppc64el (15.2.0-5ubuntu1) ... 268s Setting up at-spi2-common (2.57.1-1) ... 268s Setting up libasan8:ppc64el (15.2.0-5ubuntu1) ... 268s Setting up libcvc4-7:ppc64el (1.8-3build2) ... 268s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 268s Setting up libharfbuzz0b:ppc64el (12.1.0-1) ... 268s Setting up libthai-data (0.1.29-2build1) ... 268s Setting up libwayland-egl1:ppc64el (1.24.0-1build1) ... 268s Setting up libtsan2:ppc64el (15.2.0-5ubuntu1) ... 268s Setting up libisl23:ppc64el (0.27-1) ... 268s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 268s Setting up libcc1-0:ppc64el (15.2.0-5ubuntu1) ... 268s Setting up liblsan0:ppc64el (15.2.0-5ubuntu1) ... 268s Setting up libitm1:ppc64el (15.2.0-5ubuntu1) ... 268s Setting up libwayland-client0:ppc64el (1.24.0-1build1) ... 268s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 268s Setting up libgcc-15-dev:ppc64el (15.2.0-5ubuntu1) ... 268s Setting up libatk1.0-0t64:ppc64el (2.57.1-1) ... 268s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 268s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 268s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 268s Setting up libavahi-common3:ppc64el (0.8-16ubuntu3) ... 268s Setting up dconf-service (0.40.0-5willsync1) ... 268s Setting up libthai0:ppc64el (0.1.29-2build1) ... 268s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 268s Setting up cpp-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 268s Setting up ocaml-interp (5.3.0-3) ... 268s Setting up libcvc4parser7:ppc64el (1.8-3build2) ... 268s Setting up cpp-15 (15.2.0-5ubuntu1) ... 268s Setting up libtiff6:ppc64el (4.7.0-3ubuntu3) ... 268s Setting up libwayland-cursor0:ppc64el (1.24.0-1build1) ... 268s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-5) ... 268s Setting up cvc4 (1.8-3build2) ... 268s Setting up libfontconfig1:ppc64el (2.15.0-2.3ubuntu1) ... 268s Setting up libavahi-client3:ppc64el (0.8-16ubuntu3) ... 268s Setting up cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 268s Setting up libatk-bridge2.0-0t64:ppc64el (2.57.1-1) ... 268s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 268s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 270s Regenerating fonts cache... done. 270s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5willsync1) ... 270s Setting up gcc-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 270s Setting up libpango-1.0-0:ppc64el (1.56.3-1build1) ... 270s Setting up libcairo2:ppc64el (1.18.4-1build1) ... 270s Setting up gcc-15 (15.2.0-5ubuntu1) ... 270s Setting up adwaita-icon-theme (49.0-1) ... 270s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 270s Setting up gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 270s Setting up cpp (4:15.2.0-4ubuntu1) ... 270s Setting up libcairo-gobject2:ppc64el (1.18.4-1build1) ... 270s Setting up libpangoft2-1.0-0:ppc64el (1.56.3-1build1) ... 270s Setting up libcups2t64:ppc64el (2.4.12-0ubuntu3) ... 270s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 270s Setting up libpangocairo-1.0-0:ppc64el (1.56.3-1build1) ... 270s Setting up libcairo2-ocaml (0.6.5-2build2) ... 270s Setting up gcc (4:15.2.0-4ubuntu1) ... 270s Setting up ocaml (5.3.0-3) ... 270s Processing triggers for libc-bin (2.42-0ubuntu3) ... 270s Processing triggers for man-db (2.13.1-1) ... 272s Processing triggers for libglib2.0-0t64:ppc64el (2.86.0-2) ... 272s Setting up libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 272s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 272s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-5) ... 272s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 273s Setting up why3 (1.8.2-1) ... 273s Processing triggers for libc-bin (2.42-0ubuntu3) ... 273s autopkgtest [22:03:39]: test why3+cvc4: [----------------------- 275s autopkgtest [22:03:41]: test why3+cvc4: -----------------------] 275s autopkgtest [22:03:41]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 275s why3+cvc4 PASS 276s autopkgtest [22:03:42]: test why3+cvc5: preparing testbed 284s Creating nova instance adt-resolute-ppc64el-why3-20251020-215906-juju-7f2275-prod-proposed-migration-environment-15-021b350e-6092-43bb-a4d3-cdea2351ac69 from image adt/ubuntu-resolute-ppc64el-server-20251020.img (UUID 243ad32c-1bbf-485e-924d-1d24001cd7a1)... 378s autopkgtest [22:05:24]: testbed dpkg architecture: ppc64el 378s autopkgtest [22:05:24]: testbed apt version: 3.1.8ubuntu1 378s autopkgtest [22:05:24]: @@@@@@@@@@@@@@@@@@@@ test bed setup 378s autopkgtest [22:05:24]: testbed release detected to be: resolute 379s autopkgtest [22:05:25]: updating testbed package index (apt update) 380s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 380s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 380s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 380s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 380s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [683 kB] 381s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 381s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.0 kB] 381s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [63.1 kB] 381s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el Packages [116 kB] 381s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted ppc64el Packages [940 B] 381s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe ppc64el Packages [437 kB] 381s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse ppc64el Packages [4596 B] 381s Fetched 1409 kB in 2s (831 kB/s) 382s Reading package lists... 382s Failed to check for VM: Permission denied 383s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 383s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 383s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 383s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 384s Reading package lists... 384s Reading package lists... 384s Building dependency tree... 384s Reading state information... 384s Calculating upgrade... 384s The following packages will be upgraded: 384s libbrotli1 python3-markupsafe 384s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 384s Need to get 437 kB of archives. 384s After this operation, 68.6 kB of additional disk space will be used. 384s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el libbrotli1 ppc64el 1.1.0-2build6 [422 kB] 385s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el python3-markupsafe ppc64el 2.1.5-1build5 [14.6 kB] 385s dpkg-preconfigure: unable to re-open stdin: No such file or directory 385s Fetched 437 kB in 1s (600 kB/s) 386s (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 ... 76476 files and directories currently installed.) 386s Preparing to unpack .../libbrotli1_1.1.0-2build6_ppc64el.deb ... 386s Unpacking libbrotli1:ppc64el (1.1.0-2build6) over (1.1.0-2build5) ... 386s Preparing to unpack .../python3-markupsafe_2.1.5-1build5_ppc64el.deb ... 386s Unpacking python3-markupsafe (2.1.5-1build5) over (2.1.5-1build4) ... 386s Setting up libbrotli1:ppc64el (1.1.0-2build6) ... 386s Setting up python3-markupsafe (2.1.5-1build5) ... 386s Processing triggers for libc-bin (2.42-0ubuntu3) ... 386s autopkgtest [22:05:32]: upgrading testbed (apt dist-upgrade and autopurge) 386s Reading package lists... 387s Building dependency tree... 387s Reading state information... 387s Calculating upgrade... 387s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 387s Reading package lists... 387s Building dependency tree... 387s Reading state information... 387s Solving dependencies... 387s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 390s Reading package lists... 390s Building dependency tree... 390s Reading state information... 391s Solving dependencies... 391s The following NEW packages will be installed: 391s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-powerpc64le-linux-gnu 391s cpp-powerpc64le-linux-gnu cvc5 dconf-gsettings-backend dconf-service 391s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 391s gcc-15-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 391s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 391s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 391s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcln6 libcolord2 391s libcompiler-libs-ocaml-dev libcryptominisat5-5.11t64 libcups2t64 libcvc5-1 391s libcvc5parser1 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 391s libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 391s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 391s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 391s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 391s liblcms2-2 liblerc4 liblsan0 libmpc3 libncurses-dev libpango-1.0-0 391s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libquadmath0 391s libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 391s libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 391s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 391s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 391s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 391s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 391s Need to get 171 MB of archives. 391s After this operation, 556 MB of additional disk space will be used. 391s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 391s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-4ubuntu2 [215 kB] 391s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 391s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdeflate0 ppc64el 1.23-2 [63.3 kB] 391s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 391s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 392s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 392s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 392s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtiff6 ppc64el 4.7.0-3ubuntu3 [307 kB] 392s Get:10 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-5 [195 kB] 392s Get:11 http://ftpmaster.internal/ubuntu resolute/main ppc64el gtk-update-icon-cache ppc64el 4.20.1+ds-2 [57.6 kB] 392s Get:12 http://ftpmaster.internal/ubuntu resolute/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 392s Get:13 http://ftpmaster.internal/ubuntu resolute/main ppc64el adwaita-icon-theme all 49.0-1 [581 kB] 393s Get:14 http://ftpmaster.internal/ubuntu resolute/main ppc64el at-spi2-common all 2.57.1-1 [9432 B] 393s Get:15 http://ftpmaster.internal/ubuntu resolute/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 393s Get:16 http://ftpmaster.internal/ubuntu resolute/main ppc64el libmpc3 ppc64el 1.3.1-1build3 [62.6 kB] 393s Get:17 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [11.4 MB] 402s Get:18 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15 ppc64el 15.2.0-5ubuntu1 [1036 B] 402s Get:19 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [5746 B] 402s Get:20 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp ppc64el 4:15.2.0-4ubuntu1 [22.4 kB] 402s Get:21 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 402s Get:22 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcryptominisat5-5.11t64 ppc64el 5.11.21+dfsg1-2 [510 kB] 402s Get:23 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc5-1 ppc64el 1.1.2-2build1 [5247 kB] 405s Get:24 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcvc5parser1 ppc64el 1.1.2-2build1 [217 kB] 406s Get:25 http://ftpmaster.internal/ubuntu resolute/universe ppc64el cvc5 ppc64el 1.1.2-2build1 [93.1 kB] 406s Get:26 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdconf1 ppc64el 0.40.0-5willsync1 [45.0 kB] 406s Get:27 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-service ppc64el 0.40.0-5willsync1 [31.4 kB] 406s Get:28 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5willsync1 [27.3 kB] 406s Get:29 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 406s Get:30 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 407s Get:31 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig-config ppc64el 2.15.0-2.3ubuntu1 [38.1 kB] 407s Get:32 http://ftpmaster.internal/ubuntu resolute/main ppc64el libfontconfig1 ppc64el 2.15.0-2.3ubuntu1 [188 kB] 407s Get:33 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig ppc64el 2.15.0-2.3ubuntu1 [192 kB] 407s Get:34 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcc1-0 ppc64el 15.2.0-5ubuntu1 [49.0 kB] 407s Get:35 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgomp1 ppc64el 15.2.0-5ubuntu1 [169 kB] 408s Get:36 http://ftpmaster.internal/ubuntu resolute/main ppc64el libitm1 ppc64el 15.2.0-5ubuntu1 [32.3 kB] 408s Get:37 http://ftpmaster.internal/ubuntu resolute/main ppc64el libasan8 ppc64el 15.2.0-5ubuntu1 [3006 kB] 410s Get:38 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblsan0 ppc64el 15.2.0-5ubuntu1 [1374 kB] 411s Get:39 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtsan2 ppc64el 15.2.0-5ubuntu1 [2729 kB] 413s Get:40 http://ftpmaster.internal/ubuntu resolute/main ppc64el libubsan1 ppc64el 15.2.0-5ubuntu1 [1231 kB] 414s Get:41 http://ftpmaster.internal/ubuntu resolute/main ppc64el libquadmath0 ppc64el 15.2.0-5ubuntu1 [160 kB] 414s Get:42 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgcc-15-dev ppc64el 15.2.0-5ubuntu1 [1670 kB] 415s Get:43 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [22.4 MB] 435s Get:44 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15 ppc64el 15.2.0-5ubuntu1 [523 kB] 435s Get:45 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [1220 B] 435s Get:46 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc ppc64el 4:15.2.0-4ubuntu1 [5032 B] 435s Get:47 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk1.0-0t64 ppc64el 2.57.1-1 [60.8 kB] 435s Get:48 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 435s Get:49 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatspi2.0-0t64 ppc64el 2.57.1-1 [102 kB] 435s Get:50 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.57.1-1 [78.9 kB] 435s Get:51 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common-data ppc64el 0.8-16ubuntu3 [31.1 kB] 435s Get:52 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common3 ppc64el 0.8-16ubuntu3 [26.3 kB] 435s Get:53 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-client3 ppc64el 0.8-16ubuntu3 [31.1 kB] 435s Get:54 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 435s Get:55 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-render0 ppc64el 1.17.0-2build1 [17.2 kB] 435s Get:56 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-shm0 ppc64el 1.17.0-2build1 [6078 B] 435s Get:57 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrender1 ppc64el 1:0.9.12-1 [23.0 kB] 435s Get:58 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo2 ppc64el 1.18.4-1build1 [759 kB] 436s Get:59 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo-gobject2 ppc64el 1.18.4-1build1 [128 kB] 436s Get:60 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml ppc64el 5.3.0-3 [463 kB] 436s Get:61 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-base ppc64el 5.3.0-3 [382 kB] 436s Get:62 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build2 [28.7 kB] 437s Get:63 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 437s Get:64 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcolord2 ppc64el 1.4.7-3build1 [162 kB] 437s Get:65 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml-dev ppc64el 5.3.0-3 [8005 kB] 441s Get:66 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.3.0-3 [48.2 MB] 472s Get:67 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcups2t64 ppc64el 2.4.12-0ubuntu3 [352 kB] 472s Get:68 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdatrie1 ppc64el 0.2.13-4 [22.2 kB] 472s Get:69 http://ftpmaster.internal/ubuntu resolute/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 473s Get:70 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 473s Get:71 http://ftpmaster.internal/ubuntu resolute/main ppc64el libharfbuzz0b ppc64el 12.1.0-1 [679 kB] 473s Get:72 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 473s Get:73 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 473s Get:74 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpango-1.0-0 ppc64el 1.56.3-1build1 [282 kB] 473s Get:75 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.3-1build1 [59.1 kB] 473s Get:76 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.3-1build1 [31.0 kB] 473s Get:77 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-client0 ppc64el 1.24.0-1build1 [32.9 kB] 473s Get:78 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-cursor0 ppc64el 1.24.0-1build1 [12.0 kB] 473s Get:79 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-egl1 ppc64el 1.24.0-1build1 [6350 B] 473s Get:80 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 474s Get:81 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 474s Get:82 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 474s Get:83 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 474s Get:84 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 474s Get:85 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 474s Get:86 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 475s Get:87 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-0t64 ppc64el 3.24.50-1ubuntu2 [3552 kB] 480s Get:88 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 480s Get:89 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-5 [264 kB] 480s Get:90 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build4 [3594 kB] 484s Get:91 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build4 [331 kB] 484s Get:92 http://ftpmaster.internal/ubuntu resolute/main ppc64el libncurses-dev ppc64el 6.5+20250216-2build1 [504 kB] 484s Get:93 http://ftpmaster.internal/ubuntu resolute/main ppc64el libzstd-dev ppc64el 1.5.7+dfsg-1build2 [528 kB] 485s Get:94 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-interp ppc64el 5.3.0-3 [8365 kB] 492s Get:95 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml ppc64el 5.3.0-3 [20.7 MB] 508s Get:96 http://ftpmaster.internal/ubuntu resolute/universe ppc64el tex-common all 6.19 [29.8 kB] 508s Get:97 http://ftpmaster.internal/ubuntu resolute/universe ppc64el why3 ppc64el 1.8.2-1 [13.7 MB] 520s Fetched 171 MB in 2min 9s (1322 kB/s) 520s Selecting previously unselected package libgdk-pixbuf2.0-common. 520s (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 ... 76477 files and directories currently installed.) 520s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 520s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 520s Selecting previously unselected package libjpeg-turbo8:ppc64el. 520s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_ppc64el.deb ... 520s Unpacking libjpeg-turbo8:ppc64el (2.1.5-4ubuntu2) ... 520s Selecting previously unselected package libjpeg8:ppc64el. 520s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 520s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 520s Selecting previously unselected package libdeflate0:ppc64el. 520s Preparing to unpack .../03-libdeflate0_1.23-2_ppc64el.deb ... 520s Unpacking libdeflate0:ppc64el (1.23-2) ... 520s Selecting previously unselected package libjbig0:ppc64el. 520s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 520s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 520s Selecting previously unselected package liblerc4:ppc64el. 520s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 520s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 520s Selecting previously unselected package libsharpyuv0:ppc64el. 520s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 520s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 520s Selecting previously unselected package libwebp7:ppc64el. 520s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 520s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 520s Selecting previously unselected package libtiff6:ppc64el. 520s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_ppc64el.deb ... 520s Unpacking libtiff6:ppc64el (4.7.0-3ubuntu3) ... 520s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 520s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_ppc64el.deb ... 520s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-5) ... 520s Selecting previously unselected package gtk-update-icon-cache. 520s Preparing to unpack .../10-gtk-update-icon-cache_4.20.1+ds-2_ppc64el.deb ... 521s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 521s 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. 521s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 521s Selecting previously unselected package hicolor-icon-theme. 521s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 521s Unpacking hicolor-icon-theme (0.18-2) ... 521s Selecting previously unselected package adwaita-icon-theme. 521s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 521s Unpacking adwaita-icon-theme (49.0-1) ... 521s Selecting previously unselected package at-spi2-common. 521s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 521s Unpacking at-spi2-common (2.57.1-1) ... 521s Selecting previously unselected package libisl23:ppc64el. 521s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 521s Unpacking libisl23:ppc64el (0.27-1) ... 521s Selecting previously unselected package libmpc3:ppc64el. 521s Preparing to unpack .../15-libmpc3_1.3.1-1build3_ppc64el.deb ... 521s Unpacking libmpc3:ppc64el (1.3.1-1build3) ... 521s Selecting previously unselected package cpp-15-powerpc64le-linux-gnu. 521s Preparing to unpack .../16-cpp-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 521s Unpacking cpp-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 521s Selecting previously unselected package cpp-15. 521s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_ppc64el.deb ... 521s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 521s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 521s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 521s Unpacking cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 521s Selecting previously unselected package cpp. 521s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 521s Unpacking cpp (4:15.2.0-4ubuntu1) ... 521s Selecting previously unselected package libcln6:ppc64el. 521s Preparing to unpack .../20-libcln6_1.3.7-1_ppc64el.deb ... 521s Unpacking libcln6:ppc64el (1.3.7-1) ... 521s Selecting previously unselected package libcryptominisat5-5.11t64:ppc64el. 521s Preparing to unpack .../21-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb ... 521s Unpacking libcryptominisat5-5.11t64:ppc64el (5.11.21+dfsg1-2) ... 521s Selecting previously unselected package libcvc5-1:ppc64el. 521s Preparing to unpack .../22-libcvc5-1_1.1.2-2build1_ppc64el.deb ... 521s Unpacking libcvc5-1:ppc64el (1.1.2-2build1) ... 521s Selecting previously unselected package libcvc5parser1:ppc64el. 521s Preparing to unpack .../23-libcvc5parser1_1.1.2-2build1_ppc64el.deb ... 521s Unpacking libcvc5parser1:ppc64el (1.1.2-2build1) ... 521s Selecting previously unselected package cvc5. 521s Preparing to unpack .../24-cvc5_1.1.2-2build1_ppc64el.deb ... 521s Unpacking cvc5 (1.1.2-2build1) ... 521s Selecting previously unselected package libdconf1:ppc64el. 521s Preparing to unpack .../25-libdconf1_0.40.0-5willsync1_ppc64el.deb ... 521s Unpacking libdconf1:ppc64el (0.40.0-5willsync1) ... 521s Selecting previously unselected package dconf-service. 521s Preparing to unpack .../26-dconf-service_0.40.0-5willsync1_ppc64el.deb ... 521s Unpacking dconf-service (0.40.0-5willsync1) ... 521s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 521s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5willsync1_ppc64el.deb ... 521s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5willsync1) ... 521s Selecting previously unselected package fonts-dejavu-mono. 521s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 521s Unpacking fonts-dejavu-mono (2.37-8) ... 521s Selecting previously unselected package fonts-dejavu-core. 521s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 521s Unpacking fonts-dejavu-core (2.37-8) ... 521s Selecting previously unselected package fontconfig-config. 521s Preparing to unpack .../30-fontconfig-config_2.15.0-2.3ubuntu1_ppc64el.deb ... 522s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 522s Selecting previously unselected package libfontconfig1:ppc64el. 522s Preparing to unpack .../31-libfontconfig1_2.15.0-2.3ubuntu1_ppc64el.deb ... 522s Unpacking libfontconfig1:ppc64el (2.15.0-2.3ubuntu1) ... 522s Selecting previously unselected package fontconfig. 522s Preparing to unpack .../32-fontconfig_2.15.0-2.3ubuntu1_ppc64el.deb ... 522s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 522s Selecting previously unselected package libcc1-0:ppc64el. 522s Preparing to unpack .../33-libcc1-0_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking libcc1-0:ppc64el (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package libgomp1:ppc64el. 522s Preparing to unpack .../34-libgomp1_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking libgomp1:ppc64el (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package libitm1:ppc64el. 522s Preparing to unpack .../35-libitm1_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking libitm1:ppc64el (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package libasan8:ppc64el. 522s Preparing to unpack .../36-libasan8_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking libasan8:ppc64el (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package liblsan0:ppc64el. 522s Preparing to unpack .../37-liblsan0_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking liblsan0:ppc64el (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package libtsan2:ppc64el. 522s Preparing to unpack .../38-libtsan2_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking libtsan2:ppc64el (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package libubsan1:ppc64el. 522s Preparing to unpack .../39-libubsan1_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking libubsan1:ppc64el (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package libquadmath0:ppc64el. 522s Preparing to unpack .../40-libquadmath0_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking libquadmath0:ppc64el (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package libgcc-15-dev:ppc64el. 522s Preparing to unpack .../41-libgcc-15-dev_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking libgcc-15-dev:ppc64el (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package gcc-15-powerpc64le-linux-gnu. 522s Preparing to unpack .../42-gcc-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking gcc-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package gcc-15. 522s Preparing to unpack .../43-gcc-15_15.2.0-5ubuntu1_ppc64el.deb ... 522s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 522s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 522s Preparing to unpack .../44-gcc-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 522s Unpacking gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 522s Selecting previously unselected package gcc. 522s Preparing to unpack .../45-gcc_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 522s Unpacking gcc (4:15.2.0-4ubuntu1) ... 522s Selecting previously unselected package libatk1.0-0t64:ppc64el. 522s Preparing to unpack .../46-libatk1.0-0t64_2.57.1-1_ppc64el.deb ... 522s Unpacking libatk1.0-0t64:ppc64el (2.57.1-1) ... 522s Selecting previously unselected package libxi6:ppc64el. 522s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_ppc64el.deb ... 522s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 522s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 522s Preparing to unpack .../48-libatspi2.0-0t64_2.57.1-1_ppc64el.deb ... 522s Unpacking libatspi2.0-0t64:ppc64el (2.57.1-1) ... 522s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 522s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.57.1-1_ppc64el.deb ... 522s Unpacking libatk-bridge2.0-0t64:ppc64el (2.57.1-1) ... 522s Selecting previously unselected package libavahi-common-data:ppc64el. 522s Preparing to unpack .../50-libavahi-common-data_0.8-16ubuntu3_ppc64el.deb ... 522s Unpacking libavahi-common-data:ppc64el (0.8-16ubuntu3) ... 522s Selecting previously unselected package libavahi-common3:ppc64el. 522s Preparing to unpack .../51-libavahi-common3_0.8-16ubuntu3_ppc64el.deb ... 522s Unpacking libavahi-common3:ppc64el (0.8-16ubuntu3) ... 522s Selecting previously unselected package libavahi-client3:ppc64el. 522s Preparing to unpack .../52-libavahi-client3_0.8-16ubuntu3_ppc64el.deb ... 522s Unpacking libavahi-client3:ppc64el (0.8-16ubuntu3) ... 522s Selecting previously unselected package libpixman-1-0:ppc64el. 522s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_ppc64el.deb ... 522s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 522s Selecting previously unselected package libxcb-render0:ppc64el. 522s Preparing to unpack .../54-libxcb-render0_1.17.0-2build1_ppc64el.deb ... 522s Unpacking libxcb-render0:ppc64el (1.17.0-2build1) ... 522s Selecting previously unselected package libxcb-shm0:ppc64el. 522s Preparing to unpack .../55-libxcb-shm0_1.17.0-2build1_ppc64el.deb ... 522s Unpacking libxcb-shm0:ppc64el (1.17.0-2build1) ... 523s Selecting previously unselected package libxrender1:ppc64el. 523s Preparing to unpack .../56-libxrender1_1%3a0.9.12-1_ppc64el.deb ... 523s Unpacking libxrender1:ppc64el (1:0.9.12-1) ... 523s Selecting previously unselected package libcairo2:ppc64el. 523s Preparing to unpack .../57-libcairo2_1.18.4-1build1_ppc64el.deb ... 523s Unpacking libcairo2:ppc64el (1.18.4-1build1) ... 523s Selecting previously unselected package libcairo-gobject2:ppc64el. 523s Preparing to unpack .../58-libcairo-gobject2_1.18.4-1build1_ppc64el.deb ... 523s Unpacking libcairo-gobject2:ppc64el (1.18.4-1build1) ... 523s Selecting previously unselected package libstdlib-ocaml. 523s Preparing to unpack .../59-libstdlib-ocaml_5.3.0-3_ppc64el.deb ... 523s Unpacking libstdlib-ocaml (5.3.0-3) ... 523s Selecting previously unselected package ocaml-base. 523s Preparing to unpack .../60-ocaml-base_5.3.0-3_ppc64el.deb ... 523s Unpacking ocaml-base (5.3.0-3) ... 523s Selecting previously unselected package libcairo2-ocaml. 523s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2build2_ppc64el.deb ... 523s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 523s Selecting previously unselected package liblcms2-2:ppc64el. 523s Preparing to unpack .../62-liblcms2-2_2.16-2_ppc64el.deb ... 523s Unpacking liblcms2-2:ppc64el (2.16-2) ... 523s Selecting previously unselected package libcolord2:ppc64el. 523s Preparing to unpack .../63-libcolord2_1.4.7-3build1_ppc64el.deb ... 523s Unpacking libcolord2:ppc64el (1.4.7-3build1) ... 523s Selecting previously unselected package libstdlib-ocaml-dev. 523s Preparing to unpack .../64-libstdlib-ocaml-dev_5.3.0-3_ppc64el.deb ... 523s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 523s Selecting previously unselected package libcompiler-libs-ocaml-dev. 523s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.3.0-3_ppc64el.deb ... 523s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 523s Selecting previously unselected package libcups2t64:ppc64el. 523s Preparing to unpack .../66-libcups2t64_2.4.12-0ubuntu3_ppc64el.deb ... 523s Unpacking libcups2t64:ppc64el (2.4.12-0ubuntu3) ... 523s Selecting previously unselected package libdatrie1:ppc64el. 523s Preparing to unpack .../67-libdatrie1_0.2.13-4_ppc64el.deb ... 523s Unpacking libdatrie1:ppc64el (0.2.13-4) ... 523s Selecting previously unselected package libepoxy0:ppc64el. 523s Preparing to unpack .../68-libepoxy0_1.5.10-2_ppc64el.deb ... 523s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 523s Selecting previously unselected package libgraphite2-3:ppc64el. 523s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 523s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 523s Selecting previously unselected package libharfbuzz0b:ppc64el. 523s Preparing to unpack .../70-libharfbuzz0b_12.1.0-1_ppc64el.deb ... 523s Unpacking libharfbuzz0b:ppc64el (12.1.0-1) ... 523s Selecting previously unselected package libthai-data. 523s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 523s Unpacking libthai-data (0.1.29-2build1) ... 523s Selecting previously unselected package libthai0:ppc64el. 524s Preparing to unpack .../72-libthai0_0.1.29-2build1_ppc64el.deb ... 524s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 524s Selecting previously unselected package libpango-1.0-0:ppc64el. 524s Preparing to unpack .../73-libpango-1.0-0_1.56.3-1build1_ppc64el.deb ... 524s Unpacking libpango-1.0-0:ppc64el (1.56.3-1build1) ... 524s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 524s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.3-1build1_ppc64el.deb ... 524s Unpacking libpangoft2-1.0-0:ppc64el (1.56.3-1build1) ... 524s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 524s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.3-1build1_ppc64el.deb ... 524s Unpacking libpangocairo-1.0-0:ppc64el (1.56.3-1build1) ... 524s Selecting previously unselected package libwayland-client0:ppc64el. 524s Preparing to unpack .../76-libwayland-client0_1.24.0-1build1_ppc64el.deb ... 524s Unpacking libwayland-client0:ppc64el (1.24.0-1build1) ... 524s Selecting previously unselected package libwayland-cursor0:ppc64el. 524s Preparing to unpack .../77-libwayland-cursor0_1.24.0-1build1_ppc64el.deb ... 524s Unpacking libwayland-cursor0:ppc64el (1.24.0-1build1) ... 524s Selecting previously unselected package libwayland-egl1:ppc64el. 524s Preparing to unpack .../78-libwayland-egl1_1.24.0-1build1_ppc64el.deb ... 524s Unpacking libwayland-egl1:ppc64el (1.24.0-1build1) ... 524s Selecting previously unselected package libxcomposite1:ppc64el. 524s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 524s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 524s Selecting previously unselected package libxfixes3:ppc64el. 524s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 524s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 524s Selecting previously unselected package libxcursor1:ppc64el. 524s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 524s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 524s Selecting previously unselected package libxdamage1:ppc64el. 524s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 524s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 524s Selecting previously unselected package libxinerama1:ppc64el. 524s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 524s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 524s Selecting previously unselected package libxrandr2:ppc64el. 524s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 524s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 524s Selecting previously unselected package libgtk-3-common. 524s Preparing to unpack .../85-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 524s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 524s Selecting previously unselected package libgtk-3-0t64:ppc64el. 524s Preparing to unpack .../86-libgtk-3-0t64_3.24.50-1ubuntu2_ppc64el.deb ... 524s Unpacking libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 524s Selecting previously unselected package libgtksourceview-3.0-common. 524s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 524s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 524s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 524s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-5_ppc64el.deb ... 524s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-5) ... 524s Selecting previously unselected package liblablgtk3-ocaml. 524s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build4_ppc64el.deb ... 524s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 524s Selecting previously unselected package liblablgtksourceview3-ocaml. 524s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build4_ppc64el.deb ... 524s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 524s Selecting previously unselected package libncurses-dev:ppc64el. 524s Preparing to unpack .../91-libncurses-dev_6.5+20250216-2build1_ppc64el.deb ... 524s Unpacking libncurses-dev:ppc64el (6.5+20250216-2build1) ... 524s Selecting previously unselected package libzstd-dev:ppc64el. 524s Preparing to unpack .../92-libzstd-dev_1.5.7+dfsg-1build2_ppc64el.deb ... 524s Unpacking libzstd-dev:ppc64el (1.5.7+dfsg-1build2) ... 524s Selecting previously unselected package ocaml-interp. 524s Preparing to unpack .../93-ocaml-interp_5.3.0-3_ppc64el.deb ... 524s Unpacking ocaml-interp (5.3.0-3) ... 524s Selecting previously unselected package ocaml. 524s Preparing to unpack .../94-ocaml_5.3.0-3_ppc64el.deb ... 524s Unpacking ocaml (5.3.0-3) ... 525s Selecting previously unselected package tex-common. 525s Preparing to unpack .../95-tex-common_6.19_all.deb ... 525s Unpacking tex-common (6.19) ... 525s Selecting previously unselected package why3. 525s Preparing to unpack .../96-why3_1.8.2-1_ppc64el.deb ... 525s Unpacking why3 (1.8.2-1) ... 525s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 525s Setting up liblcms2-2:ppc64el (2.16-2) ... 525s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 525s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 525s Setting up libcln6:ppc64el (1.3.7-1) ... 525s Setting up libncurses-dev:ppc64el (6.5+20250216-2build1) ... 525s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 525s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 525s Setting up libzstd-dev:ppc64el (1.5.7+dfsg-1build2) ... 525s Setting up hicolor-icon-theme (0.18-2) ... 525s Setting up libxi6:ppc64el (2:1.8.2-1) ... 525s Setting up libxrender1:ppc64el (1:0.9.12-1) ... 525s Setting up libdatrie1:ppc64el (0.2.13-4) ... 525s Setting up libxcb-render0:ppc64el (1.17.0-2build1) ... 525s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 525s Setting up libdeflate0:ppc64el (1.23-2) ... 525s Setting up libxcb-shm0:ppc64el (1.17.0-2build1) ... 525s Setting up libgomp1:ppc64el (15.2.0-5ubuntu1) ... 525s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 525s Setting up libcryptominisat5-5.11t64:ppc64el (5.11.21+dfsg1-2) ... 525s Setting up libcolord2:ppc64el (1.4.7-3build1) ... 525s Setting up libdconf1:ppc64el (0.40.0-5willsync1) ... 525s Setting up tex-common (6.19) ... 525s update-language: texlive-base not installed and configured, doing nothing! 525s Setting up libepoxy0:ppc64el (1.5.10-2) ... 525s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 525s Setting up libavahi-common-data:ppc64el (0.8-16ubuntu3) ... 525s Setting up libatspi2.0-0t64:ppc64el (2.57.1-1) ... 525s Setting up libquadmath0:ppc64el (15.2.0-5ubuntu1) ... 525s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 525s Setting up libstdlib-ocaml (5.3.0-3) ... 525s Setting up fonts-dejavu-mono (2.37-8) ... 525s Setting up libmpc3:ppc64el (1.3.1-1build3) ... 525s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 525s Setting up ocaml-base (5.3.0-3) ... 525s Setting up fonts-dejavu-core (2.37-8) ... 525s Setting up libjpeg-turbo8:ppc64el (2.1.5-4ubuntu2) ... 525s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 525s Setting up libubsan1:ppc64el (15.2.0-5ubuntu1) ... 525s Setting up at-spi2-common (2.57.1-1) ... 525s Setting up libasan8:ppc64el (15.2.0-5ubuntu1) ... 525s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 525s Setting up libharfbuzz0b:ppc64el (12.1.0-1) ... 525s Setting up libthai-data (0.1.29-2build1) ... 525s Setting up libwayland-egl1:ppc64el (1.24.0-1build1) ... 525s Setting up libtsan2:ppc64el (15.2.0-5ubuntu1) ... 525s Setting up libisl23:ppc64el (0.27-1) ... 525s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 525s Setting up libcc1-0:ppc64el (15.2.0-5ubuntu1) ... 525s Setting up liblsan0:ppc64el (15.2.0-5ubuntu1) ... 525s Setting up libitm1:ppc64el (15.2.0-5ubuntu1) ... 525s Setting up libwayland-client0:ppc64el (1.24.0-1build1) ... 525s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 525s Setting up libcvc5-1:ppc64el (1.1.2-2build1) ... 525s Setting up libgcc-15-dev:ppc64el (15.2.0-5ubuntu1) ... 525s Setting up libatk1.0-0t64:ppc64el (2.57.1-1) ... 525s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 525s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 526s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 526s Setting up libavahi-common3:ppc64el (0.8-16ubuntu3) ... 526s Setting up dconf-service (0.40.0-5willsync1) ... 526s Setting up libthai0:ppc64el (0.1.29-2build1) ... 526s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 526s Setting up cpp-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 526s Setting up ocaml-interp (5.3.0-3) ... 526s Setting up libcvc5parser1:ppc64el (1.1.2-2build1) ... 526s Setting up cpp-15 (15.2.0-5ubuntu1) ... 526s Setting up cvc5 (1.1.2-2build1) ... 526s Setting up libtiff6:ppc64el (4.7.0-3ubuntu3) ... 526s Setting up libwayland-cursor0:ppc64el (1.24.0-1build1) ... 526s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-5) ... 526s Setting up libfontconfig1:ppc64el (2.15.0-2.3ubuntu1) ... 526s Setting up libavahi-client3:ppc64el (0.8-16ubuntu3) ... 526s Setting up cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 526s Setting up libatk-bridge2.0-0t64:ppc64el (2.57.1-1) ... 526s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 526s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 528s Regenerating fonts cache... done. 528s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5willsync1) ... 528s Setting up gcc-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 528s Setting up libpango-1.0-0:ppc64el (1.56.3-1build1) ... 528s Setting up libcairo2:ppc64el (1.18.4-1build1) ... 528s Setting up gcc-15 (15.2.0-5ubuntu1) ... 528s Setting up adwaita-icon-theme (49.0-1) ... 528s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 528s Setting up gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 528s Setting up cpp (4:15.2.0-4ubuntu1) ... 528s Setting up libcairo-gobject2:ppc64el (1.18.4-1build1) ... 528s Setting up libpangoft2-1.0-0:ppc64el (1.56.3-1build1) ... 528s Setting up libcups2t64:ppc64el (2.4.12-0ubuntu3) ... 528s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 528s Setting up libpangocairo-1.0-0:ppc64el (1.56.3-1build1) ... 528s Setting up libcairo2-ocaml (0.6.5-2build2) ... 528s Setting up gcc (4:15.2.0-4ubuntu1) ... 528s Setting up ocaml (5.3.0-3) ... 528s Processing triggers for libc-bin (2.42-0ubuntu3) ... 528s Processing triggers for man-db (2.13.1-1) ... 530s Processing triggers for libglib2.0-0t64:ppc64el (2.86.0-2) ... 530s Setting up libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 530s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 530s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-5) ... 530s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 530s Setting up why3 (1.8.2-1) ... 530s Processing triggers for libc-bin (2.42-0ubuntu3) ... 540s autopkgtest [22:08:06]: test why3+cvc5: [----------------------- 541s autopkgtest [22:08:07]: test why3+cvc5: -----------------------] 542s why3+cvc5 PASS 542s autopkgtest [22:08:08]: test why3+cvc5: - - - - - - - - - - results - - - - - - - - - - 542s autopkgtest [22:08:08]: test why3+spass: preparing testbed 563s Creating nova instance adt-resolute-ppc64el-why3-20251020-215906-juju-7f2275-prod-proposed-migration-environment-15-021b350e-6092-43bb-a4d3-cdea2351ac69 from image adt/ubuntu-resolute-ppc64el-server-20251020.img (UUID 243ad32c-1bbf-485e-924d-1d24001cd7a1)... 639s autopkgtest [22:09:45]: testbed dpkg architecture: ppc64el 639s autopkgtest [22:09:45]: testbed apt version: 3.1.8ubuntu1 640s autopkgtest [22:09:46]: @@@@@@@@@@@@@@@@@@@@ test bed setup 640s autopkgtest [22:09:46]: testbed release detected to be: resolute 641s autopkgtest [22:09:47]: updating testbed package index (apt update) 641s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 641s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 641s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 641s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 641s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [683 kB] 642s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 642s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [63.1 kB] 642s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.0 kB] 642s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el Packages [116 kB] 642s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted ppc64el Packages [940 B] 642s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe ppc64el Packages [437 kB] 642s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse ppc64el Packages [4596 B] 643s Fetched 1409 kB in 2s (836 kB/s) 643s Reading package lists... 644s Failed to check for VM: Permission denied 644s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 644s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 644s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 644s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 645s Reading package lists... 645s Reading package lists... 646s Building dependency tree... 646s Reading state information... 646s Calculating upgrade... 646s The following packages will be upgraded: 646s libbrotli1 python3-markupsafe 646s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 646s Need to get 437 kB of archives. 646s After this operation, 68.6 kB of additional disk space will be used. 646s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el libbrotli1 ppc64el 1.1.0-2build6 [422 kB] 647s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el python3-markupsafe ppc64el 2.1.5-1build5 [14.6 kB] 647s dpkg-preconfigure: unable to re-open stdin: No such file or directory 647s Fetched 437 kB in 1s (537 kB/s) 647s (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 ... 76476 files and directories currently installed.) 647s Preparing to unpack .../libbrotli1_1.1.0-2build6_ppc64el.deb ... 647s Unpacking libbrotli1:ppc64el (1.1.0-2build6) over (1.1.0-2build5) ... 647s Preparing to unpack .../python3-markupsafe_2.1.5-1build5_ppc64el.deb ... 647s Unpacking python3-markupsafe (2.1.5-1build5) over (2.1.5-1build4) ... 648s Setting up libbrotli1:ppc64el (1.1.0-2build6) ... 648s Setting up python3-markupsafe (2.1.5-1build5) ... 648s Processing triggers for libc-bin (2.42-0ubuntu3) ... 648s autopkgtest [22:09:54]: upgrading testbed (apt dist-upgrade and autopurge) 648s Reading package lists... 648s Building dependency tree... 648s Reading state information... 648s Calculating upgrade... 648s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 649s Reading package lists... 649s Building dependency tree... 649s Reading state information... 649s Solving dependencies... 649s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 652s Reading package lists... 652s Building dependency tree... 652s Reading state information... 652s Solving dependencies... 652s The following NEW packages will be installed: 652s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-powerpc64le-linux-gnu 652s cpp-powerpc64le-linux-gnu dconf-gsettings-backend dconf-service fontconfig 652s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 652s gcc-15-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 652s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 652s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 652s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 652s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 652s libepoxy0 libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 652s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 652s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 652s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 652s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 652s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 652s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 652s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 652s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 652s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 652s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass 652s tex-common why3 653s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 653s Need to get 165 MB of archives. 653s After this operation, 535 MB of additional disk space will be used. 653s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 653s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-4ubuntu2 [215 kB] 653s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 653s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdeflate0 ppc64el 1.23-2 [63.3 kB] 653s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 653s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 653s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 653s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 653s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtiff6 ppc64el 4.7.0-3ubuntu3 [307 kB] 654s Get:10 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-5 [195 kB] 654s Get:11 http://ftpmaster.internal/ubuntu resolute/main ppc64el gtk-update-icon-cache ppc64el 4.20.1+ds-2 [57.6 kB] 654s Get:12 http://ftpmaster.internal/ubuntu resolute/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 654s Get:13 http://ftpmaster.internal/ubuntu resolute/main ppc64el adwaita-icon-theme all 49.0-1 [581 kB] 654s Get:14 http://ftpmaster.internal/ubuntu resolute/main ppc64el at-spi2-common all 2.57.1-1 [9432 B] 654s Get:15 http://ftpmaster.internal/ubuntu resolute/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 655s Get:16 http://ftpmaster.internal/ubuntu resolute/main ppc64el libmpc3 ppc64el 1.3.1-1build3 [62.6 kB] 655s Get:17 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [11.4 MB] 665s Get:18 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15 ppc64el 15.2.0-5ubuntu1 [1036 B] 665s Get:19 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [5746 B] 665s Get:20 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp ppc64el 4:15.2.0-4ubuntu1 [22.4 kB] 665s Get:21 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdconf1 ppc64el 0.40.0-5willsync1 [45.0 kB] 665s Get:22 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-service ppc64el 0.40.0-5willsync1 [31.4 kB] 665s Get:23 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5willsync1 [27.3 kB] 665s Get:24 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 665s Get:25 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 666s Get:26 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig-config ppc64el 2.15.0-2.3ubuntu1 [38.1 kB] 666s Get:27 http://ftpmaster.internal/ubuntu resolute/main ppc64el libfontconfig1 ppc64el 2.15.0-2.3ubuntu1 [188 kB] 666s Get:28 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig ppc64el 2.15.0-2.3ubuntu1 [192 kB] 666s Get:29 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcc1-0 ppc64el 15.2.0-5ubuntu1 [49.0 kB] 666s Get:30 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgomp1 ppc64el 15.2.0-5ubuntu1 [169 kB] 666s Get:31 http://ftpmaster.internal/ubuntu resolute/main ppc64el libitm1 ppc64el 15.2.0-5ubuntu1 [32.3 kB] 666s Get:32 http://ftpmaster.internal/ubuntu resolute/main ppc64el libasan8 ppc64el 15.2.0-5ubuntu1 [3006 kB] 668s Get:33 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblsan0 ppc64el 15.2.0-5ubuntu1 [1374 kB] 668s Get:34 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtsan2 ppc64el 15.2.0-5ubuntu1 [2729 kB] 670s Get:35 http://ftpmaster.internal/ubuntu resolute/main ppc64el libubsan1 ppc64el 15.2.0-5ubuntu1 [1231 kB] 670s Get:36 http://ftpmaster.internal/ubuntu resolute/main ppc64el libquadmath0 ppc64el 15.2.0-5ubuntu1 [160 kB] 671s Get:37 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgcc-15-dev ppc64el 15.2.0-5ubuntu1 [1670 kB] 672s Get:38 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [22.4 MB] 687s Get:39 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15 ppc64el 15.2.0-5ubuntu1 [523 kB] 687s Get:40 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [1220 B] 687s Get:41 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc ppc64el 4:15.2.0-4ubuntu1 [5032 B] 687s Get:42 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk1.0-0t64 ppc64el 2.57.1-1 [60.8 kB] 688s Get:43 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 688s Get:44 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatspi2.0-0t64 ppc64el 2.57.1-1 [102 kB] 688s Get:45 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.57.1-1 [78.9 kB] 688s Get:46 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common-data ppc64el 0.8-16ubuntu3 [31.1 kB] 688s Get:47 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common3 ppc64el 0.8-16ubuntu3 [26.3 kB] 688s Get:48 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-client3 ppc64el 0.8-16ubuntu3 [31.1 kB] 688s Get:49 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 688s Get:50 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-render0 ppc64el 1.17.0-2build1 [17.2 kB] 688s Get:51 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-shm0 ppc64el 1.17.0-2build1 [6078 B] 688s Get:52 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrender1 ppc64el 1:0.9.12-1 [23.0 kB] 688s Get:53 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo2 ppc64el 1.18.4-1build1 [759 kB] 688s Get:54 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo-gobject2 ppc64el 1.18.4-1build1 [128 kB] 689s Get:55 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml ppc64el 5.3.0-3 [463 kB] 689s Get:56 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-base ppc64el 5.3.0-3 [382 kB] 689s Get:57 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build2 [28.7 kB] 689s Get:58 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 689s Get:59 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcolord2 ppc64el 1.4.7-3build1 [162 kB] 689s Get:60 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml-dev ppc64el 5.3.0-3 [8005 kB] 694s Get:61 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.3.0-3 [48.2 MB] 734s Get:62 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcups2t64 ppc64el 2.4.12-0ubuntu3 [352 kB] 734s Get:63 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdatrie1 ppc64el 0.2.13-4 [22.2 kB] 734s Get:64 http://ftpmaster.internal/ubuntu resolute/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 734s Get:65 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 734s Get:66 http://ftpmaster.internal/ubuntu resolute/main ppc64el libharfbuzz0b ppc64el 12.1.0-1 [679 kB] 735s Get:67 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 735s Get:68 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 735s Get:69 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpango-1.0-0 ppc64el 1.56.3-1build1 [282 kB] 735s Get:70 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.3-1build1 [59.1 kB] 735s Get:71 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.3-1build1 [31.0 kB] 735s Get:72 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-client0 ppc64el 1.24.0-1build1 [32.9 kB] 735s Get:73 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-cursor0 ppc64el 1.24.0-1build1 [12.0 kB] 735s Get:74 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-egl1 ppc64el 1.24.0-1build1 [6350 B] 735s Get:75 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 735s Get:76 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 735s Get:77 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 735s Get:78 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 735s Get:79 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 735s Get:80 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 735s Get:81 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 737s Get:82 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-0t64 ppc64el 3.24.50-1ubuntu2 [3552 kB] 740s Get:83 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 740s Get:84 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-5 [264 kB] 740s Get:85 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build4 [3594 kB] 743s Get:86 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build4 [331 kB] 743s Get:87 http://ftpmaster.internal/ubuntu resolute/main ppc64el libncurses-dev ppc64el 6.5+20250216-2build1 [504 kB] 743s Get:88 http://ftpmaster.internal/ubuntu resolute/main ppc64el libzstd-dev ppc64el 1.5.7+dfsg-1build2 [528 kB] 743s Get:89 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-interp ppc64el 5.3.0-3 [8365 kB] 749s Get:90 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml ppc64el 5.3.0-3 [20.7 MB] 767s Get:91 http://ftpmaster.internal/ubuntu resolute/universe ppc64el spass ppc64el 3.9-1.1 [304 kB] 767s Get:92 http://ftpmaster.internal/ubuntu resolute/universe ppc64el tex-common all 6.19 [29.8 kB] 767s Get:93 http://ftpmaster.internal/ubuntu resolute/universe ppc64el why3 ppc64el 1.8.2-1 [13.7 MB] 776s Fetched 165 MB in 2min 4s (1332 kB/s) 776s Selecting previously unselected package libgdk-pixbuf2.0-common. 776s (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 ... 76477 files and directories currently installed.) 776s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 776s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 776s Selecting previously unselected package libjpeg-turbo8:ppc64el. 776s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_ppc64el.deb ... 776s Unpacking libjpeg-turbo8:ppc64el (2.1.5-4ubuntu2) ... 776s Selecting previously unselected package libjpeg8:ppc64el. 776s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 776s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 776s Selecting previously unselected package libdeflate0:ppc64el. 776s Preparing to unpack .../03-libdeflate0_1.23-2_ppc64el.deb ... 776s Unpacking libdeflate0:ppc64el (1.23-2) ... 776s Selecting previously unselected package libjbig0:ppc64el. 776s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 776s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 776s Selecting previously unselected package liblerc4:ppc64el. 776s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 776s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 776s Selecting previously unselected package libsharpyuv0:ppc64el. 776s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 776s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 776s Selecting previously unselected package libwebp7:ppc64el. 776s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 776s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 776s Selecting previously unselected package libtiff6:ppc64el. 776s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_ppc64el.deb ... 776s Unpacking libtiff6:ppc64el (4.7.0-3ubuntu3) ... 777s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 777s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_ppc64el.deb ... 777s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-5) ... 777s Selecting previously unselected package gtk-update-icon-cache. 777s Preparing to unpack .../10-gtk-update-icon-cache_4.20.1+ds-2_ppc64el.deb ... 777s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 777s 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. 777s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 777s Selecting previously unselected package hicolor-icon-theme. 777s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 777s Unpacking hicolor-icon-theme (0.18-2) ... 777s Selecting previously unselected package adwaita-icon-theme. 777s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 777s Unpacking adwaita-icon-theme (49.0-1) ... 777s Selecting previously unselected package at-spi2-common. 777s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 777s Unpacking at-spi2-common (2.57.1-1) ... 777s Selecting previously unselected package libisl23:ppc64el. 777s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 777s Unpacking libisl23:ppc64el (0.27-1) ... 777s Selecting previously unselected package libmpc3:ppc64el. 777s Preparing to unpack .../15-libmpc3_1.3.1-1build3_ppc64el.deb ... 777s Unpacking libmpc3:ppc64el (1.3.1-1build3) ... 777s Selecting previously unselected package cpp-15-powerpc64le-linux-gnu. 777s Preparing to unpack .../16-cpp-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 777s Unpacking cpp-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 777s Selecting previously unselected package cpp-15. 777s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_ppc64el.deb ... 777s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 777s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 777s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 777s Unpacking cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 777s Selecting previously unselected package cpp. 777s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 777s Unpacking cpp (4:15.2.0-4ubuntu1) ... 777s Selecting previously unselected package libdconf1:ppc64el. 777s Preparing to unpack .../20-libdconf1_0.40.0-5willsync1_ppc64el.deb ... 777s Unpacking libdconf1:ppc64el (0.40.0-5willsync1) ... 777s Selecting previously unselected package dconf-service. 777s Preparing to unpack .../21-dconf-service_0.40.0-5willsync1_ppc64el.deb ... 777s Unpacking dconf-service (0.40.0-5willsync1) ... 777s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 777s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5willsync1_ppc64el.deb ... 777s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5willsync1) ... 777s Selecting previously unselected package fonts-dejavu-mono. 777s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 777s Unpacking fonts-dejavu-mono (2.37-8) ... 777s Selecting previously unselected package fonts-dejavu-core. 777s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 777s Unpacking fonts-dejavu-core (2.37-8) ... 777s Selecting previously unselected package fontconfig-config. 777s Preparing to unpack .../25-fontconfig-config_2.15.0-2.3ubuntu1_ppc64el.deb ... 777s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 777s Selecting previously unselected package libfontconfig1:ppc64el. 777s Preparing to unpack .../26-libfontconfig1_2.15.0-2.3ubuntu1_ppc64el.deb ... 777s Unpacking libfontconfig1:ppc64el (2.15.0-2.3ubuntu1) ... 777s Selecting previously unselected package fontconfig. 777s Preparing to unpack .../27-fontconfig_2.15.0-2.3ubuntu1_ppc64el.deb ... 777s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 777s Selecting previously unselected package libcc1-0:ppc64el. 777s Preparing to unpack .../28-libcc1-0_15.2.0-5ubuntu1_ppc64el.deb ... 777s Unpacking libcc1-0:ppc64el (15.2.0-5ubuntu1) ... 777s Selecting previously unselected package libgomp1:ppc64el. 777s Preparing to unpack .../29-libgomp1_15.2.0-5ubuntu1_ppc64el.deb ... 777s Unpacking libgomp1:ppc64el (15.2.0-5ubuntu1) ... 777s Selecting previously unselected package libitm1:ppc64el. 777s Preparing to unpack .../30-libitm1_15.2.0-5ubuntu1_ppc64el.deb ... 777s Unpacking libitm1:ppc64el (15.2.0-5ubuntu1) ... 777s Selecting previously unselected package libasan8:ppc64el. 777s Preparing to unpack .../31-libasan8_15.2.0-5ubuntu1_ppc64el.deb ... 777s Unpacking libasan8:ppc64el (15.2.0-5ubuntu1) ... 778s Selecting previously unselected package liblsan0:ppc64el. 778s Preparing to unpack .../32-liblsan0_15.2.0-5ubuntu1_ppc64el.deb ... 778s Unpacking liblsan0:ppc64el (15.2.0-5ubuntu1) ... 778s Selecting previously unselected package libtsan2:ppc64el. 778s Preparing to unpack .../33-libtsan2_15.2.0-5ubuntu1_ppc64el.deb ... 778s Unpacking libtsan2:ppc64el (15.2.0-5ubuntu1) ... 778s Selecting previously unselected package libubsan1:ppc64el. 778s Preparing to unpack .../34-libubsan1_15.2.0-5ubuntu1_ppc64el.deb ... 778s Unpacking libubsan1:ppc64el (15.2.0-5ubuntu1) ... 778s Selecting previously unselected package libquadmath0:ppc64el. 778s Preparing to unpack .../35-libquadmath0_15.2.0-5ubuntu1_ppc64el.deb ... 778s Unpacking libquadmath0:ppc64el (15.2.0-5ubuntu1) ... 778s Selecting previously unselected package libgcc-15-dev:ppc64el. 778s Preparing to unpack .../36-libgcc-15-dev_15.2.0-5ubuntu1_ppc64el.deb ... 778s Unpacking libgcc-15-dev:ppc64el (15.2.0-5ubuntu1) ... 778s Selecting previously unselected package gcc-15-powerpc64le-linux-gnu. 778s Preparing to unpack .../37-gcc-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 778s Unpacking gcc-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 778s Selecting previously unselected package gcc-15. 778s Preparing to unpack .../38-gcc-15_15.2.0-5ubuntu1_ppc64el.deb ... 778s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 778s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 778s Preparing to unpack .../39-gcc-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 778s Unpacking gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 778s Selecting previously unselected package gcc. 778s Preparing to unpack .../40-gcc_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 778s Unpacking gcc (4:15.2.0-4ubuntu1) ... 778s Selecting previously unselected package libatk1.0-0t64:ppc64el. 778s Preparing to unpack .../41-libatk1.0-0t64_2.57.1-1_ppc64el.deb ... 778s Unpacking libatk1.0-0t64:ppc64el (2.57.1-1) ... 778s Selecting previously unselected package libxi6:ppc64el. 778s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_ppc64el.deb ... 778s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 778s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 778s Preparing to unpack .../43-libatspi2.0-0t64_2.57.1-1_ppc64el.deb ... 778s Unpacking libatspi2.0-0t64:ppc64el (2.57.1-1) ... 778s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 778s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.57.1-1_ppc64el.deb ... 778s Unpacking libatk-bridge2.0-0t64:ppc64el (2.57.1-1) ... 778s Selecting previously unselected package libavahi-common-data:ppc64el. 778s Preparing to unpack .../45-libavahi-common-data_0.8-16ubuntu3_ppc64el.deb ... 778s Unpacking libavahi-common-data:ppc64el (0.8-16ubuntu3) ... 778s Selecting previously unselected package libavahi-common3:ppc64el. 778s Preparing to unpack .../46-libavahi-common3_0.8-16ubuntu3_ppc64el.deb ... 778s Unpacking libavahi-common3:ppc64el (0.8-16ubuntu3) ... 778s Selecting previously unselected package libavahi-client3:ppc64el. 778s Preparing to unpack .../47-libavahi-client3_0.8-16ubuntu3_ppc64el.deb ... 778s Unpacking libavahi-client3:ppc64el (0.8-16ubuntu3) ... 778s Selecting previously unselected package libpixman-1-0:ppc64el. 778s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_ppc64el.deb ... 778s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 778s Selecting previously unselected package libxcb-render0:ppc64el. 778s Preparing to unpack .../49-libxcb-render0_1.17.0-2build1_ppc64el.deb ... 778s Unpacking libxcb-render0:ppc64el (1.17.0-2build1) ... 778s Selecting previously unselected package libxcb-shm0:ppc64el. 778s Preparing to unpack .../50-libxcb-shm0_1.17.0-2build1_ppc64el.deb ... 778s Unpacking libxcb-shm0:ppc64el (1.17.0-2build1) ... 778s Selecting previously unselected package libxrender1:ppc64el. 778s Preparing to unpack .../51-libxrender1_1%3a0.9.12-1_ppc64el.deb ... 778s Unpacking libxrender1:ppc64el (1:0.9.12-1) ... 778s Selecting previously unselected package libcairo2:ppc64el. 778s Preparing to unpack .../52-libcairo2_1.18.4-1build1_ppc64el.deb ... 778s Unpacking libcairo2:ppc64el (1.18.4-1build1) ... 778s Selecting previously unselected package libcairo-gobject2:ppc64el. 778s Preparing to unpack .../53-libcairo-gobject2_1.18.4-1build1_ppc64el.deb ... 778s Unpacking libcairo-gobject2:ppc64el (1.18.4-1build1) ... 778s Selecting previously unselected package libstdlib-ocaml. 778s Preparing to unpack .../54-libstdlib-ocaml_5.3.0-3_ppc64el.deb ... 778s Unpacking libstdlib-ocaml (5.3.0-3) ... 778s Selecting previously unselected package ocaml-base. 778s Preparing to unpack .../55-ocaml-base_5.3.0-3_ppc64el.deb ... 778s Unpacking ocaml-base (5.3.0-3) ... 778s Selecting previously unselected package libcairo2-ocaml. 778s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2build2_ppc64el.deb ... 778s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 778s Selecting previously unselected package liblcms2-2:ppc64el. 778s Preparing to unpack .../57-liblcms2-2_2.16-2_ppc64el.deb ... 778s Unpacking liblcms2-2:ppc64el (2.16-2) ... 778s Selecting previously unselected package libcolord2:ppc64el. 778s Preparing to unpack .../58-libcolord2_1.4.7-3build1_ppc64el.deb ... 778s Unpacking libcolord2:ppc64el (1.4.7-3build1) ... 778s Selecting previously unselected package libstdlib-ocaml-dev. 779s Preparing to unpack .../59-libstdlib-ocaml-dev_5.3.0-3_ppc64el.deb ... 779s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 779s Selecting previously unselected package libcompiler-libs-ocaml-dev. 779s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.3.0-3_ppc64el.deb ... 779s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 779s Selecting previously unselected package libcups2t64:ppc64el. 779s Preparing to unpack .../61-libcups2t64_2.4.12-0ubuntu3_ppc64el.deb ... 779s Unpacking libcups2t64:ppc64el (2.4.12-0ubuntu3) ... 779s Selecting previously unselected package libdatrie1:ppc64el. 779s Preparing to unpack .../62-libdatrie1_0.2.13-4_ppc64el.deb ... 779s Unpacking libdatrie1:ppc64el (0.2.13-4) ... 779s Selecting previously unselected package libepoxy0:ppc64el. 779s Preparing to unpack .../63-libepoxy0_1.5.10-2_ppc64el.deb ... 779s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 779s Selecting previously unselected package libgraphite2-3:ppc64el. 779s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 779s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 779s Selecting previously unselected package libharfbuzz0b:ppc64el. 779s Preparing to unpack .../65-libharfbuzz0b_12.1.0-1_ppc64el.deb ... 779s Unpacking libharfbuzz0b:ppc64el (12.1.0-1) ... 779s Selecting previously unselected package libthai-data. 779s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 779s Unpacking libthai-data (0.1.29-2build1) ... 780s Selecting previously unselected package libthai0:ppc64el. 780s Preparing to unpack .../67-libthai0_0.1.29-2build1_ppc64el.deb ... 780s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 780s Selecting previously unselected package libpango-1.0-0:ppc64el. 780s Preparing to unpack .../68-libpango-1.0-0_1.56.3-1build1_ppc64el.deb ... 780s Unpacking libpango-1.0-0:ppc64el (1.56.3-1build1) ... 780s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 780s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.3-1build1_ppc64el.deb ... 780s Unpacking libpangoft2-1.0-0:ppc64el (1.56.3-1build1) ... 780s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 780s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.3-1build1_ppc64el.deb ... 780s Unpacking libpangocairo-1.0-0:ppc64el (1.56.3-1build1) ... 780s Selecting previously unselected package libwayland-client0:ppc64el. 780s Preparing to unpack .../71-libwayland-client0_1.24.0-1build1_ppc64el.deb ... 780s Unpacking libwayland-client0:ppc64el (1.24.0-1build1) ... 780s Selecting previously unselected package libwayland-cursor0:ppc64el. 780s Preparing to unpack .../72-libwayland-cursor0_1.24.0-1build1_ppc64el.deb ... 780s Unpacking libwayland-cursor0:ppc64el (1.24.0-1build1) ... 780s Selecting previously unselected package libwayland-egl1:ppc64el. 780s Preparing to unpack .../73-libwayland-egl1_1.24.0-1build1_ppc64el.deb ... 780s Unpacking libwayland-egl1:ppc64el (1.24.0-1build1) ... 780s Selecting previously unselected package libxcomposite1:ppc64el. 780s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 780s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 780s Selecting previously unselected package libxfixes3:ppc64el. 780s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 780s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 780s Selecting previously unselected package libxcursor1:ppc64el. 780s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 780s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 780s Selecting previously unselected package libxdamage1:ppc64el. 780s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 780s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 780s Selecting previously unselected package libxinerama1:ppc64el. 780s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 780s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 780s Selecting previously unselected package libxrandr2:ppc64el. 780s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 780s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 780s Selecting previously unselected package libgtk-3-common. 780s Preparing to unpack .../80-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 780s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 780s Selecting previously unselected package libgtk-3-0t64:ppc64el. 780s Preparing to unpack .../81-libgtk-3-0t64_3.24.50-1ubuntu2_ppc64el.deb ... 780s Unpacking libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 780s Selecting previously unselected package libgtksourceview-3.0-common. 780s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 780s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 780s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 780s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-5_ppc64el.deb ... 780s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-5) ... 780s Selecting previously unselected package liblablgtk3-ocaml. 780s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build4_ppc64el.deb ... 780s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 780s Selecting previously unselected package liblablgtksourceview3-ocaml. 780s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build4_ppc64el.deb ... 780s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 780s Selecting previously unselected package libncurses-dev:ppc64el. 780s Preparing to unpack .../86-libncurses-dev_6.5+20250216-2build1_ppc64el.deb ... 780s Unpacking libncurses-dev:ppc64el (6.5+20250216-2build1) ... 780s Selecting previously unselected package libzstd-dev:ppc64el. 780s Preparing to unpack .../87-libzstd-dev_1.5.7+dfsg-1build2_ppc64el.deb ... 780s Unpacking libzstd-dev:ppc64el (1.5.7+dfsg-1build2) ... 780s Selecting previously unselected package ocaml-interp. 780s Preparing to unpack .../88-ocaml-interp_5.3.0-3_ppc64el.deb ... 780s Unpacking ocaml-interp (5.3.0-3) ... 780s Selecting previously unselected package ocaml. 780s Preparing to unpack .../89-ocaml_5.3.0-3_ppc64el.deb ... 780s Unpacking ocaml (5.3.0-3) ... 781s Selecting previously unselected package spass. 781s Preparing to unpack .../90-spass_3.9-1.1_ppc64el.deb ... 781s Unpacking spass (3.9-1.1) ... 781s Selecting previously unselected package tex-common. 781s Preparing to unpack .../91-tex-common_6.19_all.deb ... 781s Unpacking tex-common (6.19) ... 781s Selecting previously unselected package why3. 781s Preparing to unpack .../92-why3_1.8.2-1_ppc64el.deb ... 781s Unpacking why3 (1.8.2-1) ... 781s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 781s Setting up liblcms2-2:ppc64el (2.16-2) ... 781s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 781s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 781s Setting up libncurses-dev:ppc64el (6.5+20250216-2build1) ... 781s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 781s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 781s Setting up libzstd-dev:ppc64el (1.5.7+dfsg-1build2) ... 781s Setting up hicolor-icon-theme (0.18-2) ... 781s Setting up libxi6:ppc64el (2:1.8.2-1) ... 781s Setting up libxrender1:ppc64el (1:0.9.12-1) ... 781s Setting up libdatrie1:ppc64el (0.2.13-4) ... 781s Setting up libxcb-render0:ppc64el (1.17.0-2build1) ... 781s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 781s Setting up libdeflate0:ppc64el (1.23-2) ... 781s Setting up libxcb-shm0:ppc64el (1.17.0-2build1) ... 781s Setting up libgomp1:ppc64el (15.2.0-5ubuntu1) ... 781s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 781s Setting up libcolord2:ppc64el (1.4.7-3build1) ... 781s Setting up libdconf1:ppc64el (0.40.0-5willsync1) ... 781s Setting up tex-common (6.19) ... 781s update-language: texlive-base not installed and configured, doing nothing! 781s Setting up libepoxy0:ppc64el (1.5.10-2) ... 781s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 781s Setting up spass (3.9-1.1) ... 781s Setting up libavahi-common-data:ppc64el (0.8-16ubuntu3) ... 781s Setting up libatspi2.0-0t64:ppc64el (2.57.1-1) ... 781s Setting up libquadmath0:ppc64el (15.2.0-5ubuntu1) ... 781s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 781s Setting up libstdlib-ocaml (5.3.0-3) ... 781s Setting up fonts-dejavu-mono (2.37-8) ... 781s Setting up libmpc3:ppc64el (1.3.1-1build3) ... 781s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 781s Setting up ocaml-base (5.3.0-3) ... 781s Setting up fonts-dejavu-core (2.37-8) ... 781s Setting up libjpeg-turbo8:ppc64el (2.1.5-4ubuntu2) ... 781s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 781s Setting up libubsan1:ppc64el (15.2.0-5ubuntu1) ... 781s Setting up at-spi2-common (2.57.1-1) ... 781s Setting up libasan8:ppc64el (15.2.0-5ubuntu1) ... 781s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 781s Setting up libharfbuzz0b:ppc64el (12.1.0-1) ... 781s Setting up libthai-data (0.1.29-2build1) ... 781s Setting up libwayland-egl1:ppc64el (1.24.0-1build1) ... 781s Setting up libtsan2:ppc64el (15.2.0-5ubuntu1) ... 781s Setting up libisl23:ppc64el (0.27-1) ... 781s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 781s Setting up libcc1-0:ppc64el (15.2.0-5ubuntu1) ... 781s Setting up liblsan0:ppc64el (15.2.0-5ubuntu1) ... 781s Setting up libitm1:ppc64el (15.2.0-5ubuntu1) ... 781s Setting up libwayland-client0:ppc64el (1.24.0-1build1) ... 781s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 781s Setting up libgcc-15-dev:ppc64el (15.2.0-5ubuntu1) ... 781s Setting up libatk1.0-0t64:ppc64el (2.57.1-1) ... 781s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 781s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 781s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 781s Setting up libavahi-common3:ppc64el (0.8-16ubuntu3) ... 781s Setting up dconf-service (0.40.0-5willsync1) ... 781s Setting up libthai0:ppc64el (0.1.29-2build1) ... 781s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 781s Setting up cpp-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 781s Setting up ocaml-interp (5.3.0-3) ... 781s Setting up cpp-15 (15.2.0-5ubuntu1) ... 781s Setting up libtiff6:ppc64el (4.7.0-3ubuntu3) ... 781s Setting up libwayland-cursor0:ppc64el (1.24.0-1build1) ... 781s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-5) ... 781s Setting up libfontconfig1:ppc64el (2.15.0-2.3ubuntu1) ... 781s Setting up libavahi-client3:ppc64el (0.8-16ubuntu3) ... 781s Setting up cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 781s Setting up libatk-bridge2.0-0t64:ppc64el (2.57.1-1) ... 781s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 781s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 783s Regenerating fonts cache... done. 783s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5willsync1) ... 783s Setting up gcc-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 783s Setting up libpango-1.0-0:ppc64el (1.56.3-1build1) ... 783s Setting up libcairo2:ppc64el (1.18.4-1build1) ... 783s Setting up gcc-15 (15.2.0-5ubuntu1) ... 783s Setting up adwaita-icon-theme (49.0-1) ... 783s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 783s Setting up gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 783s Setting up cpp (4:15.2.0-4ubuntu1) ... 783s Setting up libcairo-gobject2:ppc64el (1.18.4-1build1) ... 783s Setting up libpangoft2-1.0-0:ppc64el (1.56.3-1build1) ... 783s Setting up libcups2t64:ppc64el (2.4.12-0ubuntu3) ... 783s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 783s Setting up libpangocairo-1.0-0:ppc64el (1.56.3-1build1) ... 783s Setting up libcairo2-ocaml (0.6.5-2build2) ... 783s Setting up gcc (4:15.2.0-4ubuntu1) ... 783s Setting up ocaml (5.3.0-3) ... 783s Processing triggers for libc-bin (2.42-0ubuntu3) ... 783s Processing triggers for man-db (2.13.1-1) ... 785s Processing triggers for libglib2.0-0t64:ppc64el (2.86.0-2) ... 785s Setting up libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 785s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 785s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-5) ... 785s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 785s Setting up why3 (1.8.2-1) ... 785s Processing triggers for libc-bin (2.42-0ubuntu3) ... 796s autopkgtest [22:12:22]: test why3+spass: [----------------------- 797s autopkgtest [22:12:23]: test why3+spass: -----------------------] 798s autopkgtest [22:12:24]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 798s why3+spass PASS 798s autopkgtest [22:12:24]: test why3+z3: preparing testbed 807s Creating nova instance adt-resolute-ppc64el-why3-20251020-215906-juju-7f2275-prod-proposed-migration-environment-15-021b350e-6092-43bb-a4d3-cdea2351ac69 from image adt/ubuntu-resolute-ppc64el-server-20251020.img (UUID 243ad32c-1bbf-485e-924d-1d24001cd7a1)... 863s autopkgtest [22:13:29]: testbed dpkg architecture: ppc64el 863s autopkgtest [22:13:29]: testbed apt version: 3.1.8ubuntu1 863s autopkgtest [22:13:29]: @@@@@@@@@@@@@@@@@@@@ test bed setup 863s autopkgtest [22:13:29]: testbed release detected to be: resolute 864s autopkgtest [22:13:30]: updating testbed package index (apt update) 864s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 865s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 865s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 865s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 865s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 865s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [63.1 kB] 865s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.0 kB] 865s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [683 kB] 866s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main ppc64el Packages [116 kB] 866s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted ppc64el Packages [940 B] 866s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe ppc64el Packages [437 kB] 867s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse ppc64el Packages [4596 B] 868s Fetched 1409 kB in 3s (424 kB/s) 868s Reading package lists... 869s Failed to check for VM: Permission denied 869s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 869s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 869s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 869s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 870s Reading package lists... 870s Reading package lists... 870s Building dependency tree... 870s Reading state information... 870s Calculating upgrade... 871s The following packages will be upgraded: 871s libbrotli1 python3-markupsafe 871s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 871s Need to get 437 kB of archives. 871s After this operation, 68.6 kB of additional disk space will be used. 871s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el libbrotli1 ppc64el 1.1.0-2build6 [422 kB] 871s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el python3-markupsafe ppc64el 2.1.5-1build5 [14.6 kB] 871s dpkg-preconfigure: unable to re-open stdin: No such file or directory 871s Fetched 437 kB in 1s (573 kB/s) 872s (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 ... 76476 files and directories currently installed.) 872s Preparing to unpack .../libbrotli1_1.1.0-2build6_ppc64el.deb ... 872s Unpacking libbrotli1:ppc64el (1.1.0-2build6) over (1.1.0-2build5) ... 873s Preparing to unpack .../python3-markupsafe_2.1.5-1build5_ppc64el.deb ... 873s Unpacking python3-markupsafe (2.1.5-1build5) over (2.1.5-1build4) ... 873s Setting up libbrotli1:ppc64el (1.1.0-2build6) ... 873s Setting up python3-markupsafe (2.1.5-1build5) ... 873s Processing triggers for libc-bin (2.42-0ubuntu3) ... 873s autopkgtest [22:13:39]: upgrading testbed (apt dist-upgrade and autopurge) 873s Reading package lists... 874s Building dependency tree... 874s Reading state information... 874s Calculating upgrade... 874s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 874s Reading package lists... 874s Building dependency tree... 874s Reading state information... 874s Solving dependencies... 874s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 877s Reading package lists... 878s Building dependency tree... 878s Reading state information... 878s Solving dependencies... 878s The following NEW packages will be installed: 878s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-powerpc64le-linux-gnu 878s cpp-powerpc64le-linux-gnu dconf-gsettings-backend dconf-service fontconfig 878s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 878s gcc-15-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 878s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 878s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 878s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 878s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 878s libepoxy0 libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 878s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 878s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 878s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 878s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 878s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 878s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 878s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 878s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 878s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 878s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common 878s why3 z3 878s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 878s Need to get 171 MB of archives. 878s After this operation, 557 MB of additional disk space will be used. 878s Get:1 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 878s Get:2 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-4ubuntu2 [215 kB] 878s Get:3 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 878s Get:4 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdeflate0 ppc64el 1.23-2 [63.3 kB] 878s Get:5 http://ftpmaster.internal/ubuntu resolute/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 878s Get:6 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 879s Get:7 http://ftpmaster.internal/ubuntu resolute/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 879s Get:8 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 879s Get:9 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtiff6 ppc64el 4.7.0-3ubuntu3 [307 kB] 879s Get:10 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-5 [195 kB] 879s Get:11 http://ftpmaster.internal/ubuntu resolute/main ppc64el gtk-update-icon-cache ppc64el 4.20.1+ds-2 [57.6 kB] 879s Get:12 http://ftpmaster.internal/ubuntu resolute/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 879s Get:13 http://ftpmaster.internal/ubuntu resolute/main ppc64el adwaita-icon-theme all 49.0-1 [581 kB] 880s Get:14 http://ftpmaster.internal/ubuntu resolute/main ppc64el at-spi2-common all 2.57.1-1 [9432 B] 880s Get:15 http://ftpmaster.internal/ubuntu resolute/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 880s Get:16 http://ftpmaster.internal/ubuntu resolute/main ppc64el libmpc3 ppc64el 1.3.1-1build3 [62.6 kB] 881s Get:17 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [11.4 MB] 890s Get:18 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-15 ppc64el 15.2.0-5ubuntu1 [1036 B] 890s Get:19 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [5746 B] 890s Get:20 http://ftpmaster.internal/ubuntu resolute/main ppc64el cpp ppc64el 4:15.2.0-4ubuntu1 [22.4 kB] 890s Get:21 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdconf1 ppc64el 0.40.0-5willsync1 [45.0 kB] 890s Get:22 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-service ppc64el 0.40.0-5willsync1 [31.4 kB] 890s Get:23 http://ftpmaster.internal/ubuntu resolute/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5willsync1 [27.3 kB] 890s Get:24 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 890s Get:25 http://ftpmaster.internal/ubuntu resolute/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 890s Get:26 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig-config ppc64el 2.15.0-2.3ubuntu1 [38.1 kB] 890s Get:27 http://ftpmaster.internal/ubuntu resolute/main ppc64el libfontconfig1 ppc64el 2.15.0-2.3ubuntu1 [188 kB] 890s Get:28 http://ftpmaster.internal/ubuntu resolute/main ppc64el fontconfig ppc64el 2.15.0-2.3ubuntu1 [192 kB] 891s Get:29 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcc1-0 ppc64el 15.2.0-5ubuntu1 [49.0 kB] 891s Get:30 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgomp1 ppc64el 15.2.0-5ubuntu1 [169 kB] 891s Get:31 http://ftpmaster.internal/ubuntu resolute/main ppc64el libitm1 ppc64el 15.2.0-5ubuntu1 [32.3 kB] 891s Get:32 http://ftpmaster.internal/ubuntu resolute/main ppc64el libasan8 ppc64el 15.2.0-5ubuntu1 [3006 kB] 892s Get:33 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblsan0 ppc64el 15.2.0-5ubuntu1 [1374 kB] 893s Get:34 http://ftpmaster.internal/ubuntu resolute/main ppc64el libtsan2 ppc64el 15.2.0-5ubuntu1 [2729 kB] 895s Get:35 http://ftpmaster.internal/ubuntu resolute/main ppc64el libubsan1 ppc64el 15.2.0-5ubuntu1 [1231 kB] 896s Get:36 http://ftpmaster.internal/ubuntu resolute/main ppc64el libquadmath0 ppc64el 15.2.0-5ubuntu1 [160 kB] 896s Get:37 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgcc-15-dev ppc64el 15.2.0-5ubuntu1 [1670 kB] 898s Get:38 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15-powerpc64le-linux-gnu ppc64el 15.2.0-5ubuntu1 [22.4 MB] 919s Get:39 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-15 ppc64el 15.2.0-5ubuntu1 [523 kB] 920s Get:40 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:15.2.0-4ubuntu1 [1220 B] 920s Get:41 http://ftpmaster.internal/ubuntu resolute/main ppc64el gcc ppc64el 4:15.2.0-4ubuntu1 [5032 B] 920s Get:42 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk1.0-0t64 ppc64el 2.57.1-1 [60.8 kB] 920s Get:43 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 920s Get:44 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatspi2.0-0t64 ppc64el 2.57.1-1 [102 kB] 920s Get:45 http://ftpmaster.internal/ubuntu resolute/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.57.1-1 [78.9 kB] 920s Get:46 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common-data ppc64el 0.8-16ubuntu3 [31.1 kB] 920s Get:47 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-common3 ppc64el 0.8-16ubuntu3 [26.3 kB] 920s Get:48 http://ftpmaster.internal/ubuntu resolute/main ppc64el libavahi-client3 ppc64el 0.8-16ubuntu3 [31.1 kB] 920s Get:49 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 920s Get:50 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-render0 ppc64el 1.17.0-2build1 [17.2 kB] 920s Get:51 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcb-shm0 ppc64el 1.17.0-2build1 [6078 B] 920s Get:52 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrender1 ppc64el 1:0.9.12-1 [23.0 kB] 920s Get:53 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo2 ppc64el 1.18.4-1build1 [759 kB] 921s Get:54 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcairo-gobject2 ppc64el 1.18.4-1build1 [128 kB] 921s Get:55 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml ppc64el 5.3.0-3 [463 kB] 921s Get:56 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-base ppc64el 5.3.0-3 [382 kB] 921s Get:57 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build2 [28.7 kB] 921s Get:58 http://ftpmaster.internal/ubuntu resolute/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 922s Get:59 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcolord2 ppc64el 1.4.7-3build1 [162 kB] 922s Get:60 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libstdlib-ocaml-dev ppc64el 5.3.0-3 [8005 kB] 928s Get:61 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.3.0-3 [48.2 MB] 957s Get:62 http://ftpmaster.internal/ubuntu resolute/main ppc64el libcups2t64 ppc64el 2.4.12-0ubuntu3 [352 kB] 957s Get:63 http://ftpmaster.internal/ubuntu resolute/main ppc64el libdatrie1 ppc64el 0.2.13-4 [22.2 kB] 957s Get:64 http://ftpmaster.internal/ubuntu resolute/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 957s Get:65 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 957s Get:66 http://ftpmaster.internal/ubuntu resolute/main ppc64el libharfbuzz0b ppc64el 12.1.0-1 [679 kB] 957s Get:67 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 957s Get:68 http://ftpmaster.internal/ubuntu resolute/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 957s Get:69 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpango-1.0-0 ppc64el 1.56.3-1build1 [282 kB] 957s Get:70 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.3-1build1 [59.1 kB] 957s Get:71 http://ftpmaster.internal/ubuntu resolute/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.3-1build1 [31.0 kB] 957s Get:72 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-client0 ppc64el 1.24.0-1build1 [32.9 kB] 957s Get:73 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-cursor0 ppc64el 1.24.0-1build1 [12.0 kB] 957s Get:74 http://ftpmaster.internal/ubuntu resolute/main ppc64el libwayland-egl1 ppc64el 1.24.0-1build1 [6350 B] 957s Get:75 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 957s Get:76 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 957s Get:77 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 957s Get:78 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 957s Get:79 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 957s Get:80 http://ftpmaster.internal/ubuntu resolute/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 957s Get:81 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 958s Get:82 http://ftpmaster.internal/ubuntu resolute/main ppc64el libgtk-3-0t64 ppc64el 3.24.50-1ubuntu2 [3552 kB] 958s Get:83 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 958s Get:84 http://ftpmaster.internal/ubuntu resolute/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-5 [264 kB] 958s Get:85 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build4 [3594 kB] 959s Get:86 http://ftpmaster.internal/ubuntu resolute/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build4 [331 kB] 959s Get:87 http://ftpmaster.internal/ubuntu resolute/main ppc64el libncurses-dev ppc64el 6.5+20250216-2build1 [504 kB] 959s Get:88 http://ftpmaster.internal/ubuntu resolute/main ppc64el libzstd-dev ppc64el 1.5.7+dfsg-1build2 [528 kB] 959s Get:89 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml-interp ppc64el 5.3.0-3 [8365 kB] 960s Get:90 http://ftpmaster.internal/ubuntu resolute/universe ppc64el ocaml ppc64el 5.3.0-3 [20.7 MB] 963s Get:91 http://ftpmaster.internal/ubuntu resolute/universe ppc64el tex-common all 6.19 [29.8 kB] 963s Get:92 http://ftpmaster.internal/ubuntu resolute/universe ppc64el why3 ppc64el 1.8.2-1 [13.7 MB] 966s Get:93 http://ftpmaster.internal/ubuntu resolute/universe ppc64el z3 ppc64el 4.13.3-1 [7196 kB] 968s Fetched 171 MB in 1min 30s (1908 kB/s) 968s Selecting previously unselected package libgdk-pixbuf2.0-common. 968s (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 ... 76477 files and directories currently installed.) 968s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 968s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 968s Selecting previously unselected package libjpeg-turbo8:ppc64el. 968s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_ppc64el.deb ... 968s Unpacking libjpeg-turbo8:ppc64el (2.1.5-4ubuntu2) ... 968s Selecting previously unselected package libjpeg8:ppc64el. 968s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 968s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 968s Selecting previously unselected package libdeflate0:ppc64el. 968s Preparing to unpack .../03-libdeflate0_1.23-2_ppc64el.deb ... 968s Unpacking libdeflate0:ppc64el (1.23-2) ... 968s Selecting previously unselected package libjbig0:ppc64el. 968s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 968s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 968s Selecting previously unselected package liblerc4:ppc64el. 968s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 968s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 968s Selecting previously unselected package libsharpyuv0:ppc64el. 968s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 968s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 968s Selecting previously unselected package libwebp7:ppc64el. 968s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 968s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 968s Selecting previously unselected package libtiff6:ppc64el. 968s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_ppc64el.deb ... 968s Unpacking libtiff6:ppc64el (4.7.0-3ubuntu3) ... 968s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 968s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_ppc64el.deb ... 968s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-5) ... 968s Selecting previously unselected package gtk-update-icon-cache. 968s Preparing to unpack .../10-gtk-update-icon-cache_4.20.1+ds-2_ppc64el.deb ... 968s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 968s 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. 968s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 968s Selecting previously unselected package hicolor-icon-theme. 968s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 968s Unpacking hicolor-icon-theme (0.18-2) ... 968s Selecting previously unselected package adwaita-icon-theme. 968s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 968s Unpacking adwaita-icon-theme (49.0-1) ... 968s Selecting previously unselected package at-spi2-common. 968s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 968s Unpacking at-spi2-common (2.57.1-1) ... 968s Selecting previously unselected package libisl23:ppc64el. 968s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 968s Unpacking libisl23:ppc64el (0.27-1) ... 968s Selecting previously unselected package libmpc3:ppc64el. 968s Preparing to unpack .../15-libmpc3_1.3.1-1build3_ppc64el.deb ... 968s Unpacking libmpc3:ppc64el (1.3.1-1build3) ... 968s Selecting previously unselected package cpp-15-powerpc64le-linux-gnu. 968s Preparing to unpack .../16-cpp-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 968s Unpacking cpp-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 968s Selecting previously unselected package cpp-15. 969s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 969s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 969s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 969s Unpacking cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 969s Selecting previously unselected package cpp. 969s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 969s Unpacking cpp (4:15.2.0-4ubuntu1) ... 969s Selecting previously unselected package libdconf1:ppc64el. 969s Preparing to unpack .../20-libdconf1_0.40.0-5willsync1_ppc64el.deb ... 969s Unpacking libdconf1:ppc64el (0.40.0-5willsync1) ... 969s Selecting previously unselected package dconf-service. 969s Preparing to unpack .../21-dconf-service_0.40.0-5willsync1_ppc64el.deb ... 969s Unpacking dconf-service (0.40.0-5willsync1) ... 969s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 969s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5willsync1_ppc64el.deb ... 969s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5willsync1) ... 969s Selecting previously unselected package fonts-dejavu-mono. 969s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 969s Unpacking fonts-dejavu-mono (2.37-8) ... 969s Selecting previously unselected package fonts-dejavu-core. 969s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 969s Unpacking fonts-dejavu-core (2.37-8) ... 969s Selecting previously unselected package fontconfig-config. 969s Preparing to unpack .../25-fontconfig-config_2.15.0-2.3ubuntu1_ppc64el.deb ... 969s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 969s Selecting previously unselected package libfontconfig1:ppc64el. 969s Preparing to unpack .../26-libfontconfig1_2.15.0-2.3ubuntu1_ppc64el.deb ... 969s Unpacking libfontconfig1:ppc64el (2.15.0-2.3ubuntu1) ... 969s Selecting previously unselected package fontconfig. 969s Preparing to unpack .../27-fontconfig_2.15.0-2.3ubuntu1_ppc64el.deb ... 969s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 969s Selecting previously unselected package libcc1-0:ppc64el. 969s Preparing to unpack .../28-libcc1-0_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking libcc1-0:ppc64el (15.2.0-5ubuntu1) ... 969s Selecting previously unselected package libgomp1:ppc64el. 969s Preparing to unpack .../29-libgomp1_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking libgomp1:ppc64el (15.2.0-5ubuntu1) ... 969s Selecting previously unselected package libitm1:ppc64el. 969s Preparing to unpack .../30-libitm1_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking libitm1:ppc64el (15.2.0-5ubuntu1) ... 969s Selecting previously unselected package libasan8:ppc64el. 969s Preparing to unpack .../31-libasan8_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking libasan8:ppc64el (15.2.0-5ubuntu1) ... 969s Selecting previously unselected package liblsan0:ppc64el. 969s Preparing to unpack .../32-liblsan0_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking liblsan0:ppc64el (15.2.0-5ubuntu1) ... 969s Selecting previously unselected package libtsan2:ppc64el. 969s Preparing to unpack .../33-libtsan2_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking libtsan2:ppc64el (15.2.0-5ubuntu1) ... 969s Selecting previously unselected package libubsan1:ppc64el. 969s Preparing to unpack .../34-libubsan1_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking libubsan1:ppc64el (15.2.0-5ubuntu1) ... 969s Selecting previously unselected package libquadmath0:ppc64el. 969s Preparing to unpack .../35-libquadmath0_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking libquadmath0:ppc64el (15.2.0-5ubuntu1) ... 969s Selecting previously unselected package libgcc-15-dev:ppc64el. 969s Preparing to unpack .../36-libgcc-15-dev_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking libgcc-15-dev:ppc64el (15.2.0-5ubuntu1) ... 969s Selecting previously unselected package gcc-15-powerpc64le-linux-gnu. 969s Preparing to unpack .../37-gcc-15-powerpc64le-linux-gnu_15.2.0-5ubuntu1_ppc64el.deb ... 969s Unpacking gcc-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 970s Selecting previously unselected package gcc-15. 970s Preparing to unpack .../38-gcc-15_15.2.0-5ubuntu1_ppc64el.deb ... 970s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 970s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 970s Preparing to unpack .../39-gcc-powerpc64le-linux-gnu_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 970s Unpacking gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 970s Selecting previously unselected package gcc. 970s Preparing to unpack .../40-gcc_4%3a15.2.0-4ubuntu1_ppc64el.deb ... 970s Unpacking gcc (4:15.2.0-4ubuntu1) ... 970s Selecting previously unselected package libatk1.0-0t64:ppc64el. 970s Preparing to unpack .../41-libatk1.0-0t64_2.57.1-1_ppc64el.deb ... 970s Unpacking libatk1.0-0t64:ppc64el (2.57.1-1) ... 970s Selecting previously unselected package libxi6:ppc64el. 970s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_ppc64el.deb ... 970s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 970s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 970s Preparing to unpack .../43-libatspi2.0-0t64_2.57.1-1_ppc64el.deb ... 970s Unpacking libatspi2.0-0t64:ppc64el (2.57.1-1) ... 970s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 970s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.57.1-1_ppc64el.deb ... 970s Unpacking libatk-bridge2.0-0t64:ppc64el (2.57.1-1) ... 970s Selecting previously unselected package libavahi-common-data:ppc64el. 970s Preparing to unpack .../45-libavahi-common-data_0.8-16ubuntu3_ppc64el.deb ... 970s Unpacking libavahi-common-data:ppc64el (0.8-16ubuntu3) ... 970s Selecting previously unselected package libavahi-common3:ppc64el. 970s Preparing to unpack .../46-libavahi-common3_0.8-16ubuntu3_ppc64el.deb ... 970s Unpacking libavahi-common3:ppc64el (0.8-16ubuntu3) ... 970s Selecting previously unselected package libavahi-client3:ppc64el. 970s Preparing to unpack .../47-libavahi-client3_0.8-16ubuntu3_ppc64el.deb ... 970s Unpacking libavahi-client3:ppc64el (0.8-16ubuntu3) ... 970s Selecting previously unselected package libpixman-1-0:ppc64el. 970s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_ppc64el.deb ... 970s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 970s Selecting previously unselected package libxcb-render0:ppc64el. 970s Preparing to unpack .../49-libxcb-render0_1.17.0-2build1_ppc64el.deb ... 970s Unpacking libxcb-render0:ppc64el (1.17.0-2build1) ... 970s Selecting previously unselected package libxcb-shm0:ppc64el. 970s Preparing to unpack .../50-libxcb-shm0_1.17.0-2build1_ppc64el.deb ... 970s Unpacking libxcb-shm0:ppc64el (1.17.0-2build1) ... 970s Selecting previously unselected package libxrender1:ppc64el. 970s Preparing to unpack .../51-libxrender1_1%3a0.9.12-1_ppc64el.deb ... 970s Unpacking libxrender1:ppc64el (1:0.9.12-1) ... 970s Selecting previously unselected package libcairo2:ppc64el. 970s Preparing to unpack .../52-libcairo2_1.18.4-1build1_ppc64el.deb ... 970s Unpacking libcairo2:ppc64el (1.18.4-1build1) ... 970s Selecting previously unselected package libcairo-gobject2:ppc64el. 970s Preparing to unpack .../53-libcairo-gobject2_1.18.4-1build1_ppc64el.deb ... 970s Unpacking libcairo-gobject2:ppc64el (1.18.4-1build1) ... 970s Selecting previously unselected package libstdlib-ocaml. 970s Preparing to unpack .../54-libstdlib-ocaml_5.3.0-3_ppc64el.deb ... 970s Unpacking libstdlib-ocaml (5.3.0-3) ... 970s Selecting previously unselected package ocaml-base. 970s Preparing to unpack .../55-ocaml-base_5.3.0-3_ppc64el.deb ... 970s Unpacking ocaml-base (5.3.0-3) ... 970s Selecting previously unselected package libcairo2-ocaml. 970s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2build2_ppc64el.deb ... 970s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 970s Selecting previously unselected package liblcms2-2:ppc64el. 970s Preparing to unpack .../57-liblcms2-2_2.16-2_ppc64el.deb ... 970s Unpacking liblcms2-2:ppc64el (2.16-2) ... 970s Selecting previously unselected package libcolord2:ppc64el. 970s Preparing to unpack .../58-libcolord2_1.4.7-3build1_ppc64el.deb ... 970s Unpacking libcolord2:ppc64el (1.4.7-3build1) ... 970s Selecting previously unselected package libstdlib-ocaml-dev. 970s Preparing to unpack .../59-libstdlib-ocaml-dev_5.3.0-3_ppc64el.deb ... 970s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 970s Selecting previously unselected package libcompiler-libs-ocaml-dev. 970s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.3.0-3_ppc64el.deb ... 970s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 971s Selecting previously unselected package libcups2t64:ppc64el. 971s Preparing to unpack .../61-libcups2t64_2.4.12-0ubuntu3_ppc64el.deb ... 971s Unpacking libcups2t64:ppc64el (2.4.12-0ubuntu3) ... 971s Selecting previously unselected package libdatrie1:ppc64el. 971s Preparing to unpack .../62-libdatrie1_0.2.13-4_ppc64el.deb ... 971s Unpacking libdatrie1:ppc64el (0.2.13-4) ... 971s Selecting previously unselected package libepoxy0:ppc64el. 971s Preparing to unpack .../63-libepoxy0_1.5.10-2_ppc64el.deb ... 971s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 971s Selecting previously unselected package libgraphite2-3:ppc64el. 971s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 971s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 971s Selecting previously unselected package libharfbuzz0b:ppc64el. 971s Preparing to unpack .../65-libharfbuzz0b_12.1.0-1_ppc64el.deb ... 971s Unpacking libharfbuzz0b:ppc64el (12.1.0-1) ... 971s Selecting previously unselected package libthai-data. 971s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 971s Unpacking libthai-data (0.1.29-2build1) ... 971s Selecting previously unselected package libthai0:ppc64el. 971s Preparing to unpack .../67-libthai0_0.1.29-2build1_ppc64el.deb ... 971s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 971s Selecting previously unselected package libpango-1.0-0:ppc64el. 971s Preparing to unpack .../68-libpango-1.0-0_1.56.3-1build1_ppc64el.deb ... 971s Unpacking libpango-1.0-0:ppc64el (1.56.3-1build1) ... 971s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 971s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.3-1build1_ppc64el.deb ... 971s Unpacking libpangoft2-1.0-0:ppc64el (1.56.3-1build1) ... 971s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 971s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.3-1build1_ppc64el.deb ... 971s Unpacking libpangocairo-1.0-0:ppc64el (1.56.3-1build1) ... 971s Selecting previously unselected package libwayland-client0:ppc64el. 971s Preparing to unpack .../71-libwayland-client0_1.24.0-1build1_ppc64el.deb ... 971s Unpacking libwayland-client0:ppc64el (1.24.0-1build1) ... 971s Selecting previously unselected package libwayland-cursor0:ppc64el. 971s Preparing to unpack .../72-libwayland-cursor0_1.24.0-1build1_ppc64el.deb ... 971s Unpacking libwayland-cursor0:ppc64el (1.24.0-1build1) ... 971s Selecting previously unselected package libwayland-egl1:ppc64el. 971s Preparing to unpack .../73-libwayland-egl1_1.24.0-1build1_ppc64el.deb ... 971s Unpacking libwayland-egl1:ppc64el (1.24.0-1build1) ... 971s Selecting previously unselected package libxcomposite1:ppc64el. 971s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 971s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 971s Selecting previously unselected package libxfixes3:ppc64el. 971s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 971s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 971s Selecting previously unselected package libxcursor1:ppc64el. 971s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 971s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 971s Selecting previously unselected package libxdamage1:ppc64el. 971s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 971s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 971s Selecting previously unselected package libxinerama1:ppc64el. 971s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 971s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 971s Selecting previously unselected package libxrandr2:ppc64el. 971s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 971s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 971s Selecting previously unselected package libgtk-3-common. 971s Preparing to unpack .../80-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 971s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 971s Selecting previously unselected package libgtk-3-0t64:ppc64el. 971s Preparing to unpack .../81-libgtk-3-0t64_3.24.50-1ubuntu2_ppc64el.deb ... 971s Unpacking libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 971s Selecting previously unselected package libgtksourceview-3.0-common. 971s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 971s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 971s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 971s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-5_ppc64el.deb ... 971s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-5) ... 971s Selecting previously unselected package liblablgtk3-ocaml. 971s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build4_ppc64el.deb ... 971s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 971s Selecting previously unselected package liblablgtksourceview3-ocaml. 971s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build4_ppc64el.deb ... 971s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 971s Selecting previously unselected package libncurses-dev:ppc64el. 971s Preparing to unpack .../86-libncurses-dev_6.5+20250216-2build1_ppc64el.deb ... 971s Unpacking libncurses-dev:ppc64el (6.5+20250216-2build1) ... 971s Selecting previously unselected package libzstd-dev:ppc64el. 971s Preparing to unpack .../87-libzstd-dev_1.5.7+dfsg-1build2_ppc64el.deb ... 971s Unpacking libzstd-dev:ppc64el (1.5.7+dfsg-1build2) ... 971s Selecting previously unselected package ocaml-interp. 971s Preparing to unpack .../88-ocaml-interp_5.3.0-3_ppc64el.deb ... 971s Unpacking ocaml-interp (5.3.0-3) ... 971s Selecting previously unselected package ocaml. 971s Preparing to unpack .../89-ocaml_5.3.0-3_ppc64el.deb ... 971s Unpacking ocaml (5.3.0-3) ... 972s Selecting previously unselected package tex-common. 972s Preparing to unpack .../90-tex-common_6.19_all.deb ... 972s Unpacking tex-common (6.19) ... 972s Selecting previously unselected package why3. 972s Preparing to unpack .../91-why3_1.8.2-1_ppc64el.deb ... 972s Unpacking why3 (1.8.2-1) ... 972s Selecting previously unselected package z3. 972s Preparing to unpack .../92-z3_4.13.3-1_ppc64el.deb ... 972s Unpacking z3 (4.13.3-1) ... 972s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 972s Setting up liblcms2-2:ppc64el (2.16-2) ... 972s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 972s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 972s Setting up libncurses-dev:ppc64el (6.5+20250216-2build1) ... 972s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 972s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 972s Setting up libzstd-dev:ppc64el (1.5.7+dfsg-1build2) ... 972s Setting up hicolor-icon-theme (0.18-2) ... 972s Setting up libxi6:ppc64el (2:1.8.2-1) ... 972s Setting up libxrender1:ppc64el (1:0.9.12-1) ... 972s Setting up libdatrie1:ppc64el (0.2.13-4) ... 972s Setting up libxcb-render0:ppc64el (1.17.0-2build1) ... 972s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 972s Setting up libdeflate0:ppc64el (1.23-2) ... 972s Setting up libxcb-shm0:ppc64el (1.17.0-2build1) ... 972s Setting up libgomp1:ppc64el (15.2.0-5ubuntu1) ... 972s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 972s Setting up z3 (4.13.3-1) ... 972s Setting up libcolord2:ppc64el (1.4.7-3build1) ... 972s Setting up libdconf1:ppc64el (0.40.0-5willsync1) ... 972s Setting up tex-common (6.19) ... 973s update-language: texlive-base not installed and configured, doing nothing! 973s Setting up libepoxy0:ppc64el (1.5.10-2) ... 973s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 973s Setting up libavahi-common-data:ppc64el (0.8-16ubuntu3) ... 973s Setting up libatspi2.0-0t64:ppc64el (2.57.1-1) ... 973s Setting up libquadmath0:ppc64el (15.2.0-5ubuntu1) ... 973s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 973s Setting up libstdlib-ocaml (5.3.0-3) ... 973s Setting up fonts-dejavu-mono (2.37-8) ... 973s Setting up libmpc3:ppc64el (1.3.1-1build3) ... 973s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 973s Setting up ocaml-base (5.3.0-3) ... 973s Setting up fonts-dejavu-core (2.37-8) ... 973s Setting up libjpeg-turbo8:ppc64el (2.1.5-4ubuntu2) ... 973s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 973s Setting up libubsan1:ppc64el (15.2.0-5ubuntu1) ... 973s Setting up at-spi2-common (2.57.1-1) ... 973s Setting up libasan8:ppc64el (15.2.0-5ubuntu1) ... 973s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 973s Setting up libharfbuzz0b:ppc64el (12.1.0-1) ... 973s Setting up libthai-data (0.1.29-2build1) ... 973s Setting up libwayland-egl1:ppc64el (1.24.0-1build1) ... 973s Setting up libtsan2:ppc64el (15.2.0-5ubuntu1) ... 973s Setting up libisl23:ppc64el (0.27-1) ... 973s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 973s Setting up libcc1-0:ppc64el (15.2.0-5ubuntu1) ... 973s Setting up liblsan0:ppc64el (15.2.0-5ubuntu1) ... 973s Setting up libitm1:ppc64el (15.2.0-5ubuntu1) ... 973s Setting up libwayland-client0:ppc64el (1.24.0-1build1) ... 973s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 973s Setting up libgcc-15-dev:ppc64el (15.2.0-5ubuntu1) ... 973s Setting up libatk1.0-0t64:ppc64el (2.57.1-1) ... 973s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 973s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 973s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 973s Setting up libavahi-common3:ppc64el (0.8-16ubuntu3) ... 973s Setting up dconf-service (0.40.0-5willsync1) ... 973s Setting up libthai0:ppc64el (0.1.29-2build1) ... 973s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 973s Setting up cpp-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 973s Setting up ocaml-interp (5.3.0-3) ... 973s Setting up cpp-15 (15.2.0-5ubuntu1) ... 973s Setting up libtiff6:ppc64el (4.7.0-3ubuntu3) ... 973s Setting up libwayland-cursor0:ppc64el (1.24.0-1build1) ... 973s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-5) ... 973s Setting up libfontconfig1:ppc64el (2.15.0-2.3ubuntu1) ... 973s Setting up libavahi-client3:ppc64el (0.8-16ubuntu3) ... 973s Setting up cpp-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 973s Setting up libatk-bridge2.0-0t64:ppc64el (2.57.1-1) ... 973s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 973s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 975s Regenerating fonts cache... done. 975s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5willsync1) ... 975s Setting up gcc-15-powerpc64le-linux-gnu (15.2.0-5ubuntu1) ... 975s Setting up libpango-1.0-0:ppc64el (1.56.3-1build1) ... 975s Setting up libcairo2:ppc64el (1.18.4-1build1) ... 975s Setting up gcc-15 (15.2.0-5ubuntu1) ... 975s Setting up adwaita-icon-theme (49.0-1) ... 975s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 975s Setting up gcc-powerpc64le-linux-gnu (4:15.2.0-4ubuntu1) ... 975s Setting up cpp (4:15.2.0-4ubuntu1) ... 975s Setting up libcairo-gobject2:ppc64el (1.18.4-1build1) ... 975s Setting up libpangoft2-1.0-0:ppc64el (1.56.3-1build1) ... 975s Setting up libcups2t64:ppc64el (2.4.12-0ubuntu3) ... 975s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 975s Setting up libpangocairo-1.0-0:ppc64el (1.56.3-1build1) ... 975s Setting up libcairo2-ocaml (0.6.5-2build2) ... 975s Setting up gcc (4:15.2.0-4ubuntu1) ... 975s Setting up ocaml (5.3.0-3) ... 975s Processing triggers for libc-bin (2.42-0ubuntu3) ... 975s Processing triggers for man-db (2.13.1-1) ... 979s Processing triggers for libglib2.0-0t64:ppc64el (2.86.0-2) ... 979s Setting up libgtk-3-0t64:ppc64el (3.24.50-1ubuntu2) ... 979s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 979s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-5) ... 979s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 979s Setting up why3 (1.8.2-1) ... 979s Processing triggers for libc-bin (2.42-0ubuntu3) ... 983s autopkgtest [22:15:29]: test why3+z3: [----------------------- 984s autopkgtest [22:15:30]: test why3+z3: -----------------------] 984s autopkgtest [22:15:30]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 984s why3+z3 PASS 985s autopkgtest [22:15:31]: @@@@@@@@@@@@@@@@@@@@ summary 985s why3+cvc4 PASS 985s why3+cvc5 PASS 985s why3+spass PASS 985s why3+z3 PASS