0s autopkgtest [01:23:25]: starting date and time: 2025-02-20 01:23:25+0000 0s autopkgtest [01:23:25]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [01:23:25]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.mixvw_gb/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:sphinx --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=sphinx/8.1.3-5 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-ppc64el-15.secgroup --name adt-plucky-ppc64el-why3-20250220-012324-juju-7f2275-prod-proposed-migration-environment-2-4823c094-d612-4cac-8a3d-d6109f6d58c3 --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/ 92s autopkgtest [01:24:57]: testbed dpkg architecture: ppc64el 93s autopkgtest [01:24:58]: testbed apt version: 2.9.30 93s autopkgtest [01:24:58]: @@@@@@@@@@@@@@@@@@@@ test bed setup 93s autopkgtest [01:24:58]: testbed release detected to be: None 94s autopkgtest [01:24:59]: updating testbed package index (apt update) 94s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 95s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 95s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 95s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 95s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [16.3 kB] 95s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [81.0 kB] 95s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [739 kB] 95s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 95s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [107 kB] 95s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 95s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [685 kB] 95s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [5948 B] 95s Fetched 1749 kB in 1s (1726 kB/s) 96s Reading package lists... 97s Reading package lists... 97s Building dependency tree... 97s Reading state information... 98s Calculating upgrade... 98s The following packages will be upgraded: 98s lto-disabled-list 98s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 98s Need to get 12.3 kB of archives. 98s After this operation, 1024 B of additional disk space will be used. 98s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el lto-disabled-list all 55 [12.3 kB] 98s Fetched 12.3 kB in 0s (86.3 kB/s) 99s (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 ... 106420 files and directories currently installed.) 99s Preparing to unpack .../lto-disabled-list_55_all.deb ... 99s Unpacking lto-disabled-list (55) over (54) ... 99s Setting up lto-disabled-list (55) ... 99s Reading package lists... 99s Building dependency tree... 99s Reading state information... 99s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 99s autopkgtest [01:25:04]: upgrading testbed (apt dist-upgrade and autopurge) 100s Reading package lists... 100s Building dependency tree... 100s Reading state information... 100s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 100s Starting 2 pkgProblemResolver with broken count: 0 100s Done 101s Entering ResolveByKeep 101s 102s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 102s Reading package lists... 102s Building dependency tree... 102s Reading state information... 102s Starting pkgProblemResolver with broken count: 0 102s Starting 2 pkgProblemResolver with broken count: 0 102s Done 103s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 105s autopkgtest [01:25:10]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 16:32:08 UTC 2025 105s autopkgtest [01:25:10]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 110s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 110s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 110s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 110s gpgv: Signature made Fri Sep 6 15:04:31 2024 UTC 110s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 110s gpgv: Can't check signature: No public key 110s dpkg-source: warning: cannot verify inline signature for ./why3_1.7.2-2build1.dsc: no acceptable signature found 111s autopkgtest [01:25:16]: testing package why3 version 1.7.2-2build1 112s autopkgtest [01:25:17]: build not needed 114s autopkgtest [01:25:19]: test why3+cvc4: preparing testbed 114s Reading package lists... 115s Building dependency tree... 115s Reading state information... 115s Starting pkgProblemResolver with broken count: 0 115s Starting 2 pkgProblemResolver with broken count: 0 115s Done 115s The following NEW packages will be installed: 115s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-powerpc64le-linux-gnu 115s cpp-powerpc64le-linux-gnu cvc4 dconf-gsettings-backend dconf-service 115s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 115s gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 115s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 115s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 115s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 115s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 115s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 115s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 115s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 115s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 115s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 115s liblcms2-2 liblerc4 liblsan0 libmpc3 libncurses-dev libpango-1.0-0 115s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libquadmath0 115s libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 115s libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 115s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 115s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 115s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 115s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 115s Need to get 166 MB of archives. 115s After this operation, 534 MB of additional disk space will be used. 115s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 115s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-3ubuntu2 [215 kB] 116s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 116s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdeflate0 ppc64el 1.23-1 [63.4 kB] 116s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 116s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 116s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 116s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 116s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtiff6 ppc64el 4.5.1+git230720-4ubuntu4 [272 kB] 116s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-2 [191 kB] 116s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gtk-update-icon-cache ppc64el 4.17.4+ds-4 [55.0 kB] 116s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 116s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el adwaita-icon-theme all 48~beta-3 [578 kB] 116s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el at-spi2-common all 2.55.2-1 [8916 B] 116s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 116s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 116s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [10.5 MB] 117s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu1 [1038 B] 117s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 117s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 117s Get:21 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 117s Get:22 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcvc4-7 ppc64el 1.8-3build2 [4746 kB] 117s Get:23 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libantlr3c-3.4-0 ppc64el 3.4+dfsg-4build2 [60.7 kB] 117s Get:24 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcvc4parser7 ppc64el 1.8-3build2 [383 kB] 117s Get:25 http://ftpmaster.internal/ubuntu plucky/universe ppc64el cvc4 ppc64el 1.8-3build2 [76.6 kB] 117s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdconf1 ppc64el 0.40.0-5 [43.7 kB] 117s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-service ppc64el 0.40.0-5 [30.8 kB] 117s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5 [26.0 kB] 117s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 117s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 117s Get:31 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig-config ppc64el 2.15.0-2ubuntu1 [37.5 kB] 117s Get:32 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfontconfig1 ppc64el 2.15.0-2ubuntu1 [188 kB] 117s Get:33 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig ppc64el 2.15.0-2ubuntu1 [192 kB] 117s Get:34 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB] 117s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB] 117s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB] 117s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB] 117s Get:38 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB] 117s Get:39 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB] 117s Get:40 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB] 117s Get:41 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB] 117s Get:42 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu1 [1620 kB] 117s Get:43 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [20.6 MB] 119s Get:44 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu1 [536 kB] 119s Get:45 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 119s Get:46 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 119s Get:47 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk1.0-0t64 ppc64el 2.55.2-1 [59.8 kB] 119s Get:48 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 119s Get:49 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatspi2.0-0t64 ppc64el 2.55.2-1 [97.5 kB] 119s Get:50 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.55.2-1 [77.8 kB] 119s Get:51 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common-data ppc64el 0.8-14ubuntu1 [30.5 kB] 119s Get:52 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common3 ppc64el 0.8-14ubuntu1 [26.0 kB] 119s Get:53 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-client3 ppc64el 0.8-14ubuntu1 [31.0 kB] 119s Get:54 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 119s Get:55 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 119s Get:56 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 119s Get:57 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 119s Get:58 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo2 ppc64el 1.18.2-2 [747 kB] 119s Get:59 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo-gobject2 ppc64el 1.18.2-2 [127 kB] 119s Get:60 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.2.0-3 [446 kB] 119s Get:61 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.2.0-3 [347 kB] 119s Get:62 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2 [29.1 kB] 119s Get:63 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 119s Get:64 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 119s Get:65 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.2.0-3 [11.1 MB] 120s Get:66 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.2.0-3 [47.1 MB] 124s Get:67 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcups2t64 ppc64el 2.4.11-0ubuntu2 [347 kB] 124s Get:68 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 124s Get:69 http://ftpmaster.internal/ubuntu plucky/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 124s Get:70 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 124s Get:71 http://ftpmaster.internal/ubuntu plucky/main ppc64el libharfbuzz0b ppc64el 10.2.0-1 [598 kB] 124s Get:72 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 124s Get:73 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 124s Get:74 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpango-1.0-0 ppc64el 1.56.1-1 [277 kB] 124s Get:75 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.1-1 [58.6 kB] 124s Get:76 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.1-1 [30.6 kB] 124s Get:77 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-client0 ppc64el 1.23.1-1 [31.6 kB] 124s Get:78 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-cursor0 ppc64el 1.23.1-1 [12.0 kB] 124s Get:79 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-egl1 ppc64el 1.23.1-1 [5810 B] 124s Get:80 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 124s Get:81 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 124s Get:82 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 124s Get:83 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 124s Get:84 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 124s Get:85 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 124s Get:86 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 124s Get:87 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-0t64 ppc64el 3.24.48-3ubuntu1 [3380 kB] 124s Get:88 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 125s Get:89 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-3 [260 kB] 125s Get:90 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build1 [3588 kB] 125s Get:91 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build1 [331 kB] 125s Get:92 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 125s Get:93 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 125s Get:94 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.2.0-3 [8077 kB] 126s Get:95 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.2.0-3 [20.1 MB] 128s Get:96 http://ftpmaster.internal/ubuntu plucky/universe ppc64el tex-common all 6.18 [32.8 kB] 128s Get:97 http://ftpmaster.internal/ubuntu plucky/universe ppc64el why3 ppc64el 1.7.2-2build1 [12.2 MB] 129s Fetched 166 MB in 13s (12.3 MB/s) 129s Selecting previously unselected package libgdk-pixbuf2.0-common. 129s (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 ... 106420 files and directories currently installed.) 129s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 130s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 130s Selecting previously unselected package libjpeg-turbo8:ppc64el. 130s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_ppc64el.deb ... 130s Unpacking libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 130s Selecting previously unselected package libjpeg8:ppc64el. 130s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 130s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 130s Selecting previously unselected package libdeflate0:ppc64el. 130s Preparing to unpack .../03-libdeflate0_1.23-1_ppc64el.deb ... 130s Unpacking libdeflate0:ppc64el (1.23-1) ... 130s Selecting previously unselected package libjbig0:ppc64el. 130s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 130s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 130s Selecting previously unselected package liblerc4:ppc64el. 130s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 130s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 130s Selecting previously unselected package libsharpyuv0:ppc64el. 130s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 130s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 130s Selecting previously unselected package libwebp7:ppc64el. 130s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 130s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 130s Selecting previously unselected package libtiff6:ppc64el. 130s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_ppc64el.deb ... 130s Unpacking libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 130s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 130s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_ppc64el.deb ... 130s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 130s Selecting previously unselected package gtk-update-icon-cache. 130s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_ppc64el.deb ... 130s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 130s 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. 130s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 130s Selecting previously unselected package hicolor-icon-theme. 130s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 130s Unpacking hicolor-icon-theme (0.18-2) ... 130s Selecting previously unselected package adwaita-icon-theme. 130s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 130s Unpacking adwaita-icon-theme (48~beta-3) ... 130s Selecting previously unselected package at-spi2-common. 130s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 130s Unpacking at-spi2-common (2.55.2-1) ... 130s Selecting previously unselected package libisl23:ppc64el. 130s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 130s Unpacking libisl23:ppc64el (0.27-1) ... 130s Selecting previously unselected package libmpc3:ppc64el. 130s Preparing to unpack .../15-libmpc3_1.3.1-1build2_ppc64el.deb ... 130s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 130s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 130s Preparing to unpack .../16-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 130s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 130s Selecting previously unselected package cpp-14. 130s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_ppc64el.deb ... 130s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 130s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 130s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 130s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 130s Selecting previously unselected package cpp. 130s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 130s Unpacking cpp (4:14.2.0-1ubuntu1) ... 130s Selecting previously unselected package libcln6:ppc64el. 130s Preparing to unpack .../20-libcln6_1.3.7-1_ppc64el.deb ... 130s Unpacking libcln6:ppc64el (1.3.7-1) ... 130s Selecting previously unselected package libcvc4-7:ppc64el. 130s Preparing to unpack .../21-libcvc4-7_1.8-3build2_ppc64el.deb ... 130s Unpacking libcvc4-7:ppc64el (1.8-3build2) ... 131s Selecting previously unselected package libantlr3c-3.4-0:ppc64el. 131s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_ppc64el.deb ... 131s Unpacking libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 131s Selecting previously unselected package libcvc4parser7:ppc64el. 131s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_ppc64el.deb ... 131s Unpacking libcvc4parser7:ppc64el (1.8-3build2) ... 131s Selecting previously unselected package cvc4. 131s Preparing to unpack .../24-cvc4_1.8-3build2_ppc64el.deb ... 131s Unpacking cvc4 (1.8-3build2) ... 131s Selecting previously unselected package libdconf1:ppc64el. 131s Preparing to unpack .../25-libdconf1_0.40.0-5_ppc64el.deb ... 131s Unpacking libdconf1:ppc64el (0.40.0-5) ... 131s Selecting previously unselected package dconf-service. 131s Preparing to unpack .../26-dconf-service_0.40.0-5_ppc64el.deb ... 131s Unpacking dconf-service (0.40.0-5) ... 131s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 131s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_ppc64el.deb ... 131s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5) ... 131s Selecting previously unselected package fonts-dejavu-mono. 131s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 131s Unpacking fonts-dejavu-mono (2.37-8) ... 131s Selecting previously unselected package fonts-dejavu-core. 131s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 131s Unpacking fonts-dejavu-core (2.37-8) ... 131s Selecting previously unselected package fontconfig-config. 131s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_ppc64el.deb ... 131s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 131s Selecting previously unselected package libfontconfig1:ppc64el. 131s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_ppc64el.deb ... 131s Unpacking libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 131s Selecting previously unselected package fontconfig. 131s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_ppc64el.deb ... 131s Unpacking fontconfig (2.15.0-2ubuntu1) ... 131s Selecting previously unselected package libcc1-0:ppc64el. 131s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ... 131s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 131s Selecting previously unselected package libgomp1:ppc64el. 131s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ... 131s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ... 131s Selecting previously unselected package libitm1:ppc64el. 131s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_ppc64el.deb ... 131s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ... 131s Selecting previously unselected package libasan8:ppc64el. 131s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_ppc64el.deb ... 131s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ... 131s Selecting previously unselected package liblsan0:ppc64el. 131s Preparing to unpack .../37-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ... 131s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ... 131s Selecting previously unselected package libtsan2:ppc64el. 131s Preparing to unpack .../38-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ... 131s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ... 131s Selecting previously unselected package libubsan1:ppc64el. 131s Preparing to unpack .../39-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ... 131s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ... 131s Selecting previously unselected package libquadmath0:ppc64el. 131s Preparing to unpack .../40-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ... 131s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 131s Selecting previously unselected package libgcc-14-dev:ppc64el. 131s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 132s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 132s Preparing to unpack .../42-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 132s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 132s Selecting previously unselected package gcc-14. 132s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu1_ppc64el.deb ... 132s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 132s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 132s Preparing to unpack .../44-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 132s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 132s Selecting previously unselected package gcc. 132s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 132s Unpacking gcc (4:14.2.0-1ubuntu1) ... 132s Selecting previously unselected package libatk1.0-0t64:ppc64el. 132s Preparing to unpack .../46-libatk1.0-0t64_2.55.2-1_ppc64el.deb ... 132s Unpacking libatk1.0-0t64:ppc64el (2.55.2-1) ... 132s Selecting previously unselected package libxi6:ppc64el. 132s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_ppc64el.deb ... 132s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 132s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 132s Preparing to unpack .../48-libatspi2.0-0t64_2.55.2-1_ppc64el.deb ... 132s Unpacking libatspi2.0-0t64:ppc64el (2.55.2-1) ... 132s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 132s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.2-1_ppc64el.deb ... 132s Unpacking libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 132s Selecting previously unselected package libavahi-common-data:ppc64el. 132s Preparing to unpack .../50-libavahi-common-data_0.8-14ubuntu1_ppc64el.deb ... 132s Unpacking libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 132s Selecting previously unselected package libavahi-common3:ppc64el. 132s Preparing to unpack .../51-libavahi-common3_0.8-14ubuntu1_ppc64el.deb ... 132s Unpacking libavahi-common3:ppc64el (0.8-14ubuntu1) ... 132s Selecting previously unselected package libavahi-client3:ppc64el. 132s Preparing to unpack .../52-libavahi-client3_0.8-14ubuntu1_ppc64el.deb ... 132s Unpacking libavahi-client3:ppc64el (0.8-14ubuntu1) ... 132s Selecting previously unselected package libpixman-1-0:ppc64el. 132s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_ppc64el.deb ... 132s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 132s Selecting previously unselected package libxcb-render0:ppc64el. 132s Preparing to unpack .../54-libxcb-render0_1.17.0-2_ppc64el.deb ... 132s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 132s Selecting previously unselected package libxcb-shm0:ppc64el. 132s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_ppc64el.deb ... 132s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 132s Selecting previously unselected package libxrender1:ppc64el. 132s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 132s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 132s Selecting previously unselected package libcairo2:ppc64el. 132s Preparing to unpack .../57-libcairo2_1.18.2-2_ppc64el.deb ... 132s Unpacking libcairo2:ppc64el (1.18.2-2) ... 132s Selecting previously unselected package libcairo-gobject2:ppc64el. 132s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_ppc64el.deb ... 132s Unpacking libcairo-gobject2:ppc64el (1.18.2-2) ... 132s Selecting previously unselected package libstdlib-ocaml. 132s Preparing to unpack .../59-libstdlib-ocaml_5.2.0-3_ppc64el.deb ... 132s Unpacking libstdlib-ocaml (5.2.0-3) ... 132s Selecting previously unselected package ocaml-base. 132s Preparing to unpack .../60-ocaml-base_5.2.0-3_ppc64el.deb ... 132s Unpacking ocaml-base (5.2.0-3) ... 132s Selecting previously unselected package libcairo2-ocaml. 132s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2_ppc64el.deb ... 132s Unpacking libcairo2-ocaml (0.6.5-2) ... 132s Selecting previously unselected package liblcms2-2:ppc64el. 132s Preparing to unpack .../62-liblcms2-2_2.16-2_ppc64el.deb ... 132s Unpacking liblcms2-2:ppc64el (2.16-2) ... 132s Selecting previously unselected package libcolord2:ppc64el. 132s Preparing to unpack .../63-libcolord2_1.4.7-1build2_ppc64el.deb ... 132s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 132s Selecting previously unselected package libstdlib-ocaml-dev. 132s Preparing to unpack .../64-libstdlib-ocaml-dev_5.2.0-3_ppc64el.deb ... 132s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 133s Selecting previously unselected package libcompiler-libs-ocaml-dev. 133s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.2.0-3_ppc64el.deb ... 133s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 133s Selecting previously unselected package libcups2t64:ppc64el. 133s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_ppc64el.deb ... 133s Unpacking libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 133s Selecting previously unselected package libdatrie1:ppc64el. 133s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_ppc64el.deb ... 133s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 133s Selecting previously unselected package libepoxy0:ppc64el. 133s Preparing to unpack .../68-libepoxy0_1.5.10-2_ppc64el.deb ... 133s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 133s Selecting previously unselected package libgraphite2-3:ppc64el. 133s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 133s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 133s Selecting previously unselected package libharfbuzz0b:ppc64el. 133s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_ppc64el.deb ... 133s Unpacking libharfbuzz0b:ppc64el (10.2.0-1) ... 133s Selecting previously unselected package libthai-data. 133s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 133s Unpacking libthai-data (0.1.29-2build1) ... 133s Selecting previously unselected package libthai0:ppc64el. 133s Preparing to unpack .../72-libthai0_0.1.29-2build1_ppc64el.deb ... 133s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 133s Selecting previously unselected package libpango-1.0-0:ppc64el. 133s Preparing to unpack .../73-libpango-1.0-0_1.56.1-1_ppc64el.deb ... 133s Unpacking libpango-1.0-0:ppc64el (1.56.1-1) ... 133s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 133s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.1-1_ppc64el.deb ... 133s Unpacking libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 133s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 133s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.1-1_ppc64el.deb ... 133s Unpacking libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 133s Selecting previously unselected package libwayland-client0:ppc64el. 133s Preparing to unpack .../76-libwayland-client0_1.23.1-1_ppc64el.deb ... 133s Unpacking libwayland-client0:ppc64el (1.23.1-1) ... 133s Selecting previously unselected package libwayland-cursor0:ppc64el. 133s Preparing to unpack .../77-libwayland-cursor0_1.23.1-1_ppc64el.deb ... 133s Unpacking libwayland-cursor0:ppc64el (1.23.1-1) ... 133s Selecting previously unselected package libwayland-egl1:ppc64el. 133s Preparing to unpack .../78-libwayland-egl1_1.23.1-1_ppc64el.deb ... 133s Unpacking libwayland-egl1:ppc64el (1.23.1-1) ... 133s Selecting previously unselected package libxcomposite1:ppc64el. 133s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 133s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 133s Selecting previously unselected package libxfixes3:ppc64el. 133s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 133s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 133s Selecting previously unselected package libxcursor1:ppc64el. 133s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 133s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 134s Selecting previously unselected package libxdamage1:ppc64el. 134s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 134s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 134s Selecting previously unselected package libxinerama1:ppc64el. 134s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 134s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 134s Selecting previously unselected package libxrandr2:ppc64el. 134s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 134s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 134s Selecting previously unselected package libgtk-3-common. 134s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 134s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 134s Selecting previously unselected package libgtk-3-0t64:ppc64el. 134s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_ppc64el.deb ... 134s Unpacking libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 134s Selecting previously unselected package libgtksourceview-3.0-common. 134s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 134s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 134s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 134s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_ppc64el.deb ... 134s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 134s Selecting previously unselected package liblablgtk3-ocaml. 134s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build1_ppc64el.deb ... 134s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 134s Selecting previously unselected package liblablgtksourceview3-ocaml. 134s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build1_ppc64el.deb ... 134s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 134s Selecting previously unselected package libncurses-dev:ppc64el. 134s Preparing to unpack .../91-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 134s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 134s Selecting previously unselected package libzstd-dev:ppc64el. 134s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 134s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 134s Selecting previously unselected package ocaml-interp. 134s Preparing to unpack .../93-ocaml-interp_5.2.0-3_ppc64el.deb ... 134s Unpacking ocaml-interp (5.2.0-3) ... 134s Selecting previously unselected package ocaml. 134s Preparing to unpack .../94-ocaml_5.2.0-3_ppc64el.deb ... 134s Unpacking ocaml (5.2.0-3) ... 135s Selecting previously unselected package tex-common. 135s Preparing to unpack .../95-tex-common_6.18_all.deb ... 135s Unpacking tex-common (6.18) ... 135s Selecting previously unselected package why3. 135s Preparing to unpack .../96-why3_1.7.2-2build1_ppc64el.deb ... 135s Unpacking why3 (1.7.2-2build1) ... 135s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 135s Setting up liblcms2-2:ppc64el (2.16-2) ... 135s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 135s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 135s Setting up libcln6:ppc64el (1.3.7-1) ... 135s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 135s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 135s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 135s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 135s Setting up libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 135s Setting up hicolor-icon-theme (0.18-2) ... 135s Setting up libxi6:ppc64el (2:1.8.2-1) ... 135s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 135s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 135s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 135s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 135s Setting up libdeflate0:ppc64el (1.23-1) ... 135s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 135s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ... 135s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 135s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 135s Setting up libdconf1:ppc64el (0.40.0-5) ... 135s Setting up tex-common (6.18) ... 135s update-language: texlive-base not installed and configured, doing nothing! 135s Setting up libepoxy0:ppc64el (1.5.10-2) ... 135s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 135s Setting up libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 135s Setting up libatspi2.0-0t64:ppc64el (2.55.2-1) ... 135s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 135s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 135s Setting up libstdlib-ocaml (5.2.0-3) ... 135s Setting up fonts-dejavu-mono (2.37-8) ... 135s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 135s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 135s Setting up ocaml-base (5.2.0-3) ... 135s Setting up fonts-dejavu-core (2.37-8) ... 135s Setting up libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 135s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 135s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ... 135s Setting up at-spi2-common (2.55.2-1) ... 135s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ... 135s Setting up libcvc4-7:ppc64el (1.8-3build2) ... 135s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 135s Setting up libharfbuzz0b:ppc64el (10.2.0-1) ... 135s Setting up libthai-data (0.1.29-2build1) ... 135s Setting up libwayland-egl1:ppc64el (1.23.1-1) ... 135s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ... 135s Setting up libisl23:ppc64el (0.27-1) ... 135s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 135s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 135s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ... 135s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ... 135s Setting up libwayland-client0:ppc64el (1.23.1-1) ... 135s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 135s Setting up libatk1.0-0t64:ppc64el (2.55.2-1) ... 135s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 135s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 135s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 135s Setting up libavahi-common3:ppc64el (0.8-14ubuntu1) ... 135s Setting up dconf-service (0.40.0-5) ... 135s Setting up libthai0:ppc64el (0.1.29-2build1) ... 135s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 135s Setting up ocaml-interp (5.2.0-3) ... 135s Setting up libcvc4parser7:ppc64el (1.8-3build2) ... 135s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 135s Setting up cpp-14 (14.2.0-17ubuntu1) ... 135s Setting up libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 135s Setting up libwayland-cursor0:ppc64el (1.23.1-1) ... 135s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 135s Setting up cvc4 (1.8-3build2) ... 135s Setting up libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 135s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 135s Setting up libavahi-client3:ppc64el (0.8-14ubuntu1) ... 135s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 135s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 135s Setting up libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 135s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 135s Setting up fontconfig (2.15.0-2ubuntu1) ... 137s Regenerating fonts cache... done. 137s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5) ... 137s Setting up libpango-1.0-0:ppc64el (1.56.1-1) ... 137s Setting up libcairo2:ppc64el (1.18.2-2) ... 137s Setting up gcc-14 (14.2.0-17ubuntu1) ... 137s Setting up adwaita-icon-theme (48~beta-3) ... 137s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 137s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 137s Setting up cpp (4:14.2.0-1ubuntu1) ... 137s Setting up libcairo-gobject2:ppc64el (1.18.2-2) ... 137s Setting up libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 137s Setting up libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 137s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 137s Setting up libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 137s Setting up libcairo2-ocaml (0.6.5-2) ... 137s Setting up gcc (4:14.2.0-1ubuntu1) ... 137s Setting up ocaml (5.2.0-3) ... 137s Processing triggers for libc-bin (2.40-4ubuntu1) ... 138s Processing triggers for man-db (2.13.0-1) ... 139s Processing triggers for libglib2.0-0t64:ppc64el (2.83.3-2) ... 139s Setting up libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 139s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 139s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 139s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 139s Setting up why3 (1.7.2-2build1) ... 139s Processing triggers for libc-bin (2.40-4ubuntu1) ... 140s autopkgtest [01:25:45]: test why3+cvc4: [----------------------- 141s autopkgtest [01:25:46]: test why3+cvc4: -----------------------] 142s why3+cvc4 PASS 142s autopkgtest [01:25:47]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 142s autopkgtest [01:25:47]: test why3+spass: preparing testbed 296s autopkgtest [01:28:21]: testbed dpkg architecture: ppc64el 296s autopkgtest [01:28:21]: testbed apt version: 2.9.30 297s autopkgtest [01:28:22]: @@@@@@@@@@@@@@@@@@@@ test bed setup 297s autopkgtest [01:28:22]: testbed release detected to be: plucky 298s autopkgtest [01:28:23]: updating testbed package index (apt update) 298s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 299s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 299s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 299s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 299s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [739 kB] 299s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 299s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [81.0 kB] 299s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [16.3 kB] 299s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [107 kB] 299s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 299s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [685 kB] 299s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [5948 B] 299s Fetched 1749 kB in 1s (1585 kB/s) 301s Reading package lists... 301s Reading package lists... 302s Building dependency tree... 302s Reading state information... 302s Calculating upgrade... 303s The following packages will be upgraded: 303s lto-disabled-list 303s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 303s Need to get 12.3 kB of archives. 303s After this operation, 1024 B of additional disk space will be used. 303s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el lto-disabled-list all 55 [12.3 kB] 303s Fetched 12.3 kB in 0s (86.2 kB/s) 304s (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 ... 106420 files and directories currently installed.) 304s Preparing to unpack .../lto-disabled-list_55_all.deb ... 304s Unpacking lto-disabled-list (55) over (54) ... 304s Setting up lto-disabled-list (55) ... 304s Reading package lists... 304s Building dependency tree... 304s Reading state information... 305s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 305s autopkgtest [01:28:30]: upgrading testbed (apt dist-upgrade and autopurge) 305s Reading package lists... 306s Building dependency tree... 306s Reading state information... 306s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 306s Starting 2 pkgProblemResolver with broken count: 0 306s Done 307s Entering ResolveByKeep 308s 308s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 309s Reading package lists... 309s Building dependency tree... 309s Reading state information... 309s Starting pkgProblemResolver with broken count: 0 310s Starting 2 pkgProblemResolver with broken count: 0 310s Done 310s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 313s Reading package lists... 314s Building dependency tree... 314s Reading state information... 314s Starting pkgProblemResolver with broken count: 0 314s Starting 2 pkgProblemResolver with broken count: 0 314s Done 315s The following NEW packages will be installed: 315s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-powerpc64le-linux-gnu 315s cpp-powerpc64le-linux-gnu dconf-gsettings-backend dconf-service fontconfig 315s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 315s gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 315s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 315s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 315s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 315s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 315s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 315s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 315s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 315s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 315s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 315s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 315s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 315s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 315s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 315s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 315s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass 315s tex-common why3 315s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 315s Need to get 161 MB of archives. 315s After this operation, 513 MB of additional disk space will be used. 315s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 315s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-3ubuntu2 [215 kB] 315s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 315s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdeflate0 ppc64el 1.23-1 [63.4 kB] 315s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 315s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 315s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 315s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 315s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtiff6 ppc64el 4.5.1+git230720-4ubuntu4 [272 kB] 315s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-2 [191 kB] 315s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gtk-update-icon-cache ppc64el 4.17.4+ds-4 [55.0 kB] 315s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 315s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el adwaita-icon-theme all 48~beta-3 [578 kB] 315s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el at-spi2-common all 2.55.2-1 [8916 B] 315s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 315s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 315s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [10.5 MB] 316s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu1 [1038 B] 316s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 316s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 316s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdconf1 ppc64el 0.40.0-5 [43.7 kB] 316s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-service ppc64el 0.40.0-5 [30.8 kB] 316s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5 [26.0 kB] 316s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 316s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 316s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig-config ppc64el 2.15.0-2ubuntu1 [37.5 kB] 316s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfontconfig1 ppc64el 2.15.0-2ubuntu1 [188 kB] 316s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig ppc64el 2.15.0-2ubuntu1 [192 kB] 316s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB] 316s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB] 316s Get:31 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB] 316s Get:32 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB] 317s Get:33 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB] 317s Get:34 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB] 317s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB] 317s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB] 317s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu1 [1620 kB] 317s Get:38 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [20.6 MB] 318s Get:39 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu1 [536 kB] 318s Get:40 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 318s Get:41 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 318s Get:42 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk1.0-0t64 ppc64el 2.55.2-1 [59.8 kB] 318s Get:43 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 318s Get:44 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatspi2.0-0t64 ppc64el 2.55.2-1 [97.5 kB] 318s Get:45 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.55.2-1 [77.8 kB] 318s Get:46 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common-data ppc64el 0.8-14ubuntu1 [30.5 kB] 318s Get:47 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common3 ppc64el 0.8-14ubuntu1 [26.0 kB] 318s Get:48 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-client3 ppc64el 0.8-14ubuntu1 [31.0 kB] 319s Get:49 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 319s Get:50 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 319s Get:51 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 319s Get:52 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 319s Get:53 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo2 ppc64el 1.18.2-2 [747 kB] 319s Get:54 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo-gobject2 ppc64el 1.18.2-2 [127 kB] 319s Get:55 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.2.0-3 [446 kB] 319s Get:56 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.2.0-3 [347 kB] 319s Get:57 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2 [29.1 kB] 319s Get:58 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 319s Get:59 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 319s Get:60 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.2.0-3 [11.1 MB] 319s Get:61 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.2.0-3 [47.1 MB] 323s Get:62 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcups2t64 ppc64el 2.4.11-0ubuntu2 [347 kB] 323s Get:63 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 323s Get:64 http://ftpmaster.internal/ubuntu plucky/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 323s Get:65 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 323s Get:66 http://ftpmaster.internal/ubuntu plucky/main ppc64el libharfbuzz0b ppc64el 10.2.0-1 [598 kB] 323s Get:67 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 323s Get:68 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 323s Get:69 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpango-1.0-0 ppc64el 1.56.1-1 [277 kB] 323s Get:70 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.1-1 [58.6 kB] 323s Get:71 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.1-1 [30.6 kB] 323s Get:72 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-client0 ppc64el 1.23.1-1 [31.6 kB] 323s Get:73 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-cursor0 ppc64el 1.23.1-1 [12.0 kB] 323s Get:74 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-egl1 ppc64el 1.23.1-1 [5810 B] 323s Get:75 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 323s Get:76 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 323s Get:77 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 323s Get:78 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 323s Get:79 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 323s Get:80 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 323s Get:81 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 323s Get:82 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-0t64 ppc64el 3.24.48-3ubuntu1 [3380 kB] 323s Get:83 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 323s Get:84 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-3 [260 kB] 323s Get:85 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build1 [3588 kB] 323s Get:86 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build1 [331 kB] 323s Get:87 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 323s Get:88 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 323s Get:89 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.2.0-3 [8077 kB] 324s Get:90 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.2.0-3 [20.1 MB] 325s Get:91 http://ftpmaster.internal/ubuntu plucky/universe ppc64el spass ppc64el 3.9-1.1 [304 kB] 325s Get:92 http://ftpmaster.internal/ubuntu plucky/universe ppc64el tex-common all 6.18 [32.8 kB] 325s Get:93 http://ftpmaster.internal/ubuntu plucky/universe ppc64el why3 ppc64el 1.7.2-2build1 [12.2 MB] 327s Fetched 161 MB in 11s (14.1 MB/s) 327s Selecting previously unselected package libgdk-pixbuf2.0-common. 327s (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 ... 106420 files and directories currently installed.) 327s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 327s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 327s Selecting previously unselected package libjpeg-turbo8:ppc64el. 327s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_ppc64el.deb ... 327s Unpacking libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 327s Selecting previously unselected package libjpeg8:ppc64el. 327s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 327s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 327s Selecting previously unselected package libdeflate0:ppc64el. 327s Preparing to unpack .../03-libdeflate0_1.23-1_ppc64el.deb ... 327s Unpacking libdeflate0:ppc64el (1.23-1) ... 327s Selecting previously unselected package libjbig0:ppc64el. 327s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 327s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 327s Selecting previously unselected package liblerc4:ppc64el. 327s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 327s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 327s Selecting previously unselected package libsharpyuv0:ppc64el. 327s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 327s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 327s Selecting previously unselected package libwebp7:ppc64el. 327s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 327s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 327s Selecting previously unselected package libtiff6:ppc64el. 327s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_ppc64el.deb ... 327s Unpacking libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 327s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 327s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_ppc64el.deb ... 327s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 327s Selecting previously unselected package gtk-update-icon-cache. 327s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_ppc64el.deb ... 327s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 327s 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. 327s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 327s Selecting previously unselected package hicolor-icon-theme. 327s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 327s Unpacking hicolor-icon-theme (0.18-2) ... 328s Selecting previously unselected package adwaita-icon-theme. 328s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 328s Unpacking adwaita-icon-theme (48~beta-3) ... 328s Selecting previously unselected package at-spi2-common. 328s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 328s Unpacking at-spi2-common (2.55.2-1) ... 328s Selecting previously unselected package libisl23:ppc64el. 328s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 328s Unpacking libisl23:ppc64el (0.27-1) ... 328s Selecting previously unselected package libmpc3:ppc64el. 328s Preparing to unpack .../15-libmpc3_1.3.1-1build2_ppc64el.deb ... 328s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 328s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 328s Preparing to unpack .../16-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 328s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 328s Selecting previously unselected package cpp-14. 328s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_ppc64el.deb ... 328s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 328s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 328s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 328s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 328s Selecting previously unselected package cpp. 328s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 328s Unpacking cpp (4:14.2.0-1ubuntu1) ... 328s Selecting previously unselected package libdconf1:ppc64el. 328s Preparing to unpack .../20-libdconf1_0.40.0-5_ppc64el.deb ... 328s Unpacking libdconf1:ppc64el (0.40.0-5) ... 328s Selecting previously unselected package dconf-service. 328s Preparing to unpack .../21-dconf-service_0.40.0-5_ppc64el.deb ... 328s Unpacking dconf-service (0.40.0-5) ... 328s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 328s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_ppc64el.deb ... 328s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5) ... 328s Selecting previously unselected package fonts-dejavu-mono. 328s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 328s Unpacking fonts-dejavu-mono (2.37-8) ... 328s Selecting previously unselected package fonts-dejavu-core. 328s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 328s Unpacking fonts-dejavu-core (2.37-8) ... 328s Selecting previously unselected package fontconfig-config. 328s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_ppc64el.deb ... 329s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 329s Selecting previously unselected package libfontconfig1:ppc64el. 329s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_ppc64el.deb ... 329s Unpacking libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 329s Selecting previously unselected package fontconfig. 329s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_ppc64el.deb ... 329s Unpacking fontconfig (2.15.0-2ubuntu1) ... 329s Selecting previously unselected package libcc1-0:ppc64el. 329s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ... 329s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 329s Selecting previously unselected package libgomp1:ppc64el. 329s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ... 329s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ... 329s Selecting previously unselected package libitm1:ppc64el. 329s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_ppc64el.deb ... 329s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ... 329s Selecting previously unselected package libasan8:ppc64el. 329s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_ppc64el.deb ... 329s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ... 329s Selecting previously unselected package liblsan0:ppc64el. 329s Preparing to unpack .../32-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ... 329s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ... 329s Selecting previously unselected package libtsan2:ppc64el. 329s Preparing to unpack .../33-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ... 329s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ... 329s Selecting previously unselected package libubsan1:ppc64el. 329s Preparing to unpack .../34-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ... 329s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ... 329s Selecting previously unselected package libquadmath0:ppc64el. 329s Preparing to unpack .../35-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ... 329s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 329s Selecting previously unselected package libgcc-14-dev:ppc64el. 329s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu1_ppc64el.deb ... 329s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 329s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 329s Preparing to unpack .../37-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 329s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 330s Selecting previously unselected package gcc-14. 330s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu1_ppc64el.deb ... 330s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 330s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 330s Preparing to unpack .../39-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 330s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 330s Selecting previously unselected package gcc. 330s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 330s Unpacking gcc (4:14.2.0-1ubuntu1) ... 330s Selecting previously unselected package libatk1.0-0t64:ppc64el. 330s Preparing to unpack .../41-libatk1.0-0t64_2.55.2-1_ppc64el.deb ... 330s Unpacking libatk1.0-0t64:ppc64el (2.55.2-1) ... 330s Selecting previously unselected package libxi6:ppc64el. 330s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_ppc64el.deb ... 330s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 330s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 330s Preparing to unpack .../43-libatspi2.0-0t64_2.55.2-1_ppc64el.deb ... 330s Unpacking libatspi2.0-0t64:ppc64el (2.55.2-1) ... 330s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 330s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.2-1_ppc64el.deb ... 330s Unpacking libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 330s Selecting previously unselected package libavahi-common-data:ppc64el. 330s Preparing to unpack .../45-libavahi-common-data_0.8-14ubuntu1_ppc64el.deb ... 330s Unpacking libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 330s Selecting previously unselected package libavahi-common3:ppc64el. 330s Preparing to unpack .../46-libavahi-common3_0.8-14ubuntu1_ppc64el.deb ... 330s Unpacking libavahi-common3:ppc64el (0.8-14ubuntu1) ... 330s Selecting previously unselected package libavahi-client3:ppc64el. 330s Preparing to unpack .../47-libavahi-client3_0.8-14ubuntu1_ppc64el.deb ... 330s Unpacking libavahi-client3:ppc64el (0.8-14ubuntu1) ... 330s Selecting previously unselected package libpixman-1-0:ppc64el. 330s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_ppc64el.deb ... 330s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 330s Selecting previously unselected package libxcb-render0:ppc64el. 330s Preparing to unpack .../49-libxcb-render0_1.17.0-2_ppc64el.deb ... 330s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 330s Selecting previously unselected package libxcb-shm0:ppc64el. 330s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_ppc64el.deb ... 330s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 330s Selecting previously unselected package libxrender1:ppc64el. 330s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 330s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 330s Selecting previously unselected package libcairo2:ppc64el. 330s Preparing to unpack .../52-libcairo2_1.18.2-2_ppc64el.deb ... 330s Unpacking libcairo2:ppc64el (1.18.2-2) ... 330s Selecting previously unselected package libcairo-gobject2:ppc64el. 330s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_ppc64el.deb ... 330s Unpacking libcairo-gobject2:ppc64el (1.18.2-2) ... 330s Selecting previously unselected package libstdlib-ocaml. 330s Preparing to unpack .../54-libstdlib-ocaml_5.2.0-3_ppc64el.deb ... 330s Unpacking libstdlib-ocaml (5.2.0-3) ... 330s Selecting previously unselected package ocaml-base. 330s Preparing to unpack .../55-ocaml-base_5.2.0-3_ppc64el.deb ... 330s Unpacking ocaml-base (5.2.0-3) ... 330s Selecting previously unselected package libcairo2-ocaml. 330s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2_ppc64el.deb ... 330s Unpacking libcairo2-ocaml (0.6.5-2) ... 330s Selecting previously unselected package liblcms2-2:ppc64el. 330s Preparing to unpack .../57-liblcms2-2_2.16-2_ppc64el.deb ... 330s Unpacking liblcms2-2:ppc64el (2.16-2) ... 330s Selecting previously unselected package libcolord2:ppc64el. 330s Preparing to unpack .../58-libcolord2_1.4.7-1build2_ppc64el.deb ... 330s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 330s Selecting previously unselected package libstdlib-ocaml-dev. 330s Preparing to unpack .../59-libstdlib-ocaml-dev_5.2.0-3_ppc64el.deb ... 330s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 331s Selecting previously unselected package libcompiler-libs-ocaml-dev. 331s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.2.0-3_ppc64el.deb ... 331s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 331s Selecting previously unselected package libcups2t64:ppc64el. 331s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_ppc64el.deb ... 331s Unpacking libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 331s Selecting previously unselected package libdatrie1:ppc64el. 331s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_ppc64el.deb ... 331s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 331s Selecting previously unselected package libepoxy0:ppc64el. 331s Preparing to unpack .../63-libepoxy0_1.5.10-2_ppc64el.deb ... 331s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 331s Selecting previously unselected package libgraphite2-3:ppc64el. 331s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 331s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 331s Selecting previously unselected package libharfbuzz0b:ppc64el. 331s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_ppc64el.deb ... 331s Unpacking libharfbuzz0b:ppc64el (10.2.0-1) ... 331s Selecting previously unselected package libthai-data. 331s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 331s Unpacking libthai-data (0.1.29-2build1) ... 332s Selecting previously unselected package libthai0:ppc64el. 332s Preparing to unpack .../67-libthai0_0.1.29-2build1_ppc64el.deb ... 332s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 332s Selecting previously unselected package libpango-1.0-0:ppc64el. 332s Preparing to unpack .../68-libpango-1.0-0_1.56.1-1_ppc64el.deb ... 332s Unpacking libpango-1.0-0:ppc64el (1.56.1-1) ... 332s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 332s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.1-1_ppc64el.deb ... 332s Unpacking libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 332s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 332s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.1-1_ppc64el.deb ... 332s Unpacking libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 332s Selecting previously unselected package libwayland-client0:ppc64el. 332s Preparing to unpack .../71-libwayland-client0_1.23.1-1_ppc64el.deb ... 332s Unpacking libwayland-client0:ppc64el (1.23.1-1) ... 332s Selecting previously unselected package libwayland-cursor0:ppc64el. 332s Preparing to unpack .../72-libwayland-cursor0_1.23.1-1_ppc64el.deb ... 332s Unpacking libwayland-cursor0:ppc64el (1.23.1-1) ... 332s Selecting previously unselected package libwayland-egl1:ppc64el. 332s Preparing to unpack .../73-libwayland-egl1_1.23.1-1_ppc64el.deb ... 332s Unpacking libwayland-egl1:ppc64el (1.23.1-1) ... 332s Selecting previously unselected package libxcomposite1:ppc64el. 332s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 332s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 332s Selecting previously unselected package libxfixes3:ppc64el. 332s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 332s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 332s Selecting previously unselected package libxcursor1:ppc64el. 332s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 332s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 332s Selecting previously unselected package libxdamage1:ppc64el. 332s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 332s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 332s Selecting previously unselected package libxinerama1:ppc64el. 332s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 332s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 332s Selecting previously unselected package libxrandr2:ppc64el. 332s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 332s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 332s Selecting previously unselected package libgtk-3-common. 332s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 332s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 332s Selecting previously unselected package libgtk-3-0t64:ppc64el. 332s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_ppc64el.deb ... 332s Unpacking libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 332s Selecting previously unselected package libgtksourceview-3.0-common. 332s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 332s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 332s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 332s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_ppc64el.deb ... 332s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 332s Selecting previously unselected package liblablgtk3-ocaml. 332s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build1_ppc64el.deb ... 332s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 332s Selecting previously unselected package liblablgtksourceview3-ocaml. 332s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build1_ppc64el.deb ... 332s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 332s Selecting previously unselected package libncurses-dev:ppc64el. 332s Preparing to unpack .../86-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 332s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 332s Selecting previously unselected package libzstd-dev:ppc64el. 332s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 332s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 332s Selecting previously unselected package ocaml-interp. 332s Preparing to unpack .../88-ocaml-interp_5.2.0-3_ppc64el.deb ... 332s Unpacking ocaml-interp (5.2.0-3) ... 332s Selecting previously unselected package ocaml. 332s Preparing to unpack .../89-ocaml_5.2.0-3_ppc64el.deb ... 332s Unpacking ocaml (5.2.0-3) ... 333s Selecting previously unselected package spass. 333s Preparing to unpack .../90-spass_3.9-1.1_ppc64el.deb ... 333s Unpacking spass (3.9-1.1) ... 333s Selecting previously unselected package tex-common. 333s Preparing to unpack .../91-tex-common_6.18_all.deb ... 333s Unpacking tex-common (6.18) ... 333s Selecting previously unselected package why3. 333s Preparing to unpack .../92-why3_1.7.2-2build1_ppc64el.deb ... 333s Unpacking why3 (1.7.2-2build1) ... 333s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 333s Setting up liblcms2-2:ppc64el (2.16-2) ... 333s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 333s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 333s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 333s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 333s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 333s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 333s Setting up hicolor-icon-theme (0.18-2) ... 333s Setting up libxi6:ppc64el (2:1.8.2-1) ... 333s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 333s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 333s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 333s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 333s Setting up libdeflate0:ppc64el (1.23-1) ... 333s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 333s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ... 333s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 333s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 333s Setting up libdconf1:ppc64el (0.40.0-5) ... 333s Setting up tex-common (6.18) ... 334s update-language: texlive-base not installed and configured, doing nothing! 334s Setting up libepoxy0:ppc64el (1.5.10-2) ... 334s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 334s Setting up spass (3.9-1.1) ... 334s Setting up libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 334s Setting up libatspi2.0-0t64:ppc64el (2.55.2-1) ... 334s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 334s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 334s Setting up libstdlib-ocaml (5.2.0-3) ... 334s Setting up fonts-dejavu-mono (2.37-8) ... 334s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 334s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 334s Setting up ocaml-base (5.2.0-3) ... 334s Setting up fonts-dejavu-core (2.37-8) ... 334s Setting up libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 334s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 334s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ... 334s Setting up at-spi2-common (2.55.2-1) ... 334s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ... 334s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 334s Setting up libharfbuzz0b:ppc64el (10.2.0-1) ... 334s Setting up libthai-data (0.1.29-2build1) ... 334s Setting up libwayland-egl1:ppc64el (1.23.1-1) ... 334s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ... 334s Setting up libisl23:ppc64el (0.27-1) ... 334s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 334s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 334s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ... 334s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ... 334s Setting up libwayland-client0:ppc64el (1.23.1-1) ... 334s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 334s Setting up libatk1.0-0t64:ppc64el (2.55.2-1) ... 334s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 334s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 334s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 334s Setting up libavahi-common3:ppc64el (0.8-14ubuntu1) ... 334s Setting up dconf-service (0.40.0-5) ... 334s Setting up libthai0:ppc64el (0.1.29-2build1) ... 334s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 334s Setting up ocaml-interp (5.2.0-3) ... 334s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 334s Setting up cpp-14 (14.2.0-17ubuntu1) ... 334s Setting up libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 334s Setting up libwayland-cursor0:ppc64el (1.23.1-1) ... 334s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 334s Setting up libfontconfig1:ppc64el (2.15.0-2ubuntu1) ... 334s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 334s Setting up libavahi-client3:ppc64el (0.8-14ubuntu1) ... 334s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 334s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 334s Setting up libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 334s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 334s Setting up fontconfig (2.15.0-2ubuntu1) ... 336s Regenerating fonts cache... done. 336s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5) ... 336s Setting up libpango-1.0-0:ppc64el (1.56.1-1) ... 336s Setting up libcairo2:ppc64el (1.18.2-2) ... 336s Setting up gcc-14 (14.2.0-17ubuntu1) ... 336s Setting up adwaita-icon-theme (48~beta-3) ... 336s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 336s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 336s Setting up cpp (4:14.2.0-1ubuntu1) ... 336s Setting up libcairo-gobject2:ppc64el (1.18.2-2) ... 336s Setting up libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 336s Setting up libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 336s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 336s Setting up libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 336s Setting up libcairo2-ocaml (0.6.5-2) ... 336s Setting up gcc (4:14.2.0-1ubuntu1) ... 336s Setting up ocaml (5.2.0-3) ... 336s Processing triggers for libc-bin (2.40-4ubuntu1) ... 336s Processing triggers for man-db (2.13.0-1) ... 338s Processing triggers for libglib2.0-0t64:ppc64el (2.83.3-2) ... 338s Setting up libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 338s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 338s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 338s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 338s Setting up why3 (1.7.2-2build1) ... 338s Processing triggers for libc-bin (2.40-4ubuntu1) ... 347s autopkgtest [01:29:12]: test why3+spass: [----------------------- 348s autopkgtest [01:29:13]: test why3+spass: -----------------------] 348s autopkgtest [01:29:13]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 348s why3+spass PASS 349s autopkgtest [01:29:14]: test why3+z3: preparing testbed 456s autopkgtest [01:31:01]: testbed dpkg architecture: ppc64el 456s autopkgtest [01:31:01]: testbed apt version: 2.9.30 456s autopkgtest [01:31:01]: @@@@@@@@@@@@@@@@@@@@ test bed setup 456s autopkgtest [01:31:01]: testbed release detected to be: plucky 457s autopkgtest [01:31:02]: updating testbed package index (apt update) 457s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 458s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 458s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 458s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 458s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [733 kB] 458s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 458s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [16.3 kB] 458s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [86.5 kB] 458s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [117 kB] 458s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 458s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [690 kB] 458s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [5948 B] 458s Fetched 1762 kB in 1s (1702 kB/s) 459s Reading package lists... 460s Reading package lists... 460s Building dependency tree... 460s Reading state information... 460s Calculating upgrade... 461s The following packages will be upgraded: 461s libcbor0.10 lto-disabled-list 461s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 461s Need to get 40.4 kB of archives. 461s After this operation, 1024 B of additional disk space will be used. 461s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcbor0.10 ppc64el 0.10.2-2ubuntu1 [28.1 kB] 461s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el lto-disabled-list all 56 [12.4 kB] 461s Fetched 40.4 kB in 0s (148 kB/s) 462s (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 ... 106420 files and directories currently installed.) 462s Preparing to unpack .../libcbor0.10_0.10.2-2ubuntu1_ppc64el.deb ... 462s Unpacking libcbor0.10:ppc64el (0.10.2-2ubuntu1) over (0.10.2-1.2ubuntu2) ... 462s Preparing to unpack .../lto-disabled-list_56_all.deb ... 462s Unpacking lto-disabled-list (56) over (54) ... 462s Setting up lto-disabled-list (56) ... 462s Setting up libcbor0.10:ppc64el (0.10.2-2ubuntu1) ... 462s Processing triggers for libc-bin (2.40-4ubuntu1) ... 462s Reading package lists... 462s Building dependency tree... 462s Reading state information... 463s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 463s autopkgtest [01:31:08]: upgrading testbed (apt dist-upgrade and autopurge) 463s Reading package lists... 463s Building dependency tree... 463s Reading state information... 463s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 463s Starting 2 pkgProblemResolver with broken count: 0 463s Done 464s Entering ResolveByKeep 464s 464s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 465s Reading package lists... 465s Building dependency tree... 465s Reading state information... 465s Starting pkgProblemResolver with broken count: 0 465s Starting 2 pkgProblemResolver with broken count: 0 465s Done 466s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 469s Reading package lists... 470s Building dependency tree... 470s Reading state information... 470s Starting pkgProblemResolver with broken count: 1 470s Starting 2 pkgProblemResolver with broken count: 1 470s Investigating (0) satisfy:command-line:ppc64el < none -> 1 @un puN Ib > 470s Broken satisfy:command-line:ppc64el Depends on why3:ppc64el < none | 1.7.2-2build1 @un uH > 470s Considering why3:ppc64el 1 as a solution to satisfy:command-line:ppc64el 9998 470s Re-Instated fonts-dejavu-mono:ppc64el 470s Re-Instated fonts-dejavu-core:ppc64el 470s Re-Instated fontconfig-config:ppc64el 470s Re-Instated libfontconfig1:ppc64el 470s Re-Instated libpixman-1-0:ppc64el 470s Re-Instated libxcb-render0:ppc64el 470s Re-Instated libxcb-shm0:ppc64el 470s Re-Instated libxrender1:ppc64el 470s Re-Instated libcairo2:ppc64el 470s Re-Instated libgdk-pixbuf2.0-common:ppc64el 470s Re-Instated libjpeg-turbo8:ppc64el 470s Re-Instated libjpeg8:ppc64el 470s Re-Instated libdeflate0:ppc64el 470s Re-Instated libjbig0:ppc64el 470s Re-Instated liblerc4:ppc64el 470s Re-Instated libsharpyuv0:ppc64el 470s Re-Instated libwebp7:ppc64el 470s Re-Instated libtiff6:ppc64el 470s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 470s Re-Instated gtk-update-icon-cache:ppc64el 470s Re-Instated hicolor-icon-theme:ppc64el 470s Re-Instated adwaita-icon-theme:ppc64el 470s Re-Instated at-spi2-common:ppc64el 470s Re-Instated libatk1.0-0t64:ppc64el 470s Re-Instated libxi6:ppc64el 470s Re-Instated libatspi2.0-0t64:ppc64el 470s Re-Instated libatk-bridge2.0-0t64:ppc64el 470s Re-Instated libcairo-gobject2:ppc64el 470s Re-Instated liblcms2-2:ppc64el 470s Re-Instated libcolord2:ppc64el 470s Re-Instated libavahi-common-data:ppc64el 470s Re-Instated libavahi-common3:ppc64el 470s Re-Instated libavahi-client3:ppc64el 470s Re-Instated libcups2t64:ppc64el 470s Re-Instated libepoxy0:ppc64el 470s Re-Instated libgraphite2-3:ppc64el 470s Re-Instated libharfbuzz0b:ppc64el 470s Re-Instated fontconfig:ppc64el 470s Re-Instated libthai-data:ppc64el 470s Re-Instated libdatrie1:ppc64el 470s Re-Instated libthai0:ppc64el 470s Re-Instated libpango-1.0-0:ppc64el 470s Re-Instated libpangoft2-1.0-0:ppc64el 470s Re-Instated libpangocairo-1.0-0:ppc64el 470s Re-Instated libwayland-client0:ppc64el 470s Re-Instated libwayland-cursor0:ppc64el 470s Re-Instated libwayland-egl1:ppc64el 470s Re-Instated libxcomposite1:ppc64el 470s Re-Instated libxfixes3:ppc64el 470s Re-Instated libxcursor1:ppc64el 470s Re-Instated libxdamage1:ppc64el 470s Re-Instated libxinerama1:ppc64el 470s Re-Instated libxrandr2:ppc64el 470s Re-Instated libdconf1:ppc64el 470s Re-Instated dconf-service:ppc64el 470s Re-Instated dconf-gsettings-backend:ppc64el 470s Re-Instated libgtk-3-common:ppc64el 470s Re-Instated libgtk-3-0t64:ppc64el 470s Re-Instated libgtksourceview-3.0-common:ppc64el 470s Re-Instated libgtksourceview-3.0-1:ppc64el 470s Re-Instated libstdlib-ocaml:ppc64el 470s Re-Instated ocaml-base:ppc64el 470s Re-Instated libcairo2-ocaml:ppc64el 470s Re-Instated liblablgtk3-ocaml:ppc64el 470s Re-Instated liblablgtksourceview3-ocaml:ppc64el 470s Re-Instated tex-common:ppc64el 470s Re-Instated why3:ppc64el 470s Broken satisfy:command-line:ppc64el Depends on z3:ppc64el < none | 4.13.3-1 @un uH > (< 4.11.1) 470s Broken satisfy:command-line:ppc64el Depends on ocaml-native-compilers:ppc64el < none @un H > 470s Considering ocaml:ppc64el 0 as a solution to satisfy:command-line:ppc64el 9998 470s Re-Instated libstdlib-ocaml-dev:ppc64el 470s Re-Instated libcompiler-libs-ocaml-dev:ppc64el 470s Re-Instated ocaml-interp:ppc64el 470s Re-Instated libncurses-dev:ppc64el 470s Re-Instated libisl23:ppc64el 470s Re-Instated libmpc3:ppc64el 470s Re-Instated cpp-14-powerpc64le-linux-gnu:ppc64el 470s Re-Instated cpp-14:ppc64el 470s Re-Instated cpp-powerpc64le-linux-gnu:ppc64el 470s Re-Instated cpp:ppc64el 470s Re-Instated libcc1-0:ppc64el 470s Re-Instated libgomp1:ppc64el 470s Re-Instated libitm1:ppc64el 470s Re-Instated libasan8:ppc64el 470s Re-Instated liblsan0:ppc64el 470s Re-Instated libtsan2:ppc64el 470s Re-Instated libubsan1:ppc64el 470s Re-Instated libquadmath0:ppc64el 470s Re-Instated libgcc-14-dev:ppc64el 470s Re-Instated gcc-14-powerpc64le-linux-gnu:ppc64el 470s Re-Instated gcc-14:ppc64el 470s Re-Instated gcc-powerpc64le-linux-gnu:ppc64el 470s Re-Instated gcc:ppc64el 470s Re-Instated libzstd-dev:ppc64el 470s Re-Instated ocaml:ppc64el 470s Done 470s Some packages could not be installed. This may mean that you have 470s requested an impossible situation or if you are using the unstable 470s distribution that some required packages have not yet been created 470s or been moved out of Incoming. 470s The following information may help to resolve the situation: 470s 470s The following packages have unmet dependencies: 470s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 470s E: Unable to correct problems, you have held broken packages. 470s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 470s Reading package lists... 471s Building dependency tree... 471s Reading state information... 471s Starting pkgProblemResolver with broken count: 1 471s Starting 2 pkgProblemResolver with broken count: 1 471s Investigating (0) satisfy:command-line:ppc64el < none -> 1 @un puN Ib > 471s Broken satisfy:command-line:ppc64el Depends on why3:ppc64el < none | 1.8.0-2 @un uH > 471s Considering why3:ppc64el 1 as a solution to satisfy:command-line:ppc64el 9998 471s Re-Instated fonts-dejavu-mono:ppc64el 471s Re-Instated fonts-dejavu-core:ppc64el 471s Re-Instated fontconfig-config:ppc64el 471s Re-Instated libfontconfig1:ppc64el 471s Re-Instated libpixman-1-0:ppc64el 471s Re-Instated libxcb-render0:ppc64el 471s Re-Instated libxcb-shm0:ppc64el 471s Re-Instated libxrender1:ppc64el 471s Re-Instated libcairo2:ppc64el 471s Re-Instated libgdk-pixbuf2.0-common:ppc64el 471s Re-Instated libjpeg-turbo8:ppc64el 471s Re-Instated libjpeg8:ppc64el 471s Re-Instated libdeflate0:ppc64el 471s Re-Instated libjbig0:ppc64el 471s Re-Instated liblerc4:ppc64el 471s Re-Instated libsharpyuv0:ppc64el 471s Re-Instated libwebp7:ppc64el 471s Re-Instated libtiff6:ppc64el 471s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 471s Re-Instated gtk-update-icon-cache:ppc64el 471s Re-Instated hicolor-icon-theme:ppc64el 471s Re-Instated adwaita-icon-theme:ppc64el 471s Re-Instated at-spi2-common:ppc64el 471s Re-Instated libatk1.0-0t64:ppc64el 471s Re-Instated libxi6:ppc64el 471s Re-Instated libatspi2.0-0t64:ppc64el 471s Re-Instated libatk-bridge2.0-0t64:ppc64el 471s Re-Instated libcairo-gobject2:ppc64el 471s Re-Instated liblcms2-2:ppc64el 471s Re-Instated libcolord2:ppc64el 471s Re-Instated libavahi-common-data:ppc64el 471s Re-Instated libavahi-common3:ppc64el 471s Re-Instated libavahi-client3:ppc64el 471s Re-Instated libcups2t64:ppc64el 471s Re-Instated libepoxy0:ppc64el 471s Re-Instated libgraphite2-3:ppc64el 471s Re-Instated libharfbuzz0b:ppc64el 471s Re-Instated fontconfig:ppc64el 471s Re-Instated libthai-data:ppc64el 471s Re-Instated libdatrie1:ppc64el 471s Re-Instated libthai0:ppc64el 471s Re-Instated libpango-1.0-0:ppc64el 471s Re-Instated libpangoft2-1.0-0:ppc64el 471s Re-Instated libpangocairo-1.0-0:ppc64el 471s Re-Instated libwayland-client0:ppc64el 471s Re-Instated libwayland-cursor0:ppc64el 471s Re-Instated libwayland-egl1:ppc64el 471s Re-Instated libxcomposite1:ppc64el 471s Re-Instated libxfixes3:ppc64el 471s Re-Instated libxcursor1:ppc64el 471s Re-Instated libxdamage1:ppc64el 471s Re-Instated libxinerama1:ppc64el 471s Re-Instated libxrandr2:ppc64el 471s Re-Instated libdconf1:ppc64el 471s Re-Instated dconf-service:ppc64el 471s Re-Instated dconf-gsettings-backend:ppc64el 471s Re-Instated libgtk-3-common:ppc64el 471s Re-Instated libgtk-3-0t64:ppc64el 471s Re-Instated libgtksourceview-3.0-common:ppc64el 471s Re-Instated libgtksourceview-3.0-1:ppc64el 471s Re-Instated libstdlib-ocaml:ppc64el 471s Re-Instated ocaml-base:ppc64el 471s Re-Instated libcairo2-ocaml:ppc64el 471s Re-Instated liblablgtk3-ocaml:ppc64el 471s Re-Instated liblablgtksourceview3-ocaml:ppc64el 471s Re-Instated tex-common:ppc64el 471s Re-Instated why3:ppc64el 471s Broken satisfy:command-line:ppc64el Depends on z3:ppc64el < none | 4.13.3-1 @un uH > (< 4.11.1) 471s Broken satisfy:command-line:ppc64el Depends on ocaml-native-compilers:ppc64el < none @un H > 471s Considering ocaml:ppc64el 0 as a solution to satisfy:command-line:ppc64el 9998 471s Re-Instated libstdlib-ocaml-dev:ppc64el 471s Re-Instated libcompiler-libs-ocaml-dev:ppc64el 471s Re-Instated ocaml-interp:ppc64el 471s Re-Instated libtinfo6:ppc64el 471s Re-Instated libncurses6:ppc64el 471s Re-Instated libncursesw6:ppc64el 471s Re-Instated libncurses-dev:ppc64el 471s Re-Instated gcc-14-base:ppc64el 471s Re-Instated libisl23:ppc64el 471s Re-Instated libmpc3:ppc64el 471s Re-Instated cpp-14-powerpc64le-linux-gnu:ppc64el 471s Re-Instated cpp-14:ppc64el 471s Re-Instated cpp-powerpc64le-linux-gnu:ppc64el 471s Re-Instated cpp:ppc64el 471s Re-Instated libcc1-0:ppc64el 471s Re-Instated libgomp1:ppc64el 471s Re-Instated libitm1:ppc64el 471s Re-Instated libasan8:ppc64el 471s Re-Instated liblsan0:ppc64el 471s Re-Instated libtsan2:ppc64el 471s Re-Instated libubsan1:ppc64el 471s Re-Instated libquadmath0:ppc64el 471s Re-Instated libgcc-14-dev:ppc64el 471s Re-Instated gcc-14-powerpc64le-linux-gnu:ppc64el 471s Re-Instated gcc-14:ppc64el 471s Re-Instated gcc-powerpc64le-linux-gnu:ppc64el 471s Re-Instated gcc:ppc64el 471s Re-Instated libzstd-dev:ppc64el 471s Re-Instated ocaml:ppc64el 471s Done 471s Some packages could not be installed. This may mean that you have 471s requested an impossible situation or if you are using the unstable 471s distribution that some required packages have not yet been created 471s or been moved out of Incoming. 471s The following information may help to resolve the situation: 471s 471s The following packages have unmet dependencies: 471s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 471s E: Unable to correct problems, you have held broken packages. 471s why3+z3 SKIP installation fails and skip-not-installable set 471s autopkgtest [01:31:16]: @@@@@@@@@@@@@@@@@@@@ summary 471s why3+cvc4 PASS 471s why3+spass PASS 471s why3+z3 SKIP installation fails and skip-not-installable set 489s nova [W] Using flock in prodstack6-ppc64el 489s Creating nova instance adt-plucky-ppc64el-why3-20250220-012324-juju-7f2275-prod-proposed-migration-environment-2-4823c094-d612-4cac-8a3d-d6109f6d58c3 from image adt/ubuntu-plucky-ppc64el-server-20250219.img (UUID 54e7bc81-8a85-40fa-b450-97b95b386f53)... 489s nova [W] Timed out waiting for dd0724fd-5009-4758-b64f-eff6c5796a8a to get deleted. 489s nova [W] Using flock in prodstack6-ppc64el 489s Creating nova instance adt-plucky-ppc64el-why3-20250220-012324-juju-7f2275-prod-proposed-migration-environment-2-4823c094-d612-4cac-8a3d-d6109f6d58c3 from image adt/ubuntu-plucky-ppc64el-server-20250219.img (UUID 54e7bc81-8a85-40fa-b450-97b95b386f53)... 489s nova [W] Timed out waiting for 1d933cf5-6eca-46f1-a964-3ae2e587714d to get deleted. 489s nova [W] Using flock in prodstack6-ppc64el 489s Creating nova instance adt-plucky-ppc64el-why3-20250220-012324-juju-7f2275-prod-proposed-migration-environment-2-4823c094-d612-4cac-8a3d-d6109f6d58c3 from image adt/ubuntu-plucky-ppc64el-server-20250219.img (UUID 54e7bc81-8a85-40fa-b450-97b95b386f53)... 489s nova [W] Timed out waiting for 3f821c4b-14da-4181-a032-10cb919dedef to get deleted.