0s autopkgtest [23:38:27]: starting date and time: 2024-03-21 23:38:27+0000 0s autopkgtest [23:38:27]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [23:38:27]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.82p4k_6b/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src: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-3@bos01-s390x-9.secgroup --name adt-noble-s390x-why3-20240321-233826-juju-7f2275-prod-proposed-migration-environment-3 --image adt/ubuntu-noble-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-3 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://us.ports.ubuntu.com/ubuntu-ports/ 199s autopkgtest [23:41:46]: testbed dpkg architecture: s390x 201s autopkgtest [23:41:46]: testbed apt version: 2.7.12 201s autopkgtest [23:41:46]: @@@@@@@@@@@@@@@@@@@@ test bed setup 201s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 201s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [496 kB] 201s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [53.9 kB] 201s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 201s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3769 kB] 206s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [671 kB] 207s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 207s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 207s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 207s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [3996 kB] 209s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 209s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [45.1 kB] 209s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 211s Fetched 9166 kB in 10s (881 kB/s) 211s Reading package lists... 214s Reading package lists... 214s Building dependency tree... 214s Reading state information... 215s Calculating upgrade... 215s The following packages will be REMOVED: 215s libglib2.0-0 215s The following NEW packages will be installed: 215s libglib2.0-0t64 xdg-user-dirs 215s The following packages will be upgraded: 215s cloud-init debianutils gir1.2-glib-2.0 libglib2.0-data python3-markupsafe 215s 5 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 215s Need to get 2511 kB of archives. 215s After this operation, 147 kB of additional disk space will be used. 215s Get:1 http://ftpmaster.internal/ubuntu noble/main s390x debianutils s390x 5.17 [90.1 kB] 215s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main s390x gir1.2-glib-2.0 s390x 2.79.3-3ubuntu5 [180 kB] 215s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libglib2.0-0t64 s390x 2.79.3-3ubuntu5 [1566 kB] 215s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 215s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x xdg-user-dirs s390x 0.18-1 [18.5 kB] 215s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x python3-markupsafe s390x 2.1.5-1build1 [12.8 kB] 215s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x cloud-init all 24.1.2-0ubuntu1 [597 kB] 216s Preconfiguring packages ... 216s Fetched 2511 kB in 1s (4004 kB/s) 216s (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 ... 51778 files and directories currently installed.) 216s Preparing to unpack .../debianutils_5.17_s390x.deb ... 216s Unpacking debianutils (5.17) over (5.16) ... 216s Setting up debianutils (5.17) ... 217s (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 ... 51778 files and directories currently installed.) 217s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_s390x.deb ... 217s Unpacking gir1.2-glib-2.0:s390x (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 217s dpkg: libglib2.0-0:s390x: dependency problems, but removing anyway as you requested: 217s udisks2 depends on libglib2.0-0 (>= 2.77.0). 217s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 217s s390-tools depends on libglib2.0-0 (>= 2.77.0). 217s python3-gi depends on libglib2.0-0 (>= 2.77.0). 217s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 217s netplan.io depends on libglib2.0-0 (>= 2.70.0). 217s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 217s libxmlb2:s390x depends on libglib2.0-0 (>= 2.54.0). 217s libvolume-key1:s390x depends on libglib2.0-0 (>= 2.18.0). 217s libudisks2-0:s390x depends on libglib2.0-0 (>= 2.75.3). 217s libqrtr-glib0:s390x depends on libglib2.0-0 (>= 2.56). 217s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 217s libqmi-glib5:s390x depends on libglib2.0-0 (>= 2.54.0). 217s libpolkit-gobject-1-0:s390x depends on libglib2.0-0 (>= 2.38.0). 217s libpolkit-agent-1-0:s390x depends on libglib2.0-0 (>= 2.38.0). 217s libnetplan0:s390x depends on libglib2.0-0 (>= 2.75.3). 217s libmm-glib0:s390x depends on libglib2.0-0 (>= 2.62.0). 217s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 217s libmbim-glib4:s390x depends on libglib2.0-0 (>= 2.56). 217s libjson-glib-1.0-0:s390x depends on libglib2.0-0 (>= 2.75.3). 217s libjcat1:s390x depends on libglib2.0-0 (>= 2.75.3). 217s libgusb2:s390x depends on libglib2.0-0 (>= 2.75.3). 217s libgudev-1.0-0:s390x depends on libglib2.0-0 (>= 2.38.0). 217s libgirepository-1.0-1:s390x depends on libglib2.0-0 (>= 2.79.0). 217s libfwupd2:s390x depends on libglib2.0-0 (>= 2.79.0). 217s libblockdev3:s390x depends on libglib2.0-0 (>= 2.42.2). 217s libblockdev-utils3:s390x depends on libglib2.0-0 (>= 2.75.3). 217s libblockdev-swap3:s390x depends on libglib2.0-0 (>= 2.42.2). 217s libblockdev-part3:s390x depends on libglib2.0-0 (>= 2.42.2). 217s libblockdev-nvme3:s390x depends on libglib2.0-0 (>= 2.42.2). 217s libblockdev-mdraid3:s390x depends on libglib2.0-0 (>= 2.42.2). 217s libblockdev-loop3:s390x depends on libglib2.0-0 (>= 2.42.2). 217s libblockdev-fs3:s390x depends on libglib2.0-0 (>= 2.42.2). 217s libblockdev-crypto3:s390x depends on libglib2.0-0 (>= 2.42.2). 217s fwupd depends on libglib2.0-0 (>= 2.79.0). 217s bolt depends on libglib2.0-0 (>= 2.56.0). 217s 217s (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 ... 51778 files and directories currently installed.) 217s Removing libglib2.0-0:s390x (2.79.2-1~ubuntu1) ... 217s Selecting previously unselected package libglib2.0-0t64:s390x. 217s (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 ... 51753 files and directories currently installed.) 217s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_s390x.deb ... 217s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:s390x.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled... 217s removed '/var/lib/dpkg/info/libglib2.0-0:s390x.postrm' 217s Unpacking libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 217s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 217s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 217s Selecting previously unselected package xdg-user-dirs. 217s Preparing to unpack .../xdg-user-dirs_0.18-1_s390x.deb ... 217s Unpacking xdg-user-dirs (0.18-1) ... 217s Preparing to unpack .../python3-markupsafe_2.1.5-1build1_s390x.deb ... 217s Unpacking python3-markupsafe (2.1.5-1build1) over (2.1.5-1) ... 217s Preparing to unpack .../cloud-init_24.1.2-0ubuntu1_all.deb ... 217s Unpacking cloud-init (24.1.2-0ubuntu1) over (24.1.1-0ubuntu1) ... 217s Setting up cloud-init (24.1.2-0ubuntu1) ... 219s Setting up xdg-user-dirs (0.18-1) ... 219s Setting up python3-markupsafe (2.1.5-1build1) ... 219s Setting up libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 219s No schema files found: doing nothing. 219s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 219s Setting up gir1.2-glib-2.0:s390x (2.79.3-3ubuntu5) ... 219s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 219s Processing triggers for man-db (2.12.0-3) ... 220s Processing triggers for libc-bin (2.39-0ubuntu2) ... 220s Reading package lists... 220s Building dependency tree... 220s Reading state information... 221s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 221s Unknown architecture, assuming PC-style ttyS0 221s sh: Attempting to set up Debian/Ubuntu apt sources automatically 221s sh: Distribution appears to be Ubuntu 222s Reading package lists... 222s Building dependency tree... 222s Reading state information... 223s eatmydata is already the newest version (131-1). 223s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 223s Reading package lists... 223s Building dependency tree... 223s Reading state information... 223s dbus is already the newest version (1.14.10-4ubuntu1). 223s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 223s Reading package lists... 223s Building dependency tree... 223s Reading state information... 224s rng-tools-debian is already the newest version (2.4). 224s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 224s Reading package lists... 224s Building dependency tree... 224s Reading state information... 224s The following packages will be REMOVED: 224s cloud-init* python3-configobj* python3-debconf* 225s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 225s After this operation, 3256 kB disk space will be freed. 225s (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 ... 51791 files and directories currently installed.) 225s Removing cloud-init (24.1.2-0ubuntu1) ... 225s Removing python3-configobj (5.0.8-3) ... 225s Removing python3-debconf (1.5.86) ... 226s Processing triggers for man-db (2.12.0-3) ... 226s (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 ... 51402 files and directories currently installed.) 226s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 226s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 226s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 226s invoke-rc.d: policy-rc.d denied execution of try-restart. 227s Reading package lists... 227s Building dependency tree... 227s Reading state information... 227s linux-generic is already the newest version (6.8.0-11.11+1). 227s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 228s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 228s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 228s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 230s Reading package lists... 230s Reading package lists... 231s Building dependency tree... 231s Reading state information... 231s Calculating upgrade... 231s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 231s Reading package lists... 231s Building dependency tree... 231s Reading state information... 232s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 232s autopkgtest [23:42:19]: rebooting testbed after setup commands that affected boot 259s autopkgtest [23:42:46]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Tue Feb 13 23:45:46 UTC 2024 262s autopkgtest [23:42:49]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 267s Get:1 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (dsc) [2670 B] 267s Get:2 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (tar) [6850 kB] 267s Get:3 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (diff) [18.5 kB] 267s gpgv: Signature made Thu Feb 22 07:36:27 2024 UTC 267s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 267s gpgv: Can't check signature: No public key 267s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build4.dsc: no acceptable signature found 268s autopkgtest [23:42:55]: testing package why3 version 1.6.0-1build4 268s autopkgtest [23:42:55]: build not needed 281s autopkgtest [23:43:08]: test why3+alt-ergo: preparing testbed 288s Reading package lists... 288s Building dependency tree... 288s Reading state information... 288s Starting pkgProblemResolver with broken count: 1 288s Starting 2 pkgProblemResolver with broken count: 1 288s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 288s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build4 @un uH > 288s Considering why3:s390x 1 as a solution to autopkgtest-satdep:s390x 9998 288s Re-Instated libfreetype6:s390x 288s Re-Instated fonts-dejavu-mono:s390x 288s Re-Instated fonts-dejavu-core:s390x 288s Re-Instated fontconfig-config:s390x 288s Re-Instated libfontconfig1:s390x 288s Re-Instated libpixman-1-0:s390x 288s Re-Instated libxcb-render0:s390x 288s Re-Instated libxcb-shm0:s390x 288s Re-Instated libxrender1:s390x 288s Re-Instated libcairo2:s390x 288s Re-Instated libgdk-pixbuf2.0-common:s390x 288s Re-Instated libjpeg-turbo8:s390x 288s Re-Instated libjpeg8:s390x 288s Re-Instated libdeflate0:s390x 288s Re-Instated libjbig0:s390x 288s Re-Instated libsharpyuv0:s390x 288s Re-Instated libwebp7:s390x 288s Re-Instated libtiff6:s390x 288s Re-Instated libgdk-pixbuf-2.0-0:s390x 288s Re-Instated gtk-update-icon-cache:s390x 288s Re-Instated hicolor-icon-theme:s390x 288s Re-Instated humanity-icon-theme:s390x 288s Re-Instated ubuntu-mono:s390x 288s Re-Instated adwaita-icon-theme:s390x 288s Re-Instated at-spi2-common:s390x 288s Re-Instated libatk1.0-0:s390x 288s Re-Instated libxi6:s390x 288s Re-Instated libatspi2.0-0:s390x 288s Re-Instated libatk-bridge2.0-0:s390x 288s Re-Instated libcairo-gobject2:s390x 288s Re-Instated liblcms2-2:s390x 288s Re-Instated libcolord2:s390x 288s Re-Instated libavahi-common-data:s390x 288s Re-Instated libavahi-common3:s390x 288s Re-Instated libavahi-client3:s390x 288s Re-Instated libcups2:s390x 288s Re-Instated libepoxy0:s390x 288s Re-Instated libgraphite2-3:s390x 288s Re-Instated libharfbuzz0b:s390x 288s Re-Instated fontconfig:s390x 288s Re-Instated libthai-data:s390x 288s Re-Instated libdatrie1:s390x 288s Re-Instated libthai0:s390x 288s Re-Instated libpango-1.0-0:s390x 288s Re-Instated libpangoft2-1.0-0:s390x 288s Re-Instated libpangocairo-1.0-0:s390x 288s Re-Instated libwayland-client0:s390x 288s Re-Instated libwayland-cursor0:s390x 288s Re-Instated libwayland-egl1:s390x 288s Re-Instated libxcomposite1:s390x 288s Re-Instated libxfixes3:s390x 288s Re-Instated libxcursor1:s390x 288s Re-Instated libxdamage1:s390x 288s Re-Instated libxinerama1:s390x 288s Re-Instated libxrandr2:s390x 288s Re-Instated libdconf1:s390x 288s Re-Instated dconf-service:s390x 288s Re-Instated dconf-gsettings-backend:s390x 288s Re-Instated libgtk-3-common:s390x 288s Re-Instated libgtk-3-0:s390x 288s Re-Instated libgtksourceview-3.0-common:s390x 288s Re-Instated libgtksourceview-3.0-1:s390x 288s Re-Instated libstdlib-ocaml:s390x 288s Re-Instated ocaml-base:s390x 288s Re-Instated libcairo2-ocaml:s390x 288s Re-Instated liblablgtk3-ocaml:s390x 288s Re-Instated liblablgtksourceview3-ocaml:s390x 288s Re-Instated tex-common:s390x 288s Re-Instated why3:s390x 288s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un H > (>= 2.0.0) 288s Done 288s Some packages could not be installed. This may mean that you have 288s requested an impossible situation or if you are using the unstable 288s distribution that some required packages have not yet been created 288s or been moved out of Incoming. 289s The following information may help to resolve the situation: 289s 289s The following packages have unmet dependencies: 289s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 289s E: Unable to correct problems, you have held broken packages. 289s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 289s Reading package lists... 290s Building dependency tree... 290s Reading state information... 290s Starting pkgProblemResolver with broken count: 1 290s Starting 2 pkgProblemResolver with broken count: 1 290s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 290s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build4 @un uH > 290s Considering why3:s390x 1 as a solution to autopkgtest-satdep:s390x 9998 290s Re-Instated libfreetype6:s390x 290s Re-Instated fonts-dejavu-mono:s390x 290s Re-Instated fonts-dejavu-core:s390x 290s Re-Instated fontconfig-config:s390x 290s Re-Instated libfontconfig1:s390x 290s Re-Instated libpixman-1-0:s390x 290s Re-Instated libxcb-render0:s390x 290s Re-Instated libxcb-shm0:s390x 290s Re-Instated libxrender1:s390x 290s Re-Instated libcairo2:s390x 290s Re-Instated libgdk-pixbuf2.0-common:s390x 290s Re-Instated libjpeg-turbo8:s390x 290s Re-Instated libjpeg8:s390x 290s Re-Instated libdeflate0:s390x 290s Re-Instated libjbig0:s390x 290s Re-Instated libsharpyuv0:s390x 290s Re-Instated libwebp7:s390x 290s Re-Instated libtiff6:s390x 290s Re-Instated libgdk-pixbuf-2.0-0:s390x 290s Re-Instated gtk-update-icon-cache:s390x 290s Re-Instated hicolor-icon-theme:s390x 290s Re-Instated humanity-icon-theme:s390x 290s Re-Instated ubuntu-mono:s390x 290s Re-Instated adwaita-icon-theme:s390x 290s Re-Instated at-spi2-common:s390x 290s Re-Instated libatk1.0-0:s390x 290s Re-Instated libxi6:s390x 290s Re-Instated libatspi2.0-0:s390x 290s Re-Instated libatk-bridge2.0-0:s390x 290s Re-Instated libcairo-gobject2:s390x 290s Re-Instated liblcms2-2:s390x 290s Re-Instated libcolord2:s390x 290s Re-Instated libavahi-common-data:s390x 290s Re-Instated libavahi-common3:s390x 290s Re-Instated libavahi-client3:s390x 290s Re-Instated libcups2:s390x 290s Re-Instated libepoxy0:s390x 290s Re-Instated libgraphite2-3:s390x 290s Re-Instated libharfbuzz0b:s390x 290s Re-Instated fontconfig:s390x 290s Re-Instated libthai-data:s390x 290s Re-Instated libdatrie1:s390x 290s Re-Instated libthai0:s390x 290s Re-Instated libpango-1.0-0:s390x 290s Re-Instated libpangoft2-1.0-0:s390x 290s Re-Instated libpangocairo-1.0-0:s390x 290s Re-Instated libwayland-client0:s390x 290s Re-Instated libwayland-cursor0:s390x 290s Re-Instated libwayland-egl1:s390x 290s Re-Instated libxcomposite1:s390x 290s Re-Instated libxfixes3:s390x 290s Re-Instated libxcursor1:s390x 290s Re-Instated libxdamage1:s390x 290s Re-Instated libxinerama1:s390x 290s Re-Instated libxrandr2:s390x 290s Re-Instated libdconf1:s390x 290s Re-Instated dconf-service:s390x 290s Re-Instated dconf-gsettings-backend:s390x 290s Re-Instated libgtk-3-common:s390x 290s Re-Instated libgtk-3-0:s390x 290s Re-Instated libgtksourceview-3.0-common:s390x 290s Re-Instated libgtksourceview-3.0-1:s390x 290s Re-Instated libstdlib-ocaml:s390x 290s Re-Instated ocaml-base:s390x 290s Re-Instated libcairo2-ocaml:s390x 290s Re-Instated liblablgtk3-ocaml:s390x 290s Re-Instated liblablgtksourceview3-ocaml:s390x 290s Re-Instated tex-common:s390x 290s Re-Instated why3:s390x 290s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un H > (>= 2.0.0) 290s Done 290s Some packages could not be installed. This may mean that you have 290s requested an impossible situation or if you are using the unstable 290s distribution that some required packages have not yet been created 290s or been moved out of Incoming. 290s The following information may help to resolve the situation: 290s 290s The following packages have unmet dependencies: 290s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 290s E: Unable to correct problems, you have held broken packages. 290s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 291s why3+alt-ergo SKIP installation fails and skip-not-installable set 291s autopkgtest [23:43:18]: test why3+cvc4: preparing testbed 576s autopkgtest [23:48:03]: testbed dpkg architecture: s390x 576s autopkgtest [23:48:03]: testbed apt version: 2.7.12 576s autopkgtest [23:48:03]: @@@@@@@@@@@@@@@@@@@@ test bed setup 576s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 577s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [53.9 kB] 577s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [496 kB] 577s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 577s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3769 kB] 577s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [671 kB] 577s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 577s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 577s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 577s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [3996 kB] 577s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 577s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [45.1 kB] 577s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 580s Fetched 9166 kB in 3s (3519 kB/s) 580s Reading package lists... 583s Reading package lists... 584s Building dependency tree... 584s Reading state information... 584s Calculating upgrade... 584s The following packages will be REMOVED: 584s libglib2.0-0 584s The following NEW packages will be installed: 584s libglib2.0-0t64 xdg-user-dirs 584s The following packages will be upgraded: 584s gir1.2-glib-2.0 libglib2.0-data 584s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 584s Need to get 1811 kB of archives. 584s After this operation, 159 kB of additional disk space will be used. 584s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main s390x gir1.2-glib-2.0 s390x 2.79.3-3ubuntu5 [180 kB] 584s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libglib2.0-0t64 s390x 2.79.3-3ubuntu5 [1566 kB] 585s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 585s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x xdg-user-dirs s390x 0.18-1 [18.5 kB] 585s Fetched 1811 kB in 1s (2856 kB/s) 585s (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 ... 51778 files and directories currently installed.) 585s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_s390x.deb ... 585s Unpacking gir1.2-glib-2.0:s390x (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 585s dpkg: libglib2.0-0:s390x: dependency problems, but removing anyway as you requested: 585s udisks2 depends on libglib2.0-0 (>= 2.77.0). 585s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 585s s390-tools depends on libglib2.0-0 (>= 2.77.0). 585s python3-gi depends on libglib2.0-0 (>= 2.77.0). 585s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 585s netplan.io depends on libglib2.0-0 (>= 2.70.0). 585s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 585s libxmlb2:s390x depends on libglib2.0-0 (>= 2.54.0). 585s libvolume-key1:s390x depends on libglib2.0-0 (>= 2.18.0). 585s libudisks2-0:s390x depends on libglib2.0-0 (>= 2.75.3). 585s libqrtr-glib0:s390x depends on libglib2.0-0 (>= 2.56). 585s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 585s libqmi-glib5:s390x depends on libglib2.0-0 (>= 2.54.0). 585s libpolkit-gobject-1-0:s390x depends on libglib2.0-0 (>= 2.38.0). 585s libpolkit-agent-1-0:s390x depends on libglib2.0-0 (>= 2.38.0). 585s libnetplan0:s390x depends on libglib2.0-0 (>= 2.75.3). 585s libmm-glib0:s390x depends on libglib2.0-0 (>= 2.62.0). 585s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 585s libmbim-glib4:s390x depends on libglib2.0-0 (>= 2.56). 585s libjson-glib-1.0-0:s390x depends on libglib2.0-0 (>= 2.75.3). 585s libjcat1:s390x depends on libglib2.0-0 (>= 2.75.3). 585s libgusb2:s390x depends on libglib2.0-0 (>= 2.75.3). 585s libgudev-1.0-0:s390x depends on libglib2.0-0 (>= 2.38.0). 585s libgirepository-1.0-1:s390x depends on libglib2.0-0 (>= 2.79.0). 585s libfwupd2:s390x depends on libglib2.0-0 (>= 2.79.0). 585s libblockdev3:s390x depends on libglib2.0-0 (>= 2.42.2). 585s libblockdev-utils3:s390x depends on libglib2.0-0 (>= 2.75.3). 585s libblockdev-swap3:s390x depends on libglib2.0-0 (>= 2.42.2). 585s libblockdev-part3:s390x depends on libglib2.0-0 (>= 2.42.2). 585s libblockdev-nvme3:s390x depends on libglib2.0-0 (>= 2.42.2). 585s libblockdev-mdraid3:s390x depends on libglib2.0-0 (>= 2.42.2). 585s libblockdev-loop3:s390x depends on libglib2.0-0 (>= 2.42.2). 585s libblockdev-fs3:s390x depends on libglib2.0-0 (>= 2.42.2). 585s libblockdev-crypto3:s390x depends on libglib2.0-0 (>= 2.42.2). 585s fwupd depends on libglib2.0-0 (>= 2.79.0). 585s bolt depends on libglib2.0-0 (>= 2.56.0). 585s 585s (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 ... 51778 files and directories currently installed.) 585s Removing libglib2.0-0:s390x (2.79.2-1~ubuntu1) ... 585s Selecting previously unselected package libglib2.0-0t64:s390x. 585s (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 ... 51753 files and directories currently installed.) 585s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_s390x.deb ... 585s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:s390x.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled... 585s removed '/var/lib/dpkg/info/libglib2.0-0:s390x.postrm' 585s Unpacking libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 585s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 585s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 585s Selecting previously unselected package xdg-user-dirs. 585s Preparing to unpack .../xdg-user-dirs_0.18-1_s390x.deb ... 585s Unpacking xdg-user-dirs (0.18-1) ... 585s Setting up xdg-user-dirs (0.18-1) ... 585s Setting up libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 585s No schema files found: doing nothing. 585s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 585s Setting up gir1.2-glib-2.0:s390x (2.79.3-3ubuntu5) ... 585s Processing triggers for man-db (2.12.0-3) ... 586s Processing triggers for libc-bin (2.39-0ubuntu2) ... 587s Reading package lists... 587s Building dependency tree... 587s Reading state information... 587s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 588s Unknown architecture, assuming PC-style ttyS0 588s sh: Attempting to set up Debian/Ubuntu apt sources automatically 588s sh: Distribution appears to be Ubuntu 589s Reading package lists... 589s Building dependency tree... 589s Reading state information... 589s eatmydata is already the newest version (131-1). 589s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 589s Reading package lists... 590s Building dependency tree... 590s Reading state information... 590s dbus is already the newest version (1.14.10-4ubuntu1). 590s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 590s Reading package lists... 590s Building dependency tree... 590s Reading state information... 591s rng-tools-debian is already the newest version (2.4). 591s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 591s Reading package lists... 591s Building dependency tree... 591s Reading state information... 591s The following packages will be REMOVED: 591s cloud-init* python3-configobj* python3-debconf* 592s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 592s After this operation, 3252 kB disk space will be freed. 592s (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 ... 51792 files and directories currently installed.) 592s Removing cloud-init (24.1.1-0ubuntu1) ... 593s Removing python3-configobj (5.0.8-3) ... 593s Removing python3-debconf (1.5.86) ... 593s Processing triggers for man-db (2.12.0-3) ... 593s (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 ... 51403 files and directories currently installed.) 593s Purging configuration files for cloud-init (24.1.1-0ubuntu1) ... 594s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 594s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 594s invoke-rc.d: policy-rc.d denied execution of try-restart. 594s Reading package lists... 594s Building dependency tree... 594s Reading state information... 595s linux-generic is already the newest version (6.8.0-11.11+1). 595s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 595s Get:1 http://ftpmaster.internal/ubuntu noble InRelease [255 kB] 595s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 595s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 595s Get:4 http://ftpmaster.internal/ubuntu noble/main Sources [1372 kB] 596s Get:5 http://ftpmaster.internal/ubuntu noble/universe Sources [19.8 MB] 596s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x Packages [1365 kB] 596s Get:7 http://ftpmaster.internal/ubuntu noble/universe s390x Packages [14.7 MB] 597s Get:8 http://ftpmaster.internal/ubuntu noble/multiverse s390x Packages [167 kB] 604s Fetched 37.7 MB in 8s (4606 kB/s) 605s Reading package lists... 605s Reading package lists... 605s Building dependency tree... 605s Reading state information... 606s Calculating upgrade... 606s The following packages will be upgraded: 606s debianutils python3-markupsafe 606s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 606s Need to get 103 kB of archives. 606s After this operation, 15.4 kB disk space will be freed. 606s Get:1 http://ftpmaster.internal/ubuntu noble/main s390x debianutils s390x 5.17 [90.1 kB] 606s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x python3-markupsafe s390x 2.1.5-1build1 [12.8 kB] 606s Fetched 103 kB in 0s (298 kB/s) 607s (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 ... 51346 files and directories currently installed.) 607s Preparing to unpack .../debianutils_5.17_s390x.deb ... 607s Unpacking debianutils (5.17) over (5.16) ... 607s Setting up debianutils (5.17) ... 607s (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 ... 51346 files and directories currently installed.) 607s Preparing to unpack .../python3-markupsafe_2.1.5-1build1_s390x.deb ... 607s Unpacking python3-markupsafe (2.1.5-1build1) over (2.1.5-1) ... 607s Setting up python3-markupsafe (2.1.5-1build1) ... 607s Processing triggers for man-db (2.12.0-3) ... 608s Reading package lists... 608s Building dependency tree... 608s Reading state information... 608s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 608s autopkgtest [23:48:35]: rebooting testbed after setup commands that affected boot 642s Reading package lists... 642s Building dependency tree... 642s Reading state information... 642s Starting pkgProblemResolver with broken count: 0 642s Starting 2 pkgProblemResolver with broken count: 0 642s Done 643s The following additional packages will be installed: 643s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 643s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 643s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 643s libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 643s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 643s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 libcvc4-7 643s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 643s libfreetype6 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 643s libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 643s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 643s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 643s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 643s libstdlib-ocaml libthai-data libthai0 libtiff6 libwayland-client0 643s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 643s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 643s libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 643s Suggested packages: 643s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 643s Recommended packages: 643s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 643s The following NEW packages will be installed: 643s adwaita-icon-theme at-spi2-common autopkgtest-satdep cvc4 643s dconf-gsettings-backend dconf-service fontconfig fontconfig-config 643s fonts-dejavu-core fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 643s humanity-icon-theme libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 643s libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 643s libcairo-gobject2 libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 643s libcvc4-7 libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 643s libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 643s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 643s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 643s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 643s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 643s libstdlib-ocaml libthai-data libthai0 libtiff6 libwayland-client0 643s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 643s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 643s libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 643s 0 upgraded, 75 newly installed, 0 to remove and 0 not upgraded. 643s Need to get 38.0 MB/38.0 MB of archives. 643s After this operation, 172 MB of additional disk space will be used. 643s Get:1 /tmp/autopkgtest.p5AwXx/2-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [716 B] 643s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 643s Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg-turbo8 s390x 2.1.5-2ubuntu1 [128 kB] 643s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 643s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdeflate0 s390x 1.19-1 [46.0 kB] 643s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libjbig0 s390x 2.1-6.1ubuntu1 [29.8 kB] 643s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libsharpyuv0 s390x 1.3.2-0.4 [14.8 kB] 643s Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libwebp7 s390x 1.3.2-0.4 [207 kB] 643s Get:9 http://ftpmaster.internal/ubuntu noble/main s390x libtiff6 s390x 4.5.1+git230720-3ubuntu1 [253 kB] 643s Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3 [152 kB] 643s Get:11 http://ftpmaster.internal/ubuntu noble/main s390x gtk-update-icon-cache s390x 3.24.40-2ubuntu1 [51.0 kB] 643s Get:12 http://ftpmaster.internal/ubuntu noble/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 643s Get:13 http://ftpmaster.internal/ubuntu noble/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 643s Get:14 http://ftpmaster.internal/ubuntu noble/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 643s Get:15 http://ftpmaster.internal/ubuntu noble/main s390x adwaita-icon-theme all 46~rc-1 [723 kB] 643s Get:16 http://ftpmaster.internal/ubuntu noble/main s390x at-spi2-common all 2.50.0-1 [7864 B] 643s Get:17 http://ftpmaster.internal/ubuntu noble/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 643s Get:18 http://ftpmaster.internal/ubuntu noble/universe s390x libcvc4-7 s390x 1.8-3 [4507 kB] 644s Get:19 http://ftpmaster.internal/ubuntu noble/universe s390x libantlr3c-3.4-0 s390x 3.4+dfsg-4build1 [42.5 kB] 644s Get:20 http://ftpmaster.internal/ubuntu noble/universe s390x libcvc4parser7 s390x 1.8-3 [350 kB] 644s Get:21 http://ftpmaster.internal/ubuntu noble/universe s390x cvc4 s390x 1.8-3 [71.8 kB] 644s Get:22 http://ftpmaster.internal/ubuntu noble/main s390x libdconf1 s390x 0.40.0-4 [38.9 kB] 644s Get:23 http://ftpmaster.internal/ubuntu noble/main s390x dconf-service s390x 0.40.0-4 [27.0 kB] 644s Get:24 http://ftpmaster.internal/ubuntu noble/main s390x dconf-gsettings-backend s390x 0.40.0-4 [21.6 kB] 644s Get:25 http://ftpmaster.internal/ubuntu noble/main s390x libfreetype6 s390x 2.13.2+dfsg-1 [431 kB] 644s Get:26 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 644s Get:27 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 644s Get:28 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig-config s390x 2.15.0-1ubuntu1 [37.0 kB] 644s Get:29 http://ftpmaster.internal/ubuntu noble/main s390x libfontconfig1 s390x 2.15.0-1ubuntu1 [150 kB] 644s Get:30 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig s390x 2.15.0-1ubuntu1 [191 kB] 644s Get:31 http://ftpmaster.internal/ubuntu noble/main s390x libatk1.0-0 s390x 2.50.0-1 [54.4 kB] 644s Get:32 http://ftpmaster.internal/ubuntu noble/main s390x libxi6 s390x 2:1.8.1-1 [35.7 kB] 644s Get:33 http://ftpmaster.internal/ubuntu noble/main s390x libatspi2.0-0 s390x 2.50.0-1 [77.9 kB] 644s Get:34 http://ftpmaster.internal/ubuntu noble/main s390x libatk-bridge2.0-0 s390x 2.50.0-1 [65.3 kB] 644s Get:35 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common-data s390x 0.8-13ubuntu2 [29.5 kB] 644s Get:36 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common3 s390x 0.8-13ubuntu2 [23.8 kB] 644s Get:37 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-client3 s390x 0.8-13ubuntu2 [26.7 kB] 644s Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libpixman-1-0 s390x 0.42.2-1 [173 kB] 644s Get:39 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-render0 s390x 1.15-1 [17.0 kB] 644s Get:40 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-shm0 s390x 1.15-1 [5782 B] 644s Get:41 http://ftpmaster.internal/ubuntu noble/main s390x libxrender1 s390x 1:0.9.10-1.1 [19.4 kB] 644s Get:42 http://ftpmaster.internal/ubuntu noble/main s390x libcairo2 s390x 1.18.0-1 [578 kB] 644s Get:43 http://ftpmaster.internal/ubuntu noble/main s390x libcairo-gobject2 s390x 1.18.0-1 [126 kB] 644s Get:44 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 644s Get:45 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 644s Get:46 http://ftpmaster.internal/ubuntu noble/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 644s Get:47 http://ftpmaster.internal/ubuntu noble/main s390x liblcms2-2 s390x 2.14-2 [155 kB] 644s Get:48 http://ftpmaster.internal/ubuntu noble/main s390x libcolord2 s390x 1.4.7-1 [151 kB] 644s Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libcups2 s390x 2.4.6-0ubuntu3 [277 kB] 644s Get:50 http://ftpmaster.internal/ubuntu noble/main s390x libdatrie1 s390x 0.2.13-3 [22.6 kB] 644s Get:51 http://ftpmaster.internal/ubuntu noble/main s390x libepoxy0 s390x 1.5.10-1 [232 kB] 644s Get:52 http://ftpmaster.internal/ubuntu noble/main s390x libgraphite2-3 s390x 1.3.14-2 [90.4 kB] 644s Get:53 http://ftpmaster.internal/ubuntu noble/main s390x libharfbuzz0b s390x 8.3.0-2 [515 kB] 644s Get:54 http://ftpmaster.internal/ubuntu noble/main s390x libthai-data all 0.1.29-2 [158 kB] 644s Get:55 http://ftpmaster.internal/ubuntu noble/main s390x libthai0 s390x 0.1.29-2 [20.6 kB] 644s Get:56 http://ftpmaster.internal/ubuntu noble/main s390x libpango-1.0-0 s390x 1.51.0+ds-4 [240 kB] 644s Get:57 http://ftpmaster.internal/ubuntu noble/main s390x libpangoft2-1.0-0 s390x 1.51.0+ds-4 [43.6 kB] 644s Get:58 http://ftpmaster.internal/ubuntu noble/main s390x libpangocairo-1.0-0 s390x 1.51.0+ds-4 [28.9 kB] 644s Get:59 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-client0 s390x 1.22.0-2.1 [26.1 kB] 644s Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-cursor0 s390x 1.22.0-2.1 [11.1 kB] 644s Get:61 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-egl1 s390x 1.22.0-2.1 [5452 B] 644s Get:62 http://ftpmaster.internal/ubuntu noble/main s390x libxcomposite1 s390x 1:0.4.5-1build2 [6952 B] 644s Get:63 http://ftpmaster.internal/ubuntu noble/main s390x libxfixes3 s390x 1:6.0.0-2 [10.6 kB] 644s Get:64 http://ftpmaster.internal/ubuntu noble/main s390x libxcursor1 s390x 1:1.2.1-1 [22.2 kB] 644s Get:65 http://ftpmaster.internal/ubuntu noble/main s390x libxdamage1 s390x 1:1.1.6-1 [5810 B] 644s Get:66 http://ftpmaster.internal/ubuntu noble/main s390x libxinerama1 s390x 2:1.1.4-3 [7110 B] 644s Get:67 http://ftpmaster.internal/ubuntu noble/main s390x libxrandr2 s390x 2:1.5.2-2 [19.5 kB] 644s Get:68 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 644s Get:69 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-0 s390x 3.24.40-2ubuntu1 [2952 kB] 644s Get:70 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 644s Get:71 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build1 [234 kB] 644s Get:72 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtk3-ocaml s390x 3.1.4-1 [4110 kB] 644s Get:73 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1 [355 kB] 644s Get:74 http://ftpmaster.internal/ubuntu noble/universe s390x tex-common all 6.18 [32.8 kB] 644s Get:75 http://ftpmaster.internal/ubuntu noble/universe s390x why3 s390x 1.6.0-1build4 [14.0 MB] 646s Fetched 38.0 MB in 2s (18.2 MB/s) 646s Selecting previously unselected package libgdk-pixbuf2.0-common. 646s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 51345 files and directories currently installed.) 646s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 646s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 646s Selecting previously unselected package libjpeg-turbo8:s390x. 646s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_s390x.deb ... 646s Unpacking libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 646s Selecting previously unselected package libjpeg8:s390x. 646s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 646s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 646s Selecting previously unselected package libdeflate0:s390x. 646s Preparing to unpack .../03-libdeflate0_1.19-1_s390x.deb ... 646s Unpacking libdeflate0:s390x (1.19-1) ... 646s Selecting previously unselected package libjbig0:s390x. 646s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_s390x.deb ... 646s Unpacking libjbig0:s390x (2.1-6.1ubuntu1) ... 646s Selecting previously unselected package libsharpyuv0:s390x. 646s Preparing to unpack .../05-libsharpyuv0_1.3.2-0.4_s390x.deb ... 646s Unpacking libsharpyuv0:s390x (1.3.2-0.4) ... 646s Selecting previously unselected package libwebp7:s390x. 646s Preparing to unpack .../06-libwebp7_1.3.2-0.4_s390x.deb ... 646s Unpacking libwebp7:s390x (1.3.2-0.4) ... 646s Selecting previously unselected package libtiff6:s390x. 646s Preparing to unpack .../07-libtiff6_4.5.1+git230720-3ubuntu1_s390x.deb ... 646s Unpacking libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 646s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 646s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_s390x.deb ... 646s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 646s Selecting previously unselected package gtk-update-icon-cache. 646s Preparing to unpack .../09-gtk-update-icon-cache_3.24.40-2ubuntu1_s390x.deb ... 646s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 646s Selecting previously unselected package hicolor-icon-theme. 646s Preparing to unpack .../10-hicolor-icon-theme_0.17-2_all.deb ... 646s Unpacking hicolor-icon-theme (0.17-2) ... 646s Selecting previously unselected package humanity-icon-theme. 646s Preparing to unpack .../11-humanity-icon-theme_0.6.16_all.deb ... 646s Unpacking humanity-icon-theme (0.6.16) ... 647s Selecting previously unselected package ubuntu-mono. 647s Preparing to unpack .../12-ubuntu-mono_24.04-0ubuntu1_all.deb ... 647s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 647s Selecting previously unselected package adwaita-icon-theme. 647s Preparing to unpack .../13-adwaita-icon-theme_46~rc-1_all.deb ... 647s Unpacking adwaita-icon-theme (46~rc-1) ... 648s Selecting previously unselected package at-spi2-common. 648s Preparing to unpack .../14-at-spi2-common_2.50.0-1_all.deb ... 648s Unpacking at-spi2-common (2.50.0-1) ... 648s Selecting previously unselected package libcln6:s390x. 648s Preparing to unpack .../15-libcln6_1.3.7-1_s390x.deb ... 648s Unpacking libcln6:s390x (1.3.7-1) ... 648s Selecting previously unselected package libcvc4-7:s390x. 648s Preparing to unpack .../16-libcvc4-7_1.8-3_s390x.deb ... 648s Unpacking libcvc4-7:s390x (1.8-3) ... 648s Selecting previously unselected package libantlr3c-3.4-0:s390x. 648s Preparing to unpack .../17-libantlr3c-3.4-0_3.4+dfsg-4build1_s390x.deb ... 648s Unpacking libantlr3c-3.4-0:s390x (3.4+dfsg-4build1) ... 648s Selecting previously unselected package libcvc4parser7:s390x. 648s Preparing to unpack .../18-libcvc4parser7_1.8-3_s390x.deb ... 648s Unpacking libcvc4parser7:s390x (1.8-3) ... 648s Selecting previously unselected package cvc4. 648s Preparing to unpack .../19-cvc4_1.8-3_s390x.deb ... 648s Unpacking cvc4 (1.8-3) ... 648s Selecting previously unselected package libdconf1:s390x. 648s Preparing to unpack .../20-libdconf1_0.40.0-4_s390x.deb ... 648s Unpacking libdconf1:s390x (0.40.0-4) ... 648s Selecting previously unselected package dconf-service. 648s Preparing to unpack .../21-dconf-service_0.40.0-4_s390x.deb ... 648s Unpacking dconf-service (0.40.0-4) ... 648s Selecting previously unselected package dconf-gsettings-backend:s390x. 648s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-4_s390x.deb ... 648s Unpacking dconf-gsettings-backend:s390x (0.40.0-4) ... 648s Selecting previously unselected package libfreetype6:s390x. 648s Preparing to unpack .../23-libfreetype6_2.13.2+dfsg-1_s390x.deb ... 648s Unpacking libfreetype6:s390x (2.13.2+dfsg-1) ... 648s Selecting previously unselected package fonts-dejavu-mono. 648s Preparing to unpack .../24-fonts-dejavu-mono_2.37-8_all.deb ... 648s Unpacking fonts-dejavu-mono (2.37-8) ... 648s Selecting previously unselected package fonts-dejavu-core. 648s Preparing to unpack .../25-fonts-dejavu-core_2.37-8_all.deb ... 648s Unpacking fonts-dejavu-core (2.37-8) ... 648s Selecting previously unselected package fontconfig-config. 648s Preparing to unpack .../26-fontconfig-config_2.15.0-1ubuntu1_s390x.deb ... 648s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 648s Selecting previously unselected package libfontconfig1:s390x. 648s Preparing to unpack .../27-libfontconfig1_2.15.0-1ubuntu1_s390x.deb ... 648s Unpacking libfontconfig1:s390x (2.15.0-1ubuntu1) ... 648s Selecting previously unselected package fontconfig. 648s Preparing to unpack .../28-fontconfig_2.15.0-1ubuntu1_s390x.deb ... 648s Unpacking fontconfig (2.15.0-1ubuntu1) ... 648s Selecting previously unselected package libatk1.0-0:s390x. 648s Preparing to unpack .../29-libatk1.0-0_2.50.0-1_s390x.deb ... 648s Unpacking libatk1.0-0:s390x (2.50.0-1) ... 648s Selecting previously unselected package libxi6:s390x. 648s Preparing to unpack .../30-libxi6_2%3a1.8.1-1_s390x.deb ... 648s Unpacking libxi6:s390x (2:1.8.1-1) ... 648s Selecting previously unselected package libatspi2.0-0:s390x. 648s Preparing to unpack .../31-libatspi2.0-0_2.50.0-1_s390x.deb ... 648s Unpacking libatspi2.0-0:s390x (2.50.0-1) ... 648s Selecting previously unselected package libatk-bridge2.0-0:s390x. 648s Preparing to unpack .../32-libatk-bridge2.0-0_2.50.0-1_s390x.deb ... 648s Unpacking libatk-bridge2.0-0:s390x (2.50.0-1) ... 648s Selecting previously unselected package libavahi-common-data:s390x. 648s Preparing to unpack .../33-libavahi-common-data_0.8-13ubuntu2_s390x.deb ... 648s Unpacking libavahi-common-data:s390x (0.8-13ubuntu2) ... 648s Selecting previously unselected package libavahi-common3:s390x. 648s Preparing to unpack .../34-libavahi-common3_0.8-13ubuntu2_s390x.deb ... 648s Unpacking libavahi-common3:s390x (0.8-13ubuntu2) ... 648s Selecting previously unselected package libavahi-client3:s390x. 648s Preparing to unpack .../35-libavahi-client3_0.8-13ubuntu2_s390x.deb ... 648s Unpacking libavahi-client3:s390x (0.8-13ubuntu2) ... 648s Selecting previously unselected package libpixman-1-0:s390x. 648s Preparing to unpack .../36-libpixman-1-0_0.42.2-1_s390x.deb ... 648s Unpacking libpixman-1-0:s390x (0.42.2-1) ... 648s Selecting previously unselected package libxcb-render0:s390x. 648s Preparing to unpack .../37-libxcb-render0_1.15-1_s390x.deb ... 648s Unpacking libxcb-render0:s390x (1.15-1) ... 648s Selecting previously unselected package libxcb-shm0:s390x. 648s Preparing to unpack .../38-libxcb-shm0_1.15-1_s390x.deb ... 648s Unpacking libxcb-shm0:s390x (1.15-1) ... 648s Selecting previously unselected package libxrender1:s390x. 648s Preparing to unpack .../39-libxrender1_1%3a0.9.10-1.1_s390x.deb ... 648s Unpacking libxrender1:s390x (1:0.9.10-1.1) ... 648s Selecting previously unselected package libcairo2:s390x. 648s Preparing to unpack .../40-libcairo2_1.18.0-1_s390x.deb ... 648s Unpacking libcairo2:s390x (1.18.0-1) ... 648s Selecting previously unselected package libcairo-gobject2:s390x. 648s Preparing to unpack .../41-libcairo-gobject2_1.18.0-1_s390x.deb ... 648s Unpacking libcairo-gobject2:s390x (1.18.0-1) ... 649s Selecting previously unselected package libstdlib-ocaml. 649s Preparing to unpack .../42-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 649s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 649s Selecting previously unselected package ocaml-base. 649s Preparing to unpack .../43-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 649s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 649s Selecting previously unselected package libcairo2-ocaml. 649s Preparing to unpack .../44-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 649s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 649s Selecting previously unselected package liblcms2-2:s390x. 649s Preparing to unpack .../45-liblcms2-2_2.14-2_s390x.deb ... 649s Unpacking liblcms2-2:s390x (2.14-2) ... 649s Selecting previously unselected package libcolord2:s390x. 649s Preparing to unpack .../46-libcolord2_1.4.7-1_s390x.deb ... 649s Unpacking libcolord2:s390x (1.4.7-1) ... 649s Selecting previously unselected package libcups2:s390x. 649s Preparing to unpack .../47-libcups2_2.4.6-0ubuntu3_s390x.deb ... 649s Unpacking libcups2:s390x (2.4.6-0ubuntu3) ... 649s Selecting previously unselected package libdatrie1:s390x. 649s Preparing to unpack .../48-libdatrie1_0.2.13-3_s390x.deb ... 649s Unpacking libdatrie1:s390x (0.2.13-3) ... 649s Selecting previously unselected package libepoxy0:s390x. 649s Preparing to unpack .../49-libepoxy0_1.5.10-1_s390x.deb ... 649s Unpacking libepoxy0:s390x (1.5.10-1) ... 649s Selecting previously unselected package libgraphite2-3:s390x. 649s Preparing to unpack .../50-libgraphite2-3_1.3.14-2_s390x.deb ... 649s Unpacking libgraphite2-3:s390x (1.3.14-2) ... 649s Selecting previously unselected package libharfbuzz0b:s390x. 649s Preparing to unpack .../51-libharfbuzz0b_8.3.0-2_s390x.deb ... 649s Unpacking libharfbuzz0b:s390x (8.3.0-2) ... 649s Selecting previously unselected package libthai-data. 649s Preparing to unpack .../52-libthai-data_0.1.29-2_all.deb ... 649s Unpacking libthai-data (0.1.29-2) ... 649s Selecting previously unselected package libthai0:s390x. 649s Preparing to unpack .../53-libthai0_0.1.29-2_s390x.deb ... 649s Unpacking libthai0:s390x (0.1.29-2) ... 649s Selecting previously unselected package libpango-1.0-0:s390x. 649s Preparing to unpack .../54-libpango-1.0-0_1.51.0+ds-4_s390x.deb ... 649s Unpacking libpango-1.0-0:s390x (1.51.0+ds-4) ... 649s Selecting previously unselected package libpangoft2-1.0-0:s390x. 649s Preparing to unpack .../55-libpangoft2-1.0-0_1.51.0+ds-4_s390x.deb ... 649s Unpacking libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 649s Selecting previously unselected package libpangocairo-1.0-0:s390x. 649s Preparing to unpack .../56-libpangocairo-1.0-0_1.51.0+ds-4_s390x.deb ... 649s Unpacking libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 649s Selecting previously unselected package libwayland-client0:s390x. 649s Preparing to unpack .../57-libwayland-client0_1.22.0-2.1_s390x.deb ... 649s Unpacking libwayland-client0:s390x (1.22.0-2.1) ... 649s Selecting previously unselected package libwayland-cursor0:s390x. 649s Preparing to unpack .../58-libwayland-cursor0_1.22.0-2.1_s390x.deb ... 649s Unpacking libwayland-cursor0:s390x (1.22.0-2.1) ... 649s Selecting previously unselected package libwayland-egl1:s390x. 649s Preparing to unpack .../59-libwayland-egl1_1.22.0-2.1_s390x.deb ... 649s Unpacking libwayland-egl1:s390x (1.22.0-2.1) ... 649s Selecting previously unselected package libxcomposite1:s390x. 649s Preparing to unpack .../60-libxcomposite1_1%3a0.4.5-1build2_s390x.deb ... 649s Unpacking libxcomposite1:s390x (1:0.4.5-1build2) ... 649s Selecting previously unselected package libxfixes3:s390x. 649s Preparing to unpack .../61-libxfixes3_1%3a6.0.0-2_s390x.deb ... 649s Unpacking libxfixes3:s390x (1:6.0.0-2) ... 649s Selecting previously unselected package libxcursor1:s390x. 649s Preparing to unpack .../62-libxcursor1_1%3a1.2.1-1_s390x.deb ... 649s Unpacking libxcursor1:s390x (1:1.2.1-1) ... 649s Selecting previously unselected package libxdamage1:s390x. 649s Preparing to unpack .../63-libxdamage1_1%3a1.1.6-1_s390x.deb ... 649s Unpacking libxdamage1:s390x (1:1.1.6-1) ... 649s Selecting previously unselected package libxinerama1:s390x. 649s Preparing to unpack .../64-libxinerama1_2%3a1.1.4-3_s390x.deb ... 649s Unpacking libxinerama1:s390x (2:1.1.4-3) ... 649s Selecting previously unselected package libxrandr2:s390x. 649s Preparing to unpack .../65-libxrandr2_2%3a1.5.2-2_s390x.deb ... 649s Unpacking libxrandr2:s390x (2:1.5.2-2) ... 649s Selecting previously unselected package libgtk-3-common. 649s Preparing to unpack .../66-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 649s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 649s Selecting previously unselected package libgtk-3-0:s390x. 649s Preparing to unpack .../67-libgtk-3-0_3.24.40-2ubuntu1_s390x.deb ... 649s Unpacking libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 649s Selecting previously unselected package libgtksourceview-3.0-common. 649s Preparing to unpack .../68-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 649s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 649s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 649s Preparing to unpack .../69-libgtksourceview-3.0-1_3.24.11-2build1_s390x.deb ... 649s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 649s Selecting previously unselected package liblablgtk3-ocaml. 649s Preparing to unpack .../70-liblablgtk3-ocaml_3.1.4-1_s390x.deb ... 649s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 649s Selecting previously unselected package liblablgtksourceview3-ocaml. 649s Preparing to unpack .../71-liblablgtksourceview3-ocaml_3.1.4-1_s390x.deb ... 649s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 649s Selecting previously unselected package tex-common. 649s Preparing to unpack .../72-tex-common_6.18_all.deb ... 649s Unpacking tex-common (6.18) ... 649s Selecting previously unselected package why3. 649s Preparing to unpack .../73-why3_1.6.0-1build4_s390x.deb ... 649s Unpacking why3 (1.6.0-1build4) ... 650s Selecting previously unselected package autopkgtest-satdep. 650s Preparing to unpack .../74-2-autopkgtest-satdep.deb ... 650s Unpacking autopkgtest-satdep (0) ... 650s Setting up libgraphite2-3:s390x (1.3.14-2) ... 650s Setting up liblcms2-2:s390x (2.14-2) ... 650s Setting up libpixman-1-0:s390x (0.42.2-1) ... 650s Setting up libsharpyuv0:s390x (1.3.2-0.4) ... 650s Setting up libcln6:s390x (1.3.7-1) ... 650s Setting up libxdamage1:s390x (1:1.1.6-1) ... 650s Setting up libantlr3c-3.4-0:s390x (3.4+dfsg-4build1) ... 650s Setting up hicolor-icon-theme (0.17-2) ... 650s Setting up libxi6:s390x (2:1.8.1-1) ... 650s Setting up libxrender1:s390x (1:0.9.10-1.1) ... 650s Setting up libdatrie1:s390x (0.2.13-3) ... 650s Setting up libxcb-render0:s390x (1.15-1) ... 650s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 650s Setting up libdeflate0:s390x (1.19-1) ... 650s Setting up libxcb-shm0:s390x (1.15-1) ... 650s Setting up libatspi2.0-0:s390x (2.50.0-1) ... 650s Setting up libjbig0:s390x (2.1-6.1ubuntu1) ... 650s Setting up libcolord2:s390x (1.4.7-1) ... 650s Setting up libdconf1:s390x (0.40.0-4) ... 650s Setting up tex-common (6.18) ... 650s update-language: texlive-base not installed and configured, doing nothing! 650s Setting up libfreetype6:s390x (2.13.2+dfsg-1) ... 650s Setting up libepoxy0:s390x (1.5.10-1) ... 650s Setting up libxfixes3:s390x (1:6.0.0-2) ... 650s Setting up libavahi-common-data:s390x (0.8-13ubuntu2) ... 650s Setting up libxinerama1:s390x (2:1.1.4-3) ... 650s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 650s Setting up fonts-dejavu-mono (2.37-8) ... 650s Setting up libxrandr2:s390x (2:1.5.2-2) ... 650s Setting up ocaml-base (4.14.1-1ubuntu1) ... 650s Setting up fonts-dejavu-core (2.37-8) ... 651s Setting up libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 651s Setting up libwebp7:s390x (1.3.2-0.4) ... 651s Setting up at-spi2-common (2.50.0-1) ... 651s Setting up libcvc4-7:s390x (1.8-3) ... 651s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 651s Setting up libharfbuzz0b:s390x (8.3.0-2) ... 651s Setting up libthai-data (0.1.29-2) ... 651s Setting up libatk1.0-0:s390x (2.50.0-1) ... 651s Setting up libwayland-egl1:s390x (1.22.0-2.1) ... 651s Setting up libxcomposite1:s390x (1:0.4.5-1build2) ... 651s Setting up libwayland-client0:s390x (1.22.0-2.1) ... 651s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 651s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 651s Setting up libxcursor1:s390x (1:1.2.1-1) ... 651s Setting up libavahi-common3:s390x (0.8-13ubuntu2) ... 651s Setting up dconf-service (0.40.0-4) ... 651s Setting up libatk-bridge2.0-0:s390x (2.50.0-1) ... 651s Setting up libthai0:s390x (0.1.29-2) ... 651s Setting up libcvc4parser7:s390x (1.8-3) ... 651s Setting up libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 651s Setting up libwayland-cursor0:s390x (1.22.0-2.1) ... 651s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 651s Setting up cvc4 (1.8-3) ... 651s Setting up libfontconfig1:s390x (2.15.0-1ubuntu1) ... 651s Setting up libavahi-client3:s390x (0.8-13ubuntu2) ... 651s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 651s Setting up fontconfig (2.15.0-1ubuntu1) ... 653s Regenerating fonts cache... done. 653s Setting up dconf-gsettings-backend:s390x (0.40.0-4) ... 653s Setting up libpango-1.0-0:s390x (1.51.0+ds-4) ... 653s Setting up libcairo2:s390x (1.18.0-1) ... 653s Setting up libcups2:s390x (2.4.6-0ubuntu3) ... 653s Setting up libcairo-gobject2:s390x (1.18.0-1) ... 653s Setting up libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 653s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 653s Setting up libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 653s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 653s Setting up adwaita-icon-theme (46~rc-1) ... 653s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 653s Setting up humanity-icon-theme (0.6.16) ... 653s Setting up ubuntu-mono (24.04-0ubuntu1) ... 653s Processing triggers for man-db (2.12.0-3) ... 654s Processing triggers for libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 654s Setting up libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 654s Processing triggers for libc-bin (2.39-0ubuntu2) ... 654s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 654s Setting up liblablgtk3-ocaml (3.1.4-1) ... 654s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 654s Setting up why3 (1.6.0-1build4) ... 654s Setting up autopkgtest-satdep (0) ... 654s Processing triggers for libc-bin (2.39-0ubuntu2) ... 659s (Reading database ... 65139 files and directories currently installed.) 659s Removing autopkgtest-satdep (0) ... 663s autopkgtest [23:49:30]: test why3+cvc4: [----------------------- 664s autopkgtest [23:49:31]: test why3+cvc4: -----------------------] 665s autopkgtest [23:49:32]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 665s why3+cvc4 PASS 665s autopkgtest [23:49:32]: test why3+spass: preparing testbed 943s autopkgtest [23:54:10]: testbed dpkg architecture: s390x 943s autopkgtest [23:54:10]: testbed apt version: 2.7.12 943s autopkgtest [23:54:10]: @@@@@@@@@@@@@@@@@@@@ test bed setup 944s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 944s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 944s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3800 kB] 945s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 945s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [53.9 kB] 945s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [670 kB] 945s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 945s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 945s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 945s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [3989 kB] 945s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 945s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [45.1 kB] 945s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 949s Fetched 9188 kB in 4s (2391 kB/s) 949s Reading package lists... 953s Reading package lists... 953s Building dependency tree... 953s Reading state information... 953s Calculating upgrade... 954s The following packages will be REMOVED: 954s libglib2.0-0 954s The following NEW packages will be installed: 954s libglib2.0-0t64 xdg-user-dirs 954s The following packages will be upgraded: 954s gir1.2-glib-2.0 libglib2.0-data 954s 2 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 954s Need to get 1811 kB of archives. 954s After this operation, 159 kB of additional disk space will be used. 954s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main s390x gir1.2-glib-2.0 s390x 2.79.3-3ubuntu5 [180 kB] 954s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libglib2.0-0t64 s390x 2.79.3-3ubuntu5 [1566 kB] 955s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 955s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x xdg-user-dirs s390x 0.18-1 [18.5 kB] 955s Fetched 1811 kB in 1s (1929 kB/s) 955s (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 ... 51778 files and directories currently installed.) 955s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_s390x.deb ... 955s Unpacking gir1.2-glib-2.0:s390x (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 955s dpkg: libglib2.0-0:s390x: dependency problems, but removing anyway as you requested: 955s udisks2 depends on libglib2.0-0 (>= 2.77.0). 955s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 955s s390-tools depends on libglib2.0-0 (>= 2.77.0). 955s python3-gi depends on libglib2.0-0 (>= 2.77.0). 955s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 955s netplan.io depends on libglib2.0-0 (>= 2.70.0). 955s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 955s libxmlb2:s390x depends on libglib2.0-0 (>= 2.54.0). 955s libvolume-key1:s390x depends on libglib2.0-0 (>= 2.18.0). 955s libudisks2-0:s390x depends on libglib2.0-0 (>= 2.75.3). 955s libqrtr-glib0:s390x depends on libglib2.0-0 (>= 2.56). 955s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 955s libqmi-glib5:s390x depends on libglib2.0-0 (>= 2.54.0). 955s libpolkit-gobject-1-0:s390x depends on libglib2.0-0 (>= 2.38.0). 955s libpolkit-agent-1-0:s390x depends on libglib2.0-0 (>= 2.38.0). 955s libnetplan0:s390x depends on libglib2.0-0 (>= 2.75.3). 955s libmm-glib0:s390x depends on libglib2.0-0 (>= 2.62.0). 955s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 955s libmbim-glib4:s390x depends on libglib2.0-0 (>= 2.56). 955s libjson-glib-1.0-0:s390x depends on libglib2.0-0 (>= 2.75.3). 955s libjcat1:s390x depends on libglib2.0-0 (>= 2.75.3). 955s libgusb2:s390x depends on libglib2.0-0 (>= 2.75.3). 955s libgudev-1.0-0:s390x depends on libglib2.0-0 (>= 2.38.0). 955s libgirepository-1.0-1:s390x depends on libglib2.0-0 (>= 2.79.0). 955s libfwupd2:s390x depends on libglib2.0-0 (>= 2.79.0). 955s libblockdev3:s390x depends on libglib2.0-0 (>= 2.42.2). 955s libblockdev-utils3:s390x depends on libglib2.0-0 (>= 2.75.3). 955s libblockdev-swap3:s390x depends on libglib2.0-0 (>= 2.42.2). 955s libblockdev-part3:s390x depends on libglib2.0-0 (>= 2.42.2). 955s libblockdev-nvme3:s390x depends on libglib2.0-0 (>= 2.42.2). 955s libblockdev-mdraid3:s390x depends on libglib2.0-0 (>= 2.42.2). 955s libblockdev-loop3:s390x depends on libglib2.0-0 (>= 2.42.2). 955s libblockdev-fs3:s390x depends on libglib2.0-0 (>= 2.42.2). 955s libblockdev-crypto3:s390x depends on libglib2.0-0 (>= 2.42.2). 955s fwupd depends on libglib2.0-0 (>= 2.79.0). 955s bolt depends on libglib2.0-0 (>= 2.56.0). 955s 955s (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 ... 51778 files and directories currently installed.) 955s Removing libglib2.0-0:s390x (2.79.2-1~ubuntu1) ... 955s Selecting previously unselected package libglib2.0-0t64:s390x. 955s (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 ... 51753 files and directories currently installed.) 955s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_s390x.deb ... 955s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:s390x.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled... 955s removed '/var/lib/dpkg/info/libglib2.0-0:s390x.postrm' 955s Unpacking libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 955s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 955s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 955s Selecting previously unselected package xdg-user-dirs. 955s Preparing to unpack .../xdg-user-dirs_0.18-1_s390x.deb ... 955s Unpacking xdg-user-dirs (0.18-1) ... 955s Setting up xdg-user-dirs (0.18-1) ... 955s Setting up libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 955s No schema files found: doing nothing. 955s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 955s Setting up gir1.2-glib-2.0:s390x (2.79.3-3ubuntu5) ... 955s Processing triggers for man-db (2.12.0-3) ... 956s Processing triggers for libc-bin (2.39-0ubuntu2) ... 957s Reading package lists... 957s Building dependency tree... 957s Reading state information... 958s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 958s Unknown architecture, assuming PC-style ttyS0 958s sh: Attempting to set up Debian/Ubuntu apt sources automatically 958s sh: Distribution appears to be Ubuntu 960s Reading package lists... 960s Building dependency tree... 960s Reading state information... 960s eatmydata is already the newest version (131-1). 960s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 960s Reading package lists... 961s Building dependency tree... 961s Reading state information... 961s dbus is already the newest version (1.14.10-4ubuntu1). 961s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 961s Reading package lists... 962s Building dependency tree... 962s Reading state information... 962s rng-tools-debian is already the newest version (2.4). 962s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 962s Reading package lists... 962s Building dependency tree... 962s Reading state information... 963s The following packages will be REMOVED: 963s cloud-init* python3-configobj* python3-debconf* 963s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 963s After this operation, 3252 kB disk space will be freed. 963s (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 ... 51792 files and directories currently installed.) 963s Removing cloud-init (24.1.1-0ubuntu1) ... 964s Removing python3-configobj (5.0.8-3) ... 964s Removing python3-debconf (1.5.86) ... 964s Processing triggers for man-db (2.12.0-3) ... 964s (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 ... 51403 files and directories currently installed.) 964s Purging configuration files for cloud-init (24.1.1-0ubuntu1) ... 965s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 965s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 965s invoke-rc.d: policy-rc.d denied execution of try-restart. 965s Reading package lists... 966s Building dependency tree... 966s Reading state information... 966s linux-generic is already the newest version (6.8.0-11.11+1). 966s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 967s Get:1 http://ftpmaster.internal/ubuntu noble InRelease [255 kB] 967s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 967s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 967s Get:4 http://ftpmaster.internal/ubuntu noble/universe Sources [19.8 MB] 971s Get:5 http://ftpmaster.internal/ubuntu noble/main Sources [1372 kB] 971s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x Packages [1365 kB] 971s Get:7 http://ftpmaster.internal/ubuntu noble/universe s390x Packages [14.7 MB] 972s Get:8 http://ftpmaster.internal/ubuntu noble/multiverse s390x Packages [167 kB] 980s Fetched 37.7 MB in 12s (3045 kB/s) 981s Reading package lists... 981s Reading package lists... 981s Building dependency tree... 981s Reading state information... 982s Calculating upgrade... 982s The following packages will be upgraded: 982s debianutils python3-markupsafe 982s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 982s Need to get 103 kB of archives. 982s After this operation, 15.4 kB disk space will be freed. 982s Get:1 http://ftpmaster.internal/ubuntu noble/main s390x debianutils s390x 5.17 [90.1 kB] 982s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x python3-markupsafe s390x 2.1.5-1build1 [12.8 kB] 983s Fetched 103 kB in 0s (290 kB/s) 983s (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 ... 51346 files and directories currently installed.) 983s Preparing to unpack .../debianutils_5.17_s390x.deb ... 983s Unpacking debianutils (5.17) over (5.16) ... 983s Setting up debianutils (5.17) ... 983s (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 ... 51346 files and directories currently installed.) 983s Preparing to unpack .../python3-markupsafe_2.1.5-1build1_s390x.deb ... 983s Unpacking python3-markupsafe (2.1.5-1build1) over (2.1.5-1) ... 983s Setting up python3-markupsafe (2.1.5-1build1) ... 983s Processing triggers for man-db (2.12.0-3) ... 984s Reading package lists... 985s Building dependency tree... 985s Reading state information... 985s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 985s autopkgtest [23:54:52]: rebooting testbed after setup commands that affected boot 1040s Reading package lists... 1041s Building dependency tree... 1041s Reading state information... 1041s Starting pkgProblemResolver with broken count: 0 1041s Starting 2 pkgProblemResolver with broken count: 0 1041s Done 1041s The following additional packages will be installed: 1041s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1041s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1041s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1041s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1041s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1041s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1041s libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 1041s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 1041s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1041s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1041s liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1041s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1041s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1041s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1041s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 1041s ubuntu-mono why3 1041s Suggested packages: 1041s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1041s Recommended packages: 1041s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1042s The following NEW packages will be installed: 1042s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 1042s dconf-service fontconfig fontconfig-config fonts-dejavu-core 1042s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 1042s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 1042s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 1042s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 1042s libdeflate0 libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 1042s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 1042s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1042s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1042s liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1042s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1042s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1042s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1042s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 1042s ubuntu-mono why3 1042s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 1042s Need to get 32.9 MB/32.9 MB of archives. 1042s After this operation, 153 MB of additional disk space will be used. 1042s Get:1 /tmp/autopkgtest.p5AwXx/3-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [708 B] 1042s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 1042s Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg-turbo8 s390x 2.1.5-2ubuntu1 [128 kB] 1042s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 1042s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdeflate0 s390x 1.19-1 [46.0 kB] 1042s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libjbig0 s390x 2.1-6.1ubuntu1 [29.8 kB] 1042s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libsharpyuv0 s390x 1.3.2-0.4 [14.8 kB] 1042s Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libwebp7 s390x 1.3.2-0.4 [207 kB] 1042s Get:9 http://ftpmaster.internal/ubuntu noble/main s390x libtiff6 s390x 4.5.1+git230720-3ubuntu1 [253 kB] 1042s Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3 [152 kB] 1042s Get:11 http://ftpmaster.internal/ubuntu noble/main s390x gtk-update-icon-cache s390x 3.24.40-2ubuntu1 [51.0 kB] 1042s Get:12 http://ftpmaster.internal/ubuntu noble/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 1042s Get:13 http://ftpmaster.internal/ubuntu noble/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 1042s Get:14 http://ftpmaster.internal/ubuntu noble/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1042s Get:15 http://ftpmaster.internal/ubuntu noble/main s390x adwaita-icon-theme all 46~rc-1 [723 kB] 1042s Get:16 http://ftpmaster.internal/ubuntu noble/main s390x at-spi2-common all 2.50.0-1 [7864 B] 1042s Get:17 http://ftpmaster.internal/ubuntu noble/main s390x libdconf1 s390x 0.40.0-4 [38.9 kB] 1042s Get:18 http://ftpmaster.internal/ubuntu noble/main s390x dconf-service s390x 0.40.0-4 [27.0 kB] 1042s Get:19 http://ftpmaster.internal/ubuntu noble/main s390x dconf-gsettings-backend s390x 0.40.0-4 [21.6 kB] 1042s Get:20 http://ftpmaster.internal/ubuntu noble/main s390x libfreetype6 s390x 2.13.2+dfsg-1 [431 kB] 1042s Get:21 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 1042s Get:22 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 1042s Get:23 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig-config s390x 2.15.0-1ubuntu1 [37.0 kB] 1042s Get:24 http://ftpmaster.internal/ubuntu noble/main s390x libfontconfig1 s390x 2.15.0-1ubuntu1 [150 kB] 1043s Get:25 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig s390x 2.15.0-1ubuntu1 [191 kB] 1043s Get:26 http://ftpmaster.internal/ubuntu noble/main s390x libatk1.0-0 s390x 2.50.0-1 [54.4 kB] 1043s Get:27 http://ftpmaster.internal/ubuntu noble/main s390x libxi6 s390x 2:1.8.1-1 [35.7 kB] 1043s Get:28 http://ftpmaster.internal/ubuntu noble/main s390x libatspi2.0-0 s390x 2.50.0-1 [77.9 kB] 1043s Get:29 http://ftpmaster.internal/ubuntu noble/main s390x libatk-bridge2.0-0 s390x 2.50.0-1 [65.3 kB] 1043s Get:30 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common-data s390x 0.8-13ubuntu2 [29.5 kB] 1043s Get:31 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common3 s390x 0.8-13ubuntu2 [23.8 kB] 1043s Get:32 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-client3 s390x 0.8-13ubuntu2 [26.7 kB] 1043s Get:33 http://ftpmaster.internal/ubuntu noble/main s390x libpixman-1-0 s390x 0.42.2-1 [173 kB] 1043s Get:34 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-render0 s390x 1.15-1 [17.0 kB] 1043s Get:35 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-shm0 s390x 1.15-1 [5782 B] 1043s Get:36 http://ftpmaster.internal/ubuntu noble/main s390x libxrender1 s390x 1:0.9.10-1.1 [19.4 kB] 1043s Get:37 http://ftpmaster.internal/ubuntu noble/main s390x libcairo2 s390x 1.18.0-1 [578 kB] 1043s Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libcairo-gobject2 s390x 1.18.0-1 [126 kB] 1043s Get:39 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 1043s Get:40 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 1043s Get:41 http://ftpmaster.internal/ubuntu noble/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 1043s Get:42 http://ftpmaster.internal/ubuntu noble/main s390x liblcms2-2 s390x 2.14-2 [155 kB] 1043s Get:43 http://ftpmaster.internal/ubuntu noble/main s390x libcolord2 s390x 1.4.7-1 [151 kB] 1043s Get:44 http://ftpmaster.internal/ubuntu noble/main s390x libcups2 s390x 2.4.6-0ubuntu3 [277 kB] 1043s Get:45 http://ftpmaster.internal/ubuntu noble/main s390x libdatrie1 s390x 0.2.13-3 [22.6 kB] 1043s Get:46 http://ftpmaster.internal/ubuntu noble/main s390x libepoxy0 s390x 1.5.10-1 [232 kB] 1043s Get:47 http://ftpmaster.internal/ubuntu noble/main s390x libgraphite2-3 s390x 1.3.14-2 [90.4 kB] 1043s Get:48 http://ftpmaster.internal/ubuntu noble/main s390x libharfbuzz0b s390x 8.3.0-2 [515 kB] 1043s Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libthai-data all 0.1.29-2 [158 kB] 1043s Get:50 http://ftpmaster.internal/ubuntu noble/main s390x libthai0 s390x 0.1.29-2 [20.6 kB] 1043s Get:51 http://ftpmaster.internal/ubuntu noble/main s390x libpango-1.0-0 s390x 1.51.0+ds-4 [240 kB] 1043s Get:52 http://ftpmaster.internal/ubuntu noble/main s390x libpangoft2-1.0-0 s390x 1.51.0+ds-4 [43.6 kB] 1043s Get:53 http://ftpmaster.internal/ubuntu noble/main s390x libpangocairo-1.0-0 s390x 1.51.0+ds-4 [28.9 kB] 1043s Get:54 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-client0 s390x 1.22.0-2.1 [26.1 kB] 1043s Get:55 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-cursor0 s390x 1.22.0-2.1 [11.1 kB] 1043s Get:56 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-egl1 s390x 1.22.0-2.1 [5452 B] 1043s Get:57 http://ftpmaster.internal/ubuntu noble/main s390x libxcomposite1 s390x 1:0.4.5-1build2 [6952 B] 1043s Get:58 http://ftpmaster.internal/ubuntu noble/main s390x libxfixes3 s390x 1:6.0.0-2 [10.6 kB] 1043s Get:59 http://ftpmaster.internal/ubuntu noble/main s390x libxcursor1 s390x 1:1.2.1-1 [22.2 kB] 1043s Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libxdamage1 s390x 1:1.1.6-1 [5810 B] 1043s Get:61 http://ftpmaster.internal/ubuntu noble/main s390x libxinerama1 s390x 2:1.1.4-3 [7110 B] 1043s Get:62 http://ftpmaster.internal/ubuntu noble/main s390x libxrandr2 s390x 2:1.5.2-2 [19.5 kB] 1043s Get:63 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 1043s Get:64 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-0 s390x 3.24.40-2ubuntu1 [2952 kB] 1043s Get:65 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 1043s Get:66 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build1 [234 kB] 1043s Get:67 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtk3-ocaml s390x 3.1.4-1 [4110 kB] 1043s Get:68 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1 [355 kB] 1043s Get:69 http://ftpmaster.internal/ubuntu noble/universe s390x spass s390x 3.9-1.1 [354 kB] 1043s Get:70 http://ftpmaster.internal/ubuntu noble/universe s390x tex-common all 6.18 [32.8 kB] 1043s Get:71 http://ftpmaster.internal/ubuntu noble/universe s390x why3 s390x 1.6.0-1build4 [14.0 MB] 1045s Fetched 32.9 MB in 2s (16.0 MB/s) 1045s Selecting previously unselected package libgdk-pixbuf2.0-common. 1045s (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 ... 51345 files and directories currently installed.) 1045s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 1045s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1045s Selecting previously unselected package libjpeg-turbo8:s390x. 1045s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_s390x.deb ... 1045s Unpacking libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 1045s Selecting previously unselected package libjpeg8:s390x. 1045s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 1045s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 1045s Selecting previously unselected package libdeflate0:s390x. 1045s Preparing to unpack .../03-libdeflate0_1.19-1_s390x.deb ... 1045s Unpacking libdeflate0:s390x (1.19-1) ... 1045s Selecting previously unselected package libjbig0:s390x. 1045s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_s390x.deb ... 1045s Unpacking libjbig0:s390x (2.1-6.1ubuntu1) ... 1045s Selecting previously unselected package libsharpyuv0:s390x. 1045s Preparing to unpack .../05-libsharpyuv0_1.3.2-0.4_s390x.deb ... 1045s Unpacking libsharpyuv0:s390x (1.3.2-0.4) ... 1045s Selecting previously unselected package libwebp7:s390x. 1045s Preparing to unpack .../06-libwebp7_1.3.2-0.4_s390x.deb ... 1045s Unpacking libwebp7:s390x (1.3.2-0.4) ... 1045s Selecting previously unselected package libtiff6:s390x. 1045s Preparing to unpack .../07-libtiff6_4.5.1+git230720-3ubuntu1_s390x.deb ... 1045s Unpacking libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 1045s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 1045s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_s390x.deb ... 1045s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 1045s Selecting previously unselected package gtk-update-icon-cache. 1045s Preparing to unpack .../09-gtk-update-icon-cache_3.24.40-2ubuntu1_s390x.deb ... 1045s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1045s Selecting previously unselected package hicolor-icon-theme. 1045s Preparing to unpack .../10-hicolor-icon-theme_0.17-2_all.deb ... 1045s Unpacking hicolor-icon-theme (0.17-2) ... 1045s Selecting previously unselected package humanity-icon-theme. 1045s Preparing to unpack .../11-humanity-icon-theme_0.6.16_all.deb ... 1045s Unpacking humanity-icon-theme (0.6.16) ... 1046s Selecting previously unselected package ubuntu-mono. 1046s Preparing to unpack .../12-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1046s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1047s Selecting previously unselected package adwaita-icon-theme. 1047s Preparing to unpack .../13-adwaita-icon-theme_46~rc-1_all.deb ... 1047s Unpacking adwaita-icon-theme (46~rc-1) ... 1047s Selecting previously unselected package at-spi2-common. 1047s Preparing to unpack .../14-at-spi2-common_2.50.0-1_all.deb ... 1047s Unpacking at-spi2-common (2.50.0-1) ... 1047s Selecting previously unselected package libdconf1:s390x. 1047s Preparing to unpack .../15-libdconf1_0.40.0-4_s390x.deb ... 1047s Unpacking libdconf1:s390x (0.40.0-4) ... 1047s Selecting previously unselected package dconf-service. 1047s Preparing to unpack .../16-dconf-service_0.40.0-4_s390x.deb ... 1047s Unpacking dconf-service (0.40.0-4) ... 1047s Selecting previously unselected package dconf-gsettings-backend:s390x. 1047s Preparing to unpack .../17-dconf-gsettings-backend_0.40.0-4_s390x.deb ... 1047s Unpacking dconf-gsettings-backend:s390x (0.40.0-4) ... 1047s Selecting previously unselected package libfreetype6:s390x. 1047s Preparing to unpack .../18-libfreetype6_2.13.2+dfsg-1_s390x.deb ... 1047s Unpacking libfreetype6:s390x (2.13.2+dfsg-1) ... 1047s Selecting previously unselected package fonts-dejavu-mono. 1047s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 1047s Unpacking fonts-dejavu-mono (2.37-8) ... 1047s Selecting previously unselected package fonts-dejavu-core. 1047s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 1047s Unpacking fonts-dejavu-core (2.37-8) ... 1047s Selecting previously unselected package fontconfig-config. 1047s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_s390x.deb ... 1048s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 1048s Selecting previously unselected package libfontconfig1:s390x. 1048s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_s390x.deb ... 1048s Unpacking libfontconfig1:s390x (2.15.0-1ubuntu1) ... 1048s Selecting previously unselected package fontconfig. 1048s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_s390x.deb ... 1048s Unpacking fontconfig (2.15.0-1ubuntu1) ... 1048s Selecting previously unselected package libatk1.0-0:s390x. 1048s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_s390x.deb ... 1048s Unpacking libatk1.0-0:s390x (2.50.0-1) ... 1048s Selecting previously unselected package libxi6:s390x. 1048s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_s390x.deb ... 1048s Unpacking libxi6:s390x (2:1.8.1-1) ... 1048s Selecting previously unselected package libatspi2.0-0:s390x. 1048s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_s390x.deb ... 1048s Unpacking libatspi2.0-0:s390x (2.50.0-1) ... 1048s Selecting previously unselected package libatk-bridge2.0-0:s390x. 1048s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_s390x.deb ... 1048s Unpacking libatk-bridge2.0-0:s390x (2.50.0-1) ... 1048s Selecting previously unselected package libavahi-common-data:s390x. 1048s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_s390x.deb ... 1048s Unpacking libavahi-common-data:s390x (0.8-13ubuntu2) ... 1048s Selecting previously unselected package libavahi-common3:s390x. 1048s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_s390x.deb ... 1048s Unpacking libavahi-common3:s390x (0.8-13ubuntu2) ... 1048s Selecting previously unselected package libavahi-client3:s390x. 1048s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_s390x.deb ... 1048s Unpacking libavahi-client3:s390x (0.8-13ubuntu2) ... 1048s Selecting previously unselected package libpixman-1-0:s390x. 1048s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_s390x.deb ... 1048s Unpacking libpixman-1-0:s390x (0.42.2-1) ... 1048s Selecting previously unselected package libxcb-render0:s390x. 1048s Preparing to unpack .../32-libxcb-render0_1.15-1_s390x.deb ... 1048s Unpacking libxcb-render0:s390x (1.15-1) ... 1048s Selecting previously unselected package libxcb-shm0:s390x. 1048s Preparing to unpack .../33-libxcb-shm0_1.15-1_s390x.deb ... 1048s Unpacking libxcb-shm0:s390x (1.15-1) ... 1048s Selecting previously unselected package libxrender1:s390x. 1048s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_s390x.deb ... 1048s Unpacking libxrender1:s390x (1:0.9.10-1.1) ... 1048s Selecting previously unselected package libcairo2:s390x. 1048s Preparing to unpack .../35-libcairo2_1.18.0-1_s390x.deb ... 1048s Unpacking libcairo2:s390x (1.18.0-1) ... 1048s Selecting previously unselected package libcairo-gobject2:s390x. 1048s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_s390x.deb ... 1048s Unpacking libcairo-gobject2:s390x (1.18.0-1) ... 1048s Selecting previously unselected package libstdlib-ocaml. 1048s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 1048s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1048s Selecting previously unselected package ocaml-base. 1048s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 1048s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1048s Selecting previously unselected package libcairo2-ocaml. 1048s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 1048s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1048s Selecting previously unselected package liblcms2-2:s390x. 1048s Preparing to unpack .../40-liblcms2-2_2.14-2_s390x.deb ... 1048s Unpacking liblcms2-2:s390x (2.14-2) ... 1048s Selecting previously unselected package libcolord2:s390x. 1048s Preparing to unpack .../41-libcolord2_1.4.7-1_s390x.deb ... 1048s Unpacking libcolord2:s390x (1.4.7-1) ... 1048s Selecting previously unselected package libcups2:s390x. 1048s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_s390x.deb ... 1048s Unpacking libcups2:s390x (2.4.6-0ubuntu3) ... 1048s Selecting previously unselected package libdatrie1:s390x. 1048s Preparing to unpack .../43-libdatrie1_0.2.13-3_s390x.deb ... 1048s Unpacking libdatrie1:s390x (0.2.13-3) ... 1049s Selecting previously unselected package libepoxy0:s390x. 1049s Preparing to unpack .../44-libepoxy0_1.5.10-1_s390x.deb ... 1049s Unpacking libepoxy0:s390x (1.5.10-1) ... 1049s Selecting previously unselected package libgraphite2-3:s390x. 1049s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_s390x.deb ... 1049s Unpacking libgraphite2-3:s390x (1.3.14-2) ... 1049s Selecting previously unselected package libharfbuzz0b:s390x. 1049s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_s390x.deb ... 1049s Unpacking libharfbuzz0b:s390x (8.3.0-2) ... 1049s Selecting previously unselected package libthai-data. 1049s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 1049s Unpacking libthai-data (0.1.29-2) ... 1049s Selecting previously unselected package libthai0:s390x. 1049s Preparing to unpack .../48-libthai0_0.1.29-2_s390x.deb ... 1049s Unpacking libthai0:s390x (0.1.29-2) ... 1049s Selecting previously unselected package libpango-1.0-0:s390x. 1049s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_s390x.deb ... 1049s Unpacking libpango-1.0-0:s390x (1.51.0+ds-4) ... 1049s Selecting previously unselected package libpangoft2-1.0-0:s390x. 1049s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_s390x.deb ... 1049s Unpacking libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 1049s Selecting previously unselected package libpangocairo-1.0-0:s390x. 1049s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_s390x.deb ... 1049s Unpacking libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 1049s Selecting previously unselected package libwayland-client0:s390x. 1049s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_s390x.deb ... 1049s Unpacking libwayland-client0:s390x (1.22.0-2.1) ... 1049s Selecting previously unselected package libwayland-cursor0:s390x. 1049s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_s390x.deb ... 1049s Unpacking libwayland-cursor0:s390x (1.22.0-2.1) ... 1049s Selecting previously unselected package libwayland-egl1:s390x. 1049s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_s390x.deb ... 1049s Unpacking libwayland-egl1:s390x (1.22.0-2.1) ... 1049s Selecting previously unselected package libxcomposite1:s390x. 1049s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_s390x.deb ... 1049s Unpacking libxcomposite1:s390x (1:0.4.5-1build2) ... 1049s Selecting previously unselected package libxfixes3:s390x. 1049s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_s390x.deb ... 1049s Unpacking libxfixes3:s390x (1:6.0.0-2) ... 1049s Selecting previously unselected package libxcursor1:s390x. 1049s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_s390x.deb ... 1049s Unpacking libxcursor1:s390x (1:1.2.1-1) ... 1049s Selecting previously unselected package libxdamage1:s390x. 1049s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_s390x.deb ... 1049s Unpacking libxdamage1:s390x (1:1.1.6-1) ... 1049s Selecting previously unselected package libxinerama1:s390x. 1049s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_s390x.deb ... 1049s Unpacking libxinerama1:s390x (2:1.1.4-3) ... 1049s Selecting previously unselected package libxrandr2:s390x. 1049s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_s390x.deb ... 1049s Unpacking libxrandr2:s390x (2:1.5.2-2) ... 1049s Selecting previously unselected package libgtk-3-common. 1049s Preparing to unpack .../61-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 1049s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 1049s Selecting previously unselected package libgtk-3-0:s390x. 1049s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_s390x.deb ... 1049s Unpacking libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 1049s Selecting previously unselected package libgtksourceview-3.0-common. 1049s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 1049s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 1049s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 1049s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_s390x.deb ... 1049s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 1049s Selecting previously unselected package liblablgtk3-ocaml. 1049s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_s390x.deb ... 1049s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 1050s Selecting previously unselected package liblablgtksourceview3-ocaml. 1050s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_s390x.deb ... 1050s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 1050s Selecting previously unselected package spass. 1050s Preparing to unpack .../67-spass_3.9-1.1_s390x.deb ... 1050s Unpacking spass (3.9-1.1) ... 1050s Selecting previously unselected package tex-common. 1050s Preparing to unpack .../68-tex-common_6.18_all.deb ... 1050s Unpacking tex-common (6.18) ... 1050s Selecting previously unselected package why3. 1050s Preparing to unpack .../69-why3_1.6.0-1build4_s390x.deb ... 1050s Unpacking why3 (1.6.0-1build4) ... 1051s Selecting previously unselected package autopkgtest-satdep. 1051s Preparing to unpack .../70-3-autopkgtest-satdep.deb ... 1051s Unpacking autopkgtest-satdep (0) ... 1051s Setting up libgraphite2-3:s390x (1.3.14-2) ... 1051s Setting up liblcms2-2:s390x (2.14-2) ... 1051s Setting up libpixman-1-0:s390x (0.42.2-1) ... 1051s Setting up libsharpyuv0:s390x (1.3.2-0.4) ... 1051s Setting up libxdamage1:s390x (1:1.1.6-1) ... 1051s Setting up hicolor-icon-theme (0.17-2) ... 1051s Setting up libxi6:s390x (2:1.8.1-1) ... 1051s Setting up libxrender1:s390x (1:0.9.10-1.1) ... 1051s Setting up libdatrie1:s390x (0.2.13-3) ... 1051s Setting up libxcb-render0:s390x (1.15-1) ... 1051s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1051s Setting up libdeflate0:s390x (1.19-1) ... 1051s Setting up libxcb-shm0:s390x (1.15-1) ... 1051s Setting up libatspi2.0-0:s390x (2.50.0-1) ... 1051s Setting up libjbig0:s390x (2.1-6.1ubuntu1) ... 1051s Setting up libcolord2:s390x (1.4.7-1) ... 1051s Setting up libdconf1:s390x (0.40.0-4) ... 1051s Setting up tex-common (6.18) ... 1051s update-language: texlive-base not installed and configured, doing nothing! 1051s Setting up libfreetype6:s390x (2.13.2+dfsg-1) ... 1051s Setting up libepoxy0:s390x (1.5.10-1) ... 1051s Setting up libxfixes3:s390x (1:6.0.0-2) ... 1051s Setting up spass (3.9-1.1) ... 1051s Setting up libavahi-common-data:s390x (0.8-13ubuntu2) ... 1051s Setting up libxinerama1:s390x (2:1.1.4-3) ... 1051s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1051s Setting up fonts-dejavu-mono (2.37-8) ... 1051s Setting up libxrandr2:s390x (2:1.5.2-2) ... 1051s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1051s Setting up fonts-dejavu-core (2.37-8) ... 1051s Setting up libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 1051s Setting up libwebp7:s390x (1.3.2-0.4) ... 1051s Setting up at-spi2-common (2.50.0-1) ... 1051s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 1051s Setting up libharfbuzz0b:s390x (8.3.0-2) ... 1051s Setting up libthai-data (0.1.29-2) ... 1051s Setting up libatk1.0-0:s390x (2.50.0-1) ... 1051s Setting up libwayland-egl1:s390x (1.22.0-2.1) ... 1051s Setting up libxcomposite1:s390x (1:0.4.5-1build2) ... 1051s Setting up libwayland-client0:s390x (1.22.0-2.1) ... 1051s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 1051s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 1051s Setting up libxcursor1:s390x (1:1.2.1-1) ... 1051s Setting up libavahi-common3:s390x (0.8-13ubuntu2) ... 1051s Setting up dconf-service (0.40.0-4) ... 1051s Setting up libatk-bridge2.0-0:s390x (2.50.0-1) ... 1051s Setting up libthai0:s390x (0.1.29-2) ... 1051s Setting up libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 1051s Setting up libwayland-cursor0:s390x (1.22.0-2.1) ... 1051s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 1051s Setting up libfontconfig1:s390x (2.15.0-1ubuntu1) ... 1051s Setting up libavahi-client3:s390x (0.8-13ubuntu2) ... 1051s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1051s Setting up fontconfig (2.15.0-1ubuntu1) ... 1053s Regenerating fonts cache... done. 1053s Setting up dconf-gsettings-backend:s390x (0.40.0-4) ... 1053s Setting up libpango-1.0-0:s390x (1.51.0+ds-4) ... 1053s Setting up libcairo2:s390x (1.18.0-1) ... 1053s Setting up libcups2:s390x (2.4.6-0ubuntu3) ... 1053s Setting up libcairo-gobject2:s390x (1.18.0-1) ... 1053s Setting up libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 1053s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 1053s Setting up libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 1053s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1053s Setting up adwaita-icon-theme (46~rc-1) ... 1053s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1053s Setting up humanity-icon-theme (0.6.16) ... 1053s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1054s Processing triggers for man-db (2.12.0-3) ... 1055s Processing triggers for libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 1055s Setting up libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 1055s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1055s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 1055s Setting up liblablgtk3-ocaml (3.1.4-1) ... 1055s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 1055s Setting up why3 (1.6.0-1build4) ... 1055s Setting up autopkgtest-satdep (0) ... 1055s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1060s (Reading database ... 65096 files and directories currently installed.) 1060s Removing autopkgtest-satdep (0) ... 1067s autopkgtest [23:56:14]: test why3+spass: [----------------------- 1068s autopkgtest [23:56:15]: test why3+spass: -----------------------] 1068s autopkgtest [23:56:15]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 1068s why3+spass PASS 1069s autopkgtest [23:56:16]: test why3+z3: preparing testbed 1303s autopkgtest [00:00:10]: testbed dpkg architecture: s390x 1303s autopkgtest [00:00:10]: testbed apt version: 2.7.12 1303s autopkgtest [00:00:10]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1303s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 1304s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 1304s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 1305s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3800 kB] 1305s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [53.9 kB] 1305s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [670 kB] 1305s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 1305s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 1305s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 1305s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [3989 kB] 1305s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 1305s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [45.1 kB] 1305s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 1311s Fetched 9188 kB in 5s (1770 kB/s) 1312s Reading package lists... 1317s Reading package lists... 1318s Building dependency tree... 1318s Reading state information... 1318s Calculating upgrade... 1319s The following packages will be REMOVED: 1319s libglib2.0-0 1319s The following NEW packages will be installed: 1319s libglib2.0-0t64 xdg-user-dirs 1319s The following packages will be upgraded: 1319s cloud-init debianutils gir1.2-glib-2.0 libglib2.0-data python3-markupsafe 1319s 5 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 1319s Need to get 2511 kB of archives. 1319s After this operation, 147 kB of additional disk space will be used. 1319s Get:1 http://ftpmaster.internal/ubuntu noble/main s390x debianutils s390x 5.17 [90.1 kB] 1319s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main s390x gir1.2-glib-2.0 s390x 2.79.3-3ubuntu5 [180 kB] 1321s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libglib2.0-0t64 s390x 2.79.3-3ubuntu5 [1566 kB] 1321s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 1321s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x xdg-user-dirs s390x 0.18-1 [18.5 kB] 1321s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x python3-markupsafe s390x 2.1.5-1build1 [12.8 kB] 1321s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x cloud-init all 24.1.2-0ubuntu1 [597 kB] 1322s Preconfiguring packages ... 1322s Fetched 2511 kB in 2s (1028 kB/s) 1323s (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 ... 51778 files and directories currently installed.) 1323s Preparing to unpack .../debianutils_5.17_s390x.deb ... 1323s Unpacking debianutils (5.17) over (5.16) ... 1323s Setting up debianutils (5.17) ... 1323s (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 ... 51778 files and directories currently installed.) 1323s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_s390x.deb ... 1323s Unpacking gir1.2-glib-2.0:s390x (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 1323s dpkg: libglib2.0-0:s390x: dependency problems, but removing anyway as you requested: 1323s udisks2 depends on libglib2.0-0 (>= 2.77.0). 1323s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 1323s s390-tools depends on libglib2.0-0 (>= 2.77.0). 1323s python3-gi depends on libglib2.0-0 (>= 2.77.0). 1323s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 1323s netplan.io depends on libglib2.0-0 (>= 2.70.0). 1323s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 1323s libxmlb2:s390x depends on libglib2.0-0 (>= 2.54.0). 1323s libvolume-key1:s390x depends on libglib2.0-0 (>= 2.18.0). 1323s libudisks2-0:s390x depends on libglib2.0-0 (>= 2.75.3). 1323s libqrtr-glib0:s390x depends on libglib2.0-0 (>= 2.56). 1323s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 1323s libqmi-glib5:s390x depends on libglib2.0-0 (>= 2.54.0). 1323s libpolkit-gobject-1-0:s390x depends on libglib2.0-0 (>= 2.38.0). 1323s libpolkit-agent-1-0:s390x depends on libglib2.0-0 (>= 2.38.0). 1323s libnetplan0:s390x depends on libglib2.0-0 (>= 2.75.3). 1323s libmm-glib0:s390x depends on libglib2.0-0 (>= 2.62.0). 1323s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 1323s libmbim-glib4:s390x depends on libglib2.0-0 (>= 2.56). 1323s libjson-glib-1.0-0:s390x depends on libglib2.0-0 (>= 2.75.3). 1323s libjcat1:s390x depends on libglib2.0-0 (>= 2.75.3). 1323s libgusb2:s390x depends on libglib2.0-0 (>= 2.75.3). 1323s libgudev-1.0-0:s390x depends on libglib2.0-0 (>= 2.38.0). 1323s libgirepository-1.0-1:s390x depends on libglib2.0-0 (>= 2.79.0). 1323s libfwupd2:s390x depends on libglib2.0-0 (>= 2.79.0). 1323s libblockdev3:s390x depends on libglib2.0-0 (>= 2.42.2). 1323s libblockdev-utils3:s390x depends on libglib2.0-0 (>= 2.75.3). 1323s libblockdev-swap3:s390x depends on libglib2.0-0 (>= 2.42.2). 1323s libblockdev-part3:s390x depends on libglib2.0-0 (>= 2.42.2). 1323s libblockdev-nvme3:s390x depends on libglib2.0-0 (>= 2.42.2). 1323s libblockdev-mdraid3:s390x depends on libglib2.0-0 (>= 2.42.2). 1323s libblockdev-loop3:s390x depends on libglib2.0-0 (>= 2.42.2). 1323s libblockdev-fs3:s390x depends on libglib2.0-0 (>= 2.42.2). 1323s libblockdev-crypto3:s390x depends on libglib2.0-0 (>= 2.42.2). 1323s fwupd depends on libglib2.0-0 (>= 2.79.0). 1323s bolt depends on libglib2.0-0 (>= 2.56.0). 1323s 1323s (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 ... 51778 files and directories currently installed.) 1323s Removing libglib2.0-0:s390x (2.79.2-1~ubuntu1) ... 1323s Selecting previously unselected package libglib2.0-0t64:s390x. 1323s (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 ... 51753 files and directories currently installed.) 1323s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_s390x.deb ... 1323s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:s390x.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled... 1323s removed '/var/lib/dpkg/info/libglib2.0-0:s390x.postrm' 1323s Unpacking libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 1324s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 1324s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 1324s Selecting previously unselected package xdg-user-dirs. 1324s Preparing to unpack .../xdg-user-dirs_0.18-1_s390x.deb ... 1324s Unpacking xdg-user-dirs (0.18-1) ... 1324s Preparing to unpack .../python3-markupsafe_2.1.5-1build1_s390x.deb ... 1324s Unpacking python3-markupsafe (2.1.5-1build1) over (2.1.5-1) ... 1324s Preparing to unpack .../cloud-init_24.1.2-0ubuntu1_all.deb ... 1324s Unpacking cloud-init (24.1.2-0ubuntu1) over (24.1.1-0ubuntu1) ... 1324s Setting up cloud-init (24.1.2-0ubuntu1) ... 1327s Setting up xdg-user-dirs (0.18-1) ... 1327s Setting up python3-markupsafe (2.1.5-1build1) ... 1328s Setting up libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 1328s No schema files found: doing nothing. 1328s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 1328s Setting up gir1.2-glib-2.0:s390x (2.79.3-3ubuntu5) ... 1328s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 1328s Processing triggers for man-db (2.12.0-3) ... 1330s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1331s Reading package lists... 1332s Building dependency tree... 1332s Reading state information... 1332s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1333s Unknown architecture, assuming PC-style ttyS0 1333s sh: Attempting to set up Debian/Ubuntu apt sources automatically 1333s sh: Distribution appears to be Ubuntu 1335s Reading package lists... 1335s Building dependency tree... 1335s Reading state information... 1336s eatmydata is already the newest version (131-1). 1336s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1336s Reading package lists... 1337s Building dependency tree... 1337s Reading state information... 1337s dbus is already the newest version (1.14.10-4ubuntu1). 1337s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1337s Reading package lists... 1338s Building dependency tree... 1338s Reading state information... 1338s rng-tools-debian is already the newest version (2.4). 1338s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1339s Reading package lists... 1339s Building dependency tree... 1339s Reading state information... 1340s The following packages will be REMOVED: 1340s cloud-init* python3-configobj* python3-debconf* 1340s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 1340s After this operation, 3256 kB disk space will be freed. 1340s (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 ... 51791 files and directories currently installed.) 1340s Removing cloud-init (24.1.2-0ubuntu1) ... 1341s Removing python3-configobj (5.0.8-3) ... 1341s Removing python3-debconf (1.5.86) ... 1342s Processing triggers for man-db (2.12.0-3) ... 1342s (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 ... 51402 files and directories currently installed.) 1342s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 1343s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 1343s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 1343s invoke-rc.d: policy-rc.d denied execution of try-restart. 1344s Reading package lists... 1345s Building dependency tree... 1345s Reading state information... 1345s linux-generic is already the newest version (6.8.0-11.11+1). 1345s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1346s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 1346s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 1346s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 1351s Reading package lists... 1351s Reading package lists... 1351s Building dependency tree... 1351s Reading state information... 1352s Calculating upgrade... 1352s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1352s Reading package lists... 1353s Building dependency tree... 1353s Reading state information... 1353s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1355s autopkgtest [00:01:01]: rebooting testbed after setup commands that affected boot 1409s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 1431s Reading package lists... 1431s Building dependency tree... 1431s Reading state information... 1431s Starting pkgProblemResolver with broken count: 0 1431s Starting 2 pkgProblemResolver with broken count: 0 1431s Done 1432s The following additional packages will be installed: 1432s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 1432s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 1432s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 1432s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 1432s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 1432s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 1432s libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 1432s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 1432s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1432s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1432s liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1432s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1432s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1432s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1432s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1432s why3 z3 1432s Suggested packages: 1432s colord cups-common gvfs liblcms2-utils debhelper why3-examples 1432s Recommended packages: 1432s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 1432s The following NEW packages will be installed: 1432s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 1432s dconf-service fontconfig fontconfig-config fonts-dejavu-core 1432s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 1432s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 1432s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 1432s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 1432s libdeflate0 libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 1432s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 1432s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 1432s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 1432s liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1432s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 1432s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 1432s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 1432s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 1432s why3 z3 1432s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 1432s Need to get 38.0 MB/38.0 MB of archives. 1432s After this operation, 168 MB of additional disk space will be used. 1432s Get:1 /tmp/autopkgtest.p5AwXx/4-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [716 B] 1432s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 1432s Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg-turbo8 s390x 2.1.5-2ubuntu1 [128 kB] 1432s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 1432s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdeflate0 s390x 1.19-1 [46.0 kB] 1432s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libjbig0 s390x 2.1-6.1ubuntu1 [29.8 kB] 1432s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libsharpyuv0 s390x 1.3.2-0.4 [14.8 kB] 1432s Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libwebp7 s390x 1.3.2-0.4 [207 kB] 1433s Get:9 http://ftpmaster.internal/ubuntu noble/main s390x libtiff6 s390x 4.5.1+git230720-3ubuntu1 [253 kB] 1433s Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3 [152 kB] 1433s Get:11 http://ftpmaster.internal/ubuntu noble/main s390x gtk-update-icon-cache s390x 3.24.40-2ubuntu1 [51.0 kB] 1433s Get:12 http://ftpmaster.internal/ubuntu noble/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 1433s Get:13 http://ftpmaster.internal/ubuntu noble/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 1433s Get:14 http://ftpmaster.internal/ubuntu noble/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 1433s Get:15 http://ftpmaster.internal/ubuntu noble/main s390x adwaita-icon-theme all 46~rc-1 [723 kB] 1434s Get:16 http://ftpmaster.internal/ubuntu noble/main s390x at-spi2-common all 2.50.0-1 [7864 B] 1434s Get:17 http://ftpmaster.internal/ubuntu noble/main s390x libdconf1 s390x 0.40.0-4 [38.9 kB] 1434s Get:18 http://ftpmaster.internal/ubuntu noble/main s390x dconf-service s390x 0.40.0-4 [27.0 kB] 1434s Get:19 http://ftpmaster.internal/ubuntu noble/main s390x dconf-gsettings-backend s390x 0.40.0-4 [21.6 kB] 1434s Get:20 http://ftpmaster.internal/ubuntu noble/main s390x libfreetype6 s390x 2.13.2+dfsg-1 [431 kB] 1434s Get:21 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 1434s Get:22 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 1434s Get:23 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig-config s390x 2.15.0-1ubuntu1 [37.0 kB] 1434s Get:24 http://ftpmaster.internal/ubuntu noble/main s390x libfontconfig1 s390x 2.15.0-1ubuntu1 [150 kB] 1434s Get:25 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig s390x 2.15.0-1ubuntu1 [191 kB] 1434s Get:26 http://ftpmaster.internal/ubuntu noble/main s390x libatk1.0-0 s390x 2.50.0-1 [54.4 kB] 1434s Get:27 http://ftpmaster.internal/ubuntu noble/main s390x libxi6 s390x 2:1.8.1-1 [35.7 kB] 1434s Get:28 http://ftpmaster.internal/ubuntu noble/main s390x libatspi2.0-0 s390x 2.50.0-1 [77.9 kB] 1434s Get:29 http://ftpmaster.internal/ubuntu noble/main s390x libatk-bridge2.0-0 s390x 2.50.0-1 [65.3 kB] 1434s Get:30 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common-data s390x 0.8-13ubuntu2 [29.5 kB] 1434s Get:31 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common3 s390x 0.8-13ubuntu2 [23.8 kB] 1434s Get:32 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-client3 s390x 0.8-13ubuntu2 [26.7 kB] 1434s Get:33 http://ftpmaster.internal/ubuntu noble/main s390x libpixman-1-0 s390x 0.42.2-1 [173 kB] 1434s Get:34 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-render0 s390x 1.15-1 [17.0 kB] 1434s Get:35 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-shm0 s390x 1.15-1 [5782 B] 1434s Get:36 http://ftpmaster.internal/ubuntu noble/main s390x libxrender1 s390x 1:0.9.10-1.1 [19.4 kB] 1434s Get:37 http://ftpmaster.internal/ubuntu noble/main s390x libcairo2 s390x 1.18.0-1 [578 kB] 1434s Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libcairo-gobject2 s390x 1.18.0-1 [126 kB] 1434s Get:39 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 1435s Get:40 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 1435s Get:41 http://ftpmaster.internal/ubuntu noble/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 1435s Get:42 http://ftpmaster.internal/ubuntu noble/main s390x liblcms2-2 s390x 2.14-2 [155 kB] 1435s Get:43 http://ftpmaster.internal/ubuntu noble/main s390x libcolord2 s390x 1.4.7-1 [151 kB] 1435s Get:44 http://ftpmaster.internal/ubuntu noble/main s390x libcups2 s390x 2.4.6-0ubuntu3 [277 kB] 1435s Get:45 http://ftpmaster.internal/ubuntu noble/main s390x libdatrie1 s390x 0.2.13-3 [22.6 kB] 1435s Get:46 http://ftpmaster.internal/ubuntu noble/main s390x libepoxy0 s390x 1.5.10-1 [232 kB] 1435s Get:47 http://ftpmaster.internal/ubuntu noble/main s390x libgraphite2-3 s390x 1.3.14-2 [90.4 kB] 1435s Get:48 http://ftpmaster.internal/ubuntu noble/main s390x libharfbuzz0b s390x 8.3.0-2 [515 kB] 1435s Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libthai-data all 0.1.29-2 [158 kB] 1435s Get:50 http://ftpmaster.internal/ubuntu noble/main s390x libthai0 s390x 0.1.29-2 [20.6 kB] 1435s Get:51 http://ftpmaster.internal/ubuntu noble/main s390x libpango-1.0-0 s390x 1.51.0+ds-4 [240 kB] 1435s Get:52 http://ftpmaster.internal/ubuntu noble/main s390x libpangoft2-1.0-0 s390x 1.51.0+ds-4 [43.6 kB] 1435s Get:53 http://ftpmaster.internal/ubuntu noble/main s390x libpangocairo-1.0-0 s390x 1.51.0+ds-4 [28.9 kB] 1435s Get:54 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-client0 s390x 1.22.0-2.1 [26.1 kB] 1435s Get:55 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-cursor0 s390x 1.22.0-2.1 [11.1 kB] 1435s Get:56 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-egl1 s390x 1.22.0-2.1 [5452 B] 1435s Get:57 http://ftpmaster.internal/ubuntu noble/main s390x libxcomposite1 s390x 1:0.4.5-1build2 [6952 B] 1435s Get:58 http://ftpmaster.internal/ubuntu noble/main s390x libxfixes3 s390x 1:6.0.0-2 [10.6 kB] 1435s Get:59 http://ftpmaster.internal/ubuntu noble/main s390x libxcursor1 s390x 1:1.2.1-1 [22.2 kB] 1435s Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libxdamage1 s390x 1:1.1.6-1 [5810 B] 1435s Get:61 http://ftpmaster.internal/ubuntu noble/main s390x libxinerama1 s390x 2:1.1.4-3 [7110 B] 1435s Get:62 http://ftpmaster.internal/ubuntu noble/main s390x libxrandr2 s390x 2:1.5.2-2 [19.5 kB] 1435s Get:63 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 1435s Get:64 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-0 s390x 3.24.40-2ubuntu1 [2952 kB] 1435s Get:65 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 1435s Get:66 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build1 [234 kB] 1435s Get:67 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtk3-ocaml s390x 3.1.4-1 [4110 kB] 1436s Get:68 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1 [355 kB] 1436s Get:69 http://ftpmaster.internal/ubuntu noble/universe s390x tex-common all 6.18 [32.8 kB] 1436s Get:70 http://ftpmaster.internal/ubuntu noble/universe s390x why3 s390x 1.6.0-1build4 [14.0 MB] 1437s Get:71 http://ftpmaster.internal/ubuntu noble/universe s390x z3 s390x 4.8.12-3.1 [5454 kB] 1438s Fetched 38.0 MB in 5s (7880 kB/s) 1438s Selecting previously unselected package libgdk-pixbuf2.0-common. 1438s (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 ... 51345 files and directories currently installed.) 1438s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 1438s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1438s Selecting previously unselected package libjpeg-turbo8:s390x. 1438s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_s390x.deb ... 1438s Unpacking libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 1438s Selecting previously unselected package libjpeg8:s390x. 1438s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 1438s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 1438s Selecting previously unselected package libdeflate0:s390x. 1438s Preparing to unpack .../03-libdeflate0_1.19-1_s390x.deb ... 1438s Unpacking libdeflate0:s390x (1.19-1) ... 1438s Selecting previously unselected package libjbig0:s390x. 1438s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_s390x.deb ... 1438s Unpacking libjbig0:s390x (2.1-6.1ubuntu1) ... 1438s Selecting previously unselected package libsharpyuv0:s390x. 1438s Preparing to unpack .../05-libsharpyuv0_1.3.2-0.4_s390x.deb ... 1438s Unpacking libsharpyuv0:s390x (1.3.2-0.4) ... 1438s Selecting previously unselected package libwebp7:s390x. 1438s Preparing to unpack .../06-libwebp7_1.3.2-0.4_s390x.deb ... 1438s Unpacking libwebp7:s390x (1.3.2-0.4) ... 1438s Selecting previously unselected package libtiff6:s390x. 1438s Preparing to unpack .../07-libtiff6_4.5.1+git230720-3ubuntu1_s390x.deb ... 1438s Unpacking libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 1438s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 1438s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_s390x.deb ... 1438s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 1438s Selecting previously unselected package gtk-update-icon-cache. 1438s Preparing to unpack .../09-gtk-update-icon-cache_3.24.40-2ubuntu1_s390x.deb ... 1438s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1438s Selecting previously unselected package hicolor-icon-theme. 1438s Preparing to unpack .../10-hicolor-icon-theme_0.17-2_all.deb ... 1438s Unpacking hicolor-icon-theme (0.17-2) ... 1438s Selecting previously unselected package humanity-icon-theme. 1438s Preparing to unpack .../11-humanity-icon-theme_0.6.16_all.deb ... 1438s Unpacking humanity-icon-theme (0.6.16) ... 1439s Selecting previously unselected package ubuntu-mono. 1439s Preparing to unpack .../12-ubuntu-mono_24.04-0ubuntu1_all.deb ... 1439s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 1439s Selecting previously unselected package adwaita-icon-theme. 1439s Preparing to unpack .../13-adwaita-icon-theme_46~rc-1_all.deb ... 1439s Unpacking adwaita-icon-theme (46~rc-1) ... 1440s Selecting previously unselected package at-spi2-common. 1440s Preparing to unpack .../14-at-spi2-common_2.50.0-1_all.deb ... 1440s Unpacking at-spi2-common (2.50.0-1) ... 1440s Selecting previously unselected package libdconf1:s390x. 1440s Preparing to unpack .../15-libdconf1_0.40.0-4_s390x.deb ... 1440s Unpacking libdconf1:s390x (0.40.0-4) ... 1440s Selecting previously unselected package dconf-service. 1440s Preparing to unpack .../16-dconf-service_0.40.0-4_s390x.deb ... 1440s Unpacking dconf-service (0.40.0-4) ... 1440s Selecting previously unselected package dconf-gsettings-backend:s390x. 1440s Preparing to unpack .../17-dconf-gsettings-backend_0.40.0-4_s390x.deb ... 1440s Unpacking dconf-gsettings-backend:s390x (0.40.0-4) ... 1440s Selecting previously unselected package libfreetype6:s390x. 1440s Preparing to unpack .../18-libfreetype6_2.13.2+dfsg-1_s390x.deb ... 1440s Unpacking libfreetype6:s390x (2.13.2+dfsg-1) ... 1440s Selecting previously unselected package fonts-dejavu-mono. 1440s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 1440s Unpacking fonts-dejavu-mono (2.37-8) ... 1440s Selecting previously unselected package fonts-dejavu-core. 1440s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 1440s Unpacking fonts-dejavu-core (2.37-8) ... 1440s Selecting previously unselected package fontconfig-config. 1440s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_s390x.deb ... 1440s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 1440s Selecting previously unselected package libfontconfig1:s390x. 1440s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_s390x.deb ... 1440s Unpacking libfontconfig1:s390x (2.15.0-1ubuntu1) ... 1440s Selecting previously unselected package fontconfig. 1440s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_s390x.deb ... 1440s Unpacking fontconfig (2.15.0-1ubuntu1) ... 1440s Selecting previously unselected package libatk1.0-0:s390x. 1440s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_s390x.deb ... 1440s Unpacking libatk1.0-0:s390x (2.50.0-1) ... 1440s Selecting previously unselected package libxi6:s390x. 1440s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_s390x.deb ... 1440s Unpacking libxi6:s390x (2:1.8.1-1) ... 1440s Selecting previously unselected package libatspi2.0-0:s390x. 1440s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_s390x.deb ... 1440s Unpacking libatspi2.0-0:s390x (2.50.0-1) ... 1440s Selecting previously unselected package libatk-bridge2.0-0:s390x. 1440s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_s390x.deb ... 1440s Unpacking libatk-bridge2.0-0:s390x (2.50.0-1) ... 1440s Selecting previously unselected package libavahi-common-data:s390x. 1440s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_s390x.deb ... 1440s Unpacking libavahi-common-data:s390x (0.8-13ubuntu2) ... 1440s Selecting previously unselected package libavahi-common3:s390x. 1440s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_s390x.deb ... 1440s Unpacking libavahi-common3:s390x (0.8-13ubuntu2) ... 1440s Selecting previously unselected package libavahi-client3:s390x. 1440s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_s390x.deb ... 1440s Unpacking libavahi-client3:s390x (0.8-13ubuntu2) ... 1440s Selecting previously unselected package libpixman-1-0:s390x. 1440s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_s390x.deb ... 1440s Unpacking libpixman-1-0:s390x (0.42.2-1) ... 1440s Selecting previously unselected package libxcb-render0:s390x. 1440s Preparing to unpack .../32-libxcb-render0_1.15-1_s390x.deb ... 1440s Unpacking libxcb-render0:s390x (1.15-1) ... 1440s Selecting previously unselected package libxcb-shm0:s390x. 1440s Preparing to unpack .../33-libxcb-shm0_1.15-1_s390x.deb ... 1440s Unpacking libxcb-shm0:s390x (1.15-1) ... 1440s Selecting previously unselected package libxrender1:s390x. 1440s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_s390x.deb ... 1440s Unpacking libxrender1:s390x (1:0.9.10-1.1) ... 1440s Selecting previously unselected package libcairo2:s390x. 1440s Preparing to unpack .../35-libcairo2_1.18.0-1_s390x.deb ... 1440s Unpacking libcairo2:s390x (1.18.0-1) ... 1440s Selecting previously unselected package libcairo-gobject2:s390x. 1440s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_s390x.deb ... 1440s Unpacking libcairo-gobject2:s390x (1.18.0-1) ... 1440s Selecting previously unselected package libstdlib-ocaml. 1440s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 1440s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 1440s Selecting previously unselected package ocaml-base. 1440s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 1440s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 1441s Selecting previously unselected package libcairo2-ocaml. 1441s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 1441s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1441s Selecting previously unselected package liblcms2-2:s390x. 1441s Preparing to unpack .../40-liblcms2-2_2.14-2_s390x.deb ... 1441s Unpacking liblcms2-2:s390x (2.14-2) ... 1441s Selecting previously unselected package libcolord2:s390x. 1441s Preparing to unpack .../41-libcolord2_1.4.7-1_s390x.deb ... 1441s Unpacking libcolord2:s390x (1.4.7-1) ... 1441s Selecting previously unselected package libcups2:s390x. 1441s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_s390x.deb ... 1441s Unpacking libcups2:s390x (2.4.6-0ubuntu3) ... 1441s Selecting previously unselected package libdatrie1:s390x. 1441s Preparing to unpack .../43-libdatrie1_0.2.13-3_s390x.deb ... 1441s Unpacking libdatrie1:s390x (0.2.13-3) ... 1441s Selecting previously unselected package libepoxy0:s390x. 1441s Preparing to unpack .../44-libepoxy0_1.5.10-1_s390x.deb ... 1441s Unpacking libepoxy0:s390x (1.5.10-1) ... 1441s Selecting previously unselected package libgraphite2-3:s390x. 1441s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_s390x.deb ... 1441s Unpacking libgraphite2-3:s390x (1.3.14-2) ... 1441s Selecting previously unselected package libharfbuzz0b:s390x. 1441s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_s390x.deb ... 1441s Unpacking libharfbuzz0b:s390x (8.3.0-2) ... 1441s Selecting previously unselected package libthai-data. 1441s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 1441s Unpacking libthai-data (0.1.29-2) ... 1441s Selecting previously unselected package libthai0:s390x. 1441s Preparing to unpack .../48-libthai0_0.1.29-2_s390x.deb ... 1441s Unpacking libthai0:s390x (0.1.29-2) ... 1441s Selecting previously unselected package libpango-1.0-0:s390x. 1441s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_s390x.deb ... 1441s Unpacking libpango-1.0-0:s390x (1.51.0+ds-4) ... 1441s Selecting previously unselected package libpangoft2-1.0-0:s390x. 1441s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_s390x.deb ... 1441s Unpacking libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 1441s Selecting previously unselected package libpangocairo-1.0-0:s390x. 1441s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_s390x.deb ... 1441s Unpacking libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 1441s Selecting previously unselected package libwayland-client0:s390x. 1441s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_s390x.deb ... 1441s Unpacking libwayland-client0:s390x (1.22.0-2.1) ... 1441s Selecting previously unselected package libwayland-cursor0:s390x. 1441s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_s390x.deb ... 1441s Unpacking libwayland-cursor0:s390x (1.22.0-2.1) ... 1441s Selecting previously unselected package libwayland-egl1:s390x. 1441s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_s390x.deb ... 1441s Unpacking libwayland-egl1:s390x (1.22.0-2.1) ... 1441s Selecting previously unselected package libxcomposite1:s390x. 1441s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_s390x.deb ... 1441s Unpacking libxcomposite1:s390x (1:0.4.5-1build2) ... 1441s Selecting previously unselected package libxfixes3:s390x. 1441s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_s390x.deb ... 1441s Unpacking libxfixes3:s390x (1:6.0.0-2) ... 1441s Selecting previously unselected package libxcursor1:s390x. 1441s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_s390x.deb ... 1441s Unpacking libxcursor1:s390x (1:1.2.1-1) ... 1441s Selecting previously unselected package libxdamage1:s390x. 1441s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_s390x.deb ... 1441s Unpacking libxdamage1:s390x (1:1.1.6-1) ... 1441s Selecting previously unselected package libxinerama1:s390x. 1441s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_s390x.deb ... 1441s Unpacking libxinerama1:s390x (2:1.1.4-3) ... 1441s Selecting previously unselected package libxrandr2:s390x. 1441s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_s390x.deb ... 1441s Unpacking libxrandr2:s390x (2:1.5.2-2) ... 1441s Selecting previously unselected package libgtk-3-common. 1441s Preparing to unpack .../61-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 1441s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 1441s Selecting previously unselected package libgtk-3-0:s390x. 1441s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_s390x.deb ... 1441s Unpacking libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 1441s Selecting previously unselected package libgtksourceview-3.0-common. 1441s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 1441s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 1441s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 1441s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_s390x.deb ... 1441s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 1441s Selecting previously unselected package liblablgtk3-ocaml. 1441s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_s390x.deb ... 1441s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 1442s Selecting previously unselected package liblablgtksourceview3-ocaml. 1442s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_s390x.deb ... 1442s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 1442s Selecting previously unselected package tex-common. 1442s Preparing to unpack .../67-tex-common_6.18_all.deb ... 1442s Unpacking tex-common (6.18) ... 1442s Selecting previously unselected package why3. 1442s Preparing to unpack .../68-why3_1.6.0-1build4_s390x.deb ... 1442s Unpacking why3 (1.6.0-1build4) ... 1442s Selecting previously unselected package z3. 1442s Preparing to unpack .../69-z3_4.8.12-3.1_s390x.deb ... 1442s Unpacking z3 (4.8.12-3.1) ... 1443s Selecting previously unselected package autopkgtest-satdep. 1443s Preparing to unpack .../70-4-autopkgtest-satdep.deb ... 1443s Unpacking autopkgtest-satdep (0) ... 1443s Setting up libgraphite2-3:s390x (1.3.14-2) ... 1443s Setting up liblcms2-2:s390x (2.14-2) ... 1443s Setting up libpixman-1-0:s390x (0.42.2-1) ... 1443s Setting up libsharpyuv0:s390x (1.3.2-0.4) ... 1443s Setting up libxdamage1:s390x (1:1.1.6-1) ... 1443s Setting up hicolor-icon-theme (0.17-2) ... 1443s Setting up libxi6:s390x (2:1.8.1-1) ... 1443s Setting up libxrender1:s390x (1:0.9.10-1.1) ... 1443s Setting up libdatrie1:s390x (0.2.13-3) ... 1443s Setting up libxcb-render0:s390x (1.15-1) ... 1443s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 1443s Setting up libdeflate0:s390x (1.19-1) ... 1443s Setting up libxcb-shm0:s390x (1.15-1) ... 1443s Setting up libatspi2.0-0:s390x (2.50.0-1) ... 1443s Setting up libjbig0:s390x (2.1-6.1ubuntu1) ... 1443s Setting up z3 (4.8.12-3.1) ... 1443s Setting up libcolord2:s390x (1.4.7-1) ... 1443s Setting up libdconf1:s390x (0.40.0-4) ... 1443s Setting up tex-common (6.18) ... 1443s update-language: texlive-base not installed and configured, doing nothing! 1443s Setting up libfreetype6:s390x (2.13.2+dfsg-1) ... 1443s Setting up libepoxy0:s390x (1.5.10-1) ... 1443s Setting up libxfixes3:s390x (1:6.0.0-2) ... 1443s Setting up libavahi-common-data:s390x (0.8-13ubuntu2) ... 1443s Setting up libxinerama1:s390x (2:1.1.4-3) ... 1443s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 1443s Setting up fonts-dejavu-mono (2.37-8) ... 1443s Setting up libxrandr2:s390x (2:1.5.2-2) ... 1443s Setting up ocaml-base (4.14.1-1ubuntu1) ... 1443s Setting up fonts-dejavu-core (2.37-8) ... 1443s Setting up libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 1443s Setting up libwebp7:s390x (1.3.2-0.4) ... 1443s Setting up at-spi2-common (2.50.0-1) ... 1443s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 1443s Setting up libharfbuzz0b:s390x (8.3.0-2) ... 1443s Setting up libthai-data (0.1.29-2) ... 1443s Setting up libatk1.0-0:s390x (2.50.0-1) ... 1443s Setting up libwayland-egl1:s390x (1.22.0-2.1) ... 1443s Setting up libxcomposite1:s390x (1:0.4.5-1build2) ... 1443s Setting up libwayland-client0:s390x (1.22.0-2.1) ... 1443s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 1443s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 1443s Setting up libxcursor1:s390x (1:1.2.1-1) ... 1443s Setting up libavahi-common3:s390x (0.8-13ubuntu2) ... 1443s Setting up dconf-service (0.40.0-4) ... 1443s Setting up libatk-bridge2.0-0:s390x (2.50.0-1) ... 1443s Setting up libthai0:s390x (0.1.29-2) ... 1443s Setting up libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 1443s Setting up libwayland-cursor0:s390x (1.22.0-2.1) ... 1443s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 1443s Setting up libfontconfig1:s390x (2.15.0-1ubuntu1) ... 1443s Setting up libavahi-client3:s390x (0.8-13ubuntu2) ... 1443s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 1443s Setting up fontconfig (2.15.0-1ubuntu1) ... 1445s Regenerating fonts cache... done. 1445s Setting up dconf-gsettings-backend:s390x (0.40.0-4) ... 1445s Setting up libpango-1.0-0:s390x (1.51.0+ds-4) ... 1445s Setting up libcairo2:s390x (1.18.0-1) ... 1445s Setting up libcups2:s390x (2.4.6-0ubuntu3) ... 1445s Setting up libcairo-gobject2:s390x (1.18.0-1) ... 1445s Setting up libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 1445s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 1445s Setting up libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 1445s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 1445s Setting up adwaita-icon-theme (46~rc-1) ... 1445s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1445s Setting up humanity-icon-theme (0.6.16) ... 1445s Setting up ubuntu-mono (24.04-0ubuntu1) ... 1445s Processing triggers for man-db (2.12.0-3) ... 1447s Processing triggers for libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 1447s Setting up libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 1447s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1447s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 1447s Setting up liblablgtk3-ocaml (3.1.4-1) ... 1447s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 1447s Setting up why3 (1.6.0-1build4) ... 1447s Setting up autopkgtest-satdep (0) ... 1447s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1452s (Reading database ... 65096 files and directories currently installed.) 1452s Removing autopkgtest-satdep (0) ... 1462s autopkgtest [00:02:49]: test why3+z3: [----------------------- 1464s autopkgtest [00:02:51]: test why3+z3: -----------------------] 1464s autopkgtest [00:02:51]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1464s why3+z3 PASS 1464s autopkgtest [00:02:51]: @@@@@@@@@@@@@@@@@@@@ summary 1464s why3+alt-ergo SKIP installation fails and skip-not-installable set 1464s why3+cvc4 PASS 1464s why3+spass PASS 1464s why3+z3 PASS 1505s Creating nova instance adt-noble-s390x-why3-20240321-233826-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240321.img (UUID a4b1c77c-a35e-4d28-a8d9-902a1febb465)... 1505s Creating nova instance adt-noble-s390x-why3-20240321-233826-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240321.img (UUID a4b1c77c-a35e-4d28-a8d9-902a1febb465)... 1505s Creating nova instance adt-noble-s390x-why3-20240321-233826-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240321.img (UUID a4b1c77c-a35e-4d28-a8d9-902a1febb465)... 1505s Creating nova instance adt-noble-s390x-why3-20240321-233826-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240321.img (UUID a4b1c77c-a35e-4d28-a8d9-902a1febb465)...