0s autopkgtest [06:14:52]: starting date and time: 2025-02-22 06:14:52+0000 0s autopkgtest [06:14:52]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [06:14:52]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.tmbokzp0/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glib2.0 --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glib2.0/2.83.4-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-ppc64el-39.secgroup --name adt-plucky-ppc64el-why3-20250222-061452-juju-7f2275-prod-proposed-migration-environment-2-77ec57e5-24a8-46c8-a914-d4ce0609d5e0 --image adt/ubuntu-plucky-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-ppc64el -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 94s autopkgtest [06:16:26]: testbed dpkg architecture: ppc64el 94s autopkgtest [06:16:26]: testbed apt version: 2.9.30ubuntu1 95s autopkgtest [06:16:27]: @@@@@@@@@@@@@@@@@@@@ test bed setup 95s autopkgtest [06:16:27]: testbed release detected to be: None 96s autopkgtest [06:16:28]: updating testbed package index (apt update) 96s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 96s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 96s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 96s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 96s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 96s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.9 kB] 96s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [504 kB] 97s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 97s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [127 kB] 97s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 97s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [432 kB] 97s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [3292 B] 97s Fetched 1276 kB in 1s (1404 kB/s) 98s Reading package lists... 98s Reading package lists... 99s Building dependency tree... 99s Reading state information... 99s Calculating upgrade... 99s Calculating upgrade... 99s The following packages will be upgraded: 99s curl libcurl3t64-gnutls libcurl4t64 99s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 99s Need to get 1221 kB of archives. 99s After this operation, 3072 B disk space will be freed. 99s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el curl ppc64el 8.12.1-2ubuntu1 [258 kB] 100s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcurl4t64 ppc64el 8.12.1-2ubuntu1 [482 kB] 100s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcurl3t64-gnutls ppc64el 8.12.1-2ubuntu1 [481 kB] 100s Fetched 1221 kB in 1s (1925 kB/s) 101s (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 ... 106371 files and directories currently installed.) 101s Preparing to unpack .../curl_8.12.1-2ubuntu1_ppc64el.deb ... 101s Unpacking curl (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 101s Preparing to unpack .../libcurl4t64_8.12.1-2ubuntu1_ppc64el.deb ... 101s Unpacking libcurl4t64:ppc64el (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 101s Preparing to unpack .../libcurl3t64-gnutls_8.12.1-2ubuntu1_ppc64el.deb ... 101s Unpacking libcurl3t64-gnutls:ppc64el (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 101s Setting up libcurl4t64:ppc64el (8.12.1-2ubuntu1) ... 101s Setting up libcurl3t64-gnutls:ppc64el (8.12.1-2ubuntu1) ... 101s Setting up curl (8.12.1-2ubuntu1) ... 101s Processing triggers for man-db (2.13.0-1) ... 102s Processing triggers for libc-bin (2.40-4ubuntu1) ... 102s Reading package lists... 102s Building dependency tree... 102s Reading state information... 103s Solving dependencies... 103s 0 upgraded, 0 newly installed, 0 to remove and 3 not upgraded. 103s autopkgtest [06:16:35]: upgrading testbed (apt dist-upgrade and autopurge) 103s Reading package lists... 103s Building dependency tree... 103s Reading state information... 104s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 104s Starting 2 pkgProblemResolver with broken count: 0 104s Done 105s Entering ResolveByKeep 105s 105s Calculating upgrade... 105s The following packages will be upgraded: 105s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 105s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 105s Need to get 2038 kB of archives. 105s After this operation, 2048 B of additional disk space will be used. 105s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el gir1.2-glib-2.0 ppc64el 2.83.4-1 [184 kB] 105s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libglib2.0-0t64 ppc64el 2.83.4-1 [1801 kB] 106s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libglib2.0-data all 2.83.4-1 [52.9 kB] 106s Fetched 2038 kB in 1s (3334 kB/s) 106s (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 ... 106371 files and directories currently installed.) 106s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_ppc64el.deb ... 106s Unpacking gir1.2-glib-2.0:ppc64el (2.83.4-1) over (2.83.3-2) ... 106s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_ppc64el.deb ... 106s Unpacking libglib2.0-0t64:ppc64el (2.83.4-1) over (2.83.3-2) ... 106s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 106s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 106s Setting up libglib2.0-0t64:ppc64el (2.83.4-1) ... 106s No schema files found: doing nothing. 106s Setting up libglib2.0-data (2.83.4-1) ... 106s Setting up gir1.2-glib-2.0:ppc64el (2.83.4-1) ... 106s Processing triggers for libc-bin (2.40-4ubuntu1) ... 107s Reading package lists... 107s Building dependency tree... 107s Reading state information... 107s Starting pkgProblemResolver with broken count: 0 107s Starting 2 pkgProblemResolver with broken count: 0 107s Done 108s Solving dependencies... 108s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 111s autopkgtest [06:16:43]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 16:32:08 UTC 2025 111s autopkgtest [06:16:43]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 115s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (dsc) [2140 B] 115s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (tar) [6637 kB] 115s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (diff) [18.9 kB] 115s gpgv: Signature made Sun Feb 2 06:48:51 2025 UTC 115s gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 115s gpgv: issuer "glondu@debian.org" 115s gpgv: Can't check signature: No public key 115s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.0-2.dsc: no acceptable signature found 116s autopkgtest [06:16:48]: testing package why3 version 1.8.0-2 117s autopkgtest [06:16:49]: build not needed 123s autopkgtest [06:16:55]: test why3+cvc4: preparing testbed 123s Reading package lists... 123s Building dependency tree... 123s Reading state information... 123s Starting pkgProblemResolver with broken count: 0 123s Starting 2 pkgProblemResolver with broken count: 0 123s Done 124s The following NEW packages will be installed: 124s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-powerpc64le-linux-gnu 124s cpp-powerpc64le-linux-gnu cvc4 dconf-gsettings-backend dconf-service 124s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 124s gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 124s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 124s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 124s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 124s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 124s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 124s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 124s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 124s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 124s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 124s liblcms2-2 liblerc4 liblsan0 libmpc3 libncurses-dev libpango-1.0-0 124s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libquadmath0 124s libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 124s libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 124s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 124s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 124s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 124s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 124s Need to get 167 MB of archives. 124s After this operation, 549 MB of additional disk space will be used. 124s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 124s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-3ubuntu2 [215 kB] 124s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 124s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdeflate0 ppc64el 1.23-1 [63.4 kB] 124s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 124s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 124s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 124s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 124s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtiff6 ppc64el 4.5.1+git230720-4ubuntu4 [272 kB] 124s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-2 [191 kB] 124s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gtk-update-icon-cache ppc64el 4.17.4+ds-4 [55.0 kB] 124s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 124s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el adwaita-icon-theme all 48~beta-3 [578 kB] 124s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el at-spi2-common all 2.55.2-1 [8916 B] 124s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 124s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 124s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu3 [10.5 MB] 125s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu3 [1036 B] 125s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 125s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 125s Get:21 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 125s Get:22 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcvc4-7 ppc64el 1.8-3build2 [4746 kB] 125s Get:23 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libantlr3c-3.4-0 ppc64el 3.4+dfsg-4build2 [60.7 kB] 125s Get:24 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcvc4parser7 ppc64el 1.8-3build2 [383 kB] 125s Get:25 http://ftpmaster.internal/ubuntu plucky/universe ppc64el cvc4 ppc64el 1.8-3build2 [76.6 kB] 125s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdconf1 ppc64el 0.40.0-5 [43.7 kB] 125s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-service ppc64el 0.40.0-5 [30.8 kB] 125s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5 [26.0 kB] 125s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 125s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 125s Get:31 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig-config ppc64el 2.15.0-2ubuntu1 [37.5 kB] 125s Get:32 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfontconfig1 ppc64el 2.15.0-2ubuntu1 [188 kB] 125s Get:33 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig ppc64el 2.15.0-2ubuntu1 [192 kB] 125s Get:34 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB] 125s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB] 125s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB] 125s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB] 125s Get:38 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB] 125s Get:39 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB] 125s Get:40 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB] 125s Get:41 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB] 125s Get:42 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu3 [1619 kB] 125s Get:43 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu3 [20.6 MB] 126s Get:44 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu3 [536 kB] 126s Get:45 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 126s Get:46 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 126s Get:47 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk1.0-0t64 ppc64el 2.55.2-1 [59.8 kB] 126s Get:48 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 126s Get:49 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatspi2.0-0t64 ppc64el 2.55.2-1 [97.5 kB] 126s Get:50 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.55.2-1 [77.8 kB] 126s Get:51 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common-data ppc64el 0.8-14ubuntu1 [30.5 kB] 126s Get:52 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common3 ppc64el 0.8-14ubuntu1 [26.0 kB] 126s Get:53 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-client3 ppc64el 0.8-14ubuntu1 [31.0 kB] 126s Get:54 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 126s Get:55 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 126s Get:56 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 126s Get:57 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 126s Get:58 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo2 ppc64el 1.18.2-2 [747 kB] 126s Get:59 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo-gobject2 ppc64el 1.18.2-2 [127 kB] 126s Get:60 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.3.0-2 [464 kB] 126s Get:61 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.3.0-2 [383 kB] 126s Get:62 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build1 [28.7 kB] 126s Get:63 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 126s Get:64 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 126s Get:65 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.3.0-2 [8008 kB] 126s Get:66 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.3.0-2 [48.2 MB] 128s Get:67 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcups2t64 ppc64el 2.4.11-0ubuntu2 [347 kB] 128s Get:68 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 128s Get:69 http://ftpmaster.internal/ubuntu plucky/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 128s Get:70 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 128s Get:71 http://ftpmaster.internal/ubuntu plucky/main ppc64el libharfbuzz0b ppc64el 10.2.0-1 [598 kB] 128s Get:72 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 128s Get:73 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 128s Get:74 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpango-1.0-0 ppc64el 1.56.1-1 [277 kB] 128s Get:75 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.1-1 [58.6 kB] 128s Get:76 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.1-1 [30.6 kB] 128s Get:77 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-client0 ppc64el 1.23.1-3 [31.7 kB] 128s Get:78 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-cursor0 ppc64el 1.23.1-3 [12.0 kB] 128s Get:79 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-egl1 ppc64el 1.23.1-3 [6236 B] 128s Get:80 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 128s Get:81 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 128s Get:82 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 128s Get:83 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 128s Get:84 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 128s Get:85 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 128s Get:86 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 128s Get:87 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-0t64 ppc64el 3.24.48-3ubuntu1 [3380 kB] 128s Get:88 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 129s Get:89 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-3 [260 kB] 129s Get:90 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build2 [3599 kB] 129s Get:91 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build2 [332 kB] 129s Get:92 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 129s Get:93 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 129s Get:94 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.3.0-2 [8368 kB] 129s Get:95 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.3.0-2 [20.8 MB] 130s Get:96 http://ftpmaster.internal/ubuntu plucky/universe ppc64el tex-common all 6.18 [32.8 kB] 130s Get:97 http://ftpmaster.internal/ubuntu plucky/universe ppc64el why3 ppc64el 1.8.0-2 [13.7 MB] 131s Fetched 167 MB in 7s (24.1 MB/s) 131s Selecting previously unselected package libgdk-pixbuf2.0-common. 131s (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 ... 106371 files and directories currently installed.) 131s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 131s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 131s Selecting previously unselected package libjpeg-turbo8:ppc64el. 131s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_ppc64el.deb ... 131s Unpacking libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 131s Selecting previously unselected package libjpeg8:ppc64el. 131s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 131s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 131s Selecting previously unselected package libdeflate0:ppc64el. 131s Preparing to unpack .../03-libdeflate0_1.23-1_ppc64el.deb ... 131s Unpacking libdeflate0:ppc64el (1.23-1) ... 131s Selecting previously unselected package libjbig0:ppc64el. 131s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 131s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 131s Selecting previously unselected package liblerc4:ppc64el. 131s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 131s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 131s Selecting previously unselected package libsharpyuv0:ppc64el. 131s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 131s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 131s Selecting previously unselected package libwebp7:ppc64el. 131s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 131s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 131s Selecting previously unselected package libtiff6:ppc64el. 131s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_ppc64el.deb ... 131s Unpacking libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 131s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 131s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_ppc64el.deb ... 131s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 131s Selecting previously unselected package gtk-update-icon-cache. 131s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_ppc64el.deb ... 131s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 131s 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. 131s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 131s Selecting previously unselected package hicolor-icon-theme. 131s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 131s Unpacking hicolor-icon-theme (0.18-2) ... 131s Selecting previously unselected package adwaita-icon-theme. 131s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 131s Unpacking adwaita-icon-theme (48~beta-3) ... 132s Selecting previously unselected package at-spi2-common. 132s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 132s Unpacking at-spi2-common (2.55.2-1) ... 132s Selecting previously unselected package libisl23:ppc64el. 132s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 132s Unpacking libisl23:ppc64el (0.27-1) ... 132s Selecting previously unselected package libmpc3:ppc64el. 132s Preparing to unpack .../15-libmpc3_1.3.1-1build2_ppc64el.deb ... 132s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 132s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 132s Preparing to unpack .../16-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu3_ppc64el.deb ... 132s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 132s Selecting previously unselected package cpp-14. 132s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_ppc64el.deb ... 132s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 132s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 132s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 132s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 132s Selecting previously unselected package cpp. 132s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 132s Unpacking cpp (4:14.2.0-1ubuntu1) ... 132s Selecting previously unselected package libcln6:ppc64el. 132s Preparing to unpack .../20-libcln6_1.3.7-1_ppc64el.deb ... 132s Unpacking libcln6:ppc64el (1.3.7-1) ... 132s Selecting previously unselected package libcvc4-7:ppc64el. 132s Preparing to unpack .../21-libcvc4-7_1.8-3build2_ppc64el.deb ... 132s Unpacking libcvc4-7:ppc64el (1.8-3build2) ... 132s Selecting previously unselected package libantlr3c-3.4-0:ppc64el. 132s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_ppc64el.deb ... 132s Unpacking libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 132s Selecting previously unselected package libcvc4parser7:ppc64el. 132s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_ppc64el.deb ... 132s Unpacking libcvc4parser7:ppc64el (1.8-3build2) ... 132s Selecting previously unselected package cvc4. 132s Preparing to unpack .../24-cvc4_1.8-3build2_ppc64el.deb ... 132s Unpacking cvc4 (1.8-3build2) ... 132s Selecting previously unselected package libdconf1:ppc64el. 132s Preparing to unpack .../25-libdconf1_0.40.0-5_ppc64el.deb ... 132s Unpacking libdconf1:ppc64el (0.40.0-5) ... 132s Selecting previously unselected package dconf-service. 132s Preparing to unpack .../26-dconf-service_0.40.0-5_ppc64el.deb ... 132s Unpacking dconf-service (0.40.0-5) ... 132s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 132s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_ppc64el.deb ... 132s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5) ... 132s Selecting previously unselected package fonts-dejavu-mono. 132s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 132s Unpacking fonts-dejavu-mono (2.37-8) ... 132s Selecting previously unselected package fonts-dejavu-core. 132s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 132s Unpacking fonts-dejavu-core (2.37-8) ... 132s Selecting previously unselected package fontconfig-config. 132s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_ppc64el.deb ... 132s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 132s Selecting previously unselected package libfontconfig1:ppc64el. 132s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_ppc64el.deb ... 132s Unpacking libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 132s Selecting previously unselected package fontconfig. 132s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_ppc64el.deb ... 132s Unpacking fontconfig (2.15.0-2ubuntu1) ... 132s Selecting previously unselected package libcc1-0:ppc64el. 132s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ... 132s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 132s Selecting previously unselected package libgomp1:ppc64el. 132s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ... 132s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ... 132s Selecting previously unselected package libitm1:ppc64el. 132s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_ppc64el.deb ... 132s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ... 132s Selecting previously unselected package libasan8:ppc64el. 132s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_ppc64el.deb ... 132s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ... 133s Selecting previously unselected package liblsan0:ppc64el. 133s Preparing to unpack .../37-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ... 133s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ... 133s Selecting previously unselected package libtsan2:ppc64el. 133s Preparing to unpack .../38-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ... 133s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ... 133s Selecting previously unselected package libubsan1:ppc64el. 133s Preparing to unpack .../39-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ... 133s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ... 133s Selecting previously unselected package libquadmath0:ppc64el. 133s Preparing to unpack .../40-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ... 133s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 133s Selecting previously unselected package libgcc-14-dev:ppc64el. 133s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu3_ppc64el.deb ... 133s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu3) ... 133s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 133s Preparing to unpack .../42-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu3_ppc64el.deb ... 133s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 133s Selecting previously unselected package gcc-14. 133s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu3_ppc64el.deb ... 133s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 133s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 133s Preparing to unpack .../44-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 133s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 133s Selecting previously unselected package gcc. 133s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 133s Unpacking gcc (4:14.2.0-1ubuntu1) ... 133s Selecting previously unselected package libatk1.0-0t64:ppc64el. 133s Preparing to unpack .../46-libatk1.0-0t64_2.55.2-1_ppc64el.deb ... 133s Unpacking libatk1.0-0t64:ppc64el (2.55.2-1) ... 133s Selecting previously unselected package libxi6:ppc64el. 133s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_ppc64el.deb ... 133s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 133s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 133s Preparing to unpack .../48-libatspi2.0-0t64_2.55.2-1_ppc64el.deb ... 133s Unpacking libatspi2.0-0t64:ppc64el (2.55.2-1) ... 133s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 133s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.2-1_ppc64el.deb ... 133s Unpacking libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 133s Selecting previously unselected package libavahi-common-data:ppc64el. 133s Preparing to unpack .../50-libavahi-common-data_0.8-14ubuntu1_ppc64el.deb ... 133s Unpacking libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 133s Selecting previously unselected package libavahi-common3:ppc64el. 133s Preparing to unpack .../51-libavahi-common3_0.8-14ubuntu1_ppc64el.deb ... 133s Unpacking libavahi-common3:ppc64el (0.8-14ubuntu1) ... 133s Selecting previously unselected package libavahi-client3:ppc64el. 133s Preparing to unpack .../52-libavahi-client3_0.8-14ubuntu1_ppc64el.deb ... 133s Unpacking libavahi-client3:ppc64el (0.8-14ubuntu1) ... 133s Selecting previously unselected package libpixman-1-0:ppc64el. 133s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_ppc64el.deb ... 133s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 133s Selecting previously unselected package libxcb-render0:ppc64el. 133s Preparing to unpack .../54-libxcb-render0_1.17.0-2_ppc64el.deb ... 133s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 133s Selecting previously unselected package libxcb-shm0:ppc64el. 133s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_ppc64el.deb ... 133s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 133s Selecting previously unselected package libxrender1:ppc64el. 133s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 133s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 133s Selecting previously unselected package libcairo2:ppc64el. 133s Preparing to unpack .../57-libcairo2_1.18.2-2_ppc64el.deb ... 133s Unpacking libcairo2:ppc64el (1.18.2-2) ... 133s Selecting previously unselected package libcairo-gobject2:ppc64el. 133s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_ppc64el.deb ... 133s Unpacking libcairo-gobject2:ppc64el (1.18.2-2) ... 133s Selecting previously unselected package libstdlib-ocaml. 133s Preparing to unpack .../59-libstdlib-ocaml_5.3.0-2_ppc64el.deb ... 133s Unpacking libstdlib-ocaml (5.3.0-2) ... 133s Selecting previously unselected package ocaml-base. 133s Preparing to unpack .../60-ocaml-base_5.3.0-2_ppc64el.deb ... 133s Unpacking ocaml-base (5.3.0-2) ... 133s Selecting previously unselected package libcairo2-ocaml. 133s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2build1_ppc64el.deb ... 133s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 133s Selecting previously unselected package liblcms2-2:ppc64el. 133s Preparing to unpack .../62-liblcms2-2_2.16-2_ppc64el.deb ... 133s Unpacking liblcms2-2:ppc64el (2.16-2) ... 134s Selecting previously unselected package libcolord2:ppc64el. 134s Preparing to unpack .../63-libcolord2_1.4.7-1build2_ppc64el.deb ... 134s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 134s Selecting previously unselected package libstdlib-ocaml-dev. 134s Preparing to unpack .../64-libstdlib-ocaml-dev_5.3.0-2_ppc64el.deb ... 134s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 134s Selecting previously unselected package libcompiler-libs-ocaml-dev. 134s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.3.0-2_ppc64el.deb ... 134s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 134s Selecting previously unselected package libcups2t64:ppc64el. 134s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_ppc64el.deb ... 134s Unpacking libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 134s Selecting previously unselected package libdatrie1:ppc64el. 134s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_ppc64el.deb ... 134s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 134s Selecting previously unselected package libepoxy0:ppc64el. 134s Preparing to unpack .../68-libepoxy0_1.5.10-2_ppc64el.deb ... 134s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 134s Selecting previously unselected package libgraphite2-3:ppc64el. 134s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 134s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 134s Selecting previously unselected package libharfbuzz0b:ppc64el. 134s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_ppc64el.deb ... 134s Unpacking libharfbuzz0b:ppc64el (10.2.0-1) ... 134s Selecting previously unselected package libthai-data. 134s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 134s Unpacking libthai-data (0.1.29-2build1) ... 134s Selecting previously unselected package libthai0:ppc64el. 134s Preparing to unpack .../72-libthai0_0.1.29-2build1_ppc64el.deb ... 134s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 134s Selecting previously unselected package libpango-1.0-0:ppc64el. 134s Preparing to unpack .../73-libpango-1.0-0_1.56.1-1_ppc64el.deb ... 134s Unpacking libpango-1.0-0:ppc64el (1.56.1-1) ... 135s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 135s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.1-1_ppc64el.deb ... 135s Unpacking libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 135s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 135s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.1-1_ppc64el.deb ... 135s Unpacking libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 135s Selecting previously unselected package libwayland-client0:ppc64el. 135s Preparing to unpack .../76-libwayland-client0_1.23.1-3_ppc64el.deb ... 135s Unpacking libwayland-client0:ppc64el (1.23.1-3) ... 135s Selecting previously unselected package libwayland-cursor0:ppc64el. 135s Preparing to unpack .../77-libwayland-cursor0_1.23.1-3_ppc64el.deb ... 135s Unpacking libwayland-cursor0:ppc64el (1.23.1-3) ... 135s Selecting previously unselected package libwayland-egl1:ppc64el. 135s Preparing to unpack .../78-libwayland-egl1_1.23.1-3_ppc64el.deb ... 135s Unpacking libwayland-egl1:ppc64el (1.23.1-3) ... 135s Selecting previously unselected package libxcomposite1:ppc64el. 135s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 135s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 135s Selecting previously unselected package libxfixes3:ppc64el. 135s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 135s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 135s Selecting previously unselected package libxcursor1:ppc64el. 135s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 135s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 135s Selecting previously unselected package libxdamage1:ppc64el. 135s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 135s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 135s Selecting previously unselected package libxinerama1:ppc64el. 135s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 135s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 135s Selecting previously unselected package libxrandr2:ppc64el. 135s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 135s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 135s Selecting previously unselected package libgtk-3-common. 135s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 135s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 135s Selecting previously unselected package libgtk-3-0t64:ppc64el. 135s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_ppc64el.deb ... 135s Unpacking libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 135s Selecting previously unselected package libgtksourceview-3.0-common. 135s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 135s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 135s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 135s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_ppc64el.deb ... 135s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 135s Selecting previously unselected package liblablgtk3-ocaml. 135s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build2_ppc64el.deb ... 135s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 135s Selecting previously unselected package liblablgtksourceview3-ocaml. 135s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build2_ppc64el.deb ... 135s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 135s Selecting previously unselected package libncurses-dev:ppc64el. 135s Preparing to unpack .../91-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 135s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 135s Selecting previously unselected package libzstd-dev:ppc64el. 135s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 135s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 135s Selecting previously unselected package ocaml-interp. 135s Preparing to unpack .../93-ocaml-interp_5.3.0-2_ppc64el.deb ... 135s Unpacking ocaml-interp (5.3.0-2) ... 135s Selecting previously unselected package ocaml. 135s Preparing to unpack .../94-ocaml_5.3.0-2_ppc64el.deb ... 135s Unpacking ocaml (5.3.0-2) ... 136s Selecting previously unselected package tex-common. 136s Preparing to unpack .../95-tex-common_6.18_all.deb ... 136s Unpacking tex-common (6.18) ... 136s Selecting previously unselected package why3. 136s Preparing to unpack .../96-why3_1.8.0-2_ppc64el.deb ... 136s Unpacking why3 (1.8.0-2) ... 136s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 136s Setting up liblcms2-2:ppc64el (2.16-2) ... 136s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 136s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 136s Setting up libcln6:ppc64el (1.3.7-1) ... 136s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 136s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 136s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 136s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 136s Setting up libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 136s Setting up hicolor-icon-theme (0.18-2) ... 136s Setting up libxi6:ppc64el (2:1.8.2-1) ... 136s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 136s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 136s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 136s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 136s Setting up libdeflate0:ppc64el (1.23-1) ... 136s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 136s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ... 136s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 136s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 136s Setting up libdconf1:ppc64el (0.40.0-5) ... 136s Setting up tex-common (6.18) ... 136s update-language: texlive-base not installed and configured, doing nothing! 137s Setting up libepoxy0:ppc64el (1.5.10-2) ... 137s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 137s Setting up libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 137s Setting up libatspi2.0-0t64:ppc64el (2.55.2-1) ... 137s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 137s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 137s Setting up libstdlib-ocaml (5.3.0-2) ... 137s Setting up fonts-dejavu-mono (2.37-8) ... 137s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 137s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 137s Setting up ocaml-base (5.3.0-2) ... 137s Setting up fonts-dejavu-core (2.37-8) ... 137s Setting up libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 137s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 137s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ... 137s Setting up at-spi2-common (2.55.2-1) ... 137s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ... 137s Setting up libcvc4-7:ppc64el (1.8-3build2) ... 137s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 137s Setting up libharfbuzz0b:ppc64el (10.2.0-1) ... 137s Setting up libthai-data (0.1.29-2build1) ... 137s Setting up libwayland-egl1:ppc64el (1.23.1-3) ... 137s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ... 137s Setting up libisl23:ppc64el (0.27-1) ... 137s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 137s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 137s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ... 137s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ... 137s Setting up libwayland-client0:ppc64el (1.23.1-3) ... 137s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 137s Setting up libatk1.0-0t64:ppc64el (2.55.2-1) ... 137s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 137s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 137s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 137s Setting up libavahi-common3:ppc64el (0.8-14ubuntu1) ... 137s Setting up dconf-service (0.40.0-5) ... 137s Setting up libthai0:ppc64el (0.1.29-2build1) ... 137s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 137s Setting up ocaml-interp (5.3.0-2) ... 137s Setting up libcvc4parser7:ppc64el (1.8-3build2) ... 137s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 137s Setting up cpp-14 (14.2.0-17ubuntu3) ... 137s Setting up libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 137s Setting up libwayland-cursor0:ppc64el (1.23.1-3) ... 137s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 137s Setting up cvc4 (1.8-3build2) ... 137s Setting up libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 137s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu3) ... 137s Setting up libavahi-client3:ppc64el (0.8-14ubuntu1) ... 137s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 137s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 137s Setting up libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 137s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 137s Setting up fontconfig (2.15.0-2ubuntu1) ... 139s Regenerating fonts cache... done. 139s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5) ... 139s Setting up libpango-1.0-0:ppc64el (1.56.1-1) ... 139s Setting up libcairo2:ppc64el (1.18.2-2) ... 139s Setting up gcc-14 (14.2.0-17ubuntu3) ... 139s Setting up adwaita-icon-theme (48~beta-3) ... 139s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 139s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 139s Setting up cpp (4:14.2.0-1ubuntu1) ... 139s Setting up libcairo-gobject2:ppc64el (1.18.2-2) ... 139s Setting up libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 139s Setting up libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 139s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 139s Setting up libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 139s Setting up libcairo2-ocaml (0.6.5-2build1) ... 139s Setting up gcc (4:14.2.0-1ubuntu1) ... 139s Setting up ocaml (5.3.0-2) ... 139s Processing triggers for libc-bin (2.40-4ubuntu1) ... 139s Processing triggers for man-db (2.13.0-1) ... 141s Processing triggers for libglib2.0-0t64:ppc64el (2.83.4-1) ... 141s Setting up libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 141s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 141s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 141s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 141s Setting up why3 (1.8.0-2) ... 141s Processing triggers for libc-bin (2.40-4ubuntu1) ... 142s autopkgtest [06:17:14]: test why3+cvc4: [----------------------- 143s autopkgtest [06:17:15]: test why3+cvc4: -----------------------] 144s autopkgtest [06:17:16]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 144s why3+cvc4 PASS 144s autopkgtest [06:17:16]: test why3+cvc5: preparing testbed 234s autopkgtest [06:18:46]: testbed dpkg architecture: ppc64el 234s autopkgtest [06:18:46]: testbed apt version: 2.9.30ubuntu1 235s autopkgtest [06:18:47]: @@@@@@@@@@@@@@@@@@@@ test bed setup 235s autopkgtest [06:18:47]: testbed release detected to be: plucky 236s autopkgtest [06:18:48]: updating testbed package index (apt update) 236s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 236s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 236s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 237s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 237s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.9 kB] 237s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 237s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 237s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [504 kB] 237s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [127 kB] 237s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 237s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [432 kB] 237s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [3292 B] 237s Fetched 1276 kB in 1s (1381 kB/s) 238s Reading package lists... 239s Reading package lists... 239s Building dependency tree... 239s Reading state information... 240s Calculating upgrade... 240s Calculating upgrade... 240s The following packages will be upgraded: 240s curl libcurl3t64-gnutls libcurl4t64 240s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 240s Need to get 1221 kB of archives. 240s After this operation, 3072 B disk space will be freed. 240s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el curl ppc64el 8.12.1-2ubuntu1 [258 kB] 241s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcurl4t64 ppc64el 8.12.1-2ubuntu1 [482 kB] 241s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcurl3t64-gnutls ppc64el 8.12.1-2ubuntu1 [481 kB] 241s Fetched 1221 kB in 1s (1884 kB/s) 241s (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 ... 106371 files and directories currently installed.) 241s Preparing to unpack .../curl_8.12.1-2ubuntu1_ppc64el.deb ... 241s Unpacking curl (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 241s Preparing to unpack .../libcurl4t64_8.12.1-2ubuntu1_ppc64el.deb ... 241s Unpacking libcurl4t64:ppc64el (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 241s Preparing to unpack .../libcurl3t64-gnutls_8.12.1-2ubuntu1_ppc64el.deb ... 241s Unpacking libcurl3t64-gnutls:ppc64el (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 242s Setting up libcurl4t64:ppc64el (8.12.1-2ubuntu1) ... 242s Setting up libcurl3t64-gnutls:ppc64el (8.12.1-2ubuntu1) ... 242s Setting up curl (8.12.1-2ubuntu1) ... 242s Processing triggers for man-db (2.13.0-1) ... 242s Processing triggers for libc-bin (2.40-4ubuntu1) ... 242s Reading package lists... 243s Building dependency tree... 243s Reading state information... 243s Solving dependencies... 243s 0 upgraded, 0 newly installed, 0 to remove and 3 not upgraded. 243s autopkgtest [06:18:55]: upgrading testbed (apt dist-upgrade and autopurge) 243s Reading package lists... 244s Building dependency tree... 244s Reading state information... 245s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 245s Starting 2 pkgProblemResolver with broken count: 0 245s Done 246s Entering ResolveByKeep 247s 247s Calculating upgrade... 247s The following packages will be upgraded: 247s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 247s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 247s Need to get 2038 kB of archives. 247s After this operation, 2048 B of additional disk space will be used. 247s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el gir1.2-glib-2.0 ppc64el 2.83.4-1 [184 kB] 247s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libglib2.0-0t64 ppc64el 2.83.4-1 [1801 kB] 248s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libglib2.0-data all 2.83.4-1 [52.9 kB] 248s Fetched 2038 kB in 1s (3300 kB/s) 248s (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 ... 106371 files and directories currently installed.) 248s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_ppc64el.deb ... 248s Unpacking gir1.2-glib-2.0:ppc64el (2.83.4-1) over (2.83.3-2) ... 248s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_ppc64el.deb ... 248s Unpacking libglib2.0-0t64:ppc64el (2.83.4-1) over (2.83.3-2) ... 248s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 248s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 248s Setting up libglib2.0-0t64:ppc64el (2.83.4-1) ... 248s No schema files found: doing nothing. 248s Setting up libglib2.0-data (2.83.4-1) ... 248s Setting up gir1.2-glib-2.0:ppc64el (2.83.4-1) ... 248s Processing triggers for libc-bin (2.40-4ubuntu1) ... 249s Reading package lists... 249s Building dependency tree... 249s Reading state information... 250s Starting pkgProblemResolver with broken count: 0 250s Starting 2 pkgProblemResolver with broken count: 0 250s Done 250s Solving dependencies... 250s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 254s Reading package lists... 254s Building dependency tree... 254s Reading state information... 254s Starting pkgProblemResolver with broken count: 0 255s Starting 2 pkgProblemResolver with broken count: 0 255s Done 255s The following NEW packages will be installed: 255s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-powerpc64le-linux-gnu 255s cpp-powerpc64le-linux-gnu cvc5 dconf-gsettings-backend dconf-service 255s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 255s gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 255s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 255s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 255s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcln6 libcolord2 255s libcompiler-libs-ocaml-dev libcryptominisat5-5.11t64 libcups2t64 libcvc5-1 255s libcvc5parser1 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 255s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 255s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 255s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 255s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 255s liblcms2-2 liblerc4 liblsan0 libmpc3 libncurses-dev libpango-1.0-0 255s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libquadmath0 255s libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 255s libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 255s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 255s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 255s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 255s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 255s Need to get 168 MB of archives. 255s After this operation, 548 MB of additional disk space will be used. 255s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 255s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-3ubuntu2 [215 kB] 256s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 256s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdeflate0 ppc64el 1.23-1 [63.4 kB] 256s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 256s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 256s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 256s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 256s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtiff6 ppc64el 4.5.1+git230720-4ubuntu4 [272 kB] 256s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-2 [191 kB] 256s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gtk-update-icon-cache ppc64el 4.17.4+ds-4 [55.0 kB] 256s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 256s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el adwaita-icon-theme all 48~beta-3 [578 kB] 256s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el at-spi2-common all 2.55.2-1 [8916 B] 256s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 256s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 256s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu3 [10.5 MB] 257s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu3 [1036 B] 257s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 257s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 257s Get:21 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 257s Get:22 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcryptominisat5-5.11t64 ppc64el 5.11.21+dfsg1-1build1 [511 kB] 257s Get:23 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcvc5-1 ppc64el 1.1.2-2build1 [5247 kB] 257s Get:24 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcvc5parser1 ppc64el 1.1.2-2build1 [217 kB] 257s Get:25 http://ftpmaster.internal/ubuntu plucky/universe ppc64el cvc5 ppc64el 1.1.2-2build1 [93.1 kB] 257s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdconf1 ppc64el 0.40.0-5 [43.7 kB] 257s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-service ppc64el 0.40.0-5 [30.8 kB] 257s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5 [26.0 kB] 257s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 257s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 257s Get:31 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig-config ppc64el 2.15.0-2ubuntu1 [37.5 kB] 257s Get:32 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfontconfig1 ppc64el 2.15.0-2ubuntu1 [188 kB] 257s Get:33 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig ppc64el 2.15.0-2ubuntu1 [192 kB] 257s Get:34 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB] 257s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB] 257s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB] 257s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB] 258s Get:38 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB] 258s Get:39 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB] 258s Get:40 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB] 258s Get:41 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB] 258s Get:42 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu3 [1619 kB] 258s Get:43 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu3 [20.6 MB] 260s Get:44 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu3 [536 kB] 260s Get:45 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 260s Get:46 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 260s Get:47 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk1.0-0t64 ppc64el 2.55.2-1 [59.8 kB] 260s Get:48 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 260s Get:49 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatspi2.0-0t64 ppc64el 2.55.2-1 [97.5 kB] 260s Get:50 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.55.2-1 [77.8 kB] 260s Get:51 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common-data ppc64el 0.8-14ubuntu1 [30.5 kB] 260s Get:52 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common3 ppc64el 0.8-14ubuntu1 [26.0 kB] 260s Get:53 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-client3 ppc64el 0.8-14ubuntu1 [31.0 kB] 260s Get:54 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 260s Get:55 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 260s Get:56 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 260s Get:57 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 260s Get:58 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo2 ppc64el 1.18.2-2 [747 kB] 260s Get:59 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo-gobject2 ppc64el 1.18.2-2 [127 kB] 260s Get:60 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.3.0-2 [464 kB] 260s Get:61 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.3.0-2 [383 kB] 260s Get:62 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build1 [28.7 kB] 260s Get:63 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 260s Get:64 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 260s Get:65 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.3.0-2 [8008 kB] 261s Get:66 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.3.0-2 [48.2 MB] 264s Get:67 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcups2t64 ppc64el 2.4.11-0ubuntu2 [347 kB] 264s Get:68 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 264s Get:69 http://ftpmaster.internal/ubuntu plucky/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 264s Get:70 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 264s Get:71 http://ftpmaster.internal/ubuntu plucky/main ppc64el libharfbuzz0b ppc64el 10.2.0-1 [598 kB] 264s Get:72 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 264s Get:73 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 264s Get:74 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpango-1.0-0 ppc64el 1.56.1-1 [277 kB] 264s Get:75 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.1-1 [58.6 kB] 264s Get:76 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.1-1 [30.6 kB] 264s Get:77 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-client0 ppc64el 1.23.1-3 [31.7 kB] 264s Get:78 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-cursor0 ppc64el 1.23.1-3 [12.0 kB] 264s Get:79 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-egl1 ppc64el 1.23.1-3 [6236 B] 264s Get:80 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 264s Get:81 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 264s Get:82 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 264s Get:83 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 264s Get:84 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 264s Get:85 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 264s Get:86 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 264s Get:87 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-0t64 ppc64el 3.24.48-3ubuntu1 [3380 kB] 265s Get:88 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 265s Get:89 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-3 [260 kB] 265s Get:90 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build2 [3599 kB] 265s Get:91 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build2 [332 kB] 265s Get:92 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 265s Get:93 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 265s Get:94 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.3.0-2 [8368 kB] 266s Get:95 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.3.0-2 [20.8 MB] 267s Get:96 http://ftpmaster.internal/ubuntu plucky/universe ppc64el tex-common all 6.18 [32.8 kB] 267s Get:97 http://ftpmaster.internal/ubuntu plucky/universe ppc64el why3 ppc64el 1.8.0-2 [13.7 MB] 269s Fetched 168 MB in 13s (12.9 MB/s) 269s Selecting previously unselected package libgdk-pixbuf2.0-common. 269s (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 ... 106371 files and directories currently installed.) 269s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 269s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 269s Selecting previously unselected package libjpeg-turbo8:ppc64el. 269s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_ppc64el.deb ... 269s Unpacking libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 269s Selecting previously unselected package libjpeg8:ppc64el. 269s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 269s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 269s Selecting previously unselected package libdeflate0:ppc64el. 269s Preparing to unpack .../03-libdeflate0_1.23-1_ppc64el.deb ... 269s Unpacking libdeflate0:ppc64el (1.23-1) ... 269s Selecting previously unselected package libjbig0:ppc64el. 269s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 269s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 269s Selecting previously unselected package liblerc4:ppc64el. 269s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 269s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 269s Selecting previously unselected package libsharpyuv0:ppc64el. 269s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 269s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 269s Selecting previously unselected package libwebp7:ppc64el. 269s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 269s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 269s Selecting previously unselected package libtiff6:ppc64el. 269s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_ppc64el.deb ... 269s Unpacking libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 269s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 269s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_ppc64el.deb ... 269s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 269s Selecting previously unselected package gtk-update-icon-cache. 269s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_ppc64el.deb ... 269s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 269s 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. 269s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 270s Selecting previously unselected package hicolor-icon-theme. 270s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 270s Unpacking hicolor-icon-theme (0.18-2) ... 270s Selecting previously unselected package adwaita-icon-theme. 270s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 270s Unpacking adwaita-icon-theme (48~beta-3) ... 270s Selecting previously unselected package at-spi2-common. 270s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 270s Unpacking at-spi2-common (2.55.2-1) ... 270s Selecting previously unselected package libisl23:ppc64el. 270s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 270s Unpacking libisl23:ppc64el (0.27-1) ... 270s Selecting previously unselected package libmpc3:ppc64el. 270s Preparing to unpack .../15-libmpc3_1.3.1-1build2_ppc64el.deb ... 270s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 270s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 270s Preparing to unpack .../16-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu3_ppc64el.deb ... 270s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 270s Selecting previously unselected package cpp-14. 270s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_ppc64el.deb ... 270s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 270s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 270s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 270s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 270s Selecting previously unselected package cpp. 270s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 270s Unpacking cpp (4:14.2.0-1ubuntu1) ... 270s Selecting previously unselected package libcln6:ppc64el. 270s Preparing to unpack .../20-libcln6_1.3.7-1_ppc64el.deb ... 270s Unpacking libcln6:ppc64el (1.3.7-1) ... 270s Selecting previously unselected package libcryptominisat5-5.11t64:ppc64el. 270s Preparing to unpack .../21-libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_ppc64el.deb ... 270s Unpacking libcryptominisat5-5.11t64:ppc64el (5.11.21+dfsg1-1build1) ... 270s Selecting previously unselected package libcvc5-1:ppc64el. 270s Preparing to unpack .../22-libcvc5-1_1.1.2-2build1_ppc64el.deb ... 270s Unpacking libcvc5-1:ppc64el (1.1.2-2build1) ... 271s Selecting previously unselected package libcvc5parser1:ppc64el. 271s Preparing to unpack .../23-libcvc5parser1_1.1.2-2build1_ppc64el.deb ... 271s Unpacking libcvc5parser1:ppc64el (1.1.2-2build1) ... 271s Selecting previously unselected package cvc5. 271s Preparing to unpack .../24-cvc5_1.1.2-2build1_ppc64el.deb ... 271s Unpacking cvc5 (1.1.2-2build1) ... 271s Selecting previously unselected package libdconf1:ppc64el. 271s Preparing to unpack .../25-libdconf1_0.40.0-5_ppc64el.deb ... 271s Unpacking libdconf1:ppc64el (0.40.0-5) ... 271s Selecting previously unselected package dconf-service. 271s Preparing to unpack .../26-dconf-service_0.40.0-5_ppc64el.deb ... 271s Unpacking dconf-service (0.40.0-5) ... 271s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 271s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_ppc64el.deb ... 271s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5) ... 271s Selecting previously unselected package fonts-dejavu-mono. 271s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 271s Unpacking fonts-dejavu-mono (2.37-8) ... 271s Selecting previously unselected package fonts-dejavu-core. 271s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 271s Unpacking fonts-dejavu-core (2.37-8) ... 271s Selecting previously unselected package fontconfig-config. 271s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_ppc64el.deb ... 271s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 271s Selecting previously unselected package libfontconfig1:ppc64el. 271s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_ppc64el.deb ... 271s Unpacking libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 271s Selecting previously unselected package fontconfig. 271s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_ppc64el.deb ... 271s Unpacking fontconfig (2.15.0-2ubuntu1) ... 271s Selecting previously unselected package libcc1-0:ppc64el. 271s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ... 271s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 271s Selecting previously unselected package libgomp1:ppc64el. 271s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ... 271s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ... 271s Selecting previously unselected package libitm1:ppc64el. 271s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_ppc64el.deb ... 271s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ... 271s Selecting previously unselected package libasan8:ppc64el. 271s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_ppc64el.deb ... 271s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ... 271s Selecting previously unselected package liblsan0:ppc64el. 271s Preparing to unpack .../37-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ... 271s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ... 271s Selecting previously unselected package libtsan2:ppc64el. 271s Preparing to unpack .../38-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ... 271s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ... 271s Selecting previously unselected package libubsan1:ppc64el. 271s Preparing to unpack .../39-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ... 271s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ... 271s Selecting previously unselected package libquadmath0:ppc64el. 271s Preparing to unpack .../40-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ... 271s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 272s Selecting previously unselected package libgcc-14-dev:ppc64el. 272s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu3_ppc64el.deb ... 272s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu3) ... 272s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 272s Preparing to unpack .../42-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu3_ppc64el.deb ... 272s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 272s Selecting previously unselected package gcc-14. 272s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu3_ppc64el.deb ... 272s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 272s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 272s Preparing to unpack .../44-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 272s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 272s Selecting previously unselected package gcc. 272s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 272s Unpacking gcc (4:14.2.0-1ubuntu1) ... 272s Selecting previously unselected package libatk1.0-0t64:ppc64el. 272s Preparing to unpack .../46-libatk1.0-0t64_2.55.2-1_ppc64el.deb ... 272s Unpacking libatk1.0-0t64:ppc64el (2.55.2-1) ... 272s Selecting previously unselected package libxi6:ppc64el. 272s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_ppc64el.deb ... 272s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 272s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 272s Preparing to unpack .../48-libatspi2.0-0t64_2.55.2-1_ppc64el.deb ... 272s Unpacking libatspi2.0-0t64:ppc64el (2.55.2-1) ... 272s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 272s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.2-1_ppc64el.deb ... 272s Unpacking libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 272s Selecting previously unselected package libavahi-common-data:ppc64el. 272s Preparing to unpack .../50-libavahi-common-data_0.8-14ubuntu1_ppc64el.deb ... 272s Unpacking libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 272s Selecting previously unselected package libavahi-common3:ppc64el. 272s Preparing to unpack .../51-libavahi-common3_0.8-14ubuntu1_ppc64el.deb ... 272s Unpacking libavahi-common3:ppc64el (0.8-14ubuntu1) ... 272s Selecting previously unselected package libavahi-client3:ppc64el. 272s Preparing to unpack .../52-libavahi-client3_0.8-14ubuntu1_ppc64el.deb ... 272s Unpacking libavahi-client3:ppc64el (0.8-14ubuntu1) ... 272s Selecting previously unselected package libpixman-1-0:ppc64el. 272s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_ppc64el.deb ... 272s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 272s Selecting previously unselected package libxcb-render0:ppc64el. 272s Preparing to unpack .../54-libxcb-render0_1.17.0-2_ppc64el.deb ... 272s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 272s Selecting previously unselected package libxcb-shm0:ppc64el. 272s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_ppc64el.deb ... 272s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 272s Selecting previously unselected package libxrender1:ppc64el. 272s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 272s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 272s Selecting previously unselected package libcairo2:ppc64el. 272s Preparing to unpack .../57-libcairo2_1.18.2-2_ppc64el.deb ... 272s Unpacking libcairo2:ppc64el (1.18.2-2) ... 272s Selecting previously unselected package libcairo-gobject2:ppc64el. 272s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_ppc64el.deb ... 272s Unpacking libcairo-gobject2:ppc64el (1.18.2-2) ... 272s Selecting previously unselected package libstdlib-ocaml. 272s Preparing to unpack .../59-libstdlib-ocaml_5.3.0-2_ppc64el.deb ... 272s Unpacking libstdlib-ocaml (5.3.0-2) ... 272s Selecting previously unselected package ocaml-base. 273s Preparing to unpack .../60-ocaml-base_5.3.0-2_ppc64el.deb ... 273s Unpacking ocaml-base (5.3.0-2) ... 273s Selecting previously unselected package libcairo2-ocaml. 273s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2build1_ppc64el.deb ... 273s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 273s Selecting previously unselected package liblcms2-2:ppc64el. 273s Preparing to unpack .../62-liblcms2-2_2.16-2_ppc64el.deb ... 273s Unpacking liblcms2-2:ppc64el (2.16-2) ... 273s Selecting previously unselected package libcolord2:ppc64el. 273s Preparing to unpack .../63-libcolord2_1.4.7-1build2_ppc64el.deb ... 273s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 273s Selecting previously unselected package libstdlib-ocaml-dev. 273s Preparing to unpack .../64-libstdlib-ocaml-dev_5.3.0-2_ppc64el.deb ... 273s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 273s Selecting previously unselected package libcompiler-libs-ocaml-dev. 273s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.3.0-2_ppc64el.deb ... 273s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 273s Selecting previously unselected package libcups2t64:ppc64el. 273s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_ppc64el.deb ... 273s Unpacking libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 273s Selecting previously unselected package libdatrie1:ppc64el. 273s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_ppc64el.deb ... 273s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 273s Selecting previously unselected package libepoxy0:ppc64el. 273s Preparing to unpack .../68-libepoxy0_1.5.10-2_ppc64el.deb ... 274s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 274s Selecting previously unselected package libgraphite2-3:ppc64el. 274s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 274s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 274s Selecting previously unselected package libharfbuzz0b:ppc64el. 274s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_ppc64el.deb ... 274s Unpacking libharfbuzz0b:ppc64el (10.2.0-1) ... 274s Selecting previously unselected package libthai-data. 274s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 274s Unpacking libthai-data (0.1.29-2build1) ... 274s Selecting previously unselected package libthai0:ppc64el. 274s Preparing to unpack .../72-libthai0_0.1.29-2build1_ppc64el.deb ... 274s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 274s Selecting previously unselected package libpango-1.0-0:ppc64el. 274s Preparing to unpack .../73-libpango-1.0-0_1.56.1-1_ppc64el.deb ... 274s Unpacking libpango-1.0-0:ppc64el (1.56.1-1) ... 274s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 274s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.1-1_ppc64el.deb ... 274s Unpacking libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 274s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 274s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.1-1_ppc64el.deb ... 274s Unpacking libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 274s Selecting previously unselected package libwayland-client0:ppc64el. 274s Preparing to unpack .../76-libwayland-client0_1.23.1-3_ppc64el.deb ... 274s Unpacking libwayland-client0:ppc64el (1.23.1-3) ... 274s Selecting previously unselected package libwayland-cursor0:ppc64el. 274s Preparing to unpack .../77-libwayland-cursor0_1.23.1-3_ppc64el.deb ... 274s Unpacking libwayland-cursor0:ppc64el (1.23.1-3) ... 274s Selecting previously unselected package libwayland-egl1:ppc64el. 274s Preparing to unpack .../78-libwayland-egl1_1.23.1-3_ppc64el.deb ... 274s Unpacking libwayland-egl1:ppc64el (1.23.1-3) ... 274s Selecting previously unselected package libxcomposite1:ppc64el. 274s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 274s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 274s Selecting previously unselected package libxfixes3:ppc64el. 274s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 274s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 274s Selecting previously unselected package libxcursor1:ppc64el. 274s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 274s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 274s Selecting previously unselected package libxdamage1:ppc64el. 274s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 274s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 274s Selecting previously unselected package libxinerama1:ppc64el. 274s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 274s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 274s Selecting previously unselected package libxrandr2:ppc64el. 274s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 274s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 274s Selecting previously unselected package libgtk-3-common. 274s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 274s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 274s Selecting previously unselected package libgtk-3-0t64:ppc64el. 274s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_ppc64el.deb ... 274s Unpacking libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 274s Selecting previously unselected package libgtksourceview-3.0-common. 274s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 274s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 274s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 274s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_ppc64el.deb ... 274s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 274s Selecting previously unselected package liblablgtk3-ocaml. 274s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build2_ppc64el.deb ... 274s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 274s Selecting previously unselected package liblablgtksourceview3-ocaml. 274s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build2_ppc64el.deb ... 274s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 274s Selecting previously unselected package libncurses-dev:ppc64el. 274s Preparing to unpack .../91-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 274s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 275s Selecting previously unselected package libzstd-dev:ppc64el. 275s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 275s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 275s Selecting previously unselected package ocaml-interp. 275s Preparing to unpack .../93-ocaml-interp_5.3.0-2_ppc64el.deb ... 275s Unpacking ocaml-interp (5.3.0-2) ... 275s Selecting previously unselected package ocaml. 275s Preparing to unpack .../94-ocaml_5.3.0-2_ppc64el.deb ... 275s Unpacking ocaml (5.3.0-2) ... 275s Selecting previously unselected package tex-common. 275s Preparing to unpack .../95-tex-common_6.18_all.deb ... 275s Unpacking tex-common (6.18) ... 275s Selecting previously unselected package why3. 275s Preparing to unpack .../96-why3_1.8.0-2_ppc64el.deb ... 275s Unpacking why3 (1.8.0-2) ... 276s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 276s Setting up liblcms2-2:ppc64el (2.16-2) ... 276s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 276s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 276s Setting up libcln6:ppc64el (1.3.7-1) ... 276s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 276s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 276s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 276s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 276s Setting up hicolor-icon-theme (0.18-2) ... 276s Setting up libxi6:ppc64el (2:1.8.2-1) ... 276s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 276s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 276s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 276s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 276s Setting up libdeflate0:ppc64el (1.23-1) ... 276s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 276s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ... 276s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 276s Setting up libcryptominisat5-5.11t64:ppc64el (5.11.21+dfsg1-1build1) ... 276s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 276s Setting up libdconf1:ppc64el (0.40.0-5) ... 276s Setting up tex-common (6.18) ... 276s update-language: texlive-base not installed and configured, doing nothing! 276s Setting up libepoxy0:ppc64el (1.5.10-2) ... 276s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 276s Setting up libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 276s Setting up libatspi2.0-0t64:ppc64el (2.55.2-1) ... 276s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 276s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 276s Setting up libstdlib-ocaml (5.3.0-2) ... 276s Setting up fonts-dejavu-mono (2.37-8) ... 276s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 276s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 276s Setting up ocaml-base (5.3.0-2) ... 276s Setting up fonts-dejavu-core (2.37-8) ... 276s Setting up libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 276s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 276s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ... 276s Setting up at-spi2-common (2.55.2-1) ... 276s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ... 276s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 276s Setting up libharfbuzz0b:ppc64el (10.2.0-1) ... 276s Setting up libthai-data (0.1.29-2build1) ... 276s Setting up libwayland-egl1:ppc64el (1.23.1-3) ... 276s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ... 276s Setting up libisl23:ppc64el (0.27-1) ... 276s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 276s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 276s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ... 276s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ... 276s Setting up libwayland-client0:ppc64el (1.23.1-3) ... 276s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 276s Setting up libcvc5-1:ppc64el (1.1.2-2build1) ... 276s Setting up libatk1.0-0t64:ppc64el (2.55.2-1) ... 276s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 276s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 276s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 276s Setting up libavahi-common3:ppc64el (0.8-14ubuntu1) ... 276s Setting up dconf-service (0.40.0-5) ... 276s Setting up libthai0:ppc64el (0.1.29-2build1) ... 276s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 276s Setting up ocaml-interp (5.3.0-2) ... 276s Setting up libcvc5parser1:ppc64el (1.1.2-2build1) ... 276s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 276s Setting up cpp-14 (14.2.0-17ubuntu3) ... 276s Setting up cvc5 (1.1.2-2build1) ... 276s Setting up libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 276s Setting up libwayland-cursor0:ppc64el (1.23.1-3) ... 276s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 276s Setting up libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 276s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu3) ... 276s Setting up libavahi-client3:ppc64el (0.8-14ubuntu1) ... 276s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 276s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 276s Setting up libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 276s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 276s Setting up fontconfig (2.15.0-2ubuntu1) ... 278s Regenerating fonts cache... done. 278s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5) ... 278s Setting up libpango-1.0-0:ppc64el (1.56.1-1) ... 278s Setting up libcairo2:ppc64el (1.18.2-2) ... 278s Setting up gcc-14 (14.2.0-17ubuntu3) ... 278s Setting up adwaita-icon-theme (48~beta-3) ... 278s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 278s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 278s Setting up cpp (4:14.2.0-1ubuntu1) ... 278s Setting up libcairo-gobject2:ppc64el (1.18.2-2) ... 278s Setting up libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 278s Setting up libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 278s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 278s Setting up libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 278s Setting up libcairo2-ocaml (0.6.5-2build1) ... 278s Setting up gcc (4:14.2.0-1ubuntu1) ... 278s Setting up ocaml (5.3.0-2) ... 278s Processing triggers for libc-bin (2.40-4ubuntu1) ... 279s Processing triggers for man-db (2.13.0-1) ... 280s Processing triggers for libglib2.0-0t64:ppc64el (2.83.4-1) ... 280s Setting up libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 280s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 280s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 280s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 280s Setting up why3 (1.8.0-2) ... 280s Processing triggers for libc-bin (2.40-4ubuntu1) ... 285s autopkgtest [06:19:37]: test why3+cvc5: [----------------------- 287s autopkgtest [06:19:39]: test why3+cvc5: -----------------------] 287s autopkgtest [06:19:39]: test why3+cvc5: - - - - - - - - - - results - - - - - - - - - - 287s why3+cvc5 PASS 287s autopkgtest [06:19:39]: test why3+spass: preparing testbed 380s autopkgtest [06:21:12]: testbed dpkg architecture: ppc64el 380s autopkgtest [06:21:12]: testbed apt version: 2.9.30ubuntu1 380s autopkgtest [06:21:12]: @@@@@@@@@@@@@@@@@@@@ test bed setup 381s autopkgtest [06:21:13]: testbed release detected to be: plucky 382s autopkgtest [06:21:14]: updating testbed package index (apt update) 382s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 382s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 382s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 382s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 383s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 383s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [504 kB] 383s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.9 kB] 383s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 383s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [127 kB] 383s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 383s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [432 kB] 383s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [3292 B] 383s Fetched 1276 kB in 1s (1444 kB/s) 384s Reading package lists... 384s Reading package lists... 385s Building dependency tree... 385s Reading state information... 385s Calculating upgrade... 385s Calculating upgrade... 385s The following packages will be upgraded: 385s curl libcurl3t64-gnutls libcurl4t64 385s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 385s Need to get 1221 kB of archives. 385s After this operation, 3072 B disk space will be freed. 385s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el curl ppc64el 8.12.1-2ubuntu1 [258 kB] 386s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcurl4t64 ppc64el 8.12.1-2ubuntu1 [482 kB] 386s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcurl3t64-gnutls ppc64el 8.12.1-2ubuntu1 [481 kB] 386s Fetched 1221 kB in 1s (2008 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 ... 106371 files and directories currently installed.) 386s Preparing to unpack .../curl_8.12.1-2ubuntu1_ppc64el.deb ... 386s Unpacking curl (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 386s Preparing to unpack .../libcurl4t64_8.12.1-2ubuntu1_ppc64el.deb ... 386s Unpacking libcurl4t64:ppc64el (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 386s Preparing to unpack .../libcurl3t64-gnutls_8.12.1-2ubuntu1_ppc64el.deb ... 386s Unpacking libcurl3t64-gnutls:ppc64el (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 386s Setting up libcurl4t64:ppc64el (8.12.1-2ubuntu1) ... 386s Setting up libcurl3t64-gnutls:ppc64el (8.12.1-2ubuntu1) ... 386s Setting up curl (8.12.1-2ubuntu1) ... 386s Processing triggers for man-db (2.13.0-1) ... 387s Processing triggers for libc-bin (2.40-4ubuntu1) ... 387s Reading package lists... 387s Building dependency tree... 387s Reading state information... 387s Solving dependencies... 388s 0 upgraded, 0 newly installed, 0 to remove and 3 not upgraded. 388s autopkgtest [06:21:20]: upgrading testbed (apt dist-upgrade and autopurge) 388s Reading package lists... 388s Building dependency tree... 388s Reading state information... 388s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 388s Starting 2 pkgProblemResolver with broken count: 0 388s Done 389s Entering ResolveByKeep 389s 389s Calculating upgrade... 389s The following packages will be upgraded: 389s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 389s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 389s Need to get 2038 kB of archives. 389s After this operation, 2048 B of additional disk space will be used. 389s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el gir1.2-glib-2.0 ppc64el 2.83.4-1 [184 kB] 390s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libglib2.0-0t64 ppc64el 2.83.4-1 [1801 kB] 390s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libglib2.0-data all 2.83.4-1 [52.9 kB] 390s Fetched 2038 kB in 1s (3227 kB/s) 390s (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 ... 106371 files and directories currently installed.) 390s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_ppc64el.deb ... 390s Unpacking gir1.2-glib-2.0:ppc64el (2.83.4-1) over (2.83.3-2) ... 390s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_ppc64el.deb ... 390s Unpacking libglib2.0-0t64:ppc64el (2.83.4-1) over (2.83.3-2) ... 390s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 390s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 390s Setting up libglib2.0-0t64:ppc64el (2.83.4-1) ... 390s No schema files found: doing nothing. 390s Setting up libglib2.0-data (2.83.4-1) ... 390s Setting up gir1.2-glib-2.0:ppc64el (2.83.4-1) ... 390s Processing triggers for libc-bin (2.40-4ubuntu1) ... 391s Reading package lists... 391s Building dependency tree... 391s Reading state information... 391s Starting pkgProblemResolver with broken count: 0 391s Starting 2 pkgProblemResolver with broken count: 0 391s Done 391s Solving dependencies... 392s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 395s Reading package lists... 395s Building dependency tree... 395s Reading state information... 395s Starting pkgProblemResolver with broken count: 0 395s Starting 2 pkgProblemResolver with broken count: 0 395s Done 395s The following NEW packages will be installed: 395s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-powerpc64le-linux-gnu 395s cpp-powerpc64le-linux-gnu dconf-gsettings-backend dconf-service fontconfig 395s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 395s gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 395s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 395s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 395s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 395s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 395s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 395s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 395s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 395s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 395s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 395s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 395s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 395s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 395s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 395s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 395s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass 395s tex-common why3 396s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 396s Need to get 161 MB of archives. 396s After this operation, 528 MB of additional disk space will be used. 396s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 396s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-3ubuntu2 [215 kB] 396s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 396s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdeflate0 ppc64el 1.23-1 [63.4 kB] 396s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 396s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 396s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 396s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 396s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtiff6 ppc64el 4.5.1+git230720-4ubuntu4 [272 kB] 396s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-2 [191 kB] 396s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gtk-update-icon-cache ppc64el 4.17.4+ds-4 [55.0 kB] 396s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 396s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el adwaita-icon-theme all 48~beta-3 [578 kB] 396s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el at-spi2-common all 2.55.2-1 [8916 B] 396s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 396s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 396s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu3 [10.5 MB] 397s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu3 [1036 B] 397s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 397s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 397s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdconf1 ppc64el 0.40.0-5 [43.7 kB] 397s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-service ppc64el 0.40.0-5 [30.8 kB] 397s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5 [26.0 kB] 397s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 397s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 397s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig-config ppc64el 2.15.0-2ubuntu1 [37.5 kB] 397s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfontconfig1 ppc64el 2.15.0-2ubuntu1 [188 kB] 397s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig ppc64el 2.15.0-2ubuntu1 [192 kB] 397s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB] 397s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB] 397s Get:31 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB] 397s Get:32 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB] 397s Get:33 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB] 397s Get:34 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB] 398s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB] 398s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB] 398s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu3 [1619 kB] 398s Get:38 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu3 [20.6 MB] 399s Get:39 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu3 [536 kB] 399s Get:40 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 399s Get:41 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 399s Get:42 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk1.0-0t64 ppc64el 2.55.2-1 [59.8 kB] 399s Get:43 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 399s Get:44 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatspi2.0-0t64 ppc64el 2.55.2-1 [97.5 kB] 399s Get:45 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.55.2-1 [77.8 kB] 399s Get:46 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common-data ppc64el 0.8-14ubuntu1 [30.5 kB] 399s Get:47 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common3 ppc64el 0.8-14ubuntu1 [26.0 kB] 399s Get:48 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-client3 ppc64el 0.8-14ubuntu1 [31.0 kB] 399s Get:49 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 399s Get:50 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 399s Get:51 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 399s Get:52 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 399s Get:53 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo2 ppc64el 1.18.2-2 [747 kB] 399s Get:54 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo-gobject2 ppc64el 1.18.2-2 [127 kB] 399s Get:55 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.3.0-2 [464 kB] 399s Get:56 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.3.0-2 [383 kB] 399s Get:57 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build1 [28.7 kB] 399s Get:58 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 399s Get:59 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 399s Get:60 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.3.0-2 [8008 kB] 400s Get:61 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.3.0-2 [48.2 MB] 403s Get:62 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcups2t64 ppc64el 2.4.11-0ubuntu2 [347 kB] 403s Get:63 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 403s Get:64 http://ftpmaster.internal/ubuntu plucky/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 403s Get:65 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 403s Get:66 http://ftpmaster.internal/ubuntu plucky/main ppc64el libharfbuzz0b ppc64el 10.2.0-1 [598 kB] 403s Get:67 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 403s Get:68 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 403s Get:69 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpango-1.0-0 ppc64el 1.56.1-1 [277 kB] 403s Get:70 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.1-1 [58.6 kB] 403s Get:71 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.1-1 [30.6 kB] 403s Get:72 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-client0 ppc64el 1.23.1-3 [31.7 kB] 403s Get:73 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-cursor0 ppc64el 1.23.1-3 [12.0 kB] 403s Get:74 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-egl1 ppc64el 1.23.1-3 [6236 B] 403s Get:75 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 403s Get:76 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 403s Get:77 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 403s Get:78 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 403s Get:79 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 403s Get:80 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 403s Get:81 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 403s Get:82 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-0t64 ppc64el 3.24.48-3ubuntu1 [3380 kB] 404s Get:83 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 404s Get:84 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-3 [260 kB] 404s Get:85 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build2 [3599 kB] 404s Get:86 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build2 [332 kB] 404s Get:87 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 404s Get:88 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 404s Get:89 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.3.0-2 [8368 kB] 405s Get:90 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.3.0-2 [20.8 MB] 406s Get:91 http://ftpmaster.internal/ubuntu plucky/universe ppc64el spass ppc64el 3.9-1.1 [304 kB] 406s Get:92 http://ftpmaster.internal/ubuntu plucky/universe ppc64el tex-common all 6.18 [32.8 kB] 406s Get:93 http://ftpmaster.internal/ubuntu plucky/universe ppc64el why3 ppc64el 1.8.0-2 [13.7 MB] 407s Fetched 161 MB in 11s (14.1 MB/s) 407s Selecting previously unselected package libgdk-pixbuf2.0-common. 407s (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 ... 106371 files and directories currently installed.) 407s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 407s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 407s Selecting previously unselected package libjpeg-turbo8:ppc64el. 407s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_ppc64el.deb ... 407s Unpacking libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 407s Selecting previously unselected package libjpeg8:ppc64el. 407s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 407s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 407s Selecting previously unselected package libdeflate0:ppc64el. 407s Preparing to unpack .../03-libdeflate0_1.23-1_ppc64el.deb ... 407s Unpacking libdeflate0:ppc64el (1.23-1) ... 407s Selecting previously unselected package libjbig0:ppc64el. 407s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 407s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 407s Selecting previously unselected package liblerc4:ppc64el. 407s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 407s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 408s Selecting previously unselected package libsharpyuv0:ppc64el. 408s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 408s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 408s Selecting previously unselected package libwebp7:ppc64el. 408s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 408s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 408s Selecting previously unselected package libtiff6:ppc64el. 408s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_ppc64el.deb ... 408s Unpacking libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 408s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 408s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_ppc64el.deb ... 408s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 408s Selecting previously unselected package gtk-update-icon-cache. 408s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_ppc64el.deb ... 408s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 408s 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. 408s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 408s Selecting previously unselected package hicolor-icon-theme. 408s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 408s Unpacking hicolor-icon-theme (0.18-2) ... 408s Selecting previously unselected package adwaita-icon-theme. 408s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 408s Unpacking adwaita-icon-theme (48~beta-3) ... 408s Selecting previously unselected package at-spi2-common. 408s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 408s Unpacking at-spi2-common (2.55.2-1) ... 408s Selecting previously unselected package libisl23:ppc64el. 408s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 408s Unpacking libisl23:ppc64el (0.27-1) ... 408s Selecting previously unselected package libmpc3:ppc64el. 408s Preparing to unpack .../15-libmpc3_1.3.1-1build2_ppc64el.deb ... 408s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 408s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 408s Preparing to unpack .../16-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu3_ppc64el.deb ... 408s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 408s Selecting previously unselected package cpp-14. 408s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_ppc64el.deb ... 408s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 408s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 408s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 408s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 408s Selecting previously unselected package cpp. 408s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 408s Unpacking cpp (4:14.2.0-1ubuntu1) ... 408s Selecting previously unselected package libdconf1:ppc64el. 408s Preparing to unpack .../20-libdconf1_0.40.0-5_ppc64el.deb ... 408s Unpacking libdconf1:ppc64el (0.40.0-5) ... 408s Selecting previously unselected package dconf-service. 408s Preparing to unpack .../21-dconf-service_0.40.0-5_ppc64el.deb ... 408s Unpacking dconf-service (0.40.0-5) ... 408s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 408s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_ppc64el.deb ... 408s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5) ... 408s Selecting previously unselected package fonts-dejavu-mono. 408s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 408s Unpacking fonts-dejavu-mono (2.37-8) ... 408s Selecting previously unselected package fonts-dejavu-core. 408s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 408s Unpacking fonts-dejavu-core (2.37-8) ... 408s Selecting previously unselected package fontconfig-config. 408s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_ppc64el.deb ... 408s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 408s Selecting previously unselected package libfontconfig1:ppc64el. 408s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_ppc64el.deb ... 408s Unpacking libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 408s Selecting previously unselected package fontconfig. 408s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_ppc64el.deb ... 408s Unpacking fontconfig (2.15.0-2ubuntu1) ... 408s Selecting previously unselected package libcc1-0:ppc64el. 409s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ... 409s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 409s Selecting previously unselected package libgomp1:ppc64el. 409s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ... 409s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ... 409s Selecting previously unselected package libitm1:ppc64el. 409s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_ppc64el.deb ... 409s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ... 409s Selecting previously unselected package libasan8:ppc64el. 409s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_ppc64el.deb ... 409s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ... 409s Selecting previously unselected package liblsan0:ppc64el. 409s Preparing to unpack .../32-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ... 409s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ... 409s Selecting previously unselected package libtsan2:ppc64el. 409s Preparing to unpack .../33-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ... 409s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ... 409s Selecting previously unselected package libubsan1:ppc64el. 409s Preparing to unpack .../34-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ... 409s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ... 409s Selecting previously unselected package libquadmath0:ppc64el. 409s Preparing to unpack .../35-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ... 409s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 409s Selecting previously unselected package libgcc-14-dev:ppc64el. 409s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu3_ppc64el.deb ... 409s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu3) ... 409s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 409s Preparing to unpack .../37-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu3_ppc64el.deb ... 409s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 409s Selecting previously unselected package gcc-14. 409s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu3_ppc64el.deb ... 409s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 409s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 409s Preparing to unpack .../39-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 409s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 409s Selecting previously unselected package gcc. 409s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 409s Unpacking gcc (4:14.2.0-1ubuntu1) ... 409s Selecting previously unselected package libatk1.0-0t64:ppc64el. 409s Preparing to unpack .../41-libatk1.0-0t64_2.55.2-1_ppc64el.deb ... 409s Unpacking libatk1.0-0t64:ppc64el (2.55.2-1) ... 409s Selecting previously unselected package libxi6:ppc64el. 409s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_ppc64el.deb ... 409s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 409s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 409s Preparing to unpack .../43-libatspi2.0-0t64_2.55.2-1_ppc64el.deb ... 409s Unpacking libatspi2.0-0t64:ppc64el (2.55.2-1) ... 409s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 409s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.2-1_ppc64el.deb ... 409s Unpacking libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 409s Selecting previously unselected package libavahi-common-data:ppc64el. 409s Preparing to unpack .../45-libavahi-common-data_0.8-14ubuntu1_ppc64el.deb ... 409s Unpacking libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 409s Selecting previously unselected package libavahi-common3:ppc64el. 409s Preparing to unpack .../46-libavahi-common3_0.8-14ubuntu1_ppc64el.deb ... 409s Unpacking libavahi-common3:ppc64el (0.8-14ubuntu1) ... 409s Selecting previously unselected package libavahi-client3:ppc64el. 409s Preparing to unpack .../47-libavahi-client3_0.8-14ubuntu1_ppc64el.deb ... 409s Unpacking libavahi-client3:ppc64el (0.8-14ubuntu1) ... 409s Selecting previously unselected package libpixman-1-0:ppc64el. 409s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_ppc64el.deb ... 409s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 409s Selecting previously unselected package libxcb-render0:ppc64el. 409s Preparing to unpack .../49-libxcb-render0_1.17.0-2_ppc64el.deb ... 409s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 409s Selecting previously unselected package libxcb-shm0:ppc64el. 409s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_ppc64el.deb ... 409s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 409s Selecting previously unselected package libxrender1:ppc64el. 409s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 409s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 409s Selecting previously unselected package libcairo2:ppc64el. 409s Preparing to unpack .../52-libcairo2_1.18.2-2_ppc64el.deb ... 409s Unpacking libcairo2:ppc64el (1.18.2-2) ... 409s Selecting previously unselected package libcairo-gobject2:ppc64el. 409s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_ppc64el.deb ... 409s Unpacking libcairo-gobject2:ppc64el (1.18.2-2) ... 409s Selecting previously unselected package libstdlib-ocaml. 409s Preparing to unpack .../54-libstdlib-ocaml_5.3.0-2_ppc64el.deb ... 409s Unpacking libstdlib-ocaml (5.3.0-2) ... 409s Selecting previously unselected package ocaml-base. 409s Preparing to unpack .../55-ocaml-base_5.3.0-2_ppc64el.deb ... 409s Unpacking ocaml-base (5.3.0-2) ... 410s Selecting previously unselected package libcairo2-ocaml. 410s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2build1_ppc64el.deb ... 410s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 410s Selecting previously unselected package liblcms2-2:ppc64el. 410s Preparing to unpack .../57-liblcms2-2_2.16-2_ppc64el.deb ... 410s Unpacking liblcms2-2:ppc64el (2.16-2) ... 410s Selecting previously unselected package libcolord2:ppc64el. 410s Preparing to unpack .../58-libcolord2_1.4.7-1build2_ppc64el.deb ... 410s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 410s Selecting previously unselected package libstdlib-ocaml-dev. 410s Preparing to unpack .../59-libstdlib-ocaml-dev_5.3.0-2_ppc64el.deb ... 410s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 410s Selecting previously unselected package libcompiler-libs-ocaml-dev. 410s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.3.0-2_ppc64el.deb ... 410s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 410s Selecting previously unselected package libcups2t64:ppc64el. 410s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_ppc64el.deb ... 410s Unpacking libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 410s Selecting previously unselected package libdatrie1:ppc64el. 410s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_ppc64el.deb ... 410s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 410s Selecting previously unselected package libepoxy0:ppc64el. 410s Preparing to unpack .../63-libepoxy0_1.5.10-2_ppc64el.deb ... 410s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 410s Selecting previously unselected package libgraphite2-3:ppc64el. 410s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 410s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 410s Selecting previously unselected package libharfbuzz0b:ppc64el. 410s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_ppc64el.deb ... 410s Unpacking libharfbuzz0b:ppc64el (10.2.0-1) ... 410s Selecting previously unselected package libthai-data. 410s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 410s Unpacking libthai-data (0.1.29-2build1) ... 410s Selecting previously unselected package libthai0:ppc64el. 410s Preparing to unpack .../67-libthai0_0.1.29-2build1_ppc64el.deb ... 410s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 410s Selecting previously unselected package libpango-1.0-0:ppc64el. 410s Preparing to unpack .../68-libpango-1.0-0_1.56.1-1_ppc64el.deb ... 410s Unpacking libpango-1.0-0:ppc64el (1.56.1-1) ... 410s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 410s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.1-1_ppc64el.deb ... 410s Unpacking libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 410s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 410s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.1-1_ppc64el.deb ... 410s Unpacking libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 410s Selecting previously unselected package libwayland-client0:ppc64el. 410s Preparing to unpack .../71-libwayland-client0_1.23.1-3_ppc64el.deb ... 410s Unpacking libwayland-client0:ppc64el (1.23.1-3) ... 410s Selecting previously unselected package libwayland-cursor0:ppc64el. 411s Preparing to unpack .../72-libwayland-cursor0_1.23.1-3_ppc64el.deb ... 411s Unpacking libwayland-cursor0:ppc64el (1.23.1-3) ... 411s Selecting previously unselected package libwayland-egl1:ppc64el. 411s Preparing to unpack .../73-libwayland-egl1_1.23.1-3_ppc64el.deb ... 411s Unpacking libwayland-egl1:ppc64el (1.23.1-3) ... 411s Selecting previously unselected package libxcomposite1:ppc64el. 411s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 411s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 411s Selecting previously unselected package libxfixes3:ppc64el. 411s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 411s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 411s Selecting previously unselected package libxcursor1:ppc64el. 411s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 411s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 411s Selecting previously unselected package libxdamage1:ppc64el. 411s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 411s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 411s Selecting previously unselected package libxinerama1:ppc64el. 411s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 411s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 411s Selecting previously unselected package libxrandr2:ppc64el. 411s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 411s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 411s Selecting previously unselected package libgtk-3-common. 411s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 411s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 411s Selecting previously unselected package libgtk-3-0t64:ppc64el. 411s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_ppc64el.deb ... 411s Unpacking libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 411s Selecting previously unselected package libgtksourceview-3.0-common. 411s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 411s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 411s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 411s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_ppc64el.deb ... 411s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 411s Selecting previously unselected package liblablgtk3-ocaml. 411s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build2_ppc64el.deb ... 411s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 411s Selecting previously unselected package liblablgtksourceview3-ocaml. 411s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build2_ppc64el.deb ... 411s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 411s Selecting previously unselected package libncurses-dev:ppc64el. 411s Preparing to unpack .../86-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 411s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 411s Selecting previously unselected package libzstd-dev:ppc64el. 411s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 411s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 411s Selecting previously unselected package ocaml-interp. 411s Preparing to unpack .../88-ocaml-interp_5.3.0-2_ppc64el.deb ... 411s Unpacking ocaml-interp (5.3.0-2) ... 411s Selecting previously unselected package ocaml. 411s Preparing to unpack .../89-ocaml_5.3.0-2_ppc64el.deb ... 411s Unpacking ocaml (5.3.0-2) ... 412s Selecting previously unselected package spass. 412s Preparing to unpack .../90-spass_3.9-1.1_ppc64el.deb ... 412s Unpacking spass (3.9-1.1) ... 412s Selecting previously unselected package tex-common. 412s Preparing to unpack .../91-tex-common_6.18_all.deb ... 412s Unpacking tex-common (6.18) ... 412s Selecting previously unselected package why3. 412s Preparing to unpack .../92-why3_1.8.0-2_ppc64el.deb ... 412s Unpacking why3 (1.8.0-2) ... 412s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 412s Setting up liblcms2-2:ppc64el (2.16-2) ... 412s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 412s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 412s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 412s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 412s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 412s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 412s Setting up hicolor-icon-theme (0.18-2) ... 412s Setting up libxi6:ppc64el (2:1.8.2-1) ... 412s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 412s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 412s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 412s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 412s Setting up libdeflate0:ppc64el (1.23-1) ... 412s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 412s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ... 412s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 412s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 412s Setting up libdconf1:ppc64el (0.40.0-5) ... 412s Setting up tex-common (6.18) ... 412s update-language: texlive-base not installed and configured, doing nothing! 412s Setting up libepoxy0:ppc64el (1.5.10-2) ... 412s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 412s Setting up spass (3.9-1.1) ... 412s Setting up libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 412s Setting up libatspi2.0-0t64:ppc64el (2.55.2-1) ... 412s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 412s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 412s Setting up libstdlib-ocaml (5.3.0-2) ... 412s Setting up fonts-dejavu-mono (2.37-8) ... 412s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 412s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 412s Setting up ocaml-base (5.3.0-2) ... 412s Setting up fonts-dejavu-core (2.37-8) ... 412s Setting up libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 412s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 412s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ... 412s Setting up at-spi2-common (2.55.2-1) ... 412s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ... 412s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 412s Setting up libharfbuzz0b:ppc64el (10.2.0-1) ... 412s Setting up libthai-data (0.1.29-2build1) ... 412s Setting up libwayland-egl1:ppc64el (1.23.1-3) ... 412s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ... 412s Setting up libisl23:ppc64el (0.27-1) ... 412s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 412s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 412s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ... 412s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ... 412s Setting up libwayland-client0:ppc64el (1.23.1-3) ... 412s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 412s Setting up libatk1.0-0t64:ppc64el (2.55.2-1) ... 412s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 412s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 412s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 412s Setting up libavahi-common3:ppc64el (0.8-14ubuntu1) ... 412s Setting up dconf-service (0.40.0-5) ... 412s Setting up libthai0:ppc64el (0.1.29-2build1) ... 412s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 412s Setting up ocaml-interp (5.3.0-2) ... 412s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 412s Setting up cpp-14 (14.2.0-17ubuntu3) ... 412s Setting up libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 412s Setting up libwayland-cursor0:ppc64el (1.23.1-3) ... 412s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 412s Setting up libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 412s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu3) ... 412s Setting up libavahi-client3:ppc64el (0.8-14ubuntu1) ... 412s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 412s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 412s Setting up libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 412s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 412s Setting up fontconfig (2.15.0-2ubuntu1) ... 414s Regenerating fonts cache... done. 414s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5) ... 414s Setting up libpango-1.0-0:ppc64el (1.56.1-1) ... 414s Setting up libcairo2:ppc64el (1.18.2-2) ... 414s Setting up gcc-14 (14.2.0-17ubuntu3) ... 414s Setting up adwaita-icon-theme (48~beta-3) ... 414s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 414s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 414s Setting up cpp (4:14.2.0-1ubuntu1) ... 414s Setting up libcairo-gobject2:ppc64el (1.18.2-2) ... 414s Setting up libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 414s Setting up libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 414s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 414s Setting up libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 414s Setting up libcairo2-ocaml (0.6.5-2build1) ... 414s Setting up gcc (4:14.2.0-1ubuntu1) ... 414s Setting up ocaml (5.3.0-2) ... 414s Processing triggers for libc-bin (2.40-4ubuntu1) ... 415s Processing triggers for man-db (2.13.0-1) ... 416s Processing triggers for libglib2.0-0t64:ppc64el (2.83.4-1) ... 416s Setting up libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 416s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 416s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 416s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 416s Setting up why3 (1.8.0-2) ... 416s Processing triggers for libc-bin (2.40-4ubuntu1) ... 433s autopkgtest [06:22:05]: test why3+spass: [----------------------- 434s autopkgtest [06:22:06]: test why3+spass: -----------------------] 434s autopkgtest [06:22:06]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 434s why3+spass PASS 435s autopkgtest [06:22:07]: test why3+z3: preparing testbed 511s autopkgtest [06:23:23]: testbed dpkg architecture: ppc64el 511s autopkgtest [06:23:23]: testbed apt version: 2.9.30ubuntu1 512s autopkgtest [06:23:24]: @@@@@@@@@@@@@@@@@@@@ test bed setup 512s autopkgtest [06:23:24]: testbed release detected to be: plucky 513s autopkgtest [06:23:25]: updating testbed package index (apt update) 513s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 513s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 514s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 514s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 514s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 514s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.9 kB] 514s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 514s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [504 kB] 514s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [127 kB] 514s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 514s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [432 kB] 514s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [3292 B] 514s Fetched 1276 kB in 1s (1399 kB/s) 515s Reading package lists... 516s Reading package lists... 516s Building dependency tree... 516s Reading state information... 516s Calculating upgrade... 517s Calculating upgrade... 517s The following packages will be upgraded: 517s curl libcurl3t64-gnutls libcurl4t64 517s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 517s Need to get 1221 kB of archives. 517s After this operation, 3072 B disk space will be freed. 517s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el curl ppc64el 8.12.1-2ubuntu1 [258 kB] 517s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcurl4t64 ppc64el 8.12.1-2ubuntu1 [482 kB] 517s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcurl3t64-gnutls ppc64el 8.12.1-2ubuntu1 [481 kB] 518s Fetched 1221 kB in 1s (2023 kB/s) 518s (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 ... 106371 files and directories currently installed.) 518s Preparing to unpack .../curl_8.12.1-2ubuntu1_ppc64el.deb ... 518s Unpacking curl (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 518s Preparing to unpack .../libcurl4t64_8.12.1-2ubuntu1_ppc64el.deb ... 518s Unpacking libcurl4t64:ppc64el (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 518s Preparing to unpack .../libcurl3t64-gnutls_8.12.1-2ubuntu1_ppc64el.deb ... 518s Unpacking libcurl3t64-gnutls:ppc64el (8.12.1-2ubuntu1) over (8.12.0+git20250209.89ed161+ds-1ubuntu1) ... 518s Setting up libcurl4t64:ppc64el (8.12.1-2ubuntu1) ... 518s Setting up libcurl3t64-gnutls:ppc64el (8.12.1-2ubuntu1) ... 518s Setting up curl (8.12.1-2ubuntu1) ... 518s Processing triggers for man-db (2.13.0-1) ... 519s Processing triggers for libc-bin (2.40-4ubuntu1) ... 519s Reading package lists... 519s Building dependency tree... 519s Reading state information... 520s Solving dependencies... 520s 0 upgraded, 0 newly installed, 0 to remove and 3 not upgraded. 520s autopkgtest [06:23:32]: upgrading testbed (apt dist-upgrade and autopurge) 520s Reading package lists... 520s Building dependency tree... 520s Reading state information... 521s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 521s Starting 2 pkgProblemResolver with broken count: 0 521s Done 521s Entering ResolveByKeep 522s 522s Calculating upgrade... 522s The following packages will be upgraded: 522s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 522s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 522s Need to get 2038 kB of archives. 522s After this operation, 2048 B of additional disk space will be used. 522s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el gir1.2-glib-2.0 ppc64el 2.83.4-1 [184 kB] 522s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libglib2.0-0t64 ppc64el 2.83.4-1 [1801 kB] 522s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libglib2.0-data all 2.83.4-1 [52.9 kB] 523s Fetched 2038 kB in 1s (3307 kB/s) 523s (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 ... 106371 files and directories currently installed.) 523s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_ppc64el.deb ... 523s Unpacking gir1.2-glib-2.0:ppc64el (2.83.4-1) over (2.83.3-2) ... 523s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_ppc64el.deb ... 523s Unpacking libglib2.0-0t64:ppc64el (2.83.4-1) over (2.83.3-2) ... 523s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 523s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 523s Setting up libglib2.0-0t64:ppc64el (2.83.4-1) ... 523s No schema files found: doing nothing. 523s Setting up libglib2.0-data (2.83.4-1) ... 523s Setting up gir1.2-glib-2.0:ppc64el (2.83.4-1) ... 523s Processing triggers for libc-bin (2.40-4ubuntu1) ... 523s Reading package lists... 524s Building dependency tree... 524s Reading state information... 524s Starting pkgProblemResolver with broken count: 0 524s Starting 2 pkgProblemResolver with broken count: 0 524s Done 524s Solving dependencies... 524s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 527s Reading package lists... 527s Building dependency tree... 527s Reading state information... 527s Starting pkgProblemResolver with broken count: 0 527s Starting 2 pkgProblemResolver with broken count: 0 527s Done 528s The following NEW packages will be installed: 528s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-powerpc64le-linux-gnu 528s cpp-powerpc64le-linux-gnu dconf-gsettings-backend dconf-service fontconfig 528s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 528s gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 528s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 528s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 528s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 528s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 528s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 528s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 528s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 528s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 528s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 528s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 528s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 528s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 528s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 528s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 528s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common 528s why3 z3 528s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 528s Need to get 168 MB of archives. 528s After this operation, 549 MB of additional disk space will be used. 528s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 528s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-3ubuntu2 [215 kB] 528s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 528s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdeflate0 ppc64el 1.23-1 [63.4 kB] 528s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 528s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 528s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 528s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 528s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtiff6 ppc64el 4.5.1+git230720-4ubuntu4 [272 kB] 528s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-2 [191 kB] 528s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gtk-update-icon-cache ppc64el 4.17.4+ds-4 [55.0 kB] 528s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 528s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el adwaita-icon-theme all 48~beta-3 [578 kB] 528s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el at-spi2-common all 2.55.2-1 [8916 B] 528s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 528s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 528s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu3 [10.5 MB] 529s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu3 [1036 B] 529s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 529s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 529s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdconf1 ppc64el 0.40.0-5 [43.7 kB] 529s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-service ppc64el 0.40.0-5 [30.8 kB] 529s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5 [26.0 kB] 529s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 529s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 529s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig-config ppc64el 2.15.0-2ubuntu1 [37.5 kB] 529s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfontconfig1 ppc64el 2.15.0-2ubuntu1 [188 kB] 529s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig ppc64el 2.15.0-2ubuntu1 [192 kB] 529s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB] 529s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB] 529s Get:31 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB] 529s Get:32 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB] 529s Get:33 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB] 529s Get:34 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB] 530s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB] 530s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB] 530s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu3 [1619 kB] 530s Get:38 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu3 [20.6 MB] 531s Get:39 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu3 [536 kB] 531s Get:40 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 531s Get:41 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 531s Get:42 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk1.0-0t64 ppc64el 2.55.2-1 [59.8 kB] 531s Get:43 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 531s Get:44 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatspi2.0-0t64 ppc64el 2.55.2-1 [97.5 kB] 531s Get:45 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.55.2-1 [77.8 kB] 531s Get:46 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common-data ppc64el 0.8-14ubuntu1 [30.5 kB] 531s Get:47 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common3 ppc64el 0.8-14ubuntu1 [26.0 kB] 531s Get:48 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-client3 ppc64el 0.8-14ubuntu1 [31.0 kB] 531s Get:49 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 531s Get:50 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 531s Get:51 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 531s Get:52 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 531s Get:53 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo2 ppc64el 1.18.2-2 [747 kB] 531s Get:54 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo-gobject2 ppc64el 1.18.2-2 [127 kB] 531s Get:55 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.3.0-2 [464 kB] 531s Get:56 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.3.0-2 [383 kB] 531s Get:57 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2build1 [28.7 kB] 531s Get:58 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 531s Get:59 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 531s Get:60 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.3.0-2 [8008 kB] 532s Get:61 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.3.0-2 [48.2 MB] 535s Get:62 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcups2t64 ppc64el 2.4.11-0ubuntu2 [347 kB] 535s Get:63 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 535s Get:64 http://ftpmaster.internal/ubuntu plucky/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 535s Get:65 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 535s Get:66 http://ftpmaster.internal/ubuntu plucky/main ppc64el libharfbuzz0b ppc64el 10.2.0-1 [598 kB] 535s Get:67 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 535s Get:68 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 535s Get:69 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpango-1.0-0 ppc64el 1.56.1-1 [277 kB] 535s Get:70 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.1-1 [58.6 kB] 535s Get:71 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.1-1 [30.6 kB] 535s Get:72 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-client0 ppc64el 1.23.1-3 [31.7 kB] 535s Get:73 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-cursor0 ppc64el 1.23.1-3 [12.0 kB] 535s Get:74 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-egl1 ppc64el 1.23.1-3 [6236 B] 535s Get:75 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 535s Get:76 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 535s Get:77 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 535s Get:78 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 535s Get:79 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 535s Get:80 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 535s Get:81 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 535s Get:82 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-0t64 ppc64el 3.24.48-3ubuntu1 [3380 kB] 535s Get:83 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 535s Get:84 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-3 [260 kB] 535s Get:85 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build2 [3599 kB] 536s Get:86 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build2 [332 kB] 536s Get:87 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 536s Get:88 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 536s Get:89 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.3.0-2 [8368 kB] 536s Get:90 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.3.0-2 [20.8 MB] 538s Get:91 http://ftpmaster.internal/ubuntu plucky/universe ppc64el tex-common all 6.18 [32.8 kB] 538s Get:92 http://ftpmaster.internal/ubuntu plucky/universe ppc64el why3 ppc64el 1.8.0-2 [13.7 MB] 538s Get:93 http://ftpmaster.internal/ubuntu plucky/universe ppc64el z3 ppc64el 4.13.3-1 [7196 kB] 539s Fetched 168 MB in 11s (15.0 MB/s) 540s Selecting previously unselected package libgdk-pixbuf2.0-common. 540s (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 ... 106371 files and directories currently installed.) 540s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 540s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 540s Selecting previously unselected package libjpeg-turbo8:ppc64el. 540s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_ppc64el.deb ... 540s Unpacking libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 540s Selecting previously unselected package libjpeg8:ppc64el. 540s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 540s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 540s Selecting previously unselected package libdeflate0:ppc64el. 540s Preparing to unpack .../03-libdeflate0_1.23-1_ppc64el.deb ... 540s Unpacking libdeflate0:ppc64el (1.23-1) ... 540s Selecting previously unselected package libjbig0:ppc64el. 540s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 540s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 540s Selecting previously unselected package liblerc4:ppc64el. 540s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 540s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 540s Selecting previously unselected package libsharpyuv0:ppc64el. 540s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 540s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 540s Selecting previously unselected package libwebp7:ppc64el. 540s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 540s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 540s Selecting previously unselected package libtiff6:ppc64el. 540s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_ppc64el.deb ... 540s Unpacking libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 540s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 540s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_ppc64el.deb ... 540s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 540s Selecting previously unselected package gtk-update-icon-cache. 540s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_ppc64el.deb ... 540s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 540s 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. 540s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 540s Selecting previously unselected package hicolor-icon-theme. 540s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 540s Unpacking hicolor-icon-theme (0.18-2) ... 540s Selecting previously unselected package adwaita-icon-theme. 540s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 540s Unpacking adwaita-icon-theme (48~beta-3) ... 540s Selecting previously unselected package at-spi2-common. 540s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 540s Unpacking at-spi2-common (2.55.2-1) ... 540s Selecting previously unselected package libisl23:ppc64el. 540s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 540s Unpacking libisl23:ppc64el (0.27-1) ... 540s Selecting previously unselected package libmpc3:ppc64el. 540s Preparing to unpack .../15-libmpc3_1.3.1-1build2_ppc64el.deb ... 540s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 540s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 540s Preparing to unpack .../16-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu3_ppc64el.deb ... 540s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 540s Selecting previously unselected package cpp-14. 540s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_ppc64el.deb ... 540s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 540s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 540s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 540s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 540s Selecting previously unselected package cpp. 540s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 540s Unpacking cpp (4:14.2.0-1ubuntu1) ... 540s Selecting previously unselected package libdconf1:ppc64el. 540s Preparing to unpack .../20-libdconf1_0.40.0-5_ppc64el.deb ... 540s Unpacking libdconf1:ppc64el (0.40.0-5) ... 540s Selecting previously unselected package dconf-service. 540s Preparing to unpack .../21-dconf-service_0.40.0-5_ppc64el.deb ... 540s Unpacking dconf-service (0.40.0-5) ... 541s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 541s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_ppc64el.deb ... 541s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5) ... 541s Selecting previously unselected package fonts-dejavu-mono. 541s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 541s Unpacking fonts-dejavu-mono (2.37-8) ... 541s Selecting previously unselected package fonts-dejavu-core. 541s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 541s Unpacking fonts-dejavu-core (2.37-8) ... 541s Selecting previously unselected package fontconfig-config. 541s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_ppc64el.deb ... 541s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 541s Selecting previously unselected package libfontconfig1:ppc64el. 541s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_ppc64el.deb ... 541s Unpacking libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 541s Selecting previously unselected package fontconfig. 541s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_ppc64el.deb ... 541s Unpacking fontconfig (2.15.0-2ubuntu1) ... 541s Selecting previously unselected package libcc1-0:ppc64el. 541s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ... 541s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 541s Selecting previously unselected package libgomp1:ppc64el. 541s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ... 541s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ... 541s Selecting previously unselected package libitm1:ppc64el. 541s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_ppc64el.deb ... 541s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ... 541s Selecting previously unselected package libasan8:ppc64el. 541s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_ppc64el.deb ... 541s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ... 541s Selecting previously unselected package liblsan0:ppc64el. 541s Preparing to unpack .../32-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ... 541s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ... 541s Selecting previously unselected package libtsan2:ppc64el. 541s Preparing to unpack .../33-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ... 541s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ... 541s Selecting previously unselected package libubsan1:ppc64el. 541s Preparing to unpack .../34-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ... 541s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ... 541s Selecting previously unselected package libquadmath0:ppc64el. 541s Preparing to unpack .../35-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ... 541s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 541s Selecting previously unselected package libgcc-14-dev:ppc64el. 541s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu3_ppc64el.deb ... 541s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu3) ... 541s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 541s Preparing to unpack .../37-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu3_ppc64el.deb ... 541s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 542s Selecting previously unselected package gcc-14. 542s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu3_ppc64el.deb ... 542s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 542s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 542s Preparing to unpack .../39-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 542s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 542s Selecting previously unselected package gcc. 542s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 542s Unpacking gcc (4:14.2.0-1ubuntu1) ... 542s Selecting previously unselected package libatk1.0-0t64:ppc64el. 542s Preparing to unpack .../41-libatk1.0-0t64_2.55.2-1_ppc64el.deb ... 542s Unpacking libatk1.0-0t64:ppc64el (2.55.2-1) ... 542s Selecting previously unselected package libxi6:ppc64el. 542s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_ppc64el.deb ... 542s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 542s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 542s Preparing to unpack .../43-libatspi2.0-0t64_2.55.2-1_ppc64el.deb ... 542s Unpacking libatspi2.0-0t64:ppc64el (2.55.2-1) ... 542s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 542s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.2-1_ppc64el.deb ... 542s Unpacking libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 542s Selecting previously unselected package libavahi-common-data:ppc64el. 542s Preparing to unpack .../45-libavahi-common-data_0.8-14ubuntu1_ppc64el.deb ... 542s Unpacking libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 542s Selecting previously unselected package libavahi-common3:ppc64el. 542s Preparing to unpack .../46-libavahi-common3_0.8-14ubuntu1_ppc64el.deb ... 542s Unpacking libavahi-common3:ppc64el (0.8-14ubuntu1) ... 542s Selecting previously unselected package libavahi-client3:ppc64el. 542s Preparing to unpack .../47-libavahi-client3_0.8-14ubuntu1_ppc64el.deb ... 542s Unpacking libavahi-client3:ppc64el (0.8-14ubuntu1) ... 542s Selecting previously unselected package libpixman-1-0:ppc64el. 542s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_ppc64el.deb ... 542s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 542s Selecting previously unselected package libxcb-render0:ppc64el. 542s Preparing to unpack .../49-libxcb-render0_1.17.0-2_ppc64el.deb ... 542s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 542s Selecting previously unselected package libxcb-shm0:ppc64el. 542s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_ppc64el.deb ... 542s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 542s Selecting previously unselected package libxrender1:ppc64el. 542s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 542s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 542s Selecting previously unselected package libcairo2:ppc64el. 542s Preparing to unpack .../52-libcairo2_1.18.2-2_ppc64el.deb ... 542s Unpacking libcairo2:ppc64el (1.18.2-2) ... 542s Selecting previously unselected package libcairo-gobject2:ppc64el. 542s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_ppc64el.deb ... 542s Unpacking libcairo-gobject2:ppc64el (1.18.2-2) ... 542s Selecting previously unselected package libstdlib-ocaml. 542s Preparing to unpack .../54-libstdlib-ocaml_5.3.0-2_ppc64el.deb ... 542s Unpacking libstdlib-ocaml (5.3.0-2) ... 542s Selecting previously unselected package ocaml-base. 542s Preparing to unpack .../55-ocaml-base_5.3.0-2_ppc64el.deb ... 542s Unpacking ocaml-base (5.3.0-2) ... 542s Selecting previously unselected package libcairo2-ocaml. 542s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2build1_ppc64el.deb ... 542s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 542s Selecting previously unselected package liblcms2-2:ppc64el. 542s Preparing to unpack .../57-liblcms2-2_2.16-2_ppc64el.deb ... 542s Unpacking liblcms2-2:ppc64el (2.16-2) ... 542s Selecting previously unselected package libcolord2:ppc64el. 542s Preparing to unpack .../58-libcolord2_1.4.7-1build2_ppc64el.deb ... 542s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 542s Selecting previously unselected package libstdlib-ocaml-dev. 542s Preparing to unpack .../59-libstdlib-ocaml-dev_5.3.0-2_ppc64el.deb ... 542s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 542s Selecting previously unselected package libcompiler-libs-ocaml-dev. 542s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.3.0-2_ppc64el.deb ... 542s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 543s Selecting previously unselected package libcups2t64:ppc64el. 543s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_ppc64el.deb ... 543s Unpacking libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 543s Selecting previously unselected package libdatrie1:ppc64el. 543s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_ppc64el.deb ... 543s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 543s Selecting previously unselected package libepoxy0:ppc64el. 543s Preparing to unpack .../63-libepoxy0_1.5.10-2_ppc64el.deb ... 543s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 543s Selecting previously unselected package libgraphite2-3:ppc64el. 543s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 543s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 543s Selecting previously unselected package libharfbuzz0b:ppc64el. 543s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_ppc64el.deb ... 543s Unpacking libharfbuzz0b:ppc64el (10.2.0-1) ... 543s Selecting previously unselected package libthai-data. 543s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 543s Unpacking libthai-data (0.1.29-2build1) ... 543s Selecting previously unselected package libthai0:ppc64el. 543s Preparing to unpack .../67-libthai0_0.1.29-2build1_ppc64el.deb ... 543s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 543s Selecting previously unselected package libpango-1.0-0:ppc64el. 543s Preparing to unpack .../68-libpango-1.0-0_1.56.1-1_ppc64el.deb ... 543s Unpacking libpango-1.0-0:ppc64el (1.56.1-1) ... 543s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 543s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.1-1_ppc64el.deb ... 543s Unpacking libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 543s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 543s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.1-1_ppc64el.deb ... 543s Unpacking libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 543s Selecting previously unselected package libwayland-client0:ppc64el. 543s Preparing to unpack .../71-libwayland-client0_1.23.1-3_ppc64el.deb ... 543s Unpacking libwayland-client0:ppc64el (1.23.1-3) ... 543s Selecting previously unselected package libwayland-cursor0:ppc64el. 543s Preparing to unpack .../72-libwayland-cursor0_1.23.1-3_ppc64el.deb ... 543s Unpacking libwayland-cursor0:ppc64el (1.23.1-3) ... 543s Selecting previously unselected package libwayland-egl1:ppc64el. 543s Preparing to unpack .../73-libwayland-egl1_1.23.1-3_ppc64el.deb ... 543s Unpacking libwayland-egl1:ppc64el (1.23.1-3) ... 543s Selecting previously unselected package libxcomposite1:ppc64el. 543s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 543s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 543s Selecting previously unselected package libxfixes3:ppc64el. 543s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 543s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 543s Selecting previously unselected package libxcursor1:ppc64el. 543s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 543s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 543s Selecting previously unselected package libxdamage1:ppc64el. 543s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 543s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 543s Selecting previously unselected package libxinerama1:ppc64el. 543s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 543s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 543s Selecting previously unselected package libxrandr2:ppc64el. 543s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 543s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 543s Selecting previously unselected package libgtk-3-common. 543s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 543s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 543s Selecting previously unselected package libgtk-3-0t64:ppc64el. 543s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_ppc64el.deb ... 543s Unpacking libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 543s Selecting previously unselected package libgtksourceview-3.0-common. 543s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 543s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 544s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 544s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_ppc64el.deb ... 544s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 544s Selecting previously unselected package liblablgtk3-ocaml. 544s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build2_ppc64el.deb ... 544s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 544s Selecting previously unselected package liblablgtksourceview3-ocaml. 544s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build2_ppc64el.deb ... 544s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 544s Selecting previously unselected package libncurses-dev:ppc64el. 544s Preparing to unpack .../86-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 544s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 544s Selecting previously unselected package libzstd-dev:ppc64el. 544s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 544s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 544s Selecting previously unselected package ocaml-interp. 544s Preparing to unpack .../88-ocaml-interp_5.3.0-2_ppc64el.deb ... 544s Unpacking ocaml-interp (5.3.0-2) ... 544s Selecting previously unselected package ocaml. 544s Preparing to unpack .../89-ocaml_5.3.0-2_ppc64el.deb ... 544s Unpacking ocaml (5.3.0-2) ... 544s Selecting previously unselected package tex-common. 544s Preparing to unpack .../90-tex-common_6.18_all.deb ... 544s Unpacking tex-common (6.18) ... 544s Selecting previously unselected package why3. 544s Preparing to unpack .../91-why3_1.8.0-2_ppc64el.deb ... 544s Unpacking why3 (1.8.0-2) ... 545s Selecting previously unselected package z3. 545s Preparing to unpack .../92-z3_4.13.3-1_ppc64el.deb ... 545s Unpacking z3 (4.13.3-1) ... 545s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 545s Setting up liblcms2-2:ppc64el (2.16-2) ... 545s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 545s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 545s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 545s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 545s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 545s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 545s Setting up hicolor-icon-theme (0.18-2) ... 545s Setting up libxi6:ppc64el (2:1.8.2-1) ... 545s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 545s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 545s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 545s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 545s Setting up libdeflate0:ppc64el (1.23-1) ... 545s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 545s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ... 545s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 545s Setting up z3 (4.13.3-1) ... 545s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 545s Setting up libdconf1:ppc64el (0.40.0-5) ... 545s Setting up tex-common (6.18) ... 545s update-language: texlive-base not installed and configured, doing nothing! 545s Setting up libepoxy0:ppc64el (1.5.10-2) ... 545s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 545s Setting up libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 545s Setting up libatspi2.0-0t64:ppc64el (2.55.2-1) ... 545s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 545s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 545s Setting up libstdlib-ocaml (5.3.0-2) ... 545s Setting up fonts-dejavu-mono (2.37-8) ... 545s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 545s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 545s Setting up ocaml-base (5.3.0-2) ... 545s Setting up fonts-dejavu-core (2.37-8) ... 545s Setting up libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 545s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 545s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ... 545s Setting up at-spi2-common (2.55.2-1) ... 545s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ... 545s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 545s Setting up libharfbuzz0b:ppc64el (10.2.0-1) ... 545s Setting up libthai-data (0.1.29-2build1) ... 545s Setting up libwayland-egl1:ppc64el (1.23.1-3) ... 545s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ... 545s Setting up libisl23:ppc64el (0.27-1) ... 545s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 545s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 545s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ... 545s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ... 545s Setting up libwayland-client0:ppc64el (1.23.1-3) ... 545s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 545s Setting up libatk1.0-0t64:ppc64el (2.55.2-1) ... 545s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 545s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 545s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 545s Setting up libavahi-common3:ppc64el (0.8-14ubuntu1) ... 545s Setting up dconf-service (0.40.0-5) ... 545s Setting up libthai0:ppc64el (0.1.29-2build1) ... 545s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 545s Setting up ocaml-interp (5.3.0-2) ... 545s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 545s Setting up cpp-14 (14.2.0-17ubuntu3) ... 545s Setting up libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 545s Setting up libwayland-cursor0:ppc64el (1.23.1-3) ... 545s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 545s Setting up libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 545s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu3) ... 545s Setting up libavahi-client3:ppc64el (0.8-14ubuntu1) ... 545s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 545s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 545s Setting up libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 545s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 545s Setting up fontconfig (2.15.0-2ubuntu1) ... 547s Regenerating fonts cache... done. 547s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5) ... 547s Setting up libpango-1.0-0:ppc64el (1.56.1-1) ... 547s Setting up libcairo2:ppc64el (1.18.2-2) ... 547s Setting up gcc-14 (14.2.0-17ubuntu3) ... 547s Setting up adwaita-icon-theme (48~beta-3) ... 547s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 547s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 547s Setting up cpp (4:14.2.0-1ubuntu1) ... 547s Setting up libcairo-gobject2:ppc64el (1.18.2-2) ... 547s Setting up libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 547s Setting up libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 547s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 547s Setting up libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 547s Setting up libcairo2-ocaml (0.6.5-2build1) ... 547s Setting up gcc (4:14.2.0-1ubuntu1) ... 547s Setting up ocaml (5.3.0-2) ... 547s Processing triggers for libc-bin (2.40-4ubuntu1) ... 547s Processing triggers for man-db (2.13.0-1) ... 549s Processing triggers for libglib2.0-0t64:ppc64el (2.83.4-1) ... 549s Setting up libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 549s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 549s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 549s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 549s Setting up why3 (1.8.0-2) ... 549s Processing triggers for libc-bin (2.40-4ubuntu1) ... 554s autopkgtest [06:24:06]: test why3+z3: [----------------------- 556s autopkgtest [06:24:08]: test why3+z3: -----------------------] 556s autopkgtest [06:24:08]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 556s why3+z3 PASS 556s autopkgtest [06:24:08]: @@@@@@@@@@@@@@@@@@@@ summary 556s why3+cvc4 PASS 556s why3+cvc5 PASS 556s why3+spass PASS 556s why3+z3 PASS 563s nova [W] Using flock in prodstack6-ppc64el 563s Creating nova instance adt-plucky-ppc64el-why3-20250222-061452-juju-7f2275-prod-proposed-migration-environment-2-77ec57e5-24a8-46c8-a914-d4ce0609d5e0 from image adt/ubuntu-plucky-ppc64el-server-20250222.img (UUID fe93544b-49e9-47e0-b80a-745acc8cd85b)... 563s nova [W] Timed out waiting for 68321202-e0c3-41f1-9517-b2685d135df1 to get deleted. 563s nova [W] Using flock in prodstack6-ppc64el 563s Creating nova instance adt-plucky-ppc64el-why3-20250222-061452-juju-7f2275-prod-proposed-migration-environment-2-77ec57e5-24a8-46c8-a914-d4ce0609d5e0 from image adt/ubuntu-plucky-ppc64el-server-20250222.img (UUID fe93544b-49e9-47e0-b80a-745acc8cd85b)... 563s nova [W] Timed out waiting for 63994848-6162-4108-8101-90aac106cc3c to get deleted. 563s nova [W] Using flock in prodstack6-ppc64el 563s Creating nova instance adt-plucky-ppc64el-why3-20250222-061452-juju-7f2275-prod-proposed-migration-environment-2-77ec57e5-24a8-46c8-a914-d4ce0609d5e0 from image adt/ubuntu-plucky-ppc64el-server-20250222.img (UUID fe93544b-49e9-47e0-b80a-745acc8cd85b)... 563s nova [W] Timed out waiting for 21fa508f-7f56-47e2-997e-227a79d60596 to get deleted. 563s nova [W] Using flock in prodstack6-ppc64el 563s Creating nova instance adt-plucky-ppc64el-why3-20250222-061452-juju-7f2275-prod-proposed-migration-environment-2-77ec57e5-24a8-46c8-a914-d4ce0609d5e0 from image adt/ubuntu-plucky-ppc64el-server-20250222.img (UUID fe93544b-49e9-47e0-b80a-745acc8cd85b)... 563s nova [W] Timed out waiting for eb645070-22b6-43e0-acc2-c2d8dbc46ccf to get deleted.