0s autopkgtest [01:27:42]: starting date and time: 2024-07-13 01:27:42+0000 0s autopkgtest [01:27:42]: git checkout: fd3bed09 nova: allow more retries for quota issues 0s autopkgtest [01:27:42]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.gf7c8nld/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.39-3.1ubuntu3 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-3@bos02-ppc64el-14.secgroup --name adt-oracular-ppc64el-why3-20240713-012742-juju-7f2275-prod-proposed-migration-environment-3-6f86fdd5-5477-4e8c-af39-59f5b7c052a4 --image adt/ubuntu-oracular-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-3 --net-id=net_prod-proposed-migration -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'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 133s autopkgtest [01:29:55]: testbed dpkg architecture: ppc64el 133s autopkgtest [01:29:55]: testbed apt version: 2.9.6 133s autopkgtest [01:29:55]: @@@@@@@@@@@@@@@@@@@@ test bed setup 134s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 134s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [366 kB] 135s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 135s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [3860 B] 135s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [48.2 kB] 135s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el Packages [92.7 kB] 135s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el c-n-f Metadata [2116 B] 135s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el Packages [1368 B] 135s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el c-n-f Metadata [120 B] 135s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el Packages [423 kB] 135s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el c-n-f Metadata [8952 B] 135s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el Packages [2088 B] 135s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el c-n-f Metadata [120 B] 136s Fetched 1083 kB in 1s (1299 kB/s) 136s Reading package lists... 139s Reading package lists... 139s Building dependency tree... 139s Reading state information... 139s Calculating upgrade... 139s The following packages will be upgraded: 139s libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales 139s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 139s Need to get 10.1 MB of archives. 139s After this operation, 1843 kB disk space will be freed. 139s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-devtools ppc64el 2.39-3.1ubuntu3 [29.5 kB] 139s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6-dev ppc64el 2.39-3.1ubuntu3 [1982 kB] 140s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-dev-bin ppc64el 2.39-3.1ubuntu3 [21.0 kB] 140s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6 ppc64el 2.39-3.1ubuntu3 [3174 kB] 140s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-bin ppc64el 2.39-3.1ubuntu3 [720 kB] 140s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el locales all 2.39-3.1ubuntu3 [4220 kB] 140s Preconfiguring packages ... 140s Fetched 10.1 MB in 1s (10.9 MB/s) 141s (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 ... 72754 files and directories currently installed.) 141s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_ppc64el.deb ... 141s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 141s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_ppc64el.deb ... 141s Unpacking libc6-dev:ppc64el (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 141s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_ppc64el.deb ... 141s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 141s Preparing to unpack .../libc6_2.39-3.1ubuntu3_ppc64el.deb ... 141s Unpacking libc6:ppc64el (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 141s Setting up libc6:ppc64el (2.39-3.1ubuntu3) ... 141s Error: Could not restart systemd, systemd binary not working 141s (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 ... 72754 files and directories currently installed.) 141s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_ppc64el.deb ... 141s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 141s Setting up libc-bin (2.39-3.1ubuntu3) ... 141s (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 ... 72754 files and directories currently installed.) 141s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 141s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 142s Setting up locales (2.39-3.1ubuntu3) ... 142s Generating locales (this might take a while)... 143s en_US.UTF-8... done 143s Generation complete. 143s Setting up libc-dev-bin (2.39-3.1ubuntu3) ... 143s Setting up libc-devtools (2.39-3.1ubuntu3) ... 143s Setting up libc6-dev:ppc64el (2.39-3.1ubuntu3) ... 144s Processing triggers for man-db (2.12.1-2) ... 145s Processing triggers for systemd (256-1ubuntu1) ... 145s Reading package lists... 146s Building dependency tree... 146s Reading state information... 146s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 146s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 146s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 146s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 146s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 147s Reading package lists... 147s Reading package lists... 147s Building dependency tree... 147s Reading state information... 148s Calculating upgrade... 148s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 148s Reading package lists... 148s Building dependency tree... 148s Reading state information... 148s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 151s autopkgtest [01:30:13]: testbed running kernel: Linux 6.8.0-31-generic #31-Ubuntu SMP Sat Apr 20 00:05:55 UTC 2024 151s autopkgtest [01:30:13]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 155s Get:1 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (dsc) [2749 B] 155s Get:2 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (tar) [6850 kB] 155s Get:3 http://ftpmaster.internal/ubuntu oracular/universe why3 1.6.0-1build7 (diff) [18.6 kB] 155s gpgv: Signature made Mon Apr 1 04:40:36 2024 UTC 155s gpgv: using RSA key A089FB36AAFBDAD5ACC1325069F790171A210984 155s gpgv: Can't check signature: No public key 155s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build7.dsc: no acceptable signature found 156s autopkgtest [01:30:18]: testing package why3 version 1.6.0-1build7 156s autopkgtest [01:30:18]: build not needed 158s autopkgtest [01:30:20]: test why3+alt-ergo: preparing testbed 159s Reading package lists... 159s Building dependency tree... 159s Reading state information... 159s Starting pkgProblemResolver with broken count: 1 159s Starting 2 pkgProblemResolver with broken count: 1 159s Investigating (0) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib > 159s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build7 @un uH > 159s Considering why3:ppc64el 1 as a solution to autopkgtest-satdep:ppc64el 9998 159s Re-Instated libpixman-1-0:ppc64el 159s Re-Instated libxcb-render0:ppc64el 159s Re-Instated libxcb-shm0:ppc64el 159s Re-Instated libxrender1:ppc64el 159s Re-Instated libcairo2:ppc64el 159s Re-Instated libgdk-pixbuf2.0-common:ppc64el 159s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 159s Re-Instated gtk-update-icon-cache:ppc64el 159s Re-Instated hicolor-icon-theme:ppc64el 159s Re-Instated humanity-icon-theme:ppc64el 159s Re-Instated ubuntu-mono:ppc64el 159s Re-Instated adwaita-icon-theme:ppc64el 159s Re-Instated at-spi2-common:ppc64el 159s Re-Instated libatk1.0-0t64:ppc64el 159s Re-Instated libxi6:ppc64el 159s Re-Instated libatspi2.0-0t64:ppc64el 159s Re-Instated libatk-bridge2.0-0t64:ppc64el 159s Re-Instated libcairo-gobject2:ppc64el 159s Re-Instated liblcms2-2:ppc64el 159s Re-Instated libcolord2:ppc64el 159s Re-Instated libavahi-common-data:ppc64el 159s Re-Instated libavahi-common3:ppc64el 159s Re-Instated libavahi-client3:ppc64el 159s Re-Instated libcups2t64:ppc64el 159s Re-Instated libepoxy0:ppc64el 159s Re-Instated libgraphite2-3:ppc64el 159s Re-Instated libharfbuzz0b:ppc64el 159s Re-Instated fontconfig:ppc64el 159s Re-Instated libthai-data:ppc64el 159s Re-Instated libdatrie1:ppc64el 159s Re-Instated libthai0:ppc64el 159s Re-Instated libpango-1.0-0:ppc64el 159s Re-Instated libpangoft2-1.0-0:ppc64el 159s Re-Instated libpangocairo-1.0-0:ppc64el 159s Re-Instated libwayland-client0:ppc64el 159s Re-Instated libwayland-cursor0:ppc64el 159s Re-Instated libwayland-egl1:ppc64el 159s Re-Instated libxcomposite1:ppc64el 159s Re-Instated libxfixes3:ppc64el 159s Re-Instated libxcursor1:ppc64el 159s Re-Instated libxdamage1:ppc64el 159s Re-Instated libxinerama1:ppc64el 159s Re-Instated libxrandr2:ppc64el 159s Re-Instated libdconf1:ppc64el 159s Re-Instated dconf-service:ppc64el 159s Re-Instated dconf-gsettings-backend:ppc64el 159s Re-Instated libgtk-3-common:ppc64el 159s Re-Instated libgtk-3-0t64:ppc64el 159s Re-Instated libgtksourceview-3.0-common:ppc64el 159s Re-Instated libgtksourceview-3.0-1:ppc64el 159s Re-Instated libstdlib-ocaml:ppc64el 159s Re-Instated ocaml-base:ppc64el 159s Re-Instated libcairo2-ocaml:ppc64el 159s Re-Instated liblablgtk3-ocaml:ppc64el 159s Re-Instated liblablgtksourceview3-ocaml:ppc64el 159s Re-Instated tex-common:ppc64el 159s Re-Instated why3:ppc64el 159s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un H > (>= 2.0.0) 159s Done 159s Some packages could not be installed. This may mean that you have 159s requested an impossible situation or if you are using the unstable 159s distribution that some required packages have not yet been created 159s or been moved out of Incoming. 159s The following information may help to resolve the situation: 159s 159s The following packages have unmet dependencies: 159s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 159s E: Unable to correct problems, you have held broken packages. 159s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from oracular-proposed 160s Reading package lists... 160s Building dependency tree... 160s Reading state information... 160s Starting pkgProblemResolver with broken count: 1 160s Starting 2 pkgProblemResolver with broken count: 1 160s Investigating (0) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib > 160s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build7 @un uH > 160s Considering why3:ppc64el 1 as a solution to autopkgtest-satdep:ppc64el 9998 160s Re-Instated libpixman-1-0:ppc64el 160s Re-Instated libxcb-render0:ppc64el 160s Re-Instated libxcb-shm0:ppc64el 160s Re-Instated libxrender1:ppc64el 160s Re-Instated libcairo2:ppc64el 160s Re-Instated libgdk-pixbuf2.0-common:ppc64el 160s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 160s Re-Instated gtk-update-icon-cache:ppc64el 160s Re-Instated hicolor-icon-theme:ppc64el 160s Re-Instated humanity-icon-theme:ppc64el 160s Re-Instated ubuntu-mono:ppc64el 160s Re-Instated adwaita-icon-theme:ppc64el 160s Re-Instated at-spi2-common:ppc64el 160s Re-Instated libatk1.0-0t64:ppc64el 160s Re-Instated libxi6:ppc64el 160s Re-Instated libatspi2.0-0t64:ppc64el 160s Re-Instated libatk-bridge2.0-0t64:ppc64el 160s Re-Instated libcairo-gobject2:ppc64el 160s Re-Instated liblcms2-2:ppc64el 160s Re-Instated libcolord2:ppc64el 160s Re-Instated libavahi-common-data:ppc64el 160s Re-Instated libavahi-common3:ppc64el 160s Re-Instated libavahi-client3:ppc64el 160s Re-Instated libcups2t64:ppc64el 160s Re-Instated libepoxy0:ppc64el 160s Re-Instated libgraphite2-3:ppc64el 160s Re-Instated libharfbuzz0b:ppc64el 160s Re-Instated fontconfig:ppc64el 160s Re-Instated libthai-data:ppc64el 160s Re-Instated libdatrie1:ppc64el 160s Re-Instated libthai0:ppc64el 160s Re-Instated libpango-1.0-0:ppc64el 160s Re-Instated libpangoft2-1.0-0:ppc64el 160s Re-Instated libpangocairo-1.0-0:ppc64el 160s Re-Instated libwayland-client0:ppc64el 160s Re-Instated libwayland-cursor0:ppc64el 160s Re-Instated libwayland-egl1:ppc64el 160s Re-Instated libxcomposite1:ppc64el 160s Re-Instated libxfixes3:ppc64el 160s Re-Instated libxcursor1:ppc64el 160s Re-Instated libxdamage1:ppc64el 160s Re-Instated libxinerama1:ppc64el 160s Re-Instated libxrandr2:ppc64el 160s Re-Instated libdconf1:ppc64el 160s Re-Instated dconf-service:ppc64el 160s Re-Instated dconf-gsettings-backend:ppc64el 160s Re-Instated libgtk-3-common:ppc64el 160s Re-Instated libgtk-3-0t64:ppc64el 160s Re-Instated libgtksourceview-3.0-common:ppc64el 160s Re-Instated libgtksourceview-3.0-1:ppc64el 160s Re-Instated libstdlib-ocaml:ppc64el 160s Re-Instated ocaml-base:ppc64el 160s Re-Instated libcairo2-ocaml:ppc64el 160s Re-Instated liblablgtk3-ocaml:ppc64el 160s Re-Instated liblablgtksourceview3-ocaml:ppc64el 160s Re-Instated tex-common:ppc64el 160s Re-Instated why3:ppc64el 160s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un H > (>= 2.0.0) 160s Done 160s Some packages could not be installed. This may mean that you have 160s requested an impossible situation or if you are using the unstable 160s distribution that some required packages have not yet been created 160s or been moved out of Incoming. 160s The following information may help to resolve the situation: 160s 160s The following packages have unmet dependencies: 160s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 160s E: Unable to correct problems, you have held broken packages. 160s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 160s why3+alt-ergo SKIP installation fails and skip-not-installable set 160s autopkgtest [01:30:22]: test why3+cvc4: preparing testbed 310s autopkgtest [01:32:52]: testbed dpkg architecture: ppc64el 310s autopkgtest [01:32:52]: testbed apt version: 2.9.6 310s autopkgtest [01:32:52]: @@@@@@@@@@@@@@@@@@@@ test bed setup 311s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 312s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [48.2 kB] 312s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [366 kB] 312s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [3860 B] 312s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 312s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el Packages [92.7 kB] 312s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el c-n-f Metadata [2116 B] 312s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el Packages [1368 B] 312s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el c-n-f Metadata [120 B] 312s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el Packages [423 kB] 312s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el c-n-f Metadata [8952 B] 312s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el Packages [2088 B] 312s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el c-n-f Metadata [120 B] 314s Fetched 1083 kB in 1s (1174 kB/s) 314s Reading package lists... 316s Reading package lists... 317s Building dependency tree... 317s Reading state information... 317s Calculating upgrade... 317s The following packages will be upgraded: 317s libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales 318s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 318s Need to get 10.1 MB of archives. 318s After this operation, 1843 kB disk space will be freed. 318s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-devtools ppc64el 2.39-3.1ubuntu3 [29.5 kB] 318s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6-dev ppc64el 2.39-3.1ubuntu3 [1982 kB] 318s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-dev-bin ppc64el 2.39-3.1ubuntu3 [21.0 kB] 318s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6 ppc64el 2.39-3.1ubuntu3 [3174 kB] 318s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-bin ppc64el 2.39-3.1ubuntu3 [720 kB] 318s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el locales all 2.39-3.1ubuntu3 [4220 kB] 319s Preconfiguring packages ... 319s Fetched 10.1 MB in 1s (11.2 MB/s) 319s (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 ... 72754 files and directories currently installed.) 319s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_ppc64el.deb ... 319s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 319s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_ppc64el.deb ... 319s Unpacking libc6-dev:ppc64el (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 319s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_ppc64el.deb ... 319s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 319s Preparing to unpack .../libc6_2.39-3.1ubuntu3_ppc64el.deb ... 319s Unpacking libc6:ppc64el (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 320s Setting up libc6:ppc64el (2.39-3.1ubuntu3) ... 320s Error: Could not restart systemd, systemd binary not working 320s (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 ... 72754 files and directories currently installed.) 320s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_ppc64el.deb ... 320s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 320s Setting up libc-bin (2.39-3.1ubuntu3) ... 320s (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 ... 72754 files and directories currently installed.) 320s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 320s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 320s Setting up locales (2.39-3.1ubuntu3) ... 321s Generating locales (this might take a while)... 323s en_US.UTF-8... done 323s Generation complete. 323s Setting up libc-dev-bin (2.39-3.1ubuntu3) ... 323s Setting up libc-devtools (2.39-3.1ubuntu3) ... 323s Setting up libc6-dev:ppc64el (2.39-3.1ubuntu3) ... 323s Processing triggers for man-db (2.12.1-2) ... 324s Processing triggers for systemd (256-1ubuntu1) ... 325s Reading package lists... 326s Building dependency tree... 326s Reading state information... 326s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 327s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 327s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 327s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 327s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 328s Reading package lists... 328s Reading package lists... 328s Building dependency tree... 328s Reading state information... 329s Calculating upgrade... 329s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 329s Reading package lists... 329s Building dependency tree... 329s Reading state information... 329s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 334s Reading package lists... 334s Building dependency tree... 334s Reading state information... 334s Starting pkgProblemResolver with broken count: 0 334s Starting 2 pkgProblemResolver with broken count: 0 334s Done 335s The following additional packages will be installed: 335s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 335s fontconfig gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 335s libantlr3c-3.4-0 libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 335s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 335s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2t64 libcvc4-7 335s libcvc4parser7 libdatrie1 libdconf1 libepoxy0 libgdk-pixbuf-2.0-0 335s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 libgtk-3-common 335s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b 335s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 335s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml 335s libthai-data libthai0 libwayland-client0 libwayland-cursor0 libwayland-egl1 335s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 335s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 335s why3 335s Suggested packages: 335s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 335s Recommended packages: 335s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 335s The following NEW packages will be installed: 335s adwaita-icon-theme at-spi2-common autopkgtest-satdep cvc4 335s dconf-gsettings-backend dconf-service fontconfig gtk-update-icon-cache 335s hicolor-icon-theme humanity-icon-theme libantlr3c-3.4-0 335s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 335s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 335s libcairo2-ocaml libcln6 libcolord2 libcups2t64 libcvc4-7 libcvc4parser7 335s libdatrie1 libdconf1 libepoxy0 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 335s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 335s libgtksourceview-3.0-common libharfbuzz0b liblablgtk3-ocaml 335s liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 335s libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml libthai-data libthai0 335s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 335s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 335s libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 335s 0 upgraded, 63 newly installed, 0 to remove and 0 not upgraded. 335s Need to get 37.1 MB/37.1 MB of archives. 335s After this operation, 177 MB of additional disk space will be used. 335s Get:1 /tmp/autopkgtest.Po2OKW/2-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [716 B] 335s Get:2 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B] 335s Get:3 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-1 [186 kB] 335s Get:4 http://ftpmaster.internal/ubuntu oracular/main ppc64el gtk-update-icon-cache ppc64el 3.24.43-1ubuntu1 [54.5 kB] 335s Get:5 http://ftpmaster.internal/ubuntu oracular/main ppc64el hicolor-icon-theme all 0.18-1 [13.5 kB] 335s Get:6 http://ftpmaster.internal/ubuntu oracular/main ppc64el humanity-icon-theme all 0.6.16 [1282 kB] 335s Get:7 http://ftpmaster.internal/ubuntu oracular/main ppc64el ubuntu-mono all 24.04-0ubuntu1 [151 kB] 335s Get:8 http://ftpmaster.internal/ubuntu oracular/main ppc64el adwaita-icon-theme all 46.0-1 [723 kB] 335s Get:9 http://ftpmaster.internal/ubuntu oracular/main ppc64el at-spi2-common all 2.52.0-1build1 [8674 B] 335s Get:10 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 335s Get:11 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcvc4-7 ppc64el 1.8-3build2 [4746 kB] 336s Get:12 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libantlr3c-3.4-0 ppc64el 3.4+dfsg-4build2 [60.7 kB] 336s Get:13 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcvc4parser7 ppc64el 1.8-3build2 [383 kB] 336s Get:14 http://ftpmaster.internal/ubuntu oracular/universe ppc64el cvc4 ppc64el 1.8-3build2 [76.6 kB] 336s Get:15 http://ftpmaster.internal/ubuntu oracular/main ppc64el libdconf1 ppc64el 0.40.0-4build2 [44.0 kB] 336s Get:16 http://ftpmaster.internal/ubuntu oracular/main ppc64el dconf-service ppc64el 0.40.0-4build2 [31.1 kB] 336s Get:17 http://ftpmaster.internal/ubuntu oracular/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-4build2 [26.5 kB] 336s Get:18 http://ftpmaster.internal/ubuntu oracular/main ppc64el fontconfig ppc64el 2.15.0-1.1ubuntu2 [192 kB] 336s Get:19 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatk1.0-0t64 ppc64el 2.52.0-1build1 [60.4 kB] 336s Get:20 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxi6 ppc64el 2:1.8.1-1build1 [37.9 kB] 336s Get:21 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatspi2.0-0t64 ppc64el 2.52.0-1build1 [98.9 kB] 336s Get:22 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.52.0-1build1 [77.8 kB] 336s Get:23 http://ftpmaster.internal/ubuntu oracular/main ppc64el libavahi-common-data ppc64el 0.8-13ubuntu6 [29.7 kB] 336s Get:24 http://ftpmaster.internal/ubuntu oracular/main ppc64el libavahi-common3 ppc64el 0.8-13ubuntu6 [26.3 kB] 336s Get:25 http://ftpmaster.internal/ubuntu oracular/main ppc64el libavahi-client3 ppc64el 0.8-13ubuntu6 [30.8 kB] 336s Get:26 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpixman-1-0 ppc64el 0.42.2-1build1 [336 kB] 336s Get:27 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 336s Get:28 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 336s Get:29 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 336s Get:30 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcairo2 ppc64el 1.18.0-3build1 [751 kB] 336s Get:31 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcairo-gobject2 ppc64el 1.18.0-3build1 [127 kB] 336s Get:32 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB] 336s Get:33 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB] 336s Get:34 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcairo2-ocaml ppc64el 0.6.4+dfsg-2build2 [27.5 kB] 336s Get:35 http://ftpmaster.internal/ubuntu oracular/main ppc64el liblcms2-2 ppc64el 2.14-2build1 [233 kB] 336s Get:36 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 336s Get:37 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcups2t64 ppc64el 2.4.7-1.2ubuntu9 [345 kB] 336s Get:38 http://ftpmaster.internal/ubuntu oracular/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 336s Get:39 http://ftpmaster.internal/ubuntu oracular/main ppc64el libepoxy0 ppc64el 1.5.10-1build1 [241 kB] 336s Get:40 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 336s Get:41 http://ftpmaster.internal/ubuntu oracular/main ppc64el libharfbuzz0b ppc64el 8.3.0-2build2 [580 kB] 336s Get:42 http://ftpmaster.internal/ubuntu oracular/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 336s Get:43 http://ftpmaster.internal/ubuntu oracular/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 336s Get:44 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpango-1.0-0 ppc64el 1.54.0+ds-1 [270 kB] 336s Get:45 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpangoft2-1.0-0 ppc64el 1.54.0+ds-1 [49.9 kB] 336s Get:46 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpangocairo-1.0-0 ppc64el 1.54.0+ds-1 [30.4 kB] 336s Get:47 http://ftpmaster.internal/ubuntu oracular/main ppc64el libwayland-client0 ppc64el 1.22.0-2.1build1 [29.9 kB] 336s Get:48 http://ftpmaster.internal/ubuntu oracular/main ppc64el libwayland-cursor0 ppc64el 1.22.0-2.1build1 [11.5 kB] 336s Get:49 http://ftpmaster.internal/ubuntu oracular/main ppc64el libwayland-egl1 ppc64el 1.22.0-2.1build1 [5766 B] 336s Get:50 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcomposite1 ppc64el 1:0.4.5-1build3 [6600 B] 336s Get:51 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 336s Get:52 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcursor1 ppc64el 1:1.2.2-1 [26.3 kB] 336s Get:53 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 336s Get:54 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 336s Get:55 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 336s Get:56 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgtk-3-common all 3.24.43-1ubuntu1 [1201 kB] 336s Get:57 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgtk-3-0t64 ppc64el 3.24.43-1ubuntu1 [3334 kB] 336s Get:58 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 336s Get:59 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-2build4 [261 kB] 336s Get:60 http://ftpmaster.internal/ubuntu oracular/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.4-1build3 [4114 kB] 336s Get:61 http://ftpmaster.internal/ubuntu oracular/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.4-1build3 [354 kB] 336s Get:62 http://ftpmaster.internal/ubuntu oracular/universe ppc64el tex-common all 6.18 [32.8 kB] 336s Get:63 http://ftpmaster.internal/ubuntu oracular/universe ppc64el why3 ppc64el 1.6.0-1build7 [14.3 MB] 337s Fetched 37.1 MB in 2s (17.7 MB/s) 337s Selecting previously unselected package libgdk-pixbuf2.0-common. 337s (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 ... 72754 files and directories currently installed.) 337s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... 337s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 337s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 337s Preparing to unpack .../01-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_ppc64el.deb ... 337s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-1) ... 337s Selecting previously unselected package gtk-update-icon-cache. 337s Preparing to unpack .../02-gtk-update-icon-cache_3.24.43-1ubuntu1_ppc64el.deb ... 337s Unpacking gtk-update-icon-cache (3.24.43-1ubuntu1) ... 337s Selecting previously unselected package hicolor-icon-theme. 337s Preparing to unpack .../03-hicolor-icon-theme_0.18-1_all.deb ... 337s Unpacking hicolor-icon-theme (0.18-1) ... 337s Selecting previously unselected package humanity-icon-theme. 337s Preparing to unpack .../04-humanity-icon-theme_0.6.16_all.deb ... 337s Unpacking humanity-icon-theme (0.6.16) ... 338s Selecting previously unselected package ubuntu-mono. 338s Preparing to unpack .../05-ubuntu-mono_24.04-0ubuntu1_all.deb ... 338s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 339s Selecting previously unselected package adwaita-icon-theme. 339s Preparing to unpack .../06-adwaita-icon-theme_46.0-1_all.deb ... 339s Unpacking adwaita-icon-theme (46.0-1) ... 339s Selecting previously unselected package at-spi2-common. 339s Preparing to unpack .../07-at-spi2-common_2.52.0-1build1_all.deb ... 339s Unpacking at-spi2-common (2.52.0-1build1) ... 339s Selecting previously unselected package libcln6:ppc64el. 339s Preparing to unpack .../08-libcln6_1.3.7-1_ppc64el.deb ... 339s Unpacking libcln6:ppc64el (1.3.7-1) ... 339s Selecting previously unselected package libcvc4-7:ppc64el. 339s Preparing to unpack .../09-libcvc4-7_1.8-3build2_ppc64el.deb ... 339s Unpacking libcvc4-7:ppc64el (1.8-3build2) ... 339s Selecting previously unselected package libantlr3c-3.4-0:ppc64el. 339s Preparing to unpack .../10-libantlr3c-3.4-0_3.4+dfsg-4build2_ppc64el.deb ... 339s Unpacking libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 339s Selecting previously unselected package libcvc4parser7:ppc64el. 339s Preparing to unpack .../11-libcvc4parser7_1.8-3build2_ppc64el.deb ... 339s Unpacking libcvc4parser7:ppc64el (1.8-3build2) ... 340s Selecting previously unselected package cvc4. 340s Preparing to unpack .../12-cvc4_1.8-3build2_ppc64el.deb ... 340s Unpacking cvc4 (1.8-3build2) ... 340s Selecting previously unselected package libdconf1:ppc64el. 340s Preparing to unpack .../13-libdconf1_0.40.0-4build2_ppc64el.deb ... 340s Unpacking libdconf1:ppc64el (0.40.0-4build2) ... 340s Selecting previously unselected package dconf-service. 340s Preparing to unpack .../14-dconf-service_0.40.0-4build2_ppc64el.deb ... 340s Unpacking dconf-service (0.40.0-4build2) ... 340s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 340s Preparing to unpack .../15-dconf-gsettings-backend_0.40.0-4build2_ppc64el.deb ... 340s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-4build2) ... 340s Selecting previously unselected package fontconfig. 340s Preparing to unpack .../16-fontconfig_2.15.0-1.1ubuntu2_ppc64el.deb ... 340s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 340s Selecting previously unselected package libatk1.0-0t64:ppc64el. 340s Preparing to unpack .../17-libatk1.0-0t64_2.52.0-1build1_ppc64el.deb ... 340s Unpacking libatk1.0-0t64:ppc64el (2.52.0-1build1) ... 340s Selecting previously unselected package libxi6:ppc64el. 340s Preparing to unpack .../18-libxi6_2%3a1.8.1-1build1_ppc64el.deb ... 340s Unpacking libxi6:ppc64el (2:1.8.1-1build1) ... 340s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 340s Preparing to unpack .../19-libatspi2.0-0t64_2.52.0-1build1_ppc64el.deb ... 340s Unpacking libatspi2.0-0t64:ppc64el (2.52.0-1build1) ... 340s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 340s Preparing to unpack .../20-libatk-bridge2.0-0t64_2.52.0-1build1_ppc64el.deb ... 340s Unpacking libatk-bridge2.0-0t64:ppc64el (2.52.0-1build1) ... 340s Selecting previously unselected package libavahi-common-data:ppc64el. 340s Preparing to unpack .../21-libavahi-common-data_0.8-13ubuntu6_ppc64el.deb ... 340s Unpacking libavahi-common-data:ppc64el (0.8-13ubuntu6) ... 340s Selecting previously unselected package libavahi-common3:ppc64el. 340s Preparing to unpack .../22-libavahi-common3_0.8-13ubuntu6_ppc64el.deb ... 340s Unpacking libavahi-common3:ppc64el (0.8-13ubuntu6) ... 340s Selecting previously unselected package libavahi-client3:ppc64el. 340s Preparing to unpack .../23-libavahi-client3_0.8-13ubuntu6_ppc64el.deb ... 340s Unpacking libavahi-client3:ppc64el (0.8-13ubuntu6) ... 340s Selecting previously unselected package libpixman-1-0:ppc64el. 340s Preparing to unpack .../24-libpixman-1-0_0.42.2-1build1_ppc64el.deb ... 340s Unpacking libpixman-1-0:ppc64el (0.42.2-1build1) ... 340s Selecting previously unselected package libxcb-render0:ppc64el. 340s Preparing to unpack .../25-libxcb-render0_1.17.0-2_ppc64el.deb ... 340s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 340s Selecting previously unselected package libxcb-shm0:ppc64el. 340s Preparing to unpack .../26-libxcb-shm0_1.17.0-2_ppc64el.deb ... 340s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 340s Selecting previously unselected package libxrender1:ppc64el. 340s Preparing to unpack .../27-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 340s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 340s Selecting previously unselected package libcairo2:ppc64el. 340s Preparing to unpack .../28-libcairo2_1.18.0-3build1_ppc64el.deb ... 340s Unpacking libcairo2:ppc64el (1.18.0-3build1) ... 340s Selecting previously unselected package libcairo-gobject2:ppc64el. 340s Preparing to unpack .../29-libcairo-gobject2_1.18.0-3build1_ppc64el.deb ... 340s Unpacking libcairo-gobject2:ppc64el (1.18.0-3build1) ... 340s Selecting previously unselected package libstdlib-ocaml. 340s Preparing to unpack .../30-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ... 340s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 340s Selecting previously unselected package ocaml-base. 340s Preparing to unpack .../31-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ... 340s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 340s Selecting previously unselected package libcairo2-ocaml. 340s Preparing to unpack .../32-libcairo2-ocaml_0.6.4+dfsg-2build2_ppc64el.deb ... 340s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 340s Selecting previously unselected package liblcms2-2:ppc64el. 340s Preparing to unpack .../33-liblcms2-2_2.14-2build1_ppc64el.deb ... 340s Unpacking liblcms2-2:ppc64el (2.14-2build1) ... 340s Selecting previously unselected package libcolord2:ppc64el. 340s Preparing to unpack .../34-libcolord2_1.4.7-1build2_ppc64el.deb ... 340s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 340s Selecting previously unselected package libcups2t64:ppc64el. 340s Preparing to unpack .../35-libcups2t64_2.4.7-1.2ubuntu9_ppc64el.deb ... 340s Unpacking libcups2t64:ppc64el (2.4.7-1.2ubuntu9) ... 340s Selecting previously unselected package libdatrie1:ppc64el. 340s Preparing to unpack .../36-libdatrie1_0.2.13-3build1_ppc64el.deb ... 340s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 340s Selecting previously unselected package libepoxy0:ppc64el. 340s Preparing to unpack .../37-libepoxy0_1.5.10-1build1_ppc64el.deb ... 340s Unpacking libepoxy0:ppc64el (1.5.10-1build1) ... 340s Selecting previously unselected package libgraphite2-3:ppc64el. 340s Preparing to unpack .../38-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 340s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 340s Selecting previously unselected package libharfbuzz0b:ppc64el. 340s Preparing to unpack .../39-libharfbuzz0b_8.3.0-2build2_ppc64el.deb ... 340s Unpacking libharfbuzz0b:ppc64el (8.3.0-2build2) ... 340s Selecting previously unselected package libthai-data. 340s Preparing to unpack .../40-libthai-data_0.1.29-2build1_all.deb ... 340s Unpacking libthai-data (0.1.29-2build1) ... 340s Selecting previously unselected package libthai0:ppc64el. 340s Preparing to unpack .../41-libthai0_0.1.29-2build1_ppc64el.deb ... 340s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 340s Selecting previously unselected package libpango-1.0-0:ppc64el. 340s Preparing to unpack .../42-libpango-1.0-0_1.54.0+ds-1_ppc64el.deb ... 340s Unpacking libpango-1.0-0:ppc64el (1.54.0+ds-1) ... 340s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 340s Preparing to unpack .../43-libpangoft2-1.0-0_1.54.0+ds-1_ppc64el.deb ... 340s Unpacking libpangoft2-1.0-0:ppc64el (1.54.0+ds-1) ... 340s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 340s Preparing to unpack .../44-libpangocairo-1.0-0_1.54.0+ds-1_ppc64el.deb ... 340s Unpacking libpangocairo-1.0-0:ppc64el (1.54.0+ds-1) ... 340s Selecting previously unselected package libwayland-client0:ppc64el. 340s Preparing to unpack .../45-libwayland-client0_1.22.0-2.1build1_ppc64el.deb ... 340s Unpacking libwayland-client0:ppc64el (1.22.0-2.1build1) ... 340s Selecting previously unselected package libwayland-cursor0:ppc64el. 340s Preparing to unpack .../46-libwayland-cursor0_1.22.0-2.1build1_ppc64el.deb ... 340s Unpacking libwayland-cursor0:ppc64el (1.22.0-2.1build1) ... 340s Selecting previously unselected package libwayland-egl1:ppc64el. 340s Preparing to unpack .../47-libwayland-egl1_1.22.0-2.1build1_ppc64el.deb ... 340s Unpacking libwayland-egl1:ppc64el (1.22.0-2.1build1) ... 340s Selecting previously unselected package libxcomposite1:ppc64el. 340s Preparing to unpack .../48-libxcomposite1_1%3a0.4.5-1build3_ppc64el.deb ... 340s Unpacking libxcomposite1:ppc64el (1:0.4.5-1build3) ... 341s Selecting previously unselected package libxfixes3:ppc64el. 341s Preparing to unpack .../49-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 341s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 341s Selecting previously unselected package libxcursor1:ppc64el. 341s Preparing to unpack .../50-libxcursor1_1%3a1.2.2-1_ppc64el.deb ... 341s Unpacking libxcursor1:ppc64el (1:1.2.2-1) ... 341s Selecting previously unselected package libxdamage1:ppc64el. 341s Preparing to unpack .../51-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 341s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 341s Selecting previously unselected package libxinerama1:ppc64el. 341s Preparing to unpack .../52-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 341s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 341s Selecting previously unselected package libxrandr2:ppc64el. 341s Preparing to unpack .../53-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 341s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 341s Selecting previously unselected package libgtk-3-common. 341s Preparing to unpack .../54-libgtk-3-common_3.24.43-1ubuntu1_all.deb ... 341s Unpacking libgtk-3-common (3.24.43-1ubuntu1) ... 341s Selecting previously unselected package libgtk-3-0t64:ppc64el. 341s Preparing to unpack .../55-libgtk-3-0t64_3.24.43-1ubuntu1_ppc64el.deb ... 341s Unpacking libgtk-3-0t64:ppc64el (3.24.43-1ubuntu1) ... 341s Selecting previously unselected package libgtksourceview-3.0-common. 341s Preparing to unpack .../56-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 341s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 341s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 341s Preparing to unpack .../57-libgtksourceview-3.0-1_3.24.11-2build4_ppc64el.deb ... 341s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-2build4) ... 341s Selecting previously unselected package liblablgtk3-ocaml. 341s Preparing to unpack .../58-liblablgtk3-ocaml_3.1.4-1build3_ppc64el.deb ... 341s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 341s Selecting previously unselected package liblablgtksourceview3-ocaml. 341s Preparing to unpack .../59-liblablgtksourceview3-ocaml_3.1.4-1build3_ppc64el.deb ... 341s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 341s Selecting previously unselected package tex-common. 341s Preparing to unpack .../60-tex-common_6.18_all.deb ... 341s Unpacking tex-common (6.18) ... 341s Selecting previously unselected package why3. 341s Preparing to unpack .../61-why3_1.6.0-1build7_ppc64el.deb ... 341s Unpacking why3 (1.6.0-1build7) ... 342s Selecting previously unselected package autopkgtest-satdep. 342s Preparing to unpack .../62-2-autopkgtest-satdep.deb ... 342s Unpacking autopkgtest-satdep (0) ... 342s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 342s Setting up liblcms2-2:ppc64el (2.14-2build1) ... 342s Setting up libpixman-1-0:ppc64el (0.42.2-1build1) ... 342s Setting up libcln6:ppc64el (1.3.7-1) ... 342s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 344s Regenerating fonts cache... done. 344s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 344s Setting up libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build2) ... 344s Setting up hicolor-icon-theme (0.18-1) ... 344s Setting up libxi6:ppc64el (2:1.8.1-1build1) ... 344s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 344s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 344s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 344s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 344s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 344s Setting up libcairo2:ppc64el (1.18.0-3build1) ... 344s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 344s Setting up libdconf1:ppc64el (0.40.0-4build2) ... 344s Setting up tex-common (6.18) ... 344s update-language: texlive-base not installed and configured, doing nothing! 344s Setting up libepoxy0:ppc64el (1.5.10-1build1) ... 344s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 344s Setting up libavahi-common-data:ppc64el (0.8-13ubuntu6) ... 344s Setting up libatspi2.0-0t64:ppc64el (2.52.0-1build1) ... 344s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 344s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 344s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 344s Setting up ocaml-base (4.14.1-1ubuntu1) ... 344s Setting up at-spi2-common (2.52.0-1build1) ... 344s Setting up libcvc4-7:ppc64el (1.8-3build2) ... 344s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 344s Setting up libharfbuzz0b:ppc64el (8.3.0-2build2) ... 344s Setting up libthai-data (0.1.29-2build1) ... 344s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-1) ... 344s Setting up libcairo-gobject2:ppc64el (1.18.0-3build1) ... 344s Setting up libwayland-egl1:ppc64el (1.22.0-2.1build1) ... 344s Setting up libxcomposite1:ppc64el (1:0.4.5-1build3) ... 344s Setting up libwayland-client0:ppc64el (1.22.0-2.1build1) ... 344s Setting up gtk-update-icon-cache (3.24.43-1ubuntu1) ... 344s Setting up libatk1.0-0t64:ppc64el (2.52.0-1build1) ... 344s Setting up libxcursor1:ppc64el (1:1.2.2-1) ... 344s Setting up libavahi-common3:ppc64el (0.8-13ubuntu6) ... 344s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 344s Setting up dconf-service (0.40.0-4build2) ... 344s Setting up libthai0:ppc64el (0.1.29-2build1) ... 344s Setting up libcvc4parser7:ppc64el (1.8-3build2) ... 344s Setting up libwayland-cursor0:ppc64el (1.22.0-2.1build1) ... 344s Setting up cvc4 (1.8-3build2) ... 344s Setting up libavahi-client3:ppc64el (0.8-13ubuntu6) ... 344s Setting up libatk-bridge2.0-0t64:ppc64el (2.52.0-1build1) ... 344s Setting up dconf-gsettings-backend:ppc64el (0.40.0-4build2) ... 344s Setting up libpango-1.0-0:ppc64el (1.54.0+ds-1) ... 344s Setting up libpangoft2-1.0-0:ppc64el (1.54.0+ds-1) ... 344s Setting up libcups2t64:ppc64el (2.4.7-1.2ubuntu9) ... 344s Setting up libgtk-3-common (3.24.43-1ubuntu1) ... 344s Setting up libpangocairo-1.0-0:ppc64el (1.54.0+ds-1) ... 344s Setting up adwaita-icon-theme (46.0-1) ... 344s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 344s Setting up humanity-icon-theme (0.6.16) ... 345s Setting up ubuntu-mono (24.04-0ubuntu1) ... 345s Processing triggers for man-db (2.12.1-2) ... 346s Processing triggers for libglib2.0-0t64:ppc64el (2.80.4-1ubuntu1) ... 346s Setting up libgtk-3-0t64:ppc64el (3.24.43-1ubuntu1) ... 346s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 346s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 346s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-2build4) ... 346s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 346s Setting up why3 (1.6.0-1build7) ... 346s Setting up autopkgtest-satdep (0) ... 346s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 351s (Reading database ... 86715 files and directories currently installed.) 351s Removing autopkgtest-satdep (0) ... 363s autopkgtest [01:33:45]: test why3+cvc4: [----------------------- 364s autopkgtest [01:33:46]: test why3+cvc4: -----------------------] 364s why3+cvc4 PASS 364s autopkgtest [01:33:46]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 365s autopkgtest [01:33:47]: test why3+spass: preparing testbed 464s autopkgtest [01:35:26]: testbed dpkg architecture: ppc64el 465s autopkgtest [01:35:27]: testbed apt version: 2.9.6 465s autopkgtest [01:35:27]: @@@@@@@@@@@@@@@@@@@@ test bed setup 465s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 466s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [48.2 kB] 466s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 466s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [366 kB] 466s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [3860 B] 466s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el Packages [92.7 kB] 466s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el c-n-f Metadata [2116 B] 466s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el Packages [1368 B] 466s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el c-n-f Metadata [120 B] 466s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el Packages [423 kB] 466s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el c-n-f Metadata [8952 B] 466s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el Packages [2088 B] 466s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el c-n-f Metadata [120 B] 468s Fetched 1083 kB in 1s (1348 kB/s) 468s Reading package lists... 470s Reading package lists... 471s Building dependency tree... 471s Reading state information... 471s Calculating upgrade... 471s The following packages will be upgraded: 471s libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales 471s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 471s Need to get 10.1 MB of archives. 471s After this operation, 1843 kB disk space will be freed. 471s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-devtools ppc64el 2.39-3.1ubuntu3 [29.5 kB] 471s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6-dev ppc64el 2.39-3.1ubuntu3 [1982 kB] 472s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-dev-bin ppc64el 2.39-3.1ubuntu3 [21.0 kB] 472s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6 ppc64el 2.39-3.1ubuntu3 [3174 kB] 472s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-bin ppc64el 2.39-3.1ubuntu3 [720 kB] 472s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el locales all 2.39-3.1ubuntu3 [4220 kB] 472s Preconfiguring packages ... 472s Fetched 10.1 MB in 1s (9232 kB/s) 473s (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 ... 72754 files and directories currently installed.) 473s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_ppc64el.deb ... 473s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 473s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_ppc64el.deb ... 473s Unpacking libc6-dev:ppc64el (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 473s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_ppc64el.deb ... 473s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 473s Preparing to unpack .../libc6_2.39-3.1ubuntu3_ppc64el.deb ... 473s Unpacking libc6:ppc64el (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 473s Setting up libc6:ppc64el (2.39-3.1ubuntu3) ... 474s Error: Could not restart systemd, systemd binary not working 474s (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 ... 72754 files and directories currently installed.) 474s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_ppc64el.deb ... 474s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 474s Setting up libc-bin (2.39-3.1ubuntu3) ... 474s (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 ... 72754 files and directories currently installed.) 474s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 474s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 474s Setting up locales (2.39-3.1ubuntu3) ... 475s Generating locales (this might take a while)... 476s en_US.UTF-8... done 476s Generation complete. 476s Setting up libc-dev-bin (2.39-3.1ubuntu3) ... 476s Setting up libc-devtools (2.39-3.1ubuntu3) ... 476s Setting up libc6-dev:ppc64el (2.39-3.1ubuntu3) ... 476s Processing triggers for man-db (2.12.1-2) ... 478s Processing triggers for systemd (256-1ubuntu1) ... 478s Reading package lists... 479s Building dependency tree... 479s Reading state information... 479s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 479s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 479s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 479s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 479s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 481s Reading package lists... 481s Reading package lists... 481s Building dependency tree... 481s Reading state information... 481s Calculating upgrade... 481s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 481s Reading package lists... 481s Building dependency tree... 481s Reading state information... 482s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 485s Reading package lists... 486s Building dependency tree... 486s Reading state information... 486s Starting pkgProblemResolver with broken count: 0 486s Starting 2 pkgProblemResolver with broken count: 0 486s Done 486s The following additional packages will be installed: 486s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 486s fontconfig gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 486s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 486s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 486s libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 libepoxy0 486s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 486s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 486s libharfbuzz0b liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 486s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 486s libstdlib-ocaml libthai-data libthai0 libwayland-client0 libwayland-cursor0 486s libwayland-egl1 libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 486s libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base 486s spass tex-common ubuntu-mono why3 486s Suggested packages: 486s colord cups-common gvfs liblcms2-utils debhelper why3-examples 486s Recommended packages: 486s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 486s The following NEW packages will be installed: 486s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 486s dconf-service fontconfig gtk-update-icon-cache hicolor-icon-theme 486s humanity-icon-theme libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 486s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 486s libcairo2 libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 486s libepoxy0 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 486s libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 486s libgtksourceview-3.0-common libharfbuzz0b liblablgtk3-ocaml 486s liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 486s libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml libthai-data libthai0 486s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 486s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 486s libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common ubuntu-mono 486s why3 486s 0 upgraded, 59 newly installed, 0 to remove and 0 not upgraded. 486s Need to get 31.6 MB/31.6 MB of archives. 486s After this operation, 156 MB of additional disk space will be used. 486s Get:1 /tmp/autopkgtest.Po2OKW/3-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [712 B] 486s Get:2 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B] 486s Get:3 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-1 [186 kB] 487s Get:4 http://ftpmaster.internal/ubuntu oracular/main ppc64el gtk-update-icon-cache ppc64el 3.24.43-1ubuntu1 [54.5 kB] 487s Get:5 http://ftpmaster.internal/ubuntu oracular/main ppc64el hicolor-icon-theme all 0.18-1 [13.5 kB] 487s Get:6 http://ftpmaster.internal/ubuntu oracular/main ppc64el humanity-icon-theme all 0.6.16 [1282 kB] 487s Get:7 http://ftpmaster.internal/ubuntu oracular/main ppc64el ubuntu-mono all 24.04-0ubuntu1 [151 kB] 487s Get:8 http://ftpmaster.internal/ubuntu oracular/main ppc64el adwaita-icon-theme all 46.0-1 [723 kB] 487s Get:9 http://ftpmaster.internal/ubuntu oracular/main ppc64el at-spi2-common all 2.52.0-1build1 [8674 B] 487s Get:10 http://ftpmaster.internal/ubuntu oracular/main ppc64el libdconf1 ppc64el 0.40.0-4build2 [44.0 kB] 487s Get:11 http://ftpmaster.internal/ubuntu oracular/main ppc64el dconf-service ppc64el 0.40.0-4build2 [31.1 kB] 487s Get:12 http://ftpmaster.internal/ubuntu oracular/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-4build2 [26.5 kB] 487s Get:13 http://ftpmaster.internal/ubuntu oracular/main ppc64el fontconfig ppc64el 2.15.0-1.1ubuntu2 [192 kB] 487s Get:14 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatk1.0-0t64 ppc64el 2.52.0-1build1 [60.4 kB] 487s Get:15 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxi6 ppc64el 2:1.8.1-1build1 [37.9 kB] 487s Get:16 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatspi2.0-0t64 ppc64el 2.52.0-1build1 [98.9 kB] 487s Get:17 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.52.0-1build1 [77.8 kB] 487s Get:18 http://ftpmaster.internal/ubuntu oracular/main ppc64el libavahi-common-data ppc64el 0.8-13ubuntu6 [29.7 kB] 487s Get:19 http://ftpmaster.internal/ubuntu oracular/main ppc64el libavahi-common3 ppc64el 0.8-13ubuntu6 [26.3 kB] 487s Get:20 http://ftpmaster.internal/ubuntu oracular/main ppc64el libavahi-client3 ppc64el 0.8-13ubuntu6 [30.8 kB] 487s Get:21 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpixman-1-0 ppc64el 0.42.2-1build1 [336 kB] 487s Get:22 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 487s Get:23 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 487s Get:24 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 487s Get:25 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcairo2 ppc64el 1.18.0-3build1 [751 kB] 487s Get:26 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcairo-gobject2 ppc64el 1.18.0-3build1 [127 kB] 487s Get:27 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB] 487s Get:28 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB] 487s Get:29 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcairo2-ocaml ppc64el 0.6.4+dfsg-2build2 [27.5 kB] 487s Get:30 http://ftpmaster.internal/ubuntu oracular/main ppc64el liblcms2-2 ppc64el 2.14-2build1 [233 kB] 487s Get:31 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 487s Get:32 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcups2t64 ppc64el 2.4.7-1.2ubuntu9 [345 kB] 487s Get:33 http://ftpmaster.internal/ubuntu oracular/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 487s Get:34 http://ftpmaster.internal/ubuntu oracular/main ppc64el libepoxy0 ppc64el 1.5.10-1build1 [241 kB] 487s Get:35 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 487s Get:36 http://ftpmaster.internal/ubuntu oracular/main ppc64el libharfbuzz0b ppc64el 8.3.0-2build2 [580 kB] 487s Get:37 http://ftpmaster.internal/ubuntu oracular/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 487s Get:38 http://ftpmaster.internal/ubuntu oracular/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 487s Get:39 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpango-1.0-0 ppc64el 1.54.0+ds-1 [270 kB] 487s Get:40 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpangoft2-1.0-0 ppc64el 1.54.0+ds-1 [49.9 kB] 487s Get:41 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpangocairo-1.0-0 ppc64el 1.54.0+ds-1 [30.4 kB] 487s Get:42 http://ftpmaster.internal/ubuntu oracular/main ppc64el libwayland-client0 ppc64el 1.22.0-2.1build1 [29.9 kB] 487s Get:43 http://ftpmaster.internal/ubuntu oracular/main ppc64el libwayland-cursor0 ppc64el 1.22.0-2.1build1 [11.5 kB] 487s Get:44 http://ftpmaster.internal/ubuntu oracular/main ppc64el libwayland-egl1 ppc64el 1.22.0-2.1build1 [5766 B] 487s Get:45 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcomposite1 ppc64el 1:0.4.5-1build3 [6600 B] 487s Get:46 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 487s Get:47 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcursor1 ppc64el 1:1.2.2-1 [26.3 kB] 487s Get:48 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 487s Get:49 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 487s Get:50 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 487s Get:51 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgtk-3-common all 3.24.43-1ubuntu1 [1201 kB] 487s Get:52 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgtk-3-0t64 ppc64el 3.24.43-1ubuntu1 [3334 kB] 488s Get:53 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 488s Get:54 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-2build4 [261 kB] 488s Get:55 http://ftpmaster.internal/ubuntu oracular/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.4-1build3 [4114 kB] 488s Get:56 http://ftpmaster.internal/ubuntu oracular/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.4-1build3 [354 kB] 488s Get:57 http://ftpmaster.internal/ubuntu oracular/universe ppc64el spass ppc64el 3.9-1.1 [304 kB] 488s Get:58 http://ftpmaster.internal/ubuntu oracular/universe ppc64el tex-common all 6.18 [32.8 kB] 488s Get:59 http://ftpmaster.internal/ubuntu oracular/universe ppc64el why3 ppc64el 1.6.0-1build7 [14.3 MB] 489s Fetched 31.6 MB in 2s (14.7 MB/s) 489s Selecting previously unselected package libgdk-pixbuf2.0-common. 489s (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 ... 72754 files and directories currently installed.) 489s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... 489s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 489s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 489s Preparing to unpack .../01-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_ppc64el.deb ... 489s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-1) ... 489s Selecting previously unselected package gtk-update-icon-cache. 489s Preparing to unpack .../02-gtk-update-icon-cache_3.24.43-1ubuntu1_ppc64el.deb ... 489s Unpacking gtk-update-icon-cache (3.24.43-1ubuntu1) ... 489s Selecting previously unselected package hicolor-icon-theme. 489s Preparing to unpack .../03-hicolor-icon-theme_0.18-1_all.deb ... 489s Unpacking hicolor-icon-theme (0.18-1) ... 489s Selecting previously unselected package humanity-icon-theme. 489s Preparing to unpack .../04-humanity-icon-theme_0.6.16_all.deb ... 489s Unpacking humanity-icon-theme (0.6.16) ... 490s Selecting previously unselected package ubuntu-mono. 490s Preparing to unpack .../05-ubuntu-mono_24.04-0ubuntu1_all.deb ... 490s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 490s Selecting previously unselected package adwaita-icon-theme. 490s Preparing to unpack .../06-adwaita-icon-theme_46.0-1_all.deb ... 490s Unpacking adwaita-icon-theme (46.0-1) ... 490s Selecting previously unselected package at-spi2-common. 491s Preparing to unpack .../07-at-spi2-common_2.52.0-1build1_all.deb ... 491s Unpacking at-spi2-common (2.52.0-1build1) ... 491s Selecting previously unselected package libdconf1:ppc64el. 491s Preparing to unpack .../08-libdconf1_0.40.0-4build2_ppc64el.deb ... 491s Unpacking libdconf1:ppc64el (0.40.0-4build2) ... 491s Selecting previously unselected package dconf-service. 491s Preparing to unpack .../09-dconf-service_0.40.0-4build2_ppc64el.deb ... 491s Unpacking dconf-service (0.40.0-4build2) ... 491s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 491s Preparing to unpack .../10-dconf-gsettings-backend_0.40.0-4build2_ppc64el.deb ... 491s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-4build2) ... 491s Selecting previously unselected package fontconfig. 491s Preparing to unpack .../11-fontconfig_2.15.0-1.1ubuntu2_ppc64el.deb ... 491s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 491s Selecting previously unselected package libatk1.0-0t64:ppc64el. 491s Preparing to unpack .../12-libatk1.0-0t64_2.52.0-1build1_ppc64el.deb ... 491s Unpacking libatk1.0-0t64:ppc64el (2.52.0-1build1) ... 491s Selecting previously unselected package libxi6:ppc64el. 491s Preparing to unpack .../13-libxi6_2%3a1.8.1-1build1_ppc64el.deb ... 491s Unpacking libxi6:ppc64el (2:1.8.1-1build1) ... 491s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 491s Preparing to unpack .../14-libatspi2.0-0t64_2.52.0-1build1_ppc64el.deb ... 491s Unpacking libatspi2.0-0t64:ppc64el (2.52.0-1build1) ... 491s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 491s Preparing to unpack .../15-libatk-bridge2.0-0t64_2.52.0-1build1_ppc64el.deb ... 491s Unpacking libatk-bridge2.0-0t64:ppc64el (2.52.0-1build1) ... 491s Selecting previously unselected package libavahi-common-data:ppc64el. 491s Preparing to unpack .../16-libavahi-common-data_0.8-13ubuntu6_ppc64el.deb ... 491s Unpacking libavahi-common-data:ppc64el (0.8-13ubuntu6) ... 491s Selecting previously unselected package libavahi-common3:ppc64el. 491s Preparing to unpack .../17-libavahi-common3_0.8-13ubuntu6_ppc64el.deb ... 491s Unpacking libavahi-common3:ppc64el (0.8-13ubuntu6) ... 491s Selecting previously unselected package libavahi-client3:ppc64el. 491s Preparing to unpack .../18-libavahi-client3_0.8-13ubuntu6_ppc64el.deb ... 491s Unpacking libavahi-client3:ppc64el (0.8-13ubuntu6) ... 491s Selecting previously unselected package libpixman-1-0:ppc64el. 491s Preparing to unpack .../19-libpixman-1-0_0.42.2-1build1_ppc64el.deb ... 491s Unpacking libpixman-1-0:ppc64el (0.42.2-1build1) ... 491s Selecting previously unselected package libxcb-render0:ppc64el. 491s Preparing to unpack .../20-libxcb-render0_1.17.0-2_ppc64el.deb ... 491s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 491s Selecting previously unselected package libxcb-shm0:ppc64el. 491s Preparing to unpack .../21-libxcb-shm0_1.17.0-2_ppc64el.deb ... 491s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 491s Selecting previously unselected package libxrender1:ppc64el. 491s Preparing to unpack .../22-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 491s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 491s Selecting previously unselected package libcairo2:ppc64el. 491s Preparing to unpack .../23-libcairo2_1.18.0-3build1_ppc64el.deb ... 491s Unpacking libcairo2:ppc64el (1.18.0-3build1) ... 491s Selecting previously unselected package libcairo-gobject2:ppc64el. 491s Preparing to unpack .../24-libcairo-gobject2_1.18.0-3build1_ppc64el.deb ... 491s Unpacking libcairo-gobject2:ppc64el (1.18.0-3build1) ... 491s Selecting previously unselected package libstdlib-ocaml. 491s Preparing to unpack .../25-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ... 491s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 491s Selecting previously unselected package ocaml-base. 491s Preparing to unpack .../26-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ... 491s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 491s Selecting previously unselected package libcairo2-ocaml. 491s Preparing to unpack .../27-libcairo2-ocaml_0.6.4+dfsg-2build2_ppc64el.deb ... 491s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 491s Selecting previously unselected package liblcms2-2:ppc64el. 491s Preparing to unpack .../28-liblcms2-2_2.14-2build1_ppc64el.deb ... 491s Unpacking liblcms2-2:ppc64el (2.14-2build1) ... 491s Selecting previously unselected package libcolord2:ppc64el. 491s Preparing to unpack .../29-libcolord2_1.4.7-1build2_ppc64el.deb ... 491s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 491s Selecting previously unselected package libcups2t64:ppc64el. 491s Preparing to unpack .../30-libcups2t64_2.4.7-1.2ubuntu9_ppc64el.deb ... 491s Unpacking libcups2t64:ppc64el (2.4.7-1.2ubuntu9) ... 491s Selecting previously unselected package libdatrie1:ppc64el. 491s Preparing to unpack .../31-libdatrie1_0.2.13-3build1_ppc64el.deb ... 491s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 491s Selecting previously unselected package libepoxy0:ppc64el. 491s Preparing to unpack .../32-libepoxy0_1.5.10-1build1_ppc64el.deb ... 491s Unpacking libepoxy0:ppc64el (1.5.10-1build1) ... 491s Selecting previously unselected package libgraphite2-3:ppc64el. 491s Preparing to unpack .../33-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 491s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 491s Selecting previously unselected package libharfbuzz0b:ppc64el. 491s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2build2_ppc64el.deb ... 491s Unpacking libharfbuzz0b:ppc64el (8.3.0-2build2) ... 491s Selecting previously unselected package libthai-data. 491s Preparing to unpack .../35-libthai-data_0.1.29-2build1_all.deb ... 491s Unpacking libthai-data (0.1.29-2build1) ... 491s Selecting previously unselected package libthai0:ppc64el. 491s Preparing to unpack .../36-libthai0_0.1.29-2build1_ppc64el.deb ... 491s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 491s Selecting previously unselected package libpango-1.0-0:ppc64el. 491s Preparing to unpack .../37-libpango-1.0-0_1.54.0+ds-1_ppc64el.deb ... 491s Unpacking libpango-1.0-0:ppc64el (1.54.0+ds-1) ... 491s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 491s Preparing to unpack .../38-libpangoft2-1.0-0_1.54.0+ds-1_ppc64el.deb ... 491s Unpacking libpangoft2-1.0-0:ppc64el (1.54.0+ds-1) ... 491s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 491s Preparing to unpack .../39-libpangocairo-1.0-0_1.54.0+ds-1_ppc64el.deb ... 491s Unpacking libpangocairo-1.0-0:ppc64el (1.54.0+ds-1) ... 491s Selecting previously unselected package libwayland-client0:ppc64el. 491s Preparing to unpack .../40-libwayland-client0_1.22.0-2.1build1_ppc64el.deb ... 491s Unpacking libwayland-client0:ppc64el (1.22.0-2.1build1) ... 491s Selecting previously unselected package libwayland-cursor0:ppc64el. 491s Preparing to unpack .../41-libwayland-cursor0_1.22.0-2.1build1_ppc64el.deb ... 491s Unpacking libwayland-cursor0:ppc64el (1.22.0-2.1build1) ... 491s Selecting previously unselected package libwayland-egl1:ppc64el. 491s Preparing to unpack .../42-libwayland-egl1_1.22.0-2.1build1_ppc64el.deb ... 491s Unpacking libwayland-egl1:ppc64el (1.22.0-2.1build1) ... 491s Selecting previously unselected package libxcomposite1:ppc64el. 491s Preparing to unpack .../43-libxcomposite1_1%3a0.4.5-1build3_ppc64el.deb ... 491s Unpacking libxcomposite1:ppc64el (1:0.4.5-1build3) ... 491s Selecting previously unselected package libxfixes3:ppc64el. 491s Preparing to unpack .../44-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 491s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 491s Selecting previously unselected package libxcursor1:ppc64el. 491s Preparing to unpack .../45-libxcursor1_1%3a1.2.2-1_ppc64el.deb ... 491s Unpacking libxcursor1:ppc64el (1:1.2.2-1) ... 491s Selecting previously unselected package libxdamage1:ppc64el. 491s Preparing to unpack .../46-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 491s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 491s Selecting previously unselected package libxinerama1:ppc64el. 491s Preparing to unpack .../47-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 491s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 491s Selecting previously unselected package libxrandr2:ppc64el. 491s Preparing to unpack .../48-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 491s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 491s Selecting previously unselected package libgtk-3-common. 491s Preparing to unpack .../49-libgtk-3-common_3.24.43-1ubuntu1_all.deb ... 491s Unpacking libgtk-3-common (3.24.43-1ubuntu1) ... 491s Selecting previously unselected package libgtk-3-0t64:ppc64el. 491s Preparing to unpack .../50-libgtk-3-0t64_3.24.43-1ubuntu1_ppc64el.deb ... 491s Unpacking libgtk-3-0t64:ppc64el (3.24.43-1ubuntu1) ... 492s Selecting previously unselected package libgtksourceview-3.0-common. 492s Preparing to unpack .../51-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 492s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 492s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 492s Preparing to unpack .../52-libgtksourceview-3.0-1_3.24.11-2build4_ppc64el.deb ... 492s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-2build4) ... 492s Selecting previously unselected package liblablgtk3-ocaml. 492s Preparing to unpack .../53-liblablgtk3-ocaml_3.1.4-1build3_ppc64el.deb ... 492s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 492s Selecting previously unselected package liblablgtksourceview3-ocaml. 492s Preparing to unpack .../54-liblablgtksourceview3-ocaml_3.1.4-1build3_ppc64el.deb ... 492s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 492s Selecting previously unselected package spass. 492s Preparing to unpack .../55-spass_3.9-1.1_ppc64el.deb ... 492s Unpacking spass (3.9-1.1) ... 492s Selecting previously unselected package tex-common. 492s Preparing to unpack .../56-tex-common_6.18_all.deb ... 492s Unpacking tex-common (6.18) ... 492s Selecting previously unselected package why3. 492s Preparing to unpack .../57-why3_1.6.0-1build7_ppc64el.deb ... 492s Unpacking why3 (1.6.0-1build7) ... 492s Selecting previously unselected package autopkgtest-satdep. 492s Preparing to unpack .../58-3-autopkgtest-satdep.deb ... 492s Unpacking autopkgtest-satdep (0) ... 493s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 493s Setting up liblcms2-2:ppc64el (2.14-2build1) ... 493s Setting up libpixman-1-0:ppc64el (0.42.2-1build1) ... 493s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 495s Regenerating fonts cache... done. 495s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 495s Setting up hicolor-icon-theme (0.18-1) ... 495s Setting up libxi6:ppc64el (2:1.8.1-1build1) ... 495s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 495s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 495s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 495s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 495s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 495s Setting up libcairo2:ppc64el (1.18.0-3build1) ... 495s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 495s Setting up libdconf1:ppc64el (0.40.0-4build2) ... 495s Setting up tex-common (6.18) ... 495s update-language: texlive-base not installed and configured, doing nothing! 495s Setting up libepoxy0:ppc64el (1.5.10-1build1) ... 495s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 495s Setting up spass (3.9-1.1) ... 495s Setting up libavahi-common-data:ppc64el (0.8-13ubuntu6) ... 495s Setting up libatspi2.0-0t64:ppc64el (2.52.0-1build1) ... 495s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 495s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 495s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 495s Setting up ocaml-base (4.14.1-1ubuntu1) ... 495s Setting up at-spi2-common (2.52.0-1build1) ... 495s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 495s Setting up libharfbuzz0b:ppc64el (8.3.0-2build2) ... 495s Setting up libthai-data (0.1.29-2build1) ... 495s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-1) ... 495s Setting up libcairo-gobject2:ppc64el (1.18.0-3build1) ... 495s Setting up libwayland-egl1:ppc64el (1.22.0-2.1build1) ... 495s Setting up libxcomposite1:ppc64el (1:0.4.5-1build3) ... 495s Setting up libwayland-client0:ppc64el (1.22.0-2.1build1) ... 495s Setting up gtk-update-icon-cache (3.24.43-1ubuntu1) ... 495s Setting up libatk1.0-0t64:ppc64el (2.52.0-1build1) ... 495s Setting up libxcursor1:ppc64el (1:1.2.2-1) ... 495s Setting up libavahi-common3:ppc64el (0.8-13ubuntu6) ... 495s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 495s Setting up dconf-service (0.40.0-4build2) ... 495s Setting up libthai0:ppc64el (0.1.29-2build1) ... 495s Setting up libwayland-cursor0:ppc64el (1.22.0-2.1build1) ... 495s Setting up libavahi-client3:ppc64el (0.8-13ubuntu6) ... 495s Setting up libatk-bridge2.0-0t64:ppc64el (2.52.0-1build1) ... 495s Setting up dconf-gsettings-backend:ppc64el (0.40.0-4build2) ... 495s Setting up libpango-1.0-0:ppc64el (1.54.0+ds-1) ... 495s Setting up libpangoft2-1.0-0:ppc64el (1.54.0+ds-1) ... 495s Setting up libcups2t64:ppc64el (2.4.7-1.2ubuntu9) ... 495s Setting up libgtk-3-common (3.24.43-1ubuntu1) ... 495s Setting up libpangocairo-1.0-0:ppc64el (1.54.0+ds-1) ... 495s Setting up adwaita-icon-theme (46.0-1) ... 495s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 495s Setting up humanity-icon-theme (0.6.16) ... 495s Setting up ubuntu-mono (24.04-0ubuntu1) ... 495s Processing triggers for man-db (2.12.1-2) ... 496s Processing triggers for libglib2.0-0t64:ppc64el (2.80.4-1ubuntu1) ... 496s Setting up libgtk-3-0t64:ppc64el (3.24.43-1ubuntu1) ... 496s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 496s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 496s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-2build4) ... 496s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 496s Setting up why3 (1.6.0-1build7) ... 496s Setting up autopkgtest-satdep (0) ... 496s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 499s (Reading database ... 86672 files and directories currently installed.) 499s Removing autopkgtest-satdep (0) ... 519s autopkgtest [01:36:21]: test why3+spass: [----------------------- 520s autopkgtest [01:36:22]: test why3+spass: -----------------------] 521s autopkgtest [01:36:23]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 521s why3+spass PASS 521s autopkgtest [01:36:23]: test why3+z3: preparing testbed 638s autopkgtest [01:38:20]: testbed dpkg architecture: ppc64el 638s autopkgtest [01:38:20]: testbed apt version: 2.9.6 638s autopkgtest [01:38:20]: @@@@@@@@@@@@@@@@@@@@ test bed setup 639s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [126 kB] 639s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [366 kB] 640s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [48.2 kB] 640s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [8548 B] 640s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [3860 B] 640s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el Packages [92.7 kB] 640s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el c-n-f Metadata [2116 B] 640s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el Packages [1368 B] 640s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted ppc64el c-n-f Metadata [120 B] 640s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el Packages [423 kB] 640s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el c-n-f Metadata [8952 B] 640s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el Packages [2088 B] 640s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse ppc64el c-n-f Metadata [120 B] 641s Fetched 1083 kB in 1s (1432 kB/s) 641s Reading package lists... 644s Reading package lists... 644s Building dependency tree... 644s Reading state information... 644s Calculating upgrade... 644s The following packages will be upgraded: 644s libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales 644s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 644s Need to get 10.1 MB of archives. 644s After this operation, 1843 kB disk space will be freed. 644s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-devtools ppc64el 2.39-3.1ubuntu3 [29.5 kB] 644s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6-dev ppc64el 2.39-3.1ubuntu3 [1982 kB] 645s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-dev-bin ppc64el 2.39-3.1ubuntu3 [21.0 kB] 645s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6 ppc64el 2.39-3.1ubuntu3 [3174 kB] 645s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-bin ppc64el 2.39-3.1ubuntu3 [720 kB] 645s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el locales all 2.39-3.1ubuntu3 [4220 kB] 645s Preconfiguring packages ... 645s Fetched 10.1 MB in 1s (11.5 MB/s) 645s (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 ... 72754 files and directories currently installed.) 645s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu3_ppc64el.deb ... 645s Unpacking libc-devtools (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 645s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu3_ppc64el.deb ... 645s Unpacking libc6-dev:ppc64el (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 646s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu3_ppc64el.deb ... 646s Unpacking libc-dev-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 646s Preparing to unpack .../libc6_2.39-3.1ubuntu3_ppc64el.deb ... 646s Unpacking libc6:ppc64el (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 646s Setting up libc6:ppc64el (2.39-3.1ubuntu3) ... 646s Error: Could not restart systemd, systemd binary not working 646s (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 ... 72754 files and directories currently installed.) 646s Preparing to unpack .../libc-bin_2.39-3.1ubuntu3_ppc64el.deb ... 646s Unpacking libc-bin (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 646s Setting up libc-bin (2.39-3.1ubuntu3) ... 646s (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 ... 72754 files and directories currently installed.) 646s Preparing to unpack .../locales_2.39-3.1ubuntu3_all.deb ... 646s Unpacking locales (2.39-3.1ubuntu3) over (2.39-0ubuntu9) ... 646s Setting up locales (2.39-3.1ubuntu3) ... 647s Generating locales (this might take a while)... 648s en_US.UTF-8... done 648s Generation complete. 648s Setting up libc-dev-bin (2.39-3.1ubuntu3) ... 648s Setting up libc-devtools (2.39-3.1ubuntu3) ... 648s Setting up libc6-dev:ppc64el (2.39-3.1ubuntu3) ... 648s Processing triggers for man-db (2.12.1-2) ... 649s Processing triggers for systemd (256-1ubuntu1) ... 650s Reading package lists... 650s Building dependency tree... 650s Reading state information... 651s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 651s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease 651s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease 651s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease 651s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease 652s Reading package lists... 652s Reading package lists... 652s Building dependency tree... 652s Reading state information... 653s Calculating upgrade... 653s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 653s Reading package lists... 653s Building dependency tree... 653s Reading state information... 653s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 657s Reading package lists... 657s Building dependency tree... 657s Reading state information... 657s Starting pkgProblemResolver with broken count: 0 657s Starting 2 pkgProblemResolver with broken count: 0 657s Done 658s The following additional packages will be installed: 658s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 658s fontconfig gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 658s libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 658s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 658s libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 libepoxy0 658s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0t64 658s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 658s libharfbuzz0b liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 658s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 658s libstdlib-ocaml libthai-data libthai0 libwayland-client0 libwayland-cursor0 658s libwayland-egl1 libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 658s libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base 658s tex-common ubuntu-mono why3 z3 658s Suggested packages: 658s colord cups-common gvfs liblcms2-utils debhelper why3-examples 658s Recommended packages: 658s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 658s The following NEW packages will be installed: 658s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 658s dconf-service fontconfig gtk-update-icon-cache hicolor-icon-theme 658s humanity-icon-theme libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 658s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 658s libcairo2 libcairo2-ocaml libcolord2 libcups2t64 libdatrie1 libdconf1 658s libepoxy0 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 658s libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 658s libgtksourceview-3.0-common libharfbuzz0b liblablgtk3-ocaml 658s liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 658s libpangoft2-1.0-0 libpixman-1-0 libstdlib-ocaml libthai-data libthai0 658s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 658s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 658s libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 658s z3 658s 0 upgraded, 59 newly installed, 0 to remove and 0 not upgraded. 658s Need to get 37.5 MB/37.5 MB of archives. 658s After this operation, 175 MB of additional disk space will be used. 658s Get:1 /tmp/autopkgtest.Po2OKW/4-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [716 B] 658s Get:2 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B] 658s Get:3 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.12+dfsg-1 [186 kB] 658s Get:4 http://ftpmaster.internal/ubuntu oracular/main ppc64el gtk-update-icon-cache ppc64el 3.24.43-1ubuntu1 [54.5 kB] 658s Get:5 http://ftpmaster.internal/ubuntu oracular/main ppc64el hicolor-icon-theme all 0.18-1 [13.5 kB] 658s Get:6 http://ftpmaster.internal/ubuntu oracular/main ppc64el humanity-icon-theme all 0.6.16 [1282 kB] 658s Get:7 http://ftpmaster.internal/ubuntu oracular/main ppc64el ubuntu-mono all 24.04-0ubuntu1 [151 kB] 658s Get:8 http://ftpmaster.internal/ubuntu oracular/main ppc64el adwaita-icon-theme all 46.0-1 [723 kB] 658s Get:9 http://ftpmaster.internal/ubuntu oracular/main ppc64el at-spi2-common all 2.52.0-1build1 [8674 B] 658s Get:10 http://ftpmaster.internal/ubuntu oracular/main ppc64el libdconf1 ppc64el 0.40.0-4build2 [44.0 kB] 658s Get:11 http://ftpmaster.internal/ubuntu oracular/main ppc64el dconf-service ppc64el 0.40.0-4build2 [31.1 kB] 658s Get:12 http://ftpmaster.internal/ubuntu oracular/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-4build2 [26.5 kB] 658s Get:13 http://ftpmaster.internal/ubuntu oracular/main ppc64el fontconfig ppc64el 2.15.0-1.1ubuntu2 [192 kB] 658s Get:14 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatk1.0-0t64 ppc64el 2.52.0-1build1 [60.4 kB] 658s Get:15 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxi6 ppc64el 2:1.8.1-1build1 [37.9 kB] 658s Get:16 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatspi2.0-0t64 ppc64el 2.52.0-1build1 [98.9 kB] 658s Get:17 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatk-bridge2.0-0t64 ppc64el 2.52.0-1build1 [77.8 kB] 658s Get:18 http://ftpmaster.internal/ubuntu oracular/main ppc64el libavahi-common-data ppc64el 0.8-13ubuntu6 [29.7 kB] 658s Get:19 http://ftpmaster.internal/ubuntu oracular/main ppc64el libavahi-common3 ppc64el 0.8-13ubuntu6 [26.3 kB] 658s Get:20 http://ftpmaster.internal/ubuntu oracular/main ppc64el libavahi-client3 ppc64el 0.8-13ubuntu6 [30.8 kB] 658s Get:21 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpixman-1-0 ppc64el 0.42.2-1build1 [336 kB] 658s Get:22 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcb-render0 ppc64el 1.17.0-2 [17.2 kB] 658s Get:23 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcb-shm0 ppc64el 1.17.0-2 [5980 B] 658s Get:24 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1build1 [23.1 kB] 658s Get:25 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcairo2 ppc64el 1.18.0-3build1 [751 kB] 659s Get:26 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcairo-gobject2 ppc64el 1.18.0-3build1 [127 kB] 659s Get:27 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB] 659s Get:28 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB] 659s Get:29 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcairo2-ocaml ppc64el 0.6.4+dfsg-2build2 [27.5 kB] 659s Get:30 http://ftpmaster.internal/ubuntu oracular/main ppc64el liblcms2-2 ppc64el 2.14-2build1 [233 kB] 659s Get:31 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcolord2 ppc64el 1.4.7-1build2 [164 kB] 659s Get:32 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcups2t64 ppc64el 2.4.7-1.2ubuntu9 [345 kB] 659s Get:33 http://ftpmaster.internal/ubuntu oracular/main ppc64el libdatrie1 ppc64el 0.2.13-3build1 [22.7 kB] 659s Get:34 http://ftpmaster.internal/ubuntu oracular/main ppc64el libepoxy0 ppc64el 1.5.10-1build1 [241 kB] 659s Get:35 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgraphite2-3 ppc64el 1.3.14-2ubuntu1 [84.6 kB] 659s Get:36 http://ftpmaster.internal/ubuntu oracular/main ppc64el libharfbuzz0b ppc64el 8.3.0-2build2 [580 kB] 659s Get:37 http://ftpmaster.internal/ubuntu oracular/main ppc64el libthai-data all 0.1.29-2build1 [158 kB] 659s Get:38 http://ftpmaster.internal/ubuntu oracular/main ppc64el libthai0 ppc64el 0.1.29-2build1 [21.8 kB] 659s Get:39 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpango-1.0-0 ppc64el 1.54.0+ds-1 [270 kB] 659s Get:40 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpangoft2-1.0-0 ppc64el 1.54.0+ds-1 [49.9 kB] 659s Get:41 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpangocairo-1.0-0 ppc64el 1.54.0+ds-1 [30.4 kB] 659s Get:42 http://ftpmaster.internal/ubuntu oracular/main ppc64el libwayland-client0 ppc64el 1.22.0-2.1build1 [29.9 kB] 659s Get:43 http://ftpmaster.internal/ubuntu oracular/main ppc64el libwayland-cursor0 ppc64el 1.22.0-2.1build1 [11.5 kB] 659s Get:44 http://ftpmaster.internal/ubuntu oracular/main ppc64el libwayland-egl1 ppc64el 1.22.0-2.1build1 [5766 B] 659s Get:45 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcomposite1 ppc64el 1:0.4.5-1build3 [6600 B] 659s Get:46 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 659s Get:47 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxcursor1 ppc64el 1:1.2.2-1 [26.3 kB] 659s Get:48 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxdamage1 ppc64el 1:1.1.6-1build1 [6550 B] 659s Get:49 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxinerama1 ppc64el 2:1.1.4-3build1 [6908 B] 659s Get:50 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxrandr2 ppc64el 2:1.5.4-1 [21.7 kB] 659s Get:51 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgtk-3-common all 3.24.43-1ubuntu1 [1201 kB] 659s Get:52 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgtk-3-0t64 ppc64el 3.24.43-1ubuntu1 [3334 kB] 659s Get:53 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libgtksourceview-3.0-common all 3.24.11-2build4 [294 kB] 659s Get:54 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-2build4 [261 kB] 659s Get:55 http://ftpmaster.internal/ubuntu oracular/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.4-1build3 [4114 kB] 659s Get:56 http://ftpmaster.internal/ubuntu oracular/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.4-1build3 [354 kB] 659s Get:57 http://ftpmaster.internal/ubuntu oracular/universe ppc64el tex-common all 6.18 [32.8 kB] 659s Get:58 http://ftpmaster.internal/ubuntu oracular/universe ppc64el why3 ppc64el 1.6.0-1build7 [14.3 MB] 659s Get:59 http://ftpmaster.internal/ubuntu oracular/universe ppc64el z3 ppc64el 4.8.12-3.1build1 [6253 kB] 660s Fetched 37.5 MB in 2s (19.0 MB/s) 660s Selecting previously unselected package libgdk-pixbuf2.0-common. 660s (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 ... 72754 files and directories currently installed.) 660s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... 660s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 660s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 660s Preparing to unpack .../01-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_ppc64el.deb ... 660s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-1) ... 660s Selecting previously unselected package gtk-update-icon-cache. 660s Preparing to unpack .../02-gtk-update-icon-cache_3.24.43-1ubuntu1_ppc64el.deb ... 660s Unpacking gtk-update-icon-cache (3.24.43-1ubuntu1) ... 660s Selecting previously unselected package hicolor-icon-theme. 660s Preparing to unpack .../03-hicolor-icon-theme_0.18-1_all.deb ... 660s Unpacking hicolor-icon-theme (0.18-1) ... 660s Selecting previously unselected package humanity-icon-theme. 660s Preparing to unpack .../04-humanity-icon-theme_0.6.16_all.deb ... 660s Unpacking humanity-icon-theme (0.6.16) ... 661s Selecting previously unselected package ubuntu-mono. 661s Preparing to unpack .../05-ubuntu-mono_24.04-0ubuntu1_all.deb ... 661s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 661s Selecting previously unselected package adwaita-icon-theme. 661s Preparing to unpack .../06-adwaita-icon-theme_46.0-1_all.deb ... 661s Unpacking adwaita-icon-theme (46.0-1) ... 662s Selecting previously unselected package at-spi2-common. 662s Preparing to unpack .../07-at-spi2-common_2.52.0-1build1_all.deb ... 662s Unpacking at-spi2-common (2.52.0-1build1) ... 662s Selecting previously unselected package libdconf1:ppc64el. 662s Preparing to unpack .../08-libdconf1_0.40.0-4build2_ppc64el.deb ... 662s Unpacking libdconf1:ppc64el (0.40.0-4build2) ... 662s Selecting previously unselected package dconf-service. 662s Preparing to unpack .../09-dconf-service_0.40.0-4build2_ppc64el.deb ... 662s Unpacking dconf-service (0.40.0-4build2) ... 662s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 662s Preparing to unpack .../10-dconf-gsettings-backend_0.40.0-4build2_ppc64el.deb ... 662s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-4build2) ... 662s Selecting previously unselected package fontconfig. 662s Preparing to unpack .../11-fontconfig_2.15.0-1.1ubuntu2_ppc64el.deb ... 662s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 662s Selecting previously unselected package libatk1.0-0t64:ppc64el. 662s Preparing to unpack .../12-libatk1.0-0t64_2.52.0-1build1_ppc64el.deb ... 662s Unpacking libatk1.0-0t64:ppc64el (2.52.0-1build1) ... 662s Selecting previously unselected package libxi6:ppc64el. 662s Preparing to unpack .../13-libxi6_2%3a1.8.1-1build1_ppc64el.deb ... 662s Unpacking libxi6:ppc64el (2:1.8.1-1build1) ... 662s Selecting previously unselected package libatspi2.0-0t64:ppc64el. 662s Preparing to unpack .../14-libatspi2.0-0t64_2.52.0-1build1_ppc64el.deb ... 662s Unpacking libatspi2.0-0t64:ppc64el (2.52.0-1build1) ... 662s Selecting previously unselected package libatk-bridge2.0-0t64:ppc64el. 662s Preparing to unpack .../15-libatk-bridge2.0-0t64_2.52.0-1build1_ppc64el.deb ... 662s Unpacking libatk-bridge2.0-0t64:ppc64el (2.52.0-1build1) ... 662s Selecting previously unselected package libavahi-common-data:ppc64el. 662s Preparing to unpack .../16-libavahi-common-data_0.8-13ubuntu6_ppc64el.deb ... 662s Unpacking libavahi-common-data:ppc64el (0.8-13ubuntu6) ... 662s Selecting previously unselected package libavahi-common3:ppc64el. 662s Preparing to unpack .../17-libavahi-common3_0.8-13ubuntu6_ppc64el.deb ... 662s Unpacking libavahi-common3:ppc64el (0.8-13ubuntu6) ... 662s Selecting previously unselected package libavahi-client3:ppc64el. 662s Preparing to unpack .../18-libavahi-client3_0.8-13ubuntu6_ppc64el.deb ... 662s Unpacking libavahi-client3:ppc64el (0.8-13ubuntu6) ... 662s Selecting previously unselected package libpixman-1-0:ppc64el. 662s Preparing to unpack .../19-libpixman-1-0_0.42.2-1build1_ppc64el.deb ... 662s Unpacking libpixman-1-0:ppc64el (0.42.2-1build1) ... 662s Selecting previously unselected package libxcb-render0:ppc64el. 662s Preparing to unpack .../20-libxcb-render0_1.17.0-2_ppc64el.deb ... 662s Unpacking libxcb-render0:ppc64el (1.17.0-2) ... 662s Selecting previously unselected package libxcb-shm0:ppc64el. 662s Preparing to unpack .../21-libxcb-shm0_1.17.0-2_ppc64el.deb ... 662s Unpacking libxcb-shm0:ppc64el (1.17.0-2) ... 662s Selecting previously unselected package libxrender1:ppc64el. 662s Preparing to unpack .../22-libxrender1_1%3a0.9.10-1.1build1_ppc64el.deb ... 662s Unpacking libxrender1:ppc64el (1:0.9.10-1.1build1) ... 662s Selecting previously unselected package libcairo2:ppc64el. 662s Preparing to unpack .../23-libcairo2_1.18.0-3build1_ppc64el.deb ... 662s Unpacking libcairo2:ppc64el (1.18.0-3build1) ... 662s Selecting previously unselected package libcairo-gobject2:ppc64el. 662s Preparing to unpack .../24-libcairo-gobject2_1.18.0-3build1_ppc64el.deb ... 662s Unpacking libcairo-gobject2:ppc64el (1.18.0-3build1) ... 662s Selecting previously unselected package libstdlib-ocaml. 662s Preparing to unpack .../25-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ... 662s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 662s Selecting previously unselected package ocaml-base. 662s Preparing to unpack .../26-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ... 662s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 662s Selecting previously unselected package libcairo2-ocaml. 662s Preparing to unpack .../27-libcairo2-ocaml_0.6.4+dfsg-2build2_ppc64el.deb ... 662s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 662s Selecting previously unselected package liblcms2-2:ppc64el. 662s Preparing to unpack .../28-liblcms2-2_2.14-2build1_ppc64el.deb ... 662s Unpacking liblcms2-2:ppc64el (2.14-2build1) ... 662s Selecting previously unselected package libcolord2:ppc64el. 662s Preparing to unpack .../29-libcolord2_1.4.7-1build2_ppc64el.deb ... 662s Unpacking libcolord2:ppc64el (1.4.7-1build2) ... 662s Selecting previously unselected package libcups2t64:ppc64el. 662s Preparing to unpack .../30-libcups2t64_2.4.7-1.2ubuntu9_ppc64el.deb ... 662s Unpacking libcups2t64:ppc64el (2.4.7-1.2ubuntu9) ... 662s Selecting previously unselected package libdatrie1:ppc64el. 662s Preparing to unpack .../31-libdatrie1_0.2.13-3build1_ppc64el.deb ... 662s Unpacking libdatrie1:ppc64el (0.2.13-3build1) ... 662s Selecting previously unselected package libepoxy0:ppc64el. 662s Preparing to unpack .../32-libepoxy0_1.5.10-1build1_ppc64el.deb ... 662s Unpacking libepoxy0:ppc64el (1.5.10-1build1) ... 662s Selecting previously unselected package libgraphite2-3:ppc64el. 662s Preparing to unpack .../33-libgraphite2-3_1.3.14-2ubuntu1_ppc64el.deb ... 662s Unpacking libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 662s Selecting previously unselected package libharfbuzz0b:ppc64el. 662s Preparing to unpack .../34-libharfbuzz0b_8.3.0-2build2_ppc64el.deb ... 662s Unpacking libharfbuzz0b:ppc64el (8.3.0-2build2) ... 662s Selecting previously unselected package libthai-data. 662s Preparing to unpack .../35-libthai-data_0.1.29-2build1_all.deb ... 662s Unpacking libthai-data (0.1.29-2build1) ... 662s Selecting previously unselected package libthai0:ppc64el. 662s Preparing to unpack .../36-libthai0_0.1.29-2build1_ppc64el.deb ... 662s Unpacking libthai0:ppc64el (0.1.29-2build1) ... 662s Selecting previously unselected package libpango-1.0-0:ppc64el. 662s Preparing to unpack .../37-libpango-1.0-0_1.54.0+ds-1_ppc64el.deb ... 662s Unpacking libpango-1.0-0:ppc64el (1.54.0+ds-1) ... 662s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 662s Preparing to unpack .../38-libpangoft2-1.0-0_1.54.0+ds-1_ppc64el.deb ... 662s Unpacking libpangoft2-1.0-0:ppc64el (1.54.0+ds-1) ... 662s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 662s Preparing to unpack .../39-libpangocairo-1.0-0_1.54.0+ds-1_ppc64el.deb ... 662s Unpacking libpangocairo-1.0-0:ppc64el (1.54.0+ds-1) ... 662s Selecting previously unselected package libwayland-client0:ppc64el. 662s Preparing to unpack .../40-libwayland-client0_1.22.0-2.1build1_ppc64el.deb ... 662s Unpacking libwayland-client0:ppc64el (1.22.0-2.1build1) ... 662s Selecting previously unselected package libwayland-cursor0:ppc64el. 662s Preparing to unpack .../41-libwayland-cursor0_1.22.0-2.1build1_ppc64el.deb ... 662s Unpacking libwayland-cursor0:ppc64el (1.22.0-2.1build1) ... 662s Selecting previously unselected package libwayland-egl1:ppc64el. 662s Preparing to unpack .../42-libwayland-egl1_1.22.0-2.1build1_ppc64el.deb ... 662s Unpacking libwayland-egl1:ppc64el (1.22.0-2.1build1) ... 662s Selecting previously unselected package libxcomposite1:ppc64el. 662s Preparing to unpack .../43-libxcomposite1_1%3a0.4.5-1build3_ppc64el.deb ... 662s Unpacking libxcomposite1:ppc64el (1:0.4.5-1build3) ... 662s Selecting previously unselected package libxfixes3:ppc64el. 662s Preparing to unpack .../44-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 662s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 662s Selecting previously unselected package libxcursor1:ppc64el. 662s Preparing to unpack .../45-libxcursor1_1%3a1.2.2-1_ppc64el.deb ... 662s Unpacking libxcursor1:ppc64el (1:1.2.2-1) ... 662s Selecting previously unselected package libxdamage1:ppc64el. 662s Preparing to unpack .../46-libxdamage1_1%3a1.1.6-1build1_ppc64el.deb ... 662s Unpacking libxdamage1:ppc64el (1:1.1.6-1build1) ... 662s Selecting previously unselected package libxinerama1:ppc64el. 662s Preparing to unpack .../47-libxinerama1_2%3a1.1.4-3build1_ppc64el.deb ... 662s Unpacking libxinerama1:ppc64el (2:1.1.4-3build1) ... 662s Selecting previously unselected package libxrandr2:ppc64el. 662s Preparing to unpack .../48-libxrandr2_2%3a1.5.4-1_ppc64el.deb ... 662s Unpacking libxrandr2:ppc64el (2:1.5.4-1) ... 663s Selecting previously unselected package libgtk-3-common. 663s Preparing to unpack .../49-libgtk-3-common_3.24.43-1ubuntu1_all.deb ... 663s Unpacking libgtk-3-common (3.24.43-1ubuntu1) ... 663s Selecting previously unselected package libgtk-3-0t64:ppc64el. 663s Preparing to unpack .../50-libgtk-3-0t64_3.24.43-1ubuntu1_ppc64el.deb ... 663s Unpacking libgtk-3-0t64:ppc64el (3.24.43-1ubuntu1) ... 663s Selecting previously unselected package libgtksourceview-3.0-common. 663s Preparing to unpack .../51-libgtksourceview-3.0-common_3.24.11-2build4_all.deb ... 663s Unpacking libgtksourceview-3.0-common (3.24.11-2build4) ... 663s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 663s Preparing to unpack .../52-libgtksourceview-3.0-1_3.24.11-2build4_ppc64el.deb ... 663s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-2build4) ... 663s Selecting previously unselected package liblablgtk3-ocaml. 663s Preparing to unpack .../53-liblablgtk3-ocaml_3.1.4-1build3_ppc64el.deb ... 663s Unpacking liblablgtk3-ocaml (3.1.4-1build3) ... 663s Selecting previously unselected package liblablgtksourceview3-ocaml. 663s Preparing to unpack .../54-liblablgtksourceview3-ocaml_3.1.4-1build3_ppc64el.deb ... 663s Unpacking liblablgtksourceview3-ocaml (3.1.4-1build3) ... 663s Selecting previously unselected package tex-common. 663s Preparing to unpack .../55-tex-common_6.18_all.deb ... 663s Unpacking tex-common (6.18) ... 663s Selecting previously unselected package why3. 663s Preparing to unpack .../56-why3_1.6.0-1build7_ppc64el.deb ... 663s Unpacking why3 (1.6.0-1build7) ... 663s Selecting previously unselected package z3. 663s Preparing to unpack .../57-z3_4.8.12-3.1build1_ppc64el.deb ... 663s Unpacking z3 (4.8.12-3.1build1) ... 664s Selecting previously unselected package autopkgtest-satdep. 664s Preparing to unpack .../58-4-autopkgtest-satdep.deb ... 664s Unpacking autopkgtest-satdep (0) ... 664s Setting up libgraphite2-3:ppc64el (1.3.14-2ubuntu1) ... 664s Setting up liblcms2-2:ppc64el (2.14-2build1) ... 664s Setting up libpixman-1-0:ppc64el (0.42.2-1build1) ... 664s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 666s Regenerating fonts cache... done. 666s Setting up libxdamage1:ppc64el (1:1.1.6-1build1) ... 666s Setting up hicolor-icon-theme (0.18-1) ... 666s Setting up libxi6:ppc64el (2:1.8.1-1build1) ... 666s Setting up libxrender1:ppc64el (1:0.9.10-1.1build1) ... 666s Setting up libdatrie1:ppc64el (0.2.13-3build1) ... 666s Setting up libxcb-render0:ppc64el (1.17.0-2) ... 666s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... 666s Setting up libxcb-shm0:ppc64el (1.17.0-2) ... 666s Setting up libcairo2:ppc64el (1.18.0-3build1) ... 666s Setting up z3 (4.8.12-3.1build1) ... 666s Setting up libcolord2:ppc64el (1.4.7-1build2) ... 666s Setting up libdconf1:ppc64el (0.40.0-4build2) ... 666s Setting up tex-common (6.18) ... 666s update-language: texlive-base not installed and configured, doing nothing! 666s Setting up libepoxy0:ppc64el (1.5.10-1build1) ... 666s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 666s Setting up libavahi-common-data:ppc64el (0.8-13ubuntu6) ... 666s Setting up libatspi2.0-0t64:ppc64el (2.52.0-1build1) ... 666s Setting up libxinerama1:ppc64el (2:1.1.4-3build1) ... 666s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 666s Setting up libxrandr2:ppc64el (2:1.5.4-1) ... 666s Setting up ocaml-base (4.14.1-1ubuntu1) ... 666s Setting up at-spi2-common (2.52.0-1build1) ... 666s Setting up libgtksourceview-3.0-common (3.24.11-2build4) ... 666s Setting up libharfbuzz0b:ppc64el (8.3.0-2build2) ... 666s Setting up libthai-data (0.1.29-2build1) ... 666s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.12+dfsg-1) ... 666s Setting up libcairo-gobject2:ppc64el (1.18.0-3build1) ... 666s Setting up libwayland-egl1:ppc64el (1.22.0-2.1build1) ... 666s Setting up libxcomposite1:ppc64el (1:0.4.5-1build3) ... 666s Setting up libwayland-client0:ppc64el (1.22.0-2.1build1) ... 666s Setting up gtk-update-icon-cache (3.24.43-1ubuntu1) ... 666s Setting up libatk1.0-0t64:ppc64el (2.52.0-1build1) ... 666s Setting up libxcursor1:ppc64el (1:1.2.2-1) ... 666s Setting up libavahi-common3:ppc64el (0.8-13ubuntu6) ... 666s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 666s Setting up dconf-service (0.40.0-4build2) ... 666s Setting up libthai0:ppc64el (0.1.29-2build1) ... 666s Setting up libwayland-cursor0:ppc64el (1.22.0-2.1build1) ... 666s Setting up libavahi-client3:ppc64el (0.8-13ubuntu6) ... 666s Setting up libatk-bridge2.0-0t64:ppc64el (2.52.0-1build1) ... 666s Setting up dconf-gsettings-backend:ppc64el (0.40.0-4build2) ... 666s Setting up libpango-1.0-0:ppc64el (1.54.0+ds-1) ... 666s Setting up libpangoft2-1.0-0:ppc64el (1.54.0+ds-1) ... 666s Setting up libcups2t64:ppc64el (2.4.7-1.2ubuntu9) ... 666s Setting up libgtk-3-common (3.24.43-1ubuntu1) ... 666s Setting up libpangocairo-1.0-0:ppc64el (1.54.0+ds-1) ... 666s Setting up adwaita-icon-theme (46.0-1) ... 666s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 666s Setting up humanity-icon-theme (0.6.16) ... 666s Setting up ubuntu-mono (24.04-0ubuntu1) ... 666s Processing triggers for man-db (2.12.1-2) ... 667s Processing triggers for libglib2.0-0t64:ppc64el (2.80.4-1ubuntu1) ... 667s Setting up libgtk-3-0t64:ppc64el (3.24.43-1ubuntu1) ... 667s Setting up liblablgtk3-ocaml (3.1.4-1build3) ... 667s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 667s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-2build4) ... 667s Setting up liblablgtksourceview3-ocaml (3.1.4-1build3) ... 667s Setting up why3 (1.6.0-1build7) ... 667s Setting up autopkgtest-satdep (0) ... 667s Processing triggers for libc-bin (2.39-3.1ubuntu3) ... 670s (Reading database ... 86672 files and directories currently installed.) 670s Removing autopkgtest-satdep (0) ... 680s autopkgtest [01:39:02]: test why3+z3: [----------------------- 681s autopkgtest [01:39:03]: test why3+z3: -----------------------] 682s autopkgtest [01:39:04]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 682s why3+z3 PASS 682s autopkgtest [01:39:04]: @@@@@@@@@@@@@@@@@@@@ summary 682s why3+alt-ergo SKIP installation fails and skip-not-installable set 682s why3+cvc4 PASS 682s why3+spass PASS 682s why3+z3 PASS 693s nova [W] Using flock in scalingstack-bos02-ppc64el 693s flock: timeout while waiting to get lock 693s Creating nova instance adt-oracular-ppc64el-why3-20240713-012742-juju-7f2275-prod-proposed-migration-environment-3-6f86fdd5-5477-4e8c-af39-59f5b7c052a4 from image adt/ubuntu-oracular-ppc64el-server-20240713.img (UUID b28bdc0e-67ab-46b9-adc7-daedcc93171c)... 693s nova [W] Using flock in scalingstack-bos02-ppc64el 693s flock: timeout while waiting to get lock 693s Creating nova instance adt-oracular-ppc64el-why3-20240713-012742-juju-7f2275-prod-proposed-migration-environment-3-6f86fdd5-5477-4e8c-af39-59f5b7c052a4 from image adt/ubuntu-oracular-ppc64el-server-20240713.img (UUID b28bdc0e-67ab-46b9-adc7-daedcc93171c)... 693s nova [W] Using flock in scalingstack-bos02-ppc64el 693s Creating nova instance adt-oracular-ppc64el-why3-20240713-012742-juju-7f2275-prod-proposed-migration-environment-3-6f86fdd5-5477-4e8c-af39-59f5b7c052a4 from image adt/ubuntu-oracular-ppc64el-server-20240713.img (UUID b28bdc0e-67ab-46b9-adc7-daedcc93171c)... 693s nova [W] Using flock in scalingstack-bos02-ppc64el 693s Creating nova instance adt-oracular-ppc64el-why3-20240713-012742-juju-7f2275-prod-proposed-migration-environment-3-6f86fdd5-5477-4e8c-af39-59f5b7c052a4 from image adt/ubuntu-oracular-ppc64el-server-20240713.img (UUID b28bdc0e-67ab-46b9-adc7-daedcc93171c)...