0s autopkgtest [11:25:11]: starting date and time: 2024-03-23 11:25:11+0000 0s autopkgtest [11:25:11]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [11:25:11]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.c53ktvf1/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:sphinx --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=sphinx/7.2.6-6 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-ppc64el-4.secgroup --name adt-noble-ppc64el-why3-20240323-112511-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --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,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 99s autopkgtest [11:26:50]: testbed dpkg architecture: ppc64el 100s autopkgtest [11:26:51]: testbed apt version: 2.7.12 100s autopkgtest [11:26:51]: @@@@@@@@@@@@@@@@@@@@ test bed setup 101s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 101s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 101s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [4029 kB] 101s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 101s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 101s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [659 kB] 101s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 101s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 101s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 101s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4252 kB] 102s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 102s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [60.8 kB] 102s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 105s Fetched 9690 kB in 2s (4017 kB/s) 105s Reading package lists... 108s Reading package lists... 108s Building dependency tree... 108s Reading state information... 108s Calculating upgrade... 109s The following packages will be upgraded: 109s libbsd0 libc-bin libc6 locales 109s 4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 109s Need to get 8313 kB of archives. 109s After this operation, 2048 B of additional disk space will be used. 109s Get:1 http://ftpmaster.internal/ubuntu noble/main ppc64el libc6 ppc64el 2.39-0ubuntu6 [3274 kB] 109s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libc-bin ppc64el 2.39-0ubuntu6 [751 kB] 109s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libbsd0 ppc64el 0.12.1-1 [56.9 kB] 109s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el locales all 2.39-0ubuntu6 [4232 kB] 110s Preconfiguring packages ... 110s Fetched 8313 kB in 1s (7295 kB/s) 110s (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 ... 70156 files and directories currently installed.) 110s Preparing to unpack .../libc6_2.39-0ubuntu6_ppc64el.deb ... 110s Unpacking libc6:ppc64el (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 111s Setting up libc6:ppc64el (2.39-0ubuntu6) ... 111s (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 ... 70156 files and directories currently installed.) 111s Preparing to unpack .../libc-bin_2.39-0ubuntu6_ppc64el.deb ... 111s Unpacking libc-bin (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 111s Setting up libc-bin (2.39-0ubuntu6) ... 111s (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 ... 70156 files and directories currently installed.) 111s Preparing to unpack .../libbsd0_0.12.1-1_ppc64el.deb ... 111s Unpacking libbsd0:ppc64el (0.12.1-1) over (0.11.8-1) ... 111s Preparing to unpack .../locales_2.39-0ubuntu6_all.deb ... 111s Unpacking locales (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 111s Setting up locales (2.39-0ubuntu6) ... 112s Generating locales (this might take a while)... 113s en_US.UTF-8... done 113s Generation complete. 113s Setting up libbsd0:ppc64el (0.12.1-1) ... 113s Processing triggers for man-db (2.12.0-3) ... 114s Processing triggers for libc-bin (2.39-0ubuntu6) ... 114s Reading package lists... 114s Building dependency tree... 114s Reading state information... 115s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 115s sh: Attempting to set up Debian/Ubuntu apt sources automatically 115s sh: Distribution appears to be Ubuntu 116s Reading package lists... 116s Building dependency tree... 116s Reading state information... 116s eatmydata is already the newest version (131-1). 116s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 116s Reading package lists... 116s Building dependency tree... 116s Reading state information... 117s dbus is already the newest version (1.14.10-4ubuntu1). 117s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 117s Reading package lists... 117s Building dependency tree... 117s Reading state information... 117s rng-tools-debian is already the newest version (2.4). 117s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 117s Reading package lists... 117s Building dependency tree... 117s Reading state information... 117s The following packages will be REMOVED: 117s cloud-init* python3-configobj* python3-debconf* 118s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 118s After this operation, 3256 kB disk space will be freed. 118s (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 ... 70156 files and directories currently installed.) 118s Removing cloud-init (24.1.2-0ubuntu1) ... 118s Removing python3-configobj (5.0.8-3) ... 118s Removing python3-debconf (1.5.86) ... 118s Processing triggers for man-db (2.12.0-3) ... 119s (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 ... 69767 files and directories currently installed.) 119s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 119s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 119s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 119s invoke-rc.d: policy-rc.d denied execution of try-restart. 119s Reading package lists... 119s Building dependency tree... 119s Reading state information... 120s linux-generic is already the newest version (6.8.0-11.11+1). 120s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 120s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 120s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 120s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 123s Reading package lists... 123s Reading package lists... 123s Building dependency tree... 123s Reading state information... 123s Calculating upgrade... 123s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 123s Reading package lists... 123s Building dependency tree... 123s Reading state information... 123s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 124s autopkgtest [11:27:15]: rebooting testbed after setup commands that affected boot 290s autopkgtest [11:30:01]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Wed Feb 14 00:33:03 UTC 2024 293s autopkgtest [11:30:04]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 297s Get:1 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (dsc) [2670 B] 297s Get:2 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (tar) [6850 kB] 297s Get:3 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (diff) [18.5 kB] 297s gpgv: Signature made Thu Feb 22 07:36:27 2024 UTC 297s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 297s gpgv: Can't check signature: No public key 297s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build4.dsc: no acceptable signature found 297s autopkgtest [11:30:08]: testing package why3 version 1.6.0-1build4 298s autopkgtest [11:30:09]: build not needed 302s autopkgtest [11:30:13]: test why3+alt-ergo: preparing testbed 308s Reading package lists... 308s Building dependency tree... 308s Reading state information... 308s Starting pkgProblemResolver with broken count: 1 308s Starting 2 pkgProblemResolver with broken count: 1 308s Investigating (0) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib > 308s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build4 @un uH > 308s Considering why3:ppc64el 1 as a solution to autopkgtest-satdep:ppc64el 9998 308s Re-Instated fonts-dejavu-mono:ppc64el 308s Re-Instated fonts-dejavu-core:ppc64el 308s Re-Instated fontconfig-config:ppc64el 308s Re-Instated libfontconfig1:ppc64el 308s Re-Instated libpixman-1-0:ppc64el 308s Re-Instated libxcb-render0:ppc64el 308s Re-Instated libxcb-shm0:ppc64el 308s Re-Instated libxrender1:ppc64el 308s Re-Instated libcairo2:ppc64el 308s Re-Instated libgdk-pixbuf2.0-common:ppc64el 308s Re-Instated libjpeg-turbo8:ppc64el 308s Re-Instated libjpeg8:ppc64el 308s Re-Instated libdeflate0:ppc64el 308s Re-Instated libjbig0:ppc64el 308s Re-Instated liblerc4:ppc64el 308s Re-Instated libsharpyuv0:ppc64el 308s Re-Instated libwebp7:ppc64el 308s Re-Instated libtiff6:ppc64el 308s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 308s Re-Instated gtk-update-icon-cache:ppc64el 308s Re-Instated hicolor-icon-theme:ppc64el 308s Re-Instated humanity-icon-theme:ppc64el 308s Re-Instated ubuntu-mono:ppc64el 308s Re-Instated adwaita-icon-theme:ppc64el 308s Re-Instated at-spi2-common:ppc64el 308s Re-Instated libatk1.0-0:ppc64el 308s Re-Instated libxi6:ppc64el 308s Re-Instated libatspi2.0-0:ppc64el 308s Re-Instated libatk-bridge2.0-0:ppc64el 308s Re-Instated libcairo-gobject2:ppc64el 308s Re-Instated liblcms2-2:ppc64el 308s Re-Instated libcolord2:ppc64el 308s Re-Instated libavahi-common-data:ppc64el 308s Re-Instated libavahi-common3:ppc64el 308s Re-Instated libavahi-client3:ppc64el 308s Re-Instated libcups2:ppc64el 308s Re-Instated libepoxy0:ppc64el 308s Re-Instated libgraphite2-3:ppc64el 308s Re-Instated libharfbuzz0b:ppc64el 308s Re-Instated fontconfig:ppc64el 308s Re-Instated libthai-data:ppc64el 308s Re-Instated libdatrie1:ppc64el 308s Re-Instated libthai0:ppc64el 308s Re-Instated libpango-1.0-0:ppc64el 308s Re-Instated libpangoft2-1.0-0:ppc64el 308s Re-Instated libpangocairo-1.0-0:ppc64el 308s Re-Instated libwayland-client0:ppc64el 308s Re-Instated libwayland-cursor0:ppc64el 308s Re-Instated libwayland-egl1:ppc64el 308s Re-Instated libxcomposite1:ppc64el 308s Re-Instated libxfixes3:ppc64el 308s Re-Instated libxcursor1:ppc64el 308s Re-Instated libxdamage1:ppc64el 308s Re-Instated libxinerama1:ppc64el 308s Re-Instated libxrandr2:ppc64el 308s Re-Instated libdconf1:ppc64el 308s Re-Instated dconf-service:ppc64el 308s Re-Instated dconf-gsettings-backend:ppc64el 308s Re-Instated libgtk-3-common:ppc64el 308s Re-Instated libgtk-3-0:ppc64el 308s Re-Instated libgtksourceview-3.0-common:ppc64el 308s Re-Instated libgtksourceview-3.0-1:ppc64el 308s Re-Instated libstdlib-ocaml:ppc64el 308s Re-Instated ocaml-base:ppc64el 308s Re-Instated libcairo2-ocaml:ppc64el 308s Re-Instated liblablgtk3-ocaml:ppc64el 308s Re-Instated liblablgtksourceview3-ocaml:ppc64el 308s Re-Instated tex-common:ppc64el 308s Re-Instated why3:ppc64el 308s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un H > (>= 2.0.0) 308s Done 308s Some packages could not be installed. This may mean that you have 308s requested an impossible situation or if you are using the unstable 308s distribution that some required packages have not yet been created 308s or been moved out of Incoming. 308s The following information may help to resolve the situation: 308s 308s The following packages have unmet dependencies: 308s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 308s E: Unable to correct problems, you have held broken packages. 308s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 308s Reading package lists... 309s Building dependency tree... 309s Reading state information... 309s Starting pkgProblemResolver with broken count: 1 309s Starting 2 pkgProblemResolver with broken count: 1 309s Investigating (0) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib > 309s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build4 @un uH > 309s Considering why3:ppc64el 1 as a solution to autopkgtest-satdep:ppc64el 9998 309s Re-Instated fonts-dejavu-mono:ppc64el 309s Re-Instated fonts-dejavu-core:ppc64el 309s Re-Instated fontconfig-config:ppc64el 309s Re-Instated libfontconfig1:ppc64el 309s Re-Instated libpixman-1-0:ppc64el 309s Re-Instated libxcb-render0:ppc64el 309s Re-Instated libxcb-shm0:ppc64el 309s Re-Instated libxrender1:ppc64el 309s Re-Instated libcairo2:ppc64el 309s Re-Instated libgdk-pixbuf2.0-common:ppc64el 309s Re-Instated libjpeg-turbo8:ppc64el 309s Re-Instated libjpeg8:ppc64el 309s Re-Instated libdeflate0:ppc64el 309s Re-Instated libjbig0:ppc64el 309s Re-Instated liblerc4:ppc64el 309s Re-Instated libsharpyuv0:ppc64el 309s Re-Instated libwebp7:ppc64el 309s Re-Instated libtiff6:ppc64el 309s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 309s Re-Instated gtk-update-icon-cache:ppc64el 309s Re-Instated hicolor-icon-theme:ppc64el 309s Re-Instated humanity-icon-theme:ppc64el 309s Re-Instated ubuntu-mono:ppc64el 309s Re-Instated adwaita-icon-theme:ppc64el 309s Re-Instated at-spi2-common:ppc64el 309s Re-Instated libatk1.0-0:ppc64el 309s Re-Instated libxi6:ppc64el 309s Re-Instated libatspi2.0-0:ppc64el 309s Re-Instated libatk-bridge2.0-0:ppc64el 309s Re-Instated libcairo-gobject2:ppc64el 309s Re-Instated liblcms2-2:ppc64el 309s Re-Instated libcolord2:ppc64el 309s Re-Instated libavahi-common-data:ppc64el 309s Re-Instated libavahi-common3:ppc64el 309s Re-Instated libavahi-client3:ppc64el 309s Re-Instated libcups2:ppc64el 309s Re-Instated libepoxy0:ppc64el 309s Re-Instated libgraphite2-3:ppc64el 309s Re-Instated libharfbuzz0b:ppc64el 309s Re-Instated fontconfig:ppc64el 309s Re-Instated libthai-data:ppc64el 309s Re-Instated libdatrie1:ppc64el 309s Re-Instated libthai0:ppc64el 309s Re-Instated libpango-1.0-0:ppc64el 309s Re-Instated libpangoft2-1.0-0:ppc64el 309s Re-Instated libpangocairo-1.0-0:ppc64el 309s Re-Instated libwayland-client0:ppc64el 309s Re-Instated libwayland-cursor0:ppc64el 309s Re-Instated libwayland-egl1:ppc64el 309s Re-Instated libxcomposite1:ppc64el 309s Re-Instated libxfixes3:ppc64el 309s Re-Instated libxcursor1:ppc64el 309s Re-Instated libxdamage1:ppc64el 309s Re-Instated libxinerama1:ppc64el 309s Re-Instated libxrandr2:ppc64el 309s Re-Instated libdconf1:ppc64el 309s Re-Instated dconf-service:ppc64el 309s Re-Instated dconf-gsettings-backend:ppc64el 309s Re-Instated libgtk-3-common:ppc64el 309s Re-Instated libgtk-3-0:ppc64el 309s Re-Instated libgtksourceview-3.0-common:ppc64el 309s Re-Instated libgtksourceview-3.0-1:ppc64el 309s Re-Instated libstdlib-ocaml:ppc64el 309s Re-Instated ocaml-base:ppc64el 309s Re-Instated libcairo2-ocaml:ppc64el 309s Re-Instated liblablgtk3-ocaml:ppc64el 309s Re-Instated liblablgtksourceview3-ocaml:ppc64el 309s Re-Instated tex-common:ppc64el 309s Re-Instated why3:ppc64el 309s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un H > (>= 2.0.0) 309s Done 309s Some packages could not be installed. This may mean that you have 309s requested an impossible situation or if you are using the unstable 309s distribution that some required packages have not yet been created 309s or been moved out of Incoming. 309s The following information may help to resolve the situation: 309s 309s The following packages have unmet dependencies: 309s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 309s E: Unable to correct problems, you have held broken packages. 309s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 309s why3+alt-ergo SKIP installation fails and skip-not-installable set 309s autopkgtest [11:30:20]: test why3+cvc4: preparing testbed 552s autopkgtest [11:34:23]: testbed dpkg architecture: ppc64el 552s autopkgtest [11:34:23]: testbed apt version: 2.7.12 552s autopkgtest [11:34:23]: @@@@@@@@@@@@@@@@@@@@ test bed setup 554s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 554s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 555s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 555s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 555s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3975 kB] 555s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [659 kB] 555s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 555s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 555s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 555s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4247 kB] 556s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 556s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [60.8 kB] 556s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 559s Fetched 9630 kB in 3s (2802 kB/s) 560s Reading package lists... 563s Reading package lists... 563s Building dependency tree... 563s Reading state information... 563s Calculating upgrade... 563s The following packages will be upgraded: 563s libbsd0 libc-bin libc6 locales 563s 4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 563s Need to get 8313 kB of archives. 563s After this operation, 2048 B of additional disk space will be used. 563s Get:1 http://ftpmaster.internal/ubuntu noble/main ppc64el libc6 ppc64el 2.39-0ubuntu6 [3274 kB] 564s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libc-bin ppc64el 2.39-0ubuntu6 [751 kB] 564s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libbsd0 ppc64el 0.12.1-1 [56.9 kB] 564s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el locales all 2.39-0ubuntu6 [4232 kB] 565s Preconfiguring packages ... 565s Fetched 8313 kB in 2s (4450 kB/s) 565s (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 ... 70156 files and directories currently installed.) 565s Preparing to unpack .../libc6_2.39-0ubuntu6_ppc64el.deb ... 566s Unpacking libc6:ppc64el (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 566s Setting up libc6:ppc64el (2.39-0ubuntu6) ... 566s (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 ... 70156 files and directories currently installed.) 566s Preparing to unpack .../libc-bin_2.39-0ubuntu6_ppc64el.deb ... 566s Unpacking libc-bin (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 566s Setting up libc-bin (2.39-0ubuntu6) ... 567s (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 ... 70156 files and directories currently installed.) 567s Preparing to unpack .../libbsd0_0.12.1-1_ppc64el.deb ... 567s Unpacking libbsd0:ppc64el (0.12.1-1) over (0.11.8-1) ... 567s Preparing to unpack .../locales_2.39-0ubuntu6_all.deb ... 567s Unpacking locales (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 567s Setting up locales (2.39-0ubuntu6) ... 567s Generating locales (this might take a while)... 569s en_US.UTF-8... done 569s Generation complete. 569s Setting up libbsd0:ppc64el (0.12.1-1) ... 569s Processing triggers for man-db (2.12.0-3) ... 570s Processing triggers for libc-bin (2.39-0ubuntu6) ... 570s Reading package lists... 570s Building dependency tree... 570s Reading state information... 570s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 571s sh: Attempting to set up Debian/Ubuntu apt sources automatically 571s sh: Distribution appears to be Ubuntu 572s Reading package lists... 572s Building dependency tree... 572s Reading state information... 572s eatmydata is already the newest version (131-1). 572s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 572s Reading package lists... 573s Building dependency tree... 573s Reading state information... 573s dbus is already the newest version (1.14.10-4ubuntu1). 573s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 573s Reading package lists... 573s Building dependency tree... 573s Reading state information... 573s rng-tools-debian is already the newest version (2.4). 573s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 573s Reading package lists... 573s Building dependency tree... 573s Reading state information... 573s The following packages will be REMOVED: 573s cloud-init* python3-configobj* python3-debconf* 574s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 574s After this operation, 3256 kB disk space will be freed. 574s (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 ... 70156 files and directories currently installed.) 574s Removing cloud-init (24.1.2-0ubuntu1) ... 574s Removing python3-configobj (5.0.8-3) ... 574s Removing python3-debconf (1.5.86) ... 574s Processing triggers for man-db (2.12.0-3) ... 575s (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 ... 69767 files and directories currently installed.) 575s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 575s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 575s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 576s invoke-rc.d: policy-rc.d denied execution of try-restart. 576s Reading package lists... 576s Building dependency tree... 576s Reading state information... 577s linux-generic is already the newest version (6.8.0-11.11+1). 577s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 577s Get:1 http://ftpmaster.internal/ubuntu noble InRelease [255 kB] 577s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 577s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 577s Get:4 http://ftpmaster.internal/ubuntu noble/universe Sources [19.8 MB] 582s Get:5 http://ftpmaster.internal/ubuntu noble/universe ppc64el Packages [15.2 MB] 590s Fetched 35.3 MB in 12s (2880 kB/s) 591s Reading package lists... 591s Reading package lists... 591s Building dependency tree... 591s Reading state information... 591s Calculating upgrade... 591s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 591s Reading package lists... 592s Building dependency tree... 592s Reading state information... 592s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 592s autopkgtest [11:35:03]: rebooting testbed after setup commands that affected boot 766s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 789s Reading package lists... 789s Building dependency tree... 789s Reading state information... 789s Starting pkgProblemResolver with broken count: 0 789s Starting 2 pkgProblemResolver with broken count: 0 789s Done 789s The following additional packages will be installed: 789s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 789s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 789s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 789s libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 789s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 789s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 libcvc4-7 789s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 789s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 789s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 789s libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 789s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 libpango-1.0-0 789s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 789s libstdlib-ocaml libthai-data libthai0 libtiff6 libwayland-client0 789s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 789s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 789s libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 789s Suggested packages: 789s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 789s Recommended packages: 789s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 789s The following NEW packages will be installed: 789s adwaita-icon-theme at-spi2-common autopkgtest-satdep cvc4 789s dconf-gsettings-backend dconf-service fontconfig fontconfig-config 789s fonts-dejavu-core fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 789s humanity-icon-theme libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 789s libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 789s libcairo-gobject2 libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 789s libcvc4-7 libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 789s libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 789s libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 789s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 789s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 789s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 789s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 789s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 789s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 789s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 789s why3 789s 0 upgraded, 75 newly installed, 0 to remove and 0 not upgraded. 789s Need to get 39.8 MB/39.8 MB of archives. 789s After this operation, 185 MB of additional disk space will be used. 789s Get:1 /tmp/autopkgtest.VtTi6e/2-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [720 B] 790s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 790s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-2ubuntu1 [212 kB] 790s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 790s Get:5 http://ftpmaster.internal/ubuntu noble/main ppc64el libdeflate0 ppc64el 1.19-1 [61.9 kB] 790s Get:6 http://ftpmaster.internal/ubuntu noble/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu1 [34.7 kB] 790s Get:7 http://ftpmaster.internal/ubuntu noble/main ppc64el liblerc4 ppc64el 4.0.0+ds-4ubuntu1 [266 kB] 790s Get:8 http://ftpmaster.internal/ubuntu noble/main ppc64el libsharpyuv0 ppc64el 1.3.2-0.4 [28.7 kB] 790s Get:9 http://ftpmaster.internal/ubuntu noble/main ppc64el libwebp7 ppc64el 1.3.2-0.4 [312 kB] 790s Get:10 http://ftpmaster.internal/ubuntu noble/main ppc64el libtiff6 ppc64el 4.5.1+git230720-3ubuntu1 [323 kB] 790s Get:11 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.10+dfsg-3 [186 kB] 790s Get:12 http://ftpmaster.internal/ubuntu noble/main ppc64el gtk-update-icon-cache ppc64el 3.24.40-2ubuntu1 [53.2 kB] 790s Get:13 http://ftpmaster.internal/ubuntu noble/main ppc64el hicolor-icon-theme all 0.17-2 [9976 B] 790s Get:14 http://ftpmaster.internal/ubuntu noble/main ppc64el humanity-icon-theme all 0.6.16 [1282 kB] 790s Get:15 http://ftpmaster.internal/ubuntu noble/main ppc64el ubuntu-mono all 24.04-0ubuntu1 [151 kB] 790s Get:16 http://ftpmaster.internal/ubuntu noble/main ppc64el adwaita-icon-theme all 46~rc-1 [723 kB] 790s Get:17 http://ftpmaster.internal/ubuntu noble/main ppc64el at-spi2-common all 2.50.0-1 [7864 B] 790s Get:18 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 790s Get:19 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcvc4-7 ppc64el 1.8-3 [4688 kB] 791s Get:20 http://ftpmaster.internal/ubuntu noble/universe ppc64el libantlr3c-3.4-0 ppc64el 3.4+dfsg-4build1 [52.0 kB] 791s Get:21 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcvc4parser7 ppc64el 1.8-3 [386 kB] 791s Get:22 http://ftpmaster.internal/ubuntu noble/universe ppc64el cvc4 ppc64el 1.8-3 [75.9 kB] 791s Get:23 http://ftpmaster.internal/ubuntu noble/main ppc64el libdconf1 ppc64el 0.40.0-4 [43.0 kB] 791s Get:24 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-service ppc64el 0.40.0-4 [31.0 kB] 791s Get:25 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-4 [25.3 kB] 791s Get:26 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 791s Get:27 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 791s Get:28 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig-config ppc64el 2.15.0-1ubuntu1 [37.0 kB] 791s Get:29 http://ftpmaster.internal/ubuntu noble/main ppc64el libfontconfig1 ppc64el 2.15.0-1ubuntu1 [190 kB] 791s Get:30 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig ppc64el 2.15.0-1ubuntu1 [192 kB] 791s Get:31 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk1.0-0 ppc64el 2.50.0-1 [57.8 kB] 791s Get:32 http://ftpmaster.internal/ubuntu noble/main ppc64el libxi6 ppc64el 2:1.8.1-1 [37.9 kB] 791s Get:33 http://ftpmaster.internal/ubuntu noble/main ppc64el libatspi2.0-0 ppc64el 2.50.0-1 [93.5 kB] 791s Get:34 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk-bridge2.0-0 ppc64el 2.50.0-1 [75.5 kB] 791s Get:35 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common-data ppc64el 0.8-13ubuntu2 [29.5 kB] 791s Get:36 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common3 ppc64el 0.8-13ubuntu2 [25.8 kB] 791s Get:37 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-client3 ppc64el 0.8-13ubuntu2 [30.6 kB] 791s Get:38 http://ftpmaster.internal/ubuntu noble/main ppc64el libpixman-1-0 ppc64el 0.42.2-1 [300 kB] 791s Get:39 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-render0 ppc64el 1.15-1 [17.2 kB] 791s Get:40 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-shm0 ppc64el 1.15-1 [5896 B] 791s Get:41 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1 [23.3 kB] 791s Get:42 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo2 ppc64el 1.18.0-1 [735 kB] 791s Get:43 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo-gobject2 ppc64el 1.18.0-1 [127 kB] 791s Get:44 http://ftpmaster.internal/ubuntu noble/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB] 791s Get:45 http://ftpmaster.internal/ubuntu noble/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB] 791s Get:46 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcairo2-ocaml ppc64el 0.6.4+dfsg-2build2 [27.5 kB] 791s Get:47 http://ftpmaster.internal/ubuntu noble/main ppc64el liblcms2-2 ppc64el 2.14-2 [243 kB] 791s Get:48 http://ftpmaster.internal/ubuntu noble/main ppc64el libcolord2 ppc64el 1.4.7-1 [164 kB] 791s Get:49 http://ftpmaster.internal/ubuntu noble/main ppc64el libcups2 ppc64el 2.4.6-0ubuntu3 [344 kB] 791s Get:50 http://ftpmaster.internal/ubuntu noble/main ppc64el libdatrie1 ppc64el 0.2.13-3 [25.1 kB] 791s Get:51 http://ftpmaster.internal/ubuntu noble/main ppc64el libepoxy0 ppc64el 1.5.10-1 [247 kB] 791s Get:52 http://ftpmaster.internal/ubuntu noble/main ppc64el libgraphite2-3 ppc64el 1.3.14-2 [105 kB] 791s Get:53 http://ftpmaster.internal/ubuntu noble/main ppc64el libharfbuzz0b ppc64el 8.3.0-2 [576 kB] 791s Get:54 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai-data all 0.1.29-2 [158 kB] 791s Get:55 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai0 ppc64el 0.1.29-2 [21.4 kB] 791s Get:56 http://ftpmaster.internal/ubuntu noble/main ppc64el libpango-1.0-0 ppc64el 1.51.0+ds-4 [266 kB] 791s Get:57 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangoft2-1.0-0 ppc64el 1.51.0+ds-4 [49.5 kB] 791s Get:58 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangocairo-1.0-0 ppc64el 1.51.0+ds-4 [31.2 kB] 791s Get:59 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-client0 ppc64el 1.22.0-2.1 [29.4 kB] 791s Get:60 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-cursor0 ppc64el 1.22.0-2.1 [11.4 kB] 791s Get:61 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-egl1 ppc64el 1.22.0-2.1 [5626 B] 791s Get:62 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcomposite1 ppc64el 1:0.4.5-1build2 [7400 B] 791s Get:63 http://ftpmaster.internal/ubuntu noble/main ppc64el libxfixes3 ppc64el 1:6.0.0-2 [11.6 kB] 791s Get:64 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcursor1 ppc64el 1:1.2.1-1 [26.9 kB] 791s Get:65 http://ftpmaster.internal/ubuntu noble/main ppc64el libxdamage1 ppc64el 1:1.1.6-1 [6320 B] 791s Get:66 http://ftpmaster.internal/ubuntu noble/main ppc64el libxinerama1 ppc64el 2:1.1.4-3 [7658 B] 791s Get:67 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrandr2 ppc64el 2:1.5.2-2 [22.7 kB] 791s Get:68 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 791s Get:69 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-0 ppc64el 3.24.40-2ubuntu1 [3344 kB] 791s Get:70 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 791s Get:71 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-2build1 [271 kB] 791s Get:72 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.4-1 [4114 kB] 792s Get:73 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.4-1 [354 kB] 792s Get:74 http://ftpmaster.internal/ubuntu noble/universe ppc64el tex-common all 6.18 [32.8 kB] 792s Get:75 http://ftpmaster.internal/ubuntu noble/universe ppc64el why3 ppc64el 1.6.0-1build4 [14.3 MB] 792s Fetched 39.8 MB in 3s (15.6 MB/s) 792s Selecting previously unselected package libgdk-pixbuf2.0-common. 793s (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 ... 69712 files and directories currently installed.) 793s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 793s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 793s Selecting previously unselected package libjpeg-turbo8:ppc64el. 793s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_ppc64el.deb ... 793s Unpacking libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 793s Selecting previously unselected package libjpeg8:ppc64el. 793s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 793s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 793s Selecting previously unselected package libdeflate0:ppc64el. 793s Preparing to unpack .../03-libdeflate0_1.19-1_ppc64el.deb ... 793s Unpacking libdeflate0:ppc64el (1.19-1) ... 793s Selecting previously unselected package libjbig0:ppc64el. 793s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_ppc64el.deb ... 793s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu1) ... 793s Selecting previously unselected package liblerc4:ppc64el. 793s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_ppc64el.deb ... 793s Unpacking liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 793s Selecting previously unselected package libsharpyuv0:ppc64el. 793s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_ppc64el.deb ... 793s Unpacking libsharpyuv0:ppc64el (1.3.2-0.4) ... 793s Selecting previously unselected package libwebp7:ppc64el. 793s Preparing to unpack .../07-libwebp7_1.3.2-0.4_ppc64el.deb ... 793s Unpacking libwebp7:ppc64el (1.3.2-0.4) ... 793s Selecting previously unselected package libtiff6:ppc64el. 793s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_ppc64el.deb ... 793s Unpacking libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 793s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 793s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_ppc64el.deb ... 793s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 793s Selecting previously unselected package gtk-update-icon-cache. 793s Preparing to unpack .../10-gtk-update-icon-cache_3.24.40-2ubuntu1_ppc64el.deb ... 793s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 793s Selecting previously unselected package hicolor-icon-theme. 793s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 793s Unpacking hicolor-icon-theme (0.17-2) ... 793s Selecting previously unselected package humanity-icon-theme. 793s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 793s Unpacking humanity-icon-theme (0.6.16) ... 794s Selecting previously unselected package ubuntu-mono. 794s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 794s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 794s Selecting previously unselected package adwaita-icon-theme. 794s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 794s Unpacking adwaita-icon-theme (46~rc-1) ... 794s Selecting previously unselected package at-spi2-common. 794s Preparing to unpack .../15-at-spi2-common_2.50.0-1_all.deb ... 794s Unpacking at-spi2-common (2.50.0-1) ... 794s Selecting previously unselected package libcln6:ppc64el. 794s Preparing to unpack .../16-libcln6_1.3.7-1_ppc64el.deb ... 794s Unpacking libcln6:ppc64el (1.3.7-1) ... 794s Selecting previously unselected package libcvc4-7:ppc64el. 794s Preparing to unpack .../17-libcvc4-7_1.8-3_ppc64el.deb ... 794s Unpacking libcvc4-7:ppc64el (1.8-3) ... 794s Selecting previously unselected package libantlr3c-3.4-0:ppc64el. 794s Preparing to unpack .../18-libantlr3c-3.4-0_3.4+dfsg-4build1_ppc64el.deb ... 794s Unpacking libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build1) ... 794s Selecting previously unselected package libcvc4parser7:ppc64el. 794s Preparing to unpack .../19-libcvc4parser7_1.8-3_ppc64el.deb ... 794s Unpacking libcvc4parser7:ppc64el (1.8-3) ... 795s Selecting previously unselected package cvc4. 795s Preparing to unpack .../20-cvc4_1.8-3_ppc64el.deb ... 795s Unpacking cvc4 (1.8-3) ... 795s Selecting previously unselected package libdconf1:ppc64el. 795s Preparing to unpack .../21-libdconf1_0.40.0-4_ppc64el.deb ... 795s Unpacking libdconf1:ppc64el (0.40.0-4) ... 795s Selecting previously unselected package dconf-service. 795s Preparing to unpack .../22-dconf-service_0.40.0-4_ppc64el.deb ... 795s Unpacking dconf-service (0.40.0-4) ... 795s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 795s Preparing to unpack .../23-dconf-gsettings-backend_0.40.0-4_ppc64el.deb ... 795s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-4) ... 795s Selecting previously unselected package fonts-dejavu-mono. 795s Preparing to unpack .../24-fonts-dejavu-mono_2.37-8_all.deb ... 795s Unpacking fonts-dejavu-mono (2.37-8) ... 795s Selecting previously unselected package fonts-dejavu-core. 795s Preparing to unpack .../25-fonts-dejavu-core_2.37-8_all.deb ... 795s Unpacking fonts-dejavu-core (2.37-8) ... 795s Selecting previously unselected package fontconfig-config. 795s Preparing to unpack .../26-fontconfig-config_2.15.0-1ubuntu1_ppc64el.deb ... 795s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 795s Selecting previously unselected package libfontconfig1:ppc64el. 795s Preparing to unpack .../27-libfontconfig1_2.15.0-1ubuntu1_ppc64el.deb ... 795s Unpacking libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 795s Selecting previously unselected package fontconfig. 795s Preparing to unpack .../28-fontconfig_2.15.0-1ubuntu1_ppc64el.deb ... 795s Unpacking fontconfig (2.15.0-1ubuntu1) ... 795s Selecting previously unselected package libatk1.0-0:ppc64el. 795s Preparing to unpack .../29-libatk1.0-0_2.50.0-1_ppc64el.deb ... 795s Unpacking libatk1.0-0:ppc64el (2.50.0-1) ... 795s Selecting previously unselected package libxi6:ppc64el. 795s Preparing to unpack .../30-libxi6_2%3a1.8.1-1_ppc64el.deb ... 795s Unpacking libxi6:ppc64el (2:1.8.1-1) ... 795s Selecting previously unselected package libatspi2.0-0:ppc64el. 795s Preparing to unpack .../31-libatspi2.0-0_2.50.0-1_ppc64el.deb ... 795s Unpacking libatspi2.0-0:ppc64el (2.50.0-1) ... 795s Selecting previously unselected package libatk-bridge2.0-0:ppc64el. 795s Preparing to unpack .../32-libatk-bridge2.0-0_2.50.0-1_ppc64el.deb ... 795s Unpacking libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 795s Selecting previously unselected package libavahi-common-data:ppc64el. 795s Preparing to unpack .../33-libavahi-common-data_0.8-13ubuntu2_ppc64el.deb ... 795s Unpacking libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 795s Selecting previously unselected package libavahi-common3:ppc64el. 795s Preparing to unpack .../34-libavahi-common3_0.8-13ubuntu2_ppc64el.deb ... 795s Unpacking libavahi-common3:ppc64el (0.8-13ubuntu2) ... 795s Selecting previously unselected package libavahi-client3:ppc64el. 795s Preparing to unpack .../35-libavahi-client3_0.8-13ubuntu2_ppc64el.deb ... 795s Unpacking libavahi-client3:ppc64el (0.8-13ubuntu2) ... 795s Selecting previously unselected package libpixman-1-0:ppc64el. 795s Preparing to unpack .../36-libpixman-1-0_0.42.2-1_ppc64el.deb ... 795s Unpacking libpixman-1-0:ppc64el (0.42.2-1) ... 795s Selecting previously unselected package libxcb-render0:ppc64el. 795s Preparing to unpack .../37-libxcb-render0_1.15-1_ppc64el.deb ... 795s Unpacking libxcb-render0:ppc64el (1.15-1) ... 795s Selecting previously unselected package libxcb-shm0:ppc64el. 795s Preparing to unpack .../38-libxcb-shm0_1.15-1_ppc64el.deb ... 795s Unpacking libxcb-shm0:ppc64el (1.15-1) ... 795s Selecting previously unselected package libxrender1:ppc64el. 795s Preparing to unpack .../39-libxrender1_1%3a0.9.10-1.1_ppc64el.deb ... 795s Unpacking libxrender1:ppc64el (1:0.9.10-1.1) ... 795s Selecting previously unselected package libcairo2:ppc64el. 795s Preparing to unpack .../40-libcairo2_1.18.0-1_ppc64el.deb ... 795s Unpacking libcairo2:ppc64el (1.18.0-1) ... 795s Selecting previously unselected package libcairo-gobject2:ppc64el. 795s Preparing to unpack .../41-libcairo-gobject2_1.18.0-1_ppc64el.deb ... 795s Unpacking libcairo-gobject2:ppc64el (1.18.0-1) ... 795s Selecting previously unselected package libstdlib-ocaml. 795s Preparing to unpack .../42-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ... 795s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 795s Selecting previously unselected package ocaml-base. 795s Preparing to unpack .../43-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ... 795s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 795s Selecting previously unselected package libcairo2-ocaml. 795s Preparing to unpack .../44-libcairo2-ocaml_0.6.4+dfsg-2build2_ppc64el.deb ... 795s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 795s Selecting previously unselected package liblcms2-2:ppc64el. 795s Preparing to unpack .../45-liblcms2-2_2.14-2_ppc64el.deb ... 795s Unpacking liblcms2-2:ppc64el (2.14-2) ... 795s Selecting previously unselected package libcolord2:ppc64el. 795s Preparing to unpack .../46-libcolord2_1.4.7-1_ppc64el.deb ... 795s Unpacking libcolord2:ppc64el (1.4.7-1) ... 795s Selecting previously unselected package libcups2:ppc64el. 795s Preparing to unpack .../47-libcups2_2.4.6-0ubuntu3_ppc64el.deb ... 795s Unpacking libcups2:ppc64el (2.4.6-0ubuntu3) ... 795s Selecting previously unselected package libdatrie1:ppc64el. 795s Preparing to unpack .../48-libdatrie1_0.2.13-3_ppc64el.deb ... 795s Unpacking libdatrie1:ppc64el (0.2.13-3) ... 795s Selecting previously unselected package libepoxy0:ppc64el. 795s Preparing to unpack .../49-libepoxy0_1.5.10-1_ppc64el.deb ... 795s Unpacking libepoxy0:ppc64el (1.5.10-1) ... 795s Selecting previously unselected package libgraphite2-3:ppc64el. 795s Preparing to unpack .../50-libgraphite2-3_1.3.14-2_ppc64el.deb ... 795s Unpacking libgraphite2-3:ppc64el (1.3.14-2) ... 795s Selecting previously unselected package libharfbuzz0b:ppc64el. 795s Preparing to unpack .../51-libharfbuzz0b_8.3.0-2_ppc64el.deb ... 795s Unpacking libharfbuzz0b:ppc64el (8.3.0-2) ... 795s Selecting previously unselected package libthai-data. 795s Preparing to unpack .../52-libthai-data_0.1.29-2_all.deb ... 795s Unpacking libthai-data (0.1.29-2) ... 795s Selecting previously unselected package libthai0:ppc64el. 795s Preparing to unpack .../53-libthai0_0.1.29-2_ppc64el.deb ... 795s Unpacking libthai0:ppc64el (0.1.29-2) ... 795s Selecting previously unselected package libpango-1.0-0:ppc64el. 795s Preparing to unpack .../54-libpango-1.0-0_1.51.0+ds-4_ppc64el.deb ... 795s Unpacking libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 795s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 795s Preparing to unpack .../55-libpangoft2-1.0-0_1.51.0+ds-4_ppc64el.deb ... 795s Unpacking libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 795s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 795s Preparing to unpack .../56-libpangocairo-1.0-0_1.51.0+ds-4_ppc64el.deb ... 795s Unpacking libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 795s Selecting previously unselected package libwayland-client0:ppc64el. 795s Preparing to unpack .../57-libwayland-client0_1.22.0-2.1_ppc64el.deb ... 795s Unpacking libwayland-client0:ppc64el (1.22.0-2.1) ... 795s Selecting previously unselected package libwayland-cursor0:ppc64el. 795s Preparing to unpack .../58-libwayland-cursor0_1.22.0-2.1_ppc64el.deb ... 795s Unpacking libwayland-cursor0:ppc64el (1.22.0-2.1) ... 795s Selecting previously unselected package libwayland-egl1:ppc64el. 795s Preparing to unpack .../59-libwayland-egl1_1.22.0-2.1_ppc64el.deb ... 795s Unpacking libwayland-egl1:ppc64el (1.22.0-2.1) ... 795s Selecting previously unselected package libxcomposite1:ppc64el. 796s Preparing to unpack .../60-libxcomposite1_1%3a0.4.5-1build2_ppc64el.deb ... 796s Unpacking libxcomposite1:ppc64el (1:0.4.5-1build2) ... 796s Selecting previously unselected package libxfixes3:ppc64el. 796s Preparing to unpack .../61-libxfixes3_1%3a6.0.0-2_ppc64el.deb ... 796s Unpacking libxfixes3:ppc64el (1:6.0.0-2) ... 796s Selecting previously unselected package libxcursor1:ppc64el. 796s Preparing to unpack .../62-libxcursor1_1%3a1.2.1-1_ppc64el.deb ... 796s Unpacking libxcursor1:ppc64el (1:1.2.1-1) ... 796s Selecting previously unselected package libxdamage1:ppc64el. 796s Preparing to unpack .../63-libxdamage1_1%3a1.1.6-1_ppc64el.deb ... 796s Unpacking libxdamage1:ppc64el (1:1.1.6-1) ... 796s Selecting previously unselected package libxinerama1:ppc64el. 796s Preparing to unpack .../64-libxinerama1_2%3a1.1.4-3_ppc64el.deb ... 796s Unpacking libxinerama1:ppc64el (2:1.1.4-3) ... 796s Selecting previously unselected package libxrandr2:ppc64el. 796s Preparing to unpack .../65-libxrandr2_2%3a1.5.2-2_ppc64el.deb ... 796s Unpacking libxrandr2:ppc64el (2:1.5.2-2) ... 796s Selecting previously unselected package libgtk-3-common. 796s Preparing to unpack .../66-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 796s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 796s Selecting previously unselected package libgtk-3-0:ppc64el. 796s Preparing to unpack .../67-libgtk-3-0_3.24.40-2ubuntu1_ppc64el.deb ... 796s Unpacking libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 796s Selecting previously unselected package libgtksourceview-3.0-common. 796s Preparing to unpack .../68-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 796s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 796s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 796s Preparing to unpack .../69-libgtksourceview-3.0-1_3.24.11-2build1_ppc64el.deb ... 796s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 796s Selecting previously unselected package liblablgtk3-ocaml. 796s Preparing to unpack .../70-liblablgtk3-ocaml_3.1.4-1_ppc64el.deb ... 796s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 796s Selecting previously unselected package liblablgtksourceview3-ocaml. 796s Preparing to unpack .../71-liblablgtksourceview3-ocaml_3.1.4-1_ppc64el.deb ... 796s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 796s Selecting previously unselected package tex-common. 796s Preparing to unpack .../72-tex-common_6.18_all.deb ... 796s Unpacking tex-common (6.18) ... 796s Selecting previously unselected package why3. 796s Preparing to unpack .../73-why3_1.6.0-1build4_ppc64el.deb ... 796s Unpacking why3 (1.6.0-1build4) ... 797s Selecting previously unselected package autopkgtest-satdep. 797s Preparing to unpack .../74-2-autopkgtest-satdep.deb ... 797s Unpacking autopkgtest-satdep (0) ... 797s Setting up libgraphite2-3:ppc64el (1.3.14-2) ... 797s Setting up liblcms2-2:ppc64el (2.14-2) ... 797s Setting up libpixman-1-0:ppc64el (0.42.2-1) ... 797s Setting up libsharpyuv0:ppc64el (1.3.2-0.4) ... 797s Setting up libcln6:ppc64el (1.3.7-1) ... 797s Setting up libxdamage1:ppc64el (1:1.1.6-1) ... 797s Setting up liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 797s Setting up libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build1) ... 797s Setting up hicolor-icon-theme (0.17-2) ... 797s Setting up libxi6:ppc64el (2:1.8.1-1) ... 797s Setting up libxrender1:ppc64el (1:0.9.10-1.1) ... 797s Setting up libdatrie1:ppc64el (0.2.13-3) ... 797s Setting up libxcb-render0:ppc64el (1.15-1) ... 797s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 797s Setting up libdeflate0:ppc64el (1.19-1) ... 797s Setting up libxcb-shm0:ppc64el (1.15-1) ... 797s Setting up libatspi2.0-0:ppc64el (2.50.0-1) ... 797s Setting up libjbig0:ppc64el (2.1-6.1ubuntu1) ... 797s Setting up libcolord2:ppc64el (1.4.7-1) ... 797s Setting up libdconf1:ppc64el (0.40.0-4) ... 797s Setting up tex-common (6.18) ... 797s update-language: texlive-base not installed and configured, doing nothing! 797s Setting up libepoxy0:ppc64el (1.5.10-1) ... 797s Setting up libxfixes3:ppc64el (1:6.0.0-2) ... 797s Setting up libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 797s Setting up libxinerama1:ppc64el (2:1.1.4-3) ... 797s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 797s Setting up fonts-dejavu-mono (2.37-8) ... 797s Setting up libxrandr2:ppc64el (2:1.5.2-2) ... 797s Setting up ocaml-base (4.14.1-1ubuntu1) ... 797s Setting up fonts-dejavu-core (2.37-8) ... 797s Setting up libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 797s Setting up libwebp7:ppc64el (1.3.2-0.4) ... 797s Setting up at-spi2-common (2.50.0-1) ... 797s Setting up libcvc4-7:ppc64el (1.8-3) ... 797s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 797s Setting up libharfbuzz0b:ppc64el (8.3.0-2) ... 797s Setting up libthai-data (0.1.29-2) ... 797s Setting up libatk1.0-0:ppc64el (2.50.0-1) ... 797s Setting up libwayland-egl1:ppc64el (1.22.0-2.1) ... 797s Setting up libxcomposite1:ppc64el (1:0.4.5-1build2) ... 797s Setting up libwayland-client0:ppc64el (1.22.0-2.1) ... 797s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 797s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 797s Setting up libxcursor1:ppc64el (1:1.2.1-1) ... 797s Setting up libavahi-common3:ppc64el (0.8-13ubuntu2) ... 797s Setting up dconf-service (0.40.0-4) ... 797s Setting up libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 797s Setting up libthai0:ppc64el (0.1.29-2) ... 797s Setting up libcvc4parser7:ppc64el (1.8-3) ... 797s Setting up libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 797s Setting up libwayland-cursor0:ppc64el (1.22.0-2.1) ... 797s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 797s Setting up cvc4 (1.8-3) ... 797s Setting up libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 797s Setting up libavahi-client3:ppc64el (0.8-13ubuntu2) ... 797s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 797s Setting up fontconfig (2.15.0-1ubuntu1) ... 799s Regenerating fonts cache... done. 799s Setting up dconf-gsettings-backend:ppc64el (0.40.0-4) ... 799s Setting up libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 799s Setting up libcairo2:ppc64el (1.18.0-1) ... 799s Setting up libcups2:ppc64el (2.4.6-0ubuntu3) ... 799s Setting up libcairo-gobject2:ppc64el (1.18.0-1) ... 799s Setting up libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 799s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 799s Setting up libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 799s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 799s Setting up adwaita-icon-theme (46~rc-1) ... 799s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 799s Setting up humanity-icon-theme (0.6.16) ... 799s Setting up ubuntu-mono (24.04-0ubuntu1) ... 799s Processing triggers for man-db (2.12.0-3) ... 800s Processing triggers for libglib2.0-0:ppc64el (2.79.2-1~ubuntu1) ... 800s Setting up libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 800s Processing triggers for libc-bin (2.39-0ubuntu6) ... 800s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 800s Setting up liblablgtk3-ocaml (3.1.4-1) ... 800s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 800s Setting up why3 (1.6.0-1build4) ... 800s Setting up autopkgtest-satdep (0) ... 800s Processing triggers for libc-bin (2.39-0ubuntu6) ... 803s (Reading database ... 83505 files and directories currently installed.) 803s Removing autopkgtest-satdep (0) ... 809s autopkgtest [11:38:40]: test why3+cvc4: [----------------------- 810s autopkgtest [11:38:41]: test why3+cvc4: -----------------------] 810s why3+cvc4 PASS 810s autopkgtest [11:38:41]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 811s autopkgtest [11:38:42]: test why3+spass: preparing testbed 992s autopkgtest [11:41:43]: testbed dpkg architecture: ppc64el 992s autopkgtest [11:41:43]: testbed apt version: 2.7.12 992s autopkgtest [11:41:43]: @@@@@@@@@@@@@@@@@@@@ test bed setup 993s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 993s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 993s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3975 kB] 993s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 993s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 993s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [659 kB] 994s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 994s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 994s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 994s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4247 kB] 994s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 994s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [60.8 kB] 994s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 998s Fetched 9630 kB in 3s (3683 kB/s) 998s Reading package lists... 1000s Reading package lists... 1001s Building dependency tree... 1001s Reading state information... 1001s Calculating upgrade... 1001s The following packages will be upgraded: 1001s libbsd0 libc-bin libc6 locales 1001s 4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1001s Need to get 8313 kB of archives. 1001s After this operation, 2048 B of additional disk space will be used. 1001s Get:1 http://ftpmaster.internal/ubuntu noble/main ppc64el libc6 ppc64el 2.39-0ubuntu6 [3274 kB] 1003s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libc-bin ppc64el 2.39-0ubuntu6 [751 kB] 1003s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libbsd0 ppc64el 0.12.1-1 [56.9 kB] 1003s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el locales all 2.39-0ubuntu6 [4232 kB] 1004s Preconfiguring packages ... 1004s Fetched 8313 kB in 3s (2749 kB/s) 1005s (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 ... 70156 files and directories currently installed.) 1005s Preparing to unpack .../libc6_2.39-0ubuntu6_ppc64el.deb ... 1005s Unpacking libc6:ppc64el (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 1005s Setting up libc6:ppc64el (2.39-0ubuntu6) ... 1006s (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 ... 70156 files and directories currently installed.) 1006s Preparing to unpack .../libc-bin_2.39-0ubuntu6_ppc64el.deb ... 1006s Unpacking libc-bin (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 1006s Setting up libc-bin (2.39-0ubuntu6) ... 1006s (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 ... 70156 files and directories currently installed.) 1006s Preparing to unpack .../libbsd0_0.12.1-1_ppc64el.deb ... 1006s Unpacking libbsd0:ppc64el (0.12.1-1) over (0.11.8-1) ... 1006s Preparing to unpack .../locales_2.39-0ubuntu6_all.deb ... 1006s Unpacking locales (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 1006s Setting up locales (2.39-0ubuntu6) ... 1007s Generating locales (this might take a while)... 1008s en_US.UTF-8... done 1008s Generation complete. 1008s Setting up libbsd0:ppc64el (0.12.1-1) ... 1008s Processing triggers for man-db (2.12.0-3) ... 1009s Processing triggers for libc-bin (2.39-0ubuntu6) ... 1009s Reading package lists... 1010s Building dependency tree... 1010s Reading state information... 1010s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1011s sh: Attempting to set up Debian/Ubuntu apt sources automatically 1011s sh: Distribution appears to be Ubuntu 1011s Reading package lists... 1012s Building dependency tree... 1012s Reading state information... 1012s eatmydata is already the newest version (131-1). 1012s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1012s Reading package lists... 1012s Building dependency tree... 1012s Reading state information... 1012s dbus is already the newest version (1.14.10-4ubuntu1). 1012s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1012s Reading package lists... 1012s Building dependency tree... 1012s Reading state information... 1013s rng-tools-debian is already the newest version (2.4). 1013s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1013s Reading package lists... 1013s Building dependency tree... 1013s Reading state information... 1013s The following packages will be REMOVED: 1013s cloud-init* python3-configobj* python3-debconf* 1013s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 1013s After this operation, 3256 kB disk space will be freed. 1013s (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 ... 70156 files and directories currently installed.) 1013s Removing cloud-init (24.1.2-0ubuntu1) ... 1014s Removing python3-configobj (5.0.8-3) ... 1014s Removing python3-debconf (1.5.86) ... 1014s Processing triggers for man-db (2.12.0-3) ... 1014s (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 ... 69767 files and directories currently installed.) 1014s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 1015s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 1015s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 1015s invoke-rc.d: policy-rc.d denied execution of try-restart. 1015s Reading package lists... 1015s Building dependency tree... 1015s Reading state information... 1016s linux-generic is already the newest version (6.8.0-11.11+1). 1016s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1016s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 1016s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 1016s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 1019s Reading package lists... 1019s Reading package lists... 1019s Building dependency tree... 1019s Reading state information... 1020s Calculating upgrade... 1020s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1020s Reading package lists... 1020s Building dependency tree... 1020s Reading state information... 1020s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1020s autopkgtest [11:42:11]: rebooting testbed after setup commands that affected boot 1068s Reading package lists... 1068s Building dependency tree... 1068s Reading state information... 1068s Starting pkgProblemResolver with broken count: 0 1068s Starting 2 pkgProblemResolver with broken count: 0 1068s Done 1069s The following additional packages will be installed: 1069s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1069s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1069s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1069s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1069s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1069s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1069s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 1069s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 1069s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 1069s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 1069s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1069s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1069s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1069s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1069s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 1069s ubuntu-mono why3 1069s Suggested packages: 1069s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1069s Recommended packages: 1069s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1069s The following NEW packages will be installed: 1069s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 1069s dconf-service fontconfig fontconfig-config fonts-dejavu-core 1069s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 1069s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 1069s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 1069s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 1069s libdeflate0 libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 1069s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 1069s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1069s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1069s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1069s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1069s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1069s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1069s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 1069s ubuntu-mono why3 1069s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 1069s Need to get 34.4 MB/34.4 MB of archives. 1069s After this operation, 164 MB of additional disk space will be used. 1069s Get:1 /tmp/autopkgtest.VtTi6e/3-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [708 B] 1069s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 1069s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-2ubuntu1 [212 kB] 1069s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 1069s Get:5 http://ftpmaster.internal/ubuntu noble/main ppc64el libdeflate0 ppc64el 1.19-1 [61.9 kB] 1069s Get:6 http://ftpmaster.internal/ubuntu noble/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu1 [34.7 kB] 1069s Get:7 http://ftpmaster.internal/ubuntu noble/main ppc64el liblerc4 ppc64el 4.0.0+ds-4ubuntu1 [266 kB] 1069s Get:8 http://ftpmaster.internal/ubuntu noble/main ppc64el libsharpyuv0 ppc64el 1.3.2-0.4 [28.7 kB] 1069s Get:9 http://ftpmaster.internal/ubuntu noble/main ppc64el libwebp7 ppc64el 1.3.2-0.4 [312 kB] 1069s Get:10 http://ftpmaster.internal/ubuntu noble/main ppc64el libtiff6 ppc64el 4.5.1+git230720-3ubuntu1 [323 kB] 1069s Get:11 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.10+dfsg-3 [186 kB] 1070s Get:12 http://ftpmaster.internal/ubuntu noble/main ppc64el gtk-update-icon-cache ppc64el 3.24.40-2ubuntu1 [53.2 kB] 1070s Get:13 http://ftpmaster.internal/ubuntu noble/main ppc64el hicolor-icon-theme all 0.17-2 [9976 B] 1070s Get:14 http://ftpmaster.internal/ubuntu noble/main ppc64el humanity-icon-theme all 0.6.16 [1282 kB] 1070s Get:15 http://ftpmaster.internal/ubuntu noble/main ppc64el ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1070s Get:16 http://ftpmaster.internal/ubuntu noble/main ppc64el adwaita-icon-theme all 46~rc-1 [723 kB] 1070s Get:17 http://ftpmaster.internal/ubuntu noble/main ppc64el at-spi2-common all 2.50.0-1 [7864 B] 1070s Get:18 http://ftpmaster.internal/ubuntu noble/main ppc64el libdconf1 ppc64el 0.40.0-4 [43.0 kB] 1070s Get:19 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-service ppc64el 0.40.0-4 [31.0 kB] 1070s Get:20 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-4 [25.3 kB] 1070s Get:21 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 1070s Get:22 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 1070s Get:23 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig-config ppc64el 2.15.0-1ubuntu1 [37.0 kB] 1070s Get:24 http://ftpmaster.internal/ubuntu noble/main ppc64el libfontconfig1 ppc64el 2.15.0-1ubuntu1 [190 kB] 1070s Get:25 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig ppc64el 2.15.0-1ubuntu1 [192 kB] 1070s Get:26 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk1.0-0 ppc64el 2.50.0-1 [57.8 kB] 1070s Get:27 http://ftpmaster.internal/ubuntu noble/main ppc64el libxi6 ppc64el 2:1.8.1-1 [37.9 kB] 1070s Get:28 http://ftpmaster.internal/ubuntu noble/main ppc64el libatspi2.0-0 ppc64el 2.50.0-1 [93.5 kB] 1070s Get:29 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk-bridge2.0-0 ppc64el 2.50.0-1 [75.5 kB] 1070s Get:30 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common-data ppc64el 0.8-13ubuntu2 [29.5 kB] 1070s Get:31 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common3 ppc64el 0.8-13ubuntu2 [25.8 kB] 1070s Get:32 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-client3 ppc64el 0.8-13ubuntu2 [30.6 kB] 1070s Get:33 http://ftpmaster.internal/ubuntu noble/main ppc64el libpixman-1-0 ppc64el 0.42.2-1 [300 kB] 1070s Get:34 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-render0 ppc64el 1.15-1 [17.2 kB] 1070s Get:35 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-shm0 ppc64el 1.15-1 [5896 B] 1070s Get:36 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1 [23.3 kB] 1070s Get:37 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo2 ppc64el 1.18.0-1 [735 kB] 1070s Get:38 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo-gobject2 ppc64el 1.18.0-1 [127 kB] 1070s Get:39 http://ftpmaster.internal/ubuntu noble/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB] 1070s Get:40 http://ftpmaster.internal/ubuntu noble/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB] 1071s Get:41 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcairo2-ocaml ppc64el 0.6.4+dfsg-2build2 [27.5 kB] 1071s Get:42 http://ftpmaster.internal/ubuntu noble/main ppc64el liblcms2-2 ppc64el 2.14-2 [243 kB] 1071s Get:43 http://ftpmaster.internal/ubuntu noble/main ppc64el libcolord2 ppc64el 1.4.7-1 [164 kB] 1071s Get:44 http://ftpmaster.internal/ubuntu noble/main ppc64el libcups2 ppc64el 2.4.6-0ubuntu3 [344 kB] 1071s Get:45 http://ftpmaster.internal/ubuntu noble/main ppc64el libdatrie1 ppc64el 0.2.13-3 [25.1 kB] 1071s Get:46 http://ftpmaster.internal/ubuntu noble/main ppc64el libepoxy0 ppc64el 1.5.10-1 [247 kB] 1071s Get:47 http://ftpmaster.internal/ubuntu noble/main ppc64el libgraphite2-3 ppc64el 1.3.14-2 [105 kB] 1071s Get:48 http://ftpmaster.internal/ubuntu noble/main ppc64el libharfbuzz0b ppc64el 8.3.0-2 [576 kB] 1071s Get:49 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai-data all 0.1.29-2 [158 kB] 1071s Get:50 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai0 ppc64el 0.1.29-2 [21.4 kB] 1071s Get:51 http://ftpmaster.internal/ubuntu noble/main ppc64el libpango-1.0-0 ppc64el 1.51.0+ds-4 [266 kB] 1071s Get:52 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangoft2-1.0-0 ppc64el 1.51.0+ds-4 [49.5 kB] 1071s Get:53 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangocairo-1.0-0 ppc64el 1.51.0+ds-4 [31.2 kB] 1071s Get:54 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-client0 ppc64el 1.22.0-2.1 [29.4 kB] 1071s Get:55 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-cursor0 ppc64el 1.22.0-2.1 [11.4 kB] 1071s Get:56 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-egl1 ppc64el 1.22.0-2.1 [5626 B] 1071s Get:57 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcomposite1 ppc64el 1:0.4.5-1build2 [7400 B] 1071s Get:58 http://ftpmaster.internal/ubuntu noble/main ppc64el libxfixes3 ppc64el 1:6.0.0-2 [11.6 kB] 1071s Get:59 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcursor1 ppc64el 1:1.2.1-1 [26.9 kB] 1071s Get:60 http://ftpmaster.internal/ubuntu noble/main ppc64el libxdamage1 ppc64el 1:1.1.6-1 [6320 B] 1071s Get:61 http://ftpmaster.internal/ubuntu noble/main ppc64el libxinerama1 ppc64el 2:1.1.4-3 [7658 B] 1071s Get:62 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrandr2 ppc64el 2:1.5.2-2 [22.7 kB] 1071s Get:63 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 1071s Get:64 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-0 ppc64el 3.24.40-2ubuntu1 [3344 kB] 1071s Get:65 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 1071s Get:66 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-2build1 [271 kB] 1071s Get:67 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.4-1 [4114 kB] 1072s Get:68 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.4-1 [354 kB] 1072s Get:69 http://ftpmaster.internal/ubuntu noble/universe ppc64el spass ppc64el 3.9-1.1 [304 kB] 1072s Get:70 http://ftpmaster.internal/ubuntu noble/universe ppc64el tex-common all 6.18 [32.8 kB] 1072s Get:71 http://ftpmaster.internal/ubuntu noble/universe ppc64el why3 ppc64el 1.6.0-1build4 [14.3 MB] 1073s Fetched 34.4 MB in 4s (9807 kB/s) 1073s Selecting previously unselected package libgdk-pixbuf2.0-common. 1073s (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 ... 69712 files and directories currently installed.) 1073s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 1073s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1073s Selecting previously unselected package libjpeg-turbo8:ppc64el. 1073s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_ppc64el.deb ... 1073s Unpacking libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 1073s Selecting previously unselected package libjpeg8:ppc64el. 1073s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 1073s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 1073s Selecting previously unselected package libdeflate0:ppc64el. 1073s Preparing to unpack .../03-libdeflate0_1.19-1_ppc64el.deb ... 1073s Unpacking libdeflate0:ppc64el (1.19-1) ... 1073s Selecting previously unselected package libjbig0:ppc64el. 1073s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_ppc64el.deb ... 1073s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu1) ... 1073s Selecting previously unselected package liblerc4:ppc64el. 1073s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_ppc64el.deb ... 1073s Unpacking liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 1073s Selecting previously unselected package libsharpyuv0:ppc64el. 1073s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_ppc64el.deb ... 1073s Unpacking libsharpyuv0:ppc64el (1.3.2-0.4) ... 1073s Selecting previously unselected package libwebp7:ppc64el. 1073s Preparing to unpack .../07-libwebp7_1.3.2-0.4_ppc64el.deb ... 1073s Unpacking libwebp7:ppc64el (1.3.2-0.4) ... 1073s Selecting previously unselected package libtiff6:ppc64el. 1073s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_ppc64el.deb ... 1073s Unpacking libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 1073s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 1073s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_ppc64el.deb ... 1073s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 1073s Selecting previously unselected package gtk-update-icon-cache. 1073s Preparing to unpack .../10-gtk-update-icon-cache_3.24.40-2ubuntu1_ppc64el.deb ... 1073s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1073s Selecting previously unselected package hicolor-icon-theme. 1073s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 1073s Unpacking hicolor-icon-theme (0.17-2) ... 1073s Selecting previously unselected package humanity-icon-theme. 1073s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 1073s Unpacking humanity-icon-theme (0.6.16) ... 1074s Selecting previously unselected package ubuntu-mono. 1074s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1074s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1074s Selecting previously unselected package adwaita-icon-theme. 1074s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 1074s Unpacking adwaita-icon-theme (46~rc-1) ... 1074s Selecting previously unselected package at-spi2-common. 1074s Preparing to unpack .../15-at-spi2-common_2.50.0-1_all.deb ... 1074s Unpacking at-spi2-common (2.50.0-1) ... 1074s Selecting previously unselected package libdconf1:ppc64el. 1074s Preparing to unpack .../16-libdconf1_0.40.0-4_ppc64el.deb ... 1074s Unpacking libdconf1:ppc64el (0.40.0-4) ... 1074s Selecting previously unselected package dconf-service. 1074s Preparing to unpack .../17-dconf-service_0.40.0-4_ppc64el.deb ... 1074s Unpacking dconf-service (0.40.0-4) ... 1074s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 1074s Preparing to unpack .../18-dconf-gsettings-backend_0.40.0-4_ppc64el.deb ... 1074s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-4) ... 1074s Selecting previously unselected package fonts-dejavu-mono. 1074s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 1075s Unpacking fonts-dejavu-mono (2.37-8) ... 1075s Selecting previously unselected package fonts-dejavu-core. 1075s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 1075s Unpacking fonts-dejavu-core (2.37-8) ... 1075s Selecting previously unselected package fontconfig-config. 1075s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_ppc64el.deb ... 1075s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 1075s Selecting previously unselected package libfontconfig1:ppc64el. 1075s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_ppc64el.deb ... 1075s Unpacking libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 1075s Selecting previously unselected package fontconfig. 1075s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_ppc64el.deb ... 1075s Unpacking fontconfig (2.15.0-1ubuntu1) ... 1075s Selecting previously unselected package libatk1.0-0:ppc64el. 1075s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_ppc64el.deb ... 1075s Unpacking libatk1.0-0:ppc64el (2.50.0-1) ... 1075s Selecting previously unselected package libxi6:ppc64el. 1075s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_ppc64el.deb ... 1075s Unpacking libxi6:ppc64el (2:1.8.1-1) ... 1075s Selecting previously unselected package libatspi2.0-0:ppc64el. 1075s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_ppc64el.deb ... 1075s Unpacking libatspi2.0-0:ppc64el (2.50.0-1) ... 1075s Selecting previously unselected package libatk-bridge2.0-0:ppc64el. 1075s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_ppc64el.deb ... 1075s Unpacking libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 1075s Selecting previously unselected package libavahi-common-data:ppc64el. 1075s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_ppc64el.deb ... 1075s Unpacking libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 1075s Selecting previously unselected package libavahi-common3:ppc64el. 1075s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_ppc64el.deb ... 1075s Unpacking libavahi-common3:ppc64el (0.8-13ubuntu2) ... 1075s Selecting previously unselected package libavahi-client3:ppc64el. 1075s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_ppc64el.deb ... 1075s Unpacking libavahi-client3:ppc64el (0.8-13ubuntu2) ... 1075s Selecting previously unselected package libpixman-1-0:ppc64el. 1075s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_ppc64el.deb ... 1075s Unpacking libpixman-1-0:ppc64el (0.42.2-1) ... 1075s Selecting previously unselected package libxcb-render0:ppc64el. 1075s Preparing to unpack .../32-libxcb-render0_1.15-1_ppc64el.deb ... 1075s Unpacking libxcb-render0:ppc64el (1.15-1) ... 1075s Selecting previously unselected package libxcb-shm0:ppc64el. 1075s Preparing to unpack .../33-libxcb-shm0_1.15-1_ppc64el.deb ... 1075s Unpacking libxcb-shm0:ppc64el (1.15-1) ... 1075s Selecting previously unselected package libxrender1:ppc64el. 1075s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_ppc64el.deb ... 1075s Unpacking libxrender1:ppc64el (1:0.9.10-1.1) ... 1075s Selecting previously unselected package libcairo2:ppc64el. 1075s Preparing to unpack .../35-libcairo2_1.18.0-1_ppc64el.deb ... 1075s Unpacking libcairo2:ppc64el (1.18.0-1) ... 1075s Selecting previously unselected package libcairo-gobject2:ppc64el. 1075s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_ppc64el.deb ... 1075s Unpacking libcairo-gobject2:ppc64el (1.18.0-1) ... 1075s Selecting previously unselected package libstdlib-ocaml. 1075s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ... 1075s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1075s Selecting previously unselected package ocaml-base. 1075s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ... 1075s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1075s Selecting previously unselected package libcairo2-ocaml. 1075s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_ppc64el.deb ... 1075s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1075s Selecting previously unselected package liblcms2-2:ppc64el. 1075s Preparing to unpack .../40-liblcms2-2_2.14-2_ppc64el.deb ... 1075s Unpacking liblcms2-2:ppc64el (2.14-2) ... 1075s Selecting previously unselected package libcolord2:ppc64el. 1075s Preparing to unpack .../41-libcolord2_1.4.7-1_ppc64el.deb ... 1075s Unpacking libcolord2:ppc64el (1.4.7-1) ... 1075s Selecting previously unselected package libcups2:ppc64el. 1075s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_ppc64el.deb ... 1075s Unpacking libcups2:ppc64el (2.4.6-0ubuntu3) ... 1075s Selecting previously unselected package libdatrie1:ppc64el. 1075s Preparing to unpack .../43-libdatrie1_0.2.13-3_ppc64el.deb ... 1075s Unpacking libdatrie1:ppc64el (0.2.13-3) ... 1075s Selecting previously unselected package libepoxy0:ppc64el. 1075s Preparing to unpack .../44-libepoxy0_1.5.10-1_ppc64el.deb ... 1075s Unpacking libepoxy0:ppc64el (1.5.10-1) ... 1075s Selecting previously unselected package libgraphite2-3:ppc64el. 1075s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_ppc64el.deb ... 1075s Unpacking libgraphite2-3:ppc64el (1.3.14-2) ... 1075s Selecting previously unselected package libharfbuzz0b:ppc64el. 1075s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_ppc64el.deb ... 1075s Unpacking libharfbuzz0b:ppc64el (8.3.0-2) ... 1075s Selecting previously unselected package libthai-data. 1075s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 1075s Unpacking libthai-data (0.1.29-2) ... 1075s Selecting previously unselected package libthai0:ppc64el. 1075s Preparing to unpack .../48-libthai0_0.1.29-2_ppc64el.deb ... 1075s Unpacking libthai0:ppc64el (0.1.29-2) ... 1075s Selecting previously unselected package libpango-1.0-0:ppc64el. 1075s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_ppc64el.deb ... 1075s Unpacking libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 1075s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 1075s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_ppc64el.deb ... 1075s Unpacking libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 1075s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 1075s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_ppc64el.deb ... 1075s Unpacking libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 1075s Selecting previously unselected package libwayland-client0:ppc64el. 1075s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_ppc64el.deb ... 1075s Unpacking libwayland-client0:ppc64el (1.22.0-2.1) ... 1075s Selecting previously unselected package libwayland-cursor0:ppc64el. 1075s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_ppc64el.deb ... 1075s Unpacking libwayland-cursor0:ppc64el (1.22.0-2.1) ... 1075s Selecting previously unselected package libwayland-egl1:ppc64el. 1075s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_ppc64el.deb ... 1075s Unpacking libwayland-egl1:ppc64el (1.22.0-2.1) ... 1075s Selecting previously unselected package libxcomposite1:ppc64el. 1075s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_ppc64el.deb ... 1075s Unpacking libxcomposite1:ppc64el (1:0.4.5-1build2) ... 1075s Selecting previously unselected package libxfixes3:ppc64el. 1075s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_ppc64el.deb ... 1075s Unpacking libxfixes3:ppc64el (1:6.0.0-2) ... 1075s Selecting previously unselected package libxcursor1:ppc64el. 1075s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_ppc64el.deb ... 1075s Unpacking libxcursor1:ppc64el (1:1.2.1-1) ... 1075s Selecting previously unselected package libxdamage1:ppc64el. 1075s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_ppc64el.deb ... 1075s Unpacking libxdamage1:ppc64el (1:1.1.6-1) ... 1075s Selecting previously unselected package libxinerama1:ppc64el. 1075s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_ppc64el.deb ... 1075s Unpacking libxinerama1:ppc64el (2:1.1.4-3) ... 1075s Selecting previously unselected package libxrandr2:ppc64el. 1075s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_ppc64el.deb ... 1075s Unpacking libxrandr2:ppc64el (2:1.5.2-2) ... 1075s Selecting previously unselected package libgtk-3-common. 1075s Preparing to unpack .../61-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 1075s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 1076s Selecting previously unselected package libgtk-3-0:ppc64el. 1076s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_ppc64el.deb ... 1076s Unpacking libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 1076s Selecting previously unselected package libgtksourceview-3.0-common. 1076s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 1076s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 1076s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 1076s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_ppc64el.deb ... 1076s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 1076s Selecting previously unselected package liblablgtk3-ocaml. 1076s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_ppc64el.deb ... 1076s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 1076s Selecting previously unselected package liblablgtksourceview3-ocaml. 1076s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_ppc64el.deb ... 1076s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 1076s Selecting previously unselected package spass. 1076s Preparing to unpack .../67-spass_3.9-1.1_ppc64el.deb ... 1076s Unpacking spass (3.9-1.1) ... 1076s Selecting previously unselected package tex-common. 1076s Preparing to unpack .../68-tex-common_6.18_all.deb ... 1076s Unpacking tex-common (6.18) ... 1076s Selecting previously unselected package why3. 1076s Preparing to unpack .../69-why3_1.6.0-1build4_ppc64el.deb ... 1076s Unpacking why3 (1.6.0-1build4) ... 1076s Selecting previously unselected package autopkgtest-satdep. 1076s Preparing to unpack .../70-3-autopkgtest-satdep.deb ... 1076s Unpacking autopkgtest-satdep (0) ... 1076s Setting up libgraphite2-3:ppc64el (1.3.14-2) ... 1076s Setting up liblcms2-2:ppc64el (2.14-2) ... 1076s Setting up libpixman-1-0:ppc64el (0.42.2-1) ... 1076s Setting up libsharpyuv0:ppc64el (1.3.2-0.4) ... 1076s Setting up libxdamage1:ppc64el (1:1.1.6-1) ... 1076s Setting up liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 1076s Setting up hicolor-icon-theme (0.17-2) ... 1076s Setting up libxi6:ppc64el (2:1.8.1-1) ... 1076s Setting up libxrender1:ppc64el (1:0.9.10-1.1) ... 1076s Setting up libdatrie1:ppc64el (0.2.13-3) ... 1076s Setting up libxcb-render0:ppc64el (1.15-1) ... 1076s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1076s Setting up libdeflate0:ppc64el (1.19-1) ... 1076s Setting up libxcb-shm0:ppc64el (1.15-1) ... 1076s Setting up libatspi2.0-0:ppc64el (2.50.0-1) ... 1076s Setting up libjbig0:ppc64el (2.1-6.1ubuntu1) ... 1076s Setting up libcolord2:ppc64el (1.4.7-1) ... 1076s Setting up libdconf1:ppc64el (0.40.0-4) ... 1076s Setting up tex-common (6.18) ... 1077s update-language: texlive-base not installed and configured, doing nothing! 1077s Setting up libepoxy0:ppc64el (1.5.10-1) ... 1077s Setting up libxfixes3:ppc64el (1:6.0.0-2) ... 1077s Setting up spass (3.9-1.1) ... 1077s Setting up libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 1077s Setting up libxinerama1:ppc64el (2:1.1.4-3) ... 1077s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1077s Setting up fonts-dejavu-mono (2.37-8) ... 1077s Setting up libxrandr2:ppc64el (2:1.5.2-2) ... 1077s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1077s Setting up fonts-dejavu-core (2.37-8) ... 1077s Setting up libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 1077s Setting up libwebp7:ppc64el (1.3.2-0.4) ... 1077s Setting up at-spi2-common (2.50.0-1) ... 1077s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 1077s Setting up libharfbuzz0b:ppc64el (8.3.0-2) ... 1077s Setting up libthai-data (0.1.29-2) ... 1077s Setting up libatk1.0-0:ppc64el (2.50.0-1) ... 1077s Setting up libwayland-egl1:ppc64el (1.22.0-2.1) ... 1077s Setting up libxcomposite1:ppc64el (1:0.4.5-1build2) ... 1077s Setting up libwayland-client0:ppc64el (1.22.0-2.1) ... 1077s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 1077s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 1077s Setting up libxcursor1:ppc64el (1:1.2.1-1) ... 1077s Setting up libavahi-common3:ppc64el (0.8-13ubuntu2) ... 1077s Setting up dconf-service (0.40.0-4) ... 1077s Setting up libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 1077s Setting up libthai0:ppc64el (0.1.29-2) ... 1077s Setting up libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 1077s Setting up libwayland-cursor0:ppc64el (1.22.0-2.1) ... 1077s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 1077s Setting up libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 1077s Setting up libavahi-client3:ppc64el (0.8-13ubuntu2) ... 1077s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1077s Setting up fontconfig (2.15.0-1ubuntu1) ... 1079s Regenerating fonts cache... done. 1079s Setting up dconf-gsettings-backend:ppc64el (0.40.0-4) ... 1079s Setting up libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 1079s Setting up libcairo2:ppc64el (1.18.0-1) ... 1079s Setting up libcups2:ppc64el (2.4.6-0ubuntu3) ... 1079s Setting up libcairo-gobject2:ppc64el (1.18.0-1) ... 1079s Setting up libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 1079s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 1079s Setting up libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 1079s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1079s Setting up adwaita-icon-theme (46~rc-1) ... 1079s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1079s Setting up humanity-icon-theme (0.6.16) ... 1079s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1079s Processing triggers for man-db (2.12.0-3) ... 1080s Processing triggers for libglib2.0-0:ppc64el (2.79.2-1~ubuntu1) ... 1080s Setting up libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 1080s Processing triggers for libc-bin (2.39-0ubuntu6) ... 1080s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 1080s Setting up liblablgtk3-ocaml (3.1.4-1) ... 1080s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 1080s Setting up why3 (1.6.0-1build4) ... 1080s Setting up autopkgtest-satdep (0) ... 1080s Processing triggers for libc-bin (2.39-0ubuntu6) ... 1085s (Reading database ... 83462 files and directories currently installed.) 1085s Removing autopkgtest-satdep (0) ... 1092s autopkgtest [11:43:23]: test why3+spass: [----------------------- 1093s autopkgtest [11:43:24]: test why3+spass: -----------------------] 1094s autopkgtest [11:43:25]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 1094s why3+spass PASS 1094s autopkgtest [11:43:25]: test why3+z3: preparing testbed 1219s autopkgtest [11:45:30]: testbed dpkg architecture: ppc64el 1219s autopkgtest [11:45:30]: testbed apt version: 2.7.12 1219s autopkgtest [11:45:30]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1220s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 1220s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 1221s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 1221s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3975 kB] 1221s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 1221s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [659 kB] 1221s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 1221s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 1221s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 1221s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4247 kB] 1221s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 1221s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [60.8 kB] 1221s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 1224s Fetched 9630 kB in 2s (3987 kB/s) 1225s Reading package lists... 1227s Reading package lists... 1227s Building dependency tree... 1227s Reading state information... 1227s Calculating upgrade... 1228s The following packages will be upgraded: 1228s libbsd0 libc-bin libc6 locales 1228s 4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1228s Need to get 8313 kB of archives. 1228s After this operation, 2048 B of additional disk space will be used. 1228s Get:1 http://ftpmaster.internal/ubuntu noble/main ppc64el libc6 ppc64el 2.39-0ubuntu6 [3274 kB] 1229s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libc-bin ppc64el 2.39-0ubuntu6 [751 kB] 1229s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libbsd0 ppc64el 0.12.1-1 [56.9 kB] 1229s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el locales all 2.39-0ubuntu6 [4232 kB] 1230s Preconfiguring packages ... 1230s Fetched 8313 kB in 2s (3331 kB/s) 1230s (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 ... 70156 files and directories currently installed.) 1230s Preparing to unpack .../libc6_2.39-0ubuntu6_ppc64el.deb ... 1231s Unpacking libc6:ppc64el (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 1231s Setting up libc6:ppc64el (2.39-0ubuntu6) ... 1231s (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 ... 70156 files and directories currently installed.) 1231s Preparing to unpack .../libc-bin_2.39-0ubuntu6_ppc64el.deb ... 1231s Unpacking libc-bin (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 1231s Setting up libc-bin (2.39-0ubuntu6) ... 1231s (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 ... 70156 files and directories currently installed.) 1231s Preparing to unpack .../libbsd0_0.12.1-1_ppc64el.deb ... 1231s Unpacking libbsd0:ppc64el (0.12.1-1) over (0.11.8-1) ... 1231s Preparing to unpack .../locales_2.39-0ubuntu6_all.deb ... 1231s Unpacking locales (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 1232s Setting up locales (2.39-0ubuntu6) ... 1232s Generating locales (this might take a while)... 1233s en_US.UTF-8... done 1233s Generation complete. 1233s Setting up libbsd0:ppc64el (0.12.1-1) ... 1233s Processing triggers for man-db (2.12.0-3) ... 1234s Processing triggers for libc-bin (2.39-0ubuntu6) ... 1235s Reading package lists... 1235s Building dependency tree... 1235s Reading state information... 1235s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1235s sh: Attempting to set up Debian/Ubuntu apt sources automatically 1235s sh: Distribution appears to be Ubuntu 1236s Reading package lists... 1236s Building dependency tree... 1236s Reading state information... 1237s eatmydata is already the newest version (131-1). 1237s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1237s Reading package lists... 1237s Building dependency tree... 1237s Reading state information... 1237s dbus is already the newest version (1.14.10-4ubuntu1). 1237s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1237s Reading package lists... 1237s Building dependency tree... 1237s Reading state information... 1237s rng-tools-debian is already the newest version (2.4). 1237s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1237s Reading package lists... 1237s Building dependency tree... 1237s Reading state information... 1238s The following packages will be REMOVED: 1238s cloud-init* python3-configobj* python3-debconf* 1238s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 1238s After this operation, 3256 kB disk space will be freed. 1238s (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 ... 70156 files and directories currently installed.) 1238s Removing cloud-init (24.1.2-0ubuntu1) ... 1238s Removing python3-configobj (5.0.8-3) ... 1238s Removing python3-debconf (1.5.86) ... 1239s Processing triggers for man-db (2.12.0-3) ... 1239s (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 ... 69767 files and directories currently installed.) 1239s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 1239s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 1239s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 1239s invoke-rc.d: policy-rc.d denied execution of try-restart. 1240s Reading package lists... 1240s Building dependency tree... 1240s Reading state information... 1240s linux-generic is already the newest version (6.8.0-11.11+1). 1240s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1240s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 1240s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 1240s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 1243s Reading package lists... 1243s Reading package lists... 1243s Building dependency tree... 1243s Reading state information... 1244s Calculating upgrade... 1244s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1244s Reading package lists... 1244s Building dependency tree... 1244s Reading state information... 1244s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1244s autopkgtest [11:45:55]: rebooting testbed after setup commands that affected boot 1423s Reading package lists... 1423s Building dependency tree... 1423s Reading state information... 1423s Starting pkgProblemResolver with broken count: 0 1423s Starting 2 pkgProblemResolver with broken count: 0 1423s Done 1423s The following additional packages will be installed: 1423s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1423s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1423s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1423s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1423s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1423s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1423s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 1423s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 1423s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 1423s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 1423s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1423s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1423s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1423s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1423s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1423s why3 z3 1423s Suggested packages: 1423s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1423s Recommended packages: 1423s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1423s The following NEW packages will be installed: 1423s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 1423s dconf-service fontconfig fontconfig-config fonts-dejavu-core 1423s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 1423s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 1423s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 1423s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 1423s libdeflate0 libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 1423s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 1423s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1423s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1423s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1423s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1423s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1423s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1423s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1423s why3 z3 1423s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 1423s Need to get 40.1 MB/40.1 MB of archives. 1423s After this operation, 182 MB of additional disk space will be used. 1423s Get:1 /tmp/autopkgtest.VtTi6e/4-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [720 B] 1423s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 1423s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-2ubuntu1 [212 kB] 1424s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 1424s Get:5 http://ftpmaster.internal/ubuntu noble/main ppc64el libdeflate0 ppc64el 1.19-1 [61.9 kB] 1424s Get:6 http://ftpmaster.internal/ubuntu noble/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu1 [34.7 kB] 1424s Get:7 http://ftpmaster.internal/ubuntu noble/main ppc64el liblerc4 ppc64el 4.0.0+ds-4ubuntu1 [266 kB] 1424s Get:8 http://ftpmaster.internal/ubuntu noble/main ppc64el libsharpyuv0 ppc64el 1.3.2-0.4 [28.7 kB] 1424s Get:9 http://ftpmaster.internal/ubuntu noble/main ppc64el libwebp7 ppc64el 1.3.2-0.4 [312 kB] 1424s Get:10 http://ftpmaster.internal/ubuntu noble/main ppc64el libtiff6 ppc64el 4.5.1+git230720-3ubuntu1 [323 kB] 1424s Get:11 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.10+dfsg-3 [186 kB] 1424s Get:12 http://ftpmaster.internal/ubuntu noble/main ppc64el gtk-update-icon-cache ppc64el 3.24.40-2ubuntu1 [53.2 kB] 1424s Get:13 http://ftpmaster.internal/ubuntu noble/main ppc64el hicolor-icon-theme all 0.17-2 [9976 B] 1424s Get:14 http://ftpmaster.internal/ubuntu noble/main ppc64el humanity-icon-theme all 0.6.16 [1282 kB] 1424s Get:15 http://ftpmaster.internal/ubuntu noble/main ppc64el ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1424s Get:16 http://ftpmaster.internal/ubuntu noble/main ppc64el adwaita-icon-theme all 46~rc-1 [723 kB] 1424s Get:17 http://ftpmaster.internal/ubuntu noble/main ppc64el at-spi2-common all 2.50.0-1 [7864 B] 1424s Get:18 http://ftpmaster.internal/ubuntu noble/main ppc64el libdconf1 ppc64el 0.40.0-4 [43.0 kB] 1424s Get:19 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-service ppc64el 0.40.0-4 [31.0 kB] 1424s Get:20 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-4 [25.3 kB] 1424s Get:21 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 1424s Get:22 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 1424s Get:23 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig-config ppc64el 2.15.0-1ubuntu1 [37.0 kB] 1424s Get:24 http://ftpmaster.internal/ubuntu noble/main ppc64el libfontconfig1 ppc64el 2.15.0-1ubuntu1 [190 kB] 1424s Get:25 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig ppc64el 2.15.0-1ubuntu1 [192 kB] 1424s Get:26 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk1.0-0 ppc64el 2.50.0-1 [57.8 kB] 1424s Get:27 http://ftpmaster.internal/ubuntu noble/main ppc64el libxi6 ppc64el 2:1.8.1-1 [37.9 kB] 1424s Get:28 http://ftpmaster.internal/ubuntu noble/main ppc64el libatspi2.0-0 ppc64el 2.50.0-1 [93.5 kB] 1425s Get:29 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk-bridge2.0-0 ppc64el 2.50.0-1 [75.5 kB] 1425s Get:30 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common-data ppc64el 0.8-13ubuntu2 [29.5 kB] 1425s Get:31 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common3 ppc64el 0.8-13ubuntu2 [25.8 kB] 1425s Get:32 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-client3 ppc64el 0.8-13ubuntu2 [30.6 kB] 1425s Get:33 http://ftpmaster.internal/ubuntu noble/main ppc64el libpixman-1-0 ppc64el 0.42.2-1 [300 kB] 1425s Get:34 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-render0 ppc64el 1.15-1 [17.2 kB] 1425s Get:35 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-shm0 ppc64el 1.15-1 [5896 B] 1425s Get:36 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1 [23.3 kB] 1425s Get:37 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo2 ppc64el 1.18.0-1 [735 kB] 1425s Get:38 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo-gobject2 ppc64el 1.18.0-1 [127 kB] 1425s Get:39 http://ftpmaster.internal/ubuntu noble/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB] 1425s Get:40 http://ftpmaster.internal/ubuntu noble/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB] 1425s Get:41 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcairo2-ocaml ppc64el 0.6.4+dfsg-2build2 [27.5 kB] 1425s Get:42 http://ftpmaster.internal/ubuntu noble/main ppc64el liblcms2-2 ppc64el 2.14-2 [243 kB] 1425s Get:43 http://ftpmaster.internal/ubuntu noble/main ppc64el libcolord2 ppc64el 1.4.7-1 [164 kB] 1425s Get:44 http://ftpmaster.internal/ubuntu noble/main ppc64el libcups2 ppc64el 2.4.6-0ubuntu3 [344 kB] 1425s Get:45 http://ftpmaster.internal/ubuntu noble/main ppc64el libdatrie1 ppc64el 0.2.13-3 [25.1 kB] 1425s Get:46 http://ftpmaster.internal/ubuntu noble/main ppc64el libepoxy0 ppc64el 1.5.10-1 [247 kB] 1425s Get:47 http://ftpmaster.internal/ubuntu noble/main ppc64el libgraphite2-3 ppc64el 1.3.14-2 [105 kB] 1425s Get:48 http://ftpmaster.internal/ubuntu noble/main ppc64el libharfbuzz0b ppc64el 8.3.0-2 [576 kB] 1425s Get:49 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai-data all 0.1.29-2 [158 kB] 1425s Get:50 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai0 ppc64el 0.1.29-2 [21.4 kB] 1425s Get:51 http://ftpmaster.internal/ubuntu noble/main ppc64el libpango-1.0-0 ppc64el 1.51.0+ds-4 [266 kB] 1425s Get:52 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangoft2-1.0-0 ppc64el 1.51.0+ds-4 [49.5 kB] 1425s Get:53 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangocairo-1.0-0 ppc64el 1.51.0+ds-4 [31.2 kB] 1425s Get:54 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-client0 ppc64el 1.22.0-2.1 [29.4 kB] 1425s Get:55 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-cursor0 ppc64el 1.22.0-2.1 [11.4 kB] 1425s Get:56 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-egl1 ppc64el 1.22.0-2.1 [5626 B] 1425s Get:57 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcomposite1 ppc64el 1:0.4.5-1build2 [7400 B] 1425s Get:58 http://ftpmaster.internal/ubuntu noble/main ppc64el libxfixes3 ppc64el 1:6.0.0-2 [11.6 kB] 1425s Get:59 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcursor1 ppc64el 1:1.2.1-1 [26.9 kB] 1425s Get:60 http://ftpmaster.internal/ubuntu noble/main ppc64el libxdamage1 ppc64el 1:1.1.6-1 [6320 B] 1425s Get:61 http://ftpmaster.internal/ubuntu noble/main ppc64el libxinerama1 ppc64el 2:1.1.4-3 [7658 B] 1425s Get:62 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrandr2 ppc64el 2:1.5.2-2 [22.7 kB] 1425s Get:63 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 1425s Get:64 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-0 ppc64el 3.24.40-2ubuntu1 [3344 kB] 1425s Get:65 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 1425s Get:66 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-2build1 [271 kB] 1425s Get:67 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.4-1 [4114 kB] 1426s Get:68 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.4-1 [354 kB] 1426s Get:69 http://ftpmaster.internal/ubuntu noble/universe ppc64el tex-common all 6.18 [32.8 kB] 1426s Get:70 http://ftpmaster.internal/ubuntu noble/universe ppc64el why3 ppc64el 1.6.0-1build4 [14.3 MB] 1426s Get:71 http://ftpmaster.internal/ubuntu noble/universe ppc64el z3 ppc64el 4.8.12-3.1 [6063 kB] 1427s Fetched 40.1 MB in 3s (11.5 MB/s) 1427s Selecting previously unselected package libgdk-pixbuf2.0-common. 1427s (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 ... 69712 files and directories currently installed.) 1427s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 1427s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1427s Selecting previously unselected package libjpeg-turbo8:ppc64el. 1427s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_ppc64el.deb ... 1427s Unpacking libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 1427s Selecting previously unselected package libjpeg8:ppc64el. 1427s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 1427s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 1427s Selecting previously unselected package libdeflate0:ppc64el. 1427s Preparing to unpack .../03-libdeflate0_1.19-1_ppc64el.deb ... 1427s Unpacking libdeflate0:ppc64el (1.19-1) ... 1427s Selecting previously unselected package libjbig0:ppc64el. 1427s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_ppc64el.deb ... 1427s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu1) ... 1427s Selecting previously unselected package liblerc4:ppc64el. 1427s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_ppc64el.deb ... 1427s Unpacking liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 1427s Selecting previously unselected package libsharpyuv0:ppc64el. 1427s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_ppc64el.deb ... 1427s Unpacking libsharpyuv0:ppc64el (1.3.2-0.4) ... 1427s Selecting previously unselected package libwebp7:ppc64el. 1427s Preparing to unpack .../07-libwebp7_1.3.2-0.4_ppc64el.deb ... 1427s Unpacking libwebp7:ppc64el (1.3.2-0.4) ... 1427s Selecting previously unselected package libtiff6:ppc64el. 1427s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_ppc64el.deb ... 1427s Unpacking libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 1427s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 1427s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_ppc64el.deb ... 1427s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 1427s Selecting previously unselected package gtk-update-icon-cache. 1427s Preparing to unpack .../10-gtk-update-icon-cache_3.24.40-2ubuntu1_ppc64el.deb ... 1427s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1427s Selecting previously unselected package hicolor-icon-theme. 1427s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 1427s Unpacking hicolor-icon-theme (0.17-2) ... 1427s Selecting previously unselected package humanity-icon-theme. 1427s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 1427s Unpacking humanity-icon-theme (0.6.16) ... 1428s Selecting previously unselected package ubuntu-mono. 1428s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1428s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1428s Selecting previously unselected package adwaita-icon-theme. 1428s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 1428s Unpacking adwaita-icon-theme (46~rc-1) ... 1429s Selecting previously unselected package at-spi2-common. 1429s Preparing to unpack .../15-at-spi2-common_2.50.0-1_all.deb ... 1429s Unpacking at-spi2-common (2.50.0-1) ... 1429s Selecting previously unselected package libdconf1:ppc64el. 1429s Preparing to unpack .../16-libdconf1_0.40.0-4_ppc64el.deb ... 1429s Unpacking libdconf1:ppc64el (0.40.0-4) ... 1429s Selecting previously unselected package dconf-service. 1429s Preparing to unpack .../17-dconf-service_0.40.0-4_ppc64el.deb ... 1429s Unpacking dconf-service (0.40.0-4) ... 1429s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 1429s Preparing to unpack .../18-dconf-gsettings-backend_0.40.0-4_ppc64el.deb ... 1429s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-4) ... 1429s Selecting previously unselected package fonts-dejavu-mono. 1429s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 1429s Unpacking fonts-dejavu-mono (2.37-8) ... 1429s Selecting previously unselected package fonts-dejavu-core. 1429s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 1429s Unpacking fonts-dejavu-core (2.37-8) ... 1429s Selecting previously unselected package fontconfig-config. 1429s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_ppc64el.deb ... 1429s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 1429s Selecting previously unselected package libfontconfig1:ppc64el. 1429s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_ppc64el.deb ... 1429s Unpacking libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 1429s Selecting previously unselected package fontconfig. 1429s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_ppc64el.deb ... 1429s Unpacking fontconfig (2.15.0-1ubuntu1) ... 1429s Selecting previously unselected package libatk1.0-0:ppc64el. 1429s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_ppc64el.deb ... 1429s Unpacking libatk1.0-0:ppc64el (2.50.0-1) ... 1429s Selecting previously unselected package libxi6:ppc64el. 1429s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_ppc64el.deb ... 1429s Unpacking libxi6:ppc64el (2:1.8.1-1) ... 1429s Selecting previously unselected package libatspi2.0-0:ppc64el. 1429s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_ppc64el.deb ... 1429s Unpacking libatspi2.0-0:ppc64el (2.50.0-1) ... 1429s Selecting previously unselected package libatk-bridge2.0-0:ppc64el. 1429s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_ppc64el.deb ... 1429s Unpacking libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 1429s Selecting previously unselected package libavahi-common-data:ppc64el. 1429s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_ppc64el.deb ... 1429s Unpacking libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 1429s Selecting previously unselected package libavahi-common3:ppc64el. 1429s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_ppc64el.deb ... 1429s Unpacking libavahi-common3:ppc64el (0.8-13ubuntu2) ... 1429s Selecting previously unselected package libavahi-client3:ppc64el. 1429s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_ppc64el.deb ... 1429s Unpacking libavahi-client3:ppc64el (0.8-13ubuntu2) ... 1429s Selecting previously unselected package libpixman-1-0:ppc64el. 1429s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_ppc64el.deb ... 1429s Unpacking libpixman-1-0:ppc64el (0.42.2-1) ... 1429s Selecting previously unselected package libxcb-render0:ppc64el. 1429s Preparing to unpack .../32-libxcb-render0_1.15-1_ppc64el.deb ... 1429s Unpacking libxcb-render0:ppc64el (1.15-1) ... 1429s Selecting previously unselected package libxcb-shm0:ppc64el. 1429s Preparing to unpack .../33-libxcb-shm0_1.15-1_ppc64el.deb ... 1429s Unpacking libxcb-shm0:ppc64el (1.15-1) ... 1429s Selecting previously unselected package libxrender1:ppc64el. 1429s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_ppc64el.deb ... 1429s Unpacking libxrender1:ppc64el (1:0.9.10-1.1) ... 1429s Selecting previously unselected package libcairo2:ppc64el. 1429s Preparing to unpack .../35-libcairo2_1.18.0-1_ppc64el.deb ... 1429s Unpacking libcairo2:ppc64el (1.18.0-1) ... 1429s Selecting previously unselected package libcairo-gobject2:ppc64el. 1429s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_ppc64el.deb ... 1429s Unpacking libcairo-gobject2:ppc64el (1.18.0-1) ... 1429s Selecting previously unselected package libstdlib-ocaml. 1429s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ... 1429s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1429s Selecting previously unselected package ocaml-base. 1429s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ... 1429s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1429s Selecting previously unselected package libcairo2-ocaml. 1429s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_ppc64el.deb ... 1429s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1429s Selecting previously unselected package liblcms2-2:ppc64el. 1429s Preparing to unpack .../40-liblcms2-2_2.14-2_ppc64el.deb ... 1429s Unpacking liblcms2-2:ppc64el (2.14-2) ... 1429s Selecting previously unselected package libcolord2:ppc64el. 1429s Preparing to unpack .../41-libcolord2_1.4.7-1_ppc64el.deb ... 1429s Unpacking libcolord2:ppc64el (1.4.7-1) ... 1429s Selecting previously unselected package libcups2:ppc64el. 1429s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_ppc64el.deb ... 1429s Unpacking libcups2:ppc64el (2.4.6-0ubuntu3) ... 1429s Selecting previously unselected package libdatrie1:ppc64el. 1429s Preparing to unpack .../43-libdatrie1_0.2.13-3_ppc64el.deb ... 1429s Unpacking libdatrie1:ppc64el (0.2.13-3) ... 1429s Selecting previously unselected package libepoxy0:ppc64el. 1429s Preparing to unpack .../44-libepoxy0_1.5.10-1_ppc64el.deb ... 1429s Unpacking libepoxy0:ppc64el (1.5.10-1) ... 1429s Selecting previously unselected package libgraphite2-3:ppc64el. 1429s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_ppc64el.deb ... 1429s Unpacking libgraphite2-3:ppc64el (1.3.14-2) ... 1429s Selecting previously unselected package libharfbuzz0b:ppc64el. 1429s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_ppc64el.deb ... 1429s Unpacking libharfbuzz0b:ppc64el (8.3.0-2) ... 1429s Selecting previously unselected package libthai-data. 1429s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 1429s Unpacking libthai-data (0.1.29-2) ... 1429s Selecting previously unselected package libthai0:ppc64el. 1429s Preparing to unpack .../48-libthai0_0.1.29-2_ppc64el.deb ... 1429s Unpacking libthai0:ppc64el (0.1.29-2) ... 1429s Selecting previously unselected package libpango-1.0-0:ppc64el. 1429s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_ppc64el.deb ... 1429s Unpacking libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 1429s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 1429s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_ppc64el.deb ... 1429s Unpacking libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 1429s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 1429s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_ppc64el.deb ... 1429s Unpacking libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 1429s Selecting previously unselected package libwayland-client0:ppc64el. 1429s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_ppc64el.deb ... 1429s Unpacking libwayland-client0:ppc64el (1.22.0-2.1) ... 1429s Selecting previously unselected package libwayland-cursor0:ppc64el. 1429s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_ppc64el.deb ... 1429s Unpacking libwayland-cursor0:ppc64el (1.22.0-2.1) ... 1429s Selecting previously unselected package libwayland-egl1:ppc64el. 1429s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_ppc64el.deb ... 1429s Unpacking libwayland-egl1:ppc64el (1.22.0-2.1) ... 1429s Selecting previously unselected package libxcomposite1:ppc64el. 1429s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_ppc64el.deb ... 1429s Unpacking libxcomposite1:ppc64el (1:0.4.5-1build2) ... 1430s Selecting previously unselected package libxfixes3:ppc64el. 1430s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_ppc64el.deb ... 1430s Unpacking libxfixes3:ppc64el (1:6.0.0-2) ... 1430s Selecting previously unselected package libxcursor1:ppc64el. 1430s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_ppc64el.deb ... 1430s Unpacking libxcursor1:ppc64el (1:1.2.1-1) ... 1430s Selecting previously unselected package libxdamage1:ppc64el. 1430s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_ppc64el.deb ... 1430s Unpacking libxdamage1:ppc64el (1:1.1.6-1) ... 1430s Selecting previously unselected package libxinerama1:ppc64el. 1430s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_ppc64el.deb ... 1430s Unpacking libxinerama1:ppc64el (2:1.1.4-3) ... 1430s Selecting previously unselected package libxrandr2:ppc64el. 1430s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_ppc64el.deb ... 1430s Unpacking libxrandr2:ppc64el (2:1.5.2-2) ... 1430s Selecting previously unselected package libgtk-3-common. 1430s Preparing to unpack .../61-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 1430s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 1430s Selecting previously unselected package libgtk-3-0:ppc64el. 1430s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_ppc64el.deb ... 1430s Unpacking libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 1430s Selecting previously unselected package libgtksourceview-3.0-common. 1430s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 1430s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 1430s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 1430s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_ppc64el.deb ... 1430s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 1430s Selecting previously unselected package liblablgtk3-ocaml. 1430s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_ppc64el.deb ... 1430s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 1430s Selecting previously unselected package liblablgtksourceview3-ocaml. 1430s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_ppc64el.deb ... 1430s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 1430s Selecting previously unselected package tex-common. 1430s Preparing to unpack .../67-tex-common_6.18_all.deb ... 1430s Unpacking tex-common (6.18) ... 1430s Selecting previously unselected package why3. 1430s Preparing to unpack .../68-why3_1.6.0-1build4_ppc64el.deb ... 1430s Unpacking why3 (1.6.0-1build4) ... 1430s Selecting previously unselected package z3. 1430s Preparing to unpack .../69-z3_4.8.12-3.1_ppc64el.deb ... 1430s Unpacking z3 (4.8.12-3.1) ... 1431s Selecting previously unselected package autopkgtest-satdep. 1431s Preparing to unpack .../70-4-autopkgtest-satdep.deb ... 1431s Unpacking autopkgtest-satdep (0) ... 1431s Setting up libgraphite2-3:ppc64el (1.3.14-2) ... 1431s Setting up liblcms2-2:ppc64el (2.14-2) ... 1431s Setting up libpixman-1-0:ppc64el (0.42.2-1) ... 1431s Setting up libsharpyuv0:ppc64el (1.3.2-0.4) ... 1431s Setting up libxdamage1:ppc64el (1:1.1.6-1) ... 1431s Setting up liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 1431s Setting up hicolor-icon-theme (0.17-2) ... 1431s Setting up libxi6:ppc64el (2:1.8.1-1) ... 1431s Setting up libxrender1:ppc64el (1:0.9.10-1.1) ... 1431s Setting up libdatrie1:ppc64el (0.2.13-3) ... 1431s Setting up libxcb-render0:ppc64el (1.15-1) ... 1431s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1431s Setting up libdeflate0:ppc64el (1.19-1) ... 1431s Setting up libxcb-shm0:ppc64el (1.15-1) ... 1431s Setting up libatspi2.0-0:ppc64el (2.50.0-1) ... 1431s Setting up libjbig0:ppc64el (2.1-6.1ubuntu1) ... 1431s Setting up z3 (4.8.12-3.1) ... 1431s Setting up libcolord2:ppc64el (1.4.7-1) ... 1431s Setting up libdconf1:ppc64el (0.40.0-4) ... 1431s Setting up tex-common (6.18) ... 1431s update-language: texlive-base not installed and configured, doing nothing! 1431s Setting up libepoxy0:ppc64el (1.5.10-1) ... 1431s Setting up libxfixes3:ppc64el (1:6.0.0-2) ... 1431s Setting up libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 1431s Setting up libxinerama1:ppc64el (2:1.1.4-3) ... 1431s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1431s Setting up fonts-dejavu-mono (2.37-8) ... 1431s Setting up libxrandr2:ppc64el (2:1.5.2-2) ... 1431s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1431s Setting up fonts-dejavu-core (2.37-8) ... 1431s Setting up libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 1431s Setting up libwebp7:ppc64el (1.3.2-0.4) ... 1431s Setting up at-spi2-common (2.50.0-1) ... 1431s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 1431s Setting up libharfbuzz0b:ppc64el (8.3.0-2) ... 1431s Setting up libthai-data (0.1.29-2) ... 1431s Setting up libatk1.0-0:ppc64el (2.50.0-1) ... 1431s Setting up libwayland-egl1:ppc64el (1.22.0-2.1) ... 1431s Setting up libxcomposite1:ppc64el (1:0.4.5-1build2) ... 1431s Setting up libwayland-client0:ppc64el (1.22.0-2.1) ... 1431s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 1431s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 1431s Setting up libxcursor1:ppc64el (1:1.2.1-1) ... 1431s Setting up libavahi-common3:ppc64el (0.8-13ubuntu2) ... 1431s Setting up dconf-service (0.40.0-4) ... 1431s Setting up libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 1431s Setting up libthai0:ppc64el (0.1.29-2) ... 1431s Setting up libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 1431s Setting up libwayland-cursor0:ppc64el (1.22.0-2.1) ... 1431s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 1431s Setting up libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 1431s Setting up libavahi-client3:ppc64el (0.8-13ubuntu2) ... 1431s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1431s Setting up fontconfig (2.15.0-1ubuntu1) ... 1433s Regenerating fonts cache... done. 1433s Setting up dconf-gsettings-backend:ppc64el (0.40.0-4) ... 1433s Setting up libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 1433s Setting up libcairo2:ppc64el (1.18.0-1) ... 1433s Setting up libcups2:ppc64el (2.4.6-0ubuntu3) ... 1433s Setting up libcairo-gobject2:ppc64el (1.18.0-1) ... 1433s Setting up libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 1433s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 1433s Setting up libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 1433s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1433s Setting up adwaita-icon-theme (46~rc-1) ... 1433s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1433s Setting up humanity-icon-theme (0.6.16) ... 1433s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1433s Processing triggers for man-db (2.12.0-3) ... 1434s Processing triggers for libglib2.0-0:ppc64el (2.79.2-1~ubuntu1) ... 1434s Setting up libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 1434s Processing triggers for libc-bin (2.39-0ubuntu6) ... 1434s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 1434s Setting up liblablgtk3-ocaml (3.1.4-1) ... 1434s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 1434s Setting up why3 (1.6.0-1build4) ... 1434s Setting up autopkgtest-satdep (0) ... 1434s Processing triggers for libc-bin (2.39-0ubuntu6) ... 1438s (Reading database ... 83462 files and directories currently installed.) 1438s Removing autopkgtest-satdep (0) ... 1447s autopkgtest [11:49:18]: test why3+z3: [----------------------- 1448s autopkgtest [11:49:19]: test why3+z3: -----------------------] 1449s why3+z3 PASS 1449s autopkgtest [11:49:20]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1449s autopkgtest [11:49:20]: @@@@@@@@@@@@@@@@@@@@ summary 1449s why3+alt-ergo SKIP installation fails and skip-not-installable set 1449s why3+cvc4 PASS 1449s why3+spass PASS 1449s why3+z3 PASS 1462s Creating nova instance adt-noble-ppc64el-why3-20240323-112511-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240322.img (UUID 8499323f-6fcd-4f77-8a53-77410adea6d3)... 1462s Creating nova instance adt-noble-ppc64el-why3-20240323-112511-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240322.img (UUID 8499323f-6fcd-4f77-8a53-77410adea6d3)... 1462s Creating nova instance adt-noble-ppc64el-why3-20240323-112511-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240322.img (UUID 8499323f-6fcd-4f77-8a53-77410adea6d3)... 1462s Creating nova instance adt-noble-ppc64el-why3-20240323-112511-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240322.img (UUID 8499323f-6fcd-4f77-8a53-77410adea6d3)...