0s autopkgtest [09:39:44]: starting date and time: 2025-02-16 09:39:44+0000 0s autopkgtest [09:39:44]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [09:39:44]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.owywk9am/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc,src:iproute2,src:php-twig,src:postgresql-17,src:postgresql-common,src:roundcube --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-ppc64el-13.secgroup --name adt-plucky-ppc64el-why3-20250216-093944-juju-7f2275-prod-proposed-migration-environment-20-c46700d2-ddbe-4f0f-8b1e-6065419768b8 --image adt/ubuntu-plucky-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --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/ 93s autopkgtest [09:41:17]: testbed dpkg architecture: ppc64el 93s autopkgtest [09:41:17]: testbed apt version: 2.9.28 94s autopkgtest [09:41:18]: @@@@@@@@@@@@@@@@@@@@ test bed setup 94s autopkgtest [09:41:18]: testbed release detected to be: None 95s autopkgtest [09:41:19]: updating testbed package index (apt update) 95s 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/universe Sources [807 kB] 96s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [74.8 kB] 96s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 96s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 96s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [156 kB] 96s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 96s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [909 kB] 96s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [4220 B] 96s Fetched 2079 kB in 1s (1978 kB/s) 97s Reading package lists... 97s Reading package lists... 98s Building dependency tree... 98s Reading state information... 98s Calculating upgrade... 98s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 98s Reading package lists... 98s Building dependency tree... 98s Reading state information... 99s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 99s autopkgtest [09:41:23]: upgrading testbed (apt dist-upgrade and autopurge) 99s Reading package lists... 99s Building dependency tree... 99s Reading state information... 99s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 99s Starting 2 pkgProblemResolver with broken count: 0 99s Done 100s Entering ResolveByKeep 100s 100s The following packages will be upgraded: 100s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 100s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 100s Need to get 11.7 MB of archives. 100s After this operation, 358 kB of additional disk space will be used. 100s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc-dev-bin ppc64el 2.41-1ubuntu1 [25.3 kB] 100s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc6-dev ppc64el 2.41-1ubuntu1 [2046 kB] 101s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el locales all 2.41-1ubuntu1 [4246 kB] 101s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc6 ppc64el 2.41-1ubuntu1 [3243 kB] 101s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc-bin ppc64el 2.41-1ubuntu1 [742 kB] 101s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el iproute2 ppc64el 6.13.0-1ubuntu1 [1419 kB] 102s Preconfiguring packages ... 102s Fetched 11.7 MB in 1s (10.1 MB/s) 102s (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 ... 106311 files and directories currently installed.) 102s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_ppc64el.deb ... 102s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 102s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_ppc64el.deb ... 102s Unpacking libc6-dev:ppc64el (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 103s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 103s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 103s Preparing to unpack .../libc6_2.41-1ubuntu1_ppc64el.deb ... 103s Checking for services that may need to be restarted... 103s Checking init scripts... 103s Checking for services that may need to be restarted... 103s Checking init scripts... 103s Stopping some services possibly affected by the upgrade (will be restarted later): 103s cron: stopping...done. 103s 103s Unpacking libc6:ppc64el (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 103s Setting up libc6:ppc64el (2.41-1ubuntu1) ... 103s Checking for services that may need to be restarted... 103s Checking init scripts... 103s Restarting services possibly affected by the upgrade: 103s cron: restarting...done. 103s 103s Services restarted successfully. 104s (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 ... 106312 files and directories currently installed.) 104s Preparing to unpack .../libc-bin_2.41-1ubuntu1_ppc64el.deb ... 104s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 104s Setting up libc-bin (2.41-1ubuntu1) ... 104s (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 ... 106312 files and directories currently installed.) 104s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_ppc64el.deb ... 104s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 104s Setting up iproute2 (6.13.0-1ubuntu1) ... 104s Setting up locales (2.41-1ubuntu1) ... 104s Installing new version of config file /etc/locale.alias ... 105s Generating locales (this might take a while)... 106s en_US.UTF-8... done 106s Generation complete. 106s Setting up libc-dev-bin (2.41-1ubuntu1) ... 106s Setting up libc6-dev:ppc64el (2.41-1ubuntu1) ... 106s Processing triggers for man-db (2.13.0-1) ... 108s Processing triggers for systemd (257.2-3ubuntu1) ... 109s Reading package lists... 110s Building dependency tree... 110s Reading state information... 110s Starting pkgProblemResolver with broken count: 0 110s Starting 2 pkgProblemResolver with broken count: 0 110s Done 110s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 113s autopkgtest [09:41:37]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 16:32:08 UTC 2025 113s autopkgtest [09:41:37]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 118s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 118s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 118s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 118s gpgv: Signature made Fri Sep 6 15:04:31 2024 UTC 118s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 118s gpgv: Can't check signature: No public key 118s dpkg-source: warning: cannot verify inline signature for ./why3_1.7.2-2build1.dsc: no acceptable signature found 119s autopkgtest [09:41:43]: testing package why3 version 1.7.2-2build1 120s autopkgtest [09:41:44]: build not needed 134s autopkgtest [09:41:58]: test why3+cvc4: preparing testbed 134s Reading package lists... 134s Building dependency tree... 134s Reading state information... 135s Starting pkgProblemResolver with broken count: 0 135s Starting 2 pkgProblemResolver with broken count: 0 135s Done 135s The following NEW packages will be installed: 135s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-powerpc64le-linux-gnu 135s cpp-powerpc64le-linux-gnu cvc4 dconf-gsettings-backend dconf-service 135s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 135s gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 135s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 135s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 135s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 135s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 135s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 135s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 135s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 135s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 135s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 135s liblcms2-2 liblerc4 liblsan0 libmpc3 libncurses-dev libpango-1.0-0 135s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libquadmath0 135s libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 135s libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 135s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 135s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 135s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 135s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 135s Need to get 166 MB of archives. 135s After this operation, 534 MB of additional disk space will be used. 135s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 135s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-3ubuntu2 [215 kB] 135s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 135s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdeflate0 ppc64el 1.23-1 [63.4 kB] 136s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 136s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 136s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 136s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 136s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtiff6 ppc64el 4.5.1+git230720-4ubuntu4 [272 kB] 136s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-2 [191 kB] 136s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gtk-update-icon-cache ppc64el 4.17.4+ds-4 [55.0 kB] 136s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 136s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el adwaita-icon-theme all 48~beta-3 [578 kB] 136s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el at-spi2-common all 2.55.2-1 [8916 B] 136s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 136s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 136s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [10.5 MB] 137s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu1 [1038 B] 137s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 137s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 137s Get:21 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 138s Get:22 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcvc4-7 ppc64el 1.8-3build2 [4746 kB] 138s Get:23 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libantlr3c-3.4-0 ppc64el 3.4+dfsg-4build2 [60.7 kB] 138s Get:24 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcvc4parser7 ppc64el 1.8-3build2 [383 kB] 138s Get:25 http://ftpmaster.internal/ubuntu plucky/universe ppc64el cvc4 ppc64el 1.8-3build2 [76.6 kB] 138s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdconf1 ppc64el 0.40.0-5 [43.7 kB] 138s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-service ppc64el 0.40.0-5 [30.8 kB] 138s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5 [26.0 kB] 138s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 138s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 138s Get:31 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig-config ppc64el 2.15.0-1.1ubuntu2 [37.4 kB] 138s Get:32 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfontconfig1 ppc64el 2.15.0-1.1ubuntu2 [190 kB] 138s Get:33 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig ppc64el 2.15.0-1.1ubuntu2 [192 kB] 138s Get:34 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 14.2.0-17ubuntu1 [48.1 kB] 138s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 14.2.0-17ubuntu1 [161 kB] 138s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 14.2.0-17ubuntu1 [32.1 kB] 138s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 14.2.0-17ubuntu1 [2945 kB] 138s Get:38 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 14.2.0-17ubuntu1 [1322 kB] 138s Get:39 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 14.2.0-17ubuntu1 [2696 kB] 138s Get:40 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 14.2.0-17ubuntu1 [1191 kB] 138s Get:41 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 14.2.0-17ubuntu1 [158 kB] 138s Get:42 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu1 [1620 kB] 138s Get:43 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [20.6 MB] 139s Get:44 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu1 [536 kB] 139s Get:45 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 139s Get:46 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 139s Get:47 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk1.0-0t64 ppc64el 2.55.2-1 [59.8 kB] 139s Get:48 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 139s Get:49 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatspi2.0-0t64 ppc64el 2.55.2-1 [97.5 kB] 139s Get:50 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.55.2-1 [77.8 kB] 139s Get:51 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common-data ppc64el 0.8-14ubuntu1 [30.5 kB] 139s Get:52 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common3 ppc64el 0.8-14ubuntu1 [26.0 kB] 139s Get:53 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-client3 ppc64el 0.8-14ubuntu1 [31.0 kB] 139s Get:54 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 139s Get:55 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 139s Get:56 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 139s Get:57 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 139s Get:58 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo2 ppc64el 1.18.2-2 [747 kB] 139s Get:59 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo-gobject2 ppc64el 1.18.2-2 [127 kB] 139s Get:60 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.2.0-3 [446 kB] 139s Get:61 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.2.0-3 [347 kB] 139s Get:62 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2 [29.1 kB] 139s Get:63 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 139s Get:64 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 139s Get:65 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.2.0-3 [11.1 MB] 140s Get:66 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.2.0-3 [47.1 MB] 141s Get:67 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcups2t64 ppc64el 2.4.11-0ubuntu2 [347 kB] 141s Get:68 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 141s Get:69 http://ftpmaster.internal/ubuntu plucky/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 141s Get:70 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 141s Get:71 http://ftpmaster.internal/ubuntu plucky/main ppc64el libharfbuzz0b ppc64el 10.2.0-1 [598 kB] 141s Get:72 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 141s Get:73 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 141s Get:74 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpango-1.0-0 ppc64el 1.56.1-1 [277 kB] 141s Get:75 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.1-1 [58.6 kB] 141s Get:76 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.1-1 [30.6 kB] 141s Get:77 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-client0 ppc64el 1.23.1-1 [31.6 kB] 141s Get:78 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-cursor0 ppc64el 1.23.1-1 [12.0 kB] 141s Get:79 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-egl1 ppc64el 1.23.1-1 [5810 B] 141s Get:80 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 141s Get:81 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 141s Get:82 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 141s Get:83 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 141s Get:84 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 141s Get:85 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 141s Get:86 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 142s Get:87 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-0t64 ppc64el 3.24.48-3ubuntu1 [3380 kB] 142s Get:88 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 142s Get:89 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-3 [260 kB] 142s Get:90 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build1 [3588 kB] 142s Get:91 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build1 [331 kB] 142s Get:92 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 142s Get:93 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 142s Get:94 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.2.0-3 [8077 kB] 142s Get:95 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.2.0-3 [20.1 MB] 143s Get:96 http://ftpmaster.internal/ubuntu plucky/universe ppc64el tex-common all 6.18 [32.8 kB] 143s Get:97 http://ftpmaster.internal/ubuntu plucky/universe ppc64el why3 ppc64el 1.7.2-2build1 [12.2 MB] 143s Fetched 166 MB in 8s (21.4 MB/s) 143s Selecting previously unselected package libgdk-pixbuf2.0-common. 143s (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 ... 106313 files and directories currently installed.) 143s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 143s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 143s Selecting previously unselected package libjpeg-turbo8:ppc64el. 143s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_ppc64el.deb ... 143s Unpacking libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 143s Selecting previously unselected package libjpeg8:ppc64el. 143s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 143s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 143s Selecting previously unselected package libdeflate0:ppc64el. 143s Preparing to unpack .../03-libdeflate0_1.23-1_ppc64el.deb ... 143s Unpacking libdeflate0:ppc64el (1.23-1) ... 143s Selecting previously unselected package libjbig0:ppc64el. 143s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 143s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 143s Selecting previously unselected package liblerc4:ppc64el. 143s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 143s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 143s Selecting previously unselected package libsharpyuv0:ppc64el. 143s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 143s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 143s Selecting previously unselected package libwebp7:ppc64el. 143s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 143s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 143s Selecting previously unselected package libtiff6:ppc64el. 143s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_ppc64el.deb ... 143s Unpacking libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 143s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 143s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_ppc64el.deb ... 143s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 143s Selecting previously unselected package gtk-update-icon-cache. 143s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_ppc64el.deb ... 144s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 144s 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. 144s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 144s Selecting previously unselected package hicolor-icon-theme. 144s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 144s Unpacking hicolor-icon-theme (0.18-2) ... 144s Selecting previously unselected package adwaita-icon-theme. 144s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 144s Unpacking adwaita-icon-theme (48~beta-3) ... 144s Selecting previously unselected package at-spi2-common. 144s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 144s Unpacking at-spi2-common (2.55.2-1) ... 144s Selecting previously unselected package libisl23:ppc64el. 144s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 144s Unpacking libisl23:ppc64el (0.27-1) ... 144s Selecting previously unselected package libmpc3:ppc64el. 144s Preparing to unpack .../15-libmpc3_1.3.1-1build2_ppc64el.deb ... 144s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 144s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 144s Preparing to unpack .../16-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 144s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 144s Selecting previously unselected package cpp-14. 144s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_ppc64el.deb ... 144s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 144s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 144s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 144s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 144s Selecting previously unselected package cpp. 144s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 144s Unpacking cpp (4:14.2.0-1ubuntu1) ... 144s Selecting previously unselected package libcln6:ppc64el. 144s Preparing to unpack .../20-libcln6_1.3.7-1_ppc64el.deb ... 144s Unpacking libcln6:ppc64el (1.3.7-1) ... 144s Selecting previously unselected package libcvc4-7:ppc64el. 144s Preparing to unpack .../21-libcvc4-7_1.8-3build2_ppc64el.deb ... 144s Unpacking libcvc4-7:ppc64el (1.8-3build2) ... 144s Selecting previously unselected package libantlr3c-3.4-0:ppc64el. 144s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_ppc64el.deb ... 144s Unpacking libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 144s Selecting previously unselected package libcvc4parser7:ppc64el. 144s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_ppc64el.deb ... 144s Unpacking libcvc4parser7:ppc64el (1.8-3build2) ... 144s Selecting previously unselected package cvc4. 144s Preparing to unpack .../24-cvc4_1.8-3build2_ppc64el.deb ... 144s Unpacking cvc4 (1.8-3build2) ... 144s Selecting previously unselected package libdconf1:ppc64el. 144s Preparing to unpack .../25-libdconf1_0.40.0-5_ppc64el.deb ... 144s Unpacking libdconf1:ppc64el (0.40.0-5) ... 144s Selecting previously unselected package dconf-service. 144s Preparing to unpack .../26-dconf-service_0.40.0-5_ppc64el.deb ... 144s Unpacking dconf-service (0.40.0-5) ... 144s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 144s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_ppc64el.deb ... 144s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5) ... 144s Selecting previously unselected package fonts-dejavu-mono. 144s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 144s Unpacking fonts-dejavu-mono (2.37-8) ... 144s Selecting previously unselected package fonts-dejavu-core. 144s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 144s Unpacking fonts-dejavu-core (2.37-8) ... 144s Selecting previously unselected package fontconfig-config. 144s Preparing to unpack .../30-fontconfig-config_2.15.0-1.1ubuntu2_ppc64el.deb ... 144s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ... 145s Selecting previously unselected package libfontconfig1:ppc64el. 145s Preparing to unpack .../31-libfontconfig1_2.15.0-1.1ubuntu2_ppc64el.deb ... 145s Unpacking libfontconfig1:ppc64el (2.15.0-1.1ubuntu2) ... 145s Selecting previously unselected package fontconfig. 145s Preparing to unpack .../32-fontconfig_2.15.0-1.1ubuntu2_ppc64el.deb ... 145s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 145s Selecting previously unselected package libcc1-0:ppc64el. 145s Preparing to unpack .../33-libcc1-0_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking libcc1-0:ppc64el (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package libgomp1:ppc64el. 145s Preparing to unpack .../34-libgomp1_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking libgomp1:ppc64el (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package libitm1:ppc64el. 145s Preparing to unpack .../35-libitm1_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking libitm1:ppc64el (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package libasan8:ppc64el. 145s Preparing to unpack .../36-libasan8_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking libasan8:ppc64el (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package liblsan0:ppc64el. 145s Preparing to unpack .../37-liblsan0_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking liblsan0:ppc64el (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package libtsan2:ppc64el. 145s Preparing to unpack .../38-libtsan2_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking libtsan2:ppc64el (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package libubsan1:ppc64el. 145s Preparing to unpack .../39-libubsan1_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking libubsan1:ppc64el (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package libquadmath0:ppc64el. 145s Preparing to unpack .../40-libquadmath0_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking libquadmath0:ppc64el (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package libgcc-14-dev:ppc64el. 145s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 145s Preparing to unpack .../42-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package gcc-14. 145s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu1_ppc64el.deb ... 145s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 145s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 145s Preparing to unpack .../44-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 145s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 145s Selecting previously unselected package gcc. 145s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 145s Unpacking gcc (4:14.2.0-1ubuntu1) ... 145s Selecting previously unselected package libatk1.0-0t64:ppc64el. 145s Preparing to unpack .../46-libatk1.0-0t64_2.55.2-1_ppc64el.deb ... 145s Unpacking libatk1.0-0t64:ppc64el (2.55.2-1) ... 145s Selecting previously unselected package libxi6:ppc64el. 145s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_ppc64el.deb ... 145s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 145s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 145s Preparing to unpack .../48-libatspi2.0-0t64_2.55.2-1_ppc64el.deb ... 145s Unpacking libatspi2.0-0t64:ppc64el (2.55.2-1) ... 145s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 145s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.2-1_ppc64el.deb ... 145s Unpacking libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 145s Selecting previously unselected package libavahi-common-data:ppc64el. 145s Preparing to unpack .../50-libavahi-common-data_0.8-14ubuntu1_ppc64el.deb ... 145s Unpacking libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 145s Selecting previously unselected package libavahi-common3:ppc64el. 145s Preparing to unpack .../51-libavahi-common3_0.8-14ubuntu1_ppc64el.deb ... 145s Unpacking libavahi-common3:ppc64el (0.8-14ubuntu1) ... 145s Selecting previously unselected package libavahi-client3:ppc64el. 145s Preparing to unpack .../52-libavahi-client3_0.8-14ubuntu1_ppc64el.deb ... 145s Unpacking libavahi-client3:ppc64el (0.8-14ubuntu1) ... 145s Selecting previously unselected package libpixman-1-0:ppc64el. 145s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_ppc64el.deb ... 145s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 145s Selecting previously unselected package libxcb-render0:ppc64el. 145s Preparing to unpack .../54-libxcb-render0_1.17.0-2_ppc64el.deb ... 145s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 145s Selecting previously unselected package libxcb-shm0:ppc64el. 145s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_ppc64el.deb ... 145s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 145s Selecting previously unselected package libxrender1:ppc64el. 145s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 145s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 146s Selecting previously unselected package libcairo2:ppc64el. 146s Preparing to unpack .../57-libcairo2_1.18.2-2_ppc64el.deb ... 146s Unpacking libcairo2:ppc64el (1.18.2-2) ... 146s Selecting previously unselected package libcairo-gobject2:ppc64el. 146s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_ppc64el.deb ... 146s Unpacking libcairo-gobject2:ppc64el (1.18.2-2) ... 146s Selecting previously unselected package libstdlib-ocaml. 146s Preparing to unpack .../59-libstdlib-ocaml_5.2.0-3_ppc64el.deb ... 146s Unpacking libstdlib-ocaml (5.2.0-3) ... 146s Selecting previously unselected package ocaml-base. 146s Preparing to unpack .../60-ocaml-base_5.2.0-3_ppc64el.deb ... 146s Unpacking ocaml-base (5.2.0-3) ... 146s Selecting previously unselected package libcairo2-ocaml. 146s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2_ppc64el.deb ... 146s Unpacking libcairo2-ocaml (0.6.5-2) ... 146s Selecting previously unselected package liblcms2-2:ppc64el. 146s Preparing to unpack .../62-liblcms2-2_2.16-2_ppc64el.deb ... 146s Unpacking liblcms2-2:ppc64el (2.16-2) ... 146s Selecting previously unselected package libcolord2:ppc64el. 146s Preparing to unpack .../63-libcolord2_1.4.7-1build2_ppc64el.deb ... 146s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 146s Selecting previously unselected package libstdlib-ocaml-dev. 146s Preparing to unpack .../64-libstdlib-ocaml-dev_5.2.0-3_ppc64el.deb ... 146s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 146s Selecting previously unselected package libcompiler-libs-ocaml-dev. 146s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.2.0-3_ppc64el.deb ... 146s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 146s Selecting previously unselected package libcups2t64:ppc64el. 146s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_ppc64el.deb ... 146s Unpacking libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 146s Selecting previously unselected package libdatrie1:ppc64el. 146s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_ppc64el.deb ... 146s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 146s Selecting previously unselected package libepoxy0:ppc64el. 146s Preparing to unpack .../68-libepoxy0_1.5.10-2_ppc64el.deb ... 146s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 146s Selecting previously unselected package libgraphite2-3:ppc64el. 146s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 146s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 146s Selecting previously unselected package libharfbuzz0b:ppc64el. 146s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_ppc64el.deb ... 146s Unpacking libharfbuzz0b:ppc64el (10.2.0-1) ... 146s Selecting previously unselected package libthai-data. 147s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 147s Unpacking libthai-data (0.1.29-2build1) ... 147s Selecting previously unselected package libthai0:ppc64el. 147s Preparing to unpack .../72-libthai0_0.1.29-2build1_ppc64el.deb ... 147s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 147s Selecting previously unselected package libpango-1.0-0:ppc64el. 147s Preparing to unpack .../73-libpango-1.0-0_1.56.1-1_ppc64el.deb ... 147s Unpacking libpango-1.0-0:ppc64el (1.56.1-1) ... 147s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 147s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.1-1_ppc64el.deb ... 147s Unpacking libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 147s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 147s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.1-1_ppc64el.deb ... 147s Unpacking libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 147s Selecting previously unselected package libwayland-client0:ppc64el. 147s Preparing to unpack .../76-libwayland-client0_1.23.1-1_ppc64el.deb ... 147s Unpacking libwayland-client0:ppc64el (1.23.1-1) ... 147s Selecting previously unselected package libwayland-cursor0:ppc64el. 147s Preparing to unpack .../77-libwayland-cursor0_1.23.1-1_ppc64el.deb ... 147s Unpacking libwayland-cursor0:ppc64el (1.23.1-1) ... 147s Selecting previously unselected package libwayland-egl1:ppc64el. 147s Preparing to unpack .../78-libwayland-egl1_1.23.1-1_ppc64el.deb ... 147s Unpacking libwayland-egl1:ppc64el (1.23.1-1) ... 147s Selecting previously unselected package libxcomposite1:ppc64el. 147s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 147s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 147s Selecting previously unselected package libxfixes3:ppc64el. 147s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 147s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 147s Selecting previously unselected package libxcursor1:ppc64el. 147s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 147s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 147s Selecting previously unselected package libxdamage1:ppc64el. 147s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 147s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 147s Selecting previously unselected package libxinerama1:ppc64el. 147s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 147s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 147s Selecting previously unselected package libxrandr2:ppc64el. 147s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 147s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 147s Selecting previously unselected package libgtk-3-common. 147s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 147s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 147s Selecting previously unselected package libgtk-3-0t64:ppc64el. 147s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_ppc64el.deb ... 147s Unpacking libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 147s Selecting previously unselected package libgtksourceview-3.0-common. 147s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 147s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 147s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 147s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_ppc64el.deb ... 147s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 147s Selecting previously unselected package liblablgtk3-ocaml. 147s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build1_ppc64el.deb ... 147s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 147s Selecting previously unselected package liblablgtksourceview3-ocaml. 147s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build1_ppc64el.deb ... 147s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 147s Selecting previously unselected package libncurses-dev:ppc64el. 147s Preparing to unpack .../91-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 147s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 147s Selecting previously unselected package libzstd-dev:ppc64el. 147s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 147s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 147s Selecting previously unselected package ocaml-interp. 147s Preparing to unpack .../93-ocaml-interp_5.2.0-3_ppc64el.deb ... 147s Unpacking ocaml-interp (5.2.0-3) ... 147s Selecting previously unselected package ocaml. 147s Preparing to unpack .../94-ocaml_5.2.0-3_ppc64el.deb ... 147s Unpacking ocaml (5.2.0-3) ... 148s Selecting previously unselected package tex-common. 148s Preparing to unpack .../95-tex-common_6.18_all.deb ... 148s Unpacking tex-common (6.18) ... 148s Selecting previously unselected package why3. 148s Preparing to unpack .../96-why3_1.7.2-2build1_ppc64el.deb ... 148s Unpacking why3 (1.7.2-2build1) ... 148s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 148s Setting up liblcms2-2:ppc64el (2.16-2) ... 148s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 148s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 148s Setting up libcln6:ppc64el (1.3.7-1) ... 148s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 148s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 148s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 148s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 148s Setting up libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 148s Setting up hicolor-icon-theme (0.18-2) ... 148s Setting up libxi6:ppc64el (2:1.8.2-1) ... 148s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 148s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 148s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 148s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 148s Setting up libdeflate0:ppc64el (1.23-1) ... 148s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 148s Setting up libgomp1:ppc64el (14.2.0-17ubuntu1) ... 148s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 148s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 148s Setting up libdconf1:ppc64el (0.40.0-5) ... 148s Setting up tex-common (6.18) ... 148s update-language: texlive-base not installed and configured, doing nothing! 148s Setting up libepoxy0:ppc64el (1.5.10-2) ... 148s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 148s Setting up libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 148s Setting up libatspi2.0-0t64:ppc64el (2.55.2-1) ... 148s Setting up libquadmath0:ppc64el (14.2.0-17ubuntu1) ... 148s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 148s Setting up libstdlib-ocaml (5.2.0-3) ... 148s Setting up fonts-dejavu-mono (2.37-8) ... 148s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 148s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 148s Setting up ocaml-base (5.2.0-3) ... 148s Setting up fonts-dejavu-core (2.37-8) ... 148s Setting up libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 148s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 148s Setting up libubsan1:ppc64el (14.2.0-17ubuntu1) ... 148s Setting up at-spi2-common (2.55.2-1) ... 148s Setting up libasan8:ppc64el (14.2.0-17ubuntu1) ... 148s Setting up libcvc4-7:ppc64el (1.8-3build2) ... 148s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 148s Setting up libharfbuzz0b:ppc64el (10.2.0-1) ... 148s Setting up libthai-data (0.1.29-2build1) ... 148s Setting up libwayland-egl1:ppc64el (1.23.1-1) ... 148s Setting up libtsan2:ppc64el (14.2.0-17ubuntu1) ... 148s Setting up libisl23:ppc64el (0.27-1) ... 148s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 148s Setting up libcc1-0:ppc64el (14.2.0-17ubuntu1) ... 148s Setting up liblsan0:ppc64el (14.2.0-17ubuntu1) ... 148s Setting up libitm1:ppc64el (14.2.0-17ubuntu1) ... 148s Setting up libwayland-client0:ppc64el (1.23.1-1) ... 148s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 148s Setting up libatk1.0-0t64:ppc64el (2.55.2-1) ... 148s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 148s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ... 149s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 149s Setting up libavahi-common3:ppc64el (0.8-14ubuntu1) ... 149s Setting up dconf-service (0.40.0-5) ... 149s Setting up libthai0:ppc64el (0.1.29-2build1) ... 149s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 149s Setting up ocaml-interp (5.2.0-3) ... 149s Setting up libcvc4parser7:ppc64el (1.8-3build2) ... 149s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 149s Setting up cpp-14 (14.2.0-17ubuntu1) ... 149s Setting up libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 149s Setting up libwayland-cursor0:ppc64el (1.23.1-1) ... 149s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 149s Setting up cvc4 (1.8-3build2) ... 149s Setting up libfontconfig1:ppc64el (2.15.0-1.1ubuntu2) ... 149s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 149s Setting up libavahi-client3:ppc64el (0.8-14ubuntu1) ... 149s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 149s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 149s Setting up libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 149s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 149s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 151s Regenerating fonts cache... done. 151s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5) ... 151s Setting up libpango-1.0-0:ppc64el (1.56.1-1) ... 151s Setting up libcairo2:ppc64el (1.18.2-2) ... 151s Setting up gcc-14 (14.2.0-17ubuntu1) ... 151s Setting up adwaita-icon-theme (48~beta-3) ... 151s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 151s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 151s Setting up cpp (4:14.2.0-1ubuntu1) ... 151s Setting up libcairo-gobject2:ppc64el (1.18.2-2) ... 151s Setting up libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 151s Setting up libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 151s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 151s Setting up libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 151s Setting up libcairo2-ocaml (0.6.5-2) ... 151s Setting up gcc (4:14.2.0-1ubuntu1) ... 151s Setting up ocaml (5.2.0-3) ... 151s Processing triggers for libc-bin (2.41-1ubuntu1) ... 151s Processing triggers for man-db (2.13.0-1) ... 152s Processing triggers for libglib2.0-0t64:ppc64el (2.83.3-2) ... 152s Setting up libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 152s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 152s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 152s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 152s Setting up why3 (1.7.2-2build1) ... 152s Processing triggers for libc-bin (2.41-1ubuntu1) ... 153s autopkgtest [09:42:17]: test why3+cvc4: [----------------------- 154s autopkgtest [09:42:18]: test why3+cvc4: -----------------------] 154s autopkgtest [09:42:18]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 154s why3+cvc4 PASS 155s autopkgtest [09:42:19]: test why3+spass: preparing testbed 280s autopkgtest [09:44:24]: testbed dpkg architecture: ppc64el 281s autopkgtest [09:44:25]: testbed apt version: 2.9.28 281s autopkgtest [09:44:25]: @@@@@@@@@@@@@@@@@@@@ test bed setup 281s autopkgtest [09:44:25]: testbed release detected to be: plucky 282s autopkgtest [09:44:26]: updating testbed package index (apt update) 283s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 283s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 283s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 283s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 283s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 283s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 283s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [74.8 kB] 283s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [807 kB] 283s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [156 kB] 283s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 283s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [909 kB] 283s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [4220 B] 283s Fetched 2079 kB in 1s (1950 kB/s) 284s Reading package lists... 285s Reading package lists... 285s Building dependency tree... 285s Reading state information... 285s Calculating upgrade... 286s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 286s Reading package lists... 286s Building dependency tree... 286s Reading state information... 286s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 286s autopkgtest [09:44:30]: upgrading testbed (apt dist-upgrade and autopurge) 286s Reading package lists... 287s Building dependency tree... 287s Reading state information... 287s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 287s Starting 2 pkgProblemResolver with broken count: 0 287s Done 288s Entering ResolveByKeep 288s 288s The following packages will be upgraded: 288s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 288s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 288s Need to get 11.7 MB of archives. 288s After this operation, 358 kB of additional disk space will be used. 288s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc-dev-bin ppc64el 2.41-1ubuntu1 [25.3 kB] 288s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc6-dev ppc64el 2.41-1ubuntu1 [2046 kB] 289s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el locales all 2.41-1ubuntu1 [4246 kB] 289s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc6 ppc64el 2.41-1ubuntu1 [3243 kB] 289s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc-bin ppc64el 2.41-1ubuntu1 [742 kB] 289s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el iproute2 ppc64el 6.13.0-1ubuntu1 [1419 kB] 289s Preconfiguring packages ... 289s Fetched 11.7 MB in 1s (12.9 MB/s) 290s (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 ... 106311 files and directories currently installed.) 290s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_ppc64el.deb ... 290s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 290s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_ppc64el.deb ... 290s Unpacking libc6-dev:ppc64el (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 290s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 290s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 290s Preparing to unpack .../libc6_2.41-1ubuntu1_ppc64el.deb ... 291s Checking for services that may need to be restarted... 291s Checking init scripts... 291s Checking for services that may need to be restarted... 291s Checking init scripts... 291s Stopping some services possibly affected by the upgrade (will be restarted later): 291s cron: stopping...done. 291s 291s Unpacking libc6:ppc64el (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 291s Setting up libc6:ppc64el (2.41-1ubuntu1) ... 291s Checking for services that may need to be restarted... 291s Checking init scripts... 291s Restarting services possibly affected by the upgrade: 291s cron: restarting...done. 291s 291s Services restarted successfully. 291s (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 ... 106312 files and directories currently installed.) 291s Preparing to unpack .../libc-bin_2.41-1ubuntu1_ppc64el.deb ... 291s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 291s Setting up libc-bin (2.41-1ubuntu1) ... 292s (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 ... 106312 files and directories currently installed.) 292s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_ppc64el.deb ... 292s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 292s Setting up iproute2 (6.13.0-1ubuntu1) ... 292s Setting up locales (2.41-1ubuntu1) ... 292s Installing new version of config file /etc/locale.alias ... 293s Generating locales (this might take a while)... 294s en_US.UTF-8... done 294s Generation complete. 294s Setting up libc-dev-bin (2.41-1ubuntu1) ... 294s Setting up libc6-dev:ppc64el (2.41-1ubuntu1) ... 294s Processing triggers for man-db (2.13.0-1) ... 297s Processing triggers for systemd (257.2-3ubuntu1) ... 298s Reading package lists... 298s Building dependency tree... 298s Reading state information... 298s Starting pkgProblemResolver with broken count: 0 298s Starting 2 pkgProblemResolver with broken count: 0 298s Done 299s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 301s Reading package lists... 302s Building dependency tree... 302s Reading state information... 302s Starting pkgProblemResolver with broken count: 0 302s Starting 2 pkgProblemResolver with broken count: 0 302s Done 302s The following NEW packages will be installed: 302s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-powerpc64le-linux-gnu 302s cpp-powerpc64le-linux-gnu dconf-gsettings-backend dconf-service fontconfig 302s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 302s gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache 302s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 302s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 302s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 302s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 302s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 302s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 302s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 302s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 302s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 302s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 302s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 302s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 302s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 302s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 302s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass 302s tex-common why3 302s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 302s Need to get 161 MB of archives. 302s After this operation, 513 MB of additional disk space will be used. 302s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 302s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-3ubuntu2 [215 kB] 303s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 303s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdeflate0 ppc64el 1.23-1 [63.4 kB] 303s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu2 [35.9 kB] 303s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblerc4 ppc64el 4.0.0+ds-5ubuntu1 [298 kB] 303s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libsharpyuv0 ppc64el 1.5.0-0.1 [22.3 kB] 303s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwebp7 ppc64el 1.5.0-0.1 [315 kB] 303s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtiff6 ppc64el 4.5.1+git230720-4ubuntu4 [272 kB] 303s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-2 [191 kB] 303s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gtk-update-icon-cache ppc64el 4.17.4+ds-4 [55.0 kB] 303s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el hicolor-icon-theme all 0.18-2 [13.3 kB] 303s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el adwaita-icon-theme all 48~beta-3 [578 kB] 303s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el at-spi2-common all 2.55.2-1 [8916 B] 303s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 303s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 303s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [10.5 MB] 303s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu1 [1038 B] 303s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 303s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 303s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdconf1 ppc64el 0.40.0-5 [43.7 kB] 303s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-service ppc64el 0.40.0-5 [30.8 kB] 303s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-5 [26.0 kB] 303s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 303s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 303s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig-config ppc64el 2.15.0-1.1ubuntu2 [37.4 kB] 303s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfontconfig1 ppc64el 2.15.0-1.1ubuntu2 [190 kB] 303s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el fontconfig ppc64el 2.15.0-1.1ubuntu2 [192 kB] 303s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 14.2.0-17ubuntu1 [48.1 kB] 304s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 14.2.0-17ubuntu1 [161 kB] 304s Get:31 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 14.2.0-17ubuntu1 [32.1 kB] 304s Get:32 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 14.2.0-17ubuntu1 [2945 kB] 304s Get:33 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 14.2.0-17ubuntu1 [1322 kB] 304s Get:34 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 14.2.0-17ubuntu1 [2696 kB] 304s Get:35 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 14.2.0-17ubuntu1 [1191 kB] 304s Get:36 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 14.2.0-17ubuntu1 [158 kB] 304s Get:37 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu1 [1620 kB] 304s Get:38 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [20.6 MB] 305s Get:39 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu1 [536 kB] 305s Get:40 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 305s Get:41 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 305s Get:42 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk1.0-0t64 ppc64el 2.55.2-1 [59.8 kB] 305s Get:43 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxi6 ppc64el 2:1.8.2-1 [37.9 kB] 305s Get:44 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatspi2.0-0t64 ppc64el 2.55.2-1 [97.5 kB] 305s Get:45 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.55.2-1 [77.8 kB] 305s Get:46 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common-data ppc64el 0.8-14ubuntu1 [30.5 kB] 305s Get:47 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-common3 ppc64el 0.8-14ubuntu1 [26.0 kB] 305s Get:48 http://ftpmaster.internal/ubuntu plucky/main ppc64el libavahi-client3 ppc64el 0.8-14ubuntu1 [31.0 kB] 305s Get:49 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpixman-1-0 ppc64el 0.44.0-3 [334 kB] 305s Get:50 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 305s Get:51 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 305s Get:52 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 305s Get:53 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo2 ppc64el 1.18.2-2 [747 kB] 305s Get:54 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcairo-gobject2 ppc64el 1.18.2-2 [127 kB] 305s Get:55 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.2.0-3 [446 kB] 305s Get:56 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.2.0-3 [347 kB] 305s Get:57 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcairo2-ocaml ppc64el 0.6.5-2 [29.1 kB] 305s Get:58 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblcms2-2 ppc64el 2.16-2 [243 kB] 305s Get:59 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 305s Get:60 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.2.0-3 [11.1 MB] 306s Get:61 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.2.0-3 [47.1 MB] 308s Get:62 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcups2t64 ppc64el 2.4.11-0ubuntu2 [347 kB] 308s Get:63 http://ftpmaster.internal/ubuntu plucky/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 308s Get:64 http://ftpmaster.internal/ubuntu plucky/main ppc64el libepoxy0 ppc64el 1.5.10-2 [234 kB] 308s Get:65 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 308s Get:66 http://ftpmaster.internal/ubuntu plucky/main ppc64el libharfbuzz0b ppc64el 10.2.0-1 [598 kB] 308s Get:67 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 308s Get:68 http://ftpmaster.internal/ubuntu plucky/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 308s Get:69 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpango-1.0-0 ppc64el 1.56.1-1 [277 kB] 308s Get:70 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangoft2-1.0-0 ppc64el 1.56.1-1 [58.6 kB] 308s Get:71 http://ftpmaster.internal/ubuntu plucky/main ppc64el libpangocairo-1.0-0 ppc64el 1.56.1-1 [30.6 kB] 308s Get:72 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-client0 ppc64el 1.23.1-1 [31.6 kB] 308s Get:73 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-cursor0 ppc64el 1.23.1-1 [12.0 kB] 308s Get:74 http://ftpmaster.internal/ubuntu plucky/main ppc64el libwayland-egl1 ppc64el 1.23.1-1 [5810 B] 308s Get:75 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcomposite1 ppc64el 1:0.4.6-1 [6816 B] 308s Get:76 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 308s Get:77 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxcursor1 ppc64el 1:1.2.3-1 [27.4 kB] 308s Get:78 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 308s Get:79 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 308s Get:80 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 308s Get:81 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 308s Get:82 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgtk-3-0t64 ppc64el 3.24.48-3ubuntu1 [3380 kB] 308s Get:83 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 308s Get:84 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-3 [260 kB] 308s Get:85 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.5-1build1 [3588 kB] 308s Get:86 http://ftpmaster.internal/ubuntu plucky/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.5-1build1 [331 kB] 308s Get:87 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 308s Get:88 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 308s Get:89 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.2.0-3 [8077 kB] 309s Get:90 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.2.0-3 [20.1 MB] 310s Get:91 http://ftpmaster.internal/ubuntu plucky/universe ppc64el spass ppc64el 3.9-1.1 [304 kB] 310s Get:92 http://ftpmaster.internal/ubuntu plucky/universe ppc64el tex-common all 6.18 [32.8 kB] 310s Get:93 http://ftpmaster.internal/ubuntu plucky/universe ppc64el why3 ppc64el 1.7.2-2build1 [12.2 MB] 311s Fetched 161 MB in 8s (19.8 MB/s) 311s Selecting previously unselected package libgdk-pixbuf2.0-common. 311s (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 ... 106313 files and directories currently installed.) 311s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 311s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 311s Selecting previously unselected package libjpeg-turbo8:ppc64el. 311s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_ppc64el.deb ... 311s Unpacking libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 311s Selecting previously unselected package libjpeg8:ppc64el. 311s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 311s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 311s Selecting previously unselected package libdeflate0:ppc64el. 311s Preparing to unpack .../03-libdeflate0_1.23-1_ppc64el.deb ... 311s Unpacking libdeflate0:ppc64el (1.23-1) ... 311s Selecting previously unselected package libjbig0:ppc64el. 311s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_ppc64el.deb ... 311s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu2) ... 311s Selecting previously unselected package liblerc4:ppc64el. 311s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_ppc64el.deb ... 311s Unpacking liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 311s Selecting previously unselected package libsharpyuv0:ppc64el. 311s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_ppc64el.deb ... 311s Unpacking libsharpyuv0:ppc64el (1.5.0-0.1) ... 311s Selecting previously unselected package libwebp7:ppc64el. 311s Preparing to unpack .../07-libwebp7_1.5.0-0.1_ppc64el.deb ... 311s Unpacking libwebp7:ppc64el (1.5.0-0.1) ... 311s Selecting previously unselected package libtiff6:ppc64el. 311s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_ppc64el.deb ... 311s Unpacking libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 311s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 311s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_ppc64el.deb ... 311s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 311s Selecting previously unselected package gtk-update-icon-cache. 311s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_ppc64el.deb ... 311s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 311s 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. 311s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 311s Selecting previously unselected package hicolor-icon-theme. 311s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 311s Unpacking hicolor-icon-theme (0.18-2) ... 311s Selecting previously unselected package adwaita-icon-theme. 311s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 311s Unpacking adwaita-icon-theme (48~beta-3) ... 311s Selecting previously unselected package at-spi2-common. 311s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 311s Unpacking at-spi2-common (2.55.2-1) ... 311s Selecting previously unselected package libisl23:ppc64el. 311s Preparing to unpack .../14-libisl23_0.27-1_ppc64el.deb ... 311s Unpacking libisl23:ppc64el (0.27-1) ... 311s Selecting previously unselected package libmpc3:ppc64el. 311s Preparing to unpack .../15-libmpc3_1.3.1-1build2_ppc64el.deb ... 311s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 312s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 312s Preparing to unpack .../16-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 312s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 312s Selecting previously unselected package cpp-14. 312s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_ppc64el.deb ... 312s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 312s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 312s Preparing to unpack .../18-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 312s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 312s Selecting previously unselected package cpp. 312s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 312s Unpacking cpp (4:14.2.0-1ubuntu1) ... 312s Selecting previously unselected package libdconf1:ppc64el. 312s Preparing to unpack .../20-libdconf1_0.40.0-5_ppc64el.deb ... 312s Unpacking libdconf1:ppc64el (0.40.0-5) ... 312s Selecting previously unselected package dconf-service. 312s Preparing to unpack .../21-dconf-service_0.40.0-5_ppc64el.deb ... 312s Unpacking dconf-service (0.40.0-5) ... 312s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 312s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_ppc64el.deb ... 312s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-5) ... 312s Selecting previously unselected package fonts-dejavu-mono. 312s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 312s Unpacking fonts-dejavu-mono (2.37-8) ... 312s Selecting previously unselected package fonts-dejavu-core. 312s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 312s Unpacking fonts-dejavu-core (2.37-8) ... 312s Selecting previously unselected package fontconfig-config. 312s Preparing to unpack .../25-fontconfig-config_2.15.0-1.1ubuntu2_ppc64el.deb ... 312s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ... 312s Selecting previously unselected package libfontconfig1:ppc64el. 312s Preparing to unpack .../26-libfontconfig1_2.15.0-1.1ubuntu2_ppc64el.deb ... 312s Unpacking libfontconfig1:ppc64el (2.15.0-1.1ubuntu2) ... 312s Selecting previously unselected package fontconfig. 312s Preparing to unpack .../27-fontconfig_2.15.0-1.1ubuntu2_ppc64el.deb ... 312s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 312s Selecting previously unselected package libcc1-0:ppc64el. 312s Preparing to unpack .../28-libcc1-0_14.2.0-17ubuntu1_ppc64el.deb ... 312s Unpacking libcc1-0:ppc64el (14.2.0-17ubuntu1) ... 312s Selecting previously unselected package libgomp1:ppc64el. 312s Preparing to unpack .../29-libgomp1_14.2.0-17ubuntu1_ppc64el.deb ... 312s Unpacking libgomp1:ppc64el (14.2.0-17ubuntu1) ... 312s Selecting previously unselected package libitm1:ppc64el. 312s Preparing to unpack .../30-libitm1_14.2.0-17ubuntu1_ppc64el.deb ... 312s Unpacking libitm1:ppc64el (14.2.0-17ubuntu1) ... 312s Selecting previously unselected package libasan8:ppc64el. 312s Preparing to unpack .../31-libasan8_14.2.0-17ubuntu1_ppc64el.deb ... 312s Unpacking libasan8:ppc64el (14.2.0-17ubuntu1) ... 312s Selecting previously unselected package liblsan0:ppc64el. 312s Preparing to unpack .../32-liblsan0_14.2.0-17ubuntu1_ppc64el.deb ... 312s Unpacking liblsan0:ppc64el (14.2.0-17ubuntu1) ... 312s Selecting previously unselected package libtsan2:ppc64el. 312s Preparing to unpack .../33-libtsan2_14.2.0-17ubuntu1_ppc64el.deb ... 312s Unpacking libtsan2:ppc64el (14.2.0-17ubuntu1) ... 313s Selecting previously unselected package libubsan1:ppc64el. 313s Preparing to unpack .../34-libubsan1_14.2.0-17ubuntu1_ppc64el.deb ... 313s Unpacking libubsan1:ppc64el (14.2.0-17ubuntu1) ... 313s Selecting previously unselected package libquadmath0:ppc64el. 313s Preparing to unpack .../35-libquadmath0_14.2.0-17ubuntu1_ppc64el.deb ... 313s Unpacking libquadmath0:ppc64el (14.2.0-17ubuntu1) ... 313s Selecting previously unselected package libgcc-14-dev:ppc64el. 313s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu1_ppc64el.deb ... 313s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 313s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 313s Preparing to unpack .../37-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 313s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 313s Selecting previously unselected package gcc-14. 313s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu1_ppc64el.deb ... 313s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 313s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 313s Preparing to unpack .../39-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 313s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 313s Selecting previously unselected package gcc. 313s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 313s Unpacking gcc (4:14.2.0-1ubuntu1) ... 313s Selecting previously unselected package libatk1.0-0t64:ppc64el. 313s Preparing to unpack .../41-libatk1.0-0t64_2.55.2-1_ppc64el.deb ... 313s Unpacking libatk1.0-0t64:ppc64el (2.55.2-1) ... 313s Selecting previously unselected package libxi6:ppc64el. 313s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_ppc64el.deb ... 313s Unpacking libxi6:ppc64el (2:1.8.2-1) ... 313s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 313s Preparing to unpack .../43-libatspi2.0-0t64_2.55.2-1_ppc64el.deb ... 313s Unpacking libatspi2.0-0t64:ppc64el (2.55.2-1) ... 313s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 313s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.2-1_ppc64el.deb ... 313s Unpacking libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 313s Selecting previously unselected package libavahi-common-data:ppc64el. 313s Preparing to unpack .../45-libavahi-common-data_0.8-14ubuntu1_ppc64el.deb ... 313s Unpacking libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 313s Selecting previously unselected package libavahi-common3:ppc64el. 313s Preparing to unpack .../46-libavahi-common3_0.8-14ubuntu1_ppc64el.deb ... 313s Unpacking libavahi-common3:ppc64el (0.8-14ubuntu1) ... 313s Selecting previously unselected package libavahi-client3:ppc64el. 313s Preparing to unpack .../47-libavahi-client3_0.8-14ubuntu1_ppc64el.deb ... 313s Unpacking libavahi-client3:ppc64el (0.8-14ubuntu1) ... 313s Selecting previously unselected package libpixman-1-0:ppc64el. 313s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_ppc64el.deb ... 313s Unpacking libpixman-1-0:ppc64el (0.44.0-3) ... 313s Selecting previously unselected package libxcb-render0:ppc64el. 313s Preparing to unpack .../49-libxcb-render0_1.17.0-2_ppc64el.deb ... 313s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 313s Selecting previously unselected package libxcb-shm0:ppc64el. 313s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_ppc64el.deb ... 313s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 313s Selecting previously unselected package libxrender1:ppc64el. 313s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 313s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 313s Selecting previously unselected package libcairo2:ppc64el. 313s Preparing to unpack .../52-libcairo2_1.18.2-2_ppc64el.deb ... 313s Unpacking libcairo2:ppc64el (1.18.2-2) ... 313s Selecting previously unselected package libcairo-gobject2:ppc64el. 313s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_ppc64el.deb ... 313s Unpacking libcairo-gobject2:ppc64el (1.18.2-2) ... 313s Selecting previously unselected package libstdlib-ocaml. 313s Preparing to unpack .../54-libstdlib-ocaml_5.2.0-3_ppc64el.deb ... 313s Unpacking libstdlib-ocaml (5.2.0-3) ... 313s Selecting previously unselected package ocaml-base. 313s Preparing to unpack .../55-ocaml-base_5.2.0-3_ppc64el.deb ... 313s Unpacking ocaml-base (5.2.0-3) ... 313s Selecting previously unselected package libcairo2-ocaml. 313s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2_ppc64el.deb ... 313s Unpacking libcairo2-ocaml (0.6.5-2) ... 313s Selecting previously unselected package liblcms2-2:ppc64el. 314s Preparing to unpack .../57-liblcms2-2_2.16-2_ppc64el.deb ... 314s Unpacking liblcms2-2:ppc64el (2.16-2) ... 314s Selecting previously unselected package libcolord2:ppc64el. 314s Preparing to unpack .../58-libcolord2_1.4.7-1build2_ppc64el.deb ... 314s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 314s Selecting previously unselected package libstdlib-ocaml-dev. 314s Preparing to unpack .../59-libstdlib-ocaml-dev_5.2.0-3_ppc64el.deb ... 314s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 314s Selecting previously unselected package libcompiler-libs-ocaml-dev. 314s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.2.0-3_ppc64el.deb ... 314s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 314s Selecting previously unselected package libcups2t64:ppc64el. 314s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_ppc64el.deb ... 314s Unpacking libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 314s Selecting previously unselected package libdatrie1:ppc64el. 314s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_ppc64el.deb ... 314s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 314s Selecting previously unselected package libepoxy0:ppc64el. 314s Preparing to unpack .../63-libepoxy0_1.5.10-2_ppc64el.deb ... 314s Unpacking libepoxy0:ppc64el (1.5.10-2) ... 314s Selecting previously unselected package libgraphite2-3:ppc64el. 314s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 314s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 314s Selecting previously unselected package libharfbuzz0b:ppc64el. 314s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_ppc64el.deb ... 314s Unpacking libharfbuzz0b:ppc64el (10.2.0-1) ... 315s Selecting previously unselected package libthai-data. 315s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 315s Unpacking libthai-data (0.1.29-2build1) ... 315s Selecting previously unselected package libthai0:ppc64el. 315s Preparing to unpack .../67-libthai0_0.1.29-2build1_ppc64el.deb ... 315s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 315s Selecting previously unselected package libpango-1.0-0:ppc64el. 315s Preparing to unpack .../68-libpango-1.0-0_1.56.1-1_ppc64el.deb ... 315s Unpacking libpango-1.0-0:ppc64el (1.56.1-1) ... 315s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 315s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.1-1_ppc64el.deb ... 315s Unpacking libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 315s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 315s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.1-1_ppc64el.deb ... 315s Unpacking libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 315s Selecting previously unselected package libwayland-client0:ppc64el. 315s Preparing to unpack .../71-libwayland-client0_1.23.1-1_ppc64el.deb ... 315s Unpacking libwayland-client0:ppc64el (1.23.1-1) ... 315s Selecting previously unselected package libwayland-cursor0:ppc64el. 315s Preparing to unpack .../72-libwayland-cursor0_1.23.1-1_ppc64el.deb ... 315s Unpacking libwayland-cursor0:ppc64el (1.23.1-1) ... 315s Selecting previously unselected package libwayland-egl1:ppc64el. 315s Preparing to unpack .../73-libwayland-egl1_1.23.1-1_ppc64el.deb ... 315s Unpacking libwayland-egl1:ppc64el (1.23.1-1) ... 315s Selecting previously unselected package libxcomposite1:ppc64el. 315s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_ppc64el.deb ... 315s Unpacking libxcomposite1:ppc64el (1:0.4.6-1) ... 315s Selecting previously unselected package libxfixes3:ppc64el. 315s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 315s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 315s Selecting previously unselected package libxcursor1:ppc64el. 315s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_ppc64el.deb ... 315s Unpacking libxcursor1:ppc64el (1:1.2.3-1) ... 315s Selecting previously unselected package libxdamage1:ppc64el. 315s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 315s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 315s Selecting previously unselected package libxinerama1:ppc64el. 315s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 315s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 315s Selecting previously unselected package libxrandr2:ppc64el. 315s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 315s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 315s Selecting previously unselected package libgtk-3-common. 315s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 315s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 315s Selecting previously unselected package libgtk-3-0t64:ppc64el. 315s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_ppc64el.deb ... 315s Unpacking libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 315s Selecting previously unselected package libgtksourceview-3.0-common. 315s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 315s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 315s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 315s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_ppc64el.deb ... 315s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 315s Selecting previously unselected package liblablgtk3-ocaml. 315s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build1_ppc64el.deb ... 315s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 315s Selecting previously unselected package liblablgtksourceview3-ocaml. 315s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build1_ppc64el.deb ... 315s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 315s Selecting previously unselected package libncurses-dev:ppc64el. 315s Preparing to unpack .../86-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 315s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 315s Selecting previously unselected package libzstd-dev:ppc64el. 315s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 315s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 315s Selecting previously unselected package ocaml-interp. 315s Preparing to unpack .../88-ocaml-interp_5.2.0-3_ppc64el.deb ... 315s Unpacking ocaml-interp (5.2.0-3) ... 316s Selecting previously unselected package ocaml. 316s Preparing to unpack .../89-ocaml_5.2.0-3_ppc64el.deb ... 316s Unpacking ocaml (5.2.0-3) ... 316s Selecting previously unselected package spass. 316s Preparing to unpack .../90-spass_3.9-1.1_ppc64el.deb ... 316s Unpacking spass (3.9-1.1) ... 316s Selecting previously unselected package tex-common. 316s Preparing to unpack .../91-tex-common_6.18_all.deb ... 316s Unpacking tex-common (6.18) ... 316s Selecting previously unselected package why3. 316s Preparing to unpack .../92-why3_1.7.2-2build1_ppc64el.deb ... 316s Unpacking why3 (1.7.2-2build1) ... 316s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 316s Setting up liblcms2-2:ppc64el (2.16-2) ... 316s Setting up libpixman-1-0:ppc64el (0.44.0-3) ... 316s Setting up libsharpyuv0:ppc64el (1.5.0-0.1) ... 316s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 316s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 316s Setting up liblerc4:ppc64el (4.0.0+ds-5ubuntu1) ... 316s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 316s Setting up hicolor-icon-theme (0.18-2) ... 316s Setting up libxi6:ppc64el (2:1.8.2-1) ... 316s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 316s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 316s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 316s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 316s Setting up libdeflate0:ppc64el (1.23-1) ... 316s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 316s Setting up libgomp1:ppc64el (14.2.0-17ubuntu1) ... 316s Setting up libjbig0:ppc64el (2.1-6.1ubuntu2) ... 316s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 316s Setting up libdconf1:ppc64el (0.40.0-5) ... 316s Setting up tex-common (6.18) ... 317s update-language: texlive-base not installed and configured, doing nothing! 317s Setting up libepoxy0:ppc64el (1.5.10-2) ... 317s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 317s Setting up spass (3.9-1.1) ... 317s Setting up libavahi-common-data:ppc64el (0.8-14ubuntu1) ... 317s Setting up libatspi2.0-0t64:ppc64el (2.55.2-1) ... 317s Setting up libquadmath0:ppc64el (14.2.0-17ubuntu1) ... 317s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 317s Setting up libstdlib-ocaml (5.2.0-3) ... 317s Setting up fonts-dejavu-mono (2.37-8) ... 317s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 317s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 317s Setting up ocaml-base (5.2.0-3) ... 317s Setting up fonts-dejavu-core (2.37-8) ... 317s Setting up libjpeg-turbo8:ppc64el (2.1.5-3ubuntu2) ... 317s Setting up libwebp7:ppc64el (1.5.0-0.1) ... 317s Setting up libubsan1:ppc64el (14.2.0-17ubuntu1) ... 317s Setting up at-spi2-common (2.55.2-1) ... 317s Setting up libasan8:ppc64el (14.2.0-17ubuntu1) ... 317s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 317s Setting up libharfbuzz0b:ppc64el (10.2.0-1) ... 317s Setting up libthai-data (0.1.29-2build1) ... 317s Setting up libwayland-egl1:ppc64el (1.23.1-1) ... 317s Setting up libtsan2:ppc64el (14.2.0-17ubuntu1) ... 317s Setting up libisl23:ppc64el (0.27-1) ... 317s Setting up libxcomposite1:ppc64el (1:0.4.6-1) ... 317s Setting up libcc1-0:ppc64el (14.2.0-17ubuntu1) ... 317s Setting up liblsan0:ppc64el (14.2.0-17ubuntu1) ... 317s Setting up libitm1:ppc64el (14.2.0-17ubuntu1) ... 317s Setting up libwayland-client0:ppc64el (1.23.1-1) ... 317s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 317s Setting up libatk1.0-0t64:ppc64el (2.55.2-1) ... 317s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 317s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ... 317s Setting up libxcursor1:ppc64el (1:1.2.3-1) ... 317s Setting up libavahi-common3:ppc64el (0.8-14ubuntu1) ... 317s Setting up dconf-service (0.40.0-5) ... 317s Setting up libthai0:ppc64el (0.1.29-2build1) ... 317s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 317s Setting up ocaml-interp (5.2.0-3) ... 317s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 317s Setting up cpp-14 (14.2.0-17ubuntu1) ... 317s Setting up libtiff6:ppc64el (4.5.1+git230720-4ubuntu4) ... 317s Setting up libwayland-cursor0:ppc64el (1.23.1-1) ... 317s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-2) ... 317s Setting up libfontconfig1:ppc64el (2.15.0-1.1ubuntu2) ... 317s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 317s Setting up libavahi-client3:ppc64el (0.8-14ubuntu1) ... 317s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 317s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 317s Setting up libatk-bridge2.0-0t64:ppc64el (2.55.2-1) ... 317s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 317s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 319s Regenerating fonts cache... done. 319s Setting up dconf-gsettings-backend:ppc64el (0.40.0-5) ... 319s Setting up libpango-1.0-0:ppc64el (1.56.1-1) ... 319s Setting up libcairo2:ppc64el (1.18.2-2) ... 319s Setting up gcc-14 (14.2.0-17ubuntu1) ... 319s Setting up adwaita-icon-theme (48~beta-3) ... 319s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 319s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 319s Setting up cpp (4:14.2.0-1ubuntu1) ... 319s Setting up libcairo-gobject2:ppc64el (1.18.2-2) ... 319s Setting up libpangoft2-1.0-0:ppc64el (1.56.1-1) ... 319s Setting up libcups2t64:ppc64el (2.4.11-0ubuntu2) ... 319s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 319s Setting up libpangocairo-1.0-0:ppc64el (1.56.1-1) ... 319s Setting up libcairo2-ocaml (0.6.5-2) ... 319s Setting up gcc (4:14.2.0-1ubuntu1) ... 319s Setting up ocaml (5.2.0-3) ... 319s Processing triggers for libc-bin (2.41-1ubuntu1) ... 319s Processing triggers for man-db (2.13.0-1) ... 320s Processing triggers for libglib2.0-0t64:ppc64el (2.83.3-2) ... 320s Setting up libgtk-3-0t64:ppc64el (3.24.48-3ubuntu1) ... 320s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 320s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-3) ... 320s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 320s Setting up why3 (1.7.2-2build1) ... 320s Processing triggers for libc-bin (2.41-1ubuntu1) ... 325s autopkgtest [09:45:09]: test why3+spass: [----------------------- 326s autopkgtest [09:45:10]: test why3+spass: -----------------------] 326s autopkgtest [09:45:10]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 326s why3+spass PASS 327s autopkgtest [09:45:11]: test why3+z3: preparing testbed 441s autopkgtest [09:47:05]: testbed dpkg architecture: ppc64el 441s autopkgtest [09:47:05]: testbed apt version: 2.9.28 442s autopkgtest [09:47:06]: @@@@@@@@@@@@@@@@@@@@ test bed setup 442s autopkgtest [09:47:06]: testbed release detected to be: plucky 443s autopkgtest [09:47:07]: updating testbed package index (apt update) 443s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 443s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 443s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 443s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 443s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [74.8 kB] 443s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 443s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 443s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [807 kB] 444s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [156 kB] 444s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 444s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [909 kB] 444s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [4220 B] 444s Fetched 2079 kB in 1s (1958 kB/s) 445s Reading package lists... 446s Reading package lists... 446s Building dependency tree... 446s Reading state information... 447s Calculating upgrade... 447s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 447s Reading package lists... 447s Building dependency tree... 447s Reading state information... 448s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 448s autopkgtest [09:47:12]: upgrading testbed (apt dist-upgrade and autopurge) 448s Reading package lists... 448s Building dependency tree... 448s Reading state information... 449s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 449s Starting 2 pkgProblemResolver with broken count: 0 449s Done 450s Entering ResolveByKeep 450s 450s The following packages will be upgraded: 450s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 450s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 450s Need to get 11.7 MB of archives. 450s After this operation, 358 kB of additional disk space will be used. 450s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc-dev-bin ppc64el 2.41-1ubuntu1 [25.3 kB] 451s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc6-dev ppc64el 2.41-1ubuntu1 [2046 kB] 451s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el locales all 2.41-1ubuntu1 [4246 kB] 451s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc6 ppc64el 2.41-1ubuntu1 [3243 kB] 451s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc-bin ppc64el 2.41-1ubuntu1 [742 kB] 451s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el iproute2 ppc64el 6.13.0-1ubuntu1 [1419 kB] 452s Preconfiguring packages ... 452s Fetched 11.7 MB in 1s (10.2 MB/s) 453s (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 ... 106311 files and directories currently installed.) 453s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_ppc64el.deb ... 453s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 453s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_ppc64el.deb ... 453s Unpacking libc6-dev:ppc64el (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 453s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 453s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 453s Preparing to unpack .../libc6_2.41-1ubuntu1_ppc64el.deb ... 454s Checking for services that may need to be restarted... 454s Checking init scripts... 454s Checking for services that may need to be restarted... 454s Checking init scripts... 454s Stopping some services possibly affected by the upgrade (will be restarted later): 454s cron: stopping...done. 454s 454s Unpacking libc6:ppc64el (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 454s Setting up libc6:ppc64el (2.41-1ubuntu1) ... 454s Checking for services that may need to be restarted... 454s Checking init scripts... 454s Restarting services possibly affected by the upgrade: 454s cron: restarting...done. 454s 454s Services restarted successfully. 455s (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 ... 106312 files and directories currently installed.) 455s Preparing to unpack .../libc-bin_2.41-1ubuntu1_ppc64el.deb ... 455s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 455s Setting up libc-bin (2.41-1ubuntu1) ... 455s (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 ... 106312 files and directories currently installed.) 455s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_ppc64el.deb ... 455s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 455s Setting up iproute2 (6.13.0-1ubuntu1) ... 456s Setting up locales (2.41-1ubuntu1) ... 456s Installing new version of config file /etc/locale.alias ... 456s Generating locales (this might take a while)... 458s en_US.UTF-8... done 458s Generation complete. 458s Setting up libc-dev-bin (2.41-1ubuntu1) ... 458s Setting up libc6-dev:ppc64el (2.41-1ubuntu1) ... 458s Processing triggers for man-db (2.13.0-1) ... 460s Processing triggers for systemd (257.2-3ubuntu1) ... 461s Reading package lists... 461s Building dependency tree... 461s Reading state information... 462s Starting pkgProblemResolver with broken count: 0 462s Starting 2 pkgProblemResolver with broken count: 0 462s Done 462s 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: 1 465s Starting 2 pkgProblemResolver with broken count: 1 465s Investigating (0) satisfy:command-line:ppc64el < none -> 1 @un puN Ib > 465s Broken satisfy:command-line:ppc64el Depends on why3:ppc64el < none | 1.7.2-2build1 @un uH > 465s Considering why3:ppc64el 1 as a solution to satisfy:command-line:ppc64el 9998 465s Re-Instated fonts-dejavu-mono:ppc64el 465s Re-Instated fonts-dejavu-core:ppc64el 465s Re-Instated fontconfig-config:ppc64el 465s Re-Instated libfontconfig1:ppc64el 465s Re-Instated libpixman-1-0:ppc64el 465s Re-Instated libxcb-render0:ppc64el 465s Re-Instated libxcb-shm0:ppc64el 465s Re-Instated libxrender1:ppc64el 465s Re-Instated libcairo2:ppc64el 465s Re-Instated libgdk-pixbuf2.0-common:ppc64el 465s Re-Instated libjpeg-turbo8:ppc64el 465s Re-Instated libjpeg8:ppc64el 465s Re-Instated libdeflate0:ppc64el 465s Re-Instated libjbig0:ppc64el 465s Re-Instated liblerc4:ppc64el 465s Re-Instated libsharpyuv0:ppc64el 465s Re-Instated libwebp7:ppc64el 465s Re-Instated libtiff6:ppc64el 465s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 465s Re-Instated gtk-update-icon-cache:ppc64el 465s Re-Instated hicolor-icon-theme:ppc64el 465s Re-Instated adwaita-icon-theme:ppc64el 465s Re-Instated at-spi2-common:ppc64el 465s Re-Instated libatk1.0-0t64:ppc64el 465s Re-Instated libxi6:ppc64el 465s Re-Instated libatspi2.0-0t64:ppc64el 465s Re-Instated libatk-bridge2.0-0t64:ppc64el 465s Re-Instated libcairo-gobject2:ppc64el 465s Re-Instated liblcms2-2:ppc64el 465s Re-Instated libcolord2:ppc64el 465s Re-Instated libavahi-common-data:ppc64el 465s Re-Instated libavahi-common3:ppc64el 465s Re-Instated libavahi-client3:ppc64el 465s Re-Instated libcups2t64:ppc64el 465s Re-Instated libepoxy0:ppc64el 465s Re-Instated libgraphite2-3:ppc64el 465s Re-Instated libharfbuzz0b:ppc64el 465s Re-Instated fontconfig:ppc64el 465s Re-Instated libthai-data:ppc64el 465s Re-Instated libdatrie1:ppc64el 465s Re-Instated libthai0:ppc64el 465s Re-Instated libpango-1.0-0:ppc64el 465s Re-Instated libpangoft2-1.0-0:ppc64el 465s Re-Instated libpangocairo-1.0-0:ppc64el 465s Re-Instated libwayland-client0:ppc64el 465s Re-Instated libwayland-cursor0:ppc64el 465s Re-Instated libwayland-egl1:ppc64el 465s Re-Instated libxcomposite1:ppc64el 465s Re-Instated libxfixes3:ppc64el 465s Re-Instated libxcursor1:ppc64el 465s Re-Instated libxdamage1:ppc64el 465s Re-Instated libxinerama1:ppc64el 465s Re-Instated libxrandr2:ppc64el 465s Re-Instated libdconf1:ppc64el 465s Re-Instated dconf-service:ppc64el 465s Re-Instated dconf-gsettings-backend:ppc64el 465s Re-Instated libgtk-3-common:ppc64el 465s Re-Instated libgtk-3-0t64:ppc64el 465s Re-Instated libgtksourceview-3.0-common:ppc64el 465s Re-Instated libgtksourceview-3.0-1:ppc64el 465s Re-Instated libstdlib-ocaml:ppc64el 465s Re-Instated ocaml-base:ppc64el 465s Re-Instated libcairo2-ocaml:ppc64el 465s Re-Instated liblablgtk3-ocaml:ppc64el 465s Re-Instated liblablgtksourceview3-ocaml:ppc64el 465s Re-Instated tex-common:ppc64el 465s Re-Instated why3:ppc64el 465s Broken satisfy:command-line:ppc64el Depends on z3:ppc64el < none | 4.13.3-1 @un uH > (< 4.11.1) 465s Broken satisfy:command-line:ppc64el Depends on ocaml-native-compilers:ppc64el < none @un H > 465s Considering ocaml:ppc64el 0 as a solution to satisfy:command-line:ppc64el 9998 465s Re-Instated libstdlib-ocaml-dev:ppc64el 465s Re-Instated libcompiler-libs-ocaml-dev:ppc64el 465s Re-Instated ocaml-interp:ppc64el 465s Re-Instated libncurses-dev:ppc64el 465s Re-Instated libisl23:ppc64el 465s Re-Instated libmpc3:ppc64el 465s Re-Instated cpp-14-powerpc64le-linux-gnu:ppc64el 465s Re-Instated cpp-14:ppc64el 465s Re-Instated cpp-powerpc64le-linux-gnu:ppc64el 465s Re-Instated cpp:ppc64el 465s Re-Instated libcc1-0:ppc64el 465s Re-Instated libgomp1:ppc64el 465s Re-Instated libitm1:ppc64el 465s Re-Instated libasan8:ppc64el 465s Re-Instated liblsan0:ppc64el 465s Re-Instated libtsan2:ppc64el 465s Re-Instated libubsan1:ppc64el 465s Re-Instated libquadmath0:ppc64el 465s Re-Instated libgcc-14-dev:ppc64el 465s Re-Instated gcc-14-powerpc64le-linux-gnu:ppc64el 465s Re-Instated gcc-14:ppc64el 465s Re-Instated gcc-powerpc64le-linux-gnu:ppc64el 465s Re-Instated gcc:ppc64el 465s Re-Instated libzstd-dev:ppc64el 465s Re-Instated ocaml:ppc64el 465s Done 465s Some packages could not be installed. This may mean that you have 465s requested an impossible situation or if you are using the unstable 465s distribution that some required packages have not yet been created 465s or been moved out of Incoming. 465s The following information may help to resolve the situation: 465s 465s The following packages have unmet dependencies: 465s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 465s E: Unable to correct problems, you have held broken packages. 465s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 466s Reading package lists... 466s Building dependency tree... 466s Reading state information... 466s Starting pkgProblemResolver with broken count: 1 466s Starting 2 pkgProblemResolver with broken count: 1 466s Investigating (0) satisfy:command-line:ppc64el < none -> 1 @un puN Ib > 466s Broken satisfy:command-line:ppc64el Depends on why3:ppc64el < none | 1.8.0-2 @un uH > 466s Considering why3:ppc64el 1 as a solution to satisfy:command-line:ppc64el 9998 466s Re-Instated fonts-dejavu-mono:ppc64el 466s Re-Instated fonts-dejavu-core:ppc64el 466s Re-Instated fontconfig-config:ppc64el 466s Re-Instated libfontconfig1:ppc64el 466s Re-Instated libpixman-1-0:ppc64el 466s Re-Instated libxcb-render0:ppc64el 466s Re-Instated libxcb-shm0:ppc64el 466s Re-Instated libxrender1:ppc64el 466s Re-Instated libcairo2:ppc64el 466s Re-Instated libgdk-pixbuf2.0-common:ppc64el 466s Re-Instated libjpeg-turbo8:ppc64el 466s Re-Instated libjpeg8:ppc64el 466s Re-Instated libdeflate0:ppc64el 466s Re-Instated libjbig0:ppc64el 466s Re-Instated liblerc4:ppc64el 466s Re-Instated libsharpyuv0:ppc64el 466s Re-Instated libwebp7:ppc64el 466s Re-Instated libtiff6:ppc64el 466s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 466s Re-Instated gtk-update-icon-cache:ppc64el 466s Re-Instated hicolor-icon-theme:ppc64el 466s Re-Instated adwaita-icon-theme:ppc64el 466s Re-Instated at-spi2-common:ppc64el 466s Re-Instated libatk1.0-0t64:ppc64el 466s Re-Instated libxi6:ppc64el 466s Re-Instated libatspi2.0-0t64:ppc64el 466s Re-Instated libatk-bridge2.0-0t64:ppc64el 466s Re-Instated libcairo-gobject2:ppc64el 466s Re-Instated liblcms2-2:ppc64el 466s Re-Instated libcolord2:ppc64el 466s Re-Instated libavahi-common-data:ppc64el 466s Re-Instated libavahi-common3:ppc64el 466s Re-Instated libavahi-client3:ppc64el 466s Re-Instated libcups2t64:ppc64el 466s Re-Instated libepoxy0:ppc64el 466s Re-Instated libgraphite2-3:ppc64el 466s Re-Instated libharfbuzz0b:ppc64el 466s Re-Instated fontconfig:ppc64el 466s Re-Instated libthai-data:ppc64el 466s Re-Instated libdatrie1:ppc64el 466s Re-Instated libthai0:ppc64el 466s Re-Instated libpango-1.0-0:ppc64el 466s Re-Instated libpangoft2-1.0-0:ppc64el 466s Re-Instated libpangocairo-1.0-0:ppc64el 466s Re-Instated libwayland-client0:ppc64el 466s Re-Instated libwayland-cursor0:ppc64el 466s Re-Instated libwayland-egl1:ppc64el 466s Re-Instated libxcomposite1:ppc64el 466s Re-Instated libxfixes3:ppc64el 466s Re-Instated libxcursor1:ppc64el 466s Re-Instated libxdamage1:ppc64el 466s Re-Instated libxinerama1:ppc64el 466s Re-Instated libxrandr2:ppc64el 466s Re-Instated libdconf1:ppc64el 466s Re-Instated dconf-service:ppc64el 466s Re-Instated dconf-gsettings-backend:ppc64el 466s Re-Instated libgtk-3-common:ppc64el 466s Re-Instated libgtk-3-0t64:ppc64el 466s Re-Instated libgtksourceview-3.0-common:ppc64el 466s Re-Instated libgtksourceview-3.0-1:ppc64el 466s Re-Instated libstdlib-ocaml:ppc64el 466s Re-Instated ocaml-base:ppc64el 466s Re-Instated libcairo2-ocaml:ppc64el 466s Re-Instated liblablgtk3-ocaml:ppc64el 466s Re-Instated liblablgtksourceview3-ocaml:ppc64el 466s Re-Instated tex-common:ppc64el 466s Re-Instated why3:ppc64el 466s Broken satisfy:command-line:ppc64el Depends on z3:ppc64el < none | 4.13.3-1 @un uH > (< 4.11.1) 466s Broken satisfy:command-line:ppc64el Depends on ocaml-native-compilers:ppc64el < none @un H > 466s Considering ocaml:ppc64el 0 as a solution to satisfy:command-line:ppc64el 9998 466s Re-Instated libstdlib-ocaml-dev:ppc64el 466s Re-Instated libcompiler-libs-ocaml-dev:ppc64el 466s Re-Instated ocaml-interp:ppc64el 466s Re-Instated libncurses-dev:ppc64el 466s Re-Instated libisl23:ppc64el 466s Re-Instated libmpc3:ppc64el 466s Re-Instated cpp-14-powerpc64le-linux-gnu:ppc64el 466s Re-Instated cpp-14:ppc64el 466s Re-Instated cpp-powerpc64le-linux-gnu:ppc64el 466s Re-Instated cpp:ppc64el 466s Re-Instated gcc-15-base:ppc64el 466s Re-Instated libcc1-0:ppc64el 466s Re-Instated libgomp1:ppc64el 466s Re-Instated libitm1:ppc64el 466s Re-Instated libasan8:ppc64el 466s Re-Instated liblsan0:ppc64el 466s Re-Instated libtsan2:ppc64el 466s Re-Instated libubsan1:ppc64el 466s Re-Instated libquadmath0:ppc64el 466s Re-Instated libgcc-14-dev:ppc64el 466s Re-Instated gcc-14-powerpc64le-linux-gnu:ppc64el 466s Re-Instated gcc-14:ppc64el 466s Re-Instated gcc-powerpc64le-linux-gnu:ppc64el 466s Re-Instated gcc:ppc64el 466s Re-Instated libzstd-dev:ppc64el 466s Re-Instated ocaml:ppc64el 466s Done 466s Some packages could not be installed. This may mean that you have 466s requested an impossible situation or if you are using the unstable 466s distribution that some required packages have not yet been created 466s or been moved out of Incoming. 466s The following information may help to resolve the situation: 466s 466s The following packages have unmet dependencies: 467s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 467s E: Unable to correct problems, you have held broken packages. 467s why3+z3 SKIP installation fails and skip-not-installable set 467s autopkgtest [09:47:31]: @@@@@@@@@@@@@@@@@@@@ summary 467s why3+cvc4 PASS 467s why3+spass PASS 467s why3+z3 SKIP installation fails and skip-not-installable set 471s nova [W] Using flock in prodstack6-ppc64el 471s Creating nova instance adt-plucky-ppc64el-why3-20250216-093944-juju-7f2275-prod-proposed-migration-environment-20-c46700d2-ddbe-4f0f-8b1e-6065419768b8 from image adt/ubuntu-plucky-ppc64el-server-20250216.img (UUID 9f429617-9b5a-4215-a0f8-06b5a634d22b)... 471s nova [W] Timed out waiting for be1b7c1d-e3fd-4f15-a689-82e0d018f94a to get deleted. 471s nova [W] Using flock in prodstack6-ppc64el 471s flock: timeout while waiting to get lock 471s Creating nova instance adt-plucky-ppc64el-why3-20250216-093944-juju-7f2275-prod-proposed-migration-environment-20-c46700d2-ddbe-4f0f-8b1e-6065419768b8 from image adt/ubuntu-plucky-ppc64el-server-20250216.img (UUID 9f429617-9b5a-4215-a0f8-06b5a634d22b)... 471s nova [W] Timed out waiting for 42f10f1b-a524-447f-ba9d-4f76b77bbb71 to get deleted. 471s nova [W] Using flock in prodstack6-ppc64el 471s Creating nova instance adt-plucky-ppc64el-why3-20250216-093944-juju-7f2275-prod-proposed-migration-environment-20-c46700d2-ddbe-4f0f-8b1e-6065419768b8 from image adt/ubuntu-plucky-ppc64el-server-20250216.img (UUID 9f429617-9b5a-4215-a0f8-06b5a634d22b)... 471s nova [W] Timed out waiting for 5aefdab8-2e1c-4897-a48b-7feafd595f81 to get deleted.