0s autopkgtest [20:16:25]: starting date and time: 2025-02-20 20:16:25+0000 0s autopkgtest [20:16:25]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [20:16:25]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.lktvqvlg/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gmp --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=gmp/2:6.3.0+dfsg-3ubuntu1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-s390x-16.secgroup --name adt-plucky-s390x-why3-20250220-201625-juju-7f2275-prod-proposed-migration-environment-20-ffeffe1a-3cec-418f-b278-b2cc38901718 --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-proposed-migration-s390x -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 56s autopkgtest [20:17:21]: testbed dpkg architecture: s390x 56s autopkgtest [20:17:21]: testbed apt version: 2.9.30 56s autopkgtest [20:17:21]: @@@@@@@@@@@@@@@@@@@@ test bed setup 56s autopkgtest [20:17:21]: testbed release detected to be: None 57s autopkgtest [20:17:22]: updating testbed package index (apt update) 57s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 58s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 58s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 58s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 58s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 58s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 58s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 58s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 58s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [124 kB] 58s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 58s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [660 kB] 58s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [4436 B] 59s Fetched 1752 kB in 1s (1282 kB/s) 59s Reading package lists... 60s Reading package lists... 60s Building dependency tree... 60s Reading state information... 60s Calculating upgrade... 60s The following packages were automatically installed and are no longer required: 60s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 60s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 60s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 60s linux-tools-6.11.0-8-generic 60s Use 'sudo apt autoremove' to remove them. 60s The following packages will be upgraded: 60s cryptsetup-bin inetutils-telnet kbd libcryptsetup12 libssl3t64 openssl 60s openssl-provider-legacy python3-requests sysconfig-hardware telnet 60s 10 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 60s Need to get 4007 kB of archives. 60s After this operation, 5120 B of additional disk space will be used. 60s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x openssl-provider-legacy s390x 3.4.1-1ubuntu1 [37.9 kB] 60s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libssl3t64 s390x 3.4.1-1ubuntu1 [1889 kB] 61s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x kbd s390x 2.7.1-2ubuntu1 [239 kB] 61s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x openssl s390x 3.4.1-1ubuntu1 [1184 kB] 61s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x inetutils-telnet s390x 2:2.5-6ubuntu1 [111 kB] 62s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x telnet all 0.17+2.5-6ubuntu1 [3694 B] 62s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libcryptsetup12 s390x 2:2.7.5-1ubuntu2 [269 kB] 62s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x cryptsetup-bin s390x 2:2.7.5-1ubuntu2 [216 kB] 62s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 62s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x sysconfig-hardware s390x 0.0.14+nmu2ubuntu1 [4884 B] 62s Fetched 4007 kB in 2s (2534 kB/s) 62s (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 ... 81029 files and directories currently installed.) 62s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_s390x.deb ... 62s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 62s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 62s (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 ... 81029 files and directories currently installed.) 62s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_s390x.deb ... 62s Unpacking libssl3t64:s390x (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 62s Setting up libssl3t64:s390x (3.4.1-1ubuntu1) ... 62s (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 ... 81028 files and directories currently installed.) 62s Preparing to unpack .../0-kbd_2.7.1-2ubuntu1_s390x.deb ... 62s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 62s Preparing to unpack .../1-openssl_3.4.1-1ubuntu1_s390x.deb ... 62s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 62s Preparing to unpack .../2-inetutils-telnet_2%3a2.5-6ubuntu1_s390x.deb ... 62s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 62s Preparing to unpack .../3-telnet_0.17+2.5-6ubuntu1_all.deb ... 62s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 62s Preparing to unpack .../4-libcryptsetup12_2%3a2.7.5-1ubuntu2_s390x.deb ... 62s Unpacking libcryptsetup12:s390x (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 62s Preparing to unpack .../5-cryptsetup-bin_2%3a2.7.5-1ubuntu2_s390x.deb ... 62s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 62s Preparing to unpack .../6-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 62s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 62s for fn in glob1(directory, "%s.*" % fname): 62s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 62s Preparing to unpack .../7-sysconfig-hardware_0.0.14+nmu2ubuntu1_s390x.deb ... 62s Unpacking sysconfig-hardware (0.0.14+nmu2ubuntu1) over (0.0.14ubuntu3) ... 62s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 62s Setting up sysconfig-hardware (0.0.14+nmu2ubuntu1) ... 62s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 62s Setting up libcryptsetup12:s390x (2:2.7.5-1ubuntu2) ... 62s Setting up kbd (2.7.1-2ubuntu1) ... 62s Setting up openssl (3.4.1-1ubuntu1) ... 62s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 62s Setting up telnet (0.17+2.5-6ubuntu1) ... 62s Processing triggers for libc-bin (2.40-4ubuntu1) ... 63s Processing triggers for man-db (2.13.0-1) ... 63s Processing triggers for initramfs-tools (0.145ubuntu2) ... 63s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 63s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 67s Using config file '/etc/zipl.conf' 67s Building bootmap in '/boot' 67s Adding IPL section 'ubuntu' (default) 67s Preparing boot device for LD-IPL: vda (0000). 67s Done. 67s Reading package lists... 67s Building dependency tree... 67s Reading state information... 68s The following packages will be REMOVED: 68s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 68s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 68s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 68s linux-tools-6.11.0-8-generic* 68s 0 upgraded, 0 newly installed, 9 to remove and 1 not upgraded. 68s After this operation, 167 MB disk space will be freed. 68s (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 ... 81025 files and directories currently installed.) 68s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 68s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 68s Removing libpython3.12t64:s390x (3.12.9-1) ... 68s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 68s Removing libnsl2:s390x (1.3.0-3build3) ... 68s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 68s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 68s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 69s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 69s Processing triggers for libc-bin (2.40-4ubuntu1) ... 69s (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 ... 55925 files and directories currently installed.) 69s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 69s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 69s autopkgtest [20:17:34]: upgrading testbed (apt dist-upgrade and autopurge) 69s Reading package lists... 70s Building dependency tree... 70s Reading state information... 70s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 70s Starting 2 pkgProblemResolver with broken count: 0 70s Done 70s Entering ResolveByKeep 70s 70s The following packages will be upgraded: 70s libgmp10 70s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 70s Need to get 342 kB of archives. 70s After this operation, 0 B of additional disk space will be used. 70s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libgmp10 s390x 2:6.3.0+dfsg-3ubuntu1 [342 kB] 71s Fetched 342 kB in 0s (821 kB/s) 71s (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 ... 55923 files and directories currently installed.) 71s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_s390x.deb ... 71s Unpacking libgmp10:s390x (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 71s Setting up libgmp10:s390x (2:6.3.0+dfsg-3ubuntu1) ... 71s Processing triggers for libc-bin (2.40-4ubuntu1) ... 71s Reading package lists... 71s Building dependency tree... 71s Reading state information... 71s Starting pkgProblemResolver with broken count: 0 71s Starting 2 pkgProblemResolver with broken count: 0 71s Done 72s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 72s autopkgtest [20:17:37]: rebooting testbed after setup commands that affected boot 92s autopkgtest [20:17:57]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 15:05:57 UTC 2025 94s autopkgtest [20:17:59]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 99s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 99s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 99s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 99s gpgv: Signature made Fri Sep 6 15:04:31 2024 UTC 99s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 99s gpgv: Can't check signature: No public key 99s dpkg-source: warning: cannot verify inline signature for ./why3_1.7.2-2build1.dsc: no acceptable signature found 100s autopkgtest [20:18:05]: testing package why3 version 1.7.2-2build1 100s autopkgtest [20:18:05]: build not needed 102s autopkgtest [20:18:07]: test why3+cvc4: preparing testbed 102s Reading package lists... 103s Building dependency tree... 103s Reading state information... 103s Starting pkgProblemResolver with broken count: 0 103s Starting 2 pkgProblemResolver with broken count: 0 103s Done 103s The following NEW packages will be installed: 103s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 103s cpp-s390x-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 103s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 103s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 103s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 103s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 103s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 103s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 103s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 103s libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 103s libgomp1 libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 103s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 103s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 103s liblcms2-2 libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 103s libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 libstdlib-ocaml 103s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 103s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 103s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 103s libxi6 libxinerama1 libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base 103s ocaml-interp tex-common why3 103s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 103s Need to get 155 MB of archives. 103s After this operation, 473 MB of additional disk space will be used. 103s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 103s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 103s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 103s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 103s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 103s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 103s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 103s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 103s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 104s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.4+ds-4 [52.9 kB] 104s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 104s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48~beta-3 [578 kB] 104s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.2-1 [8916 B] 104s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 104s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 104s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB] 105s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B] 105s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 105s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 105s Get:20 http://ftpmaster.internal/ubuntu plucky/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 105s Get:21 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc4-7 s390x 1.8-3build2 [5004 kB] 106s Get:22 http://ftpmaster.internal/ubuntu plucky/universe s390x libantlr3c-3.4-0 s390x 3.4+dfsg-4build2 [51.3 kB] 106s Get:23 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc4parser7 s390x 1.8-3build2 [417 kB] 106s Get:24 http://ftpmaster.internal/ubuntu plucky/universe s390x cvc4 s390x 1.8-3build2 [76.3 kB] 106s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 106s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 106s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 106s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 106s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 106s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 106s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 106s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 106s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 106s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB] 106s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB] 106s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB] 106s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB] 106s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB] 106s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB] 106s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB] 107s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB] 107s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 107s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 107s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.2-1 [54.8 kB] 107s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 107s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.2-1 [80.3 kB] 107s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.2-1 [66.7 kB] 107s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-14ubuntu1 [30.5 kB] 107s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-14ubuntu1 [23.6 kB] 107s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-14ubuntu1 [26.8 kB] 107s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 107s Get:52 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 107s Get:53 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 107s Get:54 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 107s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 107s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 107s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB] 107s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB] 107s Get:59 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2 [30.8 kB] 107s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 107s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 107s Get:62 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB] 107s Get:63 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB] 109s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 109s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 109s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 109s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 109s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 109s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 109s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 109s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.1-1 [253 kB] 109s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.1-1 [50.3 kB] 109s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.1-1 [28.3 kB] 109s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-1 [27.8 kB] 109s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-1 [11.5 kB] 109s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-1 [5654 B] 109s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 109s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 109s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 109s Get:80 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 109s Get:81 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 109s Get:82 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 109s Get:83 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 109s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 109s Get:85 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 109s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 110s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build1 [3616 kB] 110s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build1 [335 kB] 110s Get:89 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 110s Get:90 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 110s Get:91 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB] 110s Get:92 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB] 111s Get:93 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.18 [32.8 kB] 111s Get:94 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.7.2-2build1 [12.3 MB] 111s Fetched 155 MB in 8s (19.6 MB/s) 111s Selecting previously unselected package libgdk-pixbuf2.0-common. 111s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 55923 files and directories currently installed.) 111s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 111s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 111s Selecting previously unselected package libjpeg-turbo8:s390x. 111s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 111s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 111s Selecting previously unselected package libjpeg8:s390x. 111s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 111s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 111s Selecting previously unselected package libdeflate0:s390x. 111s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 111s Unpacking libdeflate0:s390x (1.23-1) ... 111s Selecting previously unselected package libjbig0:s390x. 111s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 111s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 111s Selecting previously unselected package libsharpyuv0:s390x. 111s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 111s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 111s Selecting previously unselected package libwebp7:s390x. 111s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 111s Unpacking libwebp7:s390x (1.5.0-0.1) ... 111s Selecting previously unselected package libtiff6:s390x. 111s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 111s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 111s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 111s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 111s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 111s Selecting previously unselected package gtk-update-icon-cache. 111s Preparing to unpack .../09-gtk-update-icon-cache_4.17.4+ds-4_s390x.deb ... 111s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 111s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. 111s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 111s Selecting previously unselected package hicolor-icon-theme. 111s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 111s Unpacking hicolor-icon-theme (0.18-2) ... 112s Selecting previously unselected package adwaita-icon-theme. 112s Preparing to unpack .../11-adwaita-icon-theme_48~beta-3_all.deb ... 112s Unpacking adwaita-icon-theme (48~beta-3) ... 112s Selecting previously unselected package at-spi2-common. 112s Preparing to unpack .../12-at-spi2-common_2.55.2-1_all.deb ... 112s Unpacking at-spi2-common (2.55.2-1) ... 112s Selecting previously unselected package libisl23:s390x. 112s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 112s Unpacking libisl23:s390x (0.27-1) ... 112s Selecting previously unselected package libmpc3:s390x. 112s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 112s Unpacking libmpc3:s390x (1.3.1-1build2) ... 112s Selecting previously unselected package cpp-14-s390x-linux-gnu. 112s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 112s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 112s Selecting previously unselected package cpp-14. 112s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu1_s390x.deb ... 112s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 112s Selecting previously unselected package cpp-s390x-linux-gnu. 112s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 112s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 112s Selecting previously unselected package cpp. 112s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 112s Unpacking cpp (4:14.2.0-1ubuntu1) ... 112s Selecting previously unselected package libcln6:s390x. 112s Preparing to unpack .../19-libcln6_1.3.7-1_s390x.deb ... 112s Unpacking libcln6:s390x (1.3.7-1) ... 112s Selecting previously unselected package libcvc4-7:s390x. 112s Preparing to unpack .../20-libcvc4-7_1.8-3build2_s390x.deb ... 112s Unpacking libcvc4-7:s390x (1.8-3build2) ... 112s Selecting previously unselected package libantlr3c-3.4-0:s390x. 112s Preparing to unpack .../21-libantlr3c-3.4-0_3.4+dfsg-4build2_s390x.deb ... 112s Unpacking libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 112s Selecting previously unselected package libcvc4parser7:s390x. 112s Preparing to unpack .../22-libcvc4parser7_1.8-3build2_s390x.deb ... 112s Unpacking libcvc4parser7:s390x (1.8-3build2) ... 112s Selecting previously unselected package cvc4. 112s Preparing to unpack .../23-cvc4_1.8-3build2_s390x.deb ... 112s Unpacking cvc4 (1.8-3build2) ... 112s Selecting previously unselected package libdconf1:s390x. 112s Preparing to unpack .../24-libdconf1_0.40.0-5_s390x.deb ... 112s Unpacking libdconf1:s390x (0.40.0-5) ... 112s Selecting previously unselected package dconf-service. 112s Preparing to unpack .../25-dconf-service_0.40.0-5_s390x.deb ... 112s Unpacking dconf-service (0.40.0-5) ... 112s Selecting previously unselected package dconf-gsettings-backend:s390x. 112s Preparing to unpack .../26-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 112s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 112s Selecting previously unselected package libfreetype6:s390x. 112s Preparing to unpack .../27-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 112s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 112s Selecting previously unselected package fonts-dejavu-mono. 112s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 112s Unpacking fonts-dejavu-mono (2.37-8) ... 112s Selecting previously unselected package fonts-dejavu-core. 112s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 112s Unpacking fonts-dejavu-core (2.37-8) ... 112s Selecting previously unselected package fontconfig-config. 112s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 112s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 112s Selecting previously unselected package libfontconfig1:s390x. 112s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 112s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 112s Selecting previously unselected package fontconfig. 112s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 112s Unpacking fontconfig (2.15.0-2ubuntu1) ... 112s Selecting previously unselected package libcc1-0:s390x. 112s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_s390x.deb ... 112s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ... 112s Selecting previously unselected package libgomp1:s390x. 112s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_s390x.deb ... 112s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ... 112s Selecting previously unselected package libitm1:s390x. 112s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_s390x.deb ... 112s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ... 112s Selecting previously unselected package libasan8:s390x. 112s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_s390x.deb ... 112s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ... 112s Selecting previously unselected package libubsan1:s390x. 112s Preparing to unpack .../37-libubsan1_15-20250213-1ubuntu1_s390x.deb ... 112s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ... 112s Selecting previously unselected package libgcc-14-dev:s390x. 112s Preparing to unpack .../38-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ... 112s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 112s Selecting previously unselected package gcc-14-s390x-linux-gnu. 112s Preparing to unpack .../39-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 112s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 112s Selecting previously unselected package gcc-14. 112s Preparing to unpack .../40-gcc-14_14.2.0-17ubuntu1_s390x.deb ... 112s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 112s Selecting previously unselected package gcc-s390x-linux-gnu. 112s Preparing to unpack .../41-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 112s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 112s Selecting previously unselected package gcc. 112s Preparing to unpack .../42-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 112s Unpacking gcc (4:14.2.0-1ubuntu1) ... 112s Selecting previously unselected package libatk1.0-0t64:s390x. 113s Preparing to unpack .../43-libatk1.0-0t64_2.55.2-1_s390x.deb ... 113s Unpacking libatk1.0-0t64:s390x (2.55.2-1) ... 113s Selecting previously unselected package libxi6:s390x. 113s Preparing to unpack .../44-libxi6_2%3a1.8.2-1_s390x.deb ... 113s Unpacking libxi6:s390x (2:1.8.2-1) ... 113s Selecting previously unselected package libatspi2.0-0t64:s390x. 113s Preparing to unpack .../45-libatspi2.0-0t64_2.55.2-1_s390x.deb ... 113s Unpacking libatspi2.0-0t64:s390x (2.55.2-1) ... 113s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 113s Preparing to unpack .../46-libatk-bridge2.0-0t64_2.55.2-1_s390x.deb ... 113s Unpacking libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 113s Selecting previously unselected package libavahi-common-data:s390x. 113s Preparing to unpack .../47-libavahi-common-data_0.8-14ubuntu1_s390x.deb ... 113s Unpacking libavahi-common-data:s390x (0.8-14ubuntu1) ... 113s Selecting previously unselected package libavahi-common3:s390x. 113s Preparing to unpack .../48-libavahi-common3_0.8-14ubuntu1_s390x.deb ... 113s Unpacking libavahi-common3:s390x (0.8-14ubuntu1) ... 113s Selecting previously unselected package libavahi-client3:s390x. 113s Preparing to unpack .../49-libavahi-client3_0.8-14ubuntu1_s390x.deb ... 113s Unpacking libavahi-client3:s390x (0.8-14ubuntu1) ... 113s Selecting previously unselected package libpixman-1-0:s390x. 113s Preparing to unpack .../50-libpixman-1-0_0.44.0-3_s390x.deb ... 113s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 113s Selecting previously unselected package libxcb-render0:s390x. 113s Preparing to unpack .../51-libxcb-render0_1.17.0-2_s390x.deb ... 113s Unpacking libxcb-render0:s390x (1.17.0-2) ... 113s Selecting previously unselected package libxcb-shm0:s390x. 113s Preparing to unpack .../52-libxcb-shm0_1.17.0-2_s390x.deb ... 113s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 113s Selecting previously unselected package libxrender1:s390x. 113s Preparing to unpack .../53-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 113s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 113s Selecting previously unselected package libcairo2:s390x. 113s Preparing to unpack .../54-libcairo2_1.18.2-2_s390x.deb ... 113s Unpacking libcairo2:s390x (1.18.2-2) ... 113s Selecting previously unselected package libcairo-gobject2:s390x. 113s Preparing to unpack .../55-libcairo-gobject2_1.18.2-2_s390x.deb ... 113s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 113s Selecting previously unselected package libstdlib-ocaml. 113s Preparing to unpack .../56-libstdlib-ocaml_5.2.0-3_s390x.deb ... 113s Unpacking libstdlib-ocaml (5.2.0-3) ... 113s Selecting previously unselected package ocaml-base. 113s Preparing to unpack .../57-ocaml-base_5.2.0-3_s390x.deb ... 113s Unpacking ocaml-base (5.2.0-3) ... 113s Selecting previously unselected package libcairo2-ocaml. 113s Preparing to unpack .../58-libcairo2-ocaml_0.6.5-2_s390x.deb ... 113s Unpacking libcairo2-ocaml (0.6.5-2) ... 113s Selecting previously unselected package liblcms2-2:s390x. 113s Preparing to unpack .../59-liblcms2-2_2.16-2_s390x.deb ... 113s Unpacking liblcms2-2:s390x (2.16-2) ... 113s Selecting previously unselected package libcolord2:s390x. 113s Preparing to unpack .../60-libcolord2_1.4.7-1build2_s390x.deb ... 113s Unpacking libcolord2:s390x (1.4.7-1build2) ... 113s Selecting previously unselected package libstdlib-ocaml-dev. 113s Preparing to unpack .../61-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ... 113s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 113s Selecting previously unselected package libcompiler-libs-ocaml-dev. 113s Preparing to unpack .../62-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ... 113s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 113s Selecting previously unselected package libcups2t64:s390x. 113s Preparing to unpack .../63-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 113s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 113s Selecting previously unselected package libdatrie1:s390x. 113s Preparing to unpack .../64-libdatrie1_0.2.13-3build1_s390x.deb ... 113s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 113s Selecting previously unselected package libepoxy0:s390x. 113s Preparing to unpack .../65-libepoxy0_1.5.10-2_s390x.deb ... 113s Unpacking libepoxy0:s390x (1.5.10-2) ... 113s Selecting previously unselected package libgraphite2-3:s390x. 113s Preparing to unpack .../66-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 113s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 113s Selecting previously unselected package libharfbuzz0b:s390x. 113s Preparing to unpack .../67-libharfbuzz0b_10.2.0-1_s390x.deb ... 113s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 113s Selecting previously unselected package libthai-data. 113s Preparing to unpack .../68-libthai-data_0.1.29-2build1_all.deb ... 113s Unpacking libthai-data (0.1.29-2build1) ... 113s Selecting previously unselected package libthai0:s390x. 113s Preparing to unpack .../69-libthai0_0.1.29-2build1_s390x.deb ... 113s Unpacking libthai0:s390x (0.1.29-2build1) ... 113s Selecting previously unselected package libpango-1.0-0:s390x. 113s Preparing to unpack .../70-libpango-1.0-0_1.56.1-1_s390x.deb ... 113s Unpacking libpango-1.0-0:s390x (1.56.1-1) ... 113s Selecting previously unselected package libpangoft2-1.0-0:s390x. 113s Preparing to unpack .../71-libpangoft2-1.0-0_1.56.1-1_s390x.deb ... 113s Unpacking libpangoft2-1.0-0:s390x (1.56.1-1) ... 113s Selecting previously unselected package libpangocairo-1.0-0:s390x. 113s Preparing to unpack .../72-libpangocairo-1.0-0_1.56.1-1_s390x.deb ... 113s Unpacking libpangocairo-1.0-0:s390x (1.56.1-1) ... 113s Selecting previously unselected package libwayland-client0:s390x. 113s Preparing to unpack .../73-libwayland-client0_1.23.1-1_s390x.deb ... 113s Unpacking libwayland-client0:s390x (1.23.1-1) ... 113s Selecting previously unselected package libwayland-cursor0:s390x. 113s Preparing to unpack .../74-libwayland-cursor0_1.23.1-1_s390x.deb ... 113s Unpacking libwayland-cursor0:s390x (1.23.1-1) ... 113s Selecting previously unselected package libwayland-egl1:s390x. 113s Preparing to unpack .../75-libwayland-egl1_1.23.1-1_s390x.deb ... 113s Unpacking libwayland-egl1:s390x (1.23.1-1) ... 113s Selecting previously unselected package libxcomposite1:s390x. 113s Preparing to unpack .../76-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 113s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 113s Selecting previously unselected package libxfixes3:s390x. 113s Preparing to unpack .../77-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 113s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 113s Selecting previously unselected package libxcursor1:s390x. 113s Preparing to unpack .../78-libxcursor1_1%3a1.2.3-1_s390x.deb ... 113s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 113s Selecting previously unselected package libxdamage1:s390x. 113s Preparing to unpack .../79-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 113s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 113s Selecting previously unselected package libxinerama1:s390x. 113s Preparing to unpack .../80-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 113s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 113s Selecting previously unselected package libxrandr2:s390x. 113s Preparing to unpack .../81-libxrandr2_2%3a1.5.4-1_s390x.deb ... 113s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 113s Selecting previously unselected package libgtk-3-common. 113s Preparing to unpack .../82-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 113s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 113s Selecting previously unselected package libgtk-3-0t64:s390x. 113s Preparing to unpack .../83-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 113s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 113s Selecting previously unselected package libgtksourceview-3.0-common. 113s Preparing to unpack .../84-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 113s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 113s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 113s Preparing to unpack .../85-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 113s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 113s Selecting previously unselected package liblablgtk3-ocaml. 113s Preparing to unpack .../86-liblablgtk3-ocaml_3.1.5-1build1_s390x.deb ... 113s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 113s Selecting previously unselected package liblablgtksourceview3-ocaml. 113s Preparing to unpack .../87-liblablgtksourceview3-ocaml_3.1.5-1build1_s390x.deb ... 113s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 113s Selecting previously unselected package libncurses-dev:s390x. 113s Preparing to unpack .../88-libncurses-dev_6.5+20250125-2_s390x.deb ... 113s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 114s Selecting previously unselected package libzstd-dev:s390x. 114s Preparing to unpack .../89-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 114s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 114s Selecting previously unselected package ocaml-interp. 114s Preparing to unpack .../90-ocaml-interp_5.2.0-3_s390x.deb ... 114s Unpacking ocaml-interp (5.2.0-3) ... 114s Selecting previously unselected package ocaml. 114s Preparing to unpack .../91-ocaml_5.2.0-3_s390x.deb ... 114s Unpacking ocaml (5.2.0-3) ... 114s Selecting previously unselected package tex-common. 114s Preparing to unpack .../92-tex-common_6.18_all.deb ... 114s Unpacking tex-common (6.18) ... 114s Selecting previously unselected package why3. 114s Preparing to unpack .../93-why3_1.7.2-2build1_s390x.deb ... 114s Unpacking why3 (1.7.2-2build1) ... 114s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 114s Setting up liblcms2-2:s390x (2.16-2) ... 114s Setting up libpixman-1-0:s390x (0.44.0-3) ... 114s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 114s Setting up libcln6:s390x (1.3.7-1) ... 114s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 114s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 114s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 114s Setting up libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 114s Setting up hicolor-icon-theme (0.18-2) ... 114s Setting up libxi6:s390x (2:1.8.2-1) ... 114s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 114s Setting up libdatrie1:s390x (0.2.13-3build1) ... 114s Setting up libxcb-render0:s390x (1.17.0-2) ... 114s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 114s Setting up libdeflate0:s390x (1.23-1) ... 114s Setting up libxcb-shm0:s390x (1.17.0-2) ... 114s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ... 114s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 114s Setting up libcolord2:s390x (1.4.7-1build2) ... 114s Setting up libdconf1:s390x (0.40.0-5) ... 114s Setting up tex-common (6.18) ... 114s update-language: texlive-base not installed and configured, doing nothing! 114s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 114s Setting up libepoxy0:s390x (1.5.10-2) ... 114s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 114s Setting up libavahi-common-data:s390x (0.8-14ubuntu1) ... 114s Setting up libatspi2.0-0t64:s390x (2.55.2-1) ... 114s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 114s Setting up libstdlib-ocaml (5.2.0-3) ... 114s Setting up fonts-dejavu-mono (2.37-8) ... 114s Setting up libmpc3:s390x (1.3.1-1build2) ... 114s Setting up libxrandr2:s390x (2:1.5.4-1) ... 114s Setting up ocaml-base (5.2.0-3) ... 114s Setting up fonts-dejavu-core (2.37-8) ... 114s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 114s Setting up libwebp7:s390x (1.5.0-0.1) ... 114s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ... 114s Setting up at-spi2-common (2.55.2-1) ... 114s Setting up libasan8:s390x (15-20250213-1ubuntu1) ... 114s Setting up libcvc4-7:s390x (1.8-3build2) ... 114s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 114s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 114s Setting up libthai-data (0.1.29-2build1) ... 114s Setting up libwayland-egl1:s390x (1.23.1-1) ... 114s Setting up libisl23:s390x (0.27-1) ... 114s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 114s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ... 114s Setting up libitm1:s390x (15-20250213-1ubuntu1) ... 114s Setting up libwayland-client0:s390x (1.23.1-1) ... 114s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 114s Setting up libatk1.0-0t64:s390x (2.55.2-1) ... 114s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 114s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 115s Setting up libxcursor1:s390x (1:1.2.3-1) ... 115s Setting up libavahi-common3:s390x (0.8-14ubuntu1) ... 115s Setting up dconf-service (0.40.0-5) ... 115s Setting up libthai0:s390x (0.1.29-2build1) ... 115s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 115s Setting up ocaml-interp (5.2.0-3) ... 115s Setting up libcvc4parser7:s390x (1.8-3build2) ... 115s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 115s Setting up cpp-14 (14.2.0-17ubuntu1) ... 115s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 115s Setting up libwayland-cursor0:s390x (1.23.1-1) ... 115s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 115s Setting up cvc4 (1.8-3build2) ... 115s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 115s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 115s Setting up libavahi-client3:s390x (0.8-14ubuntu1) ... 115s Setting up libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 115s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 115s Setting up fontconfig (2.15.0-2ubuntu1) ... 117s Regenerating fonts cache... done. 117s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 117s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 117s Setting up libpango-1.0-0:s390x (1.56.1-1) ... 117s Setting up libcairo2:s390x (1.18.2-2) ... 117s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 117s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 117s Setting up adwaita-icon-theme (48~beta-3) ... 117s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 117s Setting up cpp (4:14.2.0-1ubuntu1) ... 117s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 117s Setting up libpangoft2-1.0-0:s390x (1.56.1-1) ... 117s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 117s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 117s Setting up libpangocairo-1.0-0:s390x (1.56.1-1) ... 117s Setting up libcairo2-ocaml (0.6.5-2) ... 117s Setting up gcc-14 (14.2.0-17ubuntu1) ... 117s Setting up gcc (4:14.2.0-1ubuntu1) ... 117s Setting up ocaml (5.2.0-3) ... 117s Processing triggers for libc-bin (2.40-4ubuntu1) ... 117s Processing triggers for man-db (2.13.0-1) ... 117s Processing triggers for libglib2.0-0t64:s390x (2.83.3-2) ... 118s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 118s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 118s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 118s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 118s Setting up why3 (1.7.2-2build1) ... 118s Processing triggers for libc-bin (2.40-4ubuntu1) ... 118s autopkgtest [20:18:23]: test why3+cvc4: [----------------------- 119s autopkgtest [20:18:24]: test why3+cvc4: -----------------------] 120s why3+cvc4 PASS 120s autopkgtest [20:18:25]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 120s autopkgtest [20:18:25]: test why3+spass: preparing testbed 208s autopkgtest [20:19:53]: testbed dpkg architecture: s390x 208s autopkgtest [20:19:53]: testbed apt version: 2.9.30 208s autopkgtest [20:19:53]: @@@@@@@@@@@@@@@@@@@@ test bed setup 209s autopkgtest [20:19:54]: testbed release detected to be: plucky 209s autopkgtest [20:19:54]: updating testbed package index (apt update) 209s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 210s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 210s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 210s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 210s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 210s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 210s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 210s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 210s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [124 kB] 210s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 210s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [660 kB] 210s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [4436 B] 210s Fetched 1752 kB in 1s (1946 kB/s) 211s Reading package lists... 213s Reading package lists... 213s Building dependency tree... 213s Reading state information... 213s Calculating upgrade... 213s The following packages were automatically installed and are no longer required: 213s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 213s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 213s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 213s linux-tools-6.11.0-8-generic 213s Use 'sudo apt autoremove' to remove them. 213s The following packages will be upgraded: 213s cryptsetup-bin inetutils-telnet kbd libcryptsetup12 libssl3t64 openssl 213s openssl-provider-legacy python3-requests sysconfig-hardware telnet 213s 10 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 213s Need to get 4007 kB of archives. 213s After this operation, 5120 B of additional disk space will be used. 213s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x openssl-provider-legacy s390x 3.4.1-1ubuntu1 [37.9 kB] 213s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libssl3t64 s390x 3.4.1-1ubuntu1 [1889 kB] 213s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x kbd s390x 2.7.1-2ubuntu1 [239 kB] 213s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x openssl s390x 3.4.1-1ubuntu1 [1184 kB] 213s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x inetutils-telnet s390x 2:2.5-6ubuntu1 [111 kB] 213s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x telnet all 0.17+2.5-6ubuntu1 [3694 B] 213s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libcryptsetup12 s390x 2:2.7.5-1ubuntu2 [269 kB] 213s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x cryptsetup-bin s390x 2:2.7.5-1ubuntu2 [216 kB] 213s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 213s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x sysconfig-hardware s390x 0.0.14+nmu2ubuntu1 [4884 B] 213s Fetched 4007 kB in 1s (5789 kB/s) 213s (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 ... 81029 files and directories currently installed.) 213s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_s390x.deb ... 213s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 213s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 213s (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 ... 81029 files and directories currently installed.) 213s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_s390x.deb ... 213s Unpacking libssl3t64:s390x (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 213s Setting up libssl3t64:s390x (3.4.1-1ubuntu1) ... 213s (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 ... 81028 files and directories currently installed.) 213s Preparing to unpack .../0-kbd_2.7.1-2ubuntu1_s390x.deb ... 213s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 213s Preparing to unpack .../1-openssl_3.4.1-1ubuntu1_s390x.deb ... 213s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 213s Preparing to unpack .../2-inetutils-telnet_2%3a2.5-6ubuntu1_s390x.deb ... 213s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 213s Preparing to unpack .../3-telnet_0.17+2.5-6ubuntu1_all.deb ... 213s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 213s Preparing to unpack .../4-libcryptsetup12_2%3a2.7.5-1ubuntu2_s390x.deb ... 213s Unpacking libcryptsetup12:s390x (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 213s Preparing to unpack .../5-cryptsetup-bin_2%3a2.7.5-1ubuntu2_s390x.deb ... 213s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 213s Preparing to unpack .../6-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 213s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 213s for fn in glob1(directory, "%s.*" % fname): 213s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 213s Preparing to unpack .../7-sysconfig-hardware_0.0.14+nmu2ubuntu1_s390x.deb ... 213s Unpacking sysconfig-hardware (0.0.14+nmu2ubuntu1) over (0.0.14ubuntu3) ... 213s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 213s Setting up sysconfig-hardware (0.0.14+nmu2ubuntu1) ... 213s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 213s Setting up libcryptsetup12:s390x (2:2.7.5-1ubuntu2) ... 213s Setting up kbd (2.7.1-2ubuntu1) ... 213s Setting up openssl (3.4.1-1ubuntu1) ... 213s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 213s Setting up telnet (0.17+2.5-6ubuntu1) ... 213s Processing triggers for libc-bin (2.40-4ubuntu1) ... 213s Processing triggers for man-db (2.13.0-1) ... 214s Processing triggers for initramfs-tools (0.145ubuntu2) ... 214s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 214s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 218s Using config file '/etc/zipl.conf' 218s Building bootmap in '/boot' 218s Adding IPL section 'ubuntu' (default) 218s Preparing boot device for LD-IPL: vda (0000). 218s Done. 218s Reading package lists... 218s Building dependency tree... 218s Reading state information... 219s The following packages will be REMOVED: 219s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 219s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 219s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 219s linux-tools-6.11.0-8-generic* 219s 0 upgraded, 0 newly installed, 9 to remove and 1 not upgraded. 219s After this operation, 167 MB disk space will be freed. 219s (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 ... 81025 files and directories currently installed.) 219s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 219s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 219s Removing libpython3.12t64:s390x (3.12.9-1) ... 219s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 219s Removing libnsl2:s390x (1.3.0-3build3) ... 219s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 219s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 219s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 220s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 220s Processing triggers for libc-bin (2.40-4ubuntu1) ... 220s (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 ... 55925 files and directories currently installed.) 220s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 220s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 220s autopkgtest [20:20:05]: upgrading testbed (apt dist-upgrade and autopurge) 220s Reading package lists... 220s Building dependency tree... 220s Reading state information... 220s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 220s Starting 2 pkgProblemResolver with broken count: 0 220s Done 221s Entering ResolveByKeep 221s 221s The following packages will be upgraded: 221s libgmp10 221s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 221s Need to get 342 kB of archives. 221s After this operation, 0 B of additional disk space will be used. 221s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libgmp10 s390x 2:6.3.0+dfsg-3ubuntu1 [342 kB] 221s Fetched 342 kB in 0s (851 kB/s) 221s (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 ... 55923 files and directories currently installed.) 221s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_s390x.deb ... 221s Unpacking libgmp10:s390x (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 222s Setting up libgmp10:s390x (2:6.3.0+dfsg-3ubuntu1) ... 222s Processing triggers for libc-bin (2.40-4ubuntu1) ... 222s Reading package lists... 222s Building dependency tree... 222s Reading state information... 222s Starting pkgProblemResolver with broken count: 0 222s Starting 2 pkgProblemResolver with broken count: 0 222s Done 222s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 222s autopkgtest [20:20:07]: rebooting testbed after setup commands that affected boot 253s Reading package lists... 253s Building dependency tree... 253s Reading state information... 253s Starting pkgProblemResolver with broken count: 0 253s Starting 2 pkgProblemResolver with broken count: 0 253s Done 253s The following NEW packages will be installed: 253s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 253s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 253s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 253s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 253s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 253s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 253s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 253s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 253s libepoxy0 libfontconfig1 libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 253s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 253s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 253s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 253s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libmpc3 253s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 253s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 253s libthai0 libtiff6 libubsan1 libwayland-client0 libwayland-cursor0 253s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 253s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 253s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 253s 0 upgraded, 90 newly installed, 0 to remove and 0 not upgraded. 253s Need to get 149 MB of archives. 253s After this operation, 454 MB of additional disk space will be used. 253s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 253s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 253s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 253s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 253s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 253s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 253s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 253s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 254s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 254s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.4+ds-4 [52.9 kB] 254s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 254s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48~beta-3 [578 kB] 254s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.2-1 [8916 B] 254s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 254s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 254s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB] 254s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B] 254s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 254s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 254s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 254s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 254s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 254s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 254s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 254s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 254s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 254s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 254s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 254s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB] 254s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB] 254s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB] 254s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB] 254s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB] 254s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB] 254s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB] 255s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB] 255s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 255s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 255s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.2-1 [54.8 kB] 255s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 255s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.2-1 [80.3 kB] 255s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.2-1 [66.7 kB] 255s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-14ubuntu1 [30.5 kB] 255s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-14ubuntu1 [23.6 kB] 255s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-14ubuntu1 [26.8 kB] 255s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 255s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 255s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 255s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 255s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 255s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 255s Get:52 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB] 255s Get:53 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB] 255s Get:54 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2 [30.8 kB] 255s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 255s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 255s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB] 256s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB] 259s Get:59 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 259s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 259s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 259s Get:62 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 259s Get:63 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 259s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 259s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 259s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.1-1 [253 kB] 259s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.1-1 [50.3 kB] 259s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.1-1 [28.3 kB] 259s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-1 [27.8 kB] 259s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-1 [11.5 kB] 259s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-1 [5654 B] 259s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 259s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 259s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 259s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 259s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 259s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 259s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 259s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 259s Get:80 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 259s Get:81 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 259s Get:82 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build1 [3616 kB] 260s Get:83 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build1 [335 kB] 260s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 260s Get:85 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 260s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB] 260s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB] 261s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x spass s390x 3.9-1.1 [354 kB] 261s Get:89 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.18 [32.8 kB] 261s Get:90 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.7.2-2build1 [12.3 MB] 262s Fetched 149 MB in 9s (17.0 MB/s) 262s Selecting previously unselected package libgdk-pixbuf2.0-common. 262s (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 ... 55923 files and directories currently installed.) 262s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 262s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 262s Selecting previously unselected package libjpeg-turbo8:s390x. 262s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 262s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 262s Selecting previously unselected package libjpeg8:s390x. 262s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 262s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 262s Selecting previously unselected package libdeflate0:s390x. 262s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 262s Unpacking libdeflate0:s390x (1.23-1) ... 262s Selecting previously unselected package libjbig0:s390x. 262s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 262s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 262s Selecting previously unselected package libsharpyuv0:s390x. 262s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 262s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 262s Selecting previously unselected package libwebp7:s390x. 262s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 262s Unpacking libwebp7:s390x (1.5.0-0.1) ... 262s Selecting previously unselected package libtiff6:s390x. 262s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 262s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 262s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 262s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 262s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 262s Selecting previously unselected package gtk-update-icon-cache. 262s Preparing to unpack .../09-gtk-update-icon-cache_4.17.4+ds-4_s390x.deb ... 262s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 262s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. 262s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 262s Selecting previously unselected package hicolor-icon-theme. 262s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 262s Unpacking hicolor-icon-theme (0.18-2) ... 262s Selecting previously unselected package adwaita-icon-theme. 262s Preparing to unpack .../11-adwaita-icon-theme_48~beta-3_all.deb ... 262s Unpacking adwaita-icon-theme (48~beta-3) ... 262s Selecting previously unselected package at-spi2-common. 262s Preparing to unpack .../12-at-spi2-common_2.55.2-1_all.deb ... 262s Unpacking at-spi2-common (2.55.2-1) ... 262s Selecting previously unselected package libisl23:s390x. 262s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 262s Unpacking libisl23:s390x (0.27-1) ... 262s Selecting previously unselected package libmpc3:s390x. 262s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 262s Unpacking libmpc3:s390x (1.3.1-1build2) ... 263s Selecting previously unselected package cpp-14-s390x-linux-gnu. 263s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 263s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 263s Selecting previously unselected package cpp-14. 263s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu1_s390x.deb ... 263s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 263s Selecting previously unselected package cpp-s390x-linux-gnu. 263s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 263s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 263s Selecting previously unselected package cpp. 263s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 263s Unpacking cpp (4:14.2.0-1ubuntu1) ... 263s Selecting previously unselected package libdconf1:s390x. 263s Preparing to unpack .../19-libdconf1_0.40.0-5_s390x.deb ... 263s Unpacking libdconf1:s390x (0.40.0-5) ... 263s Selecting previously unselected package dconf-service. 263s Preparing to unpack .../20-dconf-service_0.40.0-5_s390x.deb ... 263s Unpacking dconf-service (0.40.0-5) ... 263s Selecting previously unselected package dconf-gsettings-backend:s390x. 263s Preparing to unpack .../21-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 263s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 263s Selecting previously unselected package libfreetype6:s390x. 263s Preparing to unpack .../22-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 263s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 263s Selecting previously unselected package fonts-dejavu-mono. 263s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 263s Unpacking fonts-dejavu-mono (2.37-8) ... 263s Selecting previously unselected package fonts-dejavu-core. 263s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 263s Unpacking fonts-dejavu-core (2.37-8) ... 263s Selecting previously unselected package fontconfig-config. 263s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 263s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 263s Selecting previously unselected package libfontconfig1:s390x. 263s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 263s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 263s Selecting previously unselected package fontconfig. 263s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 263s Unpacking fontconfig (2.15.0-2ubuntu1) ... 263s Selecting previously unselected package libcc1-0:s390x. 263s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_s390x.deb ... 263s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ... 263s Selecting previously unselected package libgomp1:s390x. 263s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_s390x.deb ... 263s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ... 263s Selecting previously unselected package libitm1:s390x. 263s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_s390x.deb ... 263s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ... 263s Selecting previously unselected package libasan8:s390x. 263s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_s390x.deb ... 263s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ... 263s Selecting previously unselected package libubsan1:s390x. 263s Preparing to unpack .../32-libubsan1_15-20250213-1ubuntu1_s390x.deb ... 263s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ... 263s Selecting previously unselected package libgcc-14-dev:s390x. 263s Preparing to unpack .../33-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ... 263s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 263s Selecting previously unselected package gcc-14-s390x-linux-gnu. 263s Preparing to unpack .../34-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 263s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 263s Selecting previously unselected package gcc-14. 263s Preparing to unpack .../35-gcc-14_14.2.0-17ubuntu1_s390x.deb ... 263s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 263s Selecting previously unselected package gcc-s390x-linux-gnu. 263s Preparing to unpack .../36-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 263s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 263s Selecting previously unselected package gcc. 263s Preparing to unpack .../37-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 263s Unpacking gcc (4:14.2.0-1ubuntu1) ... 263s Selecting previously unselected package libatk1.0-0t64:s390x. 263s Preparing to unpack .../38-libatk1.0-0t64_2.55.2-1_s390x.deb ... 263s Unpacking libatk1.0-0t64:s390x (2.55.2-1) ... 263s Selecting previously unselected package libxi6:s390x. 263s Preparing to unpack .../39-libxi6_2%3a1.8.2-1_s390x.deb ... 263s Unpacking libxi6:s390x (2:1.8.2-1) ... 263s Selecting previously unselected package libatspi2.0-0t64:s390x. 263s Preparing to unpack .../40-libatspi2.0-0t64_2.55.2-1_s390x.deb ... 263s Unpacking libatspi2.0-0t64:s390x (2.55.2-1) ... 263s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 263s Preparing to unpack .../41-libatk-bridge2.0-0t64_2.55.2-1_s390x.deb ... 263s Unpacking libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 263s Selecting previously unselected package libavahi-common-data:s390x. 263s Preparing to unpack .../42-libavahi-common-data_0.8-14ubuntu1_s390x.deb ... 263s Unpacking libavahi-common-data:s390x (0.8-14ubuntu1) ... 263s Selecting previously unselected package libavahi-common3:s390x. 263s Preparing to unpack .../43-libavahi-common3_0.8-14ubuntu1_s390x.deb ... 263s Unpacking libavahi-common3:s390x (0.8-14ubuntu1) ... 263s Selecting previously unselected package libavahi-client3:s390x. 263s Preparing to unpack .../44-libavahi-client3_0.8-14ubuntu1_s390x.deb ... 263s Unpacking libavahi-client3:s390x (0.8-14ubuntu1) ... 263s Selecting previously unselected package libpixman-1-0:s390x. 263s Preparing to unpack .../45-libpixman-1-0_0.44.0-3_s390x.deb ... 263s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 263s Selecting previously unselected package libxcb-render0:s390x. 263s Preparing to unpack .../46-libxcb-render0_1.17.0-2_s390x.deb ... 263s Unpacking libxcb-render0:s390x (1.17.0-2) ... 263s Selecting previously unselected package libxcb-shm0:s390x. 263s Preparing to unpack .../47-libxcb-shm0_1.17.0-2_s390x.deb ... 263s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 263s Selecting previously unselected package libxrender1:s390x. 263s Preparing to unpack .../48-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 263s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 263s Selecting previously unselected package libcairo2:s390x. 263s Preparing to unpack .../49-libcairo2_1.18.2-2_s390x.deb ... 263s Unpacking libcairo2:s390x (1.18.2-2) ... 263s Selecting previously unselected package libcairo-gobject2:s390x. 263s Preparing to unpack .../50-libcairo-gobject2_1.18.2-2_s390x.deb ... 263s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 263s Selecting previously unselected package libstdlib-ocaml. 263s Preparing to unpack .../51-libstdlib-ocaml_5.2.0-3_s390x.deb ... 263s Unpacking libstdlib-ocaml (5.2.0-3) ... 263s Selecting previously unselected package ocaml-base. 263s Preparing to unpack .../52-ocaml-base_5.2.0-3_s390x.deb ... 263s Unpacking ocaml-base (5.2.0-3) ... 263s Selecting previously unselected package libcairo2-ocaml. 263s Preparing to unpack .../53-libcairo2-ocaml_0.6.5-2_s390x.deb ... 263s Unpacking libcairo2-ocaml (0.6.5-2) ... 263s Selecting previously unselected package liblcms2-2:s390x. 263s Preparing to unpack .../54-liblcms2-2_2.16-2_s390x.deb ... 263s Unpacking liblcms2-2:s390x (2.16-2) ... 263s Selecting previously unselected package libcolord2:s390x. 263s Preparing to unpack .../55-libcolord2_1.4.7-1build2_s390x.deb ... 263s Unpacking libcolord2:s390x (1.4.7-1build2) ... 263s Selecting previously unselected package libstdlib-ocaml-dev. 263s Preparing to unpack .../56-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ... 263s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 264s Selecting previously unselected package libcompiler-libs-ocaml-dev. 264s Preparing to unpack .../57-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ... 264s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 264s Selecting previously unselected package libcups2t64:s390x. 264s Preparing to unpack .../58-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 264s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 264s Selecting previously unselected package libdatrie1:s390x. 264s Preparing to unpack .../59-libdatrie1_0.2.13-3build1_s390x.deb ... 264s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 264s Selecting previously unselected package libepoxy0:s390x. 264s Preparing to unpack .../60-libepoxy0_1.5.10-2_s390x.deb ... 264s Unpacking libepoxy0:s390x (1.5.10-2) ... 264s Selecting previously unselected package libgraphite2-3:s390x. 264s Preparing to unpack .../61-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 264s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 264s Selecting previously unselected package libharfbuzz0b:s390x. 264s Preparing to unpack .../62-libharfbuzz0b_10.2.0-1_s390x.deb ... 264s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 264s Selecting previously unselected package libthai-data. 264s Preparing to unpack .../63-libthai-data_0.1.29-2build1_all.deb ... 264s Unpacking libthai-data (0.1.29-2build1) ... 264s Selecting previously unselected package libthai0:s390x. 264s Preparing to unpack .../64-libthai0_0.1.29-2build1_s390x.deb ... 264s Unpacking libthai0:s390x (0.1.29-2build1) ... 264s Selecting previously unselected package libpango-1.0-0:s390x. 264s Preparing to unpack .../65-libpango-1.0-0_1.56.1-1_s390x.deb ... 264s Unpacking libpango-1.0-0:s390x (1.56.1-1) ... 264s Selecting previously unselected package libpangoft2-1.0-0:s390x. 264s Preparing to unpack .../66-libpangoft2-1.0-0_1.56.1-1_s390x.deb ... 264s Unpacking libpangoft2-1.0-0:s390x (1.56.1-1) ... 264s Selecting previously unselected package libpangocairo-1.0-0:s390x. 264s Preparing to unpack .../67-libpangocairo-1.0-0_1.56.1-1_s390x.deb ... 264s Unpacking libpangocairo-1.0-0:s390x (1.56.1-1) ... 264s Selecting previously unselected package libwayland-client0:s390x. 264s Preparing to unpack .../68-libwayland-client0_1.23.1-1_s390x.deb ... 264s Unpacking libwayland-client0:s390x (1.23.1-1) ... 264s Selecting previously unselected package libwayland-cursor0:s390x. 264s Preparing to unpack .../69-libwayland-cursor0_1.23.1-1_s390x.deb ... 264s Unpacking libwayland-cursor0:s390x (1.23.1-1) ... 264s Selecting previously unselected package libwayland-egl1:s390x. 264s Preparing to unpack .../70-libwayland-egl1_1.23.1-1_s390x.deb ... 264s Unpacking libwayland-egl1:s390x (1.23.1-1) ... 264s Selecting previously unselected package libxcomposite1:s390x. 264s Preparing to unpack .../71-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 264s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 264s Selecting previously unselected package libxfixes3:s390x. 264s Preparing to unpack .../72-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 264s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 264s Selecting previously unselected package libxcursor1:s390x. 264s Preparing to unpack .../73-libxcursor1_1%3a1.2.3-1_s390x.deb ... 264s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 264s Selecting previously unselected package libxdamage1:s390x. 264s Preparing to unpack .../74-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 264s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 264s Selecting previously unselected package libxinerama1:s390x. 264s Preparing to unpack .../75-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 264s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 264s Selecting previously unselected package libxrandr2:s390x. 264s Preparing to unpack .../76-libxrandr2_2%3a1.5.4-1_s390x.deb ... 264s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 264s Selecting previously unselected package libgtk-3-common. 264s Preparing to unpack .../77-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 264s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 264s Selecting previously unselected package libgtk-3-0t64:s390x. 264s Preparing to unpack .../78-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 264s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 264s Selecting previously unselected package libgtksourceview-3.0-common. 264s Preparing to unpack .../79-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 264s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 264s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 264s Preparing to unpack .../80-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 264s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 264s Selecting previously unselected package liblablgtk3-ocaml. 264s Preparing to unpack .../81-liblablgtk3-ocaml_3.1.5-1build1_s390x.deb ... 264s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 264s Selecting previously unselected package liblablgtksourceview3-ocaml. 264s Preparing to unpack .../82-liblablgtksourceview3-ocaml_3.1.5-1build1_s390x.deb ... 264s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 264s Selecting previously unselected package libncurses-dev:s390x. 264s Preparing to unpack .../83-libncurses-dev_6.5+20250125-2_s390x.deb ... 264s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 264s Selecting previously unselected package libzstd-dev:s390x. 264s Preparing to unpack .../84-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 264s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 264s Selecting previously unselected package ocaml-interp. 264s Preparing to unpack .../85-ocaml-interp_5.2.0-3_s390x.deb ... 264s Unpacking ocaml-interp (5.2.0-3) ... 264s Selecting previously unselected package ocaml. 264s Preparing to unpack .../86-ocaml_5.2.0-3_s390x.deb ... 264s Unpacking ocaml (5.2.0-3) ... 265s Selecting previously unselected package spass. 265s Preparing to unpack .../87-spass_3.9-1.1_s390x.deb ... 265s Unpacking spass (3.9-1.1) ... 265s Selecting previously unselected package tex-common. 265s Preparing to unpack .../88-tex-common_6.18_all.deb ... 265s Unpacking tex-common (6.18) ... 265s Selecting previously unselected package why3. 265s Preparing to unpack .../89-why3_1.7.2-2build1_s390x.deb ... 265s Unpacking why3 (1.7.2-2build1) ... 265s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 265s Setting up liblcms2-2:s390x (2.16-2) ... 265s Setting up libpixman-1-0:s390x (0.44.0-3) ... 265s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 265s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 265s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 265s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 265s Setting up hicolor-icon-theme (0.18-2) ... 265s Setting up libxi6:s390x (2:1.8.2-1) ... 265s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 265s Setting up libdatrie1:s390x (0.2.13-3build1) ... 265s Setting up libxcb-render0:s390x (1.17.0-2) ... 265s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 265s Setting up libdeflate0:s390x (1.23-1) ... 265s Setting up libxcb-shm0:s390x (1.17.0-2) ... 265s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ... 265s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 265s Setting up libcolord2:s390x (1.4.7-1build2) ... 265s Setting up libdconf1:s390x (0.40.0-5) ... 265s Setting up tex-common (6.18) ... 265s update-language: texlive-base not installed and configured, doing nothing! 265s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 265s Setting up libepoxy0:s390x (1.5.10-2) ... 265s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 265s Setting up spass (3.9-1.1) ... 265s Setting up libavahi-common-data:s390x (0.8-14ubuntu1) ... 265s Setting up libatspi2.0-0t64:s390x (2.55.2-1) ... 265s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 265s Setting up libstdlib-ocaml (5.2.0-3) ... 265s Setting up fonts-dejavu-mono (2.37-8) ... 265s Setting up libmpc3:s390x (1.3.1-1build2) ... 265s Setting up libxrandr2:s390x (2:1.5.4-1) ... 265s Setting up ocaml-base (5.2.0-3) ... 265s Setting up fonts-dejavu-core (2.37-8) ... 265s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 265s Setting up libwebp7:s390x (1.5.0-0.1) ... 265s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ... 265s Setting up at-spi2-common (2.55.2-1) ... 265s Setting up libasan8:s390x (15-20250213-1ubuntu1) ... 265s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 265s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 265s Setting up libthai-data (0.1.29-2build1) ... 265s Setting up libwayland-egl1:s390x (1.23.1-1) ... 265s Setting up libisl23:s390x (0.27-1) ... 265s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 265s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ... 265s Setting up libitm1:s390x (15-20250213-1ubuntu1) ... 265s Setting up libwayland-client0:s390x (1.23.1-1) ... 265s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 265s Setting up libatk1.0-0t64:s390x (2.55.2-1) ... 265s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 265s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 265s Setting up libxcursor1:s390x (1:1.2.3-1) ... 265s Setting up libavahi-common3:s390x (0.8-14ubuntu1) ... 265s Setting up dconf-service (0.40.0-5) ... 265s Setting up libthai0:s390x (0.1.29-2build1) ... 265s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 265s Setting up ocaml-interp (5.2.0-3) ... 265s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 265s Setting up cpp-14 (14.2.0-17ubuntu1) ... 265s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 265s Setting up libwayland-cursor0:s390x (1.23.1-1) ... 265s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 265s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 265s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 265s Setting up libavahi-client3:s390x (0.8-14ubuntu1) ... 265s Setting up libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 265s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 265s Setting up fontconfig (2.15.0-2ubuntu1) ... 267s Regenerating fonts cache... done. 267s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 267s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 267s Setting up libpango-1.0-0:s390x (1.56.1-1) ... 267s Setting up libcairo2:s390x (1.18.2-2) ... 267s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 267s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 267s Setting up adwaita-icon-theme (48~beta-3) ... 267s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 267s Setting up cpp (4:14.2.0-1ubuntu1) ... 267s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 267s Setting up libpangoft2-1.0-0:s390x (1.56.1-1) ... 267s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 267s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 267s Setting up libpangocairo-1.0-0:s390x (1.56.1-1) ... 267s Setting up libcairo2-ocaml (0.6.5-2) ... 267s Setting up gcc-14 (14.2.0-17ubuntu1) ... 267s Setting up gcc (4:14.2.0-1ubuntu1) ... 267s Setting up ocaml (5.2.0-3) ... 267s Processing triggers for libc-bin (2.40-4ubuntu1) ... 267s Processing triggers for man-db (2.13.0-1) ... 267s Processing triggers for libglib2.0-0t64:s390x (2.83.3-2) ... 267s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 267s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 267s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 267s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 267s Setting up why3 (1.7.2-2build1) ... 267s Processing triggers for libc-bin (2.40-4ubuntu1) ... 274s autopkgtest [20:20:59]: test why3+spass: [----------------------- 274s autopkgtest [20:20:59]: test why3+spass: -----------------------] 275s why3+spass PASS 275s autopkgtest [20:21:00]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 275s autopkgtest [20:21:00]: test why3+z3: preparing testbed 344s autopkgtest [20:22:09]: testbed dpkg architecture: s390x 345s autopkgtest [20:22:10]: testbed apt version: 2.9.30 345s autopkgtest [20:22:10]: @@@@@@@@@@@@@@@@@@@@ test bed setup 345s autopkgtest [20:22:10]: testbed release detected to be: plucky 346s autopkgtest [20:22:11]: updating testbed package index (apt update) 346s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 346s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 346s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 346s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 347s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 347s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 347s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 347s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 347s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [124 kB] 347s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 347s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [660 kB] 347s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [4436 B] 347s Fetched 1752 kB in 1s (1956 kB/s) 347s Reading package lists... 348s Reading package lists... 348s Building dependency tree... 348s Reading state information... 348s Calculating upgrade... 348s The following packages were automatically installed and are no longer required: 348s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 348s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 348s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 348s linux-tools-6.11.0-8-generic 348s Use 'sudo apt autoremove' to remove them. 348s The following packages will be upgraded: 348s cryptsetup-bin inetutils-telnet kbd libcryptsetup12 libssl3t64 openssl 348s openssl-provider-legacy python3-requests sysconfig-hardware telnet 348s 10 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 348s Need to get 4007 kB of archives. 348s After this operation, 5120 B of additional disk space will be used. 348s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x openssl-provider-legacy s390x 3.4.1-1ubuntu1 [37.9 kB] 349s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libssl3t64 s390x 3.4.1-1ubuntu1 [1889 kB] 349s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x kbd s390x 2.7.1-2ubuntu1 [239 kB] 349s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x openssl s390x 3.4.1-1ubuntu1 [1184 kB] 349s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x inetutils-telnet s390x 2:2.5-6ubuntu1 [111 kB] 349s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x telnet all 0.17+2.5-6ubuntu1 [3694 B] 349s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libcryptsetup12 s390x 2:2.7.5-1ubuntu2 [269 kB] 349s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x cryptsetup-bin s390x 2:2.7.5-1ubuntu2 [216 kB] 349s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 349s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x sysconfig-hardware s390x 0.0.14+nmu2ubuntu1 [4884 B] 349s Fetched 4007 kB in 1s (5795 kB/s) 349s (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 ... 81029 files and directories currently installed.) 349s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_s390x.deb ... 349s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 349s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 349s (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 ... 81029 files and directories currently installed.) 349s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_s390x.deb ... 349s Unpacking libssl3t64:s390x (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 349s Setting up libssl3t64:s390x (3.4.1-1ubuntu1) ... 349s (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 ... 81028 files and directories currently installed.) 349s Preparing to unpack .../0-kbd_2.7.1-2ubuntu1_s390x.deb ... 349s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 350s Preparing to unpack .../1-openssl_3.4.1-1ubuntu1_s390x.deb ... 350s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 350s Preparing to unpack .../2-inetutils-telnet_2%3a2.5-6ubuntu1_s390x.deb ... 350s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 350s Preparing to unpack .../3-telnet_0.17+2.5-6ubuntu1_all.deb ... 350s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 350s Preparing to unpack .../4-libcryptsetup12_2%3a2.7.5-1ubuntu2_s390x.deb ... 350s Unpacking libcryptsetup12:s390x (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 350s Preparing to unpack .../5-cryptsetup-bin_2%3a2.7.5-1ubuntu2_s390x.deb ... 350s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 350s Preparing to unpack .../6-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 350s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 350s for fn in glob1(directory, "%s.*" % fname): 350s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 350s Preparing to unpack .../7-sysconfig-hardware_0.0.14+nmu2ubuntu1_s390x.deb ... 350s Unpacking sysconfig-hardware (0.0.14+nmu2ubuntu1) over (0.0.14ubuntu3) ... 350s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 350s Setting up sysconfig-hardware (0.0.14+nmu2ubuntu1) ... 350s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 350s Setting up libcryptsetup12:s390x (2:2.7.5-1ubuntu2) ... 350s Setting up kbd (2.7.1-2ubuntu1) ... 350s Setting up openssl (3.4.1-1ubuntu1) ... 350s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 350s Setting up telnet (0.17+2.5-6ubuntu1) ... 350s Processing triggers for libc-bin (2.40-4ubuntu1) ... 350s Processing triggers for man-db (2.13.0-1) ... 351s Processing triggers for initramfs-tools (0.145ubuntu2) ... 351s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 351s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 355s Using config file '/etc/zipl.conf' 355s Building bootmap in '/boot' 355s Adding IPL section 'ubuntu' (default) 355s Preparing boot device for LD-IPL: vda (0000). 355s Done. 355s Reading package lists... 355s Building dependency tree... 355s Reading state information... 355s The following packages will be REMOVED: 355s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 355s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 355s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 355s linux-tools-6.11.0-8-generic* 355s 0 upgraded, 0 newly installed, 9 to remove and 1 not upgraded. 355s After this operation, 167 MB disk space will be freed. 355s (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 ... 81025 files and directories currently installed.) 355s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 355s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 355s Removing libpython3.12t64:s390x (3.12.9-1) ... 355s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 355s Removing libnsl2:s390x (1.3.0-3build3) ... 355s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 355s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 355s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 356s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 356s Processing triggers for libc-bin (2.40-4ubuntu1) ... 356s (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 ... 55925 files and directories currently installed.) 356s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 356s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 357s autopkgtest [20:22:22]: upgrading testbed (apt dist-upgrade and autopurge) 357s Reading package lists... 357s Building dependency tree... 357s Reading state information... 357s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 357s Starting 2 pkgProblemResolver with broken count: 0 357s Done 357s Entering ResolveByKeep 357s 357s The following packages will be upgraded: 357s libgmp10 358s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 358s Need to get 342 kB of archives. 358s After this operation, 0 B of additional disk space will be used. 358s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libgmp10 s390x 2:6.3.0+dfsg-3ubuntu1 [342 kB] 358s Fetched 342 kB in 0s (858 kB/s) 358s (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 ... 55923 files and directories currently installed.) 358s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_s390x.deb ... 358s Unpacking libgmp10:s390x (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 358s Setting up libgmp10:s390x (2:6.3.0+dfsg-3ubuntu1) ... 358s Processing triggers for libc-bin (2.40-4ubuntu1) ... 358s Reading package lists... 359s Building dependency tree... 359s Reading state information... 359s Starting pkgProblemResolver with broken count: 0 359s Starting 2 pkgProblemResolver with broken count: 0 359s Done 359s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 359s autopkgtest [20:22:24]: rebooting testbed after setup commands that affected boot 368s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 378s Reading package lists... 378s Building dependency tree... 378s Reading state information... 378s Starting pkgProblemResolver with broken count: 1 378s Starting 2 pkgProblemResolver with broken count: 1 378s Investigating (0) satisfy:command-line:s390x < none -> 1 @un puN Ib > 378s Broken satisfy:command-line:s390x Depends on why3:s390x < none | 1.7.2-2build1 @un uH > 378s Considering why3:s390x 1 as a solution to satisfy:command-line:s390x 9998 378s Re-Instated libfreetype6:s390x 378s Re-Instated fonts-dejavu-mono:s390x 378s Re-Instated fonts-dejavu-core:s390x 378s Re-Instated fontconfig-config:s390x 378s Re-Instated libfontconfig1:s390x 378s Re-Instated libpixman-1-0:s390x 378s Re-Instated libxcb-render0:s390x 378s Re-Instated libxcb-shm0:s390x 378s Re-Instated libxrender1:s390x 378s Re-Instated libcairo2:s390x 378s Re-Instated libgdk-pixbuf2.0-common:s390x 378s Re-Instated libjpeg-turbo8:s390x 378s Re-Instated libjpeg8:s390x 378s Re-Instated libdeflate0:s390x 378s Re-Instated libjbig0:s390x 378s Re-Instated libsharpyuv0:s390x 378s Re-Instated libwebp7:s390x 378s Re-Instated libtiff6:s390x 378s Re-Instated libgdk-pixbuf-2.0-0:s390x 378s Re-Instated gtk-update-icon-cache:s390x 378s Re-Instated hicolor-icon-theme:s390x 378s Re-Instated adwaita-icon-theme:s390x 378s Re-Instated at-spi2-common:s390x 378s Re-Instated libatk1.0-0t64:s390x 378s Re-Instated libxi6:s390x 378s Re-Instated libatspi2.0-0t64:s390x 378s Re-Instated libatk-bridge2.0-0t64:s390x 378s Re-Instated libcairo-gobject2:s390x 378s Re-Instated liblcms2-2:s390x 378s Re-Instated libcolord2:s390x 379s Re-Instated libavahi-common-data:s390x 379s Re-Instated libavahi-common3:s390x 379s Re-Instated libavahi-client3:s390x 379s Re-Instated libcups2t64:s390x 379s Re-Instated libepoxy0:s390x 379s Re-Instated libgraphite2-3:s390x 379s Re-Instated libharfbuzz0b:s390x 379s Re-Instated fontconfig:s390x 379s Re-Instated libthai-data:s390x 379s Re-Instated libdatrie1:s390x 379s Re-Instated libthai0:s390x 379s Re-Instated libpango-1.0-0:s390x 379s Re-Instated libpangoft2-1.0-0:s390x 379s Re-Instated libpangocairo-1.0-0:s390x 379s Re-Instated libwayland-client0:s390x 379s Re-Instated libwayland-cursor0:s390x 379s Re-Instated libwayland-egl1:s390x 379s Re-Instated libxcomposite1:s390x 379s Re-Instated libxfixes3:s390x 379s Re-Instated libxcursor1:s390x 379s Re-Instated libxdamage1:s390x 379s Re-Instated libxinerama1:s390x 379s Re-Instated libxrandr2:s390x 379s Re-Instated libdconf1:s390x 379s Re-Instated dconf-service:s390x 379s Re-Instated dconf-gsettings-backend:s390x 379s Re-Instated libgtk-3-common:s390x 379s Re-Instated libgtk-3-0t64:s390x 379s Re-Instated libgtksourceview-3.0-common:s390x 379s Re-Instated libgtksourceview-3.0-1:s390x 379s Re-Instated libstdlib-ocaml:s390x 379s Re-Instated ocaml-base:s390x 379s Re-Instated libcairo2-ocaml:s390x 379s Re-Instated liblablgtk3-ocaml:s390x 379s Re-Instated liblablgtksourceview3-ocaml:s390x 379s Re-Instated tex-common:s390x 379s Re-Instated why3:s390x 379s Broken satisfy:command-line:s390x Depends on z3:s390x < none | 4.13.3-1 @un uH > (< 4.11.1) 379s Broken satisfy:command-line:s390x Depends on ocaml-native-compilers:s390x < none @un H > 379s Considering ocaml:s390x 0 as a solution to satisfy:command-line:s390x 9998 379s Re-Instated libstdlib-ocaml-dev:s390x 379s Re-Instated libcompiler-libs-ocaml-dev:s390x 379s Re-Instated ocaml-interp:s390x 379s Re-Instated libncurses-dev:s390x 379s Re-Instated libisl23:s390x 379s Re-Instated libmpc3:s390x 379s Re-Instated cpp-14-s390x-linux-gnu:s390x 379s Re-Instated cpp-14:s390x 379s Re-Instated cpp-s390x-linux-gnu:s390x 379s Re-Instated cpp:s390x 379s Re-Instated libcc1-0:s390x 379s Re-Instated libgomp1:s390x 379s Re-Instated libitm1:s390x 379s Re-Instated libasan8:s390x 379s Re-Instated libubsan1:s390x 379s Re-Instated libgcc-14-dev:s390x 379s Re-Instated gcc-14-s390x-linux-gnu:s390x 379s Re-Instated gcc-14:s390x 379s Re-Instated gcc-s390x-linux-gnu:s390x 379s Re-Instated gcc:s390x 379s Re-Instated libzstd-dev:s390x 379s Re-Instated ocaml:s390x 379s Done 379s Some packages could not be installed. This may mean that you have 379s requested an impossible situation or if you are using the unstable 379s distribution that some required packages have not yet been created 379s or been moved out of Incoming. 379s The following information may help to resolve the situation: 379s 379s The following packages have unmet dependencies: 379s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 379s E: Unable to correct problems, you have held broken packages. 379s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 379s Reading package lists... 379s Building dependency tree... 379s Reading state information... 379s Starting pkgProblemResolver with broken count: 1 379s Starting 2 pkgProblemResolver with broken count: 1 379s Investigating (0) satisfy:command-line:s390x < none -> 1 @un puN Ib > 379s Broken satisfy:command-line:s390x Depends on why3:s390x < none | 1.8.0-2 @un uH > 379s Considering why3:s390x 1 as a solution to satisfy:command-line:s390x 9998 379s Re-Instated libfreetype6:s390x 379s Re-Instated fonts-dejavu-mono:s390x 379s Re-Instated fonts-dejavu-core:s390x 379s Re-Instated fontconfig-config:s390x 379s Re-Instated libfontconfig1:s390x 379s Re-Instated libpixman-1-0:s390x 379s Re-Instated libxcb-render0:s390x 379s Re-Instated libxcb-shm0:s390x 379s Re-Instated libxrender1:s390x 379s Re-Instated libcairo2:s390x 379s Re-Instated libgdk-pixbuf2.0-common:s390x 379s Re-Instated libjpeg-turbo8:s390x 379s Re-Instated libjpeg8:s390x 379s Re-Instated libdeflate0:s390x 379s Re-Instated libjbig0:s390x 379s Re-Instated libsharpyuv0:s390x 379s Re-Instated libwebp7:s390x 379s Re-Instated libtiff6:s390x 379s Re-Instated libgdk-pixbuf-2.0-0:s390x 379s Re-Instated gtk-update-icon-cache:s390x 379s Re-Instated hicolor-icon-theme:s390x 379s Re-Instated adwaita-icon-theme:s390x 379s Re-Instated at-spi2-common:s390x 379s Re-Instated libatk1.0-0t64:s390x 379s Re-Instated libxi6:s390x 379s Re-Instated libatspi2.0-0t64:s390x 379s Re-Instated libatk-bridge2.0-0t64:s390x 379s Re-Instated libcairo-gobject2:s390x 379s Re-Instated liblcms2-2:s390x 379s Re-Instated libcolord2:s390x 379s Re-Instated libavahi-common-data:s390x 379s Re-Instated libavahi-common3:s390x 379s Re-Instated libavahi-client3:s390x 379s Re-Instated libcups2t64:s390x 379s Re-Instated libepoxy0:s390x 379s Re-Instated libgraphite2-3:s390x 379s Re-Instated libharfbuzz0b:s390x 379s Re-Instated fontconfig:s390x 379s Re-Instated libthai-data:s390x 379s Re-Instated libdatrie1:s390x 379s Re-Instated libthai0:s390x 379s Re-Instated libpango-1.0-0:s390x 379s Re-Instated libpangoft2-1.0-0:s390x 379s Re-Instated libpangocairo-1.0-0:s390x 379s Re-Instated libwayland-client0:s390x 379s Re-Instated libwayland-cursor0:s390x 379s Re-Instated libwayland-egl1:s390x 379s Re-Instated libxcomposite1:s390x 379s Re-Instated libxfixes3:s390x 379s Re-Instated libxcursor1:s390x 379s Re-Instated libxdamage1:s390x 379s Re-Instated libxinerama1:s390x 379s Re-Instated libxrandr2:s390x 379s Re-Instated libdconf1:s390x 379s Re-Instated dconf-service:s390x 379s Re-Instated dconf-gsettings-backend:s390x 379s Re-Instated libgtk-3-common:s390x 379s Re-Instated libgtk-3-0t64:s390x 379s Re-Instated libgtksourceview-3.0-common:s390x 379s Re-Instated libgtksourceview-3.0-1:s390x 379s Re-Instated libstdlib-ocaml:s390x 379s Re-Instated ocaml-base:s390x 379s Re-Instated libcairo2-ocaml:s390x 379s Re-Instated liblablgtk3-ocaml:s390x 379s Re-Instated liblablgtksourceview3-ocaml:s390x 379s Re-Instated tex-common:s390x 379s Re-Instated why3:s390x 379s Broken satisfy:command-line:s390x Depends on z3:s390x < none | 4.13.3-1 @un uH > (< 4.11.1) 379s Broken satisfy:command-line:s390x Depends on ocaml-native-compilers:s390x < none @un H > 379s Considering ocaml:s390x 0 as a solution to satisfy:command-line:s390x 9998 379s Re-Instated libstdlib-ocaml-dev:s390x 379s Re-Instated libcompiler-libs-ocaml-dev:s390x 379s Re-Instated ocaml-interp:s390x 379s Re-Instated libtinfo6:s390x 379s Re-Instated libncurses6:s390x 379s Re-Instated libncursesw6:s390x 379s Re-Instated libncurses-dev:s390x 379s Re-Instated gcc-14-base:s390x 379s Re-Instated libisl23:s390x 379s Re-Instated libmpc3:s390x 379s Re-Instated cpp-14-s390x-linux-gnu:s390x 379s Re-Instated cpp-14:s390x 379s Re-Instated cpp-s390x-linux-gnu:s390x 379s Re-Instated cpp:s390x 379s Re-Instated libcc1-0:s390x 379s Re-Instated libgomp1:s390x 379s Re-Instated libitm1:s390x 379s Re-Instated libasan8:s390x 379s Re-Instated libubsan1:s390x 379s Re-Instated libgcc-14-dev:s390x 379s Re-Instated gcc-14-s390x-linux-gnu:s390x 379s Re-Instated gcc-14:s390x 379s Re-Instated gcc-s390x-linux-gnu:s390x 379s Re-Instated gcc:s390x 379s Re-Instated libzstd-dev:s390x 379s Re-Instated ocaml:s390x 379s Done 379s Some packages could not be installed. This may mean that you have 379s requested an impossible situation or if you are using the unstable 379s distribution that some required packages have not yet been created 379s or been moved out of Incoming. 379s The following information may help to resolve the situation: 379s 379s The following packages have unmet dependencies: 379s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 379s E: Unable to correct problems, you have held broken packages. 379s why3+z3 SKIP installation fails and skip-not-installable set 379s autopkgtest [20:22:44]: @@@@@@@@@@@@@@@@@@@@ summary 379s why3+cvc4 PASS 379s why3+spass PASS 379s why3+z3 SKIP installation fails and skip-not-installable set 396s nova [W] Using flock in prodstack6-s390x 396s Creating nova instance adt-plucky-s390x-why3-20250220-201625-juju-7f2275-prod-proposed-migration-environment-20-ffeffe1a-3cec-418f-b278-b2cc38901718 from image adt/ubuntu-plucky-s390x-server-20250220.img (UUID dfcfa127-57e0-4f6e-90de-18502ac9dcf4)... 396s nova [W] Timed out waiting for b572d18b-0d99-4317-aa09-0bc1e5f67cd1 to get deleted. 396s nova [W] Using flock in prodstack6-s390x 396s Creating nova instance adt-plucky-s390x-why3-20250220-201625-juju-7f2275-prod-proposed-migration-environment-20-ffeffe1a-3cec-418f-b278-b2cc38901718 from image adt/ubuntu-plucky-s390x-server-20250220.img (UUID dfcfa127-57e0-4f6e-90de-18502ac9dcf4)... 396s nova [W] Timed out waiting for 0b9bb24e-459b-431d-a64a-4a935b2aa62a to get deleted. 396s nova [W] Using flock in prodstack6-s390x 396s Creating nova instance adt-plucky-s390x-why3-20250220-201625-juju-7f2275-prod-proposed-migration-environment-20-ffeffe1a-3cec-418f-b278-b2cc38901718 from image adt/ubuntu-plucky-s390x-server-20250220.img (UUID dfcfa127-57e0-4f6e-90de-18502ac9dcf4)... 396s nova [W] Timed out waiting for b030af55-ada3-4d2f-afb2-ceb30723c3a2 to get deleted.