0s autopkgtest [01:14:31]: starting date and time: 2024-03-23 01:14:31+0000 0s autopkgtest [01:14:31]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [01:14:31]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.o58_0s0l/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:sphinx --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=sphinx/7.2.6-6 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-3@bos02-s390x-18.secgroup --name adt-noble-s390x-why3-20240323-011430-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://ftpmaster.internal/ubuntu/ 73s autopkgtest [01:15:44]: testbed dpkg architecture: s390x 73s autopkgtest [01:15:44]: testbed apt version: 2.7.12 73s autopkgtest [01:15:44]: @@@@@@@@@@@@@@@@@@@@ test bed setup 74s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 75s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [57.7 kB] 75s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [498 kB] 76s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 76s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3979 kB] 81s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [665 kB] 81s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 81s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 81s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 81s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [4162 kB] 84s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 84s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [47.5 kB] 84s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 86s Fetched 9545 kB in 11s (855 kB/s) 86s Reading package lists... 89s Reading package lists... 89s Building dependency tree... 89s Reading state information... 89s Calculating upgrade... 89s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 89s Reading package lists... 89s Building dependency tree... 89s Reading state information... 90s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 90s Unknown architecture, assuming PC-style ttyS0 90s sh: Attempting to set up Debian/Ubuntu apt sources automatically 90s sh: Distribution appears to be Ubuntu 91s Reading package lists... 91s Building dependency tree... 91s Reading state information... 91s eatmydata is already the newest version (131-1). 91s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 91s Reading package lists... 91s Building dependency tree... 91s Reading state information... 91s dbus is already the newest version (1.14.10-4ubuntu1). 91s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 92s Reading package lists... 92s Building dependency tree... 92s Reading state information... 92s rng-tools-debian is already the newest version (2.4). 92s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 92s Reading package lists... 92s Building dependency tree... 92s Reading state information... 92s The following packages will be REMOVED: 92s cloud-init* python3-configobj* python3-debconf* 92s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 92s After this operation, 3256 kB disk space will be freed. 92s (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 ... 52170 files and directories currently installed.) 92s Removing cloud-init (24.1.2-0ubuntu1) ... 93s Removing python3-configobj (5.0.8-3) ... 93s Removing python3-debconf (1.5.86) ... 93s Processing triggers for man-db (2.12.0-3) ... 93s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 51781 files and directories currently installed.) 93s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 94s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 94s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 94s invoke-rc.d: policy-rc.d denied execution of try-restart. 94s Reading package lists... 94s Building dependency tree... 94s Reading state information... 94s linux-generic is already the newest version (6.8.0-11.11+1). 94s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 95s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 95s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 95s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 96s Reading package lists... 96s Reading package lists... 97s Building dependency tree... 97s Reading state information... 97s Calculating upgrade... 97s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 97s Reading package lists... 97s Building dependency tree... 97s Reading state information... 97s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 97s autopkgtest [01:16:08]: rebooting testbed after setup commands that affected boot 118s autopkgtest [01:16:29]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Tue Feb 13 23:45:46 UTC 2024 120s autopkgtest [01:16:31]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 125s Get:1 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (dsc) [2670 B] 125s Get:2 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (tar) [6850 kB] 125s Get:3 http://ftpmaster.internal/ubuntu noble/universe why3 1.6.0-1build4 (diff) [18.5 kB] 126s gpgv: Signature made Thu Feb 22 07:36:27 2024 UTC 126s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 126s gpgv: Can't check signature: No public key 126s dpkg-source: warning: cannot verify inline signature for ./why3_1.6.0-1build4.dsc: no acceptable signature found 126s autopkgtest [01:16:37]: testing package why3 version 1.6.0-1build4 126s autopkgtest [01:16:37]: build not needed 133s autopkgtest [01:16:44]: test why3+alt-ergo: preparing testbed 137s Reading package lists... 137s Building dependency tree... 137s Reading state information... 137s Starting pkgProblemResolver with broken count: 1 137s Starting 2 pkgProblemResolver with broken count: 1 137s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 137s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build4 @un uH > 137s Considering why3:s390x 1 as a solution to autopkgtest-satdep:s390x 9998 137s Re-Instated libfreetype6:s390x 137s Re-Instated fonts-dejavu-mono:s390x 137s Re-Instated fonts-dejavu-core:s390x 137s Re-Instated fontconfig-config:s390x 137s Re-Instated libfontconfig1:s390x 137s Re-Instated libpixman-1-0:s390x 137s Re-Instated libxcb-render0:s390x 137s Re-Instated libxcb-shm0:s390x 137s Re-Instated libxrender1:s390x 137s Re-Instated libcairo2:s390x 137s Re-Instated libgdk-pixbuf2.0-common:s390x 137s Re-Instated libjpeg-turbo8:s390x 137s Re-Instated libjpeg8:s390x 137s Re-Instated libdeflate0:s390x 137s Re-Instated libjbig0:s390x 137s Re-Instated libsharpyuv0:s390x 137s Re-Instated libwebp7:s390x 137s Re-Instated libtiff6:s390x 137s Re-Instated libgdk-pixbuf-2.0-0:s390x 137s Re-Instated gtk-update-icon-cache:s390x 137s Re-Instated hicolor-icon-theme:s390x 137s Re-Instated humanity-icon-theme:s390x 137s Re-Instated ubuntu-mono:s390x 137s Re-Instated adwaita-icon-theme:s390x 137s Re-Instated at-spi2-common:s390x 137s Re-Instated libatk1.0-0:s390x 137s Re-Instated libxi6:s390x 137s Re-Instated libatspi2.0-0:s390x 137s Re-Instated libatk-bridge2.0-0:s390x 137s Re-Instated libcairo-gobject2:s390x 137s Re-Instated liblcms2-2:s390x 137s Re-Instated libcolord2:s390x 137s Re-Instated libavahi-common-data:s390x 137s Re-Instated libavahi-common3:s390x 137s Re-Instated libavahi-client3:s390x 137s Re-Instated libcups2:s390x 137s Re-Instated libepoxy0:s390x 137s Re-Instated libgraphite2-3:s390x 137s Re-Instated libharfbuzz0b:s390x 137s Re-Instated fontconfig:s390x 137s Re-Instated libthai-data:s390x 137s Re-Instated libdatrie1:s390x 137s Re-Instated libthai0:s390x 137s Re-Instated libpango-1.0-0:s390x 137s Re-Instated libpangoft2-1.0-0:s390x 137s Re-Instated libpangocairo-1.0-0:s390x 137s Re-Instated libwayland-client0:s390x 137s Re-Instated libwayland-cursor0:s390x 137s Re-Instated libwayland-egl1:s390x 137s Re-Instated libxcomposite1:s390x 137s Re-Instated libxfixes3:s390x 137s Re-Instated libxcursor1:s390x 137s Re-Instated libxdamage1:s390x 137s Re-Instated libxinerama1:s390x 137s Re-Instated libxrandr2:s390x 137s Re-Instated libdconf1:s390x 137s Re-Instated dconf-service:s390x 137s Re-Instated dconf-gsettings-backend:s390x 137s Re-Instated libgtk-3-common:s390x 137s Re-Instated libgtk-3-0:s390x 137s Re-Instated libgtksourceview-3.0-common:s390x 137s Re-Instated libgtksourceview-3.0-1:s390x 137s Re-Instated libstdlib-ocaml:s390x 137s Re-Instated ocaml-base:s390x 137s Re-Instated libcairo2-ocaml:s390x 137s Re-Instated liblablgtk3-ocaml:s390x 137s Re-Instated liblablgtksourceview3-ocaml:s390x 137s Re-Instated tex-common:s390x 137s Re-Instated why3:s390x 137s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un H > (>= 2.0.0) 137s Done 137s Some packages could not be installed. This may mean that you have 137s requested an impossible situation or if you are using the unstable 137s distribution that some required packages have not yet been created 137s or been moved out of Incoming. 137s The following information may help to resolve the situation: 137s 137s The following packages have unmet dependencies: 137s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 137s E: Unable to correct problems, you have held broken packages. 137s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 138s Reading package lists... 138s Building dependency tree... 138s Reading state information... 138s Starting pkgProblemResolver with broken count: 1 138s Starting 2 pkgProblemResolver with broken count: 1 138s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 138s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build4 @un uH > 138s Considering why3:s390x 1 as a solution to autopkgtest-satdep:s390x 9998 138s Re-Instated libfreetype6:s390x 138s Re-Instated fonts-dejavu-mono:s390x 138s Re-Instated fonts-dejavu-core:s390x 138s Re-Instated fontconfig-config:s390x 138s Re-Instated libfontconfig1:s390x 138s Re-Instated libpixman-1-0:s390x 138s Re-Instated libxcb-render0:s390x 138s Re-Instated libxcb-shm0:s390x 138s Re-Instated libxrender1:s390x 138s Re-Instated libcairo2:s390x 138s Re-Instated libgdk-pixbuf2.0-common:s390x 138s Re-Instated libjpeg-turbo8:s390x 138s Re-Instated libjpeg8:s390x 138s Re-Instated libdeflate0:s390x 138s Re-Instated libjbig0:s390x 138s Re-Instated libsharpyuv0:s390x 138s Re-Instated libwebp7:s390x 138s Re-Instated libtiff6:s390x 138s Re-Instated libgdk-pixbuf-2.0-0:s390x 138s Re-Instated gtk-update-icon-cache:s390x 138s Re-Instated hicolor-icon-theme:s390x 138s Re-Instated humanity-icon-theme:s390x 138s Re-Instated ubuntu-mono:s390x 138s Re-Instated adwaita-icon-theme:s390x 138s Re-Instated at-spi2-common:s390x 138s Re-Instated libatk1.0-0:s390x 138s Re-Instated libxi6:s390x 138s Re-Instated libatspi2.0-0:s390x 138s Re-Instated libatk-bridge2.0-0:s390x 138s Re-Instated libcairo-gobject2:s390x 138s Re-Instated liblcms2-2:s390x 138s Re-Instated libcolord2:s390x 138s Re-Instated libavahi-common-data:s390x 138s Re-Instated libavahi-common3:s390x 138s Re-Instated libavahi-client3:s390x 138s Re-Instated libcups2:s390x 138s Re-Instated libepoxy0:s390x 138s Re-Instated libgraphite2-3:s390x 138s Re-Instated libharfbuzz0b:s390x 138s Re-Instated fontconfig:s390x 138s Re-Instated libthai-data:s390x 138s Re-Instated libdatrie1:s390x 138s Re-Instated libthai0:s390x 138s Re-Instated libpango-1.0-0:s390x 138s Re-Instated libpangoft2-1.0-0:s390x 138s Re-Instated libpangocairo-1.0-0:s390x 138s Re-Instated libwayland-client0:s390x 138s Re-Instated libwayland-cursor0:s390x 138s Re-Instated libwayland-egl1:s390x 138s Re-Instated libxcomposite1:s390x 138s Re-Instated libxfixes3:s390x 138s Re-Instated libxcursor1:s390x 138s Re-Instated libxdamage1:s390x 138s Re-Instated libxinerama1:s390x 138s Re-Instated libxrandr2:s390x 138s Re-Instated libdconf1:s390x 138s Re-Instated dconf-service:s390x 138s Re-Instated dconf-gsettings-backend:s390x 138s Re-Instated libgtk-3-common:s390x 138s Re-Instated libgtk-3-0:s390x 138s Re-Instated libgtksourceview-3.0-common:s390x 138s Re-Instated libgtksourceview-3.0-1:s390x 138s Re-Instated libstdlib-ocaml:s390x 138s Re-Instated ocaml-base:s390x 138s Re-Instated libcairo2-ocaml:s390x 138s Re-Instated liblablgtk3-ocaml:s390x 138s Re-Instated liblablgtksourceview3-ocaml:s390x 138s Re-Instated tex-common:s390x 138s Re-Instated why3:s390x 138s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un H > (>= 2.0.0) 138s Done 138s Some packages could not be installed. This may mean that you have 138s requested an impossible situation or if you are using the unstable 138s distribution that some required packages have not yet been created 138s or been moved out of Incoming. 138s The following information may help to resolve the situation: 138s 138s The following packages have unmet dependencies: 138s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 138s E: Unable to correct problems, you have held broken packages. 138s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 138s why3+alt-ergo SKIP installation fails and skip-not-installable set 138s autopkgtest [01:16:49]: test why3+cvc4: preparing testbed 255s autopkgtest [01:18:46]: testbed dpkg architecture: s390x 255s autopkgtest [01:18:46]: testbed apt version: 2.7.12 255s autopkgtest [01:18:46]: @@@@@@@@@@@@@@@@@@@@ test bed setup 256s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 256s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [57.7 kB] 256s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 256s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3979 kB] 258s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [498 kB] 258s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [665 kB] 258s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 258s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 258s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 258s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [4162 kB] 259s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 259s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [47.5 kB] 259s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 261s Fetched 9545 kB in 4s (2224 kB/s) 261s Reading package lists... 263s Reading package lists... 263s Building dependency tree... 263s Reading state information... 264s Calculating upgrade... 264s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 264s Reading package lists... 264s Building dependency tree... 264s Reading state information... 264s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 264s Unknown architecture, assuming PC-style ttyS0 265s sh: Attempting to set up Debian/Ubuntu apt sources automatically 265s sh: Distribution appears to be Ubuntu 265s Reading package lists... 265s Building dependency tree... 265s Reading state information... 266s eatmydata is already the newest version (131-1). 266s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 266s Reading package lists... 266s Building dependency tree... 266s Reading state information... 266s dbus is already the newest version (1.14.10-4ubuntu1). 266s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 266s Reading package lists... 266s Building dependency tree... 266s Reading state information... 266s rng-tools-debian is already the newest version (2.4). 266s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 266s Reading package lists... 267s Building dependency tree... 267s Reading state information... 267s The following packages will be REMOVED: 267s cloud-init* python3-configobj* python3-debconf* 267s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 267s After this operation, 3256 kB disk space will be freed. 267s (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 ... 52170 files and directories currently installed.) 267s Removing cloud-init (24.1.2-0ubuntu1) ... 267s Removing python3-configobj (5.0.8-3) ... 267s Removing python3-debconf (1.5.86) ... 268s Processing triggers for man-db (2.12.0-3) ... 268s (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 ... 51781 files and directories currently installed.) 268s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 268s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 268s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 268s invoke-rc.d: policy-rc.d denied execution of try-restart. 269s Reading package lists... 269s Building dependency tree... 269s Reading state information... 269s linux-generic is already the newest version (6.8.0-11.11+1). 269s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 269s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 269s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 269s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 271s Reading package lists... 271s Reading package lists... 271s Building dependency tree... 271s Reading state information... 271s Calculating upgrade... 271s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 271s Reading package lists... 272s Building dependency tree... 272s Reading state information... 272s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 272s autopkgtest [01:19:03]: rebooting testbed after setup commands that affected boot 297s Reading package lists... 297s Building dependency tree... 297s Reading state information... 297s Starting pkgProblemResolver with broken count: 0 297s Starting 2 pkgProblemResolver with broken count: 0 297s Done 297s The following additional packages will be installed: 297s adwaita-icon-theme at-spi2-common cvc4 dconf-gsettings-backend dconf-service 297s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 297s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 297s libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 297s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 297s libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 libcvc4-7 297s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 297s libfreetype6 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgraphite2-3 297s libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 297s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 297s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 297s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 297s libstdlib-ocaml libthai-data libthai0 libtiff6 libwayland-client0 297s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 297s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 297s libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 297s Suggested packages: 297s pi colord cups-common gvfs liblcms2-utils debhelper why3-examples 297s Recommended packages: 297s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 297s The following NEW packages will be installed: 297s adwaita-icon-theme at-spi2-common autopkgtest-satdep cvc4 297s dconf-gsettings-backend dconf-service fontconfig fontconfig-config 297s fonts-dejavu-core fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 297s humanity-icon-theme libantlr3c-3.4-0 libatk-bridge2.0-0 libatk1.0-0 297s libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 297s libcairo-gobject2 libcairo2 libcairo2-ocaml libcln6 libcolord2 libcups2 297s libcvc4-7 libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 297s libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 297s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 297s libgtksourceview-3.0-common libharfbuzz0b libjbig0 libjpeg-turbo8 libjpeg8 297s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libpango-1.0-0 297s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 297s libstdlib-ocaml libthai-data libthai0 libtiff6 libwayland-client0 297s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 297s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 297s libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono why3 297s 0 upgraded, 75 newly installed, 0 to remove and 0 not upgraded. 297s Need to get 38.0 MB/38.0 MB of archives. 297s After this operation, 172 MB of additional disk space will be used. 297s Get:1 /tmp/autopkgtest.bwsIGf/2-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [720 B] 297s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 297s Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg-turbo8 s390x 2.1.5-2ubuntu1 [128 kB] 298s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 298s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdeflate0 s390x 1.19-1 [46.0 kB] 298s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libjbig0 s390x 2.1-6.1ubuntu1 [29.8 kB] 298s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libsharpyuv0 s390x 1.3.2-0.4 [14.8 kB] 298s Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libwebp7 s390x 1.3.2-0.4 [207 kB] 298s Get:9 http://ftpmaster.internal/ubuntu noble/main s390x libtiff6 s390x 4.5.1+git230720-3ubuntu1 [253 kB] 298s Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3 [152 kB] 298s Get:11 http://ftpmaster.internal/ubuntu noble/main s390x gtk-update-icon-cache s390x 3.24.40-2ubuntu1 [51.0 kB] 298s Get:12 http://ftpmaster.internal/ubuntu noble/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 298s Get:13 http://ftpmaster.internal/ubuntu noble/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 299s Get:14 http://ftpmaster.internal/ubuntu noble/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 299s Get:15 http://ftpmaster.internal/ubuntu noble/main s390x adwaita-icon-theme all 46~rc-1 [723 kB] 299s Get:16 http://ftpmaster.internal/ubuntu noble/main s390x at-spi2-common all 2.50.0-1 [7864 B] 299s Get:17 http://ftpmaster.internal/ubuntu noble/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 299s Get:18 http://ftpmaster.internal/ubuntu noble/universe s390x libcvc4-7 s390x 1.8-3 [4507 kB] 300s Get:19 http://ftpmaster.internal/ubuntu noble/universe s390x libantlr3c-3.4-0 s390x 3.4+dfsg-4build1 [42.5 kB] 300s Get:20 http://ftpmaster.internal/ubuntu noble/universe s390x libcvc4parser7 s390x 1.8-3 [350 kB] 300s Get:21 http://ftpmaster.internal/ubuntu noble/universe s390x cvc4 s390x 1.8-3 [71.8 kB] 300s Get:22 http://ftpmaster.internal/ubuntu noble/main s390x libdconf1 s390x 0.40.0-4 [38.9 kB] 300s Get:23 http://ftpmaster.internal/ubuntu noble/main s390x dconf-service s390x 0.40.0-4 [27.0 kB] 300s Get:24 http://ftpmaster.internal/ubuntu noble/main s390x dconf-gsettings-backend s390x 0.40.0-4 [21.6 kB] 300s Get:25 http://ftpmaster.internal/ubuntu noble/main s390x libfreetype6 s390x 2.13.2+dfsg-1 [431 kB] 300s Get:26 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 300s Get:27 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 300s Get:28 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig-config s390x 2.15.0-1ubuntu1 [37.0 kB] 300s Get:29 http://ftpmaster.internal/ubuntu noble/main s390x libfontconfig1 s390x 2.15.0-1ubuntu1 [150 kB] 300s Get:30 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig s390x 2.15.0-1ubuntu1 [191 kB] 300s Get:31 http://ftpmaster.internal/ubuntu noble/main s390x libatk1.0-0 s390x 2.50.0-1 [54.4 kB] 300s Get:32 http://ftpmaster.internal/ubuntu noble/main s390x libxi6 s390x 2:1.8.1-1 [35.7 kB] 300s Get:33 http://ftpmaster.internal/ubuntu noble/main s390x libatspi2.0-0 s390x 2.50.0-1 [77.9 kB] 300s Get:34 http://ftpmaster.internal/ubuntu noble/main s390x libatk-bridge2.0-0 s390x 2.50.0-1 [65.3 kB] 300s Get:35 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common-data s390x 0.8-13ubuntu2 [29.5 kB] 300s Get:36 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common3 s390x 0.8-13ubuntu2 [23.8 kB] 300s Get:37 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-client3 s390x 0.8-13ubuntu2 [26.7 kB] 300s Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libpixman-1-0 s390x 0.42.2-1 [173 kB] 300s Get:39 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-render0 s390x 1.15-1 [17.0 kB] 300s Get:40 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-shm0 s390x 1.15-1 [5782 B] 300s Get:41 http://ftpmaster.internal/ubuntu noble/main s390x libxrender1 s390x 1:0.9.10-1.1 [19.4 kB] 300s Get:42 http://ftpmaster.internal/ubuntu noble/main s390x libcairo2 s390x 1.18.0-1 [578 kB] 301s Get:43 http://ftpmaster.internal/ubuntu noble/main s390x libcairo-gobject2 s390x 1.18.0-1 [126 kB] 301s Get:44 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 301s Get:45 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 301s Get:46 http://ftpmaster.internal/ubuntu noble/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 301s Get:47 http://ftpmaster.internal/ubuntu noble/main s390x liblcms2-2 s390x 2.14-2 [155 kB] 301s Get:48 http://ftpmaster.internal/ubuntu noble/main s390x libcolord2 s390x 1.4.7-1 [151 kB] 301s Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libcups2 s390x 2.4.6-0ubuntu3 [277 kB] 301s Get:50 http://ftpmaster.internal/ubuntu noble/main s390x libdatrie1 s390x 0.2.13-3 [22.6 kB] 301s Get:51 http://ftpmaster.internal/ubuntu noble/main s390x libepoxy0 s390x 1.5.10-1 [232 kB] 301s Get:52 http://ftpmaster.internal/ubuntu noble/main s390x libgraphite2-3 s390x 1.3.14-2 [90.4 kB] 301s Get:53 http://ftpmaster.internal/ubuntu noble/main s390x libharfbuzz0b s390x 8.3.0-2 [515 kB] 301s Get:54 http://ftpmaster.internal/ubuntu noble/main s390x libthai-data all 0.1.29-2 [158 kB] 301s Get:55 http://ftpmaster.internal/ubuntu noble/main s390x libthai0 s390x 0.1.29-2 [20.6 kB] 301s Get:56 http://ftpmaster.internal/ubuntu noble/main s390x libpango-1.0-0 s390x 1.51.0+ds-4 [240 kB] 301s Get:57 http://ftpmaster.internal/ubuntu noble/main s390x libpangoft2-1.0-0 s390x 1.51.0+ds-4 [43.6 kB] 301s Get:58 http://ftpmaster.internal/ubuntu noble/main s390x libpangocairo-1.0-0 s390x 1.51.0+ds-4 [28.9 kB] 301s Get:59 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-client0 s390x 1.22.0-2.1 [26.1 kB] 301s Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-cursor0 s390x 1.22.0-2.1 [11.1 kB] 301s Get:61 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-egl1 s390x 1.22.0-2.1 [5452 B] 301s Get:62 http://ftpmaster.internal/ubuntu noble/main s390x libxcomposite1 s390x 1:0.4.5-1build2 [6952 B] 301s Get:63 http://ftpmaster.internal/ubuntu noble/main s390x libxfixes3 s390x 1:6.0.0-2 [10.6 kB] 301s Get:64 http://ftpmaster.internal/ubuntu noble/main s390x libxcursor1 s390x 1:1.2.1-1 [22.2 kB] 301s Get:65 http://ftpmaster.internal/ubuntu noble/main s390x libxdamage1 s390x 1:1.1.6-1 [5810 B] 301s Get:66 http://ftpmaster.internal/ubuntu noble/main s390x libxinerama1 s390x 2:1.1.4-3 [7110 B] 301s Get:67 http://ftpmaster.internal/ubuntu noble/main s390x libxrandr2 s390x 2:1.5.2-2 [19.5 kB] 301s Get:68 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 301s Get:69 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-0 s390x 3.24.40-2ubuntu1 [2952 kB] 301s Get:70 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 301s Get:71 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build1 [234 kB] 301s Get:72 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtk3-ocaml s390x 3.1.4-1 [4110 kB] 302s Get:73 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1 [355 kB] 302s Get:74 http://ftpmaster.internal/ubuntu noble/universe s390x tex-common all 6.18 [32.8 kB] 302s Get:75 http://ftpmaster.internal/ubuntu noble/universe s390x why3 s390x 1.6.0-1build4 [14.0 MB] 303s Fetched 38.0 MB in 5s (7234 kB/s) 303s Selecting previously unselected package libgdk-pixbuf2.0-common. 303s (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 ... 51726 files and directories currently installed.) 303s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 303s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 303s Selecting previously unselected package libjpeg-turbo8:s390x. 303s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_s390x.deb ... 303s Unpacking libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 303s Selecting previously unselected package libjpeg8:s390x. 303s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 303s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 303s Selecting previously unselected package libdeflate0:s390x. 303s Preparing to unpack .../03-libdeflate0_1.19-1_s390x.deb ... 303s Unpacking libdeflate0:s390x (1.19-1) ... 303s Selecting previously unselected package libjbig0:s390x. 303s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_s390x.deb ... 303s Unpacking libjbig0:s390x (2.1-6.1ubuntu1) ... 303s Selecting previously unselected package libsharpyuv0:s390x. 303s Preparing to unpack .../05-libsharpyuv0_1.3.2-0.4_s390x.deb ... 303s Unpacking libsharpyuv0:s390x (1.3.2-0.4) ... 303s Selecting previously unselected package libwebp7:s390x. 303s Preparing to unpack .../06-libwebp7_1.3.2-0.4_s390x.deb ... 303s Unpacking libwebp7:s390x (1.3.2-0.4) ... 303s Selecting previously unselected package libtiff6:s390x. 303s Preparing to unpack .../07-libtiff6_4.5.1+git230720-3ubuntu1_s390x.deb ... 303s Unpacking libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 303s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 303s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_s390x.deb ... 303s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 303s Selecting previously unselected package gtk-update-icon-cache. 303s Preparing to unpack .../09-gtk-update-icon-cache_3.24.40-2ubuntu1_s390x.deb ... 303s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 303s Selecting previously unselected package hicolor-icon-theme. 303s Preparing to unpack .../10-hicolor-icon-theme_0.17-2_all.deb ... 303s Unpacking hicolor-icon-theme (0.17-2) ... 303s Selecting previously unselected package humanity-icon-theme. 303s Preparing to unpack .../11-humanity-icon-theme_0.6.16_all.deb ... 303s Unpacking humanity-icon-theme (0.6.16) ... 304s Selecting previously unselected package ubuntu-mono. 304s Preparing to unpack .../12-ubuntu-mono_24.04-0ubuntu1_all.deb ... 304s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 304s Selecting previously unselected package adwaita-icon-theme. 304s Preparing to unpack .../13-adwaita-icon-theme_46~rc-1_all.deb ... 304s Unpacking adwaita-icon-theme (46~rc-1) ... 304s Selecting previously unselected package at-spi2-common. 304s Preparing to unpack .../14-at-spi2-common_2.50.0-1_all.deb ... 304s Unpacking at-spi2-common (2.50.0-1) ... 304s Selecting previously unselected package libcln6:s390x. 304s Preparing to unpack .../15-libcln6_1.3.7-1_s390x.deb ... 304s Unpacking libcln6:s390x (1.3.7-1) ... 304s Selecting previously unselected package libcvc4-7:s390x. 304s Preparing to unpack .../16-libcvc4-7_1.8-3_s390x.deb ... 304s Unpacking libcvc4-7:s390x (1.8-3) ... 304s Selecting previously unselected package libantlr3c-3.4-0:s390x. 304s Preparing to unpack .../17-libantlr3c-3.4-0_3.4+dfsg-4build1_s390x.deb ... 304s Unpacking libantlr3c-3.4-0:s390x (3.4+dfsg-4build1) ... 304s Selecting previously unselected package libcvc4parser7:s390x. 304s Preparing to unpack .../18-libcvc4parser7_1.8-3_s390x.deb ... 304s Unpacking libcvc4parser7:s390x (1.8-3) ... 304s Selecting previously unselected package cvc4. 304s Preparing to unpack .../19-cvc4_1.8-3_s390x.deb ... 304s Unpacking cvc4 (1.8-3) ... 304s Selecting previously unselected package libdconf1:s390x. 304s Preparing to unpack .../20-libdconf1_0.40.0-4_s390x.deb ... 304s Unpacking libdconf1:s390x (0.40.0-4) ... 304s Selecting previously unselected package dconf-service. 304s Preparing to unpack .../21-dconf-service_0.40.0-4_s390x.deb ... 304s Unpacking dconf-service (0.40.0-4) ... 304s Selecting previously unselected package dconf-gsettings-backend:s390x. 304s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-4_s390x.deb ... 304s Unpacking dconf-gsettings-backend:s390x (0.40.0-4) ... 304s Selecting previously unselected package libfreetype6:s390x. 304s Preparing to unpack .../23-libfreetype6_2.13.2+dfsg-1_s390x.deb ... 304s Unpacking libfreetype6:s390x (2.13.2+dfsg-1) ... 304s Selecting previously unselected package fonts-dejavu-mono. 304s Preparing to unpack .../24-fonts-dejavu-mono_2.37-8_all.deb ... 304s Unpacking fonts-dejavu-mono (2.37-8) ... 304s Selecting previously unselected package fonts-dejavu-core. 304s Preparing to unpack .../25-fonts-dejavu-core_2.37-8_all.deb ... 304s Unpacking fonts-dejavu-core (2.37-8) ... 304s Selecting previously unselected package fontconfig-config. 304s Preparing to unpack .../26-fontconfig-config_2.15.0-1ubuntu1_s390x.deb ... 305s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 305s Selecting previously unselected package libfontconfig1:s390x. 305s Preparing to unpack .../27-libfontconfig1_2.15.0-1ubuntu1_s390x.deb ... 305s Unpacking libfontconfig1:s390x (2.15.0-1ubuntu1) ... 305s Selecting previously unselected package fontconfig. 305s Preparing to unpack .../28-fontconfig_2.15.0-1ubuntu1_s390x.deb ... 305s Unpacking fontconfig (2.15.0-1ubuntu1) ... 305s Selecting previously unselected package libatk1.0-0:s390x. 305s Preparing to unpack .../29-libatk1.0-0_2.50.0-1_s390x.deb ... 305s Unpacking libatk1.0-0:s390x (2.50.0-1) ... 305s Selecting previously unselected package libxi6:s390x. 305s Preparing to unpack .../30-libxi6_2%3a1.8.1-1_s390x.deb ... 305s Unpacking libxi6:s390x (2:1.8.1-1) ... 305s Selecting previously unselected package libatspi2.0-0:s390x. 305s Preparing to unpack .../31-libatspi2.0-0_2.50.0-1_s390x.deb ... 305s Unpacking libatspi2.0-0:s390x (2.50.0-1) ... 305s Selecting previously unselected package libatk-bridge2.0-0:s390x. 305s Preparing to unpack .../32-libatk-bridge2.0-0_2.50.0-1_s390x.deb ... 305s Unpacking libatk-bridge2.0-0:s390x (2.50.0-1) ... 305s Selecting previously unselected package libavahi-common-data:s390x. 305s Preparing to unpack .../33-libavahi-common-data_0.8-13ubuntu2_s390x.deb ... 305s Unpacking libavahi-common-data:s390x (0.8-13ubuntu2) ... 305s Selecting previously unselected package libavahi-common3:s390x. 305s Preparing to unpack .../34-libavahi-common3_0.8-13ubuntu2_s390x.deb ... 305s Unpacking libavahi-common3:s390x (0.8-13ubuntu2) ... 305s Selecting previously unselected package libavahi-client3:s390x. 305s Preparing to unpack .../35-libavahi-client3_0.8-13ubuntu2_s390x.deb ... 305s Unpacking libavahi-client3:s390x (0.8-13ubuntu2) ... 305s Selecting previously unselected package libpixman-1-0:s390x. 305s Preparing to unpack .../36-libpixman-1-0_0.42.2-1_s390x.deb ... 305s Unpacking libpixman-1-0:s390x (0.42.2-1) ... 305s Selecting previously unselected package libxcb-render0:s390x. 305s Preparing to unpack .../37-libxcb-render0_1.15-1_s390x.deb ... 305s Unpacking libxcb-render0:s390x (1.15-1) ... 305s Selecting previously unselected package libxcb-shm0:s390x. 305s Preparing to unpack .../38-libxcb-shm0_1.15-1_s390x.deb ... 305s Unpacking libxcb-shm0:s390x (1.15-1) ... 305s Selecting previously unselected package libxrender1:s390x. 305s Preparing to unpack .../39-libxrender1_1%3a0.9.10-1.1_s390x.deb ... 305s Unpacking libxrender1:s390x (1:0.9.10-1.1) ... 305s Selecting previously unselected package libcairo2:s390x. 305s Preparing to unpack .../40-libcairo2_1.18.0-1_s390x.deb ... 305s Unpacking libcairo2:s390x (1.18.0-1) ... 305s Selecting previously unselected package libcairo-gobject2:s390x. 305s Preparing to unpack .../41-libcairo-gobject2_1.18.0-1_s390x.deb ... 305s Unpacking libcairo-gobject2:s390x (1.18.0-1) ... 305s Selecting previously unselected package libstdlib-ocaml. 305s Preparing to unpack .../42-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 305s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 305s Selecting previously unselected package ocaml-base. 305s Preparing to unpack .../43-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 305s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 305s Selecting previously unselected package libcairo2-ocaml. 305s Preparing to unpack .../44-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 305s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 305s Selecting previously unselected package liblcms2-2:s390x. 305s Preparing to unpack .../45-liblcms2-2_2.14-2_s390x.deb ... 305s Unpacking liblcms2-2:s390x (2.14-2) ... 305s Selecting previously unselected package libcolord2:s390x. 305s Preparing to unpack .../46-libcolord2_1.4.7-1_s390x.deb ... 305s Unpacking libcolord2:s390x (1.4.7-1) ... 305s Selecting previously unselected package libcups2:s390x. 305s Preparing to unpack .../47-libcups2_2.4.6-0ubuntu3_s390x.deb ... 305s Unpacking libcups2:s390x (2.4.6-0ubuntu3) ... 305s Selecting previously unselected package libdatrie1:s390x. 305s Preparing to unpack .../48-libdatrie1_0.2.13-3_s390x.deb ... 305s Unpacking libdatrie1:s390x (0.2.13-3) ... 305s Selecting previously unselected package libepoxy0:s390x. 305s Preparing to unpack .../49-libepoxy0_1.5.10-1_s390x.deb ... 305s Unpacking libepoxy0:s390x (1.5.10-1) ... 305s Selecting previously unselected package libgraphite2-3:s390x. 305s Preparing to unpack .../50-libgraphite2-3_1.3.14-2_s390x.deb ... 305s Unpacking libgraphite2-3:s390x (1.3.14-2) ... 305s Selecting previously unselected package libharfbuzz0b:s390x. 305s Preparing to unpack .../51-libharfbuzz0b_8.3.0-2_s390x.deb ... 305s Unpacking libharfbuzz0b:s390x (8.3.0-2) ... 305s Selecting previously unselected package libthai-data. 305s Preparing to unpack .../52-libthai-data_0.1.29-2_all.deb ... 305s Unpacking libthai-data (0.1.29-2) ... 305s Selecting previously unselected package libthai0:s390x. 305s Preparing to unpack .../53-libthai0_0.1.29-2_s390x.deb ... 305s Unpacking libthai0:s390x (0.1.29-2) ... 305s Selecting previously unselected package libpango-1.0-0:s390x. 305s Preparing to unpack .../54-libpango-1.0-0_1.51.0+ds-4_s390x.deb ... 305s Unpacking libpango-1.0-0:s390x (1.51.0+ds-4) ... 305s Selecting previously unselected package libpangoft2-1.0-0:s390x. 305s Preparing to unpack .../55-libpangoft2-1.0-0_1.51.0+ds-4_s390x.deb ... 305s Unpacking libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 305s Selecting previously unselected package libpangocairo-1.0-0:s390x. 305s Preparing to unpack .../56-libpangocairo-1.0-0_1.51.0+ds-4_s390x.deb ... 305s Unpacking libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 305s Selecting previously unselected package libwayland-client0:s390x. 305s Preparing to unpack .../57-libwayland-client0_1.22.0-2.1_s390x.deb ... 305s Unpacking libwayland-client0:s390x (1.22.0-2.1) ... 305s Selecting previously unselected package libwayland-cursor0:s390x. 305s Preparing to unpack .../58-libwayland-cursor0_1.22.0-2.1_s390x.deb ... 305s Unpacking libwayland-cursor0:s390x (1.22.0-2.1) ... 305s Selecting previously unselected package libwayland-egl1:s390x. 305s Preparing to unpack .../59-libwayland-egl1_1.22.0-2.1_s390x.deb ... 305s Unpacking libwayland-egl1:s390x (1.22.0-2.1) ... 305s Selecting previously unselected package libxcomposite1:s390x. 305s Preparing to unpack .../60-libxcomposite1_1%3a0.4.5-1build2_s390x.deb ... 305s Unpacking libxcomposite1:s390x (1:0.4.5-1build2) ... 305s Selecting previously unselected package libxfixes3:s390x. 305s Preparing to unpack .../61-libxfixes3_1%3a6.0.0-2_s390x.deb ... 305s Unpacking libxfixes3:s390x (1:6.0.0-2) ... 305s Selecting previously unselected package libxcursor1:s390x. 305s Preparing to unpack .../62-libxcursor1_1%3a1.2.1-1_s390x.deb ... 305s Unpacking libxcursor1:s390x (1:1.2.1-1) ... 305s Selecting previously unselected package libxdamage1:s390x. 305s Preparing to unpack .../63-libxdamage1_1%3a1.1.6-1_s390x.deb ... 305s Unpacking libxdamage1:s390x (1:1.1.6-1) ... 305s Selecting previously unselected package libxinerama1:s390x. 305s Preparing to unpack .../64-libxinerama1_2%3a1.1.4-3_s390x.deb ... 305s Unpacking libxinerama1:s390x (2:1.1.4-3) ... 305s Selecting previously unselected package libxrandr2:s390x. 305s Preparing to unpack .../65-libxrandr2_2%3a1.5.2-2_s390x.deb ... 305s Unpacking libxrandr2:s390x (2:1.5.2-2) ... 305s Selecting previously unselected package libgtk-3-common. 305s Preparing to unpack .../66-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 305s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 305s Selecting previously unselected package libgtk-3-0:s390x. 305s Preparing to unpack .../67-libgtk-3-0_3.24.40-2ubuntu1_s390x.deb ... 305s Unpacking libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 305s Selecting previously unselected package libgtksourceview-3.0-common. 305s Preparing to unpack .../68-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 305s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 305s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 305s Preparing to unpack .../69-libgtksourceview-3.0-1_3.24.11-2build1_s390x.deb ... 305s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 305s Selecting previously unselected package liblablgtk3-ocaml. 305s Preparing to unpack .../70-liblablgtk3-ocaml_3.1.4-1_s390x.deb ... 305s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 306s Selecting previously unselected package liblablgtksourceview3-ocaml. 306s Preparing to unpack .../71-liblablgtksourceview3-ocaml_3.1.4-1_s390x.deb ... 306s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 306s Selecting previously unselected package tex-common. 306s Preparing to unpack .../72-tex-common_6.18_all.deb ... 306s Unpacking tex-common (6.18) ... 306s Selecting previously unselected package why3. 306s Preparing to unpack .../73-why3_1.6.0-1build4_s390x.deb ... 306s Unpacking why3 (1.6.0-1build4) ... 306s Selecting previously unselected package autopkgtest-satdep. 306s Preparing to unpack .../74-2-autopkgtest-satdep.deb ... 306s Unpacking autopkgtest-satdep (0) ... 306s Setting up libgraphite2-3:s390x (1.3.14-2) ... 306s Setting up liblcms2-2:s390x (2.14-2) ... 306s Setting up libpixman-1-0:s390x (0.42.2-1) ... 306s Setting up libsharpyuv0:s390x (1.3.2-0.4) ... 306s Setting up libcln6:s390x (1.3.7-1) ... 306s Setting up libxdamage1:s390x (1:1.1.6-1) ... 306s Setting up libantlr3c-3.4-0:s390x (3.4+dfsg-4build1) ... 306s Setting up hicolor-icon-theme (0.17-2) ... 306s Setting up libxi6:s390x (2:1.8.1-1) ... 306s Setting up libxrender1:s390x (1:0.9.10-1.1) ... 306s Setting up libdatrie1:s390x (0.2.13-3) ... 306s Setting up libxcb-render0:s390x (1.15-1) ... 306s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 306s Setting up libdeflate0:s390x (1.19-1) ... 306s Setting up libxcb-shm0:s390x (1.15-1) ... 306s Setting up libatspi2.0-0:s390x (2.50.0-1) ... 306s Setting up libjbig0:s390x (2.1-6.1ubuntu1) ... 306s Setting up libcolord2:s390x (1.4.7-1) ... 306s Setting up libdconf1:s390x (0.40.0-4) ... 306s Setting up tex-common (6.18) ... 306s update-language: texlive-base not installed and configured, doing nothing! 306s Setting up libfreetype6:s390x (2.13.2+dfsg-1) ... 306s Setting up libepoxy0:s390x (1.5.10-1) ... 306s Setting up libxfixes3:s390x (1:6.0.0-2) ... 306s Setting up libavahi-common-data:s390x (0.8-13ubuntu2) ... 306s Setting up libxinerama1:s390x (2:1.1.4-3) ... 306s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 306s Setting up fonts-dejavu-mono (2.37-8) ... 306s Setting up libxrandr2:s390x (2:1.5.2-2) ... 306s Setting up ocaml-base (4.14.1-1ubuntu1) ... 306s Setting up fonts-dejavu-core (2.37-8) ... 306s Setting up libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 306s Setting up libwebp7:s390x (1.3.2-0.4) ... 306s Setting up at-spi2-common (2.50.0-1) ... 306s Setting up libcvc4-7:s390x (1.8-3) ... 306s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 306s Setting up libharfbuzz0b:s390x (8.3.0-2) ... 306s Setting up libthai-data (0.1.29-2) ... 306s Setting up libatk1.0-0:s390x (2.50.0-1) ... 306s Setting up libwayland-egl1:s390x (1.22.0-2.1) ... 306s Setting up libxcomposite1:s390x (1:0.4.5-1build2) ... 306s Setting up libwayland-client0:s390x (1.22.0-2.1) ... 306s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 306s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 307s Setting up libxcursor1:s390x (1:1.2.1-1) ... 307s Setting up libavahi-common3:s390x (0.8-13ubuntu2) ... 307s Setting up dconf-service (0.40.0-4) ... 307s Setting up libatk-bridge2.0-0:s390x (2.50.0-1) ... 307s Setting up libthai0:s390x (0.1.29-2) ... 307s Setting up libcvc4parser7:s390x (1.8-3) ... 307s Setting up libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 307s Setting up libwayland-cursor0:s390x (1.22.0-2.1) ... 307s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 307s Setting up cvc4 (1.8-3) ... 307s Setting up libfontconfig1:s390x (2.15.0-1ubuntu1) ... 307s Setting up libavahi-client3:s390x (0.8-13ubuntu2) ... 307s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 307s Setting up fontconfig (2.15.0-1ubuntu1) ... 308s Regenerating fonts cache... done. 308s Setting up dconf-gsettings-backend:s390x (0.40.0-4) ... 308s Setting up libpango-1.0-0:s390x (1.51.0+ds-4) ... 308s Setting up libcairo2:s390x (1.18.0-1) ... 308s Setting up libcups2:s390x (2.4.6-0ubuntu3) ... 309s Setting up libcairo-gobject2:s390x (1.18.0-1) ... 309s Setting up libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 309s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 309s Setting up libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 309s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 309s Setting up adwaita-icon-theme (46~rc-1) ... 309s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 309s Setting up humanity-icon-theme (0.6.16) ... 309s Setting up ubuntu-mono (24.04-0ubuntu1) ... 309s Processing triggers for man-db (2.12.0-3) ... 309s Processing triggers for libglib2.0-0:s390x (2.79.2-1~ubuntu1) ... 309s Setting up libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 309s Processing triggers for libc-bin (2.39-0ubuntu2) ... 309s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 309s Setting up liblablgtk3-ocaml (3.1.4-1) ... 309s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 309s Setting up why3 (1.6.0-1build4) ... 309s Setting up autopkgtest-satdep (0) ... 309s Processing triggers for libc-bin (2.39-0ubuntu2) ... 312s (Reading database ... 65520 files and directories currently installed.) 312s Removing autopkgtest-satdep (0) ... 318s autopkgtest [01:19:49]: test why3+cvc4: [----------------------- 319s autopkgtest [01:19:50]: test why3+cvc4: -----------------------] 319s autopkgtest [01:19:50]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 319s why3+cvc4 PASS 320s autopkgtest [01:19:51]: test why3+spass: preparing testbed 501s autopkgtest [01:22:52]: testbed dpkg architecture: s390x 501s autopkgtest [01:22:52]: testbed apt version: 2.7.12 501s autopkgtest [01:22:52]: @@@@@@@@@@@@@@@@@@@@ test bed setup 502s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 503s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [57.7 kB] 503s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [498 kB] 503s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 503s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3979 kB] 503s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [665 kB] 503s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 503s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 503s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 503s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [4162 kB] 503s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 503s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [47.5 kB] 503s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 505s Fetched 9545 kB in 3s (3816 kB/s) 506s Reading package lists... 508s Reading package lists... 509s Building dependency tree... 509s Reading state information... 509s Calculating upgrade... 509s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 509s Reading package lists... 509s Building dependency tree... 509s Reading state information... 509s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 510s Unknown architecture, assuming PC-style ttyS0 510s sh: Attempting to set up Debian/Ubuntu apt sources automatically 510s sh: Distribution appears to be Ubuntu 511s Reading package lists... 511s Building dependency tree... 511s Reading state information... 511s eatmydata is already the newest version (131-1). 511s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 511s Reading package lists... 511s Building dependency tree... 511s Reading state information... 511s dbus is already the newest version (1.14.10-4ubuntu1). 511s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 511s Reading package lists... 512s Building dependency tree... 512s Reading state information... 512s rng-tools-debian is already the newest version (2.4). 512s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 512s Reading package lists... 512s Building dependency tree... 512s Reading state information... 512s The following packages will be REMOVED: 512s cloud-init* python3-configobj* python3-debconf* 512s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 512s After this operation, 3256 kB disk space will be freed. 512s (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 ... 52170 files and directories currently installed.) 512s Removing cloud-init (24.1.2-0ubuntu1) ... 513s Removing python3-configobj (5.0.8-3) ... 513s Removing python3-debconf (1.5.86) ... 513s Processing triggers for man-db (2.12.0-3) ... 513s (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 ... 51781 files and directories currently installed.) 513s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 514s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 514s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 514s invoke-rc.d: policy-rc.d denied execution of try-restart. 514s Reading package lists... 514s Building dependency tree... 514s Reading state information... 515s linux-generic is already the newest version (6.8.0-11.11+1). 515s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 515s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 515s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 515s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 517s Reading package lists... 517s Reading package lists... 517s Building dependency tree... 517s Reading state information... 517s Calculating upgrade... 518s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 518s Reading package lists... 518s Building dependency tree... 518s Reading state information... 518s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 518s autopkgtest [01:23:09]: rebooting testbed after setup commands that affected boot 537s Reading package lists... 537s Building dependency tree... 537s Reading state information... 537s Starting pkgProblemResolver with broken count: 0 537s Starting 2 pkgProblemResolver with broken count: 0 537s Done 538s The following additional packages will be installed: 538s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 538s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 538s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 538s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 538s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 538s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 538s libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 538s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 538s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 538s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 538s liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 538s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 538s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 538s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 538s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 538s ubuntu-mono why3 538s Suggested packages: 538s colord cups-common gvfs liblcms2-utils debhelper why3-examples 538s Recommended packages: 538s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 538s The following NEW packages will be installed: 538s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 538s dconf-service fontconfig fontconfig-config fonts-dejavu-core 538s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 538s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 538s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 538s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 538s libdeflate0 libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 538s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 538s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 538s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 538s liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 538s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 538s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 538s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 538s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base spass tex-common 538s ubuntu-mono why3 538s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 538s Need to get 32.9 MB/32.9 MB of archives. 538s After this operation, 153 MB of additional disk space will be used. 538s Get:1 /tmp/autopkgtest.bwsIGf/3-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [712 B] 538s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 538s Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg-turbo8 s390x 2.1.5-2ubuntu1 [128 kB] 538s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 538s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdeflate0 s390x 1.19-1 [46.0 kB] 538s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libjbig0 s390x 2.1-6.1ubuntu1 [29.8 kB] 538s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libsharpyuv0 s390x 1.3.2-0.4 [14.8 kB] 538s Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libwebp7 s390x 1.3.2-0.4 [207 kB] 538s Get:9 http://ftpmaster.internal/ubuntu noble/main s390x libtiff6 s390x 4.5.1+git230720-3ubuntu1 [253 kB] 538s Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3 [152 kB] 538s Get:11 http://ftpmaster.internal/ubuntu noble/main s390x gtk-update-icon-cache s390x 3.24.40-2ubuntu1 [51.0 kB] 538s Get:12 http://ftpmaster.internal/ubuntu noble/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 538s Get:13 http://ftpmaster.internal/ubuntu noble/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 539s Get:14 http://ftpmaster.internal/ubuntu noble/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 539s Get:15 http://ftpmaster.internal/ubuntu noble/main s390x adwaita-icon-theme all 46~rc-1 [723 kB] 539s Get:16 http://ftpmaster.internal/ubuntu noble/main s390x at-spi2-common all 2.50.0-1 [7864 B] 539s Get:17 http://ftpmaster.internal/ubuntu noble/main s390x libdconf1 s390x 0.40.0-4 [38.9 kB] 539s Get:18 http://ftpmaster.internal/ubuntu noble/main s390x dconf-service s390x 0.40.0-4 [27.0 kB] 539s Get:19 http://ftpmaster.internal/ubuntu noble/main s390x dconf-gsettings-backend s390x 0.40.0-4 [21.6 kB] 539s Get:20 http://ftpmaster.internal/ubuntu noble/main s390x libfreetype6 s390x 2.13.2+dfsg-1 [431 kB] 539s Get:21 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 539s Get:22 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 539s Get:23 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig-config s390x 2.15.0-1ubuntu1 [37.0 kB] 539s Get:24 http://ftpmaster.internal/ubuntu noble/main s390x libfontconfig1 s390x 2.15.0-1ubuntu1 [150 kB] 539s Get:25 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig s390x 2.15.0-1ubuntu1 [191 kB] 540s Get:26 http://ftpmaster.internal/ubuntu noble/main s390x libatk1.0-0 s390x 2.50.0-1 [54.4 kB] 540s Get:27 http://ftpmaster.internal/ubuntu noble/main s390x libxi6 s390x 2:1.8.1-1 [35.7 kB] 540s Get:28 http://ftpmaster.internal/ubuntu noble/main s390x libatspi2.0-0 s390x 2.50.0-1 [77.9 kB] 540s Get:29 http://ftpmaster.internal/ubuntu noble/main s390x libatk-bridge2.0-0 s390x 2.50.0-1 [65.3 kB] 540s Get:30 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common-data s390x 0.8-13ubuntu2 [29.5 kB] 540s Get:31 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common3 s390x 0.8-13ubuntu2 [23.8 kB] 540s Get:32 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-client3 s390x 0.8-13ubuntu2 [26.7 kB] 540s Get:33 http://ftpmaster.internal/ubuntu noble/main s390x libpixman-1-0 s390x 0.42.2-1 [173 kB] 540s Get:34 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-render0 s390x 1.15-1 [17.0 kB] 540s Get:35 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-shm0 s390x 1.15-1 [5782 B] 540s Get:36 http://ftpmaster.internal/ubuntu noble/main s390x libxrender1 s390x 1:0.9.10-1.1 [19.4 kB] 540s Get:37 http://ftpmaster.internal/ubuntu noble/main s390x libcairo2 s390x 1.18.0-1 [578 kB] 540s Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libcairo-gobject2 s390x 1.18.0-1 [126 kB] 540s Get:39 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 540s Get:40 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 540s Get:41 http://ftpmaster.internal/ubuntu noble/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 540s Get:42 http://ftpmaster.internal/ubuntu noble/main s390x liblcms2-2 s390x 2.14-2 [155 kB] 540s Get:43 http://ftpmaster.internal/ubuntu noble/main s390x libcolord2 s390x 1.4.7-1 [151 kB] 540s Get:44 http://ftpmaster.internal/ubuntu noble/main s390x libcups2 s390x 2.4.6-0ubuntu3 [277 kB] 540s Get:45 http://ftpmaster.internal/ubuntu noble/main s390x libdatrie1 s390x 0.2.13-3 [22.6 kB] 540s Get:46 http://ftpmaster.internal/ubuntu noble/main s390x libepoxy0 s390x 1.5.10-1 [232 kB] 540s Get:47 http://ftpmaster.internal/ubuntu noble/main s390x libgraphite2-3 s390x 1.3.14-2 [90.4 kB] 540s Get:48 http://ftpmaster.internal/ubuntu noble/main s390x libharfbuzz0b s390x 8.3.0-2 [515 kB] 540s Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libthai-data all 0.1.29-2 [158 kB] 540s Get:50 http://ftpmaster.internal/ubuntu noble/main s390x libthai0 s390x 0.1.29-2 [20.6 kB] 540s Get:51 http://ftpmaster.internal/ubuntu noble/main s390x libpango-1.0-0 s390x 1.51.0+ds-4 [240 kB] 540s Get:52 http://ftpmaster.internal/ubuntu noble/main s390x libpangoft2-1.0-0 s390x 1.51.0+ds-4 [43.6 kB] 540s Get:53 http://ftpmaster.internal/ubuntu noble/main s390x libpangocairo-1.0-0 s390x 1.51.0+ds-4 [28.9 kB] 540s Get:54 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-client0 s390x 1.22.0-2.1 [26.1 kB] 540s Get:55 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-cursor0 s390x 1.22.0-2.1 [11.1 kB] 540s Get:56 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-egl1 s390x 1.22.0-2.1 [5452 B] 540s Get:57 http://ftpmaster.internal/ubuntu noble/main s390x libxcomposite1 s390x 1:0.4.5-1build2 [6952 B] 540s Get:58 http://ftpmaster.internal/ubuntu noble/main s390x libxfixes3 s390x 1:6.0.0-2 [10.6 kB] 540s Get:59 http://ftpmaster.internal/ubuntu noble/main s390x libxcursor1 s390x 1:1.2.1-1 [22.2 kB] 540s Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libxdamage1 s390x 1:1.1.6-1 [5810 B] 540s Get:61 http://ftpmaster.internal/ubuntu noble/main s390x libxinerama1 s390x 2:1.1.4-3 [7110 B] 540s Get:62 http://ftpmaster.internal/ubuntu noble/main s390x libxrandr2 s390x 2:1.5.2-2 [19.5 kB] 540s Get:63 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 540s Get:64 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-0 s390x 3.24.40-2ubuntu1 [2952 kB] 541s Get:65 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 541s Get:66 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build1 [234 kB] 541s Get:67 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtk3-ocaml s390x 3.1.4-1 [4110 kB] 541s Get:68 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1 [355 kB] 541s Get:69 http://ftpmaster.internal/ubuntu noble/universe s390x spass s390x 3.9-1.1 [354 kB] 541s Get:70 http://ftpmaster.internal/ubuntu noble/universe s390x tex-common all 6.18 [32.8 kB] 541s Get:71 http://ftpmaster.internal/ubuntu noble/universe s390x why3 s390x 1.6.0-1build4 [14.0 MB] 542s Fetched 32.9 MB in 4s (7909 kB/s) 542s Selecting previously unselected package libgdk-pixbuf2.0-common. 542s (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 ... 51726 files and directories currently installed.) 542s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 542s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 542s Selecting previously unselected package libjpeg-turbo8:s390x. 542s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_s390x.deb ... 542s Unpacking libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 542s Selecting previously unselected package libjpeg8:s390x. 542s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 542s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 542s Selecting previously unselected package libdeflate0:s390x. 542s Preparing to unpack .../03-libdeflate0_1.19-1_s390x.deb ... 542s Unpacking libdeflate0:s390x (1.19-1) ... 542s Selecting previously unselected package libjbig0:s390x. 542s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_s390x.deb ... 542s Unpacking libjbig0:s390x (2.1-6.1ubuntu1) ... 542s Selecting previously unselected package libsharpyuv0:s390x. 542s Preparing to unpack .../05-libsharpyuv0_1.3.2-0.4_s390x.deb ... 542s Unpacking libsharpyuv0:s390x (1.3.2-0.4) ... 542s Selecting previously unselected package libwebp7:s390x. 542s Preparing to unpack .../06-libwebp7_1.3.2-0.4_s390x.deb ... 542s Unpacking libwebp7:s390x (1.3.2-0.4) ... 542s Selecting previously unselected package libtiff6:s390x. 542s Preparing to unpack .../07-libtiff6_4.5.1+git230720-3ubuntu1_s390x.deb ... 542s Unpacking libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 542s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 542s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_s390x.deb ... 542s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 542s Selecting previously unselected package gtk-update-icon-cache. 542s Preparing to unpack .../09-gtk-update-icon-cache_3.24.40-2ubuntu1_s390x.deb ... 542s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 543s Selecting previously unselected package hicolor-icon-theme. 543s Preparing to unpack .../10-hicolor-icon-theme_0.17-2_all.deb ... 543s Unpacking hicolor-icon-theme (0.17-2) ... 543s Selecting previously unselected package humanity-icon-theme. 543s Preparing to unpack .../11-humanity-icon-theme_0.6.16_all.deb ... 543s Unpacking humanity-icon-theme (0.6.16) ... 543s Selecting previously unselected package ubuntu-mono. 543s Preparing to unpack .../12-ubuntu-mono_24.04-0ubuntu1_all.deb ... 543s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 544s Selecting previously unselected package adwaita-icon-theme. 544s Preparing to unpack .../13-adwaita-icon-theme_46~rc-1_all.deb ... 544s Unpacking adwaita-icon-theme (46~rc-1) ... 544s Selecting previously unselected package at-spi2-common. 544s Preparing to unpack .../14-at-spi2-common_2.50.0-1_all.deb ... 544s Unpacking at-spi2-common (2.50.0-1) ... 544s Selecting previously unselected package libdconf1:s390x. 544s Preparing to unpack .../15-libdconf1_0.40.0-4_s390x.deb ... 544s Unpacking libdconf1:s390x (0.40.0-4) ... 544s Selecting previously unselected package dconf-service. 544s Preparing to unpack .../16-dconf-service_0.40.0-4_s390x.deb ... 544s Unpacking dconf-service (0.40.0-4) ... 544s Selecting previously unselected package dconf-gsettings-backend:s390x. 544s Preparing to unpack .../17-dconf-gsettings-backend_0.40.0-4_s390x.deb ... 544s Unpacking dconf-gsettings-backend:s390x (0.40.0-4) ... 544s Selecting previously unselected package libfreetype6:s390x. 544s Preparing to unpack .../18-libfreetype6_2.13.2+dfsg-1_s390x.deb ... 544s Unpacking libfreetype6:s390x (2.13.2+dfsg-1) ... 544s Selecting previously unselected package fonts-dejavu-mono. 544s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 544s Unpacking fonts-dejavu-mono (2.37-8) ... 544s Selecting previously unselected package fonts-dejavu-core. 544s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 544s Unpacking fonts-dejavu-core (2.37-8) ... 544s Selecting previously unselected package fontconfig-config. 544s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_s390x.deb ... 544s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 544s Selecting previously unselected package libfontconfig1:s390x. 544s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_s390x.deb ... 544s Unpacking libfontconfig1:s390x (2.15.0-1ubuntu1) ... 544s Selecting previously unselected package fontconfig. 544s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_s390x.deb ... 544s Unpacking fontconfig (2.15.0-1ubuntu1) ... 544s Selecting previously unselected package libatk1.0-0:s390x. 544s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_s390x.deb ... 544s Unpacking libatk1.0-0:s390x (2.50.0-1) ... 544s Selecting previously unselected package libxi6:s390x. 544s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_s390x.deb ... 544s Unpacking libxi6:s390x (2:1.8.1-1) ... 544s Selecting previously unselected package libatspi2.0-0:s390x. 544s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_s390x.deb ... 544s Unpacking libatspi2.0-0:s390x (2.50.0-1) ... 544s Selecting previously unselected package libatk-bridge2.0-0:s390x. 544s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_s390x.deb ... 544s Unpacking libatk-bridge2.0-0:s390x (2.50.0-1) ... 544s Selecting previously unselected package libavahi-common-data:s390x. 544s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_s390x.deb ... 544s Unpacking libavahi-common-data:s390x (0.8-13ubuntu2) ... 544s Selecting previously unselected package libavahi-common3:s390x. 544s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_s390x.deb ... 544s Unpacking libavahi-common3:s390x (0.8-13ubuntu2) ... 544s Selecting previously unselected package libavahi-client3:s390x. 544s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_s390x.deb ... 544s Unpacking libavahi-client3:s390x (0.8-13ubuntu2) ... 544s Selecting previously unselected package libpixman-1-0:s390x. 544s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_s390x.deb ... 544s Unpacking libpixman-1-0:s390x (0.42.2-1) ... 544s Selecting previously unselected package libxcb-render0:s390x. 544s Preparing to unpack .../32-libxcb-render0_1.15-1_s390x.deb ... 544s Unpacking libxcb-render0:s390x (1.15-1) ... 544s Selecting previously unselected package libxcb-shm0:s390x. 544s Preparing to unpack .../33-libxcb-shm0_1.15-1_s390x.deb ... 544s Unpacking libxcb-shm0:s390x (1.15-1) ... 544s Selecting previously unselected package libxrender1:s390x. 544s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_s390x.deb ... 544s Unpacking libxrender1:s390x (1:0.9.10-1.1) ... 544s Selecting previously unselected package libcairo2:s390x. 544s Preparing to unpack .../35-libcairo2_1.18.0-1_s390x.deb ... 544s Unpacking libcairo2:s390x (1.18.0-1) ... 544s Selecting previously unselected package libcairo-gobject2:s390x. 544s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_s390x.deb ... 544s Unpacking libcairo-gobject2:s390x (1.18.0-1) ... 544s Selecting previously unselected package libstdlib-ocaml. 544s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 544s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 545s Selecting previously unselected package ocaml-base. 545s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 545s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 545s Selecting previously unselected package libcairo2-ocaml. 545s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 545s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 545s Selecting previously unselected package liblcms2-2:s390x. 545s Preparing to unpack .../40-liblcms2-2_2.14-2_s390x.deb ... 545s Unpacking liblcms2-2:s390x (2.14-2) ... 545s Selecting previously unselected package libcolord2:s390x. 545s Preparing to unpack .../41-libcolord2_1.4.7-1_s390x.deb ... 545s Unpacking libcolord2:s390x (1.4.7-1) ... 545s Selecting previously unselected package libcups2:s390x. 545s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_s390x.deb ... 545s Unpacking libcups2:s390x (2.4.6-0ubuntu3) ... 545s Selecting previously unselected package libdatrie1:s390x. 545s Preparing to unpack .../43-libdatrie1_0.2.13-3_s390x.deb ... 545s Unpacking libdatrie1:s390x (0.2.13-3) ... 545s Selecting previously unselected package libepoxy0:s390x. 545s Preparing to unpack .../44-libepoxy0_1.5.10-1_s390x.deb ... 545s Unpacking libepoxy0:s390x (1.5.10-1) ... 545s Selecting previously unselected package libgraphite2-3:s390x. 545s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_s390x.deb ... 545s Unpacking libgraphite2-3:s390x (1.3.14-2) ... 545s Selecting previously unselected package libharfbuzz0b:s390x. 545s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_s390x.deb ... 545s Unpacking libharfbuzz0b:s390x (8.3.0-2) ... 545s Selecting previously unselected package libthai-data. 545s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 545s Unpacking libthai-data (0.1.29-2) ... 545s Selecting previously unselected package libthai0:s390x. 545s Preparing to unpack .../48-libthai0_0.1.29-2_s390x.deb ... 545s Unpacking libthai0:s390x (0.1.29-2) ... 545s Selecting previously unselected package libpango-1.0-0:s390x. 545s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_s390x.deb ... 545s Unpacking libpango-1.0-0:s390x (1.51.0+ds-4) ... 545s Selecting previously unselected package libpangoft2-1.0-0:s390x. 545s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_s390x.deb ... 545s Unpacking libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 545s Selecting previously unselected package libpangocairo-1.0-0:s390x. 545s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_s390x.deb ... 545s Unpacking libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 545s Selecting previously unselected package libwayland-client0:s390x. 545s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_s390x.deb ... 545s Unpacking libwayland-client0:s390x (1.22.0-2.1) ... 545s Selecting previously unselected package libwayland-cursor0:s390x. 545s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_s390x.deb ... 545s Unpacking libwayland-cursor0:s390x (1.22.0-2.1) ... 545s Selecting previously unselected package libwayland-egl1:s390x. 545s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_s390x.deb ... 545s Unpacking libwayland-egl1:s390x (1.22.0-2.1) ... 545s Selecting previously unselected package libxcomposite1:s390x. 545s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_s390x.deb ... 545s Unpacking libxcomposite1:s390x (1:0.4.5-1build2) ... 545s Selecting previously unselected package libxfixes3:s390x. 545s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_s390x.deb ... 545s Unpacking libxfixes3:s390x (1:6.0.0-2) ... 545s Selecting previously unselected package libxcursor1:s390x. 545s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_s390x.deb ... 545s Unpacking libxcursor1:s390x (1:1.2.1-1) ... 545s Selecting previously unselected package libxdamage1:s390x. 545s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_s390x.deb ... 545s Unpacking libxdamage1:s390x (1:1.1.6-1) ... 545s Selecting previously unselected package libxinerama1:s390x. 545s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_s390x.deb ... 545s Unpacking libxinerama1:s390x (2:1.1.4-3) ... 545s Selecting previously unselected package libxrandr2:s390x. 545s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_s390x.deb ... 545s Unpacking libxrandr2:s390x (2:1.5.2-2) ... 545s Selecting previously unselected package libgtk-3-common. 545s Preparing to unpack .../61-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 545s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 545s Selecting previously unselected package libgtk-3-0:s390x. 545s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_s390x.deb ... 545s Unpacking libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 545s Selecting previously unselected package libgtksourceview-3.0-common. 545s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 545s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 545s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 545s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_s390x.deb ... 545s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 545s Selecting previously unselected package liblablgtk3-ocaml. 545s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_s390x.deb ... 545s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 545s Selecting previously unselected package liblablgtksourceview3-ocaml. 545s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_s390x.deb ... 545s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 545s Selecting previously unselected package spass. 545s Preparing to unpack .../67-spass_3.9-1.1_s390x.deb ... 545s Unpacking spass (3.9-1.1) ... 545s Selecting previously unselected package tex-common. 545s Preparing to unpack .../68-tex-common_6.18_all.deb ... 545s Unpacking tex-common (6.18) ... 545s Selecting previously unselected package why3. 545s Preparing to unpack .../69-why3_1.6.0-1build4_s390x.deb ... 545s Unpacking why3 (1.6.0-1build4) ... 546s Selecting previously unselected package autopkgtest-satdep. 546s Preparing to unpack .../70-3-autopkgtest-satdep.deb ... 546s Unpacking autopkgtest-satdep (0) ... 546s Setting up libgraphite2-3:s390x (1.3.14-2) ... 546s Setting up liblcms2-2:s390x (2.14-2) ... 546s Setting up libpixman-1-0:s390x (0.42.2-1) ... 546s Setting up libsharpyuv0:s390x (1.3.2-0.4) ... 546s Setting up libxdamage1:s390x (1:1.1.6-1) ... 546s Setting up hicolor-icon-theme (0.17-2) ... 546s Setting up libxi6:s390x (2:1.8.1-1) ... 546s Setting up libxrender1:s390x (1:0.9.10-1.1) ... 546s Setting up libdatrie1:s390x (0.2.13-3) ... 546s Setting up libxcb-render0:s390x (1.15-1) ... 546s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 546s Setting up libdeflate0:s390x (1.19-1) ... 546s Setting up libxcb-shm0:s390x (1.15-1) ... 546s Setting up libatspi2.0-0:s390x (2.50.0-1) ... 546s Setting up libjbig0:s390x (2.1-6.1ubuntu1) ... 546s Setting up libcolord2:s390x (1.4.7-1) ... 546s Setting up libdconf1:s390x (0.40.0-4) ... 546s Setting up tex-common (6.18) ... 546s update-language: texlive-base not installed and configured, doing nothing! 546s Setting up libfreetype6:s390x (2.13.2+dfsg-1) ... 546s Setting up libepoxy0:s390x (1.5.10-1) ... 546s Setting up libxfixes3:s390x (1:6.0.0-2) ... 546s Setting up spass (3.9-1.1) ... 546s Setting up libavahi-common-data:s390x (0.8-13ubuntu2) ... 546s Setting up libxinerama1:s390x (2:1.1.4-3) ... 546s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 546s Setting up fonts-dejavu-mono (2.37-8) ... 546s Setting up libxrandr2:s390x (2:1.5.2-2) ... 546s Setting up ocaml-base (4.14.1-1ubuntu1) ... 546s Setting up fonts-dejavu-core (2.37-8) ... 546s Setting up libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 546s Setting up libwebp7:s390x (1.3.2-0.4) ... 546s Setting up at-spi2-common (2.50.0-1) ... 546s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 546s Setting up libharfbuzz0b:s390x (8.3.0-2) ... 546s Setting up libthai-data (0.1.29-2) ... 546s Setting up libatk1.0-0:s390x (2.50.0-1) ... 546s Setting up libwayland-egl1:s390x (1.22.0-2.1) ... 546s Setting up libxcomposite1:s390x (1:0.4.5-1build2) ... 546s Setting up libwayland-client0:s390x (1.22.0-2.1) ... 546s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 546s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 546s Setting up libxcursor1:s390x (1:1.2.1-1) ... 546s Setting up libavahi-common3:s390x (0.8-13ubuntu2) ... 546s Setting up dconf-service (0.40.0-4) ... 546s Setting up libatk-bridge2.0-0:s390x (2.50.0-1) ... 546s Setting up libthai0:s390x (0.1.29-2) ... 546s Setting up libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 546s Setting up libwayland-cursor0:s390x (1.22.0-2.1) ... 546s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 546s Setting up libfontconfig1:s390x (2.15.0-1ubuntu1) ... 546s Setting up libavahi-client3:s390x (0.8-13ubuntu2) ... 546s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 546s Setting up fontconfig (2.15.0-1ubuntu1) ... 548s Regenerating fonts cache... done. 548s Setting up dconf-gsettings-backend:s390x (0.40.0-4) ... 548s Setting up libpango-1.0-0:s390x (1.51.0+ds-4) ... 548s Setting up libcairo2:s390x (1.18.0-1) ... 548s Setting up libcups2:s390x (2.4.6-0ubuntu3) ... 548s Setting up libcairo-gobject2:s390x (1.18.0-1) ... 548s Setting up libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 548s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 548s Setting up libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 548s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 548s Setting up adwaita-icon-theme (46~rc-1) ... 548s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 548s Setting up humanity-icon-theme (0.6.16) ... 548s Setting up ubuntu-mono (24.04-0ubuntu1) ... 549s Processing triggers for man-db (2.12.0-3) ... 549s Processing triggers for libglib2.0-0:s390x (2.79.2-1~ubuntu1) ... 549s Setting up libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 549s Processing triggers for libc-bin (2.39-0ubuntu2) ... 549s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 549s Setting up liblablgtk3-ocaml (3.1.4-1) ... 549s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 549s Setting up why3 (1.6.0-1build4) ... 549s Setting up autopkgtest-satdep (0) ... 549s Processing triggers for libc-bin (2.39-0ubuntu2) ... 553s (Reading database ... 65477 files and directories currently installed.) 553s Removing autopkgtest-satdep (0) ... 559s autopkgtest [01:23:50]: test why3+spass: [----------------------- 560s autopkgtest [01:23:51]: test why3+spass: -----------------------] 560s why3+spass PASS 560s autopkgtest [01:23:51]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 560s autopkgtest [01:23:51]: test why3+z3: preparing testbed 667s autopkgtest [01:25:38]: testbed dpkg architecture: s390x 667s autopkgtest [01:25:38]: testbed apt version: 2.7.12 667s autopkgtest [01:25:38]: @@@@@@@@@@@@@@@@@@@@ test bed setup 668s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 669s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [57.7 kB] 669s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3979 kB] 671s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [498 kB] 671s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 671s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [665 kB] 672s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 672s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 672s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 672s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [4162 kB] 673s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 673s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [47.5 kB] 673s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 674s Fetched 9545 kB in 5s (1894 kB/s) 674s Reading package lists... 677s Reading package lists... 677s Building dependency tree... 677s Reading state information... 677s Calculating upgrade... 677s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 677s Reading package lists... 678s Building dependency tree... 678s Reading state information... 678s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 678s Unknown architecture, assuming PC-style ttyS0 678s sh: Attempting to set up Debian/Ubuntu apt sources automatically 678s sh: Distribution appears to be Ubuntu 679s Reading package lists... 679s Building dependency tree... 679s Reading state information... 679s eatmydata is already the newest version (131-1). 679s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 679s Reading package lists... 680s Building dependency tree... 680s Reading state information... 680s dbus is already the newest version (1.14.10-4ubuntu1). 680s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 680s Reading package lists... 680s Building dependency tree... 680s Reading state information... 680s rng-tools-debian is already the newest version (2.4). 680s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 680s Reading package lists... 680s Building dependency tree... 680s Reading state information... 680s The following packages will be REMOVED: 680s cloud-init* python3-configobj* python3-debconf* 681s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 681s After this operation, 3256 kB disk space will be freed. 681s (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 ... 52170 files and directories currently installed.) 681s Removing cloud-init (24.1.2-0ubuntu1) ... 681s Removing python3-configobj (5.0.8-3) ... 681s Removing python3-debconf (1.5.86) ... 681s Processing triggers for man-db (2.12.0-3) ... 682s (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 ... 51781 files and directories currently installed.) 682s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 682s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 682s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 682s invoke-rc.d: policy-rc.d denied execution of try-restart. 682s Reading package lists... 682s Building dependency tree... 682s Reading state information... 683s linux-generic is already the newest version (6.8.0-11.11+1). 683s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 683s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 683s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 683s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 685s Reading package lists... 685s Reading package lists... 685s Building dependency tree... 685s Reading state information... 685s Calculating upgrade... 685s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 685s Reading package lists... 685s Building dependency tree... 685s Reading state information... 685s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 686s autopkgtest [01:25:57]: rebooting testbed after setup commands that affected boot 710s Reading package lists... 710s Building dependency tree... 710s Reading state information... 710s Starting pkgProblemResolver with broken count: 0 710s Starting 2 pkgProblemResolver with broken count: 0 710s Done 710s The following additional packages will be installed: 710s adwaita-icon-theme at-spi2-common dconf-gsettings-backend dconf-service 710s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono 710s gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme 710s libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 libavahi-client3 710s libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo2 710s libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 libdeflate0 710s libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 710s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 710s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 710s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 710s liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 710s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 710s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 710s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 710s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 710s why3 z3 710s Suggested packages: 710s colord cups-common gvfs liblcms2-utils debhelper why3-examples 710s Recommended packages: 710s librsvg2-common at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin 710s The following NEW packages will be installed: 710s adwaita-icon-theme at-spi2-common autopkgtest-satdep dconf-gsettings-backend 710s dconf-service fontconfig fontconfig-config fonts-dejavu-core 710s fonts-dejavu-mono gtk-update-icon-cache hicolor-icon-theme 710s humanity-icon-theme libatk-bridge2.0-0 libatk1.0-0 libatspi2.0-0 710s libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 710s libcairo2 libcairo2-ocaml libcolord2 libcups2 libdatrie1 libdconf1 710s libdeflate0 libepoxy0 libfontconfig1 libfreetype6 libgdk-pixbuf-2.0-0 710s libgdk-pixbuf2.0-common libgraphite2-3 libgtk-3-0 libgtk-3-common 710s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libjbig0 710s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 710s liblcms2-2 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 710s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libthai-data libthai0 libtiff6 710s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 710s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 710s libxi6 libxinerama1 libxrandr2 libxrender1 ocaml-base tex-common ubuntu-mono 710s why3 z3 710s 0 upgraded, 71 newly installed, 0 to remove and 0 not upgraded. 710s Need to get 38.0 MB/38.0 MB of archives. 710s After this operation, 168 MB of additional disk space will be used. 710s Get:1 /tmp/autopkgtest.bwsIGf/4-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [716 B] 710s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 711s Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg-turbo8 s390x 2.1.5-2ubuntu1 [128 kB] 711s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 711s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdeflate0 s390x 1.19-1 [46.0 kB] 711s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libjbig0 s390x 2.1-6.1ubuntu1 [29.8 kB] 711s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libsharpyuv0 s390x 1.3.2-0.4 [14.8 kB] 711s Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libwebp7 s390x 1.3.2-0.4 [207 kB] 711s Get:9 http://ftpmaster.internal/ubuntu noble/main s390x libtiff6 s390x 4.5.1+git230720-3ubuntu1 [253 kB] 711s Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3 [152 kB] 711s Get:11 http://ftpmaster.internal/ubuntu noble/main s390x gtk-update-icon-cache s390x 3.24.40-2ubuntu1 [51.0 kB] 711s Get:12 http://ftpmaster.internal/ubuntu noble/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 711s Get:13 http://ftpmaster.internal/ubuntu noble/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 711s Get:14 http://ftpmaster.internal/ubuntu noble/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 711s Get:15 http://ftpmaster.internal/ubuntu noble/main s390x adwaita-icon-theme all 46~rc-1 [723 kB] 711s Get:16 http://ftpmaster.internal/ubuntu noble/main s390x at-spi2-common all 2.50.0-1 [7864 B] 711s Get:17 http://ftpmaster.internal/ubuntu noble/main s390x libdconf1 s390x 0.40.0-4 [38.9 kB] 711s Get:18 http://ftpmaster.internal/ubuntu noble/main s390x dconf-service s390x 0.40.0-4 [27.0 kB] 711s Get:19 http://ftpmaster.internal/ubuntu noble/main s390x dconf-gsettings-backend s390x 0.40.0-4 [21.6 kB] 711s Get:20 http://ftpmaster.internal/ubuntu noble/main s390x libfreetype6 s390x 2.13.2+dfsg-1 [431 kB] 711s Get:21 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 711s Get:22 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 712s Get:23 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig-config s390x 2.15.0-1ubuntu1 [37.0 kB] 712s Get:24 http://ftpmaster.internal/ubuntu noble/main s390x libfontconfig1 s390x 2.15.0-1ubuntu1 [150 kB] 712s Get:25 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig s390x 2.15.0-1ubuntu1 [191 kB] 712s Get:26 http://ftpmaster.internal/ubuntu noble/main s390x libatk1.0-0 s390x 2.50.0-1 [54.4 kB] 712s Get:27 http://ftpmaster.internal/ubuntu noble/main s390x libxi6 s390x 2:1.8.1-1 [35.7 kB] 712s Get:28 http://ftpmaster.internal/ubuntu noble/main s390x libatspi2.0-0 s390x 2.50.0-1 [77.9 kB] 712s Get:29 http://ftpmaster.internal/ubuntu noble/main s390x libatk-bridge2.0-0 s390x 2.50.0-1 [65.3 kB] 712s Get:30 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common-data s390x 0.8-13ubuntu2 [29.5 kB] 712s Get:31 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common3 s390x 0.8-13ubuntu2 [23.8 kB] 712s Get:32 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-client3 s390x 0.8-13ubuntu2 [26.7 kB] 712s Get:33 http://ftpmaster.internal/ubuntu noble/main s390x libpixman-1-0 s390x 0.42.2-1 [173 kB] 712s Get:34 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-render0 s390x 1.15-1 [17.0 kB] 712s Get:35 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-shm0 s390x 1.15-1 [5782 B] 712s Get:36 http://ftpmaster.internal/ubuntu noble/main s390x libxrender1 s390x 1:0.9.10-1.1 [19.4 kB] 712s Get:37 http://ftpmaster.internal/ubuntu noble/main s390x libcairo2 s390x 1.18.0-1 [578 kB] 712s Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libcairo-gobject2 s390x 1.18.0-1 [126 kB] 712s Get:39 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 712s Get:40 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 712s Get:41 http://ftpmaster.internal/ubuntu noble/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 712s Get:42 http://ftpmaster.internal/ubuntu noble/main s390x liblcms2-2 s390x 2.14-2 [155 kB] 712s Get:43 http://ftpmaster.internal/ubuntu noble/main s390x libcolord2 s390x 1.4.7-1 [151 kB] 712s Get:44 http://ftpmaster.internal/ubuntu noble/main s390x libcups2 s390x 2.4.6-0ubuntu3 [277 kB] 712s Get:45 http://ftpmaster.internal/ubuntu noble/main s390x libdatrie1 s390x 0.2.13-3 [22.6 kB] 712s Get:46 http://ftpmaster.internal/ubuntu noble/main s390x libepoxy0 s390x 1.5.10-1 [232 kB] 712s Get:47 http://ftpmaster.internal/ubuntu noble/main s390x libgraphite2-3 s390x 1.3.14-2 [90.4 kB] 712s Get:48 http://ftpmaster.internal/ubuntu noble/main s390x libharfbuzz0b s390x 8.3.0-2 [515 kB] 712s Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libthai-data all 0.1.29-2 [158 kB] 712s Get:50 http://ftpmaster.internal/ubuntu noble/main s390x libthai0 s390x 0.1.29-2 [20.6 kB] 712s Get:51 http://ftpmaster.internal/ubuntu noble/main s390x libpango-1.0-0 s390x 1.51.0+ds-4 [240 kB] 712s Get:52 http://ftpmaster.internal/ubuntu noble/main s390x libpangoft2-1.0-0 s390x 1.51.0+ds-4 [43.6 kB] 712s Get:53 http://ftpmaster.internal/ubuntu noble/main s390x libpangocairo-1.0-0 s390x 1.51.0+ds-4 [28.9 kB] 712s Get:54 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-client0 s390x 1.22.0-2.1 [26.1 kB] 712s Get:55 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-cursor0 s390x 1.22.0-2.1 [11.1 kB] 712s Get:56 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-egl1 s390x 1.22.0-2.1 [5452 B] 712s Get:57 http://ftpmaster.internal/ubuntu noble/main s390x libxcomposite1 s390x 1:0.4.5-1build2 [6952 B] 712s Get:58 http://ftpmaster.internal/ubuntu noble/main s390x libxfixes3 s390x 1:6.0.0-2 [10.6 kB] 712s Get:59 http://ftpmaster.internal/ubuntu noble/main s390x libxcursor1 s390x 1:1.2.1-1 [22.2 kB] 712s Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libxdamage1 s390x 1:1.1.6-1 [5810 B] 712s Get:61 http://ftpmaster.internal/ubuntu noble/main s390x libxinerama1 s390x 2:1.1.4-3 [7110 B] 712s Get:62 http://ftpmaster.internal/ubuntu noble/main s390x libxrandr2 s390x 2:1.5.2-2 [19.5 kB] 712s Get:63 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 712s Get:64 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-0 s390x 3.24.40-2ubuntu1 [2952 kB] 713s Get:65 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 713s Get:66 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build1 [234 kB] 713s Get:67 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtk3-ocaml s390x 3.1.4-1 [4110 kB] 714s Get:68 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1 [355 kB] 714s Get:69 http://ftpmaster.internal/ubuntu noble/universe s390x tex-common all 6.18 [32.8 kB] 714s Get:70 http://ftpmaster.internal/ubuntu noble/universe s390x why3 s390x 1.6.0-1build4 [14.0 MB] 716s Get:71 http://ftpmaster.internal/ubuntu noble/universe s390x z3 s390x 4.8.12-3.1 [5454 kB] 717s Fetched 38.0 MB in 7s (5704 kB/s) 717s Selecting previously unselected package libgdk-pixbuf2.0-common. 717s (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 ... 51726 files and directories currently installed.) 717s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 717s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 717s Selecting previously unselected package libjpeg-turbo8:s390x. 717s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu1_s390x.deb ... 717s Unpacking libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 717s Selecting previously unselected package libjpeg8:s390x. 717s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 717s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 717s Selecting previously unselected package libdeflate0:s390x. 717s Preparing to unpack .../03-libdeflate0_1.19-1_s390x.deb ... 717s Unpacking libdeflate0:s390x (1.19-1) ... 718s Selecting previously unselected package libjbig0:s390x. 718s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu1_s390x.deb ... 718s Unpacking libjbig0:s390x (2.1-6.1ubuntu1) ... 718s Selecting previously unselected package libsharpyuv0:s390x. 718s Preparing to unpack .../05-libsharpyuv0_1.3.2-0.4_s390x.deb ... 718s Unpacking libsharpyuv0:s390x (1.3.2-0.4) ... 718s Selecting previously unselected package libwebp7:s390x. 718s Preparing to unpack .../06-libwebp7_1.3.2-0.4_s390x.deb ... 718s Unpacking libwebp7:s390x (1.3.2-0.4) ... 718s Selecting previously unselected package libtiff6:s390x. 718s Preparing to unpack .../07-libtiff6_4.5.1+git230720-3ubuntu1_s390x.deb ... 718s Unpacking libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 718s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 718s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_s390x.deb ... 718s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 718s Selecting previously unselected package gtk-update-icon-cache. 718s Preparing to unpack .../09-gtk-update-icon-cache_3.24.40-2ubuntu1_s390x.deb ... 718s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 718s Selecting previously unselected package hicolor-icon-theme. 718s Preparing to unpack .../10-hicolor-icon-theme_0.17-2_all.deb ... 718s Unpacking hicolor-icon-theme (0.17-2) ... 718s Selecting previously unselected package humanity-icon-theme. 718s Preparing to unpack .../11-humanity-icon-theme_0.6.16_all.deb ... 718s Unpacking humanity-icon-theme (0.6.16) ... 718s Selecting previously unselected package ubuntu-mono. 718s Preparing to unpack .../12-ubuntu-mono_24.04-0ubuntu1_all.deb ... 718s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 719s Selecting previously unselected package adwaita-icon-theme. 719s Preparing to unpack .../13-adwaita-icon-theme_46~rc-1_all.deb ... 719s Unpacking adwaita-icon-theme (46~rc-1) ... 719s Selecting previously unselected package at-spi2-common. 719s Preparing to unpack .../14-at-spi2-common_2.50.0-1_all.deb ... 719s Unpacking at-spi2-common (2.50.0-1) ... 719s Selecting previously unselected package libdconf1:s390x. 719s Preparing to unpack .../15-libdconf1_0.40.0-4_s390x.deb ... 719s Unpacking libdconf1:s390x (0.40.0-4) ... 719s Selecting previously unselected package dconf-service. 719s Preparing to unpack .../16-dconf-service_0.40.0-4_s390x.deb ... 719s Unpacking dconf-service (0.40.0-4) ... 719s Selecting previously unselected package dconf-gsettings-backend:s390x. 719s Preparing to unpack .../17-dconf-gsettings-backend_0.40.0-4_s390x.deb ... 719s Unpacking dconf-gsettings-backend:s390x (0.40.0-4) ... 719s Selecting previously unselected package libfreetype6:s390x. 719s Preparing to unpack .../18-libfreetype6_2.13.2+dfsg-1_s390x.deb ... 719s Unpacking libfreetype6:s390x (2.13.2+dfsg-1) ... 719s Selecting previously unselected package fonts-dejavu-mono. 719s Preparing to unpack .../19-fonts-dejavu-mono_2.37-8_all.deb ... 719s Unpacking fonts-dejavu-mono (2.37-8) ... 719s Selecting previously unselected package fonts-dejavu-core. 719s Preparing to unpack .../20-fonts-dejavu-core_2.37-8_all.deb ... 719s Unpacking fonts-dejavu-core (2.37-8) ... 719s Selecting previously unselected package fontconfig-config. 719s Preparing to unpack .../21-fontconfig-config_2.15.0-1ubuntu1_s390x.deb ... 719s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 719s Selecting previously unselected package libfontconfig1:s390x. 719s Preparing to unpack .../22-libfontconfig1_2.15.0-1ubuntu1_s390x.deb ... 719s Unpacking libfontconfig1:s390x (2.15.0-1ubuntu1) ... 719s Selecting previously unselected package fontconfig. 719s Preparing to unpack .../23-fontconfig_2.15.0-1ubuntu1_s390x.deb ... 719s Unpacking fontconfig (2.15.0-1ubuntu1) ... 719s Selecting previously unselected package libatk1.0-0:s390x. 719s Preparing to unpack .../24-libatk1.0-0_2.50.0-1_s390x.deb ... 719s Unpacking libatk1.0-0:s390x (2.50.0-1) ... 719s Selecting previously unselected package libxi6:s390x. 719s Preparing to unpack .../25-libxi6_2%3a1.8.1-1_s390x.deb ... 719s Unpacking libxi6:s390x (2:1.8.1-1) ... 719s Selecting previously unselected package libatspi2.0-0:s390x. 719s Preparing to unpack .../26-libatspi2.0-0_2.50.0-1_s390x.deb ... 719s Unpacking libatspi2.0-0:s390x (2.50.0-1) ... 719s Selecting previously unselected package libatk-bridge2.0-0:s390x. 719s Preparing to unpack .../27-libatk-bridge2.0-0_2.50.0-1_s390x.deb ... 719s Unpacking libatk-bridge2.0-0:s390x (2.50.0-1) ... 719s Selecting previously unselected package libavahi-common-data:s390x. 719s Preparing to unpack .../28-libavahi-common-data_0.8-13ubuntu2_s390x.deb ... 719s Unpacking libavahi-common-data:s390x (0.8-13ubuntu2) ... 719s Selecting previously unselected package libavahi-common3:s390x. 719s Preparing to unpack .../29-libavahi-common3_0.8-13ubuntu2_s390x.deb ... 719s Unpacking libavahi-common3:s390x (0.8-13ubuntu2) ... 719s Selecting previously unselected package libavahi-client3:s390x. 719s Preparing to unpack .../30-libavahi-client3_0.8-13ubuntu2_s390x.deb ... 719s Unpacking libavahi-client3:s390x (0.8-13ubuntu2) ... 719s Selecting previously unselected package libpixman-1-0:s390x. 719s Preparing to unpack .../31-libpixman-1-0_0.42.2-1_s390x.deb ... 719s Unpacking libpixman-1-0:s390x (0.42.2-1) ... 719s Selecting previously unselected package libxcb-render0:s390x. 719s Preparing to unpack .../32-libxcb-render0_1.15-1_s390x.deb ... 719s Unpacking libxcb-render0:s390x (1.15-1) ... 719s Selecting previously unselected package libxcb-shm0:s390x. 719s Preparing to unpack .../33-libxcb-shm0_1.15-1_s390x.deb ... 719s Unpacking libxcb-shm0:s390x (1.15-1) ... 719s Selecting previously unselected package libxrender1:s390x. 719s Preparing to unpack .../34-libxrender1_1%3a0.9.10-1.1_s390x.deb ... 719s Unpacking libxrender1:s390x (1:0.9.10-1.1) ... 719s Selecting previously unselected package libcairo2:s390x. 719s Preparing to unpack .../35-libcairo2_1.18.0-1_s390x.deb ... 719s Unpacking libcairo2:s390x (1.18.0-1) ... 719s Selecting previously unselected package libcairo-gobject2:s390x. 719s Preparing to unpack .../36-libcairo-gobject2_1.18.0-1_s390x.deb ... 719s Unpacking libcairo-gobject2:s390x (1.18.0-1) ... 719s Selecting previously unselected package libstdlib-ocaml. 719s Preparing to unpack .../37-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 719s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 719s Selecting previously unselected package ocaml-base. 719s Preparing to unpack .../38-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 719s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 719s Selecting previously unselected package libcairo2-ocaml. 719s Preparing to unpack .../39-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 719s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 719s Selecting previously unselected package liblcms2-2:s390x. 719s Preparing to unpack .../40-liblcms2-2_2.14-2_s390x.deb ... 719s Unpacking liblcms2-2:s390x (2.14-2) ... 719s Selecting previously unselected package libcolord2:s390x. 719s Preparing to unpack .../41-libcolord2_1.4.7-1_s390x.deb ... 719s Unpacking libcolord2:s390x (1.4.7-1) ... 719s Selecting previously unselected package libcups2:s390x. 719s Preparing to unpack .../42-libcups2_2.4.6-0ubuntu3_s390x.deb ... 719s Unpacking libcups2:s390x (2.4.6-0ubuntu3) ... 719s Selecting previously unselected package libdatrie1:s390x. 719s Preparing to unpack .../43-libdatrie1_0.2.13-3_s390x.deb ... 719s Unpacking libdatrie1:s390x (0.2.13-3) ... 719s Selecting previously unselected package libepoxy0:s390x. 719s Preparing to unpack .../44-libepoxy0_1.5.10-1_s390x.deb ... 719s Unpacking libepoxy0:s390x (1.5.10-1) ... 719s Selecting previously unselected package libgraphite2-3:s390x. 719s Preparing to unpack .../45-libgraphite2-3_1.3.14-2_s390x.deb ... 719s Unpacking libgraphite2-3:s390x (1.3.14-2) ... 719s Selecting previously unselected package libharfbuzz0b:s390x. 719s Preparing to unpack .../46-libharfbuzz0b_8.3.0-2_s390x.deb ... 719s Unpacking libharfbuzz0b:s390x (8.3.0-2) ... 720s Selecting previously unselected package libthai-data. 720s Preparing to unpack .../47-libthai-data_0.1.29-2_all.deb ... 720s Unpacking libthai-data (0.1.29-2) ... 720s Selecting previously unselected package libthai0:s390x. 720s Preparing to unpack .../48-libthai0_0.1.29-2_s390x.deb ... 720s Unpacking libthai0:s390x (0.1.29-2) ... 720s Selecting previously unselected package libpango-1.0-0:s390x. 720s Preparing to unpack .../49-libpango-1.0-0_1.51.0+ds-4_s390x.deb ... 720s Unpacking libpango-1.0-0:s390x (1.51.0+ds-4) ... 720s Selecting previously unselected package libpangoft2-1.0-0:s390x. 720s Preparing to unpack .../50-libpangoft2-1.0-0_1.51.0+ds-4_s390x.deb ... 720s Unpacking libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 720s Selecting previously unselected package libpangocairo-1.0-0:s390x. 720s Preparing to unpack .../51-libpangocairo-1.0-0_1.51.0+ds-4_s390x.deb ... 720s Unpacking libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 720s Selecting previously unselected package libwayland-client0:s390x. 720s Preparing to unpack .../52-libwayland-client0_1.22.0-2.1_s390x.deb ... 720s Unpacking libwayland-client0:s390x (1.22.0-2.1) ... 720s Selecting previously unselected package libwayland-cursor0:s390x. 720s Preparing to unpack .../53-libwayland-cursor0_1.22.0-2.1_s390x.deb ... 720s Unpacking libwayland-cursor0:s390x (1.22.0-2.1) ... 720s Selecting previously unselected package libwayland-egl1:s390x. 720s Preparing to unpack .../54-libwayland-egl1_1.22.0-2.1_s390x.deb ... 720s Unpacking libwayland-egl1:s390x (1.22.0-2.1) ... 720s Selecting previously unselected package libxcomposite1:s390x. 720s Preparing to unpack .../55-libxcomposite1_1%3a0.4.5-1build2_s390x.deb ... 720s Unpacking libxcomposite1:s390x (1:0.4.5-1build2) ... 720s Selecting previously unselected package libxfixes3:s390x. 720s Preparing to unpack .../56-libxfixes3_1%3a6.0.0-2_s390x.deb ... 720s Unpacking libxfixes3:s390x (1:6.0.0-2) ... 720s Selecting previously unselected package libxcursor1:s390x. 720s Preparing to unpack .../57-libxcursor1_1%3a1.2.1-1_s390x.deb ... 720s Unpacking libxcursor1:s390x (1:1.2.1-1) ... 720s Selecting previously unselected package libxdamage1:s390x. 720s Preparing to unpack .../58-libxdamage1_1%3a1.1.6-1_s390x.deb ... 720s Unpacking libxdamage1:s390x (1:1.1.6-1) ... 720s Selecting previously unselected package libxinerama1:s390x. 720s Preparing to unpack .../59-libxinerama1_2%3a1.1.4-3_s390x.deb ... 720s Unpacking libxinerama1:s390x (2:1.1.4-3) ... 720s Selecting previously unselected package libxrandr2:s390x. 720s Preparing to unpack .../60-libxrandr2_2%3a1.5.2-2_s390x.deb ... 720s Unpacking libxrandr2:s390x (2:1.5.2-2) ... 720s Selecting previously unselected package libgtk-3-common. 720s Preparing to unpack .../61-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 720s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 720s Selecting previously unselected package libgtk-3-0:s390x. 720s Preparing to unpack .../62-libgtk-3-0_3.24.40-2ubuntu1_s390x.deb ... 720s Unpacking libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 720s Selecting previously unselected package libgtksourceview-3.0-common. 720s Preparing to unpack .../63-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 720s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 720s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 720s Preparing to unpack .../64-libgtksourceview-3.0-1_3.24.11-2build1_s390x.deb ... 720s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 720s Selecting previously unselected package liblablgtk3-ocaml. 720s Preparing to unpack .../65-liblablgtk3-ocaml_3.1.4-1_s390x.deb ... 720s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 720s Selecting previously unselected package liblablgtksourceview3-ocaml. 720s Preparing to unpack .../66-liblablgtksourceview3-ocaml_3.1.4-1_s390x.deb ... 720s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 720s Selecting previously unselected package tex-common. 720s Preparing to unpack .../67-tex-common_6.18_all.deb ... 720s Unpacking tex-common (6.18) ... 720s Selecting previously unselected package why3. 720s Preparing to unpack .../68-why3_1.6.0-1build4_s390x.deb ... 720s Unpacking why3 (1.6.0-1build4) ... 721s Selecting previously unselected package z3. 721s Preparing to unpack .../69-z3_4.8.12-3.1_s390x.deb ... 721s Unpacking z3 (4.8.12-3.1) ... 721s Selecting previously unselected package autopkgtest-satdep. 721s Preparing to unpack .../70-4-autopkgtest-satdep.deb ... 721s Unpacking autopkgtest-satdep (0) ... 721s Setting up libgraphite2-3:s390x (1.3.14-2) ... 721s Setting up liblcms2-2:s390x (2.14-2) ... 721s Setting up libpixman-1-0:s390x (0.42.2-1) ... 721s Setting up libsharpyuv0:s390x (1.3.2-0.4) ... 721s Setting up libxdamage1:s390x (1:1.1.6-1) ... 721s Setting up hicolor-icon-theme (0.17-2) ... 721s Setting up libxi6:s390x (2:1.8.1-1) ... 721s Setting up libxrender1:s390x (1:0.9.10-1.1) ... 721s Setting up libdatrie1:s390x (0.2.13-3) ... 721s Setting up libxcb-render0:s390x (1.15-1) ... 721s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 721s Setting up libdeflate0:s390x (1.19-1) ... 721s Setting up libxcb-shm0:s390x (1.15-1) ... 721s Setting up libatspi2.0-0:s390x (2.50.0-1) ... 721s Setting up libjbig0:s390x (2.1-6.1ubuntu1) ... 721s Setting up z3 (4.8.12-3.1) ... 721s Setting up libcolord2:s390x (1.4.7-1) ... 721s Setting up libdconf1:s390x (0.40.0-4) ... 721s Setting up tex-common (6.18) ... 721s update-language: texlive-base not installed and configured, doing nothing! 721s Setting up libfreetype6:s390x (2.13.2+dfsg-1) ... 721s Setting up libepoxy0:s390x (1.5.10-1) ... 721s Setting up libxfixes3:s390x (1:6.0.0-2) ... 721s Setting up libavahi-common-data:s390x (0.8-13ubuntu2) ... 721s Setting up libxinerama1:s390x (2:1.1.4-3) ... 721s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 721s Setting up fonts-dejavu-mono (2.37-8) ... 721s Setting up libxrandr2:s390x (2:1.5.2-2) ... 721s Setting up ocaml-base (4.14.1-1ubuntu1) ... 721s Setting up fonts-dejavu-core (2.37-8) ... 721s Setting up libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 721s Setting up libwebp7:s390x (1.3.2-0.4) ... 721s Setting up at-spi2-common (2.50.0-1) ... 721s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 721s Setting up libharfbuzz0b:s390x (8.3.0-2) ... 721s Setting up libthai-data (0.1.29-2) ... 721s Setting up libatk1.0-0:s390x (2.50.0-1) ... 721s Setting up libwayland-egl1:s390x (1.22.0-2.1) ... 721s Setting up libxcomposite1:s390x (1:0.4.5-1build2) ... 721s Setting up libwayland-client0:s390x (1.22.0-2.1) ... 721s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 721s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 721s Setting up libxcursor1:s390x (1:1.2.1-1) ... 721s Setting up libavahi-common3:s390x (0.8-13ubuntu2) ... 721s Setting up dconf-service (0.40.0-4) ... 721s Setting up libatk-bridge2.0-0:s390x (2.50.0-1) ... 721s Setting up libthai0:s390x (0.1.29-2) ... 721s Setting up libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 721s Setting up libwayland-cursor0:s390x (1.22.0-2.1) ... 721s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 721s Setting up libfontconfig1:s390x (2.15.0-1ubuntu1) ... 721s Setting up libavahi-client3:s390x (0.8-13ubuntu2) ... 721s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 721s Setting up fontconfig (2.15.0-1ubuntu1) ... 723s Regenerating fonts cache... done. 723s Setting up dconf-gsettings-backend:s390x (0.40.0-4) ... 723s Setting up libpango-1.0-0:s390x (1.51.0+ds-4) ... 723s Setting up libcairo2:s390x (1.18.0-1) ... 723s Setting up libcups2:s390x (2.4.6-0ubuntu3) ... 723s Setting up libcairo-gobject2:s390x (1.18.0-1) ... 723s Setting up libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 723s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 723s Setting up libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 723s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 723s Setting up adwaita-icon-theme (46~rc-1) ... 723s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 723s Setting up humanity-icon-theme (0.6.16) ... 723s Setting up ubuntu-mono (24.04-0ubuntu1) ... 723s Processing triggers for man-db (2.12.0-3) ... 724s Processing triggers for libglib2.0-0:s390x (2.79.2-1~ubuntu1) ... 724s Setting up libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 724s Processing triggers for libc-bin (2.39-0ubuntu2) ... 724s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 724s Setting up liblablgtk3-ocaml (3.1.4-1) ... 724s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 724s Setting up why3 (1.6.0-1build4) ... 724s Setting up autopkgtest-satdep (0) ... 724s Processing triggers for libc-bin (2.39-0ubuntu2) ... 727s (Reading database ... 65477 files and directories currently installed.) 727s Removing autopkgtest-satdep (0) ... 747s autopkgtest [01:26:58]: test why3+z3: [----------------------- 748s autopkgtest [01:26:59]: test why3+z3: -----------------------] 748s autopkgtest [01:26:59]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 748s why3+z3 PASS 749s autopkgtest [01:27:00]: @@@@@@@@@@@@@@@@@@@@ summary 749s why3+alt-ergo SKIP installation fails and skip-not-installable set 749s why3+cvc4 PASS 749s why3+spass PASS 749s why3+z3 PASS 762s Creating nova instance adt-noble-s390x-why3-20240323-011430-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240322.img (UUID c8671f9a-0e89-48e3-af4f-3c79b89294e8)... 762s Creating nova instance adt-noble-s390x-why3-20240323-011430-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240322.img (UUID c8671f9a-0e89-48e3-af4f-3c79b89294e8)... 762s Creating nova instance adt-noble-s390x-why3-20240323-011430-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240322.img (UUID c8671f9a-0e89-48e3-af4f-3c79b89294e8)... 762s Creating nova instance adt-noble-s390x-why3-20240323-011430-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240322.img (UUID c8671f9a-0e89-48e3-af4f-3c79b89294e8)...