0s autopkgtest [14:41:04]: starting date and time: 2024-03-20 14:41:04+0000 0s autopkgtest [14:41:04]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [14:41:04]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.g4163_ei/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gtk+3.0,src:at-spi2-core,src:cups,src:glib2.0,src:gnutls28,src:nettle --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=gtk+3.0/3.24.41-1.1ubuntu3 at-spi2-core/2.51.90-3 cups/2.4.7-1.2ubuntu1 glib2.0/2.79.3-3ubuntu5 gnutls28/3.8.3-1.1ubuntu2 nettle/3.9.1-2.2' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-ppc64el-3.secgroup --name adt-noble-ppc64el-why3-20240320-144103-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/ 83s autopkgtest [14:42:27]: testbed dpkg architecture: ppc64el 83s autopkgtest [14:42:27]: testbed apt version: 2.7.12 83s autopkgtest [14:42:27]: @@@@@@@@@@@@@@@@@@@@ test bed setup 84s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 84s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB] 84s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [497 kB] 84s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3805 kB] 84s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 84s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [668 kB] 85s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 85s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 85s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 85s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4153 kB] 85s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 85s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [47.7 kB] 85s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 88s Fetched 9360 kB in 2s (3949 kB/s) 88s Reading package lists... 91s Reading package lists... 91s Building dependency tree... 91s Reading state information... 92s Calculating upgrade... 92s The following packages will be REMOVED: 92s libglib2.0-0 92s The following NEW packages will be installed: 92s libglib2.0-0t64 xdg-user-dirs 92s The following packages will be upgraded: 92s gir1.2-glib-2.0 libglib2.0-data 92s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 92s Need to get 2022 kB of archives. 92s After this operation, 204 kB of additional disk space will be used. 92s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el gir1.2-glib-2.0 ppc64el 2.79.3-3ubuntu5 [182 kB] 92s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libglib2.0-0t64 ppc64el 2.79.3-3ubuntu5 [1773 kB] 93s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 93s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el xdg-user-dirs ppc64el 0.18-1 [20.0 kB] 93s Fetched 2022 kB in 1s (2202 kB/s) 93s (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 ... 70095 files and directories currently installed.) 93s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_ppc64el.deb ... 93s Unpacking gir1.2-glib-2.0:ppc64el (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 93s dpkg: libglib2.0-0:ppc64el: dependency problems, but removing anyway as you requested: 93s udisks2 depends on libglib2.0-0 (>= 2.77.0). 93s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 93s python3-gi depends on libglib2.0-0 (>= 2.77.0). 93s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 93s netplan.io depends on libglib2.0-0 (>= 2.70.0). 93s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 93s libxmlb2:ppc64el depends on libglib2.0-0 (>= 2.54.0). 93s libvolume-key1:ppc64el depends on libglib2.0-0 (>= 2.18.0). 93s libudisks2-0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 93s libqrtr-glib0:ppc64el depends on libglib2.0-0 (>= 2.56). 93s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 93s libqmi-glib5:ppc64el depends on libglib2.0-0 (>= 2.54.0). 93s libpolkit-gobject-1-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 93s libpolkit-agent-1-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 93s libnetplan0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 93s libmm-glib0:ppc64el depends on libglib2.0-0 (>= 2.62.0). 93s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 93s libmbim-glib4:ppc64el depends on libglib2.0-0 (>= 2.56). 93s libjson-glib-1.0-0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 93s libjcat1:ppc64el depends on libglib2.0-0 (>= 2.75.3). 93s libgusb2:ppc64el depends on libglib2.0-0 (>= 2.75.3). 93s libgudev-1.0-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 93s libgirepository-1.0-1:ppc64el depends on libglib2.0-0 (>= 2.79.0). 93s libfwupd2:ppc64el depends on libglib2.0-0 (>= 2.79.0). 93s libblockdev3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 93s libblockdev-utils3:ppc64el depends on libglib2.0-0 (>= 2.75.3). 93s libblockdev-swap3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 93s libblockdev-part3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 93s libblockdev-nvme3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 93s libblockdev-mdraid3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 93s libblockdev-loop3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 93s libblockdev-fs3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 93s libblockdev-crypto3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 93s fwupd depends on libglib2.0-0 (>= 2.79.0). 93s bolt depends on libglib2.0-0 (>= 2.56.0). 93s 93s (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 ... 70095 files and directories currently installed.) 93s Removing libglib2.0-0:ppc64el (2.79.2-1~ubuntu1) ... 93s Selecting previously unselected package libglib2.0-0t64:ppc64el. 93s (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 ... 70070 files and directories currently installed.) 93s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_ppc64el.deb ... 93s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:ppc64el.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled... 93s removed '/var/lib/dpkg/info/libglib2.0-0:ppc64el.postrm' 93s Unpacking libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 93s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 93s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 93s Selecting previously unselected package xdg-user-dirs. 93s Preparing to unpack .../xdg-user-dirs_0.18-1_ppc64el.deb ... 93s Unpacking xdg-user-dirs (0.18-1) ... 93s Setting up xdg-user-dirs (0.18-1) ... 93s Setting up libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 93s No schema files found: doing nothing. 93s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 93s Setting up gir1.2-glib-2.0:ppc64el (2.79.3-3ubuntu5) ... 93s Processing triggers for man-db (2.12.0-3) ... 94s Processing triggers for libc-bin (2.39-0ubuntu2) ... 94s Reading package lists... 94s Building dependency tree... 94s Reading state information... 94s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 95s Hit:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease 95s Hit:2 http://ftpmaster.internal/ubuntu noble InRelease 95s Hit:3 http://ftpmaster.internal/ubuntu noble-updates InRelease 95s Hit:4 http://ftpmaster.internal/ubuntu noble-security InRelease 96s Reading package lists... 96s Reading package lists... 97s Building dependency tree... 97s Reading state information... 97s Calculating upgrade... 97s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 97s Reading package lists... 97s Building dependency tree... 97s Reading state information... 97s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 100s autopkgtest [14:42:44]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Wed Feb 14 00:33:03 UTC 2024 100s autopkgtest [14:42:44]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 105s Get:1 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (dsc) [2670 B] 105s Get:2 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (tar) [6850 kB] 105s Get:3 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (diff) [18.5 kB] 105s gpgv: Signature made Thu Feb 22 07:36:27 2024 UTC 105s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 105s gpgv: Can't check signature: No public key 105s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build4.dsc: no acceptable signature found 105s autopkgtest [14:42:49]: testing package why3 version 1.6.0-1build4 107s autopkgtest [14:42:51]: build not needed 110s autopkgtest [14:42:54]: test why3+alt-ergo: preparing testbed 111s Reading package lists... 112s Building dependency tree... 112s Reading state information... 112s Starting pkgProblemResolver with broken count: 1 112s Starting 2 pkgProblemResolver with broken count: 1 112s Investigating (0) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib > 112s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build4 @un uH > 112s Considering why3:ppc64el 1 as a solution to autopkgtest-satdep:ppc64el 9998 112s Re-Instated fonts-dejavu-mono:ppc64el 112s Re-Instated fonts-dejavu-core:ppc64el 112s Re-Instated fontconfig-config:ppc64el 112s Re-Instated libfontconfig1:ppc64el 112s Re-Instated libpixman-1-0:ppc64el 112s Re-Instated libxcb-render0:ppc64el 112s Re-Instated libxcb-shm0:ppc64el 112s Re-Instated libxrender1:ppc64el 112s Re-Instated libcairo2:ppc64el 112s Re-Instated libgdk-pixbuf2.0-common:ppc64el 112s Re-Instated libjpeg-turbo8:ppc64el 112s Re-Instated libjpeg8:ppc64el 112s Re-Instated libdeflate0:ppc64el 112s Re-Instated libjbig0:ppc64el 112s Re-Instated liblerc4:ppc64el 112s Re-Instated libsharpyuv0:ppc64el 112s Re-Instated libwebp7:ppc64el 112s Re-Instated libtiff6:ppc64el 112s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 112s Re-Instated gtk-update-icon-cache:ppc64el 112s Re-Instated hicolor-icon-theme:ppc64el 112s Re-Instated humanity-icon-theme:ppc64el 112s Re-Instated ubuntu-mono:ppc64el 112s Re-Instated adwaita-icon-theme:ppc64el 112s Re-Instated at-spi2-common:ppc64el 112s Re-Instated libatk1.0-0:ppc64el 112s Re-Instated libxi6:ppc64el 112s Re-Instated libatspi2.0-0:ppc64el 112s Re-Instated libatk-bridge2.0-0:ppc64el 112s Re-Instated libcairo-gobject2:ppc64el 112s Re-Instated liblcms2-2:ppc64el 112s Re-Instated libcolord2:ppc64el 112s Re-Instated libavahi-common-data:ppc64el 112s Re-Instated libavahi-common3:ppc64el 112s Re-Instated libavahi-client3:ppc64el 112s Re-Instated libcups2:ppc64el 112s Re-Instated libepoxy0:ppc64el 112s Re-Instated libgraphite2-3:ppc64el 112s Re-Instated libharfbuzz0b:ppc64el 112s Re-Instated fontconfig:ppc64el 112s Re-Instated libthai-data:ppc64el 112s Re-Instated libdatrie1:ppc64el 112s Re-Instated libthai0:ppc64el 112s Re-Instated libpango-1.0-0:ppc64el 112s Re-Instated libpangoft2-1.0-0:ppc64el 112s Re-Instated libpangocairo-1.0-0:ppc64el 112s Re-Instated libwayland-client0:ppc64el 112s Re-Instated libwayland-cursor0:ppc64el 112s Re-Instated libwayland-egl1:ppc64el 112s Re-Instated libxcomposite1:ppc64el 112s Re-Instated libxfixes3:ppc64el 112s Re-Instated libxcursor1:ppc64el 112s Re-Instated libxdamage1:ppc64el 112s Re-Instated libxinerama1:ppc64el 112s Re-Instated libxrandr2:ppc64el 112s Re-Instated libdconf1:ppc64el 112s Re-Instated dconf-service:ppc64el 112s Re-Instated dconf-gsettings-backend:ppc64el 112s Re-Instated libgtk-3-common:ppc64el 112s Re-Instated libgtk-3-0:ppc64el 112s Re-Instated libgtksourceview-3.0-common:ppc64el 112s Re-Instated libgtksourceview-3.0-1:ppc64el 112s Re-Instated libstdlib-ocaml:ppc64el 112s Re-Instated ocaml-base:ppc64el 112s Re-Instated libcairo2-ocaml:ppc64el 112s Re-Instated liblablgtk3-ocaml:ppc64el 112s Re-Instated liblablgtksourceview3-ocaml:ppc64el 112s Re-Instated tex-common:ppc64el 112s Re-Instated why3:ppc64el 112s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un H > (>= 2.0.0) 112s Done 112s Some packages could not be installed. This may mean that you have 112s requested an impossible situation or if you are using the unstable 112s distribution that some required packages have not yet been created 112s or been moved out of Incoming. 112s The following information may help to resolve the situation: 112s 112s The following packages have unmet dependencies: 112s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 112s E: Unable to correct problems, you have held broken packages. 112s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 112s Reading package lists... 113s Building dependency tree... 113s Reading state information... 113s Starting pkgProblemResolver with broken count: 1 113s Starting 2 pkgProblemResolver with broken count: 1 113s Investigating (0) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib > 113s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build6 @un uH > 113s Considering why3:ppc64el 1 as a solution to autopkgtest-satdep:ppc64el 9998 113s Re-Instated fonts-dejavu-mono:ppc64el 113s Re-Instated fonts-dejavu-core:ppc64el 113s Re-Instated fontconfig-config:ppc64el 113s Re-Instated libfontconfig1:ppc64el 113s Re-Instated libpixman-1-0:ppc64el 113s Re-Instated libpng16-16t64:ppc64el 113s Re-Instated libxcb-render0:ppc64el 113s Re-Instated libxcb-shm0:ppc64el 113s Re-Instated libxrender1:ppc64el 113s Re-Instated libcairo2:ppc64el 113s Re-Instated libgdk-pixbuf2.0-common:ppc64el 113s Re-Instated libjpeg-turbo8:ppc64el 113s Re-Instated libjpeg8:ppc64el 113s Re-Instated libdeflate0:ppc64el 113s Re-Instated libjbig0:ppc64el 113s Re-Instated liblerc4:ppc64el 113s Re-Instated libsharpyuv0:ppc64el 113s Re-Instated libwebp7:ppc64el 113s Re-Instated libtiff6:ppc64el 113s Re-Instated libgdk-pixbuf-2.0-0:ppc64el 113s Re-Instated gtk-update-icon-cache:ppc64el 113s Re-Instated hicolor-icon-theme:ppc64el 113s Re-Instated humanity-icon-theme:ppc64el 113s Re-Instated ubuntu-mono:ppc64el 113s Re-Instated adwaita-icon-theme:ppc64el 113s Re-Instated at-spi2-common:ppc64el 113s Re-Instated libatk1.0-0t64:ppc64el 113s Re-Instated libxi6:ppc64el 113s Re-Instated libatspi2.0-0t64:ppc64el 113s Re-Instated libatk-bridge2.0-0t64:ppc64el 113s Re-Instated libcairo-gobject2:ppc64el 113s Re-Instated liblcms2-2:ppc64el 113s Re-Instated libcolord2:ppc64el 113s Re-Instated libavahi-common-data:ppc64el 113s Re-Instated libavahi-common3:ppc64el 113s Re-Instated libavahi-client3:ppc64el 113s Re-Instated libnettle8t64:ppc64el 113s Re-Instated libhogweed6t64:ppc64el 113s Re-Instated libgnutls30t64:ppc64el 113s Re-Instated libcups2t64:ppc64el 113s Re-Instated libepoxy0:ppc64el 113s Re-Instated libgraphite2-3:ppc64el 113s Re-Instated libharfbuzz0b:ppc64el 113s Re-Instated fontconfig:ppc64el 113s Re-Instated libthai-data:ppc64el 113s Re-Instated libdatrie1:ppc64el 113s Re-Instated libthai0:ppc64el 113s Re-Instated libpango-1.0-0:ppc64el 113s Re-Instated libpangoft2-1.0-0:ppc64el 113s Re-Instated libpangocairo-1.0-0:ppc64el 113s Re-Instated libwayland-client0:ppc64el 113s Re-Instated libwayland-cursor0:ppc64el 113s Re-Instated libwayland-egl1:ppc64el 113s Re-Instated libxcomposite1:ppc64el 113s Re-Instated libxfixes3:ppc64el 113s Re-Instated libxcursor1:ppc64el 113s Re-Instated libxdamage1:ppc64el 113s Re-Instated libxinerama1:ppc64el 113s Re-Instated libxrandr2:ppc64el 113s Re-Instated libdconf1:ppc64el 113s Re-Instated dconf-service:ppc64el 113s Re-Instated dconf-gsettings-backend:ppc64el 113s Re-Instated libgtk-3-common:ppc64el 113s Re-Instated libgtk-3-0t64:ppc64el 113s Re-Instated libgtksourceview-3.0-common:ppc64el 113s Re-Instated libgtksourceview-3.0-1:ppc64el 113s Re-Instated libstdlib-ocaml:ppc64el 113s Re-Instated ocaml-base:ppc64el 113s Re-Instated libcairo2-ocaml:ppc64el 113s Re-Instated liblablgtk3-ocaml:ppc64el 113s Re-Instated liblablgtksourceview3-ocaml:ppc64el 113s Re-Instated tex-common:ppc64el 113s Re-Instated why3:ppc64el 113s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un H > (>= 2.0.0) 113s Investigating (0) libpng16-16t64:ppc64el < none -> 1.6.43-3 @un uN Ib > 113s Broken libpng16-16t64:ppc64el Breaks on libpng16-16:ppc64el < 1.6.43-1 @ii mK > (< 1.6.43-3) 113s Considering libpng16-16:ppc64el 9 as a solution to libpng16-16t64:ppc64el 0 113s Holding Back libpng16-16t64:ppc64el rather than change libpng16-16:ppc64el 113s Investigating (0) libgnutls30t64:ppc64el < none -> 3.8.3-1.1ubuntu2 @un uN Ib > 113s Broken libgnutls30t64:ppc64el Breaks on libgnutls30:ppc64el < 3.8.3-1ubuntu1 @ii mK > (< 3.8.3-1.1ubuntu2) 113s Considering libgnutls30:ppc64el 129 as a solution to libgnutls30t64:ppc64el 0 113s Holding Back libgnutls30t64:ppc64el rather than change libgnutls30:ppc64el 113s Investigating (0) libcairo2:ppc64el < none -> 1.18.0-1ubuntu1 @un uN Ib > 113s Broken libcairo2:ppc64el Depends on libpng16-16t64:ppc64el < none | 1.6.43-3 @un uH > (>= 1.6.2) 113s Considering libpng16-16t64:ppc64el 0 as a solution to libcairo2:ppc64el 0 113s Holding Back libcairo2:ppc64el rather than change libpng16-16t64:ppc64el 113s Investigating (0) libhogweed6t64:ppc64el < none -> 3.9.1-2.2 @un uN Ib > 113s Broken libhogweed6t64:ppc64el Breaks on libhogweed6:ppc64el < 3.9.1-2 @ii mK > (< 3.9.1-2.2) 113s Considering libhogweed6:ppc64el 20 as a solution to libhogweed6t64:ppc64el 0 113s Holding Back libhogweed6t64:ppc64el rather than change libhogweed6:ppc64el 113s Investigating (0) liblablgtk3-ocaml:ppc64el < none -> 3.1.4-1build2 @un uN Ib > 113s Broken liblablgtk3-ocaml:ppc64el Depends on libcairo2:ppc64el < none | 1.18.0-1ubuntu1 @un uH > (>= 1.2.4) 113s Considering libcairo2:ppc64el 0 as a solution to liblablgtk3-ocaml:ppc64el 0 113s Holding Back liblablgtk3-ocaml:ppc64el rather than change libcairo2:ppc64el 113s Investigating (0) libcups2t64:ppc64el < none -> 2.4.7-1.2ubuntu1 @un uN Ib > 113s Broken libcups2t64:ppc64el Depends on libgnutls30t64:ppc64el < none | 3.8.3-1.1ubuntu2 @un uH > (>= 3.8.1) 113s Considering libgnutls30t64:ppc64el 0 as a solution to libcups2t64:ppc64el 0 113s Holding Back libcups2t64:ppc64el rather than change libgnutls30t64:ppc64el 113s Investigating (0) libnettle8t64:ppc64el < none -> 3.9.1-2.2 @un uN Ib > 113s Broken libnettle8t64:ppc64el Breaks on libnettle8:ppc64el < 3.9.1-2 @ii mK > (< 3.9.1-2.2) 113s Considering libnettle8:ppc64el 29 as a solution to libnettle8t64:ppc64el 0 113s Holding Back libnettle8t64:ppc64el rather than change libnettle8:ppc64el 113s Investigating (0) libcairo-gobject2:ppc64el < none -> 1.18.0-1ubuntu1 @un uN Ib > 113s Broken libcairo-gobject2:ppc64el Depends on libcairo2:ppc64el < none | 1.18.0-1ubuntu1 @un uH > (= 1.18.0-1ubuntu1) 113s Considering libcairo2:ppc64el 0 as a solution to libcairo-gobject2:ppc64el 0 113s Holding Back libcairo-gobject2:ppc64el rather than change libcairo2:ppc64el 113s Investigating (0) libcairo2-ocaml:ppc64el < none -> 0.6.4+dfsg-2build2 @un uN Ib > 113s Broken libcairo2-ocaml:ppc64el Depends on libcairo2:ppc64el < none | 1.18.0-1ubuntu1 @un uH > (>= 1.12.0) 113s Considering libcairo2:ppc64el 0 as a solution to libcairo2-ocaml:ppc64el 0 113s Holding Back libcairo2-ocaml:ppc64el rather than change libcairo2:ppc64el 113s Investigating (0) libgdk-pixbuf-2.0-0:ppc64el < none -> 2.42.10+dfsg-3ubuntu1 @un uN Ib > 113s Broken libgdk-pixbuf-2.0-0:ppc64el Depends on libpng16-16t64:ppc64el < none | 1.6.43-3 @un uH > (>= 1.6.2) 113s Considering libpng16-16t64:ppc64el 0 as a solution to libgdk-pixbuf-2.0-0:ppc64el 0 113s Holding Back libgdk-pixbuf-2.0-0:ppc64el rather than change libpng16-16t64:ppc64el 113s Investigating (0) libgtksourceview-3.0-1:ppc64el < none -> 3.24.11-2build3 @un uN Ib > 113s Broken libgtksourceview-3.0-1:ppc64el Depends on libcairo2:ppc64el < none | 1.18.0-1ubuntu1 @un uH > (>= 1.4.10) 113s Considering libcairo2:ppc64el 0 as a solution to libgtksourceview-3.0-1:ppc64el 0 113s Holding Back libgtksourceview-3.0-1:ppc64el rather than change libcairo2:ppc64el 113s Investigating (1) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib > 113s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un H > (>= 2.0.0) 113s Investigating (1) why3:ppc64el < none -> 1.6.0-1build6 @un uN Ib > 113s Broken why3:ppc64el Depends on libcairo2:ppc64el < none | 1.18.0-1ubuntu1 @un uH > (>= 1.2.4) 113s Considering libcairo2:ppc64el 0 as a solution to why3:ppc64el 1 113s Holding Back why3:ppc64el rather than change libcairo2:ppc64el 113s Investigating (1) libpangocairo-1.0-0:ppc64el < none -> 1.52.1+ds-1 @un uN Ib > 113s Broken libpangocairo-1.0-0:ppc64el Depends on libcairo2:ppc64el < none | 1.18.0-1ubuntu1 @un uH > (>= 1.8.0) 113s Considering libcairo2:ppc64el 0 as a solution to libpangocairo-1.0-0:ppc64el 0 113s Holding Back libpangocairo-1.0-0:ppc64el rather than change libcairo2:ppc64el 113s Investigating (1) gtk-update-icon-cache:ppc64el < none -> 3.24.41-1.1ubuntu3 @un uN Ib > 113s Broken gtk-update-icon-cache:ppc64el Depends on libgdk-pixbuf-2.0-0:ppc64el < none | 2.42.10+dfsg-3ubuntu1 @un uH > (>= 2.40.0) 113s Considering libgdk-pixbuf-2.0-0:ppc64el 0 as a solution to gtk-update-icon-cache:ppc64el 0 113s Holding Back gtk-update-icon-cache:ppc64el rather than change libgdk-pixbuf-2.0-0:ppc64el 113s Investigating (1) liblablgtksourceview3-ocaml:ppc64el < none -> 3.1.4-1build2 @un uN Ib > 113s Broken liblablgtksourceview3-ocaml:ppc64el Depends on libcairo2-ocaml-uvn20:ppc64el < none @un H > 113s Considering libcairo2-ocaml:ppc64el 0 as a solution to liblablgtksourceview3-ocaml:ppc64el 0 113s Holding Back liblablgtksourceview3-ocaml:ppc64el rather than change libcairo2-ocaml-uvn20:ppc64el 113s Investigating (1) libgtk-3-0t64:ppc64el < none -> 3.24.41-1.1ubuntu3 @un uN Ib > 113s Broken libgtk-3-0t64:ppc64el Depends on libcairo-gobject2:ppc64el < none | 1.18.0-1ubuntu1 @un uH > (>= 1.14.0) 113s Considering libcairo-gobject2:ppc64el 0 as a solution to libgtk-3-0t64:ppc64el 0 113s Holding Back libgtk-3-0t64:ppc64el rather than change libcairo-gobject2:ppc64el 113s Investigating (1) adwaita-icon-theme:ppc64el < none -> 46~rc-1 @un uN Ib > 113s Broken adwaita-icon-theme:ppc64el Depends on gtk-update-icon-cache:ppc64el < none | 3.24.41-1.1ubuntu3 @un uH > 113s Considering gtk-update-icon-cache:ppc64el 0 as a solution to adwaita-icon-theme:ppc64el 0 113s Holding Back adwaita-icon-theme:ppc64el rather than change gtk-update-icon-cache:ppc64el 113s Investigating (2) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib > 113s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build6 @un uH > 113s Considering why3:ppc64el 1 as a solution to autopkgtest-satdep:ppc64el 9998 113s Considering why3:ppc64el 1 as a solution to autopkgtest-satdep:ppc64el 9998 113s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un H > (>= 2.0.0) 113s Investigating (2) ubuntu-mono:ppc64el < none -> 24.04-0ubuntu1 @un uN Ib > 113s Broken ubuntu-mono:ppc64el Depends on adwaita-icon-theme:ppc64el < none | 46~rc-1 @un uH > 113s Considering adwaita-icon-theme:ppc64el 0 as a solution to ubuntu-mono:ppc64el 0 113s Holding Back ubuntu-mono:ppc64el rather than change adwaita-icon-theme:ppc64el 113s Investigating (2) humanity-icon-theme:ppc64el < none -> 0.6.16 @un uN Ib > 113s Broken humanity-icon-theme:ppc64el Depends on adwaita-icon-theme:ppc64el < none | 46~rc-1 @un uH > 113s Considering adwaita-icon-theme:ppc64el 0 as a solution to humanity-icon-theme:ppc64el 0 113s Holding Back humanity-icon-theme:ppc64el rather than change adwaita-icon-theme:ppc64el 113s Investigating (3) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib > 113s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build6 @un uH > 113s Considering why3:ppc64el 1 as a solution to autopkgtest-satdep:ppc64el 9998 113s Considering why3:ppc64el 1 as a solution to autopkgtest-satdep:ppc64el 9998 113s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un H > (>= 2.0.0) 113s Done 113s Some packages could not be installed. This may mean that you have 113s requested an impossible situation or if you are using the unstable 113s distribution that some required packages have not yet been created 113s or been moved out of Incoming. 113s The following information may help to resolve the situation: 113s 113s The following packages have unmet dependencies: 113s autopkgtest-satdep : Depends: why3 but it is not going to be installed 113s Depends: alt-ergo (>= 2.0.0) but it is not installable 113s E: Unable to correct problems, you have held broken packages. 113s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 113s why3+alt-ergo SKIP installation fails and skip-not-installable set 113s autopkgtest [14:42:57]: test why3+cvc4: preparing testbed 237s autopkgtest [14:45:01]: testbed dpkg architecture: ppc64el 237s autopkgtest [14:45:01]: testbed apt version: 2.7.12 237s autopkgtest [14:45:01]: @@@@@@@@@@@@@@@@@@@@ test bed setup 238s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 239s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB] 239s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 239s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3805 kB] 239s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [497 kB] 239s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [668 kB] 239s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 239s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 239s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 239s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4153 kB] 239s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 239s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [47.7 kB] 239s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 243s Fetched 9360 kB in 3s (3667 kB/s) 243s Reading package lists... 246s Reading package lists... 246s Building dependency tree... 246s Reading state information... 246s Calculating upgrade... 246s The following packages will be REMOVED: 246s libglib2.0-0 246s The following NEW packages will be installed: 246s libglib2.0-0t64 xdg-user-dirs 246s The following packages will be upgraded: 246s gir1.2-glib-2.0 libglib2.0-data 246s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 246s Need to get 2022 kB of archives. 246s After this operation, 204 kB of additional disk space will be used. 246s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el gir1.2-glib-2.0 ppc64el 2.79.3-3ubuntu5 [182 kB] 247s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libglib2.0-0t64 ppc64el 2.79.3-3ubuntu5 [1773 kB] 247s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 247s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el xdg-user-dirs ppc64el 0.18-1 [20.0 kB] 247s Fetched 2022 kB in 1s (2970 kB/s) 247s (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 ... 70095 files and directories currently installed.) 247s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_ppc64el.deb ... 247s Unpacking gir1.2-glib-2.0:ppc64el (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 247s dpkg: libglib2.0-0:ppc64el: dependency problems, but removing anyway as you requested: 247s udisks2 depends on libglib2.0-0 (>= 2.77.0). 247s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 247s python3-gi depends on libglib2.0-0 (>= 2.77.0). 247s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 247s netplan.io depends on libglib2.0-0 (>= 2.70.0). 247s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 247s libxmlb2:ppc64el depends on libglib2.0-0 (>= 2.54.0). 247s libvolume-key1:ppc64el depends on libglib2.0-0 (>= 2.18.0). 247s libudisks2-0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 247s libqrtr-glib0:ppc64el depends on libglib2.0-0 (>= 2.56). 247s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 247s libqmi-glib5:ppc64el depends on libglib2.0-0 (>= 2.54.0). 247s libpolkit-gobject-1-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 247s libpolkit-agent-1-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 248s libnetplan0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 248s libmm-glib0:ppc64el depends on libglib2.0-0 (>= 2.62.0). 248s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 248s libmbim-glib4:ppc64el depends on libglib2.0-0 (>= 2.56). 248s libjson-glib-1.0-0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 248s libjcat1:ppc64el depends on libglib2.0-0 (>= 2.75.3). 248s libgusb2:ppc64el depends on libglib2.0-0 (>= 2.75.3). 248s libgudev-1.0-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 248s libgirepository-1.0-1:ppc64el depends on libglib2.0-0 (>= 2.79.0). 248s libfwupd2:ppc64el depends on libglib2.0-0 (>= 2.79.0). 248s libblockdev3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 248s libblockdev-utils3:ppc64el depends on libglib2.0-0 (>= 2.75.3). 248s libblockdev-swap3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 248s libblockdev-part3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 248s libblockdev-nvme3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 248s libblockdev-mdraid3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 248s libblockdev-loop3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 248s libblockdev-fs3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 248s libblockdev-crypto3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 248s fwupd depends on libglib2.0-0 (>= 2.79.0). 248s bolt depends on libglib2.0-0 (>= 2.56.0). 248s 248s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 70095 files and directories currently installed.) 248s Removing libglib2.0-0:ppc64el (2.79.2-1~ubuntu1) ... 248s Selecting previously unselected package libglib2.0-0t64:ppc64el. 248s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 70070 files and directories currently installed.) 248s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_ppc64el.deb ... 248s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:ppc64el.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled... 248s removed '/var/lib/dpkg/info/libglib2.0-0:ppc64el.postrm' 248s Unpacking libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 248s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 248s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 248s Selecting previously unselected package xdg-user-dirs. 248s Preparing to unpack .../xdg-user-dirs_0.18-1_ppc64el.deb ... 248s Unpacking xdg-user-dirs (0.18-1) ... 248s Setting up xdg-user-dirs (0.18-1) ... 248s Setting up libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 248s No schema files found: doing nothing. 248s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 248s Setting up gir1.2-glib-2.0:ppc64el (2.79.3-3ubuntu5) ... 248s Processing triggers for man-db (2.12.0-3) ... 248s Processing triggers for libc-bin (2.39-0ubuntu2) ... 248s Reading package lists... 249s Building dependency tree... 249s Reading state information... 249s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 249s Hit:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease 249s Hit:2 http://ftpmaster.internal/ubuntu noble InRelease 249s Hit:3 http://ftpmaster.internal/ubuntu noble-updates InRelease 249s Hit:4 http://ftpmaster.internal/ubuntu noble-security InRelease 252s Reading package lists... 252s Reading package lists... 252s Building dependency tree... 252s Reading state information... 252s Calculating upgrade... 252s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 252s Reading package lists... 252s Building dependency tree... 252s Reading state information... 252s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 258s Reading package lists... 258s Building dependency tree... 258s Reading state information... 258s Starting pkgProblemResolver with broken count: 0 258s Starting 2 pkgProblemResolver with broken count: 0 258s Done 259s The following additional packages will be installed: 259s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 259s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 259s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 259s libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 259s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 259s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 libcvc4-7 259s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 259s libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 259s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 259s libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 259s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 libpango-1.0-0 259s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 259s libstdlib-ocaml libthai-data libthai0 libtiff6 libwayland-client0 259s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 259s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 259s libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 259s Suggested packages: 259s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 259s Recommended packages: 259s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin libgtk-3-0t64 259s The following NEW packages will be installed: 259s adwaita-icon-theme at-spi2-common autopkgtest-satdep cvc4 259s dconf-gsettings-backend dconf-service fontconfig fontconfig-config 259s fonts-dejavu-core fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 259s humanity-icon-theme libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 259s libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 259s libcairo-gobject2 libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 259s libcvc4-7 libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 259s libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 259s libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 259s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 259s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 259s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 259s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 259s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 259s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 259s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 259s why3 259s 0 upgraded, 75 newly installed, 0 to remove and 0 not upgraded. 259s Need to get 39.8 MB/39.8 MB of archives. 259s After this operation, 185 MB of additional disk space will be used. 259s Get:1 /tmp/autopkgtest.bvBHPA/2-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [720 B] 259s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 259s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-2ubuntu1 [212 kB] 259s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 259s Get:5 http://ftpmaster.internal/ubuntu noble/main ppc64el libdeflate0 ppc64el 1.19-1 [61.9 kB] 259s Get:6 http://ftpmaster.internal/ubuntu noble/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu1 [34.7 kB] 259s Get:7 http://ftpmaster.internal/ubuntu noble/main ppc64el liblerc4 ppc64el 4.0.0+ds-4ubuntu1 [266 kB] 259s Get:8 http://ftpmaster.internal/ubuntu noble/main ppc64el libsharpyuv0 ppc64el 1.3.2-0.4 [28.7 kB] 259s Get:9 http://ftpmaster.internal/ubuntu noble/main ppc64el libwebp7 ppc64el 1.3.2-0.4 [312 kB] 260s Get:10 http://ftpmaster.internal/ubuntu noble/main ppc64el libtiff6 ppc64el 4.5.1+git230720-3ubuntu1 [323 kB] 260s Get:11 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.10+dfsg-3 [186 kB] 260s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el gtk-update-icon-cache ppc64el 3.24.41-1.1ubuntu3 [53.6 kB] 260s Get:13 http://ftpmaster.internal/ubuntu noble/main ppc64el hicolor-icon-theme all 0.17-2 [9976 B] 260s Get:14 http://ftpmaster.internal/ubuntu noble/main ppc64el humanity-icon-theme all 0.6.16 [1282 kB] 260s Get:15 http://ftpmaster.internal/ubuntu noble/main ppc64el ubuntu-mono all 24.04-0ubuntu1 [151 kB] 260s Get:16 http://ftpmaster.internal/ubuntu noble/main ppc64el adwaita-icon-theme all 46~rc-1 [723 kB] 261s Get:17 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el at-spi2-common all 2.51.90-3 [8222 B] 261s Get:18 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcln6 ppc64el 1.3.7-1 [527 kB] 261s Get:19 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcvc4-7 ppc64el 1.8-3 [4688 kB] 262s Get:20 http://ftpmaster.internal/ubuntu noble/universe ppc64el libantlr3c-3.4-0 ppc64el 3.4+dfsg-4build1 [52.0 kB] 262s Get:21 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcvc4parser7 ppc64el 1.8-3 [386 kB] 262s Get:22 http://ftpmaster.internal/ubuntu noble/universe ppc64el cvc4 ppc64el 1.8-3 [75.9 kB] 262s Get:23 http://ftpmaster.internal/ubuntu noble/main ppc64el libdconf1 ppc64el 0.40.0-4 [43.0 kB] 262s Get:24 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-service ppc64el 0.40.0-4 [31.0 kB] 262s Get:25 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-4 [25.3 kB] 262s Get:26 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 262s Get:27 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 262s Get:28 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig-config ppc64el 2.15.0-1ubuntu1 [37.0 kB] 262s Get:29 http://ftpmaster.internal/ubuntu noble/main ppc64el libfontconfig1 ppc64el 2.15.0-1ubuntu1 [190 kB] 262s Get:30 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig ppc64el 2.15.0-1ubuntu1 [192 kB] 262s Get:31 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk1.0-0 ppc64el 2.50.0-1 [57.8 kB] 262s Get:32 http://ftpmaster.internal/ubuntu noble/main ppc64el libxi6 ppc64el 2:1.8.1-1 [37.9 kB] 262s Get:33 http://ftpmaster.internal/ubuntu noble/main ppc64el libatspi2.0-0 ppc64el 2.50.0-1 [93.5 kB] 262s Get:34 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk-bridge2.0-0 ppc64el 2.50.0-1 [75.5 kB] 262s Get:35 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common-data ppc64el 0.8-13ubuntu2 [29.5 kB] 262s Get:36 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common3 ppc64el 0.8-13ubuntu2 [25.8 kB] 262s Get:37 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-client3 ppc64el 0.8-13ubuntu2 [30.6 kB] 262s Get:38 http://ftpmaster.internal/ubuntu noble/main ppc64el libpixman-1-0 ppc64el 0.42.2-1 [300 kB] 262s Get:39 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-render0 ppc64el 1.15-1 [17.2 kB] 262s Get:40 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-shm0 ppc64el 1.15-1 [5896 B] 262s Get:41 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1 [23.3 kB] 262s Get:42 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo2 ppc64el 1.18.0-1 [735 kB] 262s Get:43 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo-gobject2 ppc64el 1.18.0-1 [127 kB] 262s Get:44 http://ftpmaster.internal/ubuntu noble/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB] 262s Get:45 http://ftpmaster.internal/ubuntu noble/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB] 262s Get:46 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcairo2-ocaml ppc64el 0.6.4+dfsg-2build2 [27.5 kB] 262s Get:47 http://ftpmaster.internal/ubuntu noble/main ppc64el liblcms2-2 ppc64el 2.14-2 [243 kB] 262s Get:48 http://ftpmaster.internal/ubuntu noble/main ppc64el libcolord2 ppc64el 1.4.7-1 [164 kB] 262s Get:49 http://ftpmaster.internal/ubuntu noble/main ppc64el libcups2 ppc64el 2.4.6-0ubuntu3 [344 kB] 262s Get:50 http://ftpmaster.internal/ubuntu noble/main ppc64el libdatrie1 ppc64el 0.2.13-3 [25.1 kB] 262s Get:51 http://ftpmaster.internal/ubuntu noble/main ppc64el libepoxy0 ppc64el 1.5.10-1 [247 kB] 262s Get:52 http://ftpmaster.internal/ubuntu noble/main ppc64el libgraphite2-3 ppc64el 1.3.14-2 [105 kB] 262s Get:53 http://ftpmaster.internal/ubuntu noble/main ppc64el libharfbuzz0b ppc64el 8.3.0-2 [576 kB] 262s Get:54 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai-data all 0.1.29-2 [158 kB] 262s Get:55 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai0 ppc64el 0.1.29-2 [21.4 kB] 262s Get:56 http://ftpmaster.internal/ubuntu noble/main ppc64el libpango-1.0-0 ppc64el 1.51.0+ds-4 [266 kB] 262s Get:57 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangoft2-1.0-0 ppc64el 1.51.0+ds-4 [49.5 kB] 263s Get:58 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangocairo-1.0-0 ppc64el 1.51.0+ds-4 [31.2 kB] 263s Get:59 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-client0 ppc64el 1.22.0-2.1 [29.4 kB] 263s Get:60 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-cursor0 ppc64el 1.22.0-2.1 [11.4 kB] 263s Get:61 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-egl1 ppc64el 1.22.0-2.1 [5626 B] 263s Get:62 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcomposite1 ppc64el 1:0.4.5-1build2 [7400 B] 263s Get:63 http://ftpmaster.internal/ubuntu noble/main ppc64el libxfixes3 ppc64el 1:6.0.0-2 [11.6 kB] 263s Get:64 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcursor1 ppc64el 1:1.2.1-1 [26.9 kB] 263s Get:65 http://ftpmaster.internal/ubuntu noble/main ppc64el libxdamage1 ppc64el 1:1.1.6-1 [6320 B] 263s Get:66 http://ftpmaster.internal/ubuntu noble/main ppc64el libxinerama1 ppc64el 2:1.1.4-3 [7658 B] 263s Get:67 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrandr2 ppc64el 2:1.5.2-2 [22.7 kB] 263s Get:68 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libgtk-3-common all 3.24.41-1.1ubuntu3 [1202 kB] 263s Get:69 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-0 ppc64el 3.24.40-2ubuntu1 [3344 kB] 263s Get:70 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 263s Get:71 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-2build1 [271 kB] 263s Get:72 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.4-1 [4114 kB] 263s Get:73 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.4-1 [354 kB] 263s Get:74 http://ftpmaster.internal/ubuntu noble/universe ppc64el tex-common all 6.18 [32.8 kB] 263s Get:75 http://ftpmaster.internal/ubuntu noble/universe ppc64el why3 ppc64el 1.6.0-1build4 [14.3 MB] 264s Fetched 39.8 MB in 5s (7809 kB/s) 264s Selecting previously unselected package libgdk-pixbuf2.0-common. 264s (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 ... 70109 files and directories currently installed.) 264s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 264s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 264s Selecting previously unselected package libjpeg-turbo8:ppc64el. 264s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_ppc64el.deb ... 264s Unpacking libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 264s Selecting previously unselected package libjpeg8:ppc64el. 264s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 264s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 264s Selecting previously unselected package libdeflate0:ppc64el. 264s Preparing to unpack .../03-libdeflate0_1.19-1_ppc64el.deb ... 264s Unpacking libdeflate0:ppc64el (1.19-1) ... 264s Selecting previously unselected package libjbig0:ppc64el. 264s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_ppc64el.deb ... 264s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu1) ... 264s Selecting previously unselected package liblerc4:ppc64el. 264s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_ppc64el.deb ... 264s Unpacking liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 264s Selecting previously unselected package libsharpyuv0:ppc64el. 264s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_ppc64el.deb ... 264s Unpacking libsharpyuv0:ppc64el (1.3.2-0.4) ... 264s Selecting previously unselected package libwebp7:ppc64el. 264s Preparing to unpack .../07-libwebp7_1.3.2-0.4_ppc64el.deb ... 264s Unpacking libwebp7:ppc64el (1.3.2-0.4) ... 264s Selecting previously unselected package libtiff6:ppc64el. 264s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_ppc64el.deb ... 264s Unpacking libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 264s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 264s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_ppc64el.deb ... 264s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 264s Selecting previously unselected package gtk-update-icon-cache. 264s Preparing to unpack .../10-gtk-update-icon-cache_3.24.41-1.1ubuntu3_ppc64el.deb ... 264s Unpacking gtk-update-icon-cache (3.24.41-1.1ubuntu3) ... 264s Selecting previously unselected package hicolor-icon-theme. 264s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 264s Unpacking hicolor-icon-theme (0.17-2) ... 265s Selecting previously unselected package humanity-icon-theme. 265s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 265s Unpacking humanity-icon-theme (0.6.16) ... 265s Selecting previously unselected package ubuntu-mono. 265s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 265s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 266s Selecting previously unselected package adwaita-icon-theme. 266s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 266s Unpacking adwaita-icon-theme (46~rc-1) ... 266s Selecting previously unselected package at-spi2-common. 266s Preparing to unpack .../15-at-spi2-common_2.51.90-3_all.deb ... 266s Unpacking at-spi2-common (2.51.90-3) ... 266s Selecting previously unselected package libcln6:ppc64el. 266s Preparing to unpack .../16-libcln6_1.3.7-1_ppc64el.deb ... 266s Unpacking libcln6:ppc64el (1.3.7-1) ... 266s Selecting previously unselected package libcvc4-7:ppc64el. 266s Preparing to unpack .../17-libcvc4-7_1.8-3_ppc64el.deb ... 266s Unpacking libcvc4-7:ppc64el (1.8-3) ... 266s Selecting previously unselected package libantlr3c-3.4-0:ppc64el. 266s Preparing to unpack .../18-libantlr3c-3.4-0_3.4+dfsg-4build1_ppc64el.deb ... 266s Unpacking libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build1) ... 266s Selecting previously unselected package libcvc4parser7:ppc64el. 266s Preparing to unpack .../19-libcvc4parser7_1.8-3_ppc64el.deb ... 266s Unpacking libcvc4parser7:ppc64el (1.8-3) ... 266s Selecting previously unselected package cvc4. 266s Preparing to unpack .../20-cvc4_1.8-3_ppc64el.deb ... 266s Unpacking cvc4 (1.8-3) ... 266s Selecting previously unselected package libdconf1:ppc64el. 266s Preparing to unpack .../21-libdconf1_0.40.0-4_ppc64el.deb ... 266s Unpacking libdconf1:ppc64el (0.40.0-4) ... 266s Selecting previously unselected package dconf-service. 266s Preparing to unpack .../22-dconf-service_0.40.0-4_ppc64el.deb ... 266s Unpacking dconf-service (0.40.0-4) ... 266s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 266s Preparing to unpack .../23-dconf-gsettings-backend_0.40.0-4_ppc64el.deb ... 266s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-4) ... 266s Selecting previously unselected package fonts-dejavu-mono. 266s Preparing to unpack .../24-fonts-dejavu-mono_2.37-8_all.deb ... 266s Unpacking fonts-dejavu-mono (2.37-8) ... 266s Selecting previously unselected package fonts-dejavu-core. 266s Preparing to unpack .../25-fonts-dejavu-core_2.37-8_all.deb ... 266s Unpacking fonts-dejavu-core (2.37-8) ... 266s Selecting previously unselected package fontconfig-config. 266s Preparing to unpack .../26-fontconfig-config_2.15.0-1ubuntu1_ppc64el.deb ... 267s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 267s Selecting previously unselected package libfontconfig1:ppc64el. 267s Preparing to unpack .../27-libfontconfig1_2.15.0-1ubuntu1_ppc64el.deb ... 267s Unpacking libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 267s Selecting previously unselected package fontconfig. 267s Preparing to unpack .../28-fontconfig_2.15.0-1ubuntu1_ppc64el.deb ... 267s Unpacking fontconfig (2.15.0-1ubuntu1) ... 267s Selecting previously unselected package libatk1.0-0:ppc64el. 267s Preparing to unpack .../29-libatk1.0-0_2.50.0-1_ppc64el.deb ... 267s Unpacking libatk1.0-0:ppc64el (2.50.0-1) ... 267s Selecting previously unselected package libxi6:ppc64el. 267s Preparing to unpack .../30-libxi6_2%3a1.8.1-1_ppc64el.deb ... 267s Unpacking libxi6:ppc64el (2:1.8.1-1) ... 267s Selecting previously unselected package libatspi2.0-0:ppc64el. 267s Preparing to unpack .../31-libatspi2.0-0_2.50.0-1_ppc64el.deb ... 267s Unpacking libatspi2.0-0:ppc64el (2.50.0-1) ... 267s Selecting previously unselected package libatk-bridge2.0-0:ppc64el. 267s Preparing to unpack .../32-libatk-bridge2.0-0_2.50.0-1_ppc64el.deb ... 267s Unpacking libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 267s Selecting previously unselected package libavahi-common-data:ppc64el. 267s Preparing to unpack .../33-libavahi-common-data_0.8-13ubuntu2_ppc64el.deb ... 267s Unpacking libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 267s Selecting previously unselected package libavahi-common3:ppc64el. 267s Preparing to unpack .../34-libavahi-common3_0.8-13ubuntu2_ppc64el.deb ... 267s Unpacking libavahi-common3:ppc64el (0.8-13ubuntu2) ... 267s Selecting previously unselected package libavahi-client3:ppc64el. 267s Preparing to unpack .../35-libavahi-client3_0.8-13ubuntu2_ppc64el.deb ... 267s Unpacking libavahi-client3:ppc64el (0.8-13ubuntu2) ... 267s Selecting previously unselected package libpixman-1-0:ppc64el. 267s Preparing to unpack .../36-libpixman-1-0_0.42.2-1_ppc64el.deb ... 267s Unpacking libpixman-1-0:ppc64el (0.42.2-1) ... 267s Selecting previously unselected package libxcb-render0:ppc64el. 267s Preparing to unpack .../37-libxcb-render0_1.15-1_ppc64el.deb ... 267s Unpacking libxcb-render0:ppc64el (1.15-1) ... 267s Selecting previously unselected package libxcb-shm0:ppc64el. 267s Preparing to unpack .../38-libxcb-shm0_1.15-1_ppc64el.deb ... 267s Unpacking libxcb-shm0:ppc64el (1.15-1) ... 267s Selecting previously unselected package libxrender1:ppc64el. 267s Preparing to unpack .../39-libxrender1_1%3a0.9.10-1.1_ppc64el.deb ... 267s Unpacking libxrender1:ppc64el (1:0.9.10-1.1) ... 267s Selecting previously unselected package libcairo2:ppc64el. 267s Preparing to unpack .../40-libcairo2_1.18.0-1_ppc64el.deb ... 267s Unpacking libcairo2:ppc64el (1.18.0-1) ... 267s Selecting previously unselected package libcairo-gobject2:ppc64el. 267s Preparing to unpack .../41-libcairo-gobject2_1.18.0-1_ppc64el.deb ... 267s Unpacking libcairo-gobject2:ppc64el (1.18.0-1) ... 267s Selecting previously unselected package libstdlib-ocaml. 267s Preparing to unpack .../42-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ... 267s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 267s Selecting previously unselected package ocaml-base. 267s Preparing to unpack .../43-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ... 267s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 267s Selecting previously unselected package libcairo2-ocaml. 267s Preparing to unpack .../44-libcairo2-ocaml_0.6.4+dfsg-2build2_ppc64el.deb ... 267s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 267s Selecting previously unselected package liblcms2-2:ppc64el. 267s Preparing to unpack .../45-liblcms2-2_2.14-2_ppc64el.deb ... 267s Unpacking liblcms2-2:ppc64el (2.14-2) ... 267s Selecting previously unselected package libcolord2:ppc64el. 267s Preparing to unpack .../46-libcolord2_1.4.7-1_ppc64el.deb ... 267s Unpacking libcolord2:ppc64el (1.4.7-1) ... 267s Selecting previously unselected package libcups2:ppc64el. 267s Preparing to unpack .../47-libcups2_2.4.6-0ubuntu3_ppc64el.deb ... 267s Unpacking libcups2:ppc64el (2.4.6-0ubuntu3) ... 267s Selecting previously unselected package libdatrie1:ppc64el. 267s Preparing to unpack .../48-libdatrie1_0.2.13-3_ppc64el.deb ... 267s Unpacking libdatrie1:ppc64el (0.2.13-3) ... 267s Selecting previously unselected package libepoxy0:ppc64el. 267s Preparing to unpack .../49-libepoxy0_1.5.10-1_ppc64el.deb ... 267s Unpacking libepoxy0:ppc64el (1.5.10-1) ... 267s Selecting previously unselected package libgraphite2-3:ppc64el. 267s Preparing to unpack .../50-libgraphite2-3_1.3.14-2_ppc64el.deb ... 267s Unpacking libgraphite2-3:ppc64el (1.3.14-2) ... 267s Selecting previously unselected package libharfbuzz0b:ppc64el. 267s Preparing to unpack .../51-libharfbuzz0b_8.3.0-2_ppc64el.deb ... 267s Unpacking libharfbuzz0b:ppc64el (8.3.0-2) ... 267s Selecting previously unselected package libthai-data. 267s Preparing to unpack .../52-libthai-data_0.1.29-2_all.deb ... 267s Unpacking libthai-data (0.1.29-2) ... 267s Selecting previously unselected package libthai0:ppc64el. 267s Preparing to unpack .../53-libthai0_0.1.29-2_ppc64el.deb ... 267s Unpacking libthai0:ppc64el (0.1.29-2) ... 267s Selecting previously unselected package libpango-1.0-0:ppc64el. 267s Preparing to unpack .../54-libpango-1.0-0_1.51.0+ds-4_ppc64el.deb ... 267s Unpacking libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 267s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 267s Preparing to unpack .../55-libpangoft2-1.0-0_1.51.0+ds-4_ppc64el.deb ... 267s Unpacking libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 267s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 267s Preparing to unpack .../56-libpangocairo-1.0-0_1.51.0+ds-4_ppc64el.deb ... 267s Unpacking libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 267s Selecting previously unselected package libwayland-client0:ppc64el. 267s Preparing to unpack .../57-libwayland-client0_1.22.0-2.1_ppc64el.deb ... 267s Unpacking libwayland-client0:ppc64el (1.22.0-2.1) ... 267s Selecting previously unselected package libwayland-cursor0:ppc64el. 267s Preparing to unpack .../58-libwayland-cursor0_1.22.0-2.1_ppc64el.deb ... 267s Unpacking libwayland-cursor0:ppc64el (1.22.0-2.1) ... 267s Selecting previously unselected package libwayland-egl1:ppc64el. 267s Preparing to unpack .../59-libwayland-egl1_1.22.0-2.1_ppc64el.deb ... 267s Unpacking libwayland-egl1:ppc64el (1.22.0-2.1) ... 267s Selecting previously unselected package libxcomposite1:ppc64el. 267s Preparing to unpack .../60-libxcomposite1_1%3a0.4.5-1build2_ppc64el.deb ... 267s Unpacking libxcomposite1:ppc64el (1:0.4.5-1build2) ... 267s Selecting previously unselected package libxfixes3:ppc64el. 267s Preparing to unpack .../61-libxfixes3_1%3a6.0.0-2_ppc64el.deb ... 267s Unpacking libxfixes3:ppc64el (1:6.0.0-2) ... 267s Selecting previously unselected package libxcursor1:ppc64el. 267s Preparing to unpack .../62-libxcursor1_1%3a1.2.1-1_ppc64el.deb ... 267s Unpacking libxcursor1:ppc64el (1:1.2.1-1) ... 267s Selecting previously unselected package libxdamage1:ppc64el. 267s Preparing to unpack .../63-libxdamage1_1%3a1.1.6-1_ppc64el.deb ... 267s Unpacking libxdamage1:ppc64el (1:1.1.6-1) ... 267s Selecting previously unselected package libxinerama1:ppc64el. 267s Preparing to unpack .../64-libxinerama1_2%3a1.1.4-3_ppc64el.deb ... 267s Unpacking libxinerama1:ppc64el (2:1.1.4-3) ... 267s Selecting previously unselected package libxrandr2:ppc64el. 267s Preparing to unpack .../65-libxrandr2_2%3a1.5.2-2_ppc64el.deb ... 267s Unpacking libxrandr2:ppc64el (2:1.5.2-2) ... 267s Selecting previously unselected package libgtk-3-common. 267s Preparing to unpack .../66-libgtk-3-common_3.24.41-1.1ubuntu3_all.deb ... 267s Unpacking libgtk-3-common (3.24.41-1.1ubuntu3) ... 268s Selecting previously unselected package libgtk-3-0:ppc64el. 268s Preparing to unpack .../67-libgtk-3-0_3.24.40-2ubuntu1_ppc64el.deb ... 268s Unpacking libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 268s Selecting previously unselected package libgtksourceview-3.0-common. 268s Preparing to unpack .../68-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 268s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 268s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 268s Preparing to unpack .../69-libgtksourceview-3.0-1_3.24.11-2build1_ppc64el.deb ... 268s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 268s Selecting previously unselected package liblablgtk3-ocaml. 268s Preparing to unpack .../70-liblablgtk3-ocaml_3.1.4-1_ppc64el.deb ... 268s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 268s Selecting previously unselected package liblablgtksourceview3-ocaml. 268s Preparing to unpack .../71-liblablgtksourceview3-ocaml_3.1.4-1_ppc64el.deb ... 268s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 268s Selecting previously unselected package tex-common. 268s Preparing to unpack .../72-tex-common_6.18_all.deb ... 268s Unpacking tex-common (6.18) ... 268s Selecting previously unselected package why3. 268s Preparing to unpack .../73-why3_1.6.0-1build4_ppc64el.deb ... 268s Unpacking why3 (1.6.0-1build4) ... 268s Selecting previously unselected package autopkgtest-satdep. 268s Preparing to unpack .../74-2-autopkgtest-satdep.deb ... 268s Unpacking autopkgtest-satdep (0) ... 268s Setting up libgraphite2-3:ppc64el (1.3.14-2) ... 268s Setting up liblcms2-2:ppc64el (2.14-2) ... 268s Setting up libpixman-1-0:ppc64el (0.42.2-1) ... 268s Setting up libsharpyuv0:ppc64el (1.3.2-0.4) ... 268s Setting up libcln6:ppc64el (1.3.7-1) ... 268s Setting up libxdamage1:ppc64el (1:1.1.6-1) ... 268s Setting up liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 268s Setting up libantlr3c-3.4-0:ppc64el (3.4+dfsg-4build1) ... 268s Setting up hicolor-icon-theme (0.17-2) ... 268s Setting up libxi6:ppc64el (2:1.8.1-1) ... 268s Setting up libxrender1:ppc64el (1:0.9.10-1.1) ... 268s Setting up libdatrie1:ppc64el (0.2.13-3) ... 268s Setting up libxcb-render0:ppc64el (1.15-1) ... 268s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 268s Setting up libdeflate0:ppc64el (1.19-1) ... 268s Setting up libxcb-shm0:ppc64el (1.15-1) ... 268s Setting up libatspi2.0-0:ppc64el (2.50.0-1) ... 268s Setting up libjbig0:ppc64el (2.1-6.1ubuntu1) ... 268s Setting up libcolord2:ppc64el (1.4.7-1) ... 268s Setting up libdconf1:ppc64el (0.40.0-4) ... 268s Setting up tex-common (6.18) ... 269s update-language: texlive-base not installed and configured, doing nothing! 269s Setting up libepoxy0:ppc64el (1.5.10-1) ... 269s Setting up libxfixes3:ppc64el (1:6.0.0-2) ... 269s Setting up libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 269s Setting up libxinerama1:ppc64el (2:1.1.4-3) ... 269s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 269s Setting up fonts-dejavu-mono (2.37-8) ... 269s Setting up libxrandr2:ppc64el (2:1.5.2-2) ... 269s Setting up ocaml-base (4.14.1-1ubuntu1) ... 269s Setting up fonts-dejavu-core (2.37-8) ... 269s Setting up libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 269s Setting up libwebp7:ppc64el (1.3.2-0.4) ... 269s Setting up at-spi2-common (2.51.90-3) ... 269s Setting up libcvc4-7:ppc64el (1.8-3) ... 269s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 269s Setting up libharfbuzz0b:ppc64el (8.3.0-2) ... 269s Setting up libthai-data (0.1.29-2) ... 269s Setting up libatk1.0-0:ppc64el (2.50.0-1) ... 269s Setting up libwayland-egl1:ppc64el (1.22.0-2.1) ... 269s Setting up libxcomposite1:ppc64el (1:0.4.5-1build2) ... 269s Setting up libwayland-client0:ppc64el (1.22.0-2.1) ... 269s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 269s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 269s Setting up libxcursor1:ppc64el (1:1.2.1-1) ... 269s Setting up libavahi-common3:ppc64el (0.8-13ubuntu2) ... 269s Setting up dconf-service (0.40.0-4) ... 269s Setting up libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 269s Setting up libthai0:ppc64el (0.1.29-2) ... 269s Setting up libcvc4parser7:ppc64el (1.8-3) ... 269s Setting up libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 269s Setting up libwayland-cursor0:ppc64el (1.22.0-2.1) ... 269s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 269s Setting up cvc4 (1.8-3) ... 269s Setting up libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 269s Setting up libavahi-client3:ppc64el (0.8-13ubuntu2) ... 269s Setting up gtk-update-icon-cache (3.24.41-1.1ubuntu3) ... 269s Setting up fontconfig (2.15.0-1ubuntu1) ... 271s Regenerating fonts cache... done. 271s Setting up dconf-gsettings-backend:ppc64el (0.40.0-4) ... 271s Setting up libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 271s Setting up libcairo2:ppc64el (1.18.0-1) ... 271s Setting up libcups2:ppc64el (2.4.6-0ubuntu3) ... 271s Setting up libcairo-gobject2:ppc64el (1.18.0-1) ... 271s Setting up libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 271s Setting up libgtk-3-common (3.24.41-1.1ubuntu3) ... 271s Setting up libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 271s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 271s Setting up adwaita-icon-theme (46~rc-1) ... 271s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 271s Setting up humanity-icon-theme (0.6.16) ... 271s Setting up ubuntu-mono (24.04-0ubuntu1) ... 271s Processing triggers for man-db (2.12.0-3) ... 272s Processing triggers for libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 272s Setting up libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 272s Processing triggers for libc-bin (2.39-0ubuntu2) ... 272s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 272s Setting up liblablgtk3-ocaml (3.1.4-1) ... 272s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 272s Setting up why3 (1.6.0-1build4) ... 272s Setting up autopkgtest-satdep (0) ... 272s Processing triggers for libc-bin (2.39-0ubuntu2) ... 276s (Reading database ... 83902 files and directories currently installed.) 276s Removing autopkgtest-satdep (0) ... 280s autopkgtest [14:45:44]: test why3+cvc4: [----------------------- 281s autopkgtest [14:45:45]: test why3+cvc4: -----------------------] 282s autopkgtest [14:45:46]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 282s why3+cvc4 PASS 282s autopkgtest [14:45:46]: test why3+spass: preparing testbed 409s autopkgtest [14:47:53]: testbed dpkg architecture: ppc64el 409s autopkgtest [14:47:53]: testbed apt version: 2.7.12 409s autopkgtest [14:47:53]: @@@@@@@@@@@@@@@@@@@@ test bed setup 410s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 410s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3805 kB] 411s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB] 411s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [497 kB] 411s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 411s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [668 kB] 411s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 411s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 411s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 411s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4153 kB] 411s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 411s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [47.7 kB] 411s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 415s Fetched 9360 kB in 2s (3759 kB/s) 415s Reading package lists... 417s Reading package lists... 417s Building dependency tree... 417s Reading state information... 418s Calculating upgrade... 418s The following packages will be REMOVED: 418s libglib2.0-0 418s The following NEW packages will be installed: 418s libglib2.0-0t64 xdg-user-dirs 418s The following packages will be upgraded: 418s gir1.2-glib-2.0 libglib2.0-data 418s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 418s Need to get 2022 kB of archives. 418s After this operation, 204 kB of additional disk space will be used. 418s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el gir1.2-glib-2.0 ppc64el 2.79.3-3ubuntu5 [182 kB] 418s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libglib2.0-0t64 ppc64el 2.79.3-3ubuntu5 [1773 kB] 418s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 418s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el xdg-user-dirs ppc64el 0.18-1 [20.0 kB] 419s Fetched 2022 kB in 1s (3194 kB/s) 419s (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 ... 70095 files and directories currently installed.) 419s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_ppc64el.deb ... 419s Unpacking gir1.2-glib-2.0:ppc64el (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 419s dpkg: libglib2.0-0:ppc64el: dependency problems, but removing anyway as you requested: 419s udisks2 depends on libglib2.0-0 (>= 2.77.0). 419s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 419s python3-gi depends on libglib2.0-0 (>= 2.77.0). 419s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 419s netplan.io depends on libglib2.0-0 (>= 2.70.0). 419s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 419s libxmlb2:ppc64el depends on libglib2.0-0 (>= 2.54.0). 419s libvolume-key1:ppc64el depends on libglib2.0-0 (>= 2.18.0). 419s libudisks2-0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 419s libqrtr-glib0:ppc64el depends on libglib2.0-0 (>= 2.56). 419s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 419s libqmi-glib5:ppc64el depends on libglib2.0-0 (>= 2.54.0). 419s libpolkit-gobject-1-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 419s libpolkit-agent-1-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 419s libnetplan0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 419s libmm-glib0:ppc64el depends on libglib2.0-0 (>= 2.62.0). 419s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 419s libmbim-glib4:ppc64el depends on libglib2.0-0 (>= 2.56). 419s libjson-glib-1.0-0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 419s libjcat1:ppc64el depends on libglib2.0-0 (>= 2.75.3). 419s libgusb2:ppc64el depends on libglib2.0-0 (>= 2.75.3). 419s libgudev-1.0-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 419s libgirepository-1.0-1:ppc64el depends on libglib2.0-0 (>= 2.79.0). 419s libfwupd2:ppc64el depends on libglib2.0-0 (>= 2.79.0). 419s libblockdev3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 419s libblockdev-utils3:ppc64el depends on libglib2.0-0 (>= 2.75.3). 419s libblockdev-swap3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 419s libblockdev-part3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 419s libblockdev-nvme3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 419s libblockdev-mdraid3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 419s libblockdev-loop3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 419s libblockdev-fs3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 419s libblockdev-crypto3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 419s fwupd depends on libglib2.0-0 (>= 2.79.0). 419s bolt depends on libglib2.0-0 (>= 2.56.0). 419s 419s (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 ... 70095 files and directories currently installed.) 419s Removing libglib2.0-0:ppc64el (2.79.2-1~ubuntu1) ... 419s Selecting previously unselected package libglib2.0-0t64:ppc64el. 419s (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 ... 70070 files and directories currently installed.) 419s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_ppc64el.deb ... 419s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:ppc64el.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled... 419s removed '/var/lib/dpkg/info/libglib2.0-0:ppc64el.postrm' 419s Unpacking libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 419s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 419s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 419s Selecting previously unselected package xdg-user-dirs. 419s Preparing to unpack .../xdg-user-dirs_0.18-1_ppc64el.deb ... 419s Unpacking xdg-user-dirs (0.18-1) ... 419s Setting up xdg-user-dirs (0.18-1) ... 419s Setting up libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 419s No schema files found: doing nothing. 419s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 419s Setting up gir1.2-glib-2.0:ppc64el (2.79.3-3ubuntu5) ... 419s Processing triggers for man-db (2.12.0-3) ... 420s Processing triggers for libc-bin (2.39-0ubuntu2) ... 420s Reading package lists... 420s Building dependency tree... 420s Reading state information... 420s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 421s Hit:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease 421s Hit:2 http://ftpmaster.internal/ubuntu noble InRelease 421s Hit:3 http://ftpmaster.internal/ubuntu noble-updates InRelease 421s Hit:4 http://ftpmaster.internal/ubuntu noble-security InRelease 422s Reading package lists... 422s Reading package lists... 422s Building dependency tree... 422s Reading state information... 423s Calculating upgrade... 423s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 423s Reading package lists... 423s Building dependency tree... 423s Reading state information... 423s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 428s Reading package lists... 428s Building dependency tree... 428s Reading state information... 429s Starting pkgProblemResolver with broken count: 0 429s Starting 2 pkgProblemResolver with broken count: 0 429s Done 429s The following additional packages will be installed: 429s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 429s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 429s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 429s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 429s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 429s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 429s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 429s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 429s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 429s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 429s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 429s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 429s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 429s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 429s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 429s ubuntu-mono why3 429s Suggested packages: 429s colord cups-common gvfs liblcms2-utils debhelper why3-examples 429s Recommended packages: 429s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin libgtk-3-0t64 429s The following NEW packages will be installed: 429s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 429s dconf-service fontconfig fontconfig-config fonts-dejavu-core 429s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 429s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 429s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 429s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 429s libdeflate0 libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 429s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 429s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 429s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 429s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 429s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 429s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 429s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 429s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 429s ubuntu-mono why3 429s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 429s Need to get 34.4 MB/34.4 MB of archives. 429s After this operation, 164 MB of additional disk space will be used. 429s Get:1 /tmp/autopkgtest.bvBHPA/3-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [712 B] 429s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 429s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-2ubuntu1 [212 kB] 429s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 429s Get:5 http://ftpmaster.internal/ubuntu noble/main ppc64el libdeflate0 ppc64el 1.19-1 [61.9 kB] 429s Get:6 http://ftpmaster.internal/ubuntu noble/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu1 [34.7 kB] 429s Get:7 http://ftpmaster.internal/ubuntu noble/main ppc64el liblerc4 ppc64el 4.0.0+ds-4ubuntu1 [266 kB] 429s Get:8 http://ftpmaster.internal/ubuntu noble/main ppc64el libsharpyuv0 ppc64el 1.3.2-0.4 [28.7 kB] 429s Get:9 http://ftpmaster.internal/ubuntu noble/main ppc64el libwebp7 ppc64el 1.3.2-0.4 [312 kB] 429s Get:10 http://ftpmaster.internal/ubuntu noble/main ppc64el libtiff6 ppc64el 4.5.1+git230720-3ubuntu1 [323 kB] 430s Get:11 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.10+dfsg-3 [186 kB] 430s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el gtk-update-icon-cache ppc64el 3.24.41-1.1ubuntu3 [53.6 kB] 430s Get:13 http://ftpmaster.internal/ubuntu noble/main ppc64el hicolor-icon-theme all 0.17-2 [9976 B] 430s Get:14 http://ftpmaster.internal/ubuntu noble/main ppc64el humanity-icon-theme all 0.6.16 [1282 kB] 430s Get:15 http://ftpmaster.internal/ubuntu noble/main ppc64el ubuntu-mono all 24.04-0ubuntu1 [151 kB] 430s Get:16 http://ftpmaster.internal/ubuntu noble/main ppc64el adwaita-icon-theme all 46~rc-1 [723 kB] 430s Get:17 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el at-spi2-common all 2.51.90-3 [8222 B] 430s Get:18 http://ftpmaster.internal/ubuntu noble/main ppc64el libdconf1 ppc64el 0.40.0-4 [43.0 kB] 430s Get:19 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-service ppc64el 0.40.0-4 [31.0 kB] 430s Get:20 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-4 [25.3 kB] 430s Get:21 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 430s Get:22 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 430s Get:23 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig-config ppc64el 2.15.0-1ubuntu1 [37.0 kB] 430s Get:24 http://ftpmaster.internal/ubuntu noble/main ppc64el libfontconfig1 ppc64el 2.15.0-1ubuntu1 [190 kB] 430s Get:25 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig ppc64el 2.15.0-1ubuntu1 [192 kB] 430s Get:26 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk1.0-0 ppc64el 2.50.0-1 [57.8 kB] 430s Get:27 http://ftpmaster.internal/ubuntu noble/main ppc64el libxi6 ppc64el 2:1.8.1-1 [37.9 kB] 430s Get:28 http://ftpmaster.internal/ubuntu noble/main ppc64el libatspi2.0-0 ppc64el 2.50.0-1 [93.5 kB] 430s Get:29 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk-bridge2.0-0 ppc64el 2.50.0-1 [75.5 kB] 430s Get:30 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common-data ppc64el 0.8-13ubuntu2 [29.5 kB] 430s Get:31 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common3 ppc64el 0.8-13ubuntu2 [25.8 kB] 430s Get:32 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-client3 ppc64el 0.8-13ubuntu2 [30.6 kB] 430s Get:33 http://ftpmaster.internal/ubuntu noble/main ppc64el libpixman-1-0 ppc64el 0.42.2-1 [300 kB] 430s Get:34 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-render0 ppc64el 1.15-1 [17.2 kB] 430s Get:35 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-shm0 ppc64el 1.15-1 [5896 B] 430s Get:36 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1 [23.3 kB] 430s Get:37 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo2 ppc64el 1.18.0-1 [735 kB] 430s Get:38 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo-gobject2 ppc64el 1.18.0-1 [127 kB] 430s Get:39 http://ftpmaster.internal/ubuntu noble/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB] 430s Get:40 http://ftpmaster.internal/ubuntu noble/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB] 430s Get:41 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcairo2-ocaml ppc64el 0.6.4+dfsg-2build2 [27.5 kB] 430s Get:42 http://ftpmaster.internal/ubuntu noble/main ppc64el liblcms2-2 ppc64el 2.14-2 [243 kB] 430s Get:43 http://ftpmaster.internal/ubuntu noble/main ppc64el libcolord2 ppc64el 1.4.7-1 [164 kB] 430s Get:44 http://ftpmaster.internal/ubuntu noble/main ppc64el libcups2 ppc64el 2.4.6-0ubuntu3 [344 kB] 430s Get:45 http://ftpmaster.internal/ubuntu noble/main ppc64el libdatrie1 ppc64el 0.2.13-3 [25.1 kB] 430s Get:46 http://ftpmaster.internal/ubuntu noble/main ppc64el libepoxy0 ppc64el 1.5.10-1 [247 kB] 430s Get:47 http://ftpmaster.internal/ubuntu noble/main ppc64el libgraphite2-3 ppc64el 1.3.14-2 [105 kB] 430s Get:48 http://ftpmaster.internal/ubuntu noble/main ppc64el libharfbuzz0b ppc64el 8.3.0-2 [576 kB] 430s Get:49 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai-data all 0.1.29-2 [158 kB] 430s Get:50 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai0 ppc64el 0.1.29-2 [21.4 kB] 430s Get:51 http://ftpmaster.internal/ubuntu noble/main ppc64el libpango-1.0-0 ppc64el 1.51.0+ds-4 [266 kB] 430s Get:52 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangoft2-1.0-0 ppc64el 1.51.0+ds-4 [49.5 kB] 430s Get:53 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangocairo-1.0-0 ppc64el 1.51.0+ds-4 [31.2 kB] 430s Get:54 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-client0 ppc64el 1.22.0-2.1 [29.4 kB] 430s Get:55 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-cursor0 ppc64el 1.22.0-2.1 [11.4 kB] 430s Get:56 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-egl1 ppc64el 1.22.0-2.1 [5626 B] 430s Get:57 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcomposite1 ppc64el 1:0.4.5-1build2 [7400 B] 430s Get:58 http://ftpmaster.internal/ubuntu noble/main ppc64el libxfixes3 ppc64el 1:6.0.0-2 [11.6 kB] 430s Get:59 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcursor1 ppc64el 1:1.2.1-1 [26.9 kB] 430s Get:60 http://ftpmaster.internal/ubuntu noble/main ppc64el libxdamage1 ppc64el 1:1.1.6-1 [6320 B] 430s Get:61 http://ftpmaster.internal/ubuntu noble/main ppc64el libxinerama1 ppc64el 2:1.1.4-3 [7658 B] 430s Get:62 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrandr2 ppc64el 2:1.5.2-2 [22.7 kB] 430s Get:63 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libgtk-3-common all 3.24.41-1.1ubuntu3 [1202 kB] 431s Get:64 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-0 ppc64el 3.24.40-2ubuntu1 [3344 kB] 431s Get:65 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 431s Get:66 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-2build1 [271 kB] 431s Get:67 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.4-1 [4114 kB] 431s Get:68 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.4-1 [354 kB] 431s Get:69 http://ftpmaster.internal/ubuntu noble/universe ppc64el spass ppc64el 3.9-1.1 [304 kB] 431s Get:70 http://ftpmaster.internal/ubuntu noble/universe ppc64el tex-common all 6.18 [32.8 kB] 431s Get:71 http://ftpmaster.internal/ubuntu noble/universe ppc64el why3 ppc64el 1.6.0-1build4 [14.3 MB] 432s Fetched 34.4 MB in 3s (12.4 MB/s) 432s Selecting previously unselected package libgdk-pixbuf2.0-common. 432s (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 ... 70109 files and directories currently installed.) 432s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 432s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 432s Selecting previously unselected package libjpeg-turbo8:ppc64el. 432s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_ppc64el.deb ... 432s Unpacking libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 432s Selecting previously unselected package libjpeg8:ppc64el. 432s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 432s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 432s Selecting previously unselected package libdeflate0:ppc64el. 432s Preparing to unpack .../03-libdeflate0_1.19-1_ppc64el.deb ... 432s Unpacking libdeflate0:ppc64el (1.19-1) ... 432s Selecting previously unselected package libjbig0:ppc64el. 432s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_ppc64el.deb ... 432s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu1) ... 432s Selecting previously unselected package liblerc4:ppc64el. 432s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_ppc64el.deb ... 432s Unpacking liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 432s Selecting previously unselected package libsharpyuv0:ppc64el. 432s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_ppc64el.deb ... 432s Unpacking libsharpyuv0:ppc64el (1.3.2-0.4) ... 432s Selecting previously unselected package libwebp7:ppc64el. 432s Preparing to unpack .../07-libwebp7_1.3.2-0.4_ppc64el.deb ... 432s Unpacking libwebp7:ppc64el (1.3.2-0.4) ... 432s Selecting previously unselected package libtiff6:ppc64el. 432s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_ppc64el.deb ... 432s Unpacking libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 432s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 432s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_ppc64el.deb ... 432s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 432s Selecting previously unselected package gtk-update-icon-cache. 432s Preparing to unpack .../10-gtk-update-icon-cache_3.24.41-1.1ubuntu3_ppc64el.deb ... 432s Unpacking gtk-update-icon-cache (3.24.41-1.1ubuntu3) ... 432s Selecting previously unselected package hicolor-icon-theme. 432s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 432s Unpacking hicolor-icon-theme (0.17-2) ... 432s Selecting previously unselected package humanity-icon-theme. 432s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 432s Unpacking humanity-icon-theme (0.6.16) ... 433s Selecting previously unselected package ubuntu-mono. 433s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 433s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 434s Selecting previously unselected package adwaita-icon-theme. 434s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 434s Unpacking adwaita-icon-theme (46~rc-1) ... 434s Selecting previously unselected package at-spi2-common. 434s Preparing to unpack .../15-at-spi2-common_2.51.90-3_all.deb ... 434s Unpacking at-spi2-common (2.51.90-3) ... 434s Selecting previously unselected package libdconf1:ppc64el. 434s Preparing to unpack .../16-libdconf1_0.40.0-4_ppc64el.deb ... 434s Unpacking libdconf1:ppc64el (0.40.0-4) ... 434s Selecting previously unselected package dconf-service. 434s Preparing to unpack .../17-dconf-service_0.40.0-4_ppc64el.deb ... 434s Unpacking dconf-service (0.40.0-4) ... 434s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 434s Preparing to unpack .../18-dconf-gsettings-backend_0.40.0-4_ppc64el.deb ... 434s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-4) ... 434s Selecting previously unselected package fonts-dejavu-mono. 434s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 434s Unpacking fonts-dejavu-mono (2.37-8) ... 434s Selecting previously unselected package fonts-dejavu-core. 434s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 434s Unpacking fonts-dejavu-core (2.37-8) ... 434s Selecting previously unselected package fontconfig-config. 434s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_ppc64el.deb ... 434s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 434s Selecting previously unselected package libfontconfig1:ppc64el. 434s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_ppc64el.deb ... 434s Unpacking libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 434s Selecting previously unselected package fontconfig. 434s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_ppc64el.deb ... 434s Unpacking fontconfig (2.15.0-1ubuntu1) ... 434s Selecting previously unselected package libatk1.0-0:ppc64el. 434s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_ppc64el.deb ... 434s Unpacking libatk1.0-0:ppc64el (2.50.0-1) ... 434s Selecting previously unselected package libxi6:ppc64el. 434s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_ppc64el.deb ... 434s Unpacking libxi6:ppc64el (2:1.8.1-1) ... 434s Selecting previously unselected package libatspi2.0-0:ppc64el. 434s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_ppc64el.deb ... 434s Unpacking libatspi2.0-0:ppc64el (2.50.0-1) ... 434s Selecting previously unselected package libatk-bridge2.0-0:ppc64el. 434s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_ppc64el.deb ... 434s Unpacking libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 434s Selecting previously unselected package libavahi-common-data:ppc64el. 434s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_ppc64el.deb ... 434s Unpacking libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 434s Selecting previously unselected package libavahi-common3:ppc64el. 434s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_ppc64el.deb ... 434s Unpacking libavahi-common3:ppc64el (0.8-13ubuntu2) ... 434s Selecting previously unselected package libavahi-client3:ppc64el. 434s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_ppc64el.deb ... 434s Unpacking libavahi-client3:ppc64el (0.8-13ubuntu2) ... 434s Selecting previously unselected package libpixman-1-0:ppc64el. 434s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_ppc64el.deb ... 434s Unpacking libpixman-1-0:ppc64el (0.42.2-1) ... 434s Selecting previously unselected package libxcb-render0:ppc64el. 434s Preparing to unpack .../32-libxcb-render0_1.15-1_ppc64el.deb ... 434s Unpacking libxcb-render0:ppc64el (1.15-1) ... 434s Selecting previously unselected package libxcb-shm0:ppc64el. 434s Preparing to unpack .../33-libxcb-shm0_1.15-1_ppc64el.deb ... 434s Unpacking libxcb-shm0:ppc64el (1.15-1) ... 434s Selecting previously unselected package libxrender1:ppc64el. 434s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_ppc64el.deb ... 434s Unpacking libxrender1:ppc64el (1:0.9.10-1.1) ... 434s Selecting previously unselected package libcairo2:ppc64el. 434s Preparing to unpack .../35-libcairo2_1.18.0-1_ppc64el.deb ... 434s Unpacking libcairo2:ppc64el (1.18.0-1) ... 434s Selecting previously unselected package libcairo-gobject2:ppc64el. 434s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_ppc64el.deb ... 434s Unpacking libcairo-gobject2:ppc64el (1.18.0-1) ... 434s Selecting previously unselected package libstdlib-ocaml. 434s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ... 434s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 434s Selecting previously unselected package ocaml-base. 434s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ... 434s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 434s Selecting previously unselected package libcairo2-ocaml. 434s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_ppc64el.deb ... 434s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 434s Selecting previously unselected package liblcms2-2:ppc64el. 434s Preparing to unpack .../40-liblcms2-2_2.14-2_ppc64el.deb ... 434s Unpacking liblcms2-2:ppc64el (2.14-2) ... 434s Selecting previously unselected package libcolord2:ppc64el. 434s Preparing to unpack .../41-libcolord2_1.4.7-1_ppc64el.deb ... 434s Unpacking libcolord2:ppc64el (1.4.7-1) ... 434s Selecting previously unselected package libcups2:ppc64el. 434s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_ppc64el.deb ... 434s Unpacking libcups2:ppc64el (2.4.6-0ubuntu3) ... 435s Selecting previously unselected package libdatrie1:ppc64el. 435s Preparing to unpack .../43-libdatrie1_0.2.13-3_ppc64el.deb ... 435s Unpacking libdatrie1:ppc64el (0.2.13-3) ... 435s Selecting previously unselected package libepoxy0:ppc64el. 435s Preparing to unpack .../44-libepoxy0_1.5.10-1_ppc64el.deb ... 435s Unpacking libepoxy0:ppc64el (1.5.10-1) ... 435s Selecting previously unselected package libgraphite2-3:ppc64el. 435s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_ppc64el.deb ... 435s Unpacking libgraphite2-3:ppc64el (1.3.14-2) ... 435s Selecting previously unselected package libharfbuzz0b:ppc64el. 435s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_ppc64el.deb ... 435s Unpacking libharfbuzz0b:ppc64el (8.3.0-2) ... 435s Selecting previously unselected package libthai-data. 435s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 435s Unpacking libthai-data (0.1.29-2) ... 435s Selecting previously unselected package libthai0:ppc64el. 435s Preparing to unpack .../48-libthai0_0.1.29-2_ppc64el.deb ... 435s Unpacking libthai0:ppc64el (0.1.29-2) ... 435s Selecting previously unselected package libpango-1.0-0:ppc64el. 435s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_ppc64el.deb ... 435s Unpacking libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 435s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 435s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_ppc64el.deb ... 435s Unpacking libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 435s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 435s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_ppc64el.deb ... 435s Unpacking libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 435s Selecting previously unselected package libwayland-client0:ppc64el. 435s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_ppc64el.deb ... 435s Unpacking libwayland-client0:ppc64el (1.22.0-2.1) ... 435s Selecting previously unselected package libwayland-cursor0:ppc64el. 435s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_ppc64el.deb ... 435s Unpacking libwayland-cursor0:ppc64el (1.22.0-2.1) ... 435s Selecting previously unselected package libwayland-egl1:ppc64el. 435s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_ppc64el.deb ... 435s Unpacking libwayland-egl1:ppc64el (1.22.0-2.1) ... 435s Selecting previously unselected package libxcomposite1:ppc64el. 435s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_ppc64el.deb ... 435s Unpacking libxcomposite1:ppc64el (1:0.4.5-1build2) ... 435s Selecting previously unselected package libxfixes3:ppc64el. 435s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_ppc64el.deb ... 435s Unpacking libxfixes3:ppc64el (1:6.0.0-2) ... 435s Selecting previously unselected package libxcursor1:ppc64el. 435s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_ppc64el.deb ... 435s Unpacking libxcursor1:ppc64el (1:1.2.1-1) ... 435s Selecting previously unselected package libxdamage1:ppc64el. 435s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_ppc64el.deb ... 435s Unpacking libxdamage1:ppc64el (1:1.1.6-1) ... 435s Selecting previously unselected package libxinerama1:ppc64el. 435s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_ppc64el.deb ... 435s Unpacking libxinerama1:ppc64el (2:1.1.4-3) ... 435s Selecting previously unselected package libxrandr2:ppc64el. 435s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_ppc64el.deb ... 435s Unpacking libxrandr2:ppc64el (2:1.5.2-2) ... 435s Selecting previously unselected package libgtk-3-common. 435s Preparing to unpack .../61-libgtk-3-common_3.24.41-1.1ubuntu3_all.deb ... 435s Unpacking libgtk-3-common (3.24.41-1.1ubuntu3) ... 435s Selecting previously unselected package libgtk-3-0:ppc64el. 435s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_ppc64el.deb ... 435s Unpacking libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 435s Selecting previously unselected package libgtksourceview-3.0-common. 435s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 435s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 435s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 435s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_ppc64el.deb ... 435s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 435s Selecting previously unselected package liblablgtk3-ocaml. 435s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_ppc64el.deb ... 435s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 435s Selecting previously unselected package liblablgtksourceview3-ocaml. 435s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_ppc64el.deb ... 435s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 435s Selecting previously unselected package spass. 435s Preparing to unpack .../67-spass_3.9-1.1_ppc64el.deb ... 435s Unpacking spass (3.9-1.1) ... 435s Selecting previously unselected package tex-common. 435s Preparing to unpack .../68-tex-common_6.18_all.deb ... 435s Unpacking tex-common (6.18) ... 435s Selecting previously unselected package why3. 435s Preparing to unpack .../69-why3_1.6.0-1build4_ppc64el.deb ... 435s Unpacking why3 (1.6.0-1build4) ... 436s Selecting previously unselected package autopkgtest-satdep. 436s Preparing to unpack .../70-3-autopkgtest-satdep.deb ... 436s Unpacking autopkgtest-satdep (0) ... 436s Setting up libgraphite2-3:ppc64el (1.3.14-2) ... 436s Setting up liblcms2-2:ppc64el (2.14-2) ... 436s Setting up libpixman-1-0:ppc64el (0.42.2-1) ... 436s Setting up libsharpyuv0:ppc64el (1.3.2-0.4) ... 436s Setting up libxdamage1:ppc64el (1:1.1.6-1) ... 436s Setting up liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 436s Setting up hicolor-icon-theme (0.17-2) ... 436s Setting up libxi6:ppc64el (2:1.8.1-1) ... 436s Setting up libxrender1:ppc64el (1:0.9.10-1.1) ... 436s Setting up libdatrie1:ppc64el (0.2.13-3) ... 436s Setting up libxcb-render0:ppc64el (1.15-1) ... 436s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 436s Setting up libdeflate0:ppc64el (1.19-1) ... 436s Setting up libxcb-shm0:ppc64el (1.15-1) ... 436s Setting up libatspi2.0-0:ppc64el (2.50.0-1) ... 436s Setting up libjbig0:ppc64el (2.1-6.1ubuntu1) ... 436s Setting up libcolord2:ppc64el (1.4.7-1) ... 436s Setting up libdconf1:ppc64el (0.40.0-4) ... 436s Setting up tex-common (6.18) ... 436s update-language: texlive-base not installed and configured, doing nothing! 436s Setting up libepoxy0:ppc64el (1.5.10-1) ... 436s Setting up libxfixes3:ppc64el (1:6.0.0-2) ... 436s Setting up spass (3.9-1.1) ... 436s Setting up libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 436s Setting up libxinerama1:ppc64el (2:1.1.4-3) ... 436s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 436s Setting up fonts-dejavu-mono (2.37-8) ... 436s Setting up libxrandr2:ppc64el (2:1.5.2-2) ... 436s Setting up ocaml-base (4.14.1-1ubuntu1) ... 436s Setting up fonts-dejavu-core (2.37-8) ... 436s Setting up libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 436s Setting up libwebp7:ppc64el (1.3.2-0.4) ... 436s Setting up at-spi2-common (2.51.90-3) ... 436s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 436s Setting up libharfbuzz0b:ppc64el (8.3.0-2) ... 436s Setting up libthai-data (0.1.29-2) ... 436s Setting up libatk1.0-0:ppc64el (2.50.0-1) ... 436s Setting up libwayland-egl1:ppc64el (1.22.0-2.1) ... 436s Setting up libxcomposite1:ppc64el (1:0.4.5-1build2) ... 436s Setting up libwayland-client0:ppc64el (1.22.0-2.1) ... 436s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 436s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 436s Setting up libxcursor1:ppc64el (1:1.2.1-1) ... 436s Setting up libavahi-common3:ppc64el (0.8-13ubuntu2) ... 436s Setting up dconf-service (0.40.0-4) ... 436s Setting up libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 436s Setting up libthai0:ppc64el (0.1.29-2) ... 436s Setting up libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 436s Setting up libwayland-cursor0:ppc64el (1.22.0-2.1) ... 436s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 436s Setting up libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 436s Setting up libavahi-client3:ppc64el (0.8-13ubuntu2) ... 436s Setting up gtk-update-icon-cache (3.24.41-1.1ubuntu3) ... 436s Setting up fontconfig (2.15.0-1ubuntu1) ... 438s Regenerating fonts cache... done. 438s Setting up dconf-gsettings-backend:ppc64el (0.40.0-4) ... 438s Setting up libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 438s Setting up libcairo2:ppc64el (1.18.0-1) ... 438s Setting up libcups2:ppc64el (2.4.6-0ubuntu3) ... 438s Setting up libcairo-gobject2:ppc64el (1.18.0-1) ... 438s Setting up libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 438s Setting up libgtk-3-common (3.24.41-1.1ubuntu3) ... 438s Setting up libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 438s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 438s Setting up adwaita-icon-theme (46~rc-1) ... 438s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 438s Setting up humanity-icon-theme (0.6.16) ... 439s Setting up ubuntu-mono (24.04-0ubuntu1) ... 439s Processing triggers for man-db (2.12.0-3) ... 439s Processing triggers for libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 439s Setting up libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 439s Processing triggers for libc-bin (2.39-0ubuntu2) ... 439s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 439s Setting up liblablgtk3-ocaml (3.1.4-1) ... 439s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 439s Setting up why3 (1.6.0-1build4) ... 439s Setting up autopkgtest-satdep (0) ... 439s Processing triggers for libc-bin (2.39-0ubuntu2) ... 443s (Reading database ... 83859 files and directories currently installed.) 443s Removing autopkgtest-satdep (0) ... 449s autopkgtest [14:48:33]: test why3+spass: [----------------------- 449s autopkgtest [14:48:33]: test why3+spass: -----------------------] 450s why3+spass PASS 450s autopkgtest [14:48:34]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 450s autopkgtest [14:48:34]: test why3+z3: preparing testbed 619s autopkgtest [14:51:23]: testbed dpkg architecture: ppc64el 619s autopkgtest [14:51:23]: testbed apt version: 2.7.12 619s autopkgtest [14:51:23]: @@@@@@@@@@@@@@@@@@@@ test bed setup 620s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 620s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3805 kB] 622s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 622s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [497 kB] 622s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB] 622s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [668 kB] 622s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 622s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 622s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 622s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4153 kB] 623s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 623s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [47.7 kB] 623s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 626s Fetched 9360 kB in 4s (2363 kB/s) 626s Reading package lists... 629s Reading package lists... 629s Building dependency tree... 629s Reading state information... 629s Calculating upgrade... 629s The following packages will be REMOVED: 629s libglib2.0-0 629s The following NEW packages will be installed: 629s libglib2.0-0t64 xdg-user-dirs 629s The following packages will be upgraded: 629s gir1.2-glib-2.0 libglib2.0-data 629s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 629s Need to get 2022 kB of archives. 629s After this operation, 204 kB of additional disk space will be used. 629s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el gir1.2-glib-2.0 ppc64el 2.79.3-3ubuntu5 [182 kB] 629s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libglib2.0-0t64 ppc64el 2.79.3-3ubuntu5 [1773 kB] 630s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 630s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el xdg-user-dirs ppc64el 0.18-1 [20.0 kB] 630s Fetched 2022 kB in 1s (3296 kB/s) 630s (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 ... 70095 files and directories currently installed.) 630s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_ppc64el.deb ... 630s Unpacking gir1.2-glib-2.0:ppc64el (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 630s dpkg: libglib2.0-0:ppc64el: dependency problems, but removing anyway as you requested: 630s udisks2 depends on libglib2.0-0 (>= 2.77.0). 630s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 630s python3-gi depends on libglib2.0-0 (>= 2.77.0). 630s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 630s netplan.io depends on libglib2.0-0 (>= 2.70.0). 630s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 630s libxmlb2:ppc64el depends on libglib2.0-0 (>= 2.54.0). 630s libvolume-key1:ppc64el depends on libglib2.0-0 (>= 2.18.0). 630s libudisks2-0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 630s libqrtr-glib0:ppc64el depends on libglib2.0-0 (>= 2.56). 630s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 630s libqmi-glib5:ppc64el depends on libglib2.0-0 (>= 2.54.0). 630s libpolkit-gobject-1-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 630s libpolkit-agent-1-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 630s libnetplan0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 630s libmm-glib0:ppc64el depends on libglib2.0-0 (>= 2.62.0). 630s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 630s libmbim-glib4:ppc64el depends on libglib2.0-0 (>= 2.56). 630s libjson-glib-1.0-0:ppc64el depends on libglib2.0-0 (>= 2.75.3). 630s libjcat1:ppc64el depends on libglib2.0-0 (>= 2.75.3). 630s libgusb2:ppc64el depends on libglib2.0-0 (>= 2.75.3). 630s libgudev-1.0-0:ppc64el depends on libglib2.0-0 (>= 2.38.0). 630s libgirepository-1.0-1:ppc64el depends on libglib2.0-0 (>= 2.79.0). 630s libfwupd2:ppc64el depends on libglib2.0-0 (>= 2.79.0). 630s libblockdev3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 630s libblockdev-utils3:ppc64el depends on libglib2.0-0 (>= 2.75.3). 630s libblockdev-swap3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 630s libblockdev-part3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 630s libblockdev-nvme3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 630s libblockdev-mdraid3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 630s libblockdev-loop3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 630s libblockdev-fs3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 630s libblockdev-crypto3:ppc64el depends on libglib2.0-0 (>= 2.42.2). 630s fwupd depends on libglib2.0-0 (>= 2.79.0). 630s bolt depends on libglib2.0-0 (>= 2.56.0). 630s 630s (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 ... 70095 files and directories currently installed.) 630s Removing libglib2.0-0:ppc64el (2.79.2-1~ubuntu1) ... 630s Selecting previously unselected package libglib2.0-0t64:ppc64el. 630s (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 ... 70070 files and directories currently installed.) 630s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_ppc64el.deb ... 630s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:ppc64el.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled... 630s removed '/var/lib/dpkg/info/libglib2.0-0:ppc64el.postrm' 630s Unpacking libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 630s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 630s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 630s Selecting previously unselected package xdg-user-dirs. 630s Preparing to unpack .../xdg-user-dirs_0.18-1_ppc64el.deb ... 630s Unpacking xdg-user-dirs (0.18-1) ... 630s Setting up xdg-user-dirs (0.18-1) ... 630s Setting up libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 630s No schema files found: doing nothing. 630s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 630s Setting up gir1.2-glib-2.0:ppc64el (2.79.3-3ubuntu5) ... 630s Processing triggers for man-db (2.12.0-3) ... 631s Processing triggers for libc-bin (2.39-0ubuntu2) ... 631s Reading package lists... 631s Building dependency tree... 631s Reading state information... 632s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 632s Hit:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease 632s Hit:2 http://ftpmaster.internal/ubuntu noble InRelease 632s Hit:3 http://ftpmaster.internal/ubuntu noble-updates InRelease 632s Hit:4 http://ftpmaster.internal/ubuntu noble-security InRelease 633s Reading package lists... 634s Reading package lists... 634s Building dependency tree... 634s Reading state information... 634s Calculating upgrade... 634s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 634s Reading package lists... 634s Building dependency tree... 634s Reading state information... 634s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 638s Reading package lists... 638s Building dependency tree... 638s Reading state information... 639s Starting pkgProblemResolver with broken count: 0 639s Starting 2 pkgProblemResolver with broken count: 0 639s Done 639s The following additional packages will be installed: 639s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 639s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 639s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 639s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 639s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 639s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 639s libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 639s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 639s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 639s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 639s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 639s libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 639s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 639s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 639s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 639s why3 z3 639s Suggested packages: 639s colord cups-common gvfs liblcms2-utils debhelper why3-examples 639s Recommended packages: 639s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin libgtk-3-0t64 639s The following NEW packages will be installed: 639s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 639s dconf-service fontconfig fontconfig-config fonts-dejavu-core 639s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 639s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 639s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 639s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 639s libdeflate0 libepoxy0 libfontconfig1 libgdk-pixbuf-2.0-0 639s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 639s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 639s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 639s liblcms2-2 liblerc4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 639s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 639s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 639s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 639s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 639s why3 z3 639s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 639s Need to get 40.1 MB/40.1 MB of archives. 639s After this operation, 182 MB of additional disk space will be used. 639s Get:1 /tmp/autopkgtest.bvBHPA/4-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [716 B] 639s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 639s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-2ubuntu1 [212 kB] 640s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B] 640s Get:5 http://ftpmaster.internal/ubuntu noble/main ppc64el libdeflate0 ppc64el 1.19-1 [61.9 kB] 640s Get:6 http://ftpmaster.internal/ubuntu noble/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu1 [34.7 kB] 640s Get:7 http://ftpmaster.internal/ubuntu noble/main ppc64el liblerc4 ppc64el 4.0.0+ds-4ubuntu1 [266 kB] 640s Get:8 http://ftpmaster.internal/ubuntu noble/main ppc64el libsharpyuv0 ppc64el 1.3.2-0.4 [28.7 kB] 640s Get:9 http://ftpmaster.internal/ubuntu noble/main ppc64el libwebp7 ppc64el 1.3.2-0.4 [312 kB] 640s Get:10 http://ftpmaster.internal/ubuntu noble/main ppc64el libtiff6 ppc64el 4.5.1+git230720-3ubuntu1 [323 kB] 640s Get:11 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.10+dfsg-3 [186 kB] 640s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el gtk-update-icon-cache ppc64el 3.24.41-1.1ubuntu3 [53.6 kB] 640s Get:13 http://ftpmaster.internal/ubuntu noble/main ppc64el hicolor-icon-theme all 0.17-2 [9976 B] 640s Get:14 http://ftpmaster.internal/ubuntu noble/main ppc64el humanity-icon-theme all 0.6.16 [1282 kB] 640s Get:15 http://ftpmaster.internal/ubuntu noble/main ppc64el ubuntu-mono all 24.04-0ubuntu1 [151 kB] 640s Get:16 http://ftpmaster.internal/ubuntu noble/main ppc64el adwaita-icon-theme all 46~rc-1 [723 kB] 640s Get:17 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el at-spi2-common all 2.51.90-3 [8222 B] 640s Get:18 http://ftpmaster.internal/ubuntu noble/main ppc64el libdconf1 ppc64el 0.40.0-4 [43.0 kB] 640s Get:19 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-service ppc64el 0.40.0-4 [31.0 kB] 640s Get:20 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-4 [25.3 kB] 640s Get:21 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB] 640s Get:22 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB] 640s Get:23 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig-config ppc64el 2.15.0-1ubuntu1 [37.0 kB] 640s Get:24 http://ftpmaster.internal/ubuntu noble/main ppc64el libfontconfig1 ppc64el 2.15.0-1ubuntu1 [190 kB] 640s Get:25 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig ppc64el 2.15.0-1ubuntu1 [192 kB] 640s Get:26 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk1.0-0 ppc64el 2.50.0-1 [57.8 kB] 640s Get:27 http://ftpmaster.internal/ubuntu noble/main ppc64el libxi6 ppc64el 2:1.8.1-1 [37.9 kB] 640s Get:28 http://ftpmaster.internal/ubuntu noble/main ppc64el libatspi2.0-0 ppc64el 2.50.0-1 [93.5 kB] 640s Get:29 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk-bridge2.0-0 ppc64el 2.50.0-1 [75.5 kB] 640s Get:30 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common-data ppc64el 0.8-13ubuntu2 [29.5 kB] 640s Get:31 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common3 ppc64el 0.8-13ubuntu2 [25.8 kB] 640s Get:32 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-client3 ppc64el 0.8-13ubuntu2 [30.6 kB] 640s Get:33 http://ftpmaster.internal/ubuntu noble/main ppc64el libpixman-1-0 ppc64el 0.42.2-1 [300 kB] 640s Get:34 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-render0 ppc64el 1.15-1 [17.2 kB] 640s Get:35 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-shm0 ppc64el 1.15-1 [5896 B] 640s Get:36 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1 [23.3 kB] 640s Get:37 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo2 ppc64el 1.18.0-1 [735 kB] 640s Get:38 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo-gobject2 ppc64el 1.18.0-1 [127 kB] 640s Get:39 http://ftpmaster.internal/ubuntu noble/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB] 640s Get:40 http://ftpmaster.internal/ubuntu noble/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB] 640s Get:41 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcairo2-ocaml ppc64el 0.6.4+dfsg-2build2 [27.5 kB] 640s Get:42 http://ftpmaster.internal/ubuntu noble/main ppc64el liblcms2-2 ppc64el 2.14-2 [243 kB] 640s Get:43 http://ftpmaster.internal/ubuntu noble/main ppc64el libcolord2 ppc64el 1.4.7-1 [164 kB] 640s Get:44 http://ftpmaster.internal/ubuntu noble/main ppc64el libcups2 ppc64el 2.4.6-0ubuntu3 [344 kB] 640s Get:45 http://ftpmaster.internal/ubuntu noble/main ppc64el libdatrie1 ppc64el 0.2.13-3 [25.1 kB] 640s Get:46 http://ftpmaster.internal/ubuntu noble/main ppc64el libepoxy0 ppc64el 1.5.10-1 [247 kB] 640s Get:47 http://ftpmaster.internal/ubuntu noble/main ppc64el libgraphite2-3 ppc64el 1.3.14-2 [105 kB] 640s Get:48 http://ftpmaster.internal/ubuntu noble/main ppc64el libharfbuzz0b ppc64el 8.3.0-2 [576 kB] 640s Get:49 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai-data all 0.1.29-2 [158 kB] 640s Get:50 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai0 ppc64el 0.1.29-2 [21.4 kB] 640s Get:51 http://ftpmaster.internal/ubuntu noble/main ppc64el libpango-1.0-0 ppc64el 1.51.0+ds-4 [266 kB] 640s Get:52 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangoft2-1.0-0 ppc64el 1.51.0+ds-4 [49.5 kB] 640s Get:53 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangocairo-1.0-0 ppc64el 1.51.0+ds-4 [31.2 kB] 640s Get:54 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-client0 ppc64el 1.22.0-2.1 [29.4 kB] 640s Get:55 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-cursor0 ppc64el 1.22.0-2.1 [11.4 kB] 640s Get:56 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-egl1 ppc64el 1.22.0-2.1 [5626 B] 640s Get:57 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcomposite1 ppc64el 1:0.4.5-1build2 [7400 B] 640s Get:58 http://ftpmaster.internal/ubuntu noble/main ppc64el libxfixes3 ppc64el 1:6.0.0-2 [11.6 kB] 640s Get:59 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcursor1 ppc64el 1:1.2.1-1 [26.9 kB] 640s Get:60 http://ftpmaster.internal/ubuntu noble/main ppc64el libxdamage1 ppc64el 1:1.1.6-1 [6320 B] 640s Get:61 http://ftpmaster.internal/ubuntu noble/main ppc64el libxinerama1 ppc64el 2:1.1.4-3 [7658 B] 640s Get:62 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrandr2 ppc64el 2:1.5.2-2 [22.7 kB] 640s Get:63 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el libgtk-3-common all 3.24.41-1.1ubuntu3 [1202 kB] 640s Get:64 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-0 ppc64el 3.24.40-2ubuntu1 [3344 kB] 641s Get:65 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 641s Get:66 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-2build1 [271 kB] 641s Get:67 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.4-1 [4114 kB] 641s Get:68 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.4-1 [354 kB] 641s Get:69 http://ftpmaster.internal/ubuntu noble/universe ppc64el tex-common all 6.18 [32.8 kB] 641s Get:70 http://ftpmaster.internal/ubuntu noble/universe ppc64el why3 ppc64el 1.6.0-1build4 [14.3 MB] 641s Get:71 http://ftpmaster.internal/ubuntu noble/universe ppc64el z3 ppc64el 4.8.12-3.1 [6063 kB] 642s Fetched 40.1 MB in 2s (16.6 MB/s) 642s Selecting previously unselected package libgdk-pixbuf2.0-common. 642s (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 ... 70109 files and directories currently installed.) 642s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 642s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 642s Selecting previously unselected package libjpeg-turbo8:ppc64el. 642s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_ppc64el.deb ... 642s Unpacking libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 642s Selecting previously unselected package libjpeg8:ppc64el. 642s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_ppc64el.deb ... 642s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ... 642s Selecting previously unselected package libdeflate0:ppc64el. 642s Preparing to unpack .../03-libdeflate0_1.19-1_ppc64el.deb ... 642s Unpacking libdeflate0:ppc64el (1.19-1) ... 642s Selecting previously unselected package libjbig0:ppc64el. 642s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_ppc64el.deb ... 642s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu1) ... 642s Selecting previously unselected package liblerc4:ppc64el. 642s Preparing to unpack .../05-liblerc4_4.0.0+ds-4ubuntu1_ppc64el.deb ... 642s Unpacking liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 642s Selecting previously unselected package libsharpyuv0:ppc64el. 642s Preparing to unpack .../06-libsharpyuv0_1.3.2-0.4_ppc64el.deb ... 642s Unpacking libsharpyuv0:ppc64el (1.3.2-0.4) ... 642s Selecting previously unselected package libwebp7:ppc64el. 642s Preparing to unpack .../07-libwebp7_1.3.2-0.4_ppc64el.deb ... 642s Unpacking libwebp7:ppc64el (1.3.2-0.4) ... 642s Selecting previously unselected package libtiff6:ppc64el. 642s Preparing to unpack .../08-libtiff6_4.5.1+git230720-3ubuntu1_ppc64el.deb ... 642s Unpacking libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 642s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el. 642s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_ppc64el.deb ... 642s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 642s Selecting previously unselected package gtk-update-icon-cache. 642s Preparing to unpack .../10-gtk-update-icon-cache_3.24.41-1.1ubuntu3_ppc64el.deb ... 642s Unpacking gtk-update-icon-cache (3.24.41-1.1ubuntu3) ... 642s Selecting previously unselected package hicolor-icon-theme. 642s Preparing to unpack .../11-hicolor-icon-theme_0.17-2_all.deb ... 642s Unpacking hicolor-icon-theme (0.17-2) ... 642s Selecting previously unselected package humanity-icon-theme. 642s Preparing to unpack .../12-humanity-icon-theme_0.6.16_all.deb ... 642s Unpacking humanity-icon-theme (0.6.16) ... 643s Selecting previously unselected package ubuntu-mono. 643s Preparing to unpack .../13-ubuntu-mono_24.04-0ubuntu1_all.deb ... 643s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 643s Selecting previously unselected package adwaita-icon-theme. 643s Preparing to unpack .../14-adwaita-icon-theme_46~rc-1_all.deb ... 643s Unpacking adwaita-icon-theme (46~rc-1) ... 644s Selecting previously unselected package at-spi2-common. 644s Preparing to unpack .../15-at-spi2-common_2.51.90-3_all.deb ... 644s Unpacking at-spi2-common (2.51.90-3) ... 644s Selecting previously unselected package libdconf1:ppc64el. 644s Preparing to unpack .../16-libdconf1_0.40.0-4_ppc64el.deb ... 644s Unpacking libdconf1:ppc64el (0.40.0-4) ... 644s Selecting previously unselected package dconf-service. 644s Preparing to unpack .../17-dconf-service_0.40.0-4_ppc64el.deb ... 644s Unpacking dconf-service (0.40.0-4) ... 644s Selecting previously unselected package dconf-gsettings-backend:ppc64el. 644s Preparing to unpack .../18-dconf-gsettings-backend_0.40.0-4_ppc64el.deb ... 644s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-4) ... 644s Selecting previously unselected package fonts-dejavu-mono. 644s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 644s Unpacking fonts-dejavu-mono (2.37-8) ... 644s Selecting previously unselected package fonts-dejavu-core. 644s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 644s Unpacking fonts-dejavu-core (2.37-8) ... 644s Selecting previously unselected package fontconfig-config. 644s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_ppc64el.deb ... 644s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 644s Selecting previously unselected package libfontconfig1:ppc64el. 644s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_ppc64el.deb ... 644s Unpacking libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 644s Selecting previously unselected package fontconfig. 644s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_ppc64el.deb ... 644s Unpacking fontconfig (2.15.0-1ubuntu1) ... 644s Selecting previously unselected package libatk1.0-0:ppc64el. 644s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_ppc64el.deb ... 644s Unpacking libatk1.0-0:ppc64el (2.50.0-1) ... 644s Selecting previously unselected package libxi6:ppc64el. 644s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_ppc64el.deb ... 644s Unpacking libxi6:ppc64el (2:1.8.1-1) ... 644s Selecting previously unselected package libatspi2.0-0:ppc64el. 644s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_ppc64el.deb ... 644s Unpacking libatspi2.0-0:ppc64el (2.50.0-1) ... 644s Selecting previously unselected package libatk-bridge2.0-0:ppc64el. 644s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_ppc64el.deb ... 644s Unpacking libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 644s Selecting previously unselected package libavahi-common-data:ppc64el. 644s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_ppc64el.deb ... 644s Unpacking libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 644s Selecting previously unselected package libavahi-common3:ppc64el. 644s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_ppc64el.deb ... 644s Unpacking libavahi-common3:ppc64el (0.8-13ubuntu2) ... 644s Selecting previously unselected package libavahi-client3:ppc64el. 644s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_ppc64el.deb ... 644s Unpacking libavahi-client3:ppc64el (0.8-13ubuntu2) ... 644s Selecting previously unselected package libpixman-1-0:ppc64el. 644s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_ppc64el.deb ... 644s Unpacking libpixman-1-0:ppc64el (0.42.2-1) ... 644s Selecting previously unselected package libxcb-render0:ppc64el. 644s Preparing to unpack .../32-libxcb-render0_1.15-1_ppc64el.deb ... 644s Unpacking libxcb-render0:ppc64el (1.15-1) ... 644s Selecting previously unselected package libxcb-shm0:ppc64el. 644s Preparing to unpack .../33-libxcb-shm0_1.15-1_ppc64el.deb ... 644s Unpacking libxcb-shm0:ppc64el (1.15-1) ... 644s Selecting previously unselected package libxrender1:ppc64el. 644s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_ppc64el.deb ... 644s Unpacking libxrender1:ppc64el (1:0.9.10-1.1) ... 644s Selecting previously unselected package libcairo2:ppc64el. 644s Preparing to unpack .../35-libcairo2_1.18.0-1_ppc64el.deb ... 644s Unpacking libcairo2:ppc64el (1.18.0-1) ... 644s Selecting previously unselected package libcairo-gobject2:ppc64el. 644s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_ppc64el.deb ... 644s Unpacking libcairo-gobject2:ppc64el (1.18.0-1) ... 644s Selecting previously unselected package libstdlib-ocaml. 644s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ... 644s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 644s Selecting previously unselected package ocaml-base. 644s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ... 644s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 644s Selecting previously unselected package libcairo2-ocaml. 644s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_ppc64el.deb ... 644s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 644s Selecting previously unselected package liblcms2-2:ppc64el. 644s Preparing to unpack .../40-liblcms2-2_2.14-2_ppc64el.deb ... 644s Unpacking liblcms2-2:ppc64el (2.14-2) ... 644s Selecting previously unselected package libcolord2:ppc64el. 644s Preparing to unpack .../41-libcolord2_1.4.7-1_ppc64el.deb ... 644s Unpacking libcolord2:ppc64el (1.4.7-1) ... 644s Selecting previously unselected package libcups2:ppc64el. 644s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_ppc64el.deb ... 644s Unpacking libcups2:ppc64el (2.4.6-0ubuntu3) ... 644s Selecting previously unselected package libdatrie1:ppc64el. 644s Preparing to unpack .../43-libdatrie1_0.2.13-3_ppc64el.deb ... 644s Unpacking libdatrie1:ppc64el (0.2.13-3) ... 644s Selecting previously unselected package libepoxy0:ppc64el. 644s Preparing to unpack .../44-libepoxy0_1.5.10-1_ppc64el.deb ... 644s Unpacking libepoxy0:ppc64el (1.5.10-1) ... 644s Selecting previously unselected package libgraphite2-3:ppc64el. 644s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_ppc64el.deb ... 644s Unpacking libgraphite2-3:ppc64el (1.3.14-2) ... 644s Selecting previously unselected package libharfbuzz0b:ppc64el. 644s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_ppc64el.deb ... 644s Unpacking libharfbuzz0b:ppc64el (8.3.0-2) ... 644s Selecting previously unselected package libthai-data. 644s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 644s Unpacking libthai-data (0.1.29-2) ... 644s Selecting previously unselected package libthai0:ppc64el. 644s Preparing to unpack .../48-libthai0_0.1.29-2_ppc64el.deb ... 644s Unpacking libthai0:ppc64el (0.1.29-2) ... 644s Selecting previously unselected package libpango-1.0-0:ppc64el. 644s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_ppc64el.deb ... 644s Unpacking libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 644s Selecting previously unselected package libpangoft2-1.0-0:ppc64el. 644s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_ppc64el.deb ... 644s Unpacking libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 645s Selecting previously unselected package libpangocairo-1.0-0:ppc64el. 645s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_ppc64el.deb ... 645s Unpacking libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 645s Selecting previously unselected package libwayland-client0:ppc64el. 645s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_ppc64el.deb ... 645s Unpacking libwayland-client0:ppc64el (1.22.0-2.1) ... 645s Selecting previously unselected package libwayland-cursor0:ppc64el. 645s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_ppc64el.deb ... 645s Unpacking libwayland-cursor0:ppc64el (1.22.0-2.1) ... 645s Selecting previously unselected package libwayland-egl1:ppc64el. 645s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_ppc64el.deb ... 645s Unpacking libwayland-egl1:ppc64el (1.22.0-2.1) ... 645s Selecting previously unselected package libxcomposite1:ppc64el. 645s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_ppc64el.deb ... 645s Unpacking libxcomposite1:ppc64el (1:0.4.5-1build2) ... 645s Selecting previously unselected package libxfixes3:ppc64el. 645s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_ppc64el.deb ... 645s Unpacking libxfixes3:ppc64el (1:6.0.0-2) ... 645s Selecting previously unselected package libxcursor1:ppc64el. 645s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_ppc64el.deb ... 645s Unpacking libxcursor1:ppc64el (1:1.2.1-1) ... 645s Selecting previously unselected package libxdamage1:ppc64el. 645s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_ppc64el.deb ... 645s Unpacking libxdamage1:ppc64el (1:1.1.6-1) ... 645s Selecting previously unselected package libxinerama1:ppc64el. 645s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_ppc64el.deb ... 645s Unpacking libxinerama1:ppc64el (2:1.1.4-3) ... 645s Selecting previously unselected package libxrandr2:ppc64el. 645s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_ppc64el.deb ... 645s Unpacking libxrandr2:ppc64el (2:1.5.2-2) ... 645s Selecting previously unselected package libgtk-3-common. 645s Preparing to unpack .../61-libgtk-3-common_3.24.41-1.1ubuntu3_all.deb ... 645s Unpacking libgtk-3-common (3.24.41-1.1ubuntu3) ... 645s Selecting previously unselected package libgtk-3-0:ppc64el. 645s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_ppc64el.deb ... 645s Unpacking libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 645s Selecting previously unselected package libgtksourceview-3.0-common. 645s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 645s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 645s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el. 645s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_ppc64el.deb ... 645s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 645s Selecting previously unselected package liblablgtk3-ocaml. 645s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_ppc64el.deb ... 645s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 645s Selecting previously unselected package liblablgtksourceview3-ocaml. 645s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_ppc64el.deb ... 645s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 645s Selecting previously unselected package tex-common. 645s Preparing to unpack .../67-tex-common_6.18_all.deb ... 645s Unpacking tex-common (6.18) ... 645s Selecting previously unselected package why3. 645s Preparing to unpack .../68-why3_1.6.0-1build4_ppc64el.deb ... 645s Unpacking why3 (1.6.0-1build4) ... 646s Selecting previously unselected package z3. 646s Preparing to unpack .../69-z3_4.8.12-3.1_ppc64el.deb ... 646s Unpacking z3 (4.8.12-3.1) ... 646s Selecting previously unselected package autopkgtest-satdep. 646s Preparing to unpack .../70-4-autopkgtest-satdep.deb ... 646s Unpacking autopkgtest-satdep (0) ... 646s Setting up libgraphite2-3:ppc64el (1.3.14-2) ... 646s Setting up liblcms2-2:ppc64el (2.14-2) ... 646s Setting up libpixman-1-0:ppc64el (0.42.2-1) ... 646s Setting up libsharpyuv0:ppc64el (1.3.2-0.4) ... 646s Setting up libxdamage1:ppc64el (1:1.1.6-1) ... 646s Setting up liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ... 646s Setting up hicolor-icon-theme (0.17-2) ... 646s Setting up libxi6:ppc64el (2:1.8.1-1) ... 646s Setting up libxrender1:ppc64el (1:0.9.10-1.1) ... 646s Setting up libdatrie1:ppc64el (0.2.13-3) ... 646s Setting up libxcb-render0:ppc64el (1.15-1) ... 646s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 646s Setting up libdeflate0:ppc64el (1.19-1) ... 646s Setting up libxcb-shm0:ppc64el (1.15-1) ... 646s Setting up libatspi2.0-0:ppc64el (2.50.0-1) ... 646s Setting up libjbig0:ppc64el (2.1-6.1ubuntu1) ... 646s Setting up z3 (4.8.12-3.1) ... 646s Setting up libcolord2:ppc64el (1.4.7-1) ... 646s Setting up libdconf1:ppc64el (0.40.0-4) ... 646s Setting up tex-common (6.18) ... 646s update-language: texlive-base not installed and configured, doing nothing! 646s Setting up libepoxy0:ppc64el (1.5.10-1) ... 646s Setting up libxfixes3:ppc64el (1:6.0.0-2) ... 646s Setting up libavahi-common-data:ppc64el (0.8-13ubuntu2) ... 646s Setting up libxinerama1:ppc64el (2:1.1.4-3) ... 646s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 646s Setting up fonts-dejavu-mono (2.37-8) ... 646s Setting up libxrandr2:ppc64el (2:1.5.2-2) ... 646s Setting up ocaml-base (4.14.1-1ubuntu1) ... 646s Setting up fonts-dejavu-core (2.37-8) ... 646s Setting up libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ... 646s Setting up libwebp7:ppc64el (1.3.2-0.4) ... 646s Setting up at-spi2-common (2.51.90-3) ... 646s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 646s Setting up libharfbuzz0b:ppc64el (8.3.0-2) ... 646s Setting up libthai-data (0.1.29-2) ... 646s Setting up libatk1.0-0:ppc64el (2.50.0-1) ... 646s Setting up libwayland-egl1:ppc64el (1.22.0-2.1) ... 646s Setting up libxcomposite1:ppc64el (1:0.4.5-1build2) ... 646s Setting up libwayland-client0:ppc64el (1.22.0-2.1) ... 646s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ... 646s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 646s Setting up libxcursor1:ppc64el (1:1.2.1-1) ... 646s Setting up libavahi-common3:ppc64el (0.8-13ubuntu2) ... 646s Setting up dconf-service (0.40.0-4) ... 646s Setting up libatk-bridge2.0-0:ppc64el (2.50.0-1) ... 646s Setting up libthai0:ppc64el (0.1.29-2) ... 646s Setting up libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ... 646s Setting up libwayland-cursor0:ppc64el (1.22.0-2.1) ... 646s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ... 646s Setting up libfontconfig1:ppc64el (2.15.0-1ubuntu1) ... 646s Setting up libavahi-client3:ppc64el (0.8-13ubuntu2) ... 646s Setting up gtk-update-icon-cache (3.24.41-1.1ubuntu3) ... 646s Setting up fontconfig (2.15.0-1ubuntu1) ... 648s Regenerating fonts cache... done. 648s Setting up dconf-gsettings-backend:ppc64el (0.40.0-4) ... 648s Setting up libpango-1.0-0:ppc64el (1.51.0+ds-4) ... 648s Setting up libcairo2:ppc64el (1.18.0-1) ... 648s Setting up libcups2:ppc64el (2.4.6-0ubuntu3) ... 648s Setting up libcairo-gobject2:ppc64el (1.18.0-1) ... 648s Setting up libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ... 648s Setting up libgtk-3-common (3.24.41-1.1ubuntu3) ... 648s Setting up libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ... 648s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 648s Setting up adwaita-icon-theme (46~rc-1) ... 648s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 648s Setting up humanity-icon-theme (0.6.16) ... 649s Setting up ubuntu-mono (24.04-0ubuntu1) ... 649s Processing triggers for man-db (2.12.0-3) ... 649s Processing triggers for libglib2.0-0t64:ppc64el (2.79.3-3ubuntu5) ... 649s Setting up libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ... 649s Processing triggers for libc-bin (2.39-0ubuntu2) ... 649s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ... 649s Setting up liblablgtk3-ocaml (3.1.4-1) ... 649s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 649s Setting up why3 (1.6.0-1build4) ... 649s Setting up autopkgtest-satdep (0) ... 649s Processing triggers for libc-bin (2.39-0ubuntu2) ... 653s (Reading database ... 83859 files and directories currently installed.) 653s Removing autopkgtest-satdep (0) ... 660s autopkgtest [14:52:04]: test why3+z3: [----------------------- 661s autopkgtest [14:52:05]: test why3+z3: -----------------------] 662s why3+z3 PASS 662s autopkgtest [14:52:06]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 663s autopkgtest [14:52:07]: @@@@@@@@@@@@@@@@@@@@ summary 663s why3+alt-ergo SKIP installation fails and skip-not-installable set 663s why3+cvc4 PASS 663s why3+spass PASS 663s why3+z3 PASS 684s Creating nova instance adt-noble-ppc64el-why3-20240320-144103-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240320.img (UUID 1c7ceb83-4842-4144-a3c9-88510cdc9534)... 684s Creating nova instance adt-noble-ppc64el-why3-20240320-144103-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240320.img (UUID 1c7ceb83-4842-4144-a3c9-88510cdc9534)... 684s Creating nova instance adt-noble-ppc64el-why3-20240320-144103-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240320.img (UUID 1c7ceb83-4842-4144-a3c9-88510cdc9534)... 684s Creating nova instance adt-noble-ppc64el-why3-20240320-144103-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240320.img (UUID 1c7ceb83-4842-4144-a3c9-88510cdc9534)...