0s autopkgtest [19:44:56]: starting date and time: 2025-03-15 19:44:56+0000 0s autopkgtest [19:44:56]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [19:44:56]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.quso_ota/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-s390x-32.secgroup --name adt-plucky-s390x-why3-20250315-194455-juju-7f2275-prod-proposed-migration-environment-15-64ddc569-4343-4b6f-893a-54f56e9fdd8e --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --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/ 99s autopkgtest [19:46:35]: testbed dpkg architecture: s390x 99s autopkgtest [19:46:35]: testbed apt version: 2.9.33 100s autopkgtest [19:46:36]: @@@@@@@@@@@@@@@@@@@@ test bed setup 100s autopkgtest [19:46:36]: testbed release detected to be: None 101s autopkgtest [19:46:37]: updating testbed package index (apt update) 101s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 101s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 101s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 101s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 102s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [369 kB] 102s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.5 kB] 102s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [45.1 kB] 102s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [77.3 kB] 102s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x c-n-f Metadata [1824 B] 102s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x c-n-f Metadata [116 B] 102s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [314 kB] 102s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x c-n-f Metadata [13.3 kB] 102s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3532 B] 102s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x c-n-f Metadata [240 B] 102s Fetched 965 kB in 1s (947 kB/s) 103s Reading package lists... 103s + lsb_release --codename --short 103s + RELEASE=plucky 103s + cat 103s + [ plucky != trusty ] 103s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 103s Reading package lists... 103s Building dependency tree... 103s Reading state information... 103s Calculating upgrade... 103s Calculating upgrade... 104s The following packages were automatically installed and are no longer required: 104s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 104s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 104s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 104s linux-tools-6.11.0-8-generic 104s Use 'sudo apt autoremove' to remove them. 104s The following packages will be upgraded: 104s pinentry-curses python3-jinja2 strace 104s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 104s Need to get 652 kB of archives. 104s After this operation, 27.6 kB of additional disk space will be used. 104s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x strace s390x 6.13+ds-1ubuntu1 [500 kB] 104s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x pinentry-curses s390x 1.3.1-2ubuntu3 [42.9 kB] 104s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 105s Fetched 652 kB in 1s (934 kB/s) 105s (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 ... 81428 files and directories currently installed.) 105s Preparing to unpack .../strace_6.13+ds-1ubuntu1_s390x.deb ... 105s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 105s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_s390x.deb ... 105s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 105s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 105s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 105s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 105s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 105s Setting up strace (6.13+ds-1ubuntu1) ... 105s Processing triggers for man-db (2.13.0-1) ... 105s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 105s + /usr/lib/apt/apt-helper analyze-pattern ?true 105s + uname -r 105s + sed s/\./\\./g 105s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.* 105s + apt list ?obsolete 105s + tail -n+2 105s + cut -d/ -f1 105s + grep -v ^linux-.*6\.14\.0-10-generic.* 106s + obsolete_pkgs=linux-headers-6.11.0-8-generic 106s linux-headers-6.11.0-8 106s linux-modules-6.11.0-8-generic 106s linux-tools-6.11.0-8-generic 106s linux-tools-6.11.0-8 106s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-modules-6.11.0-8-generic linux-tools-6.11.0-8-generic linux-tools-6.11.0-8 106s Reading package lists... 106s Building dependency tree... 106s Reading state information... 106s Solving dependencies... 106s The following packages will be REMOVED: 106s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 106s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 106s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 106s linux-tools-6.11.0-8-generic* 106s 0 upgraded, 0 newly installed, 9 to remove and 5 not upgraded. 106s After this operation, 167 MB disk space will be freed. 106s (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 ... 81428 files and directories currently installed.) 106s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 106s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 106s Removing libpython3.12t64:s390x (3.12.9-1) ... 106s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 106s Removing libnsl2:s390x (1.3.0-3build3) ... 106s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 106s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 106s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 107s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 107s Processing triggers for libc-bin (2.41-1ubuntu1) ... 107s (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 ... 56328 files and directories currently installed.) 107s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 107s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 107s + grep -q trusty /etc/lsb-release 107s + [ ! -d /usr/share/doc/unattended-upgrades ] 107s + [ ! -d /usr/share/doc/lxd ] 107s + [ ! -d /usr/share/doc/lxd-client ] 107s + [ ! -d /usr/share/doc/snapd ] 107s + type iptables 107s + cat 107s + chmod 755 /etc/rc.local 107s + . /etc/rc.local 107s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 107s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 107s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 107s + uname -m 107s + [ s390x = ppc64le ] 107s + [ -d /run/systemd/system ] 107s + systemd-detect-virt --quiet --vm 107s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 107s + cat 107s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 107s + echo COMPRESS=lz4 107s autopkgtest [19:46:43]: upgrading testbed (apt dist-upgrade and autopurge) 108s Reading package lists... 108s Building dependency tree... 108s Reading state information... 108s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 108s Starting 2 pkgProblemResolver with broken count: 0 108s Done 108s Entering ResolveByKeep 108s 108s Calculating upgrade... 108s The following packages will be upgraded: 108s libc-bin libc-dev-bin libc6 libc6-dev locales 109s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 109s Need to get 9512 kB of archives. 109s After this operation, 8192 B of additional disk space will be used. 109s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu2 [1678 kB] 109s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu2 [24.3 kB] 109s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu2 [2892 kB] 109s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu2 [671 kB] 109s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu2 [4246 kB] 110s Preconfiguring packages ... 110s Fetched 9512 kB in 1s (7124 kB/s) 110s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 56326 files and directories currently installed.) 110s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_s390x.deb ... 110s Unpacking libc6-dev:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 110s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_s390x.deb ... 110s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 110s Preparing to unpack .../libc6_2.41-1ubuntu2_s390x.deb ... 110s Unpacking libc6:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 110s Setting up libc6:s390x (2.41-1ubuntu2) ... 110s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 56326 files and directories currently installed.) 110s Preparing to unpack .../libc-bin_2.41-1ubuntu2_s390x.deb ... 110s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 110s Setting up libc-bin (2.41-1ubuntu2) ... 110s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 56326 files and directories currently installed.) 110s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 110s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 111s Setting up locales (2.41-1ubuntu2) ... 111s Generating locales (this might take a while)... 112s en_US.UTF-8... done 112s Generation complete. 112s Setting up libc-dev-bin (2.41-1ubuntu2) ... 112s Setting up libc6-dev:s390x (2.41-1ubuntu2) ... 112s Processing triggers for man-db (2.13.0-1) ... 112s Processing triggers for systemd (257.3-1ubuntu3) ... 113s Reading package lists... 113s Building dependency tree... 113s Reading state information... 113s Starting pkgProblemResolver with broken count: 0 113s Starting 2 pkgProblemResolver with broken count: 0 113s Done 114s Solving dependencies... 114s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 114s autopkgtest [19:46:50]: rebooting testbed after setup commands that affected boot 132s autopkgtest [19:47:08]: testbed running kernel: Linux 6.14.0-10-generic #10-Ubuntu SMP Wed Mar 12 14:53:49 UTC 2025 134s autopkgtest [19:47:10]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 139s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (dsc) [2140 B] 139s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (tar) [6637 kB] 139s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (diff) [18.9 kB] 139s gpgv: Signature made Sun Feb 2 06:48:51 2025 UTC 139s gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 139s gpgv: issuer "glondu@debian.org" 139s gpgv: Can't check signature: No public key 139s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.0-2.dsc: no acceptable signature found 140s autopkgtest [19:47:16]: testing package why3 version 1.8.0-2 140s autopkgtest [19:47:16]: build not needed 143s autopkgtest [19:47:19]: test why3+cvc4: preparing testbed 143s Reading package lists... 143s Building dependency tree... 143s Reading state information... 143s Starting pkgProblemResolver with broken count: 0 143s Starting 2 pkgProblemResolver with broken count: 0 143s Done 143s The following NEW packages will be installed: 143s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 143s cpp-s390x-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 143s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 143s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 143s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 143s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 143s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 143s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 143s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 143s libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 143s libgomp1 libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 143s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 143s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 143s liblcms2-2 libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 143s libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 libstdlib-ocaml 143s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 143s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 143s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 143s libxi6 libxinerama1 libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base 143s ocaml-interp tex-common why3 143s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 143s Need to get 157 MB of archives. 143s After this operation, 487 MB of additional disk space will be used. 143s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 144s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 144s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 144s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 144s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 144s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 144s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 144s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 144s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 144s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.5+ds-3ubuntu1 [53.2 kB] 144s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 144s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48.0-1 [578 kB] 144s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.90-1 [9072 B] 144s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 145s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 145s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 146s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 146s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 146s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 146s Get:20 http://ftpmaster.internal/ubuntu plucky/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 146s Get:21 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc4-7 s390x 1.8-3build2 [5004 kB] 147s Get:22 http://ftpmaster.internal/ubuntu plucky/universe s390x libantlr3c-3.4-0 s390x 3.4+dfsg-4build2 [51.3 kB] 147s Get:23 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc4parser7 s390x 1.8-3build2 [417 kB] 147s Get:24 http://ftpmaster.internal/ubuntu plucky/universe s390x cvc4 s390x 1.8-3build2 [76.3 kB] 147s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 147s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 147s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 147s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 148s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 148s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 148s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 148s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 148s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 148s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250222-0ubuntu1 [49.2 kB] 148s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250222-0ubuntu1 [152 kB] 148s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250222-0ubuntu1 [31.2 kB] 148s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250222-0ubuntu1 [2970 kB] 148s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250222-0ubuntu1 [1212 kB] 149s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 149s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 152s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 152s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 152s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 152s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.90-1 [54.9 kB] 152s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 152s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.90-1 [83.8 kB] 152s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.90-1 [66.7 kB] 152s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-16ubuntu1 [30.9 kB] 152s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-16ubuntu1 [23.5 kB] 152s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-16ubuntu1 [26.3 kB] 152s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 152s Get:52 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 152s Get:53 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 152s Get:54 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 152s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 152s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 152s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.3.0-2 [438 kB] 152s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.3.0-2 [329 kB] 153s Get:59 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2build1 [30.7 kB] 153s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 153s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-3 [149 kB] 153s Get:62 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.3.0-2 [7845 kB] 154s Get:63 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-2 [47.5 MB] 163s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 163s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 163s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 163s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 163s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 163s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 163s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 163s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.2-1 [253 kB] 163s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.2-1 [50.2 kB] 163s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.2-1 [28.2 kB] 163s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-3 [28.2 kB] 163s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-3 [11.5 kB] 163s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-3 [6078 B] 163s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 163s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 163s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 163s Get:80 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 163s Get:81 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 163s Get:82 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 163s Get:83 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 163s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 164s Get:85 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 164s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 164s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build2 [3627 kB] 165s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build2 [335 kB] 165s Get:89 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250216-2 [407 kB] 165s Get:90 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 165s Get:91 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.3.0-2 [8368 kB] 167s Get:92 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.3.0-2 [20.6 MB] 171s Get:93 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.19 [29.8 kB] 171s Get:94 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.8.0-2 [13.8 MB] 175s Fetched 157 MB in 31s (5067 kB/s) 175s Selecting previously unselected package libgdk-pixbuf2.0-common. 175s (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 ... 56326 files and directories currently installed.) 175s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 175s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 175s Selecting previously unselected package libjpeg-turbo8:s390x. 175s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 175s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 175s Selecting previously unselected package libjpeg8:s390x. 175s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 175s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 175s Selecting previously unselected package libdeflate0:s390x. 175s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 175s Unpacking libdeflate0:s390x (1.23-1) ... 175s Selecting previously unselected package libjbig0:s390x. 175s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 175s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 175s Selecting previously unselected package libsharpyuv0:s390x. 175s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 175s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 175s Selecting previously unselected package libwebp7:s390x. 175s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 175s Unpacking libwebp7:s390x (1.5.0-0.1) ... 175s Selecting previously unselected package libtiff6:s390x. 175s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 175s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 175s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 175s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 175s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 175s Selecting previously unselected package gtk-update-icon-cache. 175s Preparing to unpack .../09-gtk-update-icon-cache_4.17.5+ds-3ubuntu1_s390x.deb ... 175s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 175s 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. 175s Unpacking gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 175s Selecting previously unselected package hicolor-icon-theme. 175s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 175s Unpacking hicolor-icon-theme (0.18-2) ... 175s Selecting previously unselected package adwaita-icon-theme. 175s Preparing to unpack .../11-adwaita-icon-theme_48.0-1_all.deb ... 175s Unpacking adwaita-icon-theme (48.0-1) ... 175s Selecting previously unselected package at-spi2-common. 175s Preparing to unpack .../12-at-spi2-common_2.55.90-1_all.deb ... 175s Unpacking at-spi2-common (2.55.90-1) ... 175s Selecting previously unselected package libisl23:s390x. 175s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 175s Unpacking libisl23:s390x (0.27-1) ... 175s Selecting previously unselected package libmpc3:s390x. 175s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 175s Unpacking libmpc3:s390x (1.3.1-1build2) ... 175s Selecting previously unselected package cpp-14-s390x-linux-gnu. 175s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 175s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 175s Selecting previously unselected package cpp-14. 175s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 175s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 175s Selecting previously unselected package cpp-s390x-linux-gnu. 175s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 175s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 175s Selecting previously unselected package cpp. 175s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 175s Unpacking cpp (4:14.2.0-1ubuntu1) ... 175s Selecting previously unselected package libcln6:s390x. 175s Preparing to unpack .../19-libcln6_1.3.7-1_s390x.deb ... 175s Unpacking libcln6:s390x (1.3.7-1) ... 175s Selecting previously unselected package libcvc4-7:s390x. 175s Preparing to unpack .../20-libcvc4-7_1.8-3build2_s390x.deb ... 175s Unpacking libcvc4-7:s390x (1.8-3build2) ... 175s Selecting previously unselected package libantlr3c-3.4-0:s390x. 175s Preparing to unpack .../21-libantlr3c-3.4-0_3.4+dfsg-4build2_s390x.deb ... 175s Unpacking libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 175s Selecting previously unselected package libcvc4parser7:s390x. 175s Preparing to unpack .../22-libcvc4parser7_1.8-3build2_s390x.deb ... 175s Unpacking libcvc4parser7:s390x (1.8-3build2) ... 175s Selecting previously unselected package cvc4. 175s Preparing to unpack .../23-cvc4_1.8-3build2_s390x.deb ... 175s Unpacking cvc4 (1.8-3build2) ... 175s Selecting previously unselected package libdconf1:s390x. 175s Preparing to unpack .../24-libdconf1_0.40.0-5_s390x.deb ... 175s Unpacking libdconf1:s390x (0.40.0-5) ... 175s Selecting previously unselected package dconf-service. 175s Preparing to unpack .../25-dconf-service_0.40.0-5_s390x.deb ... 175s Unpacking dconf-service (0.40.0-5) ... 175s Selecting previously unselected package dconf-gsettings-backend:s390x. 175s Preparing to unpack .../26-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 175s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 175s Selecting previously unselected package libfreetype6:s390x. 175s Preparing to unpack .../27-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 175s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 175s Selecting previously unselected package fonts-dejavu-mono. 175s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 175s Unpacking fonts-dejavu-mono (2.37-8) ... 175s Selecting previously unselected package fonts-dejavu-core. 175s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 175s Unpacking fonts-dejavu-core (2.37-8) ... 175s Selecting previously unselected package fontconfig-config. 175s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 175s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 176s Selecting previously unselected package libfontconfig1:s390x. 176s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 176s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 176s Selecting previously unselected package fontconfig. 176s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 176s Unpacking fontconfig (2.15.0-2ubuntu1) ... 176s Selecting previously unselected package libcc1-0:s390x. 176s Preparing to unpack .../33-libcc1-0_15-20250222-0ubuntu1_s390x.deb ... 176s Unpacking libcc1-0:s390x (15-20250222-0ubuntu1) ... 176s Selecting previously unselected package libgomp1:s390x. 176s Preparing to unpack .../34-libgomp1_15-20250222-0ubuntu1_s390x.deb ... 176s Unpacking libgomp1:s390x (15-20250222-0ubuntu1) ... 176s Selecting previously unselected package libitm1:s390x. 176s Preparing to unpack .../35-libitm1_15-20250222-0ubuntu1_s390x.deb ... 176s Unpacking libitm1:s390x (15-20250222-0ubuntu1) ... 176s Selecting previously unselected package libasan8:s390x. 176s Preparing to unpack .../36-libasan8_15-20250222-0ubuntu1_s390x.deb ... 176s Unpacking libasan8:s390x (15-20250222-0ubuntu1) ... 176s Selecting previously unselected package libubsan1:s390x. 176s Preparing to unpack .../37-libubsan1_15-20250222-0ubuntu1_s390x.deb ... 176s Unpacking libubsan1:s390x (15-20250222-0ubuntu1) ... 176s Selecting previously unselected package libgcc-14-dev:s390x. 176s Preparing to unpack .../38-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 176s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 176s Selecting previously unselected package gcc-14-s390x-linux-gnu. 176s Preparing to unpack .../39-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 176s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 176s Selecting previously unselected package gcc-14. 176s Preparing to unpack .../40-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 176s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 176s Selecting previously unselected package gcc-s390x-linux-gnu. 176s Preparing to unpack .../41-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 176s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 176s Selecting previously unselected package gcc. 176s Preparing to unpack .../42-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 176s Unpacking gcc (4:14.2.0-1ubuntu1) ... 176s Selecting previously unselected package libatk1.0-0t64:s390x. 176s Preparing to unpack .../43-libatk1.0-0t64_2.55.90-1_s390x.deb ... 176s Unpacking libatk1.0-0t64:s390x (2.55.90-1) ... 176s Selecting previously unselected package libxi6:s390x. 176s Preparing to unpack .../44-libxi6_2%3a1.8.2-1_s390x.deb ... 176s Unpacking libxi6:s390x (2:1.8.2-1) ... 176s Selecting previously unselected package libatspi2.0-0t64:s390x. 176s Preparing to unpack .../45-libatspi2.0-0t64_2.55.90-1_s390x.deb ... 176s Unpacking libatspi2.0-0t64:s390x (2.55.90-1) ... 176s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 176s Preparing to unpack .../46-libatk-bridge2.0-0t64_2.55.90-1_s390x.deb ... 176s Unpacking libatk-bridge2.0-0t64:s390x (2.55.90-1) ... 176s Selecting previously unselected package libavahi-common-data:s390x. 176s Preparing to unpack .../47-libavahi-common-data_0.8-16ubuntu1_s390x.deb ... 176s Unpacking libavahi-common-data:s390x (0.8-16ubuntu1) ... 176s Selecting previously unselected package libavahi-common3:s390x. 176s Preparing to unpack .../48-libavahi-common3_0.8-16ubuntu1_s390x.deb ... 176s Unpacking libavahi-common3:s390x (0.8-16ubuntu1) ... 176s Selecting previously unselected package libavahi-client3:s390x. 176s Preparing to unpack .../49-libavahi-client3_0.8-16ubuntu1_s390x.deb ... 176s Unpacking libavahi-client3:s390x (0.8-16ubuntu1) ... 176s Selecting previously unselected package libpixman-1-0:s390x. 176s Preparing to unpack .../50-libpixman-1-0_0.44.0-3_s390x.deb ... 176s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 176s Selecting previously unselected package libxcb-render0:s390x. 176s Preparing to unpack .../51-libxcb-render0_1.17.0-2_s390x.deb ... 176s Unpacking libxcb-render0:s390x (1.17.0-2) ... 176s Selecting previously unselected package libxcb-shm0:s390x. 176s Preparing to unpack .../52-libxcb-shm0_1.17.0-2_s390x.deb ... 176s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 176s Selecting previously unselected package libxrender1:s390x. 176s Preparing to unpack .../53-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 176s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 176s Selecting previously unselected package libcairo2:s390x. 176s Preparing to unpack .../54-libcairo2_1.18.2-2_s390x.deb ... 176s Unpacking libcairo2:s390x (1.18.2-2) ... 176s Selecting previously unselected package libcairo-gobject2:s390x. 176s Preparing to unpack .../55-libcairo-gobject2_1.18.2-2_s390x.deb ... 176s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 176s Selecting previously unselected package libstdlib-ocaml. 176s Preparing to unpack .../56-libstdlib-ocaml_5.3.0-2_s390x.deb ... 176s Unpacking libstdlib-ocaml (5.3.0-2) ... 176s Selecting previously unselected package ocaml-base. 176s Preparing to unpack .../57-ocaml-base_5.3.0-2_s390x.deb ... 176s Unpacking ocaml-base (5.3.0-2) ... 176s Selecting previously unselected package libcairo2-ocaml. 176s Preparing to unpack .../58-libcairo2-ocaml_0.6.5-2build1_s390x.deb ... 176s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 176s Selecting previously unselected package liblcms2-2:s390x. 176s Preparing to unpack .../59-liblcms2-2_2.16-2_s390x.deb ... 176s Unpacking liblcms2-2:s390x (2.16-2) ... 176s Selecting previously unselected package libcolord2:s390x. 176s Preparing to unpack .../60-libcolord2_1.4.7-3_s390x.deb ... 176s Unpacking libcolord2:s390x (1.4.7-3) ... 176s Selecting previously unselected package libstdlib-ocaml-dev. 176s Preparing to unpack .../61-libstdlib-ocaml-dev_5.3.0-2_s390x.deb ... 176s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 176s Selecting previously unselected package libcompiler-libs-ocaml-dev. 176s Preparing to unpack .../62-libcompiler-libs-ocaml-dev_5.3.0-2_s390x.deb ... 176s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 177s Selecting previously unselected package libcups2t64:s390x. 177s Preparing to unpack .../63-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 177s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 177s Selecting previously unselected package libdatrie1:s390x. 177s Preparing to unpack .../64-libdatrie1_0.2.13-3build1_s390x.deb ... 177s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 177s Selecting previously unselected package libepoxy0:s390x. 177s Preparing to unpack .../65-libepoxy0_1.5.10-2_s390x.deb ... 177s Unpacking libepoxy0:s390x (1.5.10-2) ... 177s Selecting previously unselected package libgraphite2-3:s390x. 177s Preparing to unpack .../66-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 177s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 177s Selecting previously unselected package libharfbuzz0b:s390x. 177s Preparing to unpack .../67-libharfbuzz0b_10.2.0-1_s390x.deb ... 177s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 177s Selecting previously unselected package libthai-data. 177s Preparing to unpack .../68-libthai-data_0.1.29-2build1_all.deb ... 177s Unpacking libthai-data (0.1.29-2build1) ... 177s Selecting previously unselected package libthai0:s390x. 177s Preparing to unpack .../69-libthai0_0.1.29-2build1_s390x.deb ... 177s Unpacking libthai0:s390x (0.1.29-2build1) ... 177s Selecting previously unselected package libpango-1.0-0:s390x. 177s Preparing to unpack .../70-libpango-1.0-0_1.56.2-1_s390x.deb ... 177s Unpacking libpango-1.0-0:s390x (1.56.2-1) ... 177s Selecting previously unselected package libpangoft2-1.0-0:s390x. 177s Preparing to unpack .../71-libpangoft2-1.0-0_1.56.2-1_s390x.deb ... 177s Unpacking libpangoft2-1.0-0:s390x (1.56.2-1) ... 177s Selecting previously unselected package libpangocairo-1.0-0:s390x. 177s Preparing to unpack .../72-libpangocairo-1.0-0_1.56.2-1_s390x.deb ... 177s Unpacking libpangocairo-1.0-0:s390x (1.56.2-1) ... 177s Selecting previously unselected package libwayland-client0:s390x. 177s Preparing to unpack .../73-libwayland-client0_1.23.1-3_s390x.deb ... 177s Unpacking libwayland-client0:s390x (1.23.1-3) ... 177s Selecting previously unselected package libwayland-cursor0:s390x. 177s Preparing to unpack .../74-libwayland-cursor0_1.23.1-3_s390x.deb ... 177s Unpacking libwayland-cursor0:s390x (1.23.1-3) ... 177s Selecting previously unselected package libwayland-egl1:s390x. 177s Preparing to unpack .../75-libwayland-egl1_1.23.1-3_s390x.deb ... 177s Unpacking libwayland-egl1:s390x (1.23.1-3) ... 177s Selecting previously unselected package libxcomposite1:s390x. 177s Preparing to unpack .../76-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 177s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 177s Selecting previously unselected package libxfixes3:s390x. 177s Preparing to unpack .../77-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 177s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 177s Selecting previously unselected package libxcursor1:s390x. 177s Preparing to unpack .../78-libxcursor1_1%3a1.2.3-1_s390x.deb ... 177s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 177s Selecting previously unselected package libxdamage1:s390x. 177s Preparing to unpack .../79-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 177s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 177s Selecting previously unselected package libxinerama1:s390x. 177s Preparing to unpack .../80-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 177s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 177s Selecting previously unselected package libxrandr2:s390x. 177s Preparing to unpack .../81-libxrandr2_2%3a1.5.4-1_s390x.deb ... 177s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 177s Selecting previously unselected package libgtk-3-common. 177s Preparing to unpack .../82-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 177s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 177s Selecting previously unselected package libgtk-3-0t64:s390x. 177s Preparing to unpack .../83-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 177s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 177s Selecting previously unselected package libgtksourceview-3.0-common. 177s Preparing to unpack .../84-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 177s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 177s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 177s Preparing to unpack .../85-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 177s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 177s Selecting previously unselected package liblablgtk3-ocaml. 177s Preparing to unpack .../86-liblablgtk3-ocaml_3.1.5-1build2_s390x.deb ... 177s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 177s Selecting previously unselected package liblablgtksourceview3-ocaml. 177s Preparing to unpack .../87-liblablgtksourceview3-ocaml_3.1.5-1build2_s390x.deb ... 177s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 177s Selecting previously unselected package libncurses-dev:s390x. 177s Preparing to unpack .../88-libncurses-dev_6.5+20250216-2_s390x.deb ... 177s Unpacking libncurses-dev:s390x (6.5+20250216-2) ... 177s Selecting previously unselected package libzstd-dev:s390x. 177s Preparing to unpack .../89-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 177s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 177s Selecting previously unselected package ocaml-interp. 177s Preparing to unpack .../90-ocaml-interp_5.3.0-2_s390x.deb ... 177s Unpacking ocaml-interp (5.3.0-2) ... 177s Selecting previously unselected package ocaml. 177s Preparing to unpack .../91-ocaml_5.3.0-2_s390x.deb ... 177s Unpacking ocaml (5.3.0-2) ... 178s Selecting previously unselected package tex-common. 178s Preparing to unpack .../92-tex-common_6.19_all.deb ... 178s Unpacking tex-common (6.19) ... 178s Selecting previously unselected package why3. 178s Preparing to unpack .../93-why3_1.8.0-2_s390x.deb ... 178s Unpacking why3 (1.8.0-2) ... 178s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 178s Setting up liblcms2-2:s390x (2.16-2) ... 178s Setting up libpixman-1-0:s390x (0.44.0-3) ... 178s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 178s Setting up libcln6:s390x (1.3.7-1) ... 178s Setting up libncurses-dev:s390x (6.5+20250216-2) ... 178s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 178s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 178s Setting up libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 178s Setting up hicolor-icon-theme (0.18-2) ... 178s Setting up libxi6:s390x (2:1.8.2-1) ... 178s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 178s Setting up libdatrie1:s390x (0.2.13-3build1) ... 178s Setting up libxcb-render0:s390x (1.17.0-2) ... 178s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 178s Setting up libdeflate0:s390x (1.23-1) ... 178s Setting up libxcb-shm0:s390x (1.17.0-2) ... 178s Setting up libgomp1:s390x (15-20250222-0ubuntu1) ... 178s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 178s Setting up libcolord2:s390x (1.4.7-3) ... 178s Setting up libdconf1:s390x (0.40.0-5) ... 178s Setting up tex-common (6.19) ... 178s update-language: texlive-base not installed and configured, doing nothing! 178s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 178s Setting up libepoxy0:s390x (1.5.10-2) ... 178s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 178s Setting up libavahi-common-data:s390x (0.8-16ubuntu1) ... 178s Setting up libatspi2.0-0t64:s390x (2.55.90-1) ... 178s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 178s Setting up libstdlib-ocaml (5.3.0-2) ... 178s Setting up fonts-dejavu-mono (2.37-8) ... 178s Setting up libmpc3:s390x (1.3.1-1build2) ... 178s Setting up libxrandr2:s390x (2:1.5.4-1) ... 178s Setting up ocaml-base (5.3.0-2) ... 178s Setting up fonts-dejavu-core (2.37-8) ... 178s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 178s Setting up libwebp7:s390x (1.5.0-0.1) ... 178s Setting up libubsan1:s390x (15-20250222-0ubuntu1) ... 178s Setting up at-spi2-common (2.55.90-1) ... 178s Setting up libasan8:s390x (15-20250222-0ubuntu1) ... 178s Setting up libcvc4-7:s390x (1.8-3build2) ... 178s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 178s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 178s Setting up libthai-data (0.1.29-2build1) ... 178s Setting up libwayland-egl1:s390x (1.23.1-3) ... 178s Setting up libisl23:s390x (0.27-1) ... 178s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 178s Setting up libcc1-0:s390x (15-20250222-0ubuntu1) ... 178s Setting up libitm1:s390x (15-20250222-0ubuntu1) ... 178s Setting up libwayland-client0:s390x (1.23.1-3) ... 178s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 178s Setting up libatk1.0-0t64:s390x (2.55.90-1) ... 178s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 178s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 178s Setting up libxcursor1:s390x (1:1.2.3-1) ... 178s Setting up libavahi-common3:s390x (0.8-16ubuntu1) ... 178s Setting up dconf-service (0.40.0-5) ... 178s Setting up libthai0:s390x (0.1.29-2build1) ... 178s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 178s Setting up ocaml-interp (5.3.0-2) ... 178s Setting up libcvc4parser7:s390x (1.8-3build2) ... 178s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 178s Setting up cpp-14 (14.2.0-17ubuntu3) ... 178s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 178s Setting up libwayland-cursor0:s390x (1.23.1-3) ... 178s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 178s Setting up cvc4 (1.8-3build2) ... 178s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 178s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 178s Setting up libavahi-client3:s390x (0.8-16ubuntu1) ... 178s Setting up libatk-bridge2.0-0t64:s390x (2.55.90-1) ... 178s Setting up gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 178s Setting up fontconfig (2.15.0-2ubuntu1) ... 180s Regenerating fonts cache... done. 180s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 180s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 180s Setting up libpango-1.0-0:s390x (1.56.2-1) ... 180s Setting up libcairo2:s390x (1.18.2-2) ... 180s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 180s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 180s Setting up adwaita-icon-theme (48.0-1) ... 180s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 180s Setting up cpp (4:14.2.0-1ubuntu1) ... 180s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 180s Setting up libpangoft2-1.0-0:s390x (1.56.2-1) ... 180s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 180s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 180s Setting up libpangocairo-1.0-0:s390x (1.56.2-1) ... 180s Setting up libcairo2-ocaml (0.6.5-2build1) ... 180s Setting up gcc-14 (14.2.0-17ubuntu3) ... 180s Setting up gcc (4:14.2.0-1ubuntu1) ... 180s Setting up ocaml (5.3.0-2) ... 180s Processing triggers for libc-bin (2.41-1ubuntu2) ... 180s Processing triggers for man-db (2.13.0-1) ... 180s Processing triggers for libglib2.0-0t64:s390x (2.84.0-1) ... 180s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 180s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 180s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 180s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 180s Setting up why3 (1.8.0-2) ... 180s Processing triggers for libc-bin (2.41-1ubuntu2) ... 181s autopkgtest [19:47:57]: test why3+cvc4: [----------------------- 182s autopkgtest [19:47:58]: test why3+cvc4: -----------------------] 183s why3+cvc4 PASS 183s autopkgtest [19:47:59]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 183s autopkgtest [19:47:59]: test why3+cvc5: preparing testbed 333s autopkgtest [19:50:29]: testbed dpkg architecture: s390x 334s autopkgtest [19:50:30]: testbed apt version: 2.9.33 334s autopkgtest [19:50:30]: @@@@@@@@@@@@@@@@@@@@ test bed setup 334s autopkgtest [19:50:30]: testbed release detected to be: plucky 335s autopkgtest [19:50:31]: updating testbed package index (apt update) 335s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 335s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 336s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 336s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 336s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.5 kB] 336s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [45.1 kB] 336s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [369 kB] 336s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [77.3 kB] 336s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x c-n-f Metadata [1824 B] 336s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x c-n-f Metadata [116 B] 336s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [314 kB] 336s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x c-n-f Metadata [13.3 kB] 336s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3532 B] 336s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x c-n-f Metadata [240 B] 337s Fetched 965 kB in 1s (647 kB/s) 337s Reading package lists... 338s + lsb_release --codename --short 338s + RELEASE=plucky 338s + cat 338s + [ plucky != trusty ] 338s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 338s Reading package lists... 338s Building dependency tree... 338s Reading state information... 338s Calculating upgrade... 338s Calculating upgrade... 338s The following packages were automatically installed and are no longer required: 338s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 338s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 338s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 338s linux-tools-6.11.0-8-generic 338s Use 'sudo apt autoremove' to remove them. 338s The following packages will be upgraded: 338s pinentry-curses python3-jinja2 strace 338s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 338s Need to get 652 kB of archives. 338s After this operation, 27.6 kB of additional disk space will be used. 338s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x strace s390x 6.13+ds-1ubuntu1 [500 kB] 339s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x pinentry-curses s390x 1.3.1-2ubuntu3 [42.9 kB] 339s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 339s Fetched 652 kB in 1s (729 kB/s) 340s (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 ... 81428 files and directories currently installed.) 340s Preparing to unpack .../strace_6.13+ds-1ubuntu1_s390x.deb ... 340s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 340s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_s390x.deb ... 340s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 340s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 340s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 340s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 340s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 340s Setting up strace (6.13+ds-1ubuntu1) ... 340s Processing triggers for man-db (2.13.0-1) ... 340s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 340s + /usr/lib/apt/apt-helper analyze-pattern ?true 340s + + sed s/\./\\./g 340s uname -r 340s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.* 340s + apt list ?obsolete 340s + tail -n+2 340s + cut -d/ -f1 341s + grep -v ^linux-.*6\.14\.0-10-generic.* 341s + obsolete_pkgs=linux-headers-6.11.0-8-generic 341s linux-headers-6.11.0-8 341s linux-modules-6.11.0-8-generic 341s linux-tools-6.11.0-8-generic 341s linux-tools-6.11.0-8 341s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-modules-6.11.0-8-generic linux-tools-6.11.0-8-generic linux-tools-6.11.0-8 341s Reading package lists... 341s Building dependency tree... 341s Reading state information... 341s Solving dependencies... 341s The following packages will be REMOVED: 341s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 341s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 341s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 341s linux-tools-6.11.0-8-generic* 341s 0 upgraded, 0 newly installed, 9 to remove and 5 not upgraded. 341s After this operation, 167 MB disk space will be freed. 341s (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 ... 81428 files and directories currently installed.) 341s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 341s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 341s Removing libpython3.12t64:s390x (3.12.9-1) ... 341s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 341s Removing libnsl2:s390x (1.3.0-3build3) ... 341s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 341s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 341s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 343s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 343s Processing triggers for libc-bin (2.41-1ubuntu1) ... 343s (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 ... 56328 files and directories currently installed.) 343s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 343s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 343s + grep -q trusty /etc/lsb-release 343s + [ ! -d /usr/share/doc/unattended-upgrades ] 343s + [ ! -d /usr/share/doc/lxd ] 343s + [ ! -d /usr/share/doc/lxd-client ] 343s + [ ! -d /usr/share/doc/snapd ] 343s + type iptables 343s + cat 343s + chmod 755 /etc/rc.local 343s + . /etc/rc.local 343s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 343s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 343s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 343s + uname -m 343s + [ s390x = ppc64le ] 343s + [ -d /run/systemd/system ] 343s + systemd-detect-virt --quiet --vm 343s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 343s + cat 343s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 343s + echo COMPRESS=lz4 343s autopkgtest [19:50:39]: upgrading testbed (apt dist-upgrade and autopurge) 343s Reading package lists... 343s Building dependency tree... 343s Reading state information... 343s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 343s Starting 2 pkgProblemResolver with broken count: 0 343s Done 344s Entering ResolveByKeep 344s 344s Calculating upgrade... 344s The following packages will be upgraded: 344s libc-bin libc-dev-bin libc6 libc6-dev locales 344s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 344s Need to get 9512 kB of archives. 344s After this operation, 8192 B of additional disk space will be used. 344s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu2 [1678 kB] 346s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu2 [24.3 kB] 346s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu2 [2892 kB] 348s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu2 [671 kB] 348s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu2 [4246 kB] 352s Preconfiguring packages ... 352s Fetched 9512 kB in 7s (1288 kB/s) 352s (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 ... 56326 files and directories currently installed.) 352s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_s390x.deb ... 352s Unpacking libc6-dev:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 352s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_s390x.deb ... 352s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 352s Preparing to unpack .../libc6_2.41-1ubuntu2_s390x.deb ... 352s Unpacking libc6:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 352s Setting up libc6:s390x (2.41-1ubuntu2) ... 352s (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 ... 56326 files and directories currently installed.) 352s Preparing to unpack .../libc-bin_2.41-1ubuntu2_s390x.deb ... 352s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 352s Setting up libc-bin (2.41-1ubuntu2) ... 352s (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 ... 56326 files and directories currently installed.) 352s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 352s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 352s Setting up locales (2.41-1ubuntu2) ... 353s Generating locales (this might take a while)... 354s en_US.UTF-8... done 354s Generation complete. 354s Setting up libc-dev-bin (2.41-1ubuntu2) ... 354s Setting up libc6-dev:s390x (2.41-1ubuntu2) ... 354s Processing triggers for man-db (2.13.0-1) ... 354s Processing triggers for systemd (257.3-1ubuntu3) ... 355s Reading package lists... 355s Building dependency tree... 355s Reading state information... 356s Starting pkgProblemResolver with broken count: 0 356s Starting 2 pkgProblemResolver with broken count: 0 356s Done 356s Solving dependencies... 356s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 356s autopkgtest [19:50:52]: rebooting testbed after setup commands that affected boot 380s Reading package lists... 380s Building dependency tree... 380s Reading state information... 380s Starting pkgProblemResolver with broken count: 0 380s Starting 2 pkgProblemResolver with broken count: 0 380s Done 381s The following NEW packages will be installed: 381s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 381s cpp-s390x-linux-gnu cvc5 dconf-gsettings-backend dconf-service fontconfig 381s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 381s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 381s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 381s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 381s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcln6 libcolord2 381s libcompiler-libs-ocaml-dev libcryptominisat5-5.11t64 libcups2t64 libcvc5-1 381s libcvc5parser1 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 381s libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 381s libgomp1 libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 381s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 381s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 381s liblcms2-2 libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 381s libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 libstdlib-ocaml 381s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 381s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 381s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 381s libxi6 libxinerama1 libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base 381s ocaml-interp tex-common why3 381s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 381s Need to get 158 MB of archives. 381s After this operation, 487 MB of additional disk space will be used. 381s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 381s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 381s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 381s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 381s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 381s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 381s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 382s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 382s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 382s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.5+ds-3ubuntu1 [53.2 kB] 382s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 382s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48.0-1 [578 kB] 383s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.90-1 [9072 B] 383s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 384s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 384s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 395s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 395s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 395s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 395s Get:20 http://ftpmaster.internal/ubuntu plucky/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 395s Get:21 http://ftpmaster.internal/ubuntu plucky/universe s390x libcryptominisat5-5.11t64 s390x 5.11.21+dfsg1-1build1 [513 kB] 396s Get:22 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc5-1 s390x 1.1.2-2build1 [5661 kB] 402s Get:23 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc5parser1 s390x 1.1.2-2build1 [216 kB] 402s Get:24 http://ftpmaster.internal/ubuntu plucky/universe s390x cvc5 s390x 1.1.2-2build1 [94.4 kB] 402s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 402s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 402s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 403s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 403s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 403s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 404s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 404s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 405s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 405s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250222-0ubuntu1 [49.2 kB] 405s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250222-0ubuntu1 [152 kB] 405s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250222-0ubuntu1 [31.2 kB] 405s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250222-0ubuntu1 [2970 kB] 409s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250222-0ubuntu1 [1212 kB] 410s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 411s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 431s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 432s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 432s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 432s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.90-1 [54.9 kB] 432s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 432s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.90-1 [83.8 kB] 432s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.90-1 [66.7 kB] 432s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-16ubuntu1 [30.9 kB] 432s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-16ubuntu1 [23.5 kB] 432s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-16ubuntu1 [26.3 kB] 432s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 432s Get:52 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 432s Get:53 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 432s Get:54 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 432s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 433s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 433s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.3.0-2 [438 kB] 434s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.3.0-2 [329 kB] 434s Get:59 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2build1 [30.7 kB] 434s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 434s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-3 [149 kB] 434s Get:62 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.3.0-2 [7845 kB] 445s Get:63 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-2 [47.5 MB] 499s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 499s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 499s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 499s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 499s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 500s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 500s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 500s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.2-1 [253 kB] 500s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.2-1 [50.2 kB] 500s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.2-1 [28.2 kB] 500s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-3 [28.2 kB] 500s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-3 [11.5 kB] 500s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-3 [6078 B] 500s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 500s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 500s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 500s Get:80 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 500s Get:81 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 500s Get:82 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 500s Get:83 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 501s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 503s Get:85 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 503s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 504s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build2 [3627 kB] 507s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build2 [335 kB] 507s Get:89 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250216-2 [407 kB] 508s Get:90 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 508s Get:91 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.3.0-2 [8368 kB] 515s Get:92 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.3.0-2 [20.6 MB] 531s Get:93 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.19 [29.8 kB] 531s Get:94 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.8.0-2 [13.8 MB] 539s Fetched 158 MB in 2min 37s (1004 kB/s) 539s Selecting previously unselected package libgdk-pixbuf2.0-common. 539s (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 ... 56326 files and directories currently installed.) 539s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 539s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 539s Selecting previously unselected package libjpeg-turbo8:s390x. 539s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 539s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 539s Selecting previously unselected package libjpeg8:s390x. 539s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 539s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 539s Selecting previously unselected package libdeflate0:s390x. 539s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 539s Unpacking libdeflate0:s390x (1.23-1) ... 539s Selecting previously unselected package libjbig0:s390x. 539s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 539s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 539s Selecting previously unselected package libsharpyuv0:s390x. 539s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 539s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 539s Selecting previously unselected package libwebp7:s390x. 539s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 539s Unpacking libwebp7:s390x (1.5.0-0.1) ... 539s Selecting previously unselected package libtiff6:s390x. 539s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 539s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 539s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 539s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 539s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 539s Selecting previously unselected package gtk-update-icon-cache. 539s Preparing to unpack .../09-gtk-update-icon-cache_4.17.5+ds-3ubuntu1_s390x.deb ... 539s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 539s 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. 539s Unpacking gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 539s Selecting previously unselected package hicolor-icon-theme. 539s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 539s Unpacking hicolor-icon-theme (0.18-2) ... 539s Selecting previously unselected package adwaita-icon-theme. 539s Preparing to unpack .../11-adwaita-icon-theme_48.0-1_all.deb ... 539s Unpacking adwaita-icon-theme (48.0-1) ... 539s Selecting previously unselected package at-spi2-common. 539s Preparing to unpack .../12-at-spi2-common_2.55.90-1_all.deb ... 539s Unpacking at-spi2-common (2.55.90-1) ... 539s Selecting previously unselected package libisl23:s390x. 539s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 539s Unpacking libisl23:s390x (0.27-1) ... 539s Selecting previously unselected package libmpc3:s390x. 539s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 539s Unpacking libmpc3:s390x (1.3.1-1build2) ... 539s Selecting previously unselected package cpp-14-s390x-linux-gnu. 539s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 539s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 539s Selecting previously unselected package cpp-14. 539s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 539s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 539s Selecting previously unselected package cpp-s390x-linux-gnu. 539s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 539s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 539s Selecting previously unselected package cpp. 539s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 539s Unpacking cpp (4:14.2.0-1ubuntu1) ... 539s Selecting previously unselected package libcln6:s390x. 539s Preparing to unpack .../19-libcln6_1.3.7-1_s390x.deb ... 539s Unpacking libcln6:s390x (1.3.7-1) ... 539s Selecting previously unselected package libcryptominisat5-5.11t64:s390x. 539s Preparing to unpack .../20-libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_s390x.deb ... 539s Unpacking libcryptominisat5-5.11t64:s390x (5.11.21+dfsg1-1build1) ... 539s Selecting previously unselected package libcvc5-1:s390x. 539s Preparing to unpack .../21-libcvc5-1_1.1.2-2build1_s390x.deb ... 539s Unpacking libcvc5-1:s390x (1.1.2-2build1) ... 539s Selecting previously unselected package libcvc5parser1:s390x. 539s Preparing to unpack .../22-libcvc5parser1_1.1.2-2build1_s390x.deb ... 539s Unpacking libcvc5parser1:s390x (1.1.2-2build1) ... 539s Selecting previously unselected package cvc5. 539s Preparing to unpack .../23-cvc5_1.1.2-2build1_s390x.deb ... 539s Unpacking cvc5 (1.1.2-2build1) ... 539s Selecting previously unselected package libdconf1:s390x. 539s Preparing to unpack .../24-libdconf1_0.40.0-5_s390x.deb ... 539s Unpacking libdconf1:s390x (0.40.0-5) ... 539s Selecting previously unselected package dconf-service. 539s Preparing to unpack .../25-dconf-service_0.40.0-5_s390x.deb ... 539s Unpacking dconf-service (0.40.0-5) ... 539s Selecting previously unselected package dconf-gsettings-backend:s390x. 539s Preparing to unpack .../26-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 539s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 539s Selecting previously unselected package libfreetype6:s390x. 539s Preparing to unpack .../27-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 539s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 539s Selecting previously unselected package fonts-dejavu-mono. 539s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 539s Unpacking fonts-dejavu-mono (2.37-8) ... 539s Selecting previously unselected package fonts-dejavu-core. 539s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 539s Unpacking fonts-dejavu-core (2.37-8) ... 539s Selecting previously unselected package fontconfig-config. 539s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 539s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 539s Selecting previously unselected package libfontconfig1:s390x. 540s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 540s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 540s Selecting previously unselected package fontconfig. 540s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 540s Unpacking fontconfig (2.15.0-2ubuntu1) ... 540s Selecting previously unselected package libcc1-0:s390x. 540s Preparing to unpack .../33-libcc1-0_15-20250222-0ubuntu1_s390x.deb ... 540s Unpacking libcc1-0:s390x (15-20250222-0ubuntu1) ... 540s Selecting previously unselected package libgomp1:s390x. 540s Preparing to unpack .../34-libgomp1_15-20250222-0ubuntu1_s390x.deb ... 540s Unpacking libgomp1:s390x (15-20250222-0ubuntu1) ... 540s Selecting previously unselected package libitm1:s390x. 540s Preparing to unpack .../35-libitm1_15-20250222-0ubuntu1_s390x.deb ... 540s Unpacking libitm1:s390x (15-20250222-0ubuntu1) ... 540s Selecting previously unselected package libasan8:s390x. 540s Preparing to unpack .../36-libasan8_15-20250222-0ubuntu1_s390x.deb ... 540s Unpacking libasan8:s390x (15-20250222-0ubuntu1) ... 540s Selecting previously unselected package libubsan1:s390x. 540s Preparing to unpack .../37-libubsan1_15-20250222-0ubuntu1_s390x.deb ... 540s Unpacking libubsan1:s390x (15-20250222-0ubuntu1) ... 540s Selecting previously unselected package libgcc-14-dev:s390x. 540s Preparing to unpack .../38-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 540s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 540s Selecting previously unselected package gcc-14-s390x-linux-gnu. 540s Preparing to unpack .../39-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 540s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 540s Selecting previously unselected package gcc-14. 540s Preparing to unpack .../40-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 540s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 540s Selecting previously unselected package gcc-s390x-linux-gnu. 540s Preparing to unpack .../41-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 540s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 540s Selecting previously unselected package gcc. 540s Preparing to unpack .../42-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 540s Unpacking gcc (4:14.2.0-1ubuntu1) ... 540s Selecting previously unselected package libatk1.0-0t64:s390x. 540s Preparing to unpack .../43-libatk1.0-0t64_2.55.90-1_s390x.deb ... 540s Unpacking libatk1.0-0t64:s390x (2.55.90-1) ... 540s Selecting previously unselected package libxi6:s390x. 540s Preparing to unpack .../44-libxi6_2%3a1.8.2-1_s390x.deb ... 540s Unpacking libxi6:s390x (2:1.8.2-1) ... 540s Selecting previously unselected package libatspi2.0-0t64:s390x. 540s Preparing to unpack .../45-libatspi2.0-0t64_2.55.90-1_s390x.deb ... 540s Unpacking libatspi2.0-0t64:s390x (2.55.90-1) ... 540s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 540s Preparing to unpack .../46-libatk-bridge2.0-0t64_2.55.90-1_s390x.deb ... 540s Unpacking libatk-bridge2.0-0t64:s390x (2.55.90-1) ... 540s Selecting previously unselected package libavahi-common-data:s390x. 540s Preparing to unpack .../47-libavahi-common-data_0.8-16ubuntu1_s390x.deb ... 540s Unpacking libavahi-common-data:s390x (0.8-16ubuntu1) ... 540s Selecting previously unselected package libavahi-common3:s390x. 540s Preparing to unpack .../48-libavahi-common3_0.8-16ubuntu1_s390x.deb ... 540s Unpacking libavahi-common3:s390x (0.8-16ubuntu1) ... 540s Selecting previously unselected package libavahi-client3:s390x. 540s Preparing to unpack .../49-libavahi-client3_0.8-16ubuntu1_s390x.deb ... 540s Unpacking libavahi-client3:s390x (0.8-16ubuntu1) ... 540s Selecting previously unselected package libpixman-1-0:s390x. 540s Preparing to unpack .../50-libpixman-1-0_0.44.0-3_s390x.deb ... 540s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 540s Selecting previously unselected package libxcb-render0:s390x. 540s Preparing to unpack .../51-libxcb-render0_1.17.0-2_s390x.deb ... 540s Unpacking libxcb-render0:s390x (1.17.0-2) ... 540s Selecting previously unselected package libxcb-shm0:s390x. 540s Preparing to unpack .../52-libxcb-shm0_1.17.0-2_s390x.deb ... 540s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 540s Selecting previously unselected package libxrender1:s390x. 540s Preparing to unpack .../53-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 540s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 540s Selecting previously unselected package libcairo2:s390x. 540s Preparing to unpack .../54-libcairo2_1.18.2-2_s390x.deb ... 540s Unpacking libcairo2:s390x (1.18.2-2) ... 540s Selecting previously unselected package libcairo-gobject2:s390x. 540s Preparing to unpack .../55-libcairo-gobject2_1.18.2-2_s390x.deb ... 540s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 540s Selecting previously unselected package libstdlib-ocaml. 540s Preparing to unpack .../56-libstdlib-ocaml_5.3.0-2_s390x.deb ... 540s Unpacking libstdlib-ocaml (5.3.0-2) ... 540s Selecting previously unselected package ocaml-base. 540s Preparing to unpack .../57-ocaml-base_5.3.0-2_s390x.deb ... 540s Unpacking ocaml-base (5.3.0-2) ... 540s Selecting previously unselected package libcairo2-ocaml. 540s Preparing to unpack .../58-libcairo2-ocaml_0.6.5-2build1_s390x.deb ... 540s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 540s Selecting previously unselected package liblcms2-2:s390x. 540s Preparing to unpack .../59-liblcms2-2_2.16-2_s390x.deb ... 540s Unpacking liblcms2-2:s390x (2.16-2) ... 540s Selecting previously unselected package libcolord2:s390x. 540s Preparing to unpack .../60-libcolord2_1.4.7-3_s390x.deb ... 540s Unpacking libcolord2:s390x (1.4.7-3) ... 540s Selecting previously unselected package libstdlib-ocaml-dev. 540s Preparing to unpack .../61-libstdlib-ocaml-dev_5.3.0-2_s390x.deb ... 540s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 540s Selecting previously unselected package libcompiler-libs-ocaml-dev. 540s Preparing to unpack .../62-libcompiler-libs-ocaml-dev_5.3.0-2_s390x.deb ... 540s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 541s Selecting previously unselected package libcups2t64:s390x. 541s Preparing to unpack .../63-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 541s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 541s Selecting previously unselected package libdatrie1:s390x. 541s Preparing to unpack .../64-libdatrie1_0.2.13-3build1_s390x.deb ... 541s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 541s Selecting previously unselected package libepoxy0:s390x. 541s Preparing to unpack .../65-libepoxy0_1.5.10-2_s390x.deb ... 541s Unpacking libepoxy0:s390x (1.5.10-2) ... 541s Selecting previously unselected package libgraphite2-3:s390x. 541s Preparing to unpack .../66-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 541s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 541s Selecting previously unselected package libharfbuzz0b:s390x. 541s Preparing to unpack .../67-libharfbuzz0b_10.2.0-1_s390x.deb ... 541s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 541s Selecting previously unselected package libthai-data. 541s Preparing to unpack .../68-libthai-data_0.1.29-2build1_all.deb ... 541s Unpacking libthai-data (0.1.29-2build1) ... 541s Selecting previously unselected package libthai0:s390x. 541s Preparing to unpack .../69-libthai0_0.1.29-2build1_s390x.deb ... 541s Unpacking libthai0:s390x (0.1.29-2build1) ... 541s Selecting previously unselected package libpango-1.0-0:s390x. 541s Preparing to unpack .../70-libpango-1.0-0_1.56.2-1_s390x.deb ... 541s Unpacking libpango-1.0-0:s390x (1.56.2-1) ... 541s Selecting previously unselected package libpangoft2-1.0-0:s390x. 541s Preparing to unpack .../71-libpangoft2-1.0-0_1.56.2-1_s390x.deb ... 541s Unpacking libpangoft2-1.0-0:s390x (1.56.2-1) ... 541s Selecting previously unselected package libpangocairo-1.0-0:s390x. 541s Preparing to unpack .../72-libpangocairo-1.0-0_1.56.2-1_s390x.deb ... 541s Unpacking libpangocairo-1.0-0:s390x (1.56.2-1) ... 541s Selecting previously unselected package libwayland-client0:s390x. 541s Preparing to unpack .../73-libwayland-client0_1.23.1-3_s390x.deb ... 541s Unpacking libwayland-client0:s390x (1.23.1-3) ... 541s Selecting previously unselected package libwayland-cursor0:s390x. 541s Preparing to unpack .../74-libwayland-cursor0_1.23.1-3_s390x.deb ... 541s Unpacking libwayland-cursor0:s390x (1.23.1-3) ... 541s Selecting previously unselected package libwayland-egl1:s390x. 541s Preparing to unpack .../75-libwayland-egl1_1.23.1-3_s390x.deb ... 541s Unpacking libwayland-egl1:s390x (1.23.1-3) ... 541s Selecting previously unselected package libxcomposite1:s390x. 541s Preparing to unpack .../76-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 541s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 541s Selecting previously unselected package libxfixes3:s390x. 541s Preparing to unpack .../77-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 541s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 541s Selecting previously unselected package libxcursor1:s390x. 541s Preparing to unpack .../78-libxcursor1_1%3a1.2.3-1_s390x.deb ... 541s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 541s Selecting previously unselected package libxdamage1:s390x. 541s Preparing to unpack .../79-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 541s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 541s Selecting previously unselected package libxinerama1:s390x. 541s Preparing to unpack .../80-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 541s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 541s Selecting previously unselected package libxrandr2:s390x. 541s Preparing to unpack .../81-libxrandr2_2%3a1.5.4-1_s390x.deb ... 541s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 541s Selecting previously unselected package libgtk-3-common. 541s Preparing to unpack .../82-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 541s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 541s Selecting previously unselected package libgtk-3-0t64:s390x. 541s Preparing to unpack .../83-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 541s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 541s Selecting previously unselected package libgtksourceview-3.0-common. 541s Preparing to unpack .../84-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 541s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 541s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 541s Preparing to unpack .../85-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 541s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 541s Selecting previously unselected package liblablgtk3-ocaml. 541s Preparing to unpack .../86-liblablgtk3-ocaml_3.1.5-1build2_s390x.deb ... 541s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 541s Selecting previously unselected package liblablgtksourceview3-ocaml. 541s Preparing to unpack .../87-liblablgtksourceview3-ocaml_3.1.5-1build2_s390x.deb ... 541s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 541s Selecting previously unselected package libncurses-dev:s390x. 541s Preparing to unpack .../88-libncurses-dev_6.5+20250216-2_s390x.deb ... 541s Unpacking libncurses-dev:s390x (6.5+20250216-2) ... 541s Selecting previously unselected package libzstd-dev:s390x. 541s Preparing to unpack .../89-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 541s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 541s Selecting previously unselected package ocaml-interp. 541s Preparing to unpack .../90-ocaml-interp_5.3.0-2_s390x.deb ... 541s Unpacking ocaml-interp (5.3.0-2) ... 541s Selecting previously unselected package ocaml. 541s Preparing to unpack .../91-ocaml_5.3.0-2_s390x.deb ... 541s Unpacking ocaml (5.3.0-2) ... 542s Selecting previously unselected package tex-common. 542s Preparing to unpack .../92-tex-common_6.19_all.deb ... 542s Unpacking tex-common (6.19) ... 542s Selecting previously unselected package why3. 542s Preparing to unpack .../93-why3_1.8.0-2_s390x.deb ... 542s Unpacking why3 (1.8.0-2) ... 542s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 542s Setting up liblcms2-2:s390x (2.16-2) ... 542s Setting up libpixman-1-0:s390x (0.44.0-3) ... 542s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 542s Setting up libcln6:s390x (1.3.7-1) ... 542s Setting up libncurses-dev:s390x (6.5+20250216-2) ... 542s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 542s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 542s Setting up hicolor-icon-theme (0.18-2) ... 542s Setting up libxi6:s390x (2:1.8.2-1) ... 542s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 542s Setting up libdatrie1:s390x (0.2.13-3build1) ... 542s Setting up libxcb-render0:s390x (1.17.0-2) ... 542s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 542s Setting up libdeflate0:s390x (1.23-1) ... 542s Setting up libxcb-shm0:s390x (1.17.0-2) ... 542s Setting up libgomp1:s390x (15-20250222-0ubuntu1) ... 542s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 542s Setting up libcryptominisat5-5.11t64:s390x (5.11.21+dfsg1-1build1) ... 542s Setting up libcolord2:s390x (1.4.7-3) ... 542s Setting up libdconf1:s390x (0.40.0-5) ... 542s Setting up tex-common (6.19) ... 542s update-language: texlive-base not installed and configured, doing nothing! 542s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 542s Setting up libepoxy0:s390x (1.5.10-2) ... 542s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 542s Setting up libavahi-common-data:s390x (0.8-16ubuntu1) ... 542s Setting up libatspi2.0-0t64:s390x (2.55.90-1) ... 542s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 542s Setting up libstdlib-ocaml (5.3.0-2) ... 542s Setting up fonts-dejavu-mono (2.37-8) ... 542s Setting up libmpc3:s390x (1.3.1-1build2) ... 542s Setting up libxrandr2:s390x (2:1.5.4-1) ... 542s Setting up ocaml-base (5.3.0-2) ... 542s Setting up fonts-dejavu-core (2.37-8) ... 542s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 542s Setting up libwebp7:s390x (1.5.0-0.1) ... 542s Setting up libubsan1:s390x (15-20250222-0ubuntu1) ... 542s Setting up at-spi2-common (2.55.90-1) ... 542s Setting up libasan8:s390x (15-20250222-0ubuntu1) ... 542s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 542s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 542s Setting up libthai-data (0.1.29-2build1) ... 542s Setting up libwayland-egl1:s390x (1.23.1-3) ... 542s Setting up libisl23:s390x (0.27-1) ... 542s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 542s Setting up libcc1-0:s390x (15-20250222-0ubuntu1) ... 542s Setting up libitm1:s390x (15-20250222-0ubuntu1) ... 542s Setting up libwayland-client0:s390x (1.23.1-3) ... 542s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 542s Setting up libcvc5-1:s390x (1.1.2-2build1) ... 542s Setting up libatk1.0-0t64:s390x (2.55.90-1) ... 542s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 542s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 542s Setting up libxcursor1:s390x (1:1.2.3-1) ... 542s Setting up libavahi-common3:s390x (0.8-16ubuntu1) ... 542s Setting up dconf-service (0.40.0-5) ... 542s Setting up libthai0:s390x (0.1.29-2build1) ... 542s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 542s Setting up ocaml-interp (5.3.0-2) ... 542s Setting up libcvc5parser1:s390x (1.1.2-2build1) ... 542s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 542s Setting up cpp-14 (14.2.0-17ubuntu3) ... 542s Setting up cvc5 (1.1.2-2build1) ... 542s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 542s Setting up libwayland-cursor0:s390x (1.23.1-3) ... 542s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 542s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 542s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 542s Setting up libavahi-client3:s390x (0.8-16ubuntu1) ... 542s Setting up libatk-bridge2.0-0t64:s390x (2.55.90-1) ... 542s Setting up gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 542s Setting up fontconfig (2.15.0-2ubuntu1) ... 544s Regenerating fonts cache... done. 544s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 544s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 544s Setting up libpango-1.0-0:s390x (1.56.2-1) ... 544s Setting up libcairo2:s390x (1.18.2-2) ... 544s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 544s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 544s Setting up adwaita-icon-theme (48.0-1) ... 544s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 544s Setting up cpp (4:14.2.0-1ubuntu1) ... 544s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 544s Setting up libpangoft2-1.0-0:s390x (1.56.2-1) ... 544s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 544s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 544s Setting up libpangocairo-1.0-0:s390x (1.56.2-1) ... 544s Setting up libcairo2-ocaml (0.6.5-2build1) ... 544s Setting up gcc-14 (14.2.0-17ubuntu3) ... 544s Setting up gcc (4:14.2.0-1ubuntu1) ... 544s Setting up ocaml (5.3.0-2) ... 544s Processing triggers for libc-bin (2.41-1ubuntu2) ... 544s Processing triggers for man-db (2.13.0-1) ... 545s Processing triggers for libglib2.0-0t64:s390x (2.84.0-1) ... 545s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 545s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 545s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 545s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 545s Setting up why3 (1.8.0-2) ... 545s Processing triggers for libc-bin (2.41-1ubuntu2) ... 561s autopkgtest [19:54:17]: test why3+cvc5: [----------------------- 562s autopkgtest [19:54:18]: test why3+cvc5: -----------------------] 563s why3+cvc5 PASS 563s autopkgtest [19:54:19]: test why3+cvc5: - - - - - - - - - - results - - - - - - - - - - 563s autopkgtest [19:54:19]: test why3+spass: preparing testbed 708s autopkgtest [19:56:44]: testbed dpkg architecture: s390x 708s autopkgtest [19:56:44]: testbed apt version: 2.9.33 709s autopkgtest [19:56:45]: @@@@@@@@@@@@@@@@@@@@ test bed setup 709s autopkgtest [19:56:45]: testbed release detected to be: plucky 709s autopkgtest [19:56:45]: updating testbed package index (apt update) 710s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 710s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 710s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 710s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 710s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [369 kB] 711s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.5 kB] 711s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [45.1 kB] 711s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [77.3 kB] 711s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x c-n-f Metadata [1824 B] 711s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x c-n-f Metadata [116 B] 711s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [314 kB] 711s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x c-n-f Metadata [13.3 kB] 711s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3532 B] 711s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x c-n-f Metadata [240 B] 711s Fetched 965 kB in 1s (731 kB/s) 712s Reading package lists... 712s + lsb_release --codename --short 712s + RELEASE=plucky 712s + cat 712s + [ plucky != trusty ] 712s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 712s Reading package lists... 712s Building dependency tree... 712s Reading state information... 712s Calculating upgrade... 713s Calculating upgrade... 713s The following packages were automatically installed and are no longer required: 713s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 713s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 713s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 713s linux-tools-6.11.0-8-generic 713s Use 'sudo apt autoremove' to remove them. 713s The following packages will be upgraded: 713s pinentry-curses python3-jinja2 strace 713s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 713s Need to get 652 kB of archives. 713s After this operation, 27.6 kB of additional disk space will be used. 713s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x strace s390x 6.13+ds-1ubuntu1 [500 kB] 713s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x pinentry-curses s390x 1.3.1-2ubuntu3 [42.9 kB] 713s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 714s Fetched 652 kB in 1s (816 kB/s) 714s (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 ... 81428 files and directories currently installed.) 714s Preparing to unpack .../strace_6.13+ds-1ubuntu1_s390x.deb ... 714s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 714s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_s390x.deb ... 714s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 714s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 714s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 714s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 714s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 714s Setting up strace (6.13+ds-1ubuntu1) ... 714s Processing triggers for man-db (2.13.0-1) ... 715s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 715s + /usr/lib/apt/apt-helper analyze-pattern ?true 715s + uname -r 715s + sed s/\./\\./g 715s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.* 715s + apt list ?obsolete 715s + tail -n+2 715s + cut -d/+ grep -v ^linux-.*6\.14\.0-10-generic.* 715s -f1 715s + obsolete_pkgs=linux-headers-6.11.0-8-generic 715s linux-headers-6.11.0-8 715s linux-modules-6.11.0-8-generic 715s linux-tools-6.11.0-8-generic 715s linux-tools-6.11.0-8 715s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-modules-6.11.0-8-generic linux-tools-6.11.0-8-generic linux-tools-6.11.0-8 715s Reading package lists... 715s Building dependency tree... 715s Reading state information... 715s Solving dependencies... 715s The following packages will be REMOVED: 715s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 715s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 715s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 715s linux-tools-6.11.0-8-generic* 715s 0 upgraded, 0 newly installed, 9 to remove and 5 not upgraded. 715s After this operation, 167 MB disk space will be freed. 715s (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 ... 81428 files and directories currently installed.) 715s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 715s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 715s Removing libpython3.12t64:s390x (3.12.9-1) ... 715s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 715s Removing libnsl2:s390x (1.3.0-3build3) ... 715s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 715s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 715s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 716s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 716s Processing triggers for libc-bin (2.41-1ubuntu1) ... 716s (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 ... 56328 files and directories currently installed.) 716s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 716s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 716s + grep -q trusty /etc/lsb-release 716s + [ ! -d /usr/share/doc/unattended-upgrades ] 716s + [ ! -d /usr/share/doc/lxd ] 716s + [ ! -d /usr/share/doc/lxd-client ] 716s + [ ! -d /usr/share/doc/snapd ] 716s + type iptables 716s + cat 716s + chmod 755 /etc/rc.local 716s + . /etc/rc.local 716s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 716s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 716s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 716s + uname -m 716s + [ s390x = ppc64le ] 716s + [ -d /run/systemd/system ] 716s + systemd-detect-virt --quiet --vm 716s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 716s + cat 716s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 716s + echo COMPRESS=lz4 716s autopkgtest [19:56:52]: upgrading testbed (apt dist-upgrade and autopurge) 717s Reading package lists... 717s Building dependency tree... 717s Reading state information... 717s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 717s Starting 2 pkgProblemResolver with broken count: 0 717s Done 717s Entering ResolveByKeep 717s 717s Calculating upgrade... 717s The following packages will be upgraded: 717s libc-bin libc-dev-bin libc6 libc6-dev locales 717s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 717s Need to get 9512 kB of archives. 717s After this operation, 8192 B of additional disk space will be used. 717s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu2 [1678 kB] 719s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu2 [24.3 kB] 719s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu2 [2892 kB] 721s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu2 [671 kB] 721s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu2 [4246 kB] 725s Preconfiguring packages ... 725s Fetched 9512 kB in 8s (1247 kB/s) 725s (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 ... 56326 files and directories currently installed.) 725s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_s390x.deb ... 725s Unpacking libc6-dev:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 725s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_s390x.deb ... 725s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 725s Preparing to unpack .../libc6_2.41-1ubuntu2_s390x.deb ... 725s Unpacking libc6:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 725s Setting up libc6:s390x (2.41-1ubuntu2) ... 726s (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 ... 56326 files and directories currently installed.) 726s Preparing to unpack .../libc-bin_2.41-1ubuntu2_s390x.deb ... 726s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 726s Setting up libc-bin (2.41-1ubuntu2) ... 726s (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 ... 56326 files and directories currently installed.) 726s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 726s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 726s Setting up locales (2.41-1ubuntu2) ... 726s Generating locales (this might take a while)... 727s en_US.UTF-8... done 727s Generation complete. 727s Setting up libc-dev-bin (2.41-1ubuntu2) ... 727s Setting up libc6-dev:s390x (2.41-1ubuntu2) ... 727s Processing triggers for man-db (2.13.0-1) ... 728s Processing triggers for systemd (257.3-1ubuntu3) ... 729s Reading package lists... 729s Building dependency tree... 729s Reading state information... 729s Starting pkgProblemResolver with broken count: 0 729s Starting 2 pkgProblemResolver with broken count: 0 729s Done 729s Solving dependencies... 729s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 729s autopkgtest [19:57:05]: rebooting testbed after setup commands that affected boot 751s Reading package lists... 751s Building dependency tree... 751s Reading state information... 751s Starting pkgProblemResolver with broken count: 0 751s Starting 2 pkgProblemResolver with broken count: 0 751s Done 751s The following NEW packages will be installed: 751s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 751s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 751s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 751s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 751s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 751s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 751s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 751s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 751s libepoxy0 libfontconfig1 libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 751s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 751s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 751s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 751s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libmpc3 751s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 751s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 751s libthai0 libtiff6 libubsan1 libwayland-client0 libwayland-cursor0 751s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 751s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 751s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 752s 0 upgraded, 90 newly installed, 0 to remove and 0 not upgraded. 752s Need to get 151 MB of archives. 752s After this operation, 467 MB of additional disk space will be used. 752s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 752s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 752s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 752s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 752s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 752s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 752s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 752s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 752s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 752s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.5+ds-3ubuntu1 [53.2 kB] 752s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 753s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48.0-1 [578 kB] 753s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.90-1 [9072 B] 753s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 753s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 754s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 762s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 762s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 762s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 762s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 762s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 762s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 762s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 762s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 762s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 763s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 763s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 763s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 763s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250222-0ubuntu1 [49.2 kB] 763s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250222-0ubuntu1 [152 kB] 763s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250222-0ubuntu1 [31.2 kB] 763s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250222-0ubuntu1 [2970 kB] 765s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250222-0ubuntu1 [1212 kB] 766s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 767s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 780s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 780s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 780s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 780s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.90-1 [54.9 kB] 780s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 780s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.90-1 [83.8 kB] 780s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.90-1 [66.7 kB] 780s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-16ubuntu1 [30.9 kB] 780s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-16ubuntu1 [23.5 kB] 780s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-16ubuntu1 [26.3 kB] 780s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 780s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 780s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 780s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 780s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 781s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 781s Get:52 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.3.0-2 [438 kB] 781s Get:53 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.3.0-2 [329 kB] 782s Get:54 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2build1 [30.7 kB] 782s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 782s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-3 [149 kB] 782s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.3.0-2 [7845 kB] 788s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-2 [47.5 MB] 812s Get:59 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 812s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 812s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 812s Get:62 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 812s Get:63 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 812s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 812s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 812s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.2-1 [253 kB] 812s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.2-1 [50.2 kB] 812s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.2-1 [28.2 kB] 812s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-3 [28.2 kB] 812s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-3 [11.5 kB] 812s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-3 [6078 B] 812s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 812s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 812s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 812s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 812s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 812s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 812s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 813s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 814s Get:80 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 814s Get:81 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 814s Get:82 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build2 [3627 kB] 815s Get:83 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build2 [335 kB] 815s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250216-2 [407 kB] 815s Get:85 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 815s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.3.0-2 [8368 kB] 818s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.3.0-2 [20.6 MB] 826s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x spass s390x 3.9-1.1 [354 kB] 826s Get:89 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.19 [29.8 kB] 826s Get:90 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.8.0-2 [13.8 MB] 836s Fetched 151 MB in 1min 24s (1798 kB/s) 836s Selecting previously unselected package libgdk-pixbuf2.0-common. 836s (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 ... 56326 files and directories currently installed.) 836s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 836s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 836s Selecting previously unselected package libjpeg-turbo8:s390x. 836s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 836s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 836s Selecting previously unselected package libjpeg8:s390x. 836s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 836s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 836s Selecting previously unselected package libdeflate0:s390x. 836s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 836s Unpacking libdeflate0:s390x (1.23-1) ... 836s Selecting previously unselected package libjbig0:s390x. 836s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 836s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 836s Selecting previously unselected package libsharpyuv0:s390x. 836s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 836s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 836s Selecting previously unselected package libwebp7:s390x. 836s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 836s Unpacking libwebp7:s390x (1.5.0-0.1) ... 836s Selecting previously unselected package libtiff6:s390x. 836s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 836s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 836s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 836s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 836s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 836s Selecting previously unselected package gtk-update-icon-cache. 836s Preparing to unpack .../09-gtk-update-icon-cache_4.17.5+ds-3ubuntu1_s390x.deb ... 836s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 836s 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. 836s Unpacking gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 836s Selecting previously unselected package hicolor-icon-theme. 836s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 836s Unpacking hicolor-icon-theme (0.18-2) ... 836s Selecting previously unselected package adwaita-icon-theme. 836s Preparing to unpack .../11-adwaita-icon-theme_48.0-1_all.deb ... 836s Unpacking adwaita-icon-theme (48.0-1) ... 836s Selecting previously unselected package at-spi2-common. 836s Preparing to unpack .../12-at-spi2-common_2.55.90-1_all.deb ... 836s Unpacking at-spi2-common (2.55.90-1) ... 836s Selecting previously unselected package libisl23:s390x. 836s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 836s Unpacking libisl23:s390x (0.27-1) ... 836s Selecting previously unselected package libmpc3:s390x. 836s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 836s Unpacking libmpc3:s390x (1.3.1-1build2) ... 836s Selecting previously unselected package cpp-14-s390x-linux-gnu. 836s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 836s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 836s Selecting previously unselected package cpp-14. 836s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 836s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 836s Selecting previously unselected package cpp-s390x-linux-gnu. 836s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 836s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 836s Selecting previously unselected package cpp. 836s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 836s Unpacking cpp (4:14.2.0-1ubuntu1) ... 836s Selecting previously unselected package libdconf1:s390x. 836s Preparing to unpack .../19-libdconf1_0.40.0-5_s390x.deb ... 836s Unpacking libdconf1:s390x (0.40.0-5) ... 836s Selecting previously unselected package dconf-service. 836s Preparing to unpack .../20-dconf-service_0.40.0-5_s390x.deb ... 836s Unpacking dconf-service (0.40.0-5) ... 836s Selecting previously unselected package dconf-gsettings-backend:s390x. 836s Preparing to unpack .../21-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 836s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 836s Selecting previously unselected package libfreetype6:s390x. 836s Preparing to unpack .../22-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 836s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 836s Selecting previously unselected package fonts-dejavu-mono. 836s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 836s Unpacking fonts-dejavu-mono (2.37-8) ... 836s Selecting previously unselected package fonts-dejavu-core. 836s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 836s Unpacking fonts-dejavu-core (2.37-8) ... 836s Selecting previously unselected package fontconfig-config. 836s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 837s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 837s Selecting previously unselected package libfontconfig1:s390x. 837s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 837s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 837s Selecting previously unselected package fontconfig. 837s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 837s Unpacking fontconfig (2.15.0-2ubuntu1) ... 837s Selecting previously unselected package libcc1-0:s390x. 837s Preparing to unpack .../28-libcc1-0_15-20250222-0ubuntu1_s390x.deb ... 837s Unpacking libcc1-0:s390x (15-20250222-0ubuntu1) ... 837s Selecting previously unselected package libgomp1:s390x. 837s Preparing to unpack .../29-libgomp1_15-20250222-0ubuntu1_s390x.deb ... 837s Unpacking libgomp1:s390x (15-20250222-0ubuntu1) ... 837s Selecting previously unselected package libitm1:s390x. 837s Preparing to unpack .../30-libitm1_15-20250222-0ubuntu1_s390x.deb ... 837s Unpacking libitm1:s390x (15-20250222-0ubuntu1) ... 837s Selecting previously unselected package libasan8:s390x. 837s Preparing to unpack .../31-libasan8_15-20250222-0ubuntu1_s390x.deb ... 837s Unpacking libasan8:s390x (15-20250222-0ubuntu1) ... 837s Selecting previously unselected package libubsan1:s390x. 837s Preparing to unpack .../32-libubsan1_15-20250222-0ubuntu1_s390x.deb ... 837s Unpacking libubsan1:s390x (15-20250222-0ubuntu1) ... 837s Selecting previously unselected package libgcc-14-dev:s390x. 837s Preparing to unpack .../33-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 837s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 837s Selecting previously unselected package gcc-14-s390x-linux-gnu. 837s Preparing to unpack .../34-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 837s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 837s Selecting previously unselected package gcc-14. 837s Preparing to unpack .../35-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 837s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 837s Selecting previously unselected package gcc-s390x-linux-gnu. 837s Preparing to unpack .../36-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 837s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 837s Selecting previously unselected package gcc. 837s Preparing to unpack .../37-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 837s Unpacking gcc (4:14.2.0-1ubuntu1) ... 837s Selecting previously unselected package libatk1.0-0t64:s390x. 837s Preparing to unpack .../38-libatk1.0-0t64_2.55.90-1_s390x.deb ... 837s Unpacking libatk1.0-0t64:s390x (2.55.90-1) ... 837s Selecting previously unselected package libxi6:s390x. 837s Preparing to unpack .../39-libxi6_2%3a1.8.2-1_s390x.deb ... 837s Unpacking libxi6:s390x (2:1.8.2-1) ... 837s Selecting previously unselected package libatspi2.0-0t64:s390x. 837s Preparing to unpack .../40-libatspi2.0-0t64_2.55.90-1_s390x.deb ... 837s Unpacking libatspi2.0-0t64:s390x (2.55.90-1) ... 837s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 837s Preparing to unpack .../41-libatk-bridge2.0-0t64_2.55.90-1_s390x.deb ... 837s Unpacking libatk-bridge2.0-0t64:s390x (2.55.90-1) ... 837s Selecting previously unselected package libavahi-common-data:s390x. 837s Preparing to unpack .../42-libavahi-common-data_0.8-16ubuntu1_s390x.deb ... 837s Unpacking libavahi-common-data:s390x (0.8-16ubuntu1) ... 837s Selecting previously unselected package libavahi-common3:s390x. 837s Preparing to unpack .../43-libavahi-common3_0.8-16ubuntu1_s390x.deb ... 837s Unpacking libavahi-common3:s390x (0.8-16ubuntu1) ... 837s Selecting previously unselected package libavahi-client3:s390x. 837s Preparing to unpack .../44-libavahi-client3_0.8-16ubuntu1_s390x.deb ... 837s Unpacking libavahi-client3:s390x (0.8-16ubuntu1) ... 837s Selecting previously unselected package libpixman-1-0:s390x. 837s Preparing to unpack .../45-libpixman-1-0_0.44.0-3_s390x.deb ... 837s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 837s Selecting previously unselected package libxcb-render0:s390x. 837s Preparing to unpack .../46-libxcb-render0_1.17.0-2_s390x.deb ... 837s Unpacking libxcb-render0:s390x (1.17.0-2) ... 837s Selecting previously unselected package libxcb-shm0:s390x. 837s Preparing to unpack .../47-libxcb-shm0_1.17.0-2_s390x.deb ... 837s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 837s Selecting previously unselected package libxrender1:s390x. 837s Preparing to unpack .../48-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 837s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 837s Selecting previously unselected package libcairo2:s390x. 837s Preparing to unpack .../49-libcairo2_1.18.2-2_s390x.deb ... 837s Unpacking libcairo2:s390x (1.18.2-2) ... 837s Selecting previously unselected package libcairo-gobject2:s390x. 837s Preparing to unpack .../50-libcairo-gobject2_1.18.2-2_s390x.deb ... 837s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 837s Selecting previously unselected package libstdlib-ocaml. 837s Preparing to unpack .../51-libstdlib-ocaml_5.3.0-2_s390x.deb ... 837s Unpacking libstdlib-ocaml (5.3.0-2) ... 837s Selecting previously unselected package ocaml-base. 837s Preparing to unpack .../52-ocaml-base_5.3.0-2_s390x.deb ... 837s Unpacking ocaml-base (5.3.0-2) ... 837s Selecting previously unselected package libcairo2-ocaml. 837s Preparing to unpack .../53-libcairo2-ocaml_0.6.5-2build1_s390x.deb ... 837s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 837s Selecting previously unselected package liblcms2-2:s390x. 837s Preparing to unpack .../54-liblcms2-2_2.16-2_s390x.deb ... 837s Unpacking liblcms2-2:s390x (2.16-2) ... 837s Selecting previously unselected package libcolord2:s390x. 837s Preparing to unpack .../55-libcolord2_1.4.7-3_s390x.deb ... 837s Unpacking libcolord2:s390x (1.4.7-3) ... 837s Selecting previously unselected package libstdlib-ocaml-dev. 837s Preparing to unpack .../56-libstdlib-ocaml-dev_5.3.0-2_s390x.deb ... 837s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 837s Selecting previously unselected package libcompiler-libs-ocaml-dev. 837s Preparing to unpack .../57-libcompiler-libs-ocaml-dev_5.3.0-2_s390x.deb ... 837s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 838s Selecting previously unselected package libcups2t64:s390x. 838s Preparing to unpack .../58-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 838s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 838s Selecting previously unselected package libdatrie1:s390x. 838s Preparing to unpack .../59-libdatrie1_0.2.13-3build1_s390x.deb ... 838s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 838s Selecting previously unselected package libepoxy0:s390x. 838s Preparing to unpack .../60-libepoxy0_1.5.10-2_s390x.deb ... 838s Unpacking libepoxy0:s390x (1.5.10-2) ... 838s Selecting previously unselected package libgraphite2-3:s390x. 838s Preparing to unpack .../61-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 838s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 838s Selecting previously unselected package libharfbuzz0b:s390x. 838s Preparing to unpack .../62-libharfbuzz0b_10.2.0-1_s390x.deb ... 838s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 838s Selecting previously unselected package libthai-data. 838s Preparing to unpack .../63-libthai-data_0.1.29-2build1_all.deb ... 838s Unpacking libthai-data (0.1.29-2build1) ... 838s Selecting previously unselected package libthai0:s390x. 838s Preparing to unpack .../64-libthai0_0.1.29-2build1_s390x.deb ... 838s Unpacking libthai0:s390x (0.1.29-2build1) ... 838s Selecting previously unselected package libpango-1.0-0:s390x. 838s Preparing to unpack .../65-libpango-1.0-0_1.56.2-1_s390x.deb ... 838s Unpacking libpango-1.0-0:s390x (1.56.2-1) ... 838s Selecting previously unselected package libpangoft2-1.0-0:s390x. 838s Preparing to unpack .../66-libpangoft2-1.0-0_1.56.2-1_s390x.deb ... 838s Unpacking libpangoft2-1.0-0:s390x (1.56.2-1) ... 838s Selecting previously unselected package libpangocairo-1.0-0:s390x. 838s Preparing to unpack .../67-libpangocairo-1.0-0_1.56.2-1_s390x.deb ... 838s Unpacking libpangocairo-1.0-0:s390x (1.56.2-1) ... 838s Selecting previously unselected package libwayland-client0:s390x. 838s Preparing to unpack .../68-libwayland-client0_1.23.1-3_s390x.deb ... 838s Unpacking libwayland-client0:s390x (1.23.1-3) ... 838s Selecting previously unselected package libwayland-cursor0:s390x. 838s Preparing to unpack .../69-libwayland-cursor0_1.23.1-3_s390x.deb ... 838s Unpacking libwayland-cursor0:s390x (1.23.1-3) ... 838s Selecting previously unselected package libwayland-egl1:s390x. 838s Preparing to unpack .../70-libwayland-egl1_1.23.1-3_s390x.deb ... 838s Unpacking libwayland-egl1:s390x (1.23.1-3) ... 838s Selecting previously unselected package libxcomposite1:s390x. 838s Preparing to unpack .../71-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 838s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 838s Selecting previously unselected package libxfixes3:s390x. 838s Preparing to unpack .../72-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 838s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 838s Selecting previously unselected package libxcursor1:s390x. 838s Preparing to unpack .../73-libxcursor1_1%3a1.2.3-1_s390x.deb ... 838s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 838s Selecting previously unselected package libxdamage1:s390x. 838s Preparing to unpack .../74-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 838s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 838s Selecting previously unselected package libxinerama1:s390x. 838s Preparing to unpack .../75-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 838s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 838s Selecting previously unselected package libxrandr2:s390x. 838s Preparing to unpack .../76-libxrandr2_2%3a1.5.4-1_s390x.deb ... 838s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 838s Selecting previously unselected package libgtk-3-common. 838s Preparing to unpack .../77-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 838s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 838s Selecting previously unselected package libgtk-3-0t64:s390x. 838s Preparing to unpack .../78-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 838s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 838s Selecting previously unselected package libgtksourceview-3.0-common. 838s Preparing to unpack .../79-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 838s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 838s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 838s Preparing to unpack .../80-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 838s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 838s Selecting previously unselected package liblablgtk3-ocaml. 838s Preparing to unpack .../81-liblablgtk3-ocaml_3.1.5-1build2_s390x.deb ... 838s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 838s Selecting previously unselected package liblablgtksourceview3-ocaml. 838s Preparing to unpack .../82-liblablgtksourceview3-ocaml_3.1.5-1build2_s390x.deb ... 838s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 838s Selecting previously unselected package libncurses-dev:s390x. 838s Preparing to unpack .../83-libncurses-dev_6.5+20250216-2_s390x.deb ... 838s Unpacking libncurses-dev:s390x (6.5+20250216-2) ... 838s Selecting previously unselected package libzstd-dev:s390x. 838s Preparing to unpack .../84-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 838s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 838s Selecting previously unselected package ocaml-interp. 838s Preparing to unpack .../85-ocaml-interp_5.3.0-2_s390x.deb ... 838s Unpacking ocaml-interp (5.3.0-2) ... 838s Selecting previously unselected package ocaml. 838s Preparing to unpack .../86-ocaml_5.3.0-2_s390x.deb ... 838s Unpacking ocaml (5.3.0-2) ... 839s Selecting previously unselected package spass. 839s Preparing to unpack .../87-spass_3.9-1.1_s390x.deb ... 839s Unpacking spass (3.9-1.1) ... 839s Selecting previously unselected package tex-common. 839s Preparing to unpack .../88-tex-common_6.19_all.deb ... 839s Unpacking tex-common (6.19) ... 839s Selecting previously unselected package why3. 839s Preparing to unpack .../89-why3_1.8.0-2_s390x.deb ... 839s Unpacking why3 (1.8.0-2) ... 839s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 839s Setting up liblcms2-2:s390x (2.16-2) ... 839s Setting up libpixman-1-0:s390x (0.44.0-3) ... 839s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 839s Setting up libncurses-dev:s390x (6.5+20250216-2) ... 839s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 839s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 839s Setting up hicolor-icon-theme (0.18-2) ... 839s Setting up libxi6:s390x (2:1.8.2-1) ... 839s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 839s Setting up libdatrie1:s390x (0.2.13-3build1) ... 839s Setting up libxcb-render0:s390x (1.17.0-2) ... 839s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 839s Setting up libdeflate0:s390x (1.23-1) ... 839s Setting up libxcb-shm0:s390x (1.17.0-2) ... 839s Setting up libgomp1:s390x (15-20250222-0ubuntu1) ... 839s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 839s Setting up libcolord2:s390x (1.4.7-3) ... 839s Setting up libdconf1:s390x (0.40.0-5) ... 839s Setting up tex-common (6.19) ... 839s update-language: texlive-base not installed and configured, doing nothing! 839s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 839s Setting up libepoxy0:s390x (1.5.10-2) ... 839s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 839s Setting up spass (3.9-1.1) ... 839s Setting up libavahi-common-data:s390x (0.8-16ubuntu1) ... 839s Setting up libatspi2.0-0t64:s390x (2.55.90-1) ... 839s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 839s Setting up libstdlib-ocaml (5.3.0-2) ... 839s Setting up fonts-dejavu-mono (2.37-8) ... 839s Setting up libmpc3:s390x (1.3.1-1build2) ... 839s Setting up libxrandr2:s390x (2:1.5.4-1) ... 839s Setting up ocaml-base (5.3.0-2) ... 839s Setting up fonts-dejavu-core (2.37-8) ... 839s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 839s Setting up libwebp7:s390x (1.5.0-0.1) ... 839s Setting up libubsan1:s390x (15-20250222-0ubuntu1) ... 839s Setting up at-spi2-common (2.55.90-1) ... 839s Setting up libasan8:s390x (15-20250222-0ubuntu1) ... 839s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 839s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 839s Setting up libthai-data (0.1.29-2build1) ... 839s Setting up libwayland-egl1:s390x (1.23.1-3) ... 839s Setting up libisl23:s390x (0.27-1) ... 839s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 839s Setting up libcc1-0:s390x (15-20250222-0ubuntu1) ... 839s Setting up libitm1:s390x (15-20250222-0ubuntu1) ... 839s Setting up libwayland-client0:s390x (1.23.1-3) ... 839s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 839s Setting up libatk1.0-0t64:s390x (2.55.90-1) ... 839s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 839s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 839s Setting up libxcursor1:s390x (1:1.2.3-1) ... 839s Setting up libavahi-common3:s390x (0.8-16ubuntu1) ... 839s Setting up dconf-service (0.40.0-5) ... 839s Setting up libthai0:s390x (0.1.29-2build1) ... 839s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 839s Setting up ocaml-interp (5.3.0-2) ... 839s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 839s Setting up cpp-14 (14.2.0-17ubuntu3) ... 839s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 839s Setting up libwayland-cursor0:s390x (1.23.1-3) ... 839s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 839s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 839s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 839s Setting up libavahi-client3:s390x (0.8-16ubuntu1) ... 839s Setting up libatk-bridge2.0-0t64:s390x (2.55.90-1) ... 839s Setting up gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 839s Setting up fontconfig (2.15.0-2ubuntu1) ... 841s Regenerating fonts cache... done. 841s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 841s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 841s Setting up libpango-1.0-0:s390x (1.56.2-1) ... 841s Setting up libcairo2:s390x (1.18.2-2) ... 841s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 841s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 841s Setting up adwaita-icon-theme (48.0-1) ... 841s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 841s Setting up cpp (4:14.2.0-1ubuntu1) ... 841s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 841s Setting up libpangoft2-1.0-0:s390x (1.56.2-1) ... 841s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 841s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 841s Setting up libpangocairo-1.0-0:s390x (1.56.2-1) ... 841s Setting up libcairo2-ocaml (0.6.5-2build1) ... 841s Setting up gcc-14 (14.2.0-17ubuntu3) ... 841s Setting up gcc (4:14.2.0-1ubuntu1) ... 841s Setting up ocaml (5.3.0-2) ... 841s Processing triggers for libc-bin (2.41-1ubuntu2) ... 841s Processing triggers for man-db (2.13.0-1) ... 842s Processing triggers for libglib2.0-0t64:s390x (2.84.0-1) ... 842s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 842s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 842s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 842s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 842s Setting up why3 (1.8.0-2) ... 842s Processing triggers for libc-bin (2.41-1ubuntu2) ... 854s autopkgtest [19:59:10]: test why3+spass: [----------------------- 855s autopkgtest [19:59:11]: test why3+spass: -----------------------] 857s autopkgtest [19:59:13]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 857s why3+spass PASS 857s autopkgtest [19:59:13]: test why3+z3: preparing testbed 984s autopkgtest [20:01:20]: testbed dpkg architecture: s390x 985s autopkgtest [20:01:21]: testbed apt version: 2.9.33 985s autopkgtest [20:01:21]: @@@@@@@@@@@@@@@@@@@@ test bed setup 985s autopkgtest [20:01:21]: testbed release detected to be: plucky 986s autopkgtest [20:01:22]: updating testbed package index (apt update) 986s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 987s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 987s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 987s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 987s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.5 kB] 987s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [45.1 kB] 987s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [369 kB] 987s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [77.3 kB] 987s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x c-n-f Metadata [1824 B] 987s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x c-n-f Metadata [116 B] 987s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [314 kB] 988s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x c-n-f Metadata [13.3 kB] 988s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3532 B] 988s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x c-n-f Metadata [240 B] 988s Fetched 965 kB in 1s (672 kB/s) 988s Reading package lists... 989s + lsb_release --codename --short 989s + RELEASE=plucky 989s + cat 989s + [ plucky != trusty ] 989s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 989s Reading package lists... 989s Building dependency tree... 989s Reading state information... 989s Calculating upgrade... 989s Calculating upgrade... 989s The following packages were automatically installed and are no longer required: 989s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 989s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 989s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 989s linux-tools-6.11.0-8-generic 989s Use 'sudo apt autoremove' to remove them. 989s The following packages will be upgraded: 989s pinentry-curses python3-jinja2 strace 989s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 989s Need to get 652 kB of archives. 989s After this operation, 27.6 kB of additional disk space will be used. 989s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x strace s390x 6.13+ds-1ubuntu1 [500 kB] 990s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x pinentry-curses s390x 1.3.1-2ubuntu3 [42.9 kB] 990s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 990s Fetched 652 kB in 1s (769 kB/s) 990s (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 ... 81428 files and directories currently installed.) 990s Preparing to unpack .../strace_6.13+ds-1ubuntu1_s390x.deb ... 990s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 990s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_s390x.deb ... 990s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 990s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 991s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 991s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 991s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 991s Setting up strace (6.13+ds-1ubuntu1) ... 991s Processing triggers for man-db (2.13.0-1) ... 991s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 991s + /usr/lib/apt/apt-helper analyze-pattern ?true 991s + uname -r 991s + sed s/\./\\./g 991s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.* 991s + apt list ?obsolete 991s + tail -n+2 991s + cut -d/ -f1 991s + grep -v ^linux-.*6\.14\.0-10-generic.* 991s + obsolete_pkgs=linux-headers-6.11.0-8-generic 991s linux-headers-6.11.0-8 991s linux-modules-6.11.0-8-generic 991s linux-tools-6.11.0-8-generic 991s linux-tools-6.11.0-8 991s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-modules-6.11.0-8-generic linux-tools-6.11.0-8-generic linux-tools-6.11.0-8 991s Reading package lists... 991s Building dependency tree... 991s Reading state information... 992s Solving dependencies... 992s The following packages will be REMOVED: 992s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 992s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 992s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 992s linux-tools-6.11.0-8-generic* 992s 0 upgraded, 0 newly installed, 9 to remove and 5 not upgraded. 992s After this operation, 167 MB disk space will be freed. 992s (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 ... 81428 files and directories currently installed.) 992s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 992s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 992s Removing libpython3.12t64:s390x (3.12.9-1) ... 992s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 992s Removing libnsl2:s390x (1.3.0-3build3) ... 992s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 992s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 992s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 993s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 993s Processing triggers for libc-bin (2.41-1ubuntu1) ... 993s (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 ... 56328 files and directories currently installed.) 993s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 993s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 993s + grep -q trusty /etc/lsb-release 993s + [ ! -d /usr/share/doc/unattended-upgrades ] 993s + [ ! -d /usr/share/doc/lxd ] 993s + [ ! -d /usr/share/doc/lxd-client ] 993s + [ ! -d /usr/share/doc/snapd ] 993s + type iptables 993s + cat 993s + chmod 755 /etc/rc.local 993s + . /etc/rc.local 993s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 993s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 993s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 993s + uname -m 993s + [ s390x = ppc64le ] 993s + [ -d /run/systemd/system ] 993s + systemd-detect-virt --quiet --vm 993s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 993s + cat 993s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 993s + echo COMPRESS=lz4 993s autopkgtest [20:01:29]: upgrading testbed (apt dist-upgrade and autopurge) 993s Reading package lists... 993s Building dependency tree... 993s Reading state information... 993s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 993s Starting 2 pkgProblemResolver with broken count: 0 993s Done 994s Entering ResolveByKeep 994s 994s Calculating upgrade... 994s The following packages will be upgraded: 994s libc-bin libc-dev-bin libc6 libc6-dev locales 994s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 994s Need to get 9512 kB of archives. 994s After this operation, 8192 B of additional disk space will be used. 994s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu2 [1678 kB] 995s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu2 [24.3 kB] 995s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu2 [2892 kB] 998s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu2 [671 kB] 998s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu2 [4246 kB] 1001s Preconfiguring packages ... 1001s Fetched 9512 kB in 7s (1395 kB/s) 1001s (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 ... 56326 files and directories currently installed.) 1001s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_s390x.deb ... 1001s Unpacking libc6-dev:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1001s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_s390x.deb ... 1001s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1001s Preparing to unpack .../libc6_2.41-1ubuntu2_s390x.deb ... 1001s Unpacking libc6:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1001s Setting up libc6:s390x (2.41-1ubuntu2) ... 1001s (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 ... 56326 files and directories currently installed.) 1001s Preparing to unpack .../libc-bin_2.41-1ubuntu2_s390x.deb ... 1001s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1001s Setting up libc-bin (2.41-1ubuntu2) ... 1001s (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 ... 56326 files and directories currently installed.) 1001s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 1001s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1001s Setting up locales (2.41-1ubuntu2) ... 1002s Generating locales (this might take a while)... 1003s en_US.UTF-8... done 1003s Generation complete. 1003s Setting up libc-dev-bin (2.41-1ubuntu2) ... 1003s Setting up libc6-dev:s390x (2.41-1ubuntu2) ... 1003s Processing triggers for man-db (2.13.0-1) ... 1003s Processing triggers for systemd (257.3-1ubuntu3) ... 1004s Reading package lists... 1004s Building dependency tree... 1004s Reading state information... 1004s Starting pkgProblemResolver with broken count: 0 1004s Starting 2 pkgProblemResolver with broken count: 0 1004s Done 1004s Solving dependencies... 1004s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1005s autopkgtest [20:01:41]: rebooting testbed after setup commands that affected boot 1031s Reading package lists... 1031s Building dependency tree... 1031s Reading state information... 1031s Starting pkgProblemResolver with broken count: 0 1031s Starting 2 pkgProblemResolver with broken count: 0 1031s Done 1031s The following NEW packages will be installed: 1031s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 1031s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 1031s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 1031s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 1031s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 1031s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 1031s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 1031s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 1031s libepoxy0 libfontconfig1 libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 1031s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 1031s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 1031s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 1031s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libmpc3 1031s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1031s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 1031s libthai0 libtiff6 libubsan1 libwayland-client0 libwayland-cursor0 1031s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 1031s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 1031s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 z3 1032s 0 upgraded, 90 newly installed, 0 to remove and 0 not upgraded. 1032s Need to get 158 MB of archives. 1032s After this operation, 487 MB of additional disk space will be used. 1032s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 1032s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 1032s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 1032s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 1032s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 1032s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 1032s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 1032s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 1032s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 1033s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.5+ds-3ubuntu1 [53.2 kB] 1033s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 1033s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48.0-1 [578 kB] 1033s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.90-1 [9072 B] 1033s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 1034s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 1034s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 1042s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 1042s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 1042s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 1042s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 1042s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 1042s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 1042s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 1042s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 1043s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 1043s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-2ubuntu1 [37.5 kB] 1043s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-2ubuntu1 [150 kB] 1043s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-2ubuntu1 [191 kB] 1044s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250222-0ubuntu1 [49.2 kB] 1044s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250222-0ubuntu1 [152 kB] 1044s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250222-0ubuntu1 [31.2 kB] 1044s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250222-0ubuntu1 [2970 kB] 1046s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250222-0ubuntu1 [1212 kB] 1047s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 1048s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 1062s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 1062s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 1062s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 1062s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.90-1 [54.9 kB] 1063s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 1063s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.90-1 [83.8 kB] 1063s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.90-1 [66.7 kB] 1063s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-16ubuntu1 [30.9 kB] 1063s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-16ubuntu1 [23.5 kB] 1063s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-16ubuntu1 [26.3 kB] 1063s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 1063s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 1063s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 1063s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 1063s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 1063s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 1063s Get:52 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.3.0-2 [438 kB] 1064s Get:53 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.3.0-2 [329 kB] 1064s Get:54 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2build1 [30.7 kB] 1064s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 1064s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-3 [149 kB] 1064s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.3.0-2 [7845 kB] 1070s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-2 [47.5 MB] 1115s Get:59 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 1115s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 1115s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 1115s Get:62 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 1115s Get:63 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 1116s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 1116s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 1116s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.2-1 [253 kB] 1116s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.2-1 [50.2 kB] 1116s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.2-1 [28.2 kB] 1116s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-3 [28.2 kB] 1116s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-3 [11.5 kB] 1116s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-3 [6078 B] 1116s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 1116s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 1116s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 1116s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 1116s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 1116s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 1116s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 1118s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 1121s Get:80 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 1121s Get:81 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 1121s Get:82 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build2 [3627 kB] 1125s Get:83 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build2 [335 kB] 1125s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250216-2 [407 kB] 1125s Get:85 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 1126s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.3.0-2 [8368 kB] 1133s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.3.0-2 [20.6 MB] 1152s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.19 [29.8 kB] 1152s Get:89 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.8.0-2 [13.8 MB] 1168s Get:90 http://ftpmaster.internal/ubuntu plucky/universe s390x z3 s390x 4.13.3-1 [7564 kB] 1178s Fetched 158 MB in 2min 27s (1081 kB/s) 1178s Selecting previously unselected package libgdk-pixbuf2.0-common. 1178s (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 ... 56326 files and directories currently installed.) 1178s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 1178s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 1178s Selecting previously unselected package libjpeg-turbo8:s390x. 1178s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 1178s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 1178s Selecting previously unselected package libjpeg8:s390x. 1178s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 1178s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 1178s Selecting previously unselected package libdeflate0:s390x. 1178s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 1178s Unpacking libdeflate0:s390x (1.23-1) ... 1178s Selecting previously unselected package libjbig0:s390x. 1178s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 1178s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 1178s Selecting previously unselected package libsharpyuv0:s390x. 1178s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 1178s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 1178s Selecting previously unselected package libwebp7:s390x. 1178s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 1178s Unpacking libwebp7:s390x (1.5.0-0.1) ... 1178s Selecting previously unselected package libtiff6:s390x. 1178s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 1178s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 1178s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 1178s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 1178s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 1178s Selecting previously unselected package gtk-update-icon-cache. 1178s Preparing to unpack .../09-gtk-update-icon-cache_4.17.5+ds-3ubuntu1_s390x.deb ... 1178s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 1178s 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. 1178s Unpacking gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 1179s Selecting previously unselected package hicolor-icon-theme. 1179s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 1179s Unpacking hicolor-icon-theme (0.18-2) ... 1179s Selecting previously unselected package adwaita-icon-theme. 1179s Preparing to unpack .../11-adwaita-icon-theme_48.0-1_all.deb ... 1179s Unpacking adwaita-icon-theme (48.0-1) ... 1179s Selecting previously unselected package at-spi2-common. 1179s Preparing to unpack .../12-at-spi2-common_2.55.90-1_all.deb ... 1179s Unpacking at-spi2-common (2.55.90-1) ... 1179s Selecting previously unselected package libisl23:s390x. 1179s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 1179s Unpacking libisl23:s390x (0.27-1) ... 1179s Selecting previously unselected package libmpc3:s390x. 1179s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 1179s Unpacking libmpc3:s390x (1.3.1-1build2) ... 1179s Selecting previously unselected package cpp-14-s390x-linux-gnu. 1179s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 1179s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 1179s Selecting previously unselected package cpp-14. 1179s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 1179s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 1179s Selecting previously unselected package cpp-s390x-linux-gnu. 1179s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 1179s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 1179s Selecting previously unselected package cpp. 1179s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 1179s Unpacking cpp (4:14.2.0-1ubuntu1) ... 1179s Selecting previously unselected package libdconf1:s390x. 1179s Preparing to unpack .../19-libdconf1_0.40.0-5_s390x.deb ... 1179s Unpacking libdconf1:s390x (0.40.0-5) ... 1179s Selecting previously unselected package dconf-service. 1179s Preparing to unpack .../20-dconf-service_0.40.0-5_s390x.deb ... 1179s Unpacking dconf-service (0.40.0-5) ... 1179s Selecting previously unselected package dconf-gsettings-backend:s390x. 1179s Preparing to unpack .../21-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 1179s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 1179s Selecting previously unselected package libfreetype6:s390x. 1179s Preparing to unpack .../22-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 1179s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 1179s Selecting previously unselected package fonts-dejavu-mono. 1179s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 1179s Unpacking fonts-dejavu-mono (2.37-8) ... 1179s Selecting previously unselected package fonts-dejavu-core. 1179s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 1179s Unpacking fonts-dejavu-core (2.37-8) ... 1179s Selecting previously unselected package fontconfig-config. 1179s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_s390x.deb ... 1179s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 1179s Selecting previously unselected package libfontconfig1:s390x. 1179s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_s390x.deb ... 1179s Unpacking libfontconfig1:s390x (2.15.0-2ubuntu1) ... 1179s Selecting previously unselected package fontconfig. 1179s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_s390x.deb ... 1179s Unpacking fontconfig (2.15.0-2ubuntu1) ... 1179s Selecting previously unselected package libcc1-0:s390x. 1179s Preparing to unpack .../28-libcc1-0_15-20250222-0ubuntu1_s390x.deb ... 1179s Unpacking libcc1-0:s390x (15-20250222-0ubuntu1) ... 1179s Selecting previously unselected package libgomp1:s390x. 1179s Preparing to unpack .../29-libgomp1_15-20250222-0ubuntu1_s390x.deb ... 1179s Unpacking libgomp1:s390x (15-20250222-0ubuntu1) ... 1179s Selecting previously unselected package libitm1:s390x. 1179s Preparing to unpack .../30-libitm1_15-20250222-0ubuntu1_s390x.deb ... 1179s Unpacking libitm1:s390x (15-20250222-0ubuntu1) ... 1179s Selecting previously unselected package libasan8:s390x. 1179s Preparing to unpack .../31-libasan8_15-20250222-0ubuntu1_s390x.deb ... 1179s Unpacking libasan8:s390x (15-20250222-0ubuntu1) ... 1179s Selecting previously unselected package libubsan1:s390x. 1179s Preparing to unpack .../32-libubsan1_15-20250222-0ubuntu1_s390x.deb ... 1179s Unpacking libubsan1:s390x (15-20250222-0ubuntu1) ... 1179s Selecting previously unselected package libgcc-14-dev:s390x. 1179s Preparing to unpack .../33-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 1179s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 1179s Selecting previously unselected package gcc-14-s390x-linux-gnu. 1179s Preparing to unpack .../34-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 1179s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 1179s Selecting previously unselected package gcc-14. 1179s Preparing to unpack .../35-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 1179s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 1179s Selecting previously unselected package gcc-s390x-linux-gnu. 1179s Preparing to unpack .../36-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 1179s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 1179s Selecting previously unselected package gcc. 1179s Preparing to unpack .../37-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 1179s Unpacking gcc (4:14.2.0-1ubuntu1) ... 1179s Selecting previously unselected package libatk1.0-0t64:s390x. 1179s Preparing to unpack .../38-libatk1.0-0t64_2.55.90-1_s390x.deb ... 1179s Unpacking libatk1.0-0t64:s390x (2.55.90-1) ... 1179s Selecting previously unselected package libxi6:s390x. 1179s Preparing to unpack .../39-libxi6_2%3a1.8.2-1_s390x.deb ... 1179s Unpacking libxi6:s390x (2:1.8.2-1) ... 1179s Selecting previously unselected package libatspi2.0-0t64:s390x. 1179s Preparing to unpack .../40-libatspi2.0-0t64_2.55.90-1_s390x.deb ... 1179s Unpacking libatspi2.0-0t64:s390x (2.55.90-1) ... 1179s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 1179s Preparing to unpack .../41-libatk-bridge2.0-0t64_2.55.90-1_s390x.deb ... 1179s Unpacking libatk-bridge2.0-0t64:s390x (2.55.90-1) ... 1179s Selecting previously unselected package libavahi-common-data:s390x. 1179s Preparing to unpack .../42-libavahi-common-data_0.8-16ubuntu1_s390x.deb ... 1179s Unpacking libavahi-common-data:s390x (0.8-16ubuntu1) ... 1179s Selecting previously unselected package libavahi-common3:s390x. 1179s Preparing to unpack .../43-libavahi-common3_0.8-16ubuntu1_s390x.deb ... 1179s Unpacking libavahi-common3:s390x (0.8-16ubuntu1) ... 1179s Selecting previously unselected package libavahi-client3:s390x. 1179s Preparing to unpack .../44-libavahi-client3_0.8-16ubuntu1_s390x.deb ... 1179s Unpacking libavahi-client3:s390x (0.8-16ubuntu1) ... 1179s Selecting previously unselected package libpixman-1-0:s390x. 1179s Preparing to unpack .../45-libpixman-1-0_0.44.0-3_s390x.deb ... 1179s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 1179s Selecting previously unselected package libxcb-render0:s390x. 1179s Preparing to unpack .../46-libxcb-render0_1.17.0-2_s390x.deb ... 1179s Unpacking libxcb-render0:s390x (1.17.0-2) ... 1179s Selecting previously unselected package libxcb-shm0:s390x. 1179s Preparing to unpack .../47-libxcb-shm0_1.17.0-2_s390x.deb ... 1179s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 1179s Selecting previously unselected package libxrender1:s390x. 1179s Preparing to unpack .../48-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 1179s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 1179s Selecting previously unselected package libcairo2:s390x. 1179s Preparing to unpack .../49-libcairo2_1.18.2-2_s390x.deb ... 1179s Unpacking libcairo2:s390x (1.18.2-2) ... 1179s Selecting previously unselected package libcairo-gobject2:s390x. 1179s Preparing to unpack .../50-libcairo-gobject2_1.18.2-2_s390x.deb ... 1179s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 1179s Selecting previously unselected package libstdlib-ocaml. 1179s Preparing to unpack .../51-libstdlib-ocaml_5.3.0-2_s390x.deb ... 1179s Unpacking libstdlib-ocaml (5.3.0-2) ... 1180s Selecting previously unselected package ocaml-base. 1180s Preparing to unpack .../52-ocaml-base_5.3.0-2_s390x.deb ... 1180s Unpacking ocaml-base (5.3.0-2) ... 1180s Selecting previously unselected package libcairo2-ocaml. 1180s Preparing to unpack .../53-libcairo2-ocaml_0.6.5-2build1_s390x.deb ... 1180s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 1180s Selecting previously unselected package liblcms2-2:s390x. 1180s Preparing to unpack .../54-liblcms2-2_2.16-2_s390x.deb ... 1180s Unpacking liblcms2-2:s390x (2.16-2) ... 1180s Selecting previously unselected package libcolord2:s390x. 1180s Preparing to unpack .../55-libcolord2_1.4.7-3_s390x.deb ... 1180s Unpacking libcolord2:s390x (1.4.7-3) ... 1180s Selecting previously unselected package libstdlib-ocaml-dev. 1180s Preparing to unpack .../56-libstdlib-ocaml-dev_5.3.0-2_s390x.deb ... 1180s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 1180s Selecting previously unselected package libcompiler-libs-ocaml-dev. 1180s Preparing to unpack .../57-libcompiler-libs-ocaml-dev_5.3.0-2_s390x.deb ... 1180s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 1180s Selecting previously unselected package libcups2t64:s390x. 1180s Preparing to unpack .../58-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 1180s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 1180s Selecting previously unselected package libdatrie1:s390x. 1180s Preparing to unpack .../59-libdatrie1_0.2.13-3build1_s390x.deb ... 1180s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 1180s Selecting previously unselected package libepoxy0:s390x. 1180s Preparing to unpack .../60-libepoxy0_1.5.10-2_s390x.deb ... 1180s Unpacking libepoxy0:s390x (1.5.10-2) ... 1180s Selecting previously unselected package libgraphite2-3:s390x. 1180s Preparing to unpack .../61-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 1180s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 1180s Selecting previously unselected package libharfbuzz0b:s390x. 1180s Preparing to unpack .../62-libharfbuzz0b_10.2.0-1_s390x.deb ... 1180s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 1180s Selecting previously unselected package libthai-data. 1180s Preparing to unpack .../63-libthai-data_0.1.29-2build1_all.deb ... 1180s Unpacking libthai-data (0.1.29-2build1) ... 1180s Selecting previously unselected package libthai0:s390x. 1180s Preparing to unpack .../64-libthai0_0.1.29-2build1_s390x.deb ... 1180s Unpacking libthai0:s390x (0.1.29-2build1) ... 1180s Selecting previously unselected package libpango-1.0-0:s390x. 1180s Preparing to unpack .../65-libpango-1.0-0_1.56.2-1_s390x.deb ... 1180s Unpacking libpango-1.0-0:s390x (1.56.2-1) ... 1180s Selecting previously unselected package libpangoft2-1.0-0:s390x. 1180s Preparing to unpack .../66-libpangoft2-1.0-0_1.56.2-1_s390x.deb ... 1180s Unpacking libpangoft2-1.0-0:s390x (1.56.2-1) ... 1180s Selecting previously unselected package libpangocairo-1.0-0:s390x. 1180s Preparing to unpack .../67-libpangocairo-1.0-0_1.56.2-1_s390x.deb ... 1180s Unpacking libpangocairo-1.0-0:s390x (1.56.2-1) ... 1180s Selecting previously unselected package libwayland-client0:s390x. 1180s Preparing to unpack .../68-libwayland-client0_1.23.1-3_s390x.deb ... 1180s Unpacking libwayland-client0:s390x (1.23.1-3) ... 1180s Selecting previously unselected package libwayland-cursor0:s390x. 1180s Preparing to unpack .../69-libwayland-cursor0_1.23.1-3_s390x.deb ... 1180s Unpacking libwayland-cursor0:s390x (1.23.1-3) ... 1180s Selecting previously unselected package libwayland-egl1:s390x. 1180s Preparing to unpack .../70-libwayland-egl1_1.23.1-3_s390x.deb ... 1180s Unpacking libwayland-egl1:s390x (1.23.1-3) ... 1180s Selecting previously unselected package libxcomposite1:s390x. 1180s Preparing to unpack .../71-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 1180s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 1180s Selecting previously unselected package libxfixes3:s390x. 1180s Preparing to unpack .../72-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 1180s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 1180s Selecting previously unselected package libxcursor1:s390x. 1180s Preparing to unpack .../73-libxcursor1_1%3a1.2.3-1_s390x.deb ... 1180s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 1180s Selecting previously unselected package libxdamage1:s390x. 1180s Preparing to unpack .../74-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 1180s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 1180s Selecting previously unselected package libxinerama1:s390x. 1180s Preparing to unpack .../75-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 1180s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 1180s Selecting previously unselected package libxrandr2:s390x. 1180s Preparing to unpack .../76-libxrandr2_2%3a1.5.4-1_s390x.deb ... 1180s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 1180s Selecting previously unselected package libgtk-3-common. 1180s Preparing to unpack .../77-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 1180s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 1180s Selecting previously unselected package libgtk-3-0t64:s390x. 1180s Preparing to unpack .../78-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 1180s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 1180s Selecting previously unselected package libgtksourceview-3.0-common. 1180s Preparing to unpack .../79-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 1180s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 1180s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 1180s Preparing to unpack .../80-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 1180s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 1180s Selecting previously unselected package liblablgtk3-ocaml. 1180s Preparing to unpack .../81-liblablgtk3-ocaml_3.1.5-1build2_s390x.deb ... 1180s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 1180s Selecting previously unselected package liblablgtksourceview3-ocaml. 1180s Preparing to unpack .../82-liblablgtksourceview3-ocaml_3.1.5-1build2_s390x.deb ... 1180s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 1180s Selecting previously unselected package libncurses-dev:s390x. 1180s Preparing to unpack .../83-libncurses-dev_6.5+20250216-2_s390x.deb ... 1180s Unpacking libncurses-dev:s390x (6.5+20250216-2) ... 1180s Selecting previously unselected package libzstd-dev:s390x. 1180s Preparing to unpack .../84-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 1180s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 1180s Selecting previously unselected package ocaml-interp. 1180s Preparing to unpack .../85-ocaml-interp_5.3.0-2_s390x.deb ... 1180s Unpacking ocaml-interp (5.3.0-2) ... 1181s Selecting previously unselected package ocaml. 1181s Preparing to unpack .../86-ocaml_5.3.0-2_s390x.deb ... 1181s Unpacking ocaml (5.3.0-2) ... 1181s Selecting previously unselected package tex-common. 1181s Preparing to unpack .../87-tex-common_6.19_all.deb ... 1181s Unpacking tex-common (6.19) ... 1181s Selecting previously unselected package why3. 1181s Preparing to unpack .../88-why3_1.8.0-2_s390x.deb ... 1181s Unpacking why3 (1.8.0-2) ... 1181s Selecting previously unselected package z3. 1181s Preparing to unpack .../89-z3_4.13.3-1_s390x.deb ... 1181s Unpacking z3 (4.13.3-1) ... 1181s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 1181s Setting up liblcms2-2:s390x (2.16-2) ... 1181s Setting up libpixman-1-0:s390x (0.44.0-3) ... 1181s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 1181s Setting up libncurses-dev:s390x (6.5+20250216-2) ... 1181s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 1181s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 1181s Setting up hicolor-icon-theme (0.18-2) ... 1181s Setting up libxi6:s390x (2:1.8.2-1) ... 1181s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 1181s Setting up libdatrie1:s390x (0.2.13-3build1) ... 1181s Setting up libxcb-render0:s390x (1.17.0-2) ... 1181s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 1181s Setting up libdeflate0:s390x (1.23-1) ... 1181s Setting up libxcb-shm0:s390x (1.17.0-2) ... 1181s Setting up libgomp1:s390x (15-20250222-0ubuntu1) ... 1181s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 1181s Setting up z3 (4.13.3-1) ... 1181s Setting up libcolord2:s390x (1.4.7-3) ... 1181s Setting up libdconf1:s390x (0.40.0-5) ... 1181s Setting up tex-common (6.19) ... 1181s update-language: texlive-base not installed and configured, doing nothing! 1181s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 1181s Setting up libepoxy0:s390x (1.5.10-2) ... 1181s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 1181s Setting up libavahi-common-data:s390x (0.8-16ubuntu1) ... 1181s Setting up libatspi2.0-0t64:s390x (2.55.90-1) ... 1181s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 1181s Setting up libstdlib-ocaml (5.3.0-2) ... 1181s Setting up fonts-dejavu-mono (2.37-8) ... 1181s Setting up libmpc3:s390x (1.3.1-1build2) ... 1181s Setting up libxrandr2:s390x (2:1.5.4-1) ... 1181s Setting up ocaml-base (5.3.0-2) ... 1181s Setting up fonts-dejavu-core (2.37-8) ... 1181s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 1181s Setting up libwebp7:s390x (1.5.0-0.1) ... 1181s Setting up libubsan1:s390x (15-20250222-0ubuntu1) ... 1181s Setting up at-spi2-common (2.55.90-1) ... 1181s Setting up libasan8:s390x (15-20250222-0ubuntu1) ... 1181s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 1181s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 1181s Setting up libthai-data (0.1.29-2build1) ... 1181s Setting up libwayland-egl1:s390x (1.23.1-3) ... 1181s Setting up libisl23:s390x (0.27-1) ... 1181s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 1181s Setting up libcc1-0:s390x (15-20250222-0ubuntu1) ... 1181s Setting up libitm1:s390x (15-20250222-0ubuntu1) ... 1181s Setting up libwayland-client0:s390x (1.23.1-3) ... 1181s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 1181s Setting up libatk1.0-0t64:s390x (2.55.90-1) ... 1181s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 1181s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 1182s Setting up libxcursor1:s390x (1:1.2.3-1) ... 1182s Setting up libavahi-common3:s390x (0.8-16ubuntu1) ... 1182s Setting up dconf-service (0.40.0-5) ... 1182s Setting up libthai0:s390x (0.1.29-2build1) ... 1182s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 1182s Setting up ocaml-interp (5.3.0-2) ... 1182s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 1182s Setting up cpp-14 (14.2.0-17ubuntu3) ... 1182s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 1182s Setting up libwayland-cursor0:s390x (1.23.1-3) ... 1182s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 1182s Setting up libfontconfig1:s390x (2.15.0-2ubuntu1) ... 1182s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 1182s Setting up libavahi-client3:s390x (0.8-16ubuntu1) ... 1182s Setting up libatk-bridge2.0-0t64:s390x (2.55.90-1) ... 1182s Setting up gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 1182s Setting up fontconfig (2.15.0-2ubuntu1) ... 1184s Regenerating fonts cache... done. 1184s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 1184s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 1184s Setting up libpango-1.0-0:s390x (1.56.2-1) ... 1184s Setting up libcairo2:s390x (1.18.2-2) ... 1184s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 1184s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 1184s Setting up adwaita-icon-theme (48.0-1) ... 1184s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1184s Setting up cpp (4:14.2.0-1ubuntu1) ... 1184s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 1184s Setting up libpangoft2-1.0-0:s390x (1.56.2-1) ... 1184s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 1184s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 1184s Setting up libpangocairo-1.0-0:s390x (1.56.2-1) ... 1184s Setting up libcairo2-ocaml (0.6.5-2build1) ... 1184s Setting up gcc-14 (14.2.0-17ubuntu3) ... 1184s Setting up gcc (4:14.2.0-1ubuntu1) ... 1184s Setting up ocaml (5.3.0-2) ... 1184s Processing triggers for libc-bin (2.41-1ubuntu2) ... 1184s Processing triggers for man-db (2.13.0-1) ... 1184s Processing triggers for libglib2.0-0t64:s390x (2.84.0-1) ... 1184s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 1184s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 1185s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 1185s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 1185s Setting up why3 (1.8.0-2) ... 1185s Processing triggers for libc-bin (2.41-1ubuntu2) ... 1203s autopkgtest [20:04:59]: test why3+z3: [----------------------- 1204s autopkgtest [20:05:00]: test why3+z3: -----------------------] 1205s autopkgtest [20:05:01]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1205s why3+z3 PASS 1205s autopkgtest [20:05:01]: @@@@@@@@@@@@@@@@@@@@ summary 1205s why3+cvc4 PASS 1205s why3+cvc5 PASS 1205s why3+spass PASS 1205s why3+z3 PASS 1224s nova [W] Using flock in prodstack6-s390x 1224s flock: timeout while waiting to get lock 1224s Creating nova instance adt-plucky-s390x-why3-20250315-194455-juju-7f2275-prod-proposed-migration-environment-15-64ddc569-4343-4b6f-893a-54f56e9fdd8e from image adt/ubuntu-plucky-s390x-server-20250315.img (UUID 3d3557fa-fd0f-4bba-9b89-8d5964e09f61)... 1224s nova [W] Timed out waiting for 60f5b7d0-0274-4247-83d5-7b46b602f04b to get deleted. 1224s nova [W] Using flock in prodstack6-s390x 1224s Creating nova instance adt-plucky-s390x-why3-20250315-194455-juju-7f2275-prod-proposed-migration-environment-15-64ddc569-4343-4b6f-893a-54f56e9fdd8e from image adt/ubuntu-plucky-s390x-server-20250315.img (UUID 3d3557fa-fd0f-4bba-9b89-8d5964e09f61)... 1224s nova [W] Timed out waiting for 4694a253-3fc6-4381-a9fe-3dcb532e9ec5 to get deleted. 1224s nova [W] Using flock in prodstack6-s390x 1224s Creating nova instance adt-plucky-s390x-why3-20250315-194455-juju-7f2275-prod-proposed-migration-environment-15-64ddc569-4343-4b6f-893a-54f56e9fdd8e from image adt/ubuntu-plucky-s390x-server-20250315.img (UUID 3d3557fa-fd0f-4bba-9b89-8d5964e09f61)... 1224s nova [W] Timed out waiting for 375bf7d6-d34e-48ad-8272-d4d7783609d5 to get deleted. 1224s nova [W] Using flock in prodstack6-s390x 1224s Creating nova instance adt-plucky-s390x-why3-20250315-194455-juju-7f2275-prod-proposed-migration-environment-15-64ddc569-4343-4b6f-893a-54f56e9fdd8e from image adt/ubuntu-plucky-s390x-server-20250315.img (UUID 3d3557fa-fd0f-4bba-9b89-8d5964e09f61)... 1224s nova [W] Timed out waiting for c1a7ecf2-f3c1-440a-b14b-beea4afe0950 to get deleted.