0s autopkgtest: DBG: testbed init 0s autopkgtest [03:41:16]: starting date and time: 2025-02-16 03:41:16+0000 0s autopkgtest [03:41:16]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [03:41:16]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.mhhdz3l1/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc,src:iproute2,src:php-twig,src:postgresql-17,src:postgresql-common,src:roundcube --apt-upgrade why3 --debug --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-s390x-23.secgroup --name adt-plucky-s390x-why3-20250216-034115-juju-7f2275-prod-proposed-migration-environment-15-805b5b48-bcaf-45bd-92aa-e86f8e097773 --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/ 0s autopkgtest: DBG: got reply from testbed: ok 0s autopkgtest: DBG: testbed open, scratch=None 0s autopkgtest: DBG: sending command to testbed: open 103s autopkgtest: DBG: got reply from testbed: ok /tmp/autopkgtest.YwiRSm 103s autopkgtest: DBG: sending command to testbed: print-execute-command 103s autopkgtest: DBG: got reply from testbed: ok /tmp/autopkgtest-ssh.x_tvk_o9/runcmd 103s autopkgtest: DBG: sending command to testbed: capabilities 103s autopkgtest: DBG: got reply from testbed: ok revert isolation-machine suggested-normal-user=ubuntu reboot revert-full-system root-on-testbed 103s autopkgtest: DBG: testbed capabilities: ['revert', 'isolation-machine', 'suggested-normal-user=ubuntu', 'reboot', 'revert-full-system', 'root-on-testbed', 'has_internet'] 103s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 103s autopkgtest: DBG: testbed command exited with code 0 103s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/wrapper.sh /tmp/autopkgtest.YwiRSm/wrapper.sh 103s autopkgtest: DBG: got reply from testbed: ok 103s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/wrapper.sh'], kind short, sout raw, serr pipe, env [] 103s autopkgtest: DBG: testbed command exited with code 0 103s autopkgtest: DBG: testbed command ['dpkg', '--print-architecture'], kind short, sout pipe, serr pipe, env [] 103s autopkgtest: DBG: testbed command exited with code 0 103s autopkgtest [03:42:59]: testbed dpkg architecture: s390x 103s autopkgtest: DBG: testbed command ['dpkg-query', '-W', '-f', '${Version}', 'apt'], kind short, sout pipe, serr pipe, env [] 103s autopkgtest: DBG: testbed command exited with code 0 103s autopkgtest [03:42:59]: testbed apt version: 2.9.28 103s autopkgtest: DBG: testbed command ['sh', '-ec', 'command -v eatmydata'], kind short, sout pipe, serr pipe, env [] 104s autopkgtest: DBG: testbed command exited with code 0 104s autopkgtest: DBG: testbed has eatmydata 104s autopkgtest: DBG: testbed command ['mkdir', '-p', '/etc/apt/preferences.d'], kind short, sout raw, serr pipe, env [] 104s autopkgtest: DBG: testbed command exited with code 0 104s autopkgtest [03:43:00]: @@@@@@@@@@@@@@@@@@@@ test bed setup 104s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# Copyright © 2006-2018 Canonical Ltd.\n# Copyright © 2015-2017 Martin Pitt\n# Copyright © 2017 Steve Langasek\n# Copyright © 2017-2022 Paul Gevers\n# Copyright © 2018 Simon McVittie\n# SPDX-License-Identifier: GPL-2.0-or-later\n\n# This script returns the first suite found in apt sources. We can\'t just rely\n# on /etc/os-release because it doesn\'t allow to distinguish between Debian\n# unstable and testing.\n#\n# This release detection logic should be kept in sync with similar code in the\n# setup-testbed script.\n#\n# For more information on APT data sources see sources.list(5).\n\n# Usage $0\n\nset -eux\n\ndistro=UNKNOWN\nif [ -r /etc/os-release ]; then\n # shellcheck disable=SC1091\n distro=$(. /etc/os-release && echo "${ID:-$distro}")\nfi\n\n# Try guessing the default release from deb822-style format sources.\n#\n# While not mandatory, APT upstream expects distros to follow the\n# .sources naming pattern for the default deb822 sources.\napt_sources="/etc/apt/sources.list.d/$distro.sources"\nif [ -r "$apt_sources" ]; then\n release=$(sed -En \'s/^Suites:\\s*(\\w+).*/\\1/Ip\' "$apt_sources" | head -n1)\n [ -n "$release" ] && echo "$release" && exit\nfi\n\n# Try guessing the default release from one-line-style format sources.\napt_sources=/etc/apt/sources.list\nif [ -r "$apt_sources" ]; then\n release=$(sed -En \'/^(deb|deb-src) +(\\[.*\\] *)?(http|https|file):/ { s/\\[.*\\] +//; s/^[^ ]+ +[^ ]* +([^ ]+) +.*$/\\1/p }\' "$apt_sources" | head -n1)\n [ -n "$release" ] && echo "$release" && exit\nfi\n\n# Could not guess the default release\necho "Could not guess the default release from the APT sources." >&2\nexit 1\n'], kind short, sout pipe, serr pipe, env [] 104s autopkgtest: DBG: testbed command exited with code 0 104s autopkgtest [03:43:00]: testbed release detected to be: None 104s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# SPDX-License-Identifier: GPL-2.0-or-later\n\n# This script returns the list of configured "deb" sources in one-line-style\n# source lists (/etc/apt/sources.list, /etc/apt/sources.list.d/*.list).\n# See sources.list(5) for more information on the APT source list formats.\n#\n# This script takes no arguments.\n\nset -eu\n\n# grep(1) returns 1 if no lines were selected from the input files, which\n# can happen if there are .list files, but they contain no "deb" entries.\n# We don\'t want to fail in this case, hence the "|| true", which we put\n# in a subshell because we want it to affect only the grep invocation.\n{\n if [ -f /etc/apt/sources.list ]; then\n printf \'%s\\0\' /etc/apt/sources.list\n fi\n if [ -d /etc/apt/sources.list.d ]; then\n find /etc/apt/sources.list.d -maxdepth 1 -type f -regex \'.*/[a-zA-Z0-9_.-]+\\.list\' -print0 \\\n | LC_ALL=C sort --zero-terminated\n fi\n} | xargs -0 --no-run-if-empty -- sh -c \'grep -h "^deb " "$@" || true\' "$(basename "$0")"\n'], kind short, sout pipe, serr pipe, env [] 104s autopkgtest: DBG: testbed command exited with code 0 104s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# SPDX-License-Identifier: GPL-2.0-or-later\n\n# This script returns the list of configured sources in deb822-style source\n# lists (/etc/apt/sources.list.d/*.sources). Sources are not stripped out of\n# comments, extra blank lines or similar: the output of this script is meant to\n# be consumed by a deb822 parser that is able to correctly handle those.\n# See sources.list(5) for more information on the APT source list formats.\n#\n# This script takes no arguments.\n\nset -eu\n\n# Awk concatenates files making sure stanzas from separate files are separated\n# by a blank line, even if there are no newlines at EOF in the .sources files.\nif [ -d /etc/apt/sources.list.d ]; then\n find /etc/apt/sources.list.d -maxdepth 1 -type f -regex \'.*/[a-zA-Z0-9_.-]+\\.sources\' -print0 \\\n | LC_ALL=C sort --zero-terminated \\\n | xargs -0 --no-run-if-empty -- awk \'FNR == 1 && NR != 1 { print "" } { print }\'\nfi\n'], kind short, sout pipe, serr pipe, env [] 104s autopkgtest: DBG: testbed command exited with code 0 104s autopkgtest: DBG: adding APT source: Types: deb deb-src 104s URIs: http://ftpmaster.internal/ubuntu/ 104s Suites: plucky-proposed 104s Components: main restricted universe multiverse 104s Signed-By: /usr/share/keyrings/ubuntu-archive-keyring.gpg 104s autopkgtest: DBG: testbed command ['sh', '-ec', '"$@" >> "/etc/apt/sources.list.d/autopkgtest-add-apt-release-plucky-proposed.sources"', 'add_apt_source', 'printf', '%s\\n', 'Types: deb deb-src\nURIs: http://ftpmaster.internal/ubuntu/\nSuites: plucky-proposed\nComponents: main restricted universe multiverse\nSigned-By: /usr/share/keyrings/ubuntu-archive-keyring.gpg\n'], kind short, sout raw, serr pipe, env [] 104s autopkgtest: DBG: testbed command exited with code 0 104s autopkgtest: DBG: adding APT preference to autopkgtest-zz-plucky-proposed-baseline.pref: 104s Package: * 104s Pin: release plucky-proposed 104s Pin-Priority: 500 104s autopkgtest: DBG: testbed command ['sh', '-ec', '"$@" > "/etc/apt/preferences.d/autopkgtest-zz-plucky-proposed-baseline.pref"', 'add_apt_preference', 'printf', '%s\\n', 'Package: *\nPin: release plucky-proposed\nPin-Priority: 500'], kind short, sout raw, serr pipe, env [] 105s autopkgtest: DBG: testbed command exited with code 0 105s autopkgtest [03:43:01]: updating testbed package index (apt update) 105s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', 'update'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 105s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 105s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 105s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 105s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 105s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [810 kB] 106s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 106s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [73.0 kB] 106s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 106s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [166 kB] 106s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 106s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [855 kB] 106s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3740 B] 106s Fetched 2035 kB in 1s (2039 kB/s) 106s Reading package lists... 106s autopkgtest: DBG: testbed command exited with code 0 106s autopkgtest: DBG: adding APT preference to autopkgtest-plucky-proposed.pref: 106s Package: * 106s Pin: release plucky-proposed 106s Pin-Priority: 100 106s 106s Package: src:glibc:any src:iproute2:any src:php-twig:any src:postgresql-17:any src:postgresql-common:any src:roundcube:any 106s Pin: release plucky-proposed 106s Pin-Priority: 995 106s autopkgtest: DBG: testbed command ['sh', '-ec', '"$@" > "/etc/apt/preferences.d/autopkgtest-plucky-proposed.pref"', 'add_apt_preference', 'printf', '%s\\n', 'Package: *\nPin: release plucky-proposed\nPin-Priority: 100\n\nPackage: src:glibc:any src:iproute2:any src:php-twig:any src:postgresql-17:any src:postgresql-common:any src:roundcube:any\nPin: release plucky-proposed\nPin-Priority: 995'], kind short, sout raw, serr pipe, env [] 107s autopkgtest: DBG: testbed command exited with code 0 107s autopkgtest: DBG: testbed command ['bash', '-ec', 'for d in /boot /boot/efi /boot/grub /etc/init /etc/init.d /etc/systemd/system /lib/systemd/system; do [ ! -d $d ] || touch -r $d /tmp/autopkgtest.YwiRSm/${d//\\//_}.stamp; done'], kind short, sout raw, serr pipe, env [] 107s autopkgtest: DBG: testbed command exited with code 0 107s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# Canonical/Ubuntu specific testbed setup\n\nset -x\n\nRELEASE=$(lsb_release --codename --short 2>/dev/null)\n\n# Make the installed package versions match what is available from the configured\n# repositories, even if a downgrade is required.\n#\n# We may end up with images with packages newer than those available from the\n# repositories when opening a new release (images are created using the\n# previous release dailies as a base, which may include 0-day SRUs, or\n# Launchpad may fail to copy packages, see openssl 3.0.8-1ubuntu2), or when\n# package versions are pulled from the archive.\n#\n# Note: \'release a=\' matches the Suite field in the repository Release file.\ncat >/etc/apt/preferences.d/force-downgrade-to-release.pref <= Focal).\n#\n# Note: autoremove/--autoremove always runs on the entire set of installed\n# packages. Together with --autopurge/purge each removal becomes a purge.\n#\n# Removing \'?obsolete\' packages may remove the running kernel. This is not\n# expected to be an issue.\nif /usr/lib/apt/apt-helper analyze-pattern \'?true\' >/dev/null 2>&1; then\n # DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove \'?obsolete\'\n # Avoid removing the running kernel\n running_kernel_pattern="^linux-.*$(uname -r | sed \'s/\\./\\\\./g\').*"\n obsolete_pkgs="$(apt list \'?obsolete\' 2>/dev/null \\\n | tail -n+2 \\\n | cut -d\'/\' -f1 \\\n | grep -v "${running_kernel_pattern}" || true)"\n DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove ${obsolete_pkgs}\nelse\n # We\'re on an older release (analyze-pattern is not available).\n # Still do an autopurge to get rid of packages that got orphaned\n # by downgrades.\n eatmydata apt-get -y autoremove --purge\nfi\n\n# compatibility with old Jenkins testbeds for trusty\nif grep -q trusty /etc/lsb-release; then apt-get update || (sleep 10; apt-get update); apt-get install -y build-essential; fi\n\n# these packages really break tests, purge them if we use standard cloud images\n# (on lcy01)\nfor p in unattended-upgrades lxd lxd-client snapd; do\n [ ! -d /usr/share/doc/$p ] || $(which eatmydata || true) apt-get purge --auto-remove -y $p\ndone\n\nif type iptables >/dev/null 2>&1; then\n cat < /etc/rc.local\n#!/bin/sh\n\n# work around broken PTMU; LP: #1572026, RT#90771\niptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu || true\n\n# These addresses are used at least by rust-reqwest and should not be reachable\n# See https://bugs.launchpad.net/ubuntu/+source/rust-reqwest/+bug/2080346\niptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP || true\niptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP || true\nEOF\n chmod 755 /etc/rc.local\n # shellcheck disable=SC1091\n . /etc/rc.local\nfi\n\n# work around broken tty on ppc64el instances (LP: #1607075)\nif [ "$(uname -m)" = ppc64le ] && [ "$(systemctl is-active keyboard-setup.service 2>/dev/null|| true)" = failed ]; then\n systemctl reset-failed keyboard-setup.service\n systemctl mask keyboard-setup.service\nfi\n\n# work around late urandom pool initialization (LP: #1622893)\nif [ -d /run/systemd/system ] && systemd-detect-virt --quiet --vm; then\n mkdir -p /etc/systemd/system/systemd-random-seed.service.d/\n cat < /etc/systemd/system/systemd-random-seed.service.d/fakeentropy.conf\n[Service]\nExecStart=/usr/bin/perl -E \'open \\$\\$f, "/bin/bash" or die; open \\$\\$rnd, ">/dev/random" or die; for (\\$\\$i = 0; \\$\\$i < 10; ++\\$\\$i) {read \\$\\$f, \\$\\$d, 64; ioctl \\$\\$rnd, 0x40085203, pack("ii", 64*8, 64) . \\$\\$d}\'\nEOF\nfi\n\n# set compressor to lz4 where supported, we care about compression speed\nif grep -q lz4 /etc/initramfs-tools/initramfs.conf; then\n echo COMPRESS=lz4 > /etc/initramfs-tools/conf.d/lz4\nfi'], kind install, sout raw, serr raw, env ['AUTOPKGTEST_IS_SETUP_COMMAND=1', 'AUTOPKGTEST_NORMAL_USER=ubuntu', 'ADT_NORMAL_USER=ubuntu'] 107s + lsb_release --codename --short 107s + RELEASE=plucky 107s + cat 107s + [ plucky != trusty ] 107s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 107s Reading package lists... 107s Building dependency tree... 107s Reading state information... 107s Calculating upgrade... 107s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 107s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 107s + /usr/lib/apt/apt-helper analyze-pattern ?true 107s + uname -r 107s + sed s/\./\\./g 107s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 107s + apt list ?obsolete 107s + + cut -d/ -f1 107s tail -n+2 107s + grep -v ^linux-.*6\.12\.0-15-generic.* 108s + obsolete_pkgs=linux-image-6.11.0-8-generic 108s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-image-6.11.0-8-generic 108s Reading package lists... 108s Building dependency tree... 108s Reading state information... 108s The following packages will be REMOVED: 108s linux-image-6.11.0-8-generic* 108s 0 upgraded, 0 newly installed, 1 to remove and 6 not upgraded. 108s After this operation, 10.5 MB disk space will be freed. 108s (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 ... 80973 files and directories currently installed.) 108s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 108s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.12.0-15-generic 108s I: /boot/initrd.img.old is now a symlink to initrd.img-6.12.0-15-generic 108s /etc/kernel/postrm.d/initramfs-tools: 108s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 108s /etc/kernel/postrm.d/zz-zipl: 108s Using config file '/etc/zipl.conf' 108s Building bootmap in '/boot' 108s Adding IPL section 'ubuntu' (default) 108s Preparing boot device for LD-IPL: vda (0000). 108s Done. 108s (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 ... 80969 files and directories currently installed.) 108s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 108s rmdir: failed to remove '/lib/modules/6.11.0-8-generic': Directory not empty 109s + grep -q trusty /etc/lsb-release 109s + [ ! -d /usr/share/doc/unattended-upgrades ] 109s + [ ! -d /usr/share/doc/lxd ] 109s + [ ! -d /usr/share/doc/lxd-client ] 109s + [ ! -d /usr/share/doc/snapd ] 109s + type iptables 109s + cat 109s + chmod 755 /etc/rc.local 109s + . /etc/rc.local 109s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 109s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 109s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 109s + uname -m 109s + [ s390x = ppc64le ] 109s + [ -d /run/systemd/system ] 109s + systemd-detect-virt --quiet --vm 109s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 109s + cat 109s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 109s + echo COMPRESS=lz4 109s autopkgtest: DBG: testbed command exited with code 0 109s autopkgtest [03:43:05]: upgrading testbed (apt dist-upgrade and autopurge) 109s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', 'dist-upgrade'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 109s Reading package lists... 109s Building dependency tree... 109s Reading state information... 109s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 109s Starting 2 pkgProblemResolver with broken count: 0 109s Done 109s Entering ResolveByKeep 109s 110s The following packages were automatically installed and are no longer required: 110s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 110s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 110s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 110s linux-tools-6.11.0-8-generic 110s Use 'sudo apt autoremove' to remove them. 110s The following packages will be upgraded: 110s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 110s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 110s Need to get 10.7 MB of archives. 110s After this operation, 305 kB of additional disk space will be used. 110s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu1 [24.3 kB] 110s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu1 [1679 kB] 110s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu1 [4246 kB] 110s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu1 [2891 kB] 110s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu1 [672 kB] 111s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x iproute2 s390x 6.13.0-1ubuntu1 [1174 kB] 111s Preconfiguring packages ... 111s Fetched 10.7 MB in 1s (11.2 MB/s) 111s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 80969 files and directories currently installed.) 111s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_s390x.deb ... 111s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 111s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_s390x.deb ... 111s Unpacking libc6-dev:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 111s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 111s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 111s Preparing to unpack .../libc6_2.41-1ubuntu1_s390x.deb ... 111s Checking for services that may need to be restarted... 111s Checking init scripts... 111s Checking for services that may need to be restarted... 111s Checking init scripts... 111s Stopping some services possibly affected by the upgrade (will be restarted later): 111s cron: stopping...done. 111s 111s Unpacking libc6:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 111s Setting up libc6:s390x (2.41-1ubuntu1) ... 111s Checking for services that may need to be restarted... 111s Checking init scripts... 111s Restarting services possibly affected by the upgrade: 111s cron: restarting...done. 111s 111s Services restarted successfully. 111s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 80970 files and directories currently installed.) 111s Preparing to unpack .../libc-bin_2.41-1ubuntu1_s390x.deb ... 111s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 112s Setting up libc-bin (2.41-1ubuntu1) ... 112s (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 ... 80970 files and directories currently installed.) 112s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_s390x.deb ... 112s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 112s Setting up iproute2 (6.13.0-1ubuntu1) ... 112s Setting up locales (2.41-1ubuntu1) ... 112s Installing new version of config file /etc/locale.alias ... 112s Generating locales (this might take a while)... 113s en_US.UTF-8... done 113s Generation complete. 113s Setting up libc-dev-bin (2.41-1ubuntu1) ... 113s Setting up libc6-dev:s390x (2.41-1ubuntu1) ... 113s Processing triggers for man-db (2.13.0-1) ... 114s Processing triggers for systemd (257.2-3ubuntu1) ... 115s autopkgtest: DBG: testbed command exited with code 0 115s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', '--purge', 'autoremove'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 115s Reading package lists... 115s Building dependency tree... 115s Reading state information... 115s Starting pkgProblemResolver with broken count: 0 115s Starting 2 pkgProblemResolver with broken count: 0 115s Done 116s The following packages will be REMOVED: 116s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 116s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 116s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 116s linux-tools-6.11.0-8-generic* 116s 0 upgraded, 0 newly installed, 9 to remove and 0 not upgraded. 116s After this operation, 167 MB disk space will be freed. 116s (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 ... 80971 files and directories currently installed.) 116s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 116s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 116s Removing libpython3.12t64:s390x (3.12.9-1) ... 116s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 116s Removing libnsl2:s390x (1.3.0-3build3) ... 116s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 116s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 116s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 117s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 117s Processing triggers for libc-bin (2.41-1ubuntu1) ... 117s (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 ... 55871 files and directories currently installed.) 117s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 117s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 117s autopkgtest: DBG: testbed command exited with code 0 117s autopkgtest: DBG: testbed command ['bash', '-ec', '[ ! -e /run/autopkgtest_no_reboot.stamp ] || exit 0;for d in /boot /boot/efi /boot/grub /etc/init /etc/init.d /etc/systemd/system /lib/systemd/system; do s=/tmp/autopkgtest.YwiRSm/${d//\\//_}.stamp; [ ! -d $d ] || [ `stat -c %Y $d` = `stat -c %Y $s` ]; done'], kind short, sout raw, serr raw, env [] 117s autopkgtest: DBG: testbed command exited with code 1 117s autopkgtest [03:43:13]: rebooting testbed after setup commands that affected boot 117s autopkgtest: DBG: sending command to testbed: reboot 136s autopkgtest: DBG: got reply from testbed: ok 136s autopkgtest: DBG: testbed supports reboot, creating /tmp/autopkgtest-reboot 136s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 136s autopkgtest: DBG: testbed command exited with code 0 136s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot 137s autopkgtest: DBG: got reply from testbed: ok 137s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 137s autopkgtest: DBG: testbed command exited with code 0 137s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/tmp/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 137s autopkgtest: DBG: testbed command exited with code 0 137s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/sbin/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 137s autopkgtest: DBG: testbed command exited with code 0 137s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 137s autopkgtest: DBG: testbed command exited with code 0 137s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot-prepare.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare 138s autopkgtest: DBG: got reply from testbed: ok 138s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 138s autopkgtest: DBG: testbed command exited with code 0 138s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare', '/tmp/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 138s autopkgtest: DBG: testbed command exited with code 0 138s autopkgtest: DBG: testbed command ['uname', '-srv'], kind short, sout pipe, serr pipe, env [] 138s autopkgtest: DBG: testbed command exited with code 0 138s autopkgtest [03:43:34]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 15:05:57 UTC 2025 138s autopkgtest: DBG: testbed command ['sh', '-c', 'nproc; cat /proc/cpuinfo 2>/dev/null || true'], kind short, sout pipe, serr pipe, env [] 138s autopkgtest: DBG: testbed command exited with code 0 138s autopkgtest: DBG: testbed command ['sh', '-ec', "dpkg-query --show -f '${Package}\\t${Version}\\n' > /tmp/autopkgtest.YwiRSm/testbed-packages"], kind short, sout raw, serr pipe, env [] 138s autopkgtest: DBG: testbed command exited with code 0 138s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/testbed-packages /tmp/autopkgtest-work.mhhdz3l1/out/testbed-packages 139s autopkgtest: DBG: got reply from testbed: ok 139s autopkgtest: DBG: testbed supports reboot, creating /tmp/autopkgtest-reboot 139s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 139s autopkgtest: DBG: testbed command exited with code 0 139s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot 139s autopkgtest: DBG: got reply from testbed: ok 139s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 139s autopkgtest: DBG: testbed command exited with code 0 139s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/tmp/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 139s autopkgtest: DBG: testbed command exited with code 0 139s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/sbin/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 139s autopkgtest: DBG: testbed command exited with code 0 139s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 140s autopkgtest: DBG: testbed command exited with code 0 140s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot-prepare.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare 140s autopkgtest: DBG: got reply from testbed: ok 140s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 140s autopkgtest: DBG: testbed command exited with code 0 140s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare', '/tmp/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 140s autopkgtest: DBG: testbed command exited with code 0 140s autopkgtest: DBG: testbed command ['uname', '-srv'], kind short, sout pipe, serr pipe, env [] 140s autopkgtest: DBG: testbed command exited with code 0 140s autopkgtest: DBG: Binaries: initialising 140s autopkgtest [03:43:36]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 140s autopkgtest: DBG: blame += why3 140s autopkgtest: DBG: testbed reset: modified=False, deps_installed=[], deps_new=[] 140s autopkgtest: DBG: testbed command ['apt-cache', 'showsrc', '--only-source', 'why3'], kind short, sout pipe, serr pipe, env [] 141s autopkgtest: DBG: testbed command exited with code 0 141s autopkgtest: DBG: testbed command ['apt-cache', 'policy', '^why3-doc-pdf$'], kind short, sout pipe, serr raw, env [] 141s autopkgtest: DBG: testbed command exited with code 0 141s autopkgtest: DBG: testbed command ['apt-cache', 'show', 'why3-doc-pdf=1.7.2-2build1'], kind short, sout pipe, serr raw, env [] 141s autopkgtest: DBG: testbed command exited with code 0 141s autopkgtest: DBG: testbed command ['apt-cache', 'policy', '^why3-examples$'], kind short, sout pipe, serr raw, env [] 141s autopkgtest: DBG: testbed command exited with code 0 141s autopkgtest: DBG: testbed command ['apt-cache', 'show', 'why3-examples=1.7.2-2build1'], kind short, sout pipe, serr raw, env [] 141s autopkgtest: DBG: testbed command exited with code 0 141s autopkgtest: DBG: testbed command ['apt-cache', 'policy', '^why3$'], kind short, sout pipe, serr raw, env [] 142s autopkgtest: DBG: testbed command exited with code 0 142s autopkgtest: DBG: testbed command ['apt-cache', 'show', 'why3=1.7.2-2build1'], kind short, sout pipe, serr raw, env [] 142s autopkgtest: DBG: testbed command exited with code 0 142s autopkgtest: DBG: testbed command ['apt-cache', 'policy', '^why3-doc-html$'], kind short, sout pipe, serr raw, env [] 142s autopkgtest: DBG: testbed command exited with code 0 142s autopkgtest: DBG: testbed command ['apt-cache', 'show', 'why3-doc-html=1.7.2-2build1'], kind short, sout pipe, serr raw, env [] 142s autopkgtest: DBG: testbed command exited with code 0 142s autopkgtest: DBG: testbed command ['apt-cache', 'policy', '^libwhy3-ocaml-dev$'], kind short, sout pipe, serr raw, env [] 143s autopkgtest: DBG: testbed command exited with code 0 143s autopkgtest: DBG: testbed command ['apt-cache', 'show', 'libwhy3-ocaml-dev=1.7.2-2build1'], kind short, sout pipe, serr raw, env [] 143s autopkgtest: DBG: testbed command exited with code 0 143s autopkgtest: DBG: install_deps: deps_new=[] 143s autopkgtest: DBG: testbed command ['sh', '-ec', 'command -v dpkg-source'], kind short, sout pipe, serr pipe, env [] 143s autopkgtest: DBG: testbed command exited with code 0 143s autopkgtest: DBG: testbed command ['sh', '-ec', 'su --shell=/bin/sh ubuntu -c \'set -e; exec 3>&1 >&2; set -x; cd /; builddir=$(mktemp -d /tmp/autopkgtest.YwiRSm/build.XXX); cd $builddir; OUT=$(apt-get source -d -q --only-source why3=1.7.2-2build1 2>&1) || RC=$?;if [ -n "$RC" ]; then if echo "$OUT" | grep -q "Unable to find a source package"; then exit 1; else exit $RC; fi;fi;echo "$OUT" | grep ^Get: || true;dpkg-source -x why3_*.dsc src >/dev/null; chmod -R a+rX .; cd [a-z0-9]*/.; pwd >&3; sed -n "1 {s/).*//; s/ (/\\n/; p}" debian/changelog >&3\''], kind build, sout pipe, serr raw, env ['ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1'] 143s + cd / 143s + mktemp -d /tmp/autopkgtest.YwiRSm/build.XXX 143s + builddir=/tmp/autopkgtest.YwiRSm/build.sQf 143s + cd /tmp/autopkgtest.YwiRSm/build.sQf 143s + apt-get source -d -q --only-source why3=1.7.2-2build1 144s + OUT=Reading package lists... 144s NOTICE: 'why3' packaging is maintained in the 'Git' version control system at: 144s https://salsa.debian.org/ocaml-team/why3.git 144s Please use: 144s git clone https://salsa.debian.org/ocaml-team/why3.git 144s to retrieve the latest (possibly unreleased) updates to the package. 144s Need to get 6343 kB of source archives. 144s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 144s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 144s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 144s Fetched 6343 kB in 1s (7138 kB/s) 144s Download complete and in download only mode 144s + [ -n ] 144s + echo Reading package lists... 144s NOTICE: 'why3' packaging is maintained in the 'Git' version control system at: 144s https://salsa.debian.org/ocaml-team/why3.git 144s Please use: 144s git clone https://salsa.debian.org/ocaml-team/why3.git 144s to retrieve the latest (possibly unreleased) updates to the package. 144s Need to get 6343 kB of source archives. 144s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 144s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 144s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 144s Fetched 6343 kB in 1s (7138 kB/s) 144s Download complete and in download only mode 144s + grep ^Get: 144s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 144s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 144s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 144s + dpkg-source -x why3_1.7.2-2build1.dsc src 144s gpgv: Signature made Fri Sep 6 15:04:31 2024 UTC 144s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 144s gpgv: Can't check signature: No public key 144s dpkg-source: warning: cannot verify inline signature for ./why3_1.7.2-2build1.dsc: no acceptable signature found 145s + chmod -R a+rX . 145s + cd src/. 145s + pwd 145s + sed -n 1 {s/).*//; s/ (/\n/; p} debian/changelog 145s autopkgtest: DBG: testbed command exited with code 0 145s autopkgtest [03:43:41]: testing package why3 version 1.7.2-2build1 145s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/build.sQf/src/debian/ /tmp/autopkgtest-work.mhhdz3l1/out/pkg/debian/ 146s autopkgtest: DBG: got reply from testbed: ok 146s autopkgtest: DBG: processing dependency why3 146s autopkgtest: DBG: marked alternatives ['why3'] as a synthesised dependency 146s autopkgtest: DBG: processing dependency cvc4 (<< 1.9) 146s autopkgtest: DBG: processing dependency ocaml-native-compilers 146s autopkgtest: DBG: Test defined: name why3+cvc4 path debian/tests/why3+cvc4 command "None" restrictions ['skip-not-installable'] features [] depends ['why3', 'cvc4 (<< 1.9)', 'ocaml-native-compilers'] 146s autopkgtest: DBG: processing dependency why3 146s autopkgtest: DBG: marked alternatives ['why3'] as a synthesised dependency 146s autopkgtest: DBG: processing dependency spass 146s autopkgtest: DBG: processing dependency ocaml-native-compilers 146s autopkgtest: DBG: Test defined: name why3+spass path debian/tests/why3+spass command "None" restrictions ['skip-not-installable'] features [] depends ['why3', 'spass', 'ocaml-native-compilers'] 146s autopkgtest: DBG: processing dependency why3 146s autopkgtest: DBG: marked alternatives ['why3'] as a synthesised dependency 146s autopkgtest: DBG: processing dependency z3 (<< 4.11.1) 146s autopkgtest: DBG: processing dependency ocaml-native-compilers 146s autopkgtest: DBG: Test defined: name why3+z3 path debian/tests/why3+z3 command "None" restrictions ['skip-not-installable'] features [] depends ['why3', 'z3 (<< 4.11.1)', 'ocaml-native-compilers'] 146s autopkgtest [03:43:42]: build not needed 146s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/build.sQf/src/ /tmp/autopkgtest-work.mhhdz3l1/out/tests-tree/ 148s autopkgtest: DBG: got reply from testbed: ok 148s autopkgtest: DBG: processing dependency why3 148s autopkgtest: DBG: marked alternatives ['why3'] as a synthesised dependency 148s autopkgtest: DBG: processing dependency cvc4 (<< 1.9) 148s autopkgtest: DBG: processing dependency ocaml-native-compilers 148s autopkgtest: DBG: Test defined: name why3+cvc4 path debian/tests/why3+cvc4 command "None" restrictions ['skip-not-installable'] features [] depends ['why3', 'cvc4 (<< 1.9)', 'ocaml-native-compilers'] 148s autopkgtest: DBG: processing dependency why3 148s autopkgtest: DBG: marked alternatives ['why3'] as a synthesised dependency 148s autopkgtest: DBG: processing dependency spass 148s autopkgtest: DBG: processing dependency ocaml-native-compilers 148s autopkgtest: DBG: Test defined: name why3+spass path debian/tests/why3+spass command "None" restrictions ['skip-not-installable'] features [] depends ['why3', 'spass', 'ocaml-native-compilers'] 148s autopkgtest: DBG: processing dependency why3 148s autopkgtest: DBG: marked alternatives ['why3'] as a synthesised dependency 148s autopkgtest: DBG: processing dependency z3 (<< 4.11.1) 148s autopkgtest: DBG: processing dependency ocaml-native-compilers 148s autopkgtest: DBG: Test defined: name why3+z3 path debian/tests/why3+z3 command "None" restrictions ['skip-not-installable'] features [] depends ['why3', 'z3 (<< 4.11.1)', 'ocaml-native-compilers'] 148s autopkgtest [03:43:44]: test why3+cvc4: preparing testbed 148s autopkgtest: DBG: testbed reset: modified=False, deps_installed=[], deps_new=['why3', 'cvc4 (<< 1.9)', 'ocaml-native-compilers'] 148s autopkgtest: DBG: Binaries: no registered binaries, not publishing anything 148s autopkgtest: DBG: install_deps: deps_new=['why3', 'cvc4 (<< 1.9)', 'ocaml-native-compilers'] 148s autopkgtest: DBG: install-deps: satisfying why3, cvc4 (<< 1.9), ocaml-native-compilers 148s autopkgtest: DBG: can use apt-get on testbed: True 148s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', 'satisfy', 'why3, cvc4 (<< 1.9), ocaml-native-compilers'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 148s Reading package lists... 149s Building dependency tree... 149s Reading state information... 149s Starting pkgProblemResolver with broken count: 0 149s Starting 2 pkgProblemResolver with broken count: 0 149s Done 149s The following NEW packages will be installed: 149s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 149s cpp-s390x-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 149s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 149s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 149s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 149s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 149s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 149s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 149s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 149s libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 149s libgomp1 libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 149s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 149s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 149s liblcms2-2 libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 149s libpangoft2-1.0-0 libpixman-1-0 libsharpyuv0 libstdlib-ocaml 149s libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1 149s libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7 149s libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 149s libxi6 libxinerama1 libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base 149s ocaml-interp tex-common why3 149s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 149s Need to get 155 MB of archives. 149s After this operation, 473 MB of additional disk space will be used. 149s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 149s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 149s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 149s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 149s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 149s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 149s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 149s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 149s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 150s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.4+ds-4 [52.9 kB] 150s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 150s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48~beta-3 [578 kB] 150s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.2-1 [8916 B] 150s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 150s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 150s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB] 150s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B] 150s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 150s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 150s Get:20 http://ftpmaster.internal/ubuntu plucky/universe s390x libcln6 s390x 1.3.7-1 [522 kB] 150s Get:21 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc4-7 s390x 1.8-3build2 [5004 kB] 150s Get:22 http://ftpmaster.internal/ubuntu plucky/universe s390x libantlr3c-3.4-0 s390x 3.4+dfsg-4build2 [51.3 kB] 150s Get:23 http://ftpmaster.internal/ubuntu plucky/universe s390x libcvc4parser7 s390x 1.8-3build2 [417 kB] 150s Get:24 http://ftpmaster.internal/ubuntu plucky/universe s390x cvc4 s390x 1.8-3build2 [76.3 kB] 150s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 150s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 150s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 150s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 150s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 150s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 150s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-1.1ubuntu2 [37.4 kB] 150s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-1.1ubuntu2 [150 kB] 150s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-1.1ubuntu2 [191 kB] 150s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 14.2.0-17ubuntu1 [50.7 kB] 150s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 14.2.0-17ubuntu1 [151 kB] 150s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 14.2.0-17ubuntu1 [30.9 kB] 150s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 14.2.0-17ubuntu1 [2964 kB] 150s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 14.2.0-17ubuntu1 [1184 kB] 150s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB] 150s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB] 151s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB] 151s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 151s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 151s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.2-1 [54.8 kB] 151s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 151s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.2-1 [80.3 kB] 151s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.2-1 [66.7 kB] 151s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-14ubuntu1 [30.5 kB] 151s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-14ubuntu1 [23.6 kB] 151s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-14ubuntu1 [26.8 kB] 151s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 151s Get:52 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 151s Get:53 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 151s Get:54 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 151s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 151s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 151s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB] 151s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB] 151s Get:59 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2 [30.8 kB] 151s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 151s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 151s Get:62 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB] 151s Get:63 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB] 153s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 153s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 153s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 153s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 153s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 153s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 153s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 153s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.1-1 [253 kB] 153s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.1-1 [50.3 kB] 153s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.1-1 [28.3 kB] 153s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-1 [27.8 kB] 153s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-1 [11.5 kB] 153s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-1 [5654 B] 153s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 153s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 153s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 153s Get:80 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 153s Get:81 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 153s Get:82 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 153s Get:83 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 153s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 153s Get:85 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 153s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 153s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build1 [3616 kB] 153s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build1 [335 kB] 153s Get:89 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 153s Get:90 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 153s Get:91 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB] 153s Get:92 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB] 154s Get:93 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.18 [32.8 kB] 154s Get:94 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.7.2-2build1 [12.3 MB] 155s Fetched 155 MB in 5s (29.4 MB/s) 155s Selecting previously unselected package libgdk-pixbuf2.0-common. 155s (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 ... 55869 files and directories currently installed.) 155s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 155s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 155s Selecting previously unselected package libjpeg-turbo8:s390x. 155s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 155s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 155s Selecting previously unselected package libjpeg8:s390x. 155s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 155s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 155s Selecting previously unselected package libdeflate0:s390x. 155s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 155s Unpacking libdeflate0:s390x (1.23-1) ... 155s Selecting previously unselected package libjbig0:s390x. 155s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 155s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 155s Selecting previously unselected package libsharpyuv0:s390x. 155s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 155s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 155s Selecting previously unselected package libwebp7:s390x. 155s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 155s Unpacking libwebp7:s390x (1.5.0-0.1) ... 155s Selecting previously unselected package libtiff6:s390x. 155s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 155s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 155s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 155s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 155s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 155s Selecting previously unselected package gtk-update-icon-cache. 155s Preparing to unpack .../09-gtk-update-icon-cache_4.17.4+ds-4_s390x.deb ... 155s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 155s 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. 155s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 155s Selecting previously unselected package hicolor-icon-theme. 155s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 155s Unpacking hicolor-icon-theme (0.18-2) ... 155s Selecting previously unselected package adwaita-icon-theme. 155s Preparing to unpack .../11-adwaita-icon-theme_48~beta-3_all.deb ... 155s Unpacking adwaita-icon-theme (48~beta-3) ... 155s Selecting previously unselected package at-spi2-common. 155s Preparing to unpack .../12-at-spi2-common_2.55.2-1_all.deb ... 155s Unpacking at-spi2-common (2.55.2-1) ... 155s Selecting previously unselected package libisl23:s390x. 155s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 155s Unpacking libisl23:s390x (0.27-1) ... 155s Selecting previously unselected package libmpc3:s390x. 155s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 155s Unpacking libmpc3:s390x (1.3.1-1build2) ... 155s Selecting previously unselected package cpp-14-s390x-linux-gnu. 155s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 155s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 155s Selecting previously unselected package cpp-14. 155s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu1_s390x.deb ... 155s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 155s Selecting previously unselected package cpp-s390x-linux-gnu. 155s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 155s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 155s Selecting previously unselected package cpp. 155s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 155s Unpacking cpp (4:14.2.0-1ubuntu1) ... 155s Selecting previously unselected package libcln6:s390x. 155s Preparing to unpack .../19-libcln6_1.3.7-1_s390x.deb ... 155s Unpacking libcln6:s390x (1.3.7-1) ... 155s Selecting previously unselected package libcvc4-7:s390x. 155s Preparing to unpack .../20-libcvc4-7_1.8-3build2_s390x.deb ... 155s Unpacking libcvc4-7:s390x (1.8-3build2) ... 155s Selecting previously unselected package libantlr3c-3.4-0:s390x. 155s Preparing to unpack .../21-libantlr3c-3.4-0_3.4+dfsg-4build2_s390x.deb ... 155s Unpacking libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 155s Selecting previously unselected package libcvc4parser7:s390x. 155s Preparing to unpack .../22-libcvc4parser7_1.8-3build2_s390x.deb ... 155s Unpacking libcvc4parser7:s390x (1.8-3build2) ... 155s Selecting previously unselected package cvc4. 155s Preparing to unpack .../23-cvc4_1.8-3build2_s390x.deb ... 155s Unpacking cvc4 (1.8-3build2) ... 155s Selecting previously unselected package libdconf1:s390x. 155s Preparing to unpack .../24-libdconf1_0.40.0-5_s390x.deb ... 155s Unpacking libdconf1:s390x (0.40.0-5) ... 155s Selecting previously unselected package dconf-service. 155s Preparing to unpack .../25-dconf-service_0.40.0-5_s390x.deb ... 155s Unpacking dconf-service (0.40.0-5) ... 155s Selecting previously unselected package dconf-gsettings-backend:s390x. 155s Preparing to unpack .../26-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 155s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 155s Selecting previously unselected package libfreetype6:s390x. 155s Preparing to unpack .../27-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 155s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 155s Selecting previously unselected package fonts-dejavu-mono. 155s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 155s Unpacking fonts-dejavu-mono (2.37-8) ... 155s Selecting previously unselected package fonts-dejavu-core. 155s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 155s Unpacking fonts-dejavu-core (2.37-8) ... 155s Selecting previously unselected package fontconfig-config. 155s Preparing to unpack .../30-fontconfig-config_2.15.0-1.1ubuntu2_s390x.deb ... 156s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ... 156s Selecting previously unselected package libfontconfig1:s390x. 156s Preparing to unpack .../31-libfontconfig1_2.15.0-1.1ubuntu2_s390x.deb ... 156s Unpacking libfontconfig1:s390x (2.15.0-1.1ubuntu2) ... 156s Selecting previously unselected package fontconfig. 156s Preparing to unpack .../32-fontconfig_2.15.0-1.1ubuntu2_s390x.deb ... 156s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 156s Selecting previously unselected package libcc1-0:s390x. 156s Preparing to unpack .../33-libcc1-0_14.2.0-17ubuntu1_s390x.deb ... 156s Unpacking libcc1-0:s390x (14.2.0-17ubuntu1) ... 156s Selecting previously unselected package libgomp1:s390x. 156s Preparing to unpack .../34-libgomp1_14.2.0-17ubuntu1_s390x.deb ... 156s Unpacking libgomp1:s390x (14.2.0-17ubuntu1) ... 156s Selecting previously unselected package libitm1:s390x. 156s Preparing to unpack .../35-libitm1_14.2.0-17ubuntu1_s390x.deb ... 156s Unpacking libitm1:s390x (14.2.0-17ubuntu1) ... 156s Selecting previously unselected package libasan8:s390x. 156s Preparing to unpack .../36-libasan8_14.2.0-17ubuntu1_s390x.deb ... 156s Unpacking libasan8:s390x (14.2.0-17ubuntu1) ... 156s Selecting previously unselected package libubsan1:s390x. 156s Preparing to unpack .../37-libubsan1_14.2.0-17ubuntu1_s390x.deb ... 156s Unpacking libubsan1:s390x (14.2.0-17ubuntu1) ... 156s Selecting previously unselected package libgcc-14-dev:s390x. 156s Preparing to unpack .../38-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ... 156s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 156s Selecting previously unselected package gcc-14-s390x-linux-gnu. 156s Preparing to unpack .../39-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 156s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 156s Selecting previously unselected package gcc-14. 156s Preparing to unpack .../40-gcc-14_14.2.0-17ubuntu1_s390x.deb ... 156s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 156s Selecting previously unselected package gcc-s390x-linux-gnu. 156s Preparing to unpack .../41-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 156s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 156s Selecting previously unselected package gcc. 156s Preparing to unpack .../42-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 156s Unpacking gcc (4:14.2.0-1ubuntu1) ... 156s Selecting previously unselected package libatk1.0-0t64:s390x. 156s Preparing to unpack .../43-libatk1.0-0t64_2.55.2-1_s390x.deb ... 156s Unpacking libatk1.0-0t64:s390x (2.55.2-1) ... 156s Selecting previously unselected package libxi6:s390x. 156s Preparing to unpack .../44-libxi6_2%3a1.8.2-1_s390x.deb ... 156s Unpacking libxi6:s390x (2:1.8.2-1) ... 156s Selecting previously unselected package libatspi2.0-0t64:s390x. 156s Preparing to unpack .../45-libatspi2.0-0t64_2.55.2-1_s390x.deb ... 156s Unpacking libatspi2.0-0t64:s390x (2.55.2-1) ... 156s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 156s Preparing to unpack .../46-libatk-bridge2.0-0t64_2.55.2-1_s390x.deb ... 156s Unpacking libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 156s Selecting previously unselected package libavahi-common-data:s390x. 156s Preparing to unpack .../47-libavahi-common-data_0.8-14ubuntu1_s390x.deb ... 156s Unpacking libavahi-common-data:s390x (0.8-14ubuntu1) ... 156s Selecting previously unselected package libavahi-common3:s390x. 156s Preparing to unpack .../48-libavahi-common3_0.8-14ubuntu1_s390x.deb ... 156s Unpacking libavahi-common3:s390x (0.8-14ubuntu1) ... 156s Selecting previously unselected package libavahi-client3:s390x. 156s Preparing to unpack .../49-libavahi-client3_0.8-14ubuntu1_s390x.deb ... 156s Unpacking libavahi-client3:s390x (0.8-14ubuntu1) ... 156s Selecting previously unselected package libpixman-1-0:s390x. 156s Preparing to unpack .../50-libpixman-1-0_0.44.0-3_s390x.deb ... 156s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 156s Selecting previously unselected package libxcb-render0:s390x. 156s Preparing to unpack .../51-libxcb-render0_1.17.0-2_s390x.deb ... 156s Unpacking libxcb-render0:s390x (1.17.0-2) ... 156s Selecting previously unselected package libxcb-shm0:s390x. 156s Preparing to unpack .../52-libxcb-shm0_1.17.0-2_s390x.deb ... 156s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 156s Selecting previously unselected package libxrender1:s390x. 156s Preparing to unpack .../53-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 156s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 156s Selecting previously unselected package libcairo2:s390x. 156s Preparing to unpack .../54-libcairo2_1.18.2-2_s390x.deb ... 156s Unpacking libcairo2:s390x (1.18.2-2) ... 156s Selecting previously unselected package libcairo-gobject2:s390x. 156s Preparing to unpack .../55-libcairo-gobject2_1.18.2-2_s390x.deb ... 156s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 156s Selecting previously unselected package libstdlib-ocaml. 156s Preparing to unpack .../56-libstdlib-ocaml_5.2.0-3_s390x.deb ... 156s Unpacking libstdlib-ocaml (5.2.0-3) ... 156s Selecting previously unselected package ocaml-base. 156s Preparing to unpack .../57-ocaml-base_5.2.0-3_s390x.deb ... 156s Unpacking ocaml-base (5.2.0-3) ... 156s Selecting previously unselected package libcairo2-ocaml. 156s Preparing to unpack .../58-libcairo2-ocaml_0.6.5-2_s390x.deb ... 156s Unpacking libcairo2-ocaml (0.6.5-2) ... 156s Selecting previously unselected package liblcms2-2:s390x. 156s Preparing to unpack .../59-liblcms2-2_2.16-2_s390x.deb ... 156s Unpacking liblcms2-2:s390x (2.16-2) ... 156s Selecting previously unselected package libcolord2:s390x. 156s Preparing to unpack .../60-libcolord2_1.4.7-1build2_s390x.deb ... 156s Unpacking libcolord2:s390x (1.4.7-1build2) ... 156s Selecting previously unselected package libstdlib-ocaml-dev. 156s Preparing to unpack .../61-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ... 156s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 156s Selecting previously unselected package libcompiler-libs-ocaml-dev. 156s Preparing to unpack .../62-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ... 156s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 157s Selecting previously unselected package libcups2t64:s390x. 157s Preparing to unpack .../63-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 157s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 157s Selecting previously unselected package libdatrie1:s390x. 157s Preparing to unpack .../64-libdatrie1_0.2.13-3build1_s390x.deb ... 157s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 157s Selecting previously unselected package libepoxy0:s390x. 157s Preparing to unpack .../65-libepoxy0_1.5.10-2_s390x.deb ... 157s Unpacking libepoxy0:s390x (1.5.10-2) ... 157s Selecting previously unselected package libgraphite2-3:s390x. 157s Preparing to unpack .../66-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 157s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 157s Selecting previously unselected package libharfbuzz0b:s390x. 157s Preparing to unpack .../67-libharfbuzz0b_10.2.0-1_s390x.deb ... 157s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 157s Selecting previously unselected package libthai-data. 157s Preparing to unpack .../68-libthai-data_0.1.29-2build1_all.deb ... 157s Unpacking libthai-data (0.1.29-2build1) ... 157s Selecting previously unselected package libthai0:s390x. 157s Preparing to unpack .../69-libthai0_0.1.29-2build1_s390x.deb ... 157s Unpacking libthai0:s390x (0.1.29-2build1) ... 157s Selecting previously unselected package libpango-1.0-0:s390x. 157s Preparing to unpack .../70-libpango-1.0-0_1.56.1-1_s390x.deb ... 157s Unpacking libpango-1.0-0:s390x (1.56.1-1) ... 157s Selecting previously unselected package libpangoft2-1.0-0:s390x. 157s Preparing to unpack .../71-libpangoft2-1.0-0_1.56.1-1_s390x.deb ... 157s Unpacking libpangoft2-1.0-0:s390x (1.56.1-1) ... 157s Selecting previously unselected package libpangocairo-1.0-0:s390x. 157s Preparing to unpack .../72-libpangocairo-1.0-0_1.56.1-1_s390x.deb ... 157s Unpacking libpangocairo-1.0-0:s390x (1.56.1-1) ... 157s Selecting previously unselected package libwayland-client0:s390x. 157s Preparing to unpack .../73-libwayland-client0_1.23.1-1_s390x.deb ... 157s Unpacking libwayland-client0:s390x (1.23.1-1) ... 157s Selecting previously unselected package libwayland-cursor0:s390x. 157s Preparing to unpack .../74-libwayland-cursor0_1.23.1-1_s390x.deb ... 157s Unpacking libwayland-cursor0:s390x (1.23.1-1) ... 157s Selecting previously unselected package libwayland-egl1:s390x. 157s Preparing to unpack .../75-libwayland-egl1_1.23.1-1_s390x.deb ... 157s Unpacking libwayland-egl1:s390x (1.23.1-1) ... 157s Selecting previously unselected package libxcomposite1:s390x. 157s Preparing to unpack .../76-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 157s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 157s Selecting previously unselected package libxfixes3:s390x. 157s Preparing to unpack .../77-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 157s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 157s Selecting previously unselected package libxcursor1:s390x. 157s Preparing to unpack .../78-libxcursor1_1%3a1.2.3-1_s390x.deb ... 157s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 157s Selecting previously unselected package libxdamage1:s390x. 157s Preparing to unpack .../79-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 157s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 157s Selecting previously unselected package libxinerama1:s390x. 157s Preparing to unpack .../80-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 157s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 157s Selecting previously unselected package libxrandr2:s390x. 157s Preparing to unpack .../81-libxrandr2_2%3a1.5.4-1_s390x.deb ... 157s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 157s Selecting previously unselected package libgtk-3-common. 157s Preparing to unpack .../82-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 157s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 157s Selecting previously unselected package libgtk-3-0t64:s390x. 157s Preparing to unpack .../83-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 157s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 157s Selecting previously unselected package libgtksourceview-3.0-common. 157s Preparing to unpack .../84-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 157s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 157s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 157s Preparing to unpack .../85-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 157s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 157s Selecting previously unselected package liblablgtk3-ocaml. 157s Preparing to unpack .../86-liblablgtk3-ocaml_3.1.5-1build1_s390x.deb ... 157s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 157s Selecting previously unselected package liblablgtksourceview3-ocaml. 157s Preparing to unpack .../87-liblablgtksourceview3-ocaml_3.1.5-1build1_s390x.deb ... 157s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 157s Selecting previously unselected package libncurses-dev:s390x. 157s Preparing to unpack .../88-libncurses-dev_6.5+20250125-2_s390x.deb ... 157s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 157s Selecting previously unselected package libzstd-dev:s390x. 157s Preparing to unpack .../89-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 157s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 157s Selecting previously unselected package ocaml-interp. 157s Preparing to unpack .../90-ocaml-interp_5.2.0-3_s390x.deb ... 157s Unpacking ocaml-interp (5.2.0-3) ... 157s Selecting previously unselected package ocaml. 157s Preparing to unpack .../91-ocaml_5.2.0-3_s390x.deb ... 157s Unpacking ocaml (5.2.0-3) ... 158s Selecting previously unselected package tex-common. 158s Preparing to unpack .../92-tex-common_6.18_all.deb ... 158s Unpacking tex-common (6.18) ... 158s Selecting previously unselected package why3. 158s Preparing to unpack .../93-why3_1.7.2-2build1_s390x.deb ... 158s Unpacking why3 (1.7.2-2build1) ... 158s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 158s Setting up liblcms2-2:s390x (2.16-2) ... 158s Setting up libpixman-1-0:s390x (0.44.0-3) ... 158s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 158s Setting up libcln6:s390x (1.3.7-1) ... 158s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 158s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 158s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 158s Setting up libantlr3c-3.4-0:s390x (3.4+dfsg-4build2) ... 158s Setting up hicolor-icon-theme (0.18-2) ... 158s Setting up libxi6:s390x (2:1.8.2-1) ... 158s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 158s Setting up libdatrie1:s390x (0.2.13-3build1) ... 158s Setting up libxcb-render0:s390x (1.17.0-2) ... 158s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 158s Setting up libdeflate0:s390x (1.23-1) ... 158s Setting up libxcb-shm0:s390x (1.17.0-2) ... 158s Setting up libgomp1:s390x (14.2.0-17ubuntu1) ... 158s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 158s Setting up libcolord2:s390x (1.4.7-1build2) ... 158s Setting up libdconf1:s390x (0.40.0-5) ... 158s Setting up tex-common (6.18) ... 158s update-language: texlive-base not installed and configured, doing nothing! 158s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 158s Setting up libepoxy0:s390x (1.5.10-2) ... 158s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 158s Setting up libavahi-common-data:s390x (0.8-14ubuntu1) ... 158s Setting up libatspi2.0-0t64:s390x (2.55.2-1) ... 158s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 158s Setting up libstdlib-ocaml (5.2.0-3) ... 158s Setting up fonts-dejavu-mono (2.37-8) ... 158s Setting up libmpc3:s390x (1.3.1-1build2) ... 158s Setting up libxrandr2:s390x (2:1.5.4-1) ... 158s Setting up ocaml-base (5.2.0-3) ... 158s Setting up fonts-dejavu-core (2.37-8) ... 158s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 158s Setting up libwebp7:s390x (1.5.0-0.1) ... 158s Setting up libubsan1:s390x (14.2.0-17ubuntu1) ... 158s Setting up at-spi2-common (2.55.2-1) ... 158s Setting up libasan8:s390x (14.2.0-17ubuntu1) ... 158s Setting up libcvc4-7:s390x (1.8-3build2) ... 158s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 158s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 158s Setting up libthai-data (0.1.29-2build1) ... 158s Setting up libwayland-egl1:s390x (1.23.1-1) ... 158s Setting up libisl23:s390x (0.27-1) ... 158s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 158s Setting up libcc1-0:s390x (14.2.0-17ubuntu1) ... 158s Setting up libitm1:s390x (14.2.0-17ubuntu1) ... 158s Setting up libwayland-client0:s390x (1.23.1-1) ... 158s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 158s Setting up libatk1.0-0t64:s390x (2.55.2-1) ... 158s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 158s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ... 158s Setting up libxcursor1:s390x (1:1.2.3-1) ... 158s Setting up libavahi-common3:s390x (0.8-14ubuntu1) ... 158s Setting up dconf-service (0.40.0-5) ... 158s Setting up libthai0:s390x (0.1.29-2build1) ... 158s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 158s Setting up ocaml-interp (5.2.0-3) ... 158s Setting up libcvc4parser7:s390x (1.8-3build2) ... 158s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 158s Setting up cpp-14 (14.2.0-17ubuntu1) ... 158s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 158s Setting up libwayland-cursor0:s390x (1.23.1-1) ... 158s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 158s Setting up cvc4 (1.8-3build2) ... 158s Setting up libfontconfig1:s390x (2.15.0-1.1ubuntu2) ... 158s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 158s Setting up libavahi-client3:s390x (0.8-14ubuntu1) ... 158s Setting up libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 158s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 158s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 160s Regenerating fonts cache... done. 160s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 160s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 160s Setting up libpango-1.0-0:s390x (1.56.1-1) ... 160s Setting up libcairo2:s390x (1.18.2-2) ... 160s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 160s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 160s Setting up adwaita-icon-theme (48~beta-3) ... 160s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 160s Setting up cpp (4:14.2.0-1ubuntu1) ... 160s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 160s Setting up libpangoft2-1.0-0:s390x (1.56.1-1) ... 160s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 160s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 160s Setting up libpangocairo-1.0-0:s390x (1.56.1-1) ... 160s Setting up libcairo2-ocaml (0.6.5-2) ... 160s Setting up gcc-14 (14.2.0-17ubuntu1) ... 160s Setting up gcc (4:14.2.0-1ubuntu1) ... 160s Setting up ocaml (5.2.0-3) ... 160s Processing triggers for libc-bin (2.41-1ubuntu1) ... 160s Processing triggers for man-db (2.13.0-1) ... 161s Processing triggers for libglib2.0-0t64:s390x (2.83.3-2) ... 161s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 162s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 162s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 162s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 162s Setting up why3 (1.7.2-2build1) ... 162s Processing triggers for libc-bin (2.41-1ubuntu1) ... 162s autopkgtest: DBG: testbed command exited with code 0 162s autopkgtest: DBG: testbed command ['dpkg-query', '--show', '-f', '${Status}', 'why3'], kind short, sout pipe, serr pipe, env [] 162s autopkgtest: DBG: testbed command exited with code 0 162s autopkgtest: DBG: testbed command ['sh', '-ec', "dpkg-query --show -f '${Package}\\t${Version}\\n' > /tmp/autopkgtest.YwiRSm/why3+cvc4-packages.all"], kind short, sout raw, serr pipe, env [] 162s autopkgtest: DBG: testbed command exited with code 0 162s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/why3%2Bcvc4-packages.all /tmp/autopkgtest-work.mhhdz3l1/out/why3%2Bcvc4-packages.all 162s autopkgtest: DBG: got reply from testbed: ok 162s autopkgtest: DBG: testbed command ['test', '-e', '/tmp/autopkgtest.YwiRSm/build.sQf/src'], kind short, sout raw, serr raw, env [] 162s autopkgtest: DBG: testbed command exited with code 0 162s autopkgtest: DBG: copydown: tb path /tmp/autopkgtest.YwiRSm/build.sQf/src already exists 162s autopkgtest [03:43:58]: test why3+cvc4: [----------------------- 162s autopkgtest: DBG: testbed command ['su', '-s', '/bin/bash', 'ubuntu', '-c', "set -e; exec /tmp/autopkgtest.YwiRSm/wrapper.sh --debug --artifacts=/tmp/autopkgtest.YwiRSm/why3+cvc4-artifacts --chdir=/tmp/autopkgtest.YwiRSm/build.sQf/src --env=AUTOPKGTEST_TESTBED_ARCH=s390x --env=AUTOPKGTEST_TEST_ARCH=s390x --env=DEB_BUILD_OPTIONS=parallel=2 --env=DEBIAN_FRONTEND=noninteractive --env=LANG=C.UTF-8 --unset-env=LANGUAGE --unset-env=LC_ADDRESS --unset-env=LC_ALL --unset-env=LC_COLLATE --unset-env=LC_CTYPE --unset-env=LC_IDENTIFICATION --unset-env=LC_MEASUREMENT --unset-env=LC_MESSAGES --unset-env=LC_MONETARY --unset-env=LC_NAME --unset-env=LC_NUMERIC --unset-env=LC_PAPER --unset-env=LC_TELEPHONE --unset-env=LC_TIME --script-pid-file=/tmp/autopkgtest_script_pid --source-profile --stderr=/tmp/autopkgtest.YwiRSm/why3+cvc4-stderr --stdout=/tmp/autopkgtest.YwiRSm/why3+cvc4-stdout --tmp=/tmp/autopkgtest.YwiRSm/autopkgtest_tmp '--env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1' --make-executable=/tmp/autopkgtest.YwiRSm/build.sQf/src/debian/tests/why3+cvc4 -- /tmp/autopkgtest.YwiRSm/build.sQf/src/debian/tests/why3+cvc4"], kind test, sout raw, serr raw, env [] 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: creating AUTOPKGTEST_ARTIFACTS: /tmp/autopkgtest.YwiRSm/why3+cvc4-artifacts 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: changing to directory: /tmp/autopkgtest.YwiRSm/build.sQf/src 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: AUTOPKGTEST_TESTBED_ARCH=s390x 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: AUTOPKGTEST_TEST_ARCH=s390x 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: DEB_BUILD_OPTIONS=parallel=2 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: DEBIAN_FRONTEND=noninteractive 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: LANG=C.UTF-8 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LANGUAGE 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_ADDRESS 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_ALL 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_COLLATE 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_CTYPE 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_IDENTIFICATION 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_MEASUREMENT 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_MESSAGES 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_MONETARY 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_NAME 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_NUMERIC 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_PAPER 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_TELEPHONE 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_TIME 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: will create pid file: /tmp/autopkgtest_script_pid 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: pretending to be a login shell 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: will write standard error to /tmp/autopkgtest.YwiRSm/why3+cvc4-stderr 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: will write stdout to /tmp/autopkgtest.YwiRSm/why3+cvc4-stdout 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: creating AUTOPKGTEST_TMP: /tmp/autopkgtest.YwiRSm/autopkgtest_tmp 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: marking as executable: /tmp/autopkgtest.YwiRSm/build.sQf/src/debian/tests/why3+cvc4 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: command to run: /tmp/autopkgtest.YwiRSm/build.sQf/src/debian/tests/why3+cvc4 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: copying /tmp/tmp.w1tqJqSrSw/out to stdout and file: /tmp/autopkgtest.YwiRSm/why3+cvc4-stdout 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: copying /tmp/tmp.w1tqJqSrSw/err to standard error and file: /tmp/autopkgtest.YwiRSm/why3+cvc4-stdout 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: writing script pid 2676 to /tmp/autopkgtest_script_pid 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: checking for leaked background processes... 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: waiting for tee/cat subprocesses... 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: cleaning up... 163s /tmp/autopkgtest.YwiRSm/wrapper.sh: Exit status: 0 163s autopkgtest: DBG: testbed command exited with code 0 163s autopkgtest [03:43:59]: test why3+cvc4: -----------------------] 163s autopkgtest: DBG: testbed executing test finished with exit status 0 163s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/why3%2Bcvc4-stdout /tmp/autopkgtest-work.mhhdz3l1/out/why3%2Bcvc4-stdout 164s autopkgtest: DBG: got reply from testbed: ok 164s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/why3%2Bcvc4-stderr /tmp/autopkgtest-work.mhhdz3l1/out/why3%2Bcvc4-stderr 164s autopkgtest: DBG: got reply from testbed: ok 164s why3+cvc4 PASS 164s autopkgtest [03:44:00]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 164s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/why3%2Bcvc4-artifacts/ /tmp/autopkgtest-work.mhhdz3l1/out/artifacts/ 164s autopkgtest: DBG: got reply from testbed: ok 164s autopkgtest: DBG: testbed command ['rm', '-rf', '/tmp/autopkgtest.YwiRSm/why3+cvc4-artifacts', '/tmp/autopkgtest.YwiRSm/autopkgtest_tmp'], kind short, sout raw, serr pipe, env [] 164s autopkgtest: DBG: testbed command exited with code 0 164s autopkgtest [03:44:00]: test why3+spass: preparing testbed 164s autopkgtest: DBG: testbed reset: modified=False, deps_installed=['why3', 'cvc4 (<< 1.9)', 'ocaml-native-compilers'], deps_new=['why3', 'spass', 'ocaml-native-compilers'] 164s autopkgtest: DBG: testbed reset 164s autopkgtest: DBG: sending command to testbed: revert 276s autopkgtest: DBG: got reply from testbed: ok /tmp/autopkgtest.YwiRSm 276s autopkgtest: DBG: sending command to testbed: print-execute-command 276s autopkgtest: DBG: got reply from testbed: ok /tmp/autopkgtest-ssh.x_tvk_o9/runcmd 276s autopkgtest: DBG: sending command to testbed: capabilities 276s autopkgtest: DBG: got reply from testbed: ok root-on-testbed revert ok isolation-machine suggested-normal-user=ubuntu reboot revert-full-system 276s autopkgtest: DBG: testbed capabilities: ['root-on-testbed', 'revert', 'ok', 'isolation-machine', 'suggested-normal-user=ubuntu', 'reboot', 'revert-full-system', 'has_internet'] 276s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 277s autopkgtest: DBG: testbed command exited with code 0 277s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/wrapper.sh /tmp/autopkgtest.YwiRSm/wrapper.sh 277s autopkgtest: DBG: got reply from testbed: ok 277s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/wrapper.sh'], kind short, sout raw, serr pipe, env [] 277s autopkgtest: DBG: testbed command exited with code 0 277s autopkgtest: DBG: testbed command ['dpkg', '--print-architecture'], kind short, sout pipe, serr pipe, env [] 277s autopkgtest: DBG: testbed command exited with code 0 277s autopkgtest [03:45:53]: testbed dpkg architecture: s390x 277s autopkgtest: DBG: testbed command ['dpkg-query', '-W', '-f', '${Version}', 'apt'], kind short, sout pipe, serr pipe, env [] 277s autopkgtest: DBG: testbed command exited with code 0 277s autopkgtest [03:45:53]: testbed apt version: 2.9.28 277s autopkgtest: DBG: testbed command ['sh', '-ec', 'command -v eatmydata'], kind short, sout pipe, serr pipe, env [] 277s autopkgtest: DBG: testbed command exited with code 0 277s autopkgtest: DBG: testbed has eatmydata 277s autopkgtest: DBG: testbed command ['mkdir', '-p', '/etc/apt/preferences.d'], kind short, sout raw, serr pipe, env [] 278s autopkgtest: DBG: testbed command exited with code 0 278s autopkgtest [03:45:54]: @@@@@@@@@@@@@@@@@@@@ test bed setup 278s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# Copyright © 2006-2018 Canonical Ltd.\n# Copyright © 2015-2017 Martin Pitt\n# Copyright © 2017 Steve Langasek\n# Copyright © 2017-2022 Paul Gevers\n# Copyright © 2018 Simon McVittie\n# SPDX-License-Identifier: GPL-2.0-or-later\n\n# This script returns the first suite found in apt sources. We can\'t just rely\n# on /etc/os-release because it doesn\'t allow to distinguish between Debian\n# unstable and testing.\n#\n# This release detection logic should be kept in sync with similar code in the\n# setup-testbed script.\n#\n# For more information on APT data sources see sources.list(5).\n\n# Usage $0\n\nset -eux\n\ndistro=UNKNOWN\nif [ -r /etc/os-release ]; then\n # shellcheck disable=SC1091\n distro=$(. /etc/os-release && echo "${ID:-$distro}")\nfi\n\n# Try guessing the default release from deb822-style format sources.\n#\n# While not mandatory, APT upstream expects distros to follow the\n# .sources naming pattern for the default deb822 sources.\napt_sources="/etc/apt/sources.list.d/$distro.sources"\nif [ -r "$apt_sources" ]; then\n release=$(sed -En \'s/^Suites:\\s*(\\w+).*/\\1/Ip\' "$apt_sources" | head -n1)\n [ -n "$release" ] && echo "$release" && exit\nfi\n\n# Try guessing the default release from one-line-style format sources.\napt_sources=/etc/apt/sources.list\nif [ -r "$apt_sources" ]; then\n release=$(sed -En \'/^(deb|deb-src) +(\\[.*\\] *)?(http|https|file):/ { s/\\[.*\\] +//; s/^[^ ]+ +[^ ]* +([^ ]+) +.*$/\\1/p }\' "$apt_sources" | head -n1)\n [ -n "$release" ] && echo "$release" && exit\nfi\n\n# Could not guess the default release\necho "Could not guess the default release from the APT sources." >&2\nexit 1\n'], kind short, sout pipe, serr pipe, env [] 278s autopkgtest: DBG: testbed command exited with code 0 278s autopkgtest [03:45:54]: testbed release detected to be: plucky 278s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# SPDX-License-Identifier: GPL-2.0-or-later\n\n# This script returns the list of configured "deb" sources in one-line-style\n# source lists (/etc/apt/sources.list, /etc/apt/sources.list.d/*.list).\n# See sources.list(5) for more information on the APT source list formats.\n#\n# This script takes no arguments.\n\nset -eu\n\n# grep(1) returns 1 if no lines were selected from the input files, which\n# can happen if there are .list files, but they contain no "deb" entries.\n# We don\'t want to fail in this case, hence the "|| true", which we put\n# in a subshell because we want it to affect only the grep invocation.\n{\n if [ -f /etc/apt/sources.list ]; then\n printf \'%s\\0\' /etc/apt/sources.list\n fi\n if [ -d /etc/apt/sources.list.d ]; then\n find /etc/apt/sources.list.d -maxdepth 1 -type f -regex \'.*/[a-zA-Z0-9_.-]+\\.list\' -print0 \\\n | LC_ALL=C sort --zero-terminated\n fi\n} | xargs -0 --no-run-if-empty -- sh -c \'grep -h "^deb " "$@" || true\' "$(basename "$0")"\n'], kind short, sout pipe, serr pipe, env [] 278s autopkgtest: DBG: testbed command exited with code 0 278s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# SPDX-License-Identifier: GPL-2.0-or-later\n\n# This script returns the list of configured sources in deb822-style source\n# lists (/etc/apt/sources.list.d/*.sources). Sources are not stripped out of\n# comments, extra blank lines or similar: the output of this script is meant to\n# be consumed by a deb822 parser that is able to correctly handle those.\n# See sources.list(5) for more information on the APT source list formats.\n#\n# This script takes no arguments.\n\nset -eu\n\n# Awk concatenates files making sure stanzas from separate files are separated\n# by a blank line, even if there are no newlines at EOF in the .sources files.\nif [ -d /etc/apt/sources.list.d ]; then\n find /etc/apt/sources.list.d -maxdepth 1 -type f -regex \'.*/[a-zA-Z0-9_.-]+\\.sources\' -print0 \\\n | LC_ALL=C sort --zero-terminated \\\n | xargs -0 --no-run-if-empty -- awk \'FNR == 1 && NR != 1 { print "" } { print }\'\nfi\n'], kind short, sout pipe, serr pipe, env [] 278s autopkgtest: DBG: testbed command exited with code 0 278s autopkgtest: DBG: adding APT source: Types: deb deb-src 278s URIs: http://ftpmaster.internal/ubuntu/ 278s Suites: plucky-proposed 278s Components: main restricted universe multiverse 278s Signed-By: /usr/share/keyrings/ubuntu-archive-keyring.gpg 278s autopkgtest: DBG: testbed command ['sh', '-ec', '"$@" >> "/etc/apt/sources.list.d/autopkgtest-add-apt-release-plucky-proposed.sources"', 'add_apt_source', 'printf', '%s\\n', 'Types: deb deb-src\nURIs: http://ftpmaster.internal/ubuntu/\nSuites: plucky-proposed\nComponents: main restricted universe multiverse\nSigned-By: /usr/share/keyrings/ubuntu-archive-keyring.gpg\n'], kind short, sout raw, serr pipe, env [] 278s autopkgtest: DBG: testbed command exited with code 0 278s autopkgtest: DBG: adding APT preference to autopkgtest-zz-plucky-proposed-baseline.pref: 278s Package: * 278s Pin: release plucky-proposed 278s Pin-Priority: 500 278s autopkgtest: DBG: testbed command ['sh', '-ec', '"$@" > "/etc/apt/preferences.d/autopkgtest-zz-plucky-proposed-baseline.pref"', 'add_apt_preference', 'printf', '%s\\n', 'Package: *\nPin: release plucky-proposed\nPin-Priority: 500'], kind short, sout raw, serr pipe, env [] 278s autopkgtest: DBG: testbed command exited with code 0 278s autopkgtest [03:45:54]: updating testbed package index (apt update) 278s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', 'update'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 279s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 279s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 279s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 279s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 279s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 279s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [73.0 kB] 279s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [810 kB] 279s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 279s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [166 kB] 279s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 279s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [855 kB] 280s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3740 B] 280s Fetched 2035 kB in 1s (2078 kB/s) 280s Reading package lists... 280s autopkgtest: DBG: testbed command exited with code 0 280s autopkgtest: DBG: adding APT preference to autopkgtest-plucky-proposed.pref: 280s Package: * 280s Pin: release plucky-proposed 280s Pin-Priority: 100 280s 280s Package: src:glibc:any src:iproute2:any src:php-twig:any src:postgresql-17:any src:postgresql-common:any src:roundcube:any 280s Pin: release plucky-proposed 280s Pin-Priority: 995 280s autopkgtest: DBG: testbed command ['sh', '-ec', '"$@" > "/etc/apt/preferences.d/autopkgtest-plucky-proposed.pref"', 'add_apt_preference', 'printf', '%s\\n', 'Package: *\nPin: release plucky-proposed\nPin-Priority: 100\n\nPackage: src:glibc:any src:iproute2:any src:php-twig:any src:postgresql-17:any src:postgresql-common:any src:roundcube:any\nPin: release plucky-proposed\nPin-Priority: 995'], kind short, sout raw, serr pipe, env [] 280s autopkgtest: DBG: testbed command exited with code 0 280s autopkgtest: DBG: testbed command ['bash', '-ec', 'for d in /boot /boot/efi /boot/grub /etc/init /etc/init.d /etc/systemd/system /lib/systemd/system; do [ ! -d $d ] || touch -r $d /tmp/autopkgtest.YwiRSm/${d//\\//_}.stamp; done'], kind short, sout raw, serr pipe, env [] 281s autopkgtest: DBG: testbed command exited with code 0 281s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# Canonical/Ubuntu specific testbed setup\n\nset -x\n\nRELEASE=$(lsb_release --codename --short 2>/dev/null)\n\n# Make the installed package versions match what is available from the configured\n# repositories, even if a downgrade is required.\n#\n# We may end up with images with packages newer than those available from the\n# repositories when opening a new release (images are created using the\n# previous release dailies as a base, which may include 0-day SRUs, or\n# Launchpad may fail to copy packages, see openssl 3.0.8-1ubuntu2), or when\n# package versions are pulled from the archive.\n#\n# Note: \'release a=\' matches the Suite field in the repository Release file.\ncat >/etc/apt/preferences.d/force-downgrade-to-release.pref <= Focal).\n#\n# Note: autoremove/--autoremove always runs on the entire set of installed\n# packages. Together with --autopurge/purge each removal becomes a purge.\n#\n# Removing \'?obsolete\' packages may remove the running kernel. This is not\n# expected to be an issue.\nif /usr/lib/apt/apt-helper analyze-pattern \'?true\' >/dev/null 2>&1; then\n # DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove \'?obsolete\'\n # Avoid removing the running kernel\n running_kernel_pattern="^linux-.*$(uname -r | sed \'s/\\./\\\\./g\').*"\n obsolete_pkgs="$(apt list \'?obsolete\' 2>/dev/null \\\n | tail -n+2 \\\n | cut -d\'/\' -f1 \\\n | grep -v "${running_kernel_pattern}" || true)"\n DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove ${obsolete_pkgs}\nelse\n # We\'re on an older release (analyze-pattern is not available).\n # Still do an autopurge to get rid of packages that got orphaned\n # by downgrades.\n eatmydata apt-get -y autoremove --purge\nfi\n\n# compatibility with old Jenkins testbeds for trusty\nif grep -q trusty /etc/lsb-release; then apt-get update || (sleep 10; apt-get update); apt-get install -y build-essential; fi\n\n# these packages really break tests, purge them if we use standard cloud images\n# (on lcy01)\nfor p in unattended-upgrades lxd lxd-client snapd; do\n [ ! -d /usr/share/doc/$p ] || $(which eatmydata || true) apt-get purge --auto-remove -y $p\ndone\n\nif type iptables >/dev/null 2>&1; then\n cat < /etc/rc.local\n#!/bin/sh\n\n# work around broken PTMU; LP: #1572026, RT#90771\niptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu || true\n\n# These addresses are used at least by rust-reqwest and should not be reachable\n# See https://bugs.launchpad.net/ubuntu/+source/rust-reqwest/+bug/2080346\niptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP || true\niptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP || true\nEOF\n chmod 755 /etc/rc.local\n # shellcheck disable=SC1091\n . /etc/rc.local\nfi\n\n# work around broken tty on ppc64el instances (LP: #1607075)\nif [ "$(uname -m)" = ppc64le ] && [ "$(systemctl is-active keyboard-setup.service 2>/dev/null|| true)" = failed ]; then\n systemctl reset-failed keyboard-setup.service\n systemctl mask keyboard-setup.service\nfi\n\n# work around late urandom pool initialization (LP: #1622893)\nif [ -d /run/systemd/system ] && systemd-detect-virt --quiet --vm; then\n mkdir -p /etc/systemd/system/systemd-random-seed.service.d/\n cat < /etc/systemd/system/systemd-random-seed.service.d/fakeentropy.conf\n[Service]\nExecStart=/usr/bin/perl -E \'open \\$\\$f, "/bin/bash" or die; open \\$\\$rnd, ">/dev/random" or die; for (\\$\\$i = 0; \\$\\$i < 10; ++\\$\\$i) {read \\$\\$f, \\$\\$d, 64; ioctl \\$\\$rnd, 0x40085203, pack("ii", 64*8, 64) . \\$\\$d}\'\nEOF\nfi\n\n# set compressor to lz4 where supported, we care about compression speed\nif grep -q lz4 /etc/initramfs-tools/initramfs.conf; then\n echo COMPRESS=lz4 > /etc/initramfs-tools/conf.d/lz4\nfi'], kind install, sout raw, serr raw, env ['AUTOPKGTEST_IS_SETUP_COMMAND=1', 'AUTOPKGTEST_NORMAL_USER=ubuntu', 'ADT_NORMAL_USER=ubuntu'] 281s + lsb_release --codename --short 281s + RELEASE=plucky 281s + cat 281s + [ plucky != trusty ] 281s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 281s Reading package lists... 281s Building dependency tree... 281s Reading state information... 281s Calculating upgrade... 281s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 281s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 281s + /usr/lib/apt/apt-helper analyze-pattern ?true 281s + uname -r 281s + sed s/\./\\./g 281s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 281s + apt list ?obsolete 281s + tail -n+2 281s + cut -d/ -f1 281s + grep -v ^linux-.*6\.12\.0-15-generic.* 281s + obsolete_pkgs=linux-image-6.11.0-8-generic 281s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-image-6.11.0-8-generic 281s Reading package lists... 281s Building dependency tree... 281s Reading state information... 281s The following packages will be REMOVED: 281s linux-image-6.11.0-8-generic* 282s 0 upgraded, 0 newly installed, 1 to remove and 6 not upgraded. 282s After this operation, 10.5 MB disk space will be freed. 282s (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 ... 80973 files and directories currently installed.) 282s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 282s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.12.0-15-generic 282s I: /boot/initrd.img.old is now a symlink to initrd.img-6.12.0-15-generic 282s /etc/kernel/postrm.d/initramfs-tools: 282s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 282s /etc/kernel/postrm.d/zz-zipl: 282s Using config file '/etc/zipl.conf' 282s Building bootmap in '/boot' 282s Adding IPL section 'ubuntu' (default) 282s Preparing boot device for LD-IPL: vda (0000). 282s Done. 282s (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 ... 80969 files and directories currently installed.) 282s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 282s rmdir: failed to remove '/lib/modules/6.11.0-8-generic': Directory not empty 282s + grep -q trusty /etc/lsb-release 282s + [ ! -d /usr/share/doc/unattended-upgrades ] 282s + [ ! -d /usr/share/doc/lxd ] 282s + [ ! -d /usr/share/doc/lxd-client ] 282s + [ ! -d /usr/share/doc/snapd ] 282s + type iptables 282s + cat 282s + chmod 755 /etc/rc.local 282s + . /etc/rc.local 282s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 282s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 282s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 282s + uname -m 282s + [ s390x = ppc64le ] 282s + [ -d /run/systemd/system ] 282s + systemd-detect-virt --quiet --vm 282s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 282s + cat 282s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 282s + echo COMPRESS=lz4 282s autopkgtest: DBG: testbed command exited with code 0 282s autopkgtest [03:45:58]: upgrading testbed (apt dist-upgrade and autopurge) 282s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', 'dist-upgrade'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 282s Reading package lists... 282s Building dependency tree... 282s Reading state information... 283s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 283s Starting 2 pkgProblemResolver with broken count: 0 283s Done 283s Entering ResolveByKeep 283s 283s The following packages were automatically installed and are no longer required: 283s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 283s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 283s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 283s linux-tools-6.11.0-8-generic 283s Use 'sudo apt autoremove' to remove them. 283s The following packages will be upgraded: 283s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 283s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 283s Need to get 10.7 MB of archives. 283s After this operation, 305 kB of additional disk space will be used. 283s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu1 [24.3 kB] 283s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu1 [1679 kB] 284s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu1 [4246 kB] 284s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu1 [2891 kB] 284s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu1 [672 kB] 284s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x iproute2 s390x 6.13.0-1ubuntu1 [1174 kB] 284s Preconfiguring packages ... 284s Fetched 10.7 MB in 1s (9853 kB/s) 284s (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 ... 80969 files and directories currently installed.) 284s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_s390x.deb ... 284s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 284s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_s390x.deb ... 284s Unpacking libc6-dev:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 285s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 285s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 285s Preparing to unpack .../libc6_2.41-1ubuntu1_s390x.deb ... 285s Checking for services that may need to be restarted... 285s Checking init scripts... 285s Checking for services that may need to be restarted... 285s Checking init scripts... 285s Stopping some services possibly affected by the upgrade (will be restarted later): 285s cron: stopping...done. 285s 285s Unpacking libc6:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 285s Setting up libc6:s390x (2.41-1ubuntu1) ... 285s Checking for services that may need to be restarted... 285s Checking init scripts... 285s Restarting services possibly affected by the upgrade: 285s cron: restarting...done. 285s 285s Services restarted successfully. 285s (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 ... 80970 files and directories currently installed.) 285s Preparing to unpack .../libc-bin_2.41-1ubuntu1_s390x.deb ... 285s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 285s Setting up libc-bin (2.41-1ubuntu1) ... 285s (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 ... 80970 files and directories currently installed.) 285s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_s390x.deb ... 285s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 285s Setting up iproute2 (6.13.0-1ubuntu1) ... 285s Setting up locales (2.41-1ubuntu1) ... 285s Installing new version of config file /etc/locale.alias ... 286s Generating locales (this might take a while)... 287s en_US.UTF-8... done 287s Generation complete. 287s Setting up libc-dev-bin (2.41-1ubuntu1) ... 287s Setting up libc6-dev:s390x (2.41-1ubuntu1) ... 287s Processing triggers for man-db (2.13.0-1) ... 287s Processing triggers for systemd (257.2-3ubuntu1) ... 288s autopkgtest: DBG: testbed command exited with code 0 288s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', '--purge', 'autoremove'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 288s Reading package lists... 288s Building dependency tree... 288s Reading state information... 288s Starting pkgProblemResolver with broken count: 0 289s Starting 2 pkgProblemResolver with broken count: 0 289s Done 289s The following packages will be REMOVED: 289s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 289s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 289s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 289s linux-tools-6.11.0-8-generic* 289s 0 upgraded, 0 newly installed, 9 to remove and 0 not upgraded. 289s After this operation, 167 MB disk space will be freed. 289s (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 ... 80971 files and directories currently installed.) 289s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 289s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 289s Removing libpython3.12t64:s390x (3.12.9-1) ... 289s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 289s Removing libnsl2:s390x (1.3.0-3build3) ... 289s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 289s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 289s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 290s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 290s Processing triggers for libc-bin (2.41-1ubuntu1) ... 290s (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 ... 55871 files and directories currently installed.) 290s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 290s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 290s autopkgtest: DBG: testbed command exited with code 0 290s autopkgtest: DBG: testbed command ['bash', '-ec', '[ ! -e /run/autopkgtest_no_reboot.stamp ] || exit 0;for d in /boot /boot/efi /boot/grub /etc/init /etc/init.d /etc/systemd/system /lib/systemd/system; do s=/tmp/autopkgtest.YwiRSm/${d//\\//_}.stamp; [ ! -d $d ] || [ `stat -c %Y $d` = `stat -c %Y $s` ]; done'], kind short, sout raw, serr raw, env [] 290s autopkgtest: DBG: testbed command exited with code 1 290s autopkgtest [03:46:06]: rebooting testbed after setup commands that affected boot 290s autopkgtest: DBG: sending command to testbed: reboot 306s autopkgtest: DBG: got reply from testbed: ok 306s autopkgtest: DBG: testbed supports reboot, creating /tmp/autopkgtest-reboot 306s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 306s autopkgtest: DBG: testbed command exited with code 0 306s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot 306s autopkgtest: DBG: got reply from testbed: ok 306s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 307s autopkgtest: DBG: testbed command exited with code 0 307s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/tmp/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 307s autopkgtest: DBG: testbed command exited with code 0 307s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/sbin/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 307s autopkgtest: DBG: testbed command exited with code 0 307s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 307s autopkgtest: DBG: testbed command exited with code 0 307s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot-prepare.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare 307s autopkgtest: DBG: got reply from testbed: ok 307s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 307s autopkgtest: DBG: testbed command exited with code 0 307s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare', '/tmp/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 308s autopkgtest: DBG: testbed command exited with code 0 308s autopkgtest: DBG: testbed command ['uname', '-srv'], kind short, sout pipe, serr pipe, env [] 308s autopkgtest: DBG: testbed command exited with code 0 308s autopkgtest: DBG: testbed command ['sh', '-ec', "dpkg-query --show -f '${Package}\\t${Version}\\n' > /tmp/autopkgtest.YwiRSm/testbed-packages"], kind short, sout raw, serr pipe, env [] 308s autopkgtest: DBG: testbed command exited with code 0 308s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/testbed-packages /tmp/autopkgtest-work.mhhdz3l1/out/testbed-packages 308s autopkgtest: DBG: got reply from testbed: ok 308s autopkgtest: DBG: testbed supports reboot, creating /tmp/autopkgtest-reboot 308s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 309s autopkgtest: DBG: testbed command exited with code 0 309s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot 309s autopkgtest: DBG: got reply from testbed: ok 309s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 309s autopkgtest: DBG: testbed command exited with code 0 309s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/tmp/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 309s autopkgtest: DBG: testbed command exited with code 0 309s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/sbin/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 309s autopkgtest: DBG: testbed command exited with code 0 309s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 310s autopkgtest: DBG: testbed command exited with code 0 310s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot-prepare.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare 310s autopkgtest: DBG: got reply from testbed: ok 310s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 310s autopkgtest: DBG: testbed command exited with code 0 310s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare', '/tmp/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 310s autopkgtest: DBG: testbed command exited with code 0 310s autopkgtest: DBG: testbed command ['uname', '-srv'], kind short, sout pipe, serr pipe, env [] 310s autopkgtest: DBG: testbed command exited with code 0 310s autopkgtest: DBG: Binaries: no registered binaries, not publishing anything 310s autopkgtest: DBG: install_deps: deps_new=['why3', 'spass', 'ocaml-native-compilers'] 310s autopkgtest: DBG: install-deps: satisfying why3, spass, ocaml-native-compilers 310s autopkgtest: DBG: can use apt-get on testbed: True 310s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', 'satisfy', 'why3, spass, ocaml-native-compilers'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 311s Reading package lists... 311s Building dependency tree... 311s Reading state information... 311s Starting pkgProblemResolver with broken count: 0 311s Starting 2 pkgProblemResolver with broken count: 0 311s Done 311s The following NEW packages will be installed: 311s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu 311s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 311s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 311s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 311s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 311s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 311s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 311s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 311s libepoxy0 libfontconfig1 libfreetype6 libgcc-14-dev libgdk-pixbuf-2.0-0 311s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 311s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 311s libharfbuzz0b libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 311s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 libmpc3 311s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 311s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 311s libthai0 libtiff6 libubsan1 libwayland-client0 libwayland-cursor0 311s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 311s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 311s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 311s 0 upgraded, 90 newly installed, 0 to remove and 0 not upgraded. 311s Need to get 149 MB of archives. 311s After this operation, 453 MB of additional disk space will be used. 311s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 311s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-3ubuntu2 [147 kB] 311s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 311s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.23-1 [46.1 kB] 311s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB] 311s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.5.0-0.1 [16.7 kB] 311s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.5.0-0.1 [210 kB] 311s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB] 312s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-2 [154 kB] 312s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.17.4+ds-4 [52.9 kB] 312s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-2 [13.3 kB] 312s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 48~beta-3 [578 kB] 312s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.55.2-1 [8916 B] 312s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 312s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 312s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB] 312s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B] 312s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 312s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 312s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-5 [40.0 kB] 312s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-5 [28.4 kB] 312s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-5 [22.8 kB] 312s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB] 312s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 312s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 312s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-1.1ubuntu2 [37.4 kB] 312s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-1.1ubuntu2 [150 kB] 312s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-1.1ubuntu2 [191 kB] 312s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 14.2.0-17ubuntu1 [50.7 kB] 312s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 14.2.0-17ubuntu1 [151 kB] 312s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 14.2.0-17ubuntu1 [30.9 kB] 312s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 14.2.0-17ubuntu1 [2964 kB] 312s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 14.2.0-17ubuntu1 [1184 kB] 312s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB] 312s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB] 313s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB] 313s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 313s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 313s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.55.2-1 [54.8 kB] 313s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 313s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.55.2-1 [80.3 kB] 313s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.55.2-1 [66.7 kB] 313s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-14ubuntu1 [30.5 kB] 313s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-14ubuntu1 [23.6 kB] 313s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-14ubuntu1 [26.8 kB] 313s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB] 313s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB] 313s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 313s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB] 313s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB] 313s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB] 313s Get:52 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB] 313s Get:53 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB] 313s Get:54 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.5-2 [30.8 kB] 313s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB] 313s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB] 313s Get:57 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB] 313s Get:58 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB] 315s Get:59 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.11-0ubuntu2 [282 kB] 315s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB] 315s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB] 315s Get:62 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB] 315s Get:63 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.2.0-1 [538 kB] 315s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB] 315s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB] 315s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.56.1-1 [253 kB] 315s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.56.1-1 [50.3 kB] 315s Get:68 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.56.1-1 [28.3 kB] 315s Get:69 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.1-1 [27.8 kB] 315s Get:70 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.1-1 [11.5 kB] 315s Get:71 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.1-1 [5654 B] 315s Get:72 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B] 315s Get:73 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB] 315s Get:74 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.3-1 [23.4 kB] 315s Get:75 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B] 315s Get:76 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 315s Get:77 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB] 315s Get:78 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 315s Get:79 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.48-3ubuntu1 [2949 kB] 315s Get:80 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 315s Get:81 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB] 315s Get:82 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build1 [3616 kB] 315s Get:83 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build1 [335 kB] 315s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 315s Get:85 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 315s Get:86 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB] 315s Get:87 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB] 316s Get:88 http://ftpmaster.internal/ubuntu plucky/universe s390x spass s390x 3.9-1.1 [354 kB] 316s Get:89 http://ftpmaster.internal/ubuntu plucky/universe s390x tex-common all 6.18 [32.8 kB] 316s Get:90 http://ftpmaster.internal/ubuntu plucky/universe s390x why3 s390x 1.7.2-2build1 [12.3 MB] 317s Fetched 149 MB in 5s (27.5 MB/s) 317s Selecting previously unselected package libgdk-pixbuf2.0-common. 317s (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 ... 55869 files and directories currently installed.) 317s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 317s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 317s Selecting previously unselected package libjpeg-turbo8:s390x. 317s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_s390x.deb ... 317s Unpacking libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 317s Selecting previously unselected package libjpeg8:s390x. 317s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ... 317s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 317s Selecting previously unselected package libdeflate0:s390x. 317s Preparing to unpack .../03-libdeflate0_1.23-1_s390x.deb ... 317s Unpacking libdeflate0:s390x (1.23-1) ... 317s Selecting previously unselected package libjbig0:s390x. 317s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ... 317s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ... 317s Selecting previously unselected package libsharpyuv0:s390x. 317s Preparing to unpack .../05-libsharpyuv0_1.5.0-0.1_s390x.deb ... 317s Unpacking libsharpyuv0:s390x (1.5.0-0.1) ... 317s Selecting previously unselected package libwebp7:s390x. 317s Preparing to unpack .../06-libwebp7_1.5.0-0.1_s390x.deb ... 317s Unpacking libwebp7:s390x (1.5.0-0.1) ... 317s Selecting previously unselected package libtiff6:s390x. 317s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ... 317s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 317s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 317s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_s390x.deb ... 317s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 317s Selecting previously unselected package gtk-update-icon-cache. 317s Preparing to unpack .../09-gtk-update-icon-cache_4.17.4+ds-4_s390x.deb ... 317s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 317s 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. 317s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 317s Selecting previously unselected package hicolor-icon-theme. 317s Preparing to unpack .../10-hicolor-icon-theme_0.18-2_all.deb ... 317s Unpacking hicolor-icon-theme (0.18-2) ... 317s Selecting previously unselected package adwaita-icon-theme. 317s Preparing to unpack .../11-adwaita-icon-theme_48~beta-3_all.deb ... 317s Unpacking adwaita-icon-theme (48~beta-3) ... 317s Selecting previously unselected package at-spi2-common. 317s Preparing to unpack .../12-at-spi2-common_2.55.2-1_all.deb ... 317s Unpacking at-spi2-common (2.55.2-1) ... 317s Selecting previously unselected package libisl23:s390x. 317s Preparing to unpack .../13-libisl23_0.27-1_s390x.deb ... 317s Unpacking libisl23:s390x (0.27-1) ... 317s Selecting previously unselected package libmpc3:s390x. 317s Preparing to unpack .../14-libmpc3_1.3.1-1build2_s390x.deb ... 317s Unpacking libmpc3:s390x (1.3.1-1build2) ... 317s Selecting previously unselected package cpp-14-s390x-linux-gnu. 317s Preparing to unpack .../15-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 317s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 317s Selecting previously unselected package cpp-14. 317s Preparing to unpack .../16-cpp-14_14.2.0-17ubuntu1_s390x.deb ... 317s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 317s Selecting previously unselected package cpp-s390x-linux-gnu. 317s Preparing to unpack .../17-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 317s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 317s Selecting previously unselected package cpp. 317s Preparing to unpack .../18-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 317s Unpacking cpp (4:14.2.0-1ubuntu1) ... 317s Selecting previously unselected package libdconf1:s390x. 317s Preparing to unpack .../19-libdconf1_0.40.0-5_s390x.deb ... 317s Unpacking libdconf1:s390x (0.40.0-5) ... 317s Selecting previously unselected package dconf-service. 317s Preparing to unpack .../20-dconf-service_0.40.0-5_s390x.deb ... 317s Unpacking dconf-service (0.40.0-5) ... 317s Selecting previously unselected package dconf-gsettings-backend:s390x. 317s Preparing to unpack .../21-dconf-gsettings-backend_0.40.0-5_s390x.deb ... 317s Unpacking dconf-gsettings-backend:s390x (0.40.0-5) ... 317s Selecting previously unselected package libfreetype6:s390x. 317s Preparing to unpack .../22-libfreetype6_2.13.3+dfsg-1_s390x.deb ... 317s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ... 317s Selecting previously unselected package fonts-dejavu-mono. 317s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 317s Unpacking fonts-dejavu-mono (2.37-8) ... 317s Selecting previously unselected package fonts-dejavu-core. 317s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 317s Unpacking fonts-dejavu-core (2.37-8) ... 317s Selecting previously unselected package fontconfig-config. 317s Preparing to unpack .../25-fontconfig-config_2.15.0-1.1ubuntu2_s390x.deb ... 317s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ... 317s Selecting previously unselected package libfontconfig1:s390x. 318s Preparing to unpack .../26-libfontconfig1_2.15.0-1.1ubuntu2_s390x.deb ... 318s Unpacking libfontconfig1:s390x (2.15.0-1.1ubuntu2) ... 318s Selecting previously unselected package fontconfig. 318s Preparing to unpack .../27-fontconfig_2.15.0-1.1ubuntu2_s390x.deb ... 318s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 318s Selecting previously unselected package libcc1-0:s390x. 318s Preparing to unpack .../28-libcc1-0_14.2.0-17ubuntu1_s390x.deb ... 318s Unpacking libcc1-0:s390x (14.2.0-17ubuntu1) ... 318s Selecting previously unselected package libgomp1:s390x. 318s Preparing to unpack .../29-libgomp1_14.2.0-17ubuntu1_s390x.deb ... 318s Unpacking libgomp1:s390x (14.2.0-17ubuntu1) ... 318s Selecting previously unselected package libitm1:s390x. 318s Preparing to unpack .../30-libitm1_14.2.0-17ubuntu1_s390x.deb ... 318s Unpacking libitm1:s390x (14.2.0-17ubuntu1) ... 318s Selecting previously unselected package libasan8:s390x. 318s Preparing to unpack .../31-libasan8_14.2.0-17ubuntu1_s390x.deb ... 318s Unpacking libasan8:s390x (14.2.0-17ubuntu1) ... 318s Selecting previously unselected package libubsan1:s390x. 318s Preparing to unpack .../32-libubsan1_14.2.0-17ubuntu1_s390x.deb ... 318s Unpacking libubsan1:s390x (14.2.0-17ubuntu1) ... 318s Selecting previously unselected package libgcc-14-dev:s390x. 318s Preparing to unpack .../33-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ... 318s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 318s Selecting previously unselected package gcc-14-s390x-linux-gnu. 318s Preparing to unpack .../34-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 318s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 318s Selecting previously unselected package gcc-14. 318s Preparing to unpack .../35-gcc-14_14.2.0-17ubuntu1_s390x.deb ... 318s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 318s Selecting previously unselected package gcc-s390x-linux-gnu. 318s Preparing to unpack .../36-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 318s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 318s Selecting previously unselected package gcc. 318s Preparing to unpack .../37-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 318s Unpacking gcc (4:14.2.0-1ubuntu1) ... 318s Selecting previously unselected package libatk1.0-0t64:s390x. 318s Preparing to unpack .../38-libatk1.0-0t64_2.55.2-1_s390x.deb ... 318s Unpacking libatk1.0-0t64:s390x (2.55.2-1) ... 318s Selecting previously unselected package libxi6:s390x. 318s Preparing to unpack .../39-libxi6_2%3a1.8.2-1_s390x.deb ... 318s Unpacking libxi6:s390x (2:1.8.2-1) ... 318s Selecting previously unselected package libatspi2.0-0t64:s390x. 318s Preparing to unpack .../40-libatspi2.0-0t64_2.55.2-1_s390x.deb ... 318s Unpacking libatspi2.0-0t64:s390x (2.55.2-1) ... 318s Selecting previously unselected package libatk-bridge2.0-0t64:s390x. 318s Preparing to unpack .../41-libatk-bridge2.0-0t64_2.55.2-1_s390x.deb ... 318s Unpacking libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 318s Selecting previously unselected package libavahi-common-data:s390x. 318s Preparing to unpack .../42-libavahi-common-data_0.8-14ubuntu1_s390x.deb ... 318s Unpacking libavahi-common-data:s390x (0.8-14ubuntu1) ... 318s Selecting previously unselected package libavahi-common3:s390x. 318s Preparing to unpack .../43-libavahi-common3_0.8-14ubuntu1_s390x.deb ... 318s Unpacking libavahi-common3:s390x (0.8-14ubuntu1) ... 318s Selecting previously unselected package libavahi-client3:s390x. 318s Preparing to unpack .../44-libavahi-client3_0.8-14ubuntu1_s390x.deb ... 318s Unpacking libavahi-client3:s390x (0.8-14ubuntu1) ... 318s Selecting previously unselected package libpixman-1-0:s390x. 318s Preparing to unpack .../45-libpixman-1-0_0.44.0-3_s390x.deb ... 318s Unpacking libpixman-1-0:s390x (0.44.0-3) ... 318s Selecting previously unselected package libxcb-render0:s390x. 318s Preparing to unpack .../46-libxcb-render0_1.17.0-2_s390x.deb ... 318s Unpacking libxcb-render0:s390x (1.17.0-2) ... 318s Selecting previously unselected package libxcb-shm0:s390x. 318s Preparing to unpack .../47-libxcb-shm0_1.17.0-2_s390x.deb ... 318s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 318s Selecting previously unselected package libxrender1:s390x. 318s Preparing to unpack .../48-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ... 318s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ... 318s Selecting previously unselected package libcairo2:s390x. 318s Preparing to unpack .../49-libcairo2_1.18.2-2_s390x.deb ... 318s Unpacking libcairo2:s390x (1.18.2-2) ... 318s Selecting previously unselected package libcairo-gobject2:s390x. 318s Preparing to unpack .../50-libcairo-gobject2_1.18.2-2_s390x.deb ... 318s Unpacking libcairo-gobject2:s390x (1.18.2-2) ... 318s Selecting previously unselected package libstdlib-ocaml. 318s Preparing to unpack .../51-libstdlib-ocaml_5.2.0-3_s390x.deb ... 318s Unpacking libstdlib-ocaml (5.2.0-3) ... 318s Selecting previously unselected package ocaml-base. 318s Preparing to unpack .../52-ocaml-base_5.2.0-3_s390x.deb ... 318s Unpacking ocaml-base (5.2.0-3) ... 318s Selecting previously unselected package libcairo2-ocaml. 318s Preparing to unpack .../53-libcairo2-ocaml_0.6.5-2_s390x.deb ... 318s Unpacking libcairo2-ocaml (0.6.5-2) ... 318s Selecting previously unselected package liblcms2-2:s390x. 318s Preparing to unpack .../54-liblcms2-2_2.16-2_s390x.deb ... 318s Unpacking liblcms2-2:s390x (2.16-2) ... 318s Selecting previously unselected package libcolord2:s390x. 318s Preparing to unpack .../55-libcolord2_1.4.7-1build2_s390x.deb ... 318s Unpacking libcolord2:s390x (1.4.7-1build2) ... 318s Selecting previously unselected package libstdlib-ocaml-dev. 318s Preparing to unpack .../56-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ... 318s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 318s Selecting previously unselected package libcompiler-libs-ocaml-dev. 318s Preparing to unpack .../57-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ... 318s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 319s Selecting previously unselected package libcups2t64:s390x. 319s Preparing to unpack .../58-libcups2t64_2.4.11-0ubuntu2_s390x.deb ... 319s Unpacking libcups2t64:s390x (2.4.11-0ubuntu2) ... 319s Selecting previously unselected package libdatrie1:s390x. 319s Preparing to unpack .../59-libdatrie1_0.2.13-3build1_s390x.deb ... 319s Unpacking libdatrie1:s390x (0.2.13-3build1) ... 319s Selecting previously unselected package libepoxy0:s390x. 319s Preparing to unpack .../60-libepoxy0_1.5.10-2_s390x.deb ... 319s Unpacking libepoxy0:s390x (1.5.10-2) ... 319s Selecting previously unselected package libgraphite2-3:s390x. 319s Preparing to unpack .../61-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ... 319s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 319s Selecting previously unselected package libharfbuzz0b:s390x. 319s Preparing to unpack .../62-libharfbuzz0b_10.2.0-1_s390x.deb ... 319s Unpacking libharfbuzz0b:s390x (10.2.0-1) ... 319s Selecting previously unselected package libthai-data. 319s Preparing to unpack .../63-libthai-data_0.1.29-2build1_all.deb ... 319s Unpacking libthai-data (0.1.29-2build1) ... 319s Selecting previously unselected package libthai0:s390x. 319s Preparing to unpack .../64-libthai0_0.1.29-2build1_s390x.deb ... 319s Unpacking libthai0:s390x (0.1.29-2build1) ... 319s Selecting previously unselected package libpango-1.0-0:s390x. 319s Preparing to unpack .../65-libpango-1.0-0_1.56.1-1_s390x.deb ... 319s Unpacking libpango-1.0-0:s390x (1.56.1-1) ... 319s Selecting previously unselected package libpangoft2-1.0-0:s390x. 319s Preparing to unpack .../66-libpangoft2-1.0-0_1.56.1-1_s390x.deb ... 319s Unpacking libpangoft2-1.0-0:s390x (1.56.1-1) ... 319s Selecting previously unselected package libpangocairo-1.0-0:s390x. 319s Preparing to unpack .../67-libpangocairo-1.0-0_1.56.1-1_s390x.deb ... 319s Unpacking libpangocairo-1.0-0:s390x (1.56.1-1) ... 319s Selecting previously unselected package libwayland-client0:s390x. 319s Preparing to unpack .../68-libwayland-client0_1.23.1-1_s390x.deb ... 319s Unpacking libwayland-client0:s390x (1.23.1-1) ... 319s Selecting previously unselected package libwayland-cursor0:s390x. 319s Preparing to unpack .../69-libwayland-cursor0_1.23.1-1_s390x.deb ... 319s Unpacking libwayland-cursor0:s390x (1.23.1-1) ... 319s Selecting previously unselected package libwayland-egl1:s390x. 319s Preparing to unpack .../70-libwayland-egl1_1.23.1-1_s390x.deb ... 319s Unpacking libwayland-egl1:s390x (1.23.1-1) ... 319s Selecting previously unselected package libxcomposite1:s390x. 319s Preparing to unpack .../71-libxcomposite1_1%3a0.4.6-1_s390x.deb ... 319s Unpacking libxcomposite1:s390x (1:0.4.6-1) ... 319s Selecting previously unselected package libxfixes3:s390x. 319s Preparing to unpack .../72-libxfixes3_1%3a6.0.0-2build1_s390x.deb ... 319s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ... 319s Selecting previously unselected package libxcursor1:s390x. 319s Preparing to unpack .../73-libxcursor1_1%3a1.2.3-1_s390x.deb ... 319s Unpacking libxcursor1:s390x (1:1.2.3-1) ... 319s Selecting previously unselected package libxdamage1:s390x. 319s Preparing to unpack .../74-libxdamage1_1%3a1.1.6-1build1_s390x.deb ... 319s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ... 319s Selecting previously unselected package libxinerama1:s390x. 319s Preparing to unpack .../75-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 319s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 319s Selecting previously unselected package libxrandr2:s390x. 319s Preparing to unpack .../76-libxrandr2_2%3a1.5.4-1_s390x.deb ... 319s Unpacking libxrandr2:s390x (2:1.5.4-1) ... 319s Selecting previously unselected package libgtk-3-common. 319s Preparing to unpack .../77-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 319s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 319s Selecting previously unselected package libgtk-3-0t64:s390x. 319s Preparing to unpack .../78-libgtk-3-0t64_3.24.48-3ubuntu1_s390x.deb ... 319s Unpacking libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 319s Selecting previously unselected package libgtksourceview-3.0-common. 319s Preparing to unpack .../79-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 319s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 319s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 319s Preparing to unpack .../80-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ... 319s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ... 319s Selecting previously unselected package liblablgtk3-ocaml. 319s Preparing to unpack .../81-liblablgtk3-ocaml_3.1.5-1build1_s390x.deb ... 319s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 319s Selecting previously unselected package liblablgtksourceview3-ocaml. 319s Preparing to unpack .../82-liblablgtksourceview3-ocaml_3.1.5-1build1_s390x.deb ... 319s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 319s Selecting previously unselected package libncurses-dev:s390x. 319s Preparing to unpack .../83-libncurses-dev_6.5+20250125-2_s390x.deb ... 319s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 319s Selecting previously unselected package libzstd-dev:s390x. 319s Preparing to unpack .../84-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 319s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 319s Selecting previously unselected package ocaml-interp. 319s Preparing to unpack .../85-ocaml-interp_5.2.0-3_s390x.deb ... 319s Unpacking ocaml-interp (5.2.0-3) ... 319s Selecting previously unselected package ocaml. 319s Preparing to unpack .../86-ocaml_5.2.0-3_s390x.deb ... 319s Unpacking ocaml (5.2.0-3) ... 320s Selecting previously unselected package spass. 320s Preparing to unpack .../87-spass_3.9-1.1_s390x.deb ... 320s Unpacking spass (3.9-1.1) ... 320s Selecting previously unselected package tex-common. 320s Preparing to unpack .../88-tex-common_6.18_all.deb ... 320s Unpacking tex-common (6.18) ... 320s Selecting previously unselected package why3. 320s Preparing to unpack .../89-why3_1.7.2-2build1_s390x.deb ... 320s Unpacking why3 (1.7.2-2build1) ... 320s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ... 320s Setting up liblcms2-2:s390x (2.16-2) ... 320s Setting up libpixman-1-0:s390x (0.44.0-3) ... 320s Setting up libsharpyuv0:s390x (1.5.0-0.1) ... 320s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 320s Setting up libxdamage1:s390x (1:1.1.6-1build1) ... 320s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 320s Setting up hicolor-icon-theme (0.18-2) ... 320s Setting up libxi6:s390x (2:1.8.2-1) ... 320s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ... 320s Setting up libdatrie1:s390x (0.2.13-3build1) ... 320s Setting up libxcb-render0:s390x (1.17.0-2) ... 320s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 320s Setting up libdeflate0:s390x (1.23-1) ... 320s Setting up libxcb-shm0:s390x (1.17.0-2) ... 320s Setting up libgomp1:s390x (14.2.0-17ubuntu1) ... 320s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ... 320s Setting up libcolord2:s390x (1.4.7-1build2) ... 320s Setting up libdconf1:s390x (0.40.0-5) ... 320s Setting up tex-common (6.18) ... 320s update-language: texlive-base not installed and configured, doing nothing! 320s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ... 320s Setting up libepoxy0:s390x (1.5.10-2) ... 320s Setting up libxfixes3:s390x (1:6.0.0-2build1) ... 320s Setting up spass (3.9-1.1) ... 320s Setting up libavahi-common-data:s390x (0.8-14ubuntu1) ... 320s Setting up libatspi2.0-0t64:s390x (2.55.2-1) ... 320s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 320s Setting up libstdlib-ocaml (5.2.0-3) ... 320s Setting up fonts-dejavu-mono (2.37-8) ... 320s Setting up libmpc3:s390x (1.3.1-1build2) ... 320s Setting up libxrandr2:s390x (2:1.5.4-1) ... 320s Setting up ocaml-base (5.2.0-3) ... 320s Setting up fonts-dejavu-core (2.37-8) ... 320s Setting up libjpeg-turbo8:s390x (2.1.5-3ubuntu2) ... 320s Setting up libwebp7:s390x (1.5.0-0.1) ... 320s Setting up libubsan1:s390x (14.2.0-17ubuntu1) ... 320s Setting up at-spi2-common (2.55.2-1) ... 320s Setting up libasan8:s390x (14.2.0-17ubuntu1) ... 320s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 320s Setting up libharfbuzz0b:s390x (10.2.0-1) ... 320s Setting up libthai-data (0.1.29-2build1) ... 320s Setting up libwayland-egl1:s390x (1.23.1-1) ... 320s Setting up libisl23:s390x (0.27-1) ... 320s Setting up libxcomposite1:s390x (1:0.4.6-1) ... 320s Setting up libcc1-0:s390x (14.2.0-17ubuntu1) ... 320s Setting up libitm1:s390x (14.2.0-17ubuntu1) ... 320s Setting up libwayland-client0:s390x (1.23.1-1) ... 320s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 320s Setting up libatk1.0-0t64:s390x (2.55.2-1) ... 320s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 320s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ... 320s Setting up libxcursor1:s390x (1:1.2.3-1) ... 320s Setting up libavahi-common3:s390x (0.8-14ubuntu1) ... 320s Setting up dconf-service (0.40.0-5) ... 320s Setting up libthai0:s390x (0.1.29-2build1) ... 320s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 320s Setting up ocaml-interp (5.2.0-3) ... 320s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 320s Setting up cpp-14 (14.2.0-17ubuntu1) ... 320s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ... 320s Setting up libwayland-cursor0:s390x (1.23.1-1) ... 320s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-2) ... 320s Setting up libfontconfig1:s390x (2.15.0-1.1ubuntu2) ... 320s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 320s Setting up libavahi-client3:s390x (0.8-14ubuntu1) ... 320s Setting up libatk-bridge2.0-0t64:s390x (2.55.2-1) ... 320s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 320s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 322s Regenerating fonts cache... done. 322s Setting up dconf-gsettings-backend:s390x (0.40.0-5) ... 322s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 322s Setting up libpango-1.0-0:s390x (1.56.1-1) ... 322s Setting up libcairo2:s390x (1.18.2-2) ... 322s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 322s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 322s Setting up adwaita-icon-theme (48~beta-3) ... 322s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 322s Setting up cpp (4:14.2.0-1ubuntu1) ... 322s Setting up libcairo-gobject2:s390x (1.18.2-2) ... 322s Setting up libpangoft2-1.0-0:s390x (1.56.1-1) ... 322s Setting up libcups2t64:s390x (2.4.11-0ubuntu2) ... 322s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 322s Setting up libpangocairo-1.0-0:s390x (1.56.1-1) ... 322s Setting up libcairo2-ocaml (0.6.5-2) ... 322s Setting up gcc-14 (14.2.0-17ubuntu1) ... 322s Setting up gcc (4:14.2.0-1ubuntu1) ... 322s Setting up ocaml (5.2.0-3) ... 322s Processing triggers for libc-bin (2.41-1ubuntu1) ... 322s Processing triggers for man-db (2.13.0-1) ... 323s Processing triggers for libglib2.0-0t64:s390x (2.83.3-2) ... 323s Setting up libgtk-3-0t64:s390x (3.24.48-3ubuntu1) ... 323s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 323s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ... 323s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 323s Setting up why3 (1.7.2-2build1) ... 323s Processing triggers for libc-bin (2.41-1ubuntu1) ... 323s autopkgtest: DBG: testbed command exited with code 0 323s autopkgtest: DBG: testbed command ['dpkg-query', '--show', '-f', '${Status}', 'why3'], kind short, sout pipe, serr pipe, env [] 324s autopkgtest: DBG: testbed command exited with code 0 324s autopkgtest: DBG: testbed command ['sh', '-ec', "dpkg-query --show -f '${Package}\\t${Version}\\n' > /tmp/autopkgtest.YwiRSm/why3+spass-packages.all"], kind short, sout raw, serr pipe, env [] 324s autopkgtest: DBG: testbed command exited with code 0 324s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/why3%2Bspass-packages.all /tmp/autopkgtest-work.mhhdz3l1/out/why3%2Bspass-packages.all 324s autopkgtest: DBG: got reply from testbed: ok 324s autopkgtest: DBG: testbed command ['test', '-e', '/tmp/autopkgtest.YwiRSm/build.sQf/src'], kind short, sout raw, serr raw, env [] 324s autopkgtest: DBG: testbed command exited with code 1 324s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm/build.sQf'], kind short, sout raw, serr pipe, env [] 324s autopkgtest: DBG: testbed command exited with code 0 324s autopkgtest: DBG: sending command to testbed: copydown /tmp/autopkgtest-work.mhhdz3l1/out/tests-tree/ /tmp/autopkgtest.YwiRSm/build.sQf/src/ 331s autopkgtest: DBG: got reply from testbed: ok 331s autopkgtest: DBG: testbed command ['chown', '-R', 'ubuntu', '--', '/tmp/autopkgtest.YwiRSm/build.sQf/src'], kind short, sout raw, serr pipe, env [] 332s autopkgtest: DBG: testbed command exited with code 0 332s autopkgtest [03:46:48]: test why3+spass: [----------------------- 332s autopkgtest: DBG: testbed command ['su', '-s', '/bin/bash', 'ubuntu', '-c', "set -e; exec /tmp/autopkgtest.YwiRSm/wrapper.sh --debug --artifacts=/tmp/autopkgtest.YwiRSm/why3+spass-artifacts --chdir=/tmp/autopkgtest.YwiRSm/build.sQf/src --env=AUTOPKGTEST_TESTBED_ARCH=s390x --env=AUTOPKGTEST_TEST_ARCH=s390x --env=DEB_BUILD_OPTIONS=parallel=2 --env=DEBIAN_FRONTEND=noninteractive --env=LANG=C.UTF-8 --unset-env=LANGUAGE --unset-env=LC_ADDRESS --unset-env=LC_ALL --unset-env=LC_COLLATE --unset-env=LC_CTYPE --unset-env=LC_IDENTIFICATION --unset-env=LC_MEASUREMENT --unset-env=LC_MESSAGES --unset-env=LC_MONETARY --unset-env=LC_NAME --unset-env=LC_NUMERIC --unset-env=LC_PAPER --unset-env=LC_TELEPHONE --unset-env=LC_TIME --script-pid-file=/tmp/autopkgtest_script_pid --source-profile --stderr=/tmp/autopkgtest.YwiRSm/why3+spass-stderr --stdout=/tmp/autopkgtest.YwiRSm/why3+spass-stdout --tmp=/tmp/autopkgtest.YwiRSm/autopkgtest_tmp '--env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1' --make-executable=/tmp/autopkgtest.YwiRSm/build.sQf/src/debian/tests/why3+spass -- /tmp/autopkgtest.YwiRSm/build.sQf/src/debian/tests/why3+spass"], kind test, sout raw, serr raw, env [] 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: creating AUTOPKGTEST_ARTIFACTS: /tmp/autopkgtest.YwiRSm/why3+spass-artifacts 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: changing to directory: /tmp/autopkgtest.YwiRSm/build.sQf/src 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: AUTOPKGTEST_TESTBED_ARCH=s390x 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: AUTOPKGTEST_TEST_ARCH=s390x 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: DEB_BUILD_OPTIONS=parallel=2 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: DEBIAN_FRONTEND=noninteractive 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: LANG=C.UTF-8 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LANGUAGE 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_ADDRESS 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_ALL 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_COLLATE 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_CTYPE 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_IDENTIFICATION 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_MEASUREMENT 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_MESSAGES 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_MONETARY 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_NAME 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_NUMERIC 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_PAPER 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_TELEPHONE 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: unsetting environment: LC_TIME 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: will create pid file: /tmp/autopkgtest_script_pid 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: pretending to be a login shell 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: will write standard error to /tmp/autopkgtest.YwiRSm/why3+spass-stderr 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: will write stdout to /tmp/autopkgtest.YwiRSm/why3+spass-stdout 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: creating AUTOPKGTEST_TMP: /tmp/autopkgtest.YwiRSm/autopkgtest_tmp 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: setting environment: ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: marking as executable: /tmp/autopkgtest.YwiRSm/build.sQf/src/debian/tests/why3+spass 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: command to run: /tmp/autopkgtest.YwiRSm/build.sQf/src/debian/tests/why3+spass 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: copying /tmp/tmp.oTuLyjYvwh/out to stdout and file: /tmp/autopkgtest.YwiRSm/why3+spass-stdout 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: copying /tmp/tmp.oTuLyjYvwh/err to standard error and file: /tmp/autopkgtest.YwiRSm/why3+spass-stdout 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: writing script pid 2459 to /tmp/autopkgtest_script_pid 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: checking for leaked background processes... 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: waiting for tee/cat subprocesses... 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: cleaning up... 332s /tmp/autopkgtest.YwiRSm/wrapper.sh: Exit status: 0 332s autopkgtest: DBG: testbed command exited with code 0 332s autopkgtest [03:46:48]: test why3+spass: -----------------------] 332s autopkgtest: DBG: testbed executing test finished with exit status 0 332s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/why3%2Bspass-stdout /tmp/autopkgtest-work.mhhdz3l1/out/why3%2Bspass-stdout 333s autopkgtest: DBG: got reply from testbed: ok 333s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/why3%2Bspass-stderr /tmp/autopkgtest-work.mhhdz3l1/out/why3%2Bspass-stderr 333s autopkgtest: DBG: got reply from testbed: ok 333s autopkgtest [03:46:49]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 333s why3+spass PASS 333s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/why3%2Bspass-artifacts/ /tmp/autopkgtest-work.mhhdz3l1/out/artifacts/ 333s autopkgtest: DBG: got reply from testbed: ok 333s autopkgtest: DBG: testbed command ['rm', '-rf', '/tmp/autopkgtest.YwiRSm/why3+spass-artifacts', '/tmp/autopkgtest.YwiRSm/autopkgtest_tmp'], kind short, sout raw, serr pipe, env [] 333s autopkgtest: DBG: testbed command exited with code 0 333s autopkgtest [03:46:49]: test why3+z3: preparing testbed 333s autopkgtest: DBG: testbed reset: modified=False, deps_installed=['why3', 'spass', 'ocaml-native-compilers'], deps_new=['why3', 'z3 (<< 4.11.1)', 'ocaml-native-compilers'] 333s autopkgtest: DBG: testbed reset 333s autopkgtest: DBG: sending command to testbed: revert 441s autopkgtest: DBG: got reply from testbed: ok /tmp/autopkgtest.YwiRSm 441s autopkgtest: DBG: sending command to testbed: print-execute-command 441s autopkgtest: DBG: got reply from testbed: ok /tmp/autopkgtest-ssh.x_tvk_o9/runcmd 441s autopkgtest: DBG: sending command to testbed: capabilities 441s autopkgtest: DBG: got reply from testbed: ok root-on-testbed revert ok isolation-machine suggested-normal-user=ubuntu reboot revert-full-system 441s autopkgtest: DBG: testbed capabilities: ['root-on-testbed', 'revert', 'ok', 'isolation-machine', 'suggested-normal-user=ubuntu', 'reboot', 'revert-full-system', 'has_internet'] 441s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 441s autopkgtest: DBG: testbed command exited with code 0 441s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/wrapper.sh /tmp/autopkgtest.YwiRSm/wrapper.sh 442s autopkgtest: DBG: got reply from testbed: ok 442s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/wrapper.sh'], kind short, sout raw, serr pipe, env [] 442s autopkgtest: DBG: testbed command exited with code 0 442s autopkgtest: DBG: testbed command ['dpkg', '--print-architecture'], kind short, sout pipe, serr pipe, env [] 442s autopkgtest: DBG: testbed command exited with code 0 442s autopkgtest [03:48:38]: testbed dpkg architecture: s390x 442s autopkgtest: DBG: testbed command ['dpkg-query', '-W', '-f', '${Version}', 'apt'], kind short, sout pipe, serr pipe, env [] 442s autopkgtest: DBG: testbed command exited with code 0 442s autopkgtest [03:48:38]: testbed apt version: 2.9.28 442s autopkgtest: DBG: testbed command ['sh', '-ec', 'command -v eatmydata'], kind short, sout pipe, serr pipe, env [] 442s autopkgtest: DBG: testbed command exited with code 0 442s autopkgtest: DBG: testbed has eatmydata 442s autopkgtest: DBG: testbed command ['mkdir', '-p', '/etc/apt/preferences.d'], kind short, sout raw, serr pipe, env [] 442s autopkgtest: DBG: testbed command exited with code 0 442s autopkgtest [03:48:38]: @@@@@@@@@@@@@@@@@@@@ test bed setup 442s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# Copyright © 2006-2018 Canonical Ltd.\n# Copyright © 2015-2017 Martin Pitt\n# Copyright © 2017 Steve Langasek\n# Copyright © 2017-2022 Paul Gevers\n# Copyright © 2018 Simon McVittie\n# SPDX-License-Identifier: GPL-2.0-or-later\n\n# This script returns the first suite found in apt sources. We can\'t just rely\n# on /etc/os-release because it doesn\'t allow to distinguish between Debian\n# unstable and testing.\n#\n# This release detection logic should be kept in sync with similar code in the\n# setup-testbed script.\n#\n# For more information on APT data sources see sources.list(5).\n\n# Usage $0\n\nset -eux\n\ndistro=UNKNOWN\nif [ -r /etc/os-release ]; then\n # shellcheck disable=SC1091\n distro=$(. /etc/os-release && echo "${ID:-$distro}")\nfi\n\n# Try guessing the default release from deb822-style format sources.\n#\n# While not mandatory, APT upstream expects distros to follow the\n# .sources naming pattern for the default deb822 sources.\napt_sources="/etc/apt/sources.list.d/$distro.sources"\nif [ -r "$apt_sources" ]; then\n release=$(sed -En \'s/^Suites:\\s*(\\w+).*/\\1/Ip\' "$apt_sources" | head -n1)\n [ -n "$release" ] && echo "$release" && exit\nfi\n\n# Try guessing the default release from one-line-style format sources.\napt_sources=/etc/apt/sources.list\nif [ -r "$apt_sources" ]; then\n release=$(sed -En \'/^(deb|deb-src) +(\\[.*\\] *)?(http|https|file):/ { s/\\[.*\\] +//; s/^[^ ]+ +[^ ]* +([^ ]+) +.*$/\\1/p }\' "$apt_sources" | head -n1)\n [ -n "$release" ] && echo "$release" && exit\nfi\n\n# Could not guess the default release\necho "Could not guess the default release from the APT sources." >&2\nexit 1\n'], kind short, sout pipe, serr pipe, env [] 443s autopkgtest: DBG: testbed command exited with code 0 443s autopkgtest [03:48:39]: testbed release detected to be: plucky 443s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# SPDX-License-Identifier: GPL-2.0-or-later\n\n# This script returns the list of configured "deb" sources in one-line-style\n# source lists (/etc/apt/sources.list, /etc/apt/sources.list.d/*.list).\n# See sources.list(5) for more information on the APT source list formats.\n#\n# This script takes no arguments.\n\nset -eu\n\n# grep(1) returns 1 if no lines were selected from the input files, which\n# can happen if there are .list files, but they contain no "deb" entries.\n# We don\'t want to fail in this case, hence the "|| true", which we put\n# in a subshell because we want it to affect only the grep invocation.\n{\n if [ -f /etc/apt/sources.list ]; then\n printf \'%s\\0\' /etc/apt/sources.list\n fi\n if [ -d /etc/apt/sources.list.d ]; then\n find /etc/apt/sources.list.d -maxdepth 1 -type f -regex \'.*/[a-zA-Z0-9_.-]+\\.list\' -print0 \\\n | LC_ALL=C sort --zero-terminated\n fi\n} | xargs -0 --no-run-if-empty -- sh -c \'grep -h "^deb " "$@" || true\' "$(basename "$0")"\n'], kind short, sout pipe, serr pipe, env [] 443s autopkgtest: DBG: testbed command exited with code 0 443s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# SPDX-License-Identifier: GPL-2.0-or-later\n\n# This script returns the list of configured sources in deb822-style source\n# lists (/etc/apt/sources.list.d/*.sources). Sources are not stripped out of\n# comments, extra blank lines or similar: the output of this script is meant to\n# be consumed by a deb822 parser that is able to correctly handle those.\n# See sources.list(5) for more information on the APT source list formats.\n#\n# This script takes no arguments.\n\nset -eu\n\n# Awk concatenates files making sure stanzas from separate files are separated\n# by a blank line, even if there are no newlines at EOF in the .sources files.\nif [ -d /etc/apt/sources.list.d ]; then\n find /etc/apt/sources.list.d -maxdepth 1 -type f -regex \'.*/[a-zA-Z0-9_.-]+\\.sources\' -print0 \\\n | LC_ALL=C sort --zero-terminated \\\n | xargs -0 --no-run-if-empty -- awk \'FNR == 1 && NR != 1 { print "" } { print }\'\nfi\n'], kind short, sout pipe, serr pipe, env [] 443s autopkgtest: DBG: testbed command exited with code 0 443s autopkgtest: DBG: adding APT source: Types: deb deb-src 443s URIs: http://ftpmaster.internal/ubuntu/ 443s Suites: plucky-proposed 443s Components: main restricted universe multiverse 443s Signed-By: /usr/share/keyrings/ubuntu-archive-keyring.gpg 443s autopkgtest: DBG: testbed command ['sh', '-ec', '"$@" >> "/etc/apt/sources.list.d/autopkgtest-add-apt-release-plucky-proposed.sources"', 'add_apt_source', 'printf', '%s\\n', 'Types: deb deb-src\nURIs: http://ftpmaster.internal/ubuntu/\nSuites: plucky-proposed\nComponents: main restricted universe multiverse\nSigned-By: /usr/share/keyrings/ubuntu-archive-keyring.gpg\n'], kind short, sout raw, serr pipe, env [] 443s autopkgtest: DBG: testbed command exited with code 0 443s autopkgtest: DBG: adding APT preference to autopkgtest-zz-plucky-proposed-baseline.pref: 443s Package: * 443s Pin: release plucky-proposed 443s Pin-Priority: 500 443s autopkgtest: DBG: testbed command ['sh', '-ec', '"$@" > "/etc/apt/preferences.d/autopkgtest-zz-plucky-proposed-baseline.pref"', 'add_apt_preference', 'printf', '%s\\n', 'Package: *\nPin: release plucky-proposed\nPin-Priority: 500'], kind short, sout raw, serr pipe, env [] 443s autopkgtest: DBG: testbed command exited with code 0 443s autopkgtest [03:48:39]: updating testbed package index (apt update) 443s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', 'update'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 444s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 444s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 444s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 444s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 444s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 444s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [810 kB] 444s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [73.0 kB] 444s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 444s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [166 kB] 444s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 444s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [855 kB] 444s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3740 B] 444s Fetched 2035 kB in 1s (2119 kB/s) 445s Reading package lists... 445s autopkgtest: DBG: testbed command exited with code 0 445s autopkgtest: DBG: adding APT preference to autopkgtest-plucky-proposed.pref: 445s Package: * 445s Pin: release plucky-proposed 445s Pin-Priority: 100 445s 445s Package: src:glibc:any src:iproute2:any src:php-twig:any src:postgresql-17:any src:postgresql-common:any src:roundcube:any 445s Pin: release plucky-proposed 445s Pin-Priority: 995 445s autopkgtest: DBG: testbed command ['sh', '-ec', '"$@" > "/etc/apt/preferences.d/autopkgtest-plucky-proposed.pref"', 'add_apt_preference', 'printf', '%s\\n', 'Package: *\nPin: release plucky-proposed\nPin-Priority: 100\n\nPackage: src:glibc:any src:iproute2:any src:php-twig:any src:postgresql-17:any src:postgresql-common:any src:roundcube:any\nPin: release plucky-proposed\nPin-Priority: 995'], kind short, sout raw, serr pipe, env [] 445s autopkgtest: DBG: testbed command exited with code 0 445s autopkgtest: DBG: testbed command ['bash', '-ec', 'for d in /boot /boot/efi /boot/grub /etc/init /etc/init.d /etc/systemd/system /lib/systemd/system; do [ ! -d $d ] || touch -r $d /tmp/autopkgtest.YwiRSm/${d//\\//_}.stamp; done'], kind short, sout raw, serr pipe, env [] 445s autopkgtest: DBG: testbed command exited with code 0 445s autopkgtest: DBG: testbed command ['sh', '-ec', '#!/bin/sh\n# Canonical/Ubuntu specific testbed setup\n\nset -x\n\nRELEASE=$(lsb_release --codename --short 2>/dev/null)\n\n# Make the installed package versions match what is available from the configured\n# repositories, even if a downgrade is required.\n#\n# We may end up with images with packages newer than those available from the\n# repositories when opening a new release (images are created using the\n# previous release dailies as a base, which may include 0-day SRUs, or\n# Launchpad may fail to copy packages, see openssl 3.0.8-1ubuntu2), or when\n# package versions are pulled from the archive.\n#\n# Note: \'release a=\' matches the Suite field in the repository Release file.\ncat >/etc/apt/preferences.d/force-downgrade-to-release.pref <= Focal).\n#\n# Note: autoremove/--autoremove always runs on the entire set of installed\n# packages. Together with --autopurge/purge each removal becomes a purge.\n#\n# Removing \'?obsolete\' packages may remove the running kernel. This is not\n# expected to be an issue.\nif /usr/lib/apt/apt-helper analyze-pattern \'?true\' >/dev/null 2>&1; then\n # DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove \'?obsolete\'\n # Avoid removing the running kernel\n running_kernel_pattern="^linux-.*$(uname -r | sed \'s/\\./\\\\./g\').*"\n obsolete_pkgs="$(apt list \'?obsolete\' 2>/dev/null \\\n | tail -n+2 \\\n | cut -d\'/\' -f1 \\\n | grep -v "${running_kernel_pattern}" || true)"\n DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove ${obsolete_pkgs}\nelse\n # We\'re on an older release (analyze-pattern is not available).\n # Still do an autopurge to get rid of packages that got orphaned\n # by downgrades.\n eatmydata apt-get -y autoremove --purge\nfi\n\n# compatibility with old Jenkins testbeds for trusty\nif grep -q trusty /etc/lsb-release; then apt-get update || (sleep 10; apt-get update); apt-get install -y build-essential; fi\n\n# these packages really break tests, purge them if we use standard cloud images\n# (on lcy01)\nfor p in unattended-upgrades lxd lxd-client snapd; do\n [ ! -d /usr/share/doc/$p ] || $(which eatmydata || true) apt-get purge --auto-remove -y $p\ndone\n\nif type iptables >/dev/null 2>&1; then\n cat < /etc/rc.local\n#!/bin/sh\n\n# work around broken PTMU; LP: #1572026, RT#90771\niptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu || true\n\n# These addresses are used at least by rust-reqwest and should not be reachable\n# See https://bugs.launchpad.net/ubuntu/+source/rust-reqwest/+bug/2080346\niptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP || true\niptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP || true\nEOF\n chmod 755 /etc/rc.local\n # shellcheck disable=SC1091\n . /etc/rc.local\nfi\n\n# work around broken tty on ppc64el instances (LP: #1607075)\nif [ "$(uname -m)" = ppc64le ] && [ "$(systemctl is-active keyboard-setup.service 2>/dev/null|| true)" = failed ]; then\n systemctl reset-failed keyboard-setup.service\n systemctl mask keyboard-setup.service\nfi\n\n# work around late urandom pool initialization (LP: #1622893)\nif [ -d /run/systemd/system ] && systemd-detect-virt --quiet --vm; then\n mkdir -p /etc/systemd/system/systemd-random-seed.service.d/\n cat < /etc/systemd/system/systemd-random-seed.service.d/fakeentropy.conf\n[Service]\nExecStart=/usr/bin/perl -E \'open \\$\\$f, "/bin/bash" or die; open \\$\\$rnd, ">/dev/random" or die; for (\\$\\$i = 0; \\$\\$i < 10; ++\\$\\$i) {read \\$\\$f, \\$\\$d, 64; ioctl \\$\\$rnd, 0x40085203, pack("ii", 64*8, 64) . \\$\\$d}\'\nEOF\nfi\n\n# set compressor to lz4 where supported, we care about compression speed\nif grep -q lz4 /etc/initramfs-tools/initramfs.conf; then\n echo COMPRESS=lz4 > /etc/initramfs-tools/conf.d/lz4\nfi'], kind install, sout raw, serr raw, env ['AUTOPKGTEST_IS_SETUP_COMMAND=1', 'AUTOPKGTEST_NORMAL_USER=ubuntu', 'ADT_NORMAL_USER=ubuntu'] 445s + lsb_release --codename --short 445s + RELEASE=plucky 445s + cat 445s + [ plucky != trusty ] 445s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 446s Reading package lists... 446s Building dependency tree... 446s Reading state information... 446s Calculating upgrade... 446s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 446s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 446s + /usr/lib/apt/apt-helper analyze-pattern ?true 446s + uname -r 446s + sed s/\./\\./g 446s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 446s + apt list ?obsolete 446s + tail -n+2+ cut -d/ -f1 446s 446s + grep -v ^linux-.*6\.12\.0-15-generic.* 446s + obsolete_pkgs=linux-image-6.11.0-8-generic 446s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-image-6.11.0-8-generic 446s Reading package lists... 446s Building dependency tree... 446s Reading state information... 446s The following packages will be REMOVED: 446s linux-image-6.11.0-8-generic* 446s 0 upgraded, 0 newly installed, 1 to remove and 6 not upgraded. 446s After this operation, 10.5 MB disk space will be freed. 447s (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 ... 80973 files and directories currently installed.) 447s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 447s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.12.0-15-generic 447s I: /boot/initrd.img.old is now a symlink to initrd.img-6.12.0-15-generic 447s /etc/kernel/postrm.d/initramfs-tools: 447s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 447s /etc/kernel/postrm.d/zz-zipl: 447s Using config file '/etc/zipl.conf' 447s Building bootmap in '/boot' 447s Adding IPL section 'ubuntu' (default) 447s Preparing boot device for LD-IPL: vda (0000). 447s Done. 447s (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 ... 80969 files and directories currently installed.) 447s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 447s rmdir: failed to remove '/lib/modules/6.11.0-8-generic': Directory not empty 447s + grep -q trusty /etc/lsb-release 447s + [ ! -d /usr/share/doc/unattended-upgrades ] 447s + [ ! -d /usr/share/doc/lxd ] 447s + [ ! -d /usr/share/doc/lxd-client ] 447s + [ ! -d /usr/share/doc/snapd ] 447s + type iptables 447s + cat 447s + chmod 755 /etc/rc.local 447s + . /etc/rc.local 447s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 447s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 447s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 447s + uname -m 447s + [ s390x = ppc64le ] 447s + [ -d /run/systemd/system ] 447s + systemd-detect-virt --quiet --vm 447s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 447s + cat 447s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 447s + echo COMPRESS=lz4 447s autopkgtest: DBG: testbed command exited with code 0 447s autopkgtest [03:48:43]: upgrading testbed (apt dist-upgrade and autopurge) 447s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', 'dist-upgrade'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 447s Reading package lists... 447s Building dependency tree... 447s Reading state information... 448s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 448s Starting 2 pkgProblemResolver with broken count: 0 448s Done 448s Entering ResolveByKeep 448s 448s The following packages were automatically installed and are no longer required: 448s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 448s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 448s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 448s linux-tools-6.11.0-8-generic 448s Use 'sudo apt autoremove' to remove them. 448s The following packages will be upgraded: 448s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 448s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 448s Need to get 10.7 MB of archives. 448s After this operation, 305 kB of additional disk space will be used. 448s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu1 [24.3 kB] 448s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu1 [1679 kB] 449s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu1 [4246 kB] 449s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu1 [2891 kB] 449s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu1 [672 kB] 449s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x iproute2 s390x 6.13.0-1ubuntu1 [1174 kB] 449s Preconfiguring packages ... 449s Fetched 10.7 MB in 1s (10.2 MB/s) 449s (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 ... 80969 files and directories currently installed.) 449s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_s390x.deb ... 449s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 449s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_s390x.deb ... 449s Unpacking libc6-dev:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 449s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 449s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 450s Preparing to unpack .../libc6_2.41-1ubuntu1_s390x.deb ... 450s Checking for services that may need to be restarted... 450s Checking init scripts... 450s Checking for services that may need to be restarted... 450s Checking init scripts... 450s Stopping some services possibly affected by the upgrade (will be restarted later): 450s cron: stopping...done. 450s 450s Unpacking libc6:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 450s Setting up libc6:s390x (2.41-1ubuntu1) ... 450s Checking for services that may need to be restarted... 450s Checking init scripts... 450s Restarting services possibly affected by the upgrade: 450s cron: restarting...done. 450s 450s Services restarted successfully. 450s (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 ... 80970 files and directories currently installed.) 450s Preparing to unpack .../libc-bin_2.41-1ubuntu1_s390x.deb ... 450s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 450s Setting up libc-bin (2.41-1ubuntu1) ... 450s (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 ... 80970 files and directories currently installed.) 450s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_s390x.deb ... 450s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 450s Setting up iproute2 (6.13.0-1ubuntu1) ... 450s Setting up locales (2.41-1ubuntu1) ... 450s Installing new version of config file /etc/locale.alias ... 451s Generating locales (this might take a while)... 452s en_US.UTF-8... done 452s Generation complete. 452s Setting up libc-dev-bin (2.41-1ubuntu1) ... 452s Setting up libc6-dev:s390x (2.41-1ubuntu1) ... 452s Processing triggers for man-db (2.13.0-1) ... 453s Processing triggers for systemd (257.2-3ubuntu1) ... 453s autopkgtest: DBG: testbed command exited with code 0 453s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', '--purge', 'autoremove'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 453s Reading package lists... 453s Building dependency tree... 453s Reading state information... 454s Starting pkgProblemResolver with broken count: 0 454s Starting 2 pkgProblemResolver with broken count: 0 454s Done 454s The following packages will be REMOVED: 454s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 454s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 454s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 454s linux-tools-6.11.0-8-generic* 454s 0 upgraded, 0 newly installed, 9 to remove and 0 not upgraded. 454s After this operation, 167 MB disk space will be freed. 454s (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 ... 80971 files and directories currently installed.) 454s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 454s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 454s Removing libpython3.12t64:s390x (3.12.9-1) ... 454s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 454s Removing libnsl2:s390x (1.3.0-3build3) ... 454s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 454s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 454s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 455s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 455s Processing triggers for libc-bin (2.41-1ubuntu1) ... 455s (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 ... 55871 files and directories currently installed.) 455s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 455s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 455s autopkgtest: DBG: testbed command exited with code 0 455s autopkgtest: DBG: testbed command ['bash', '-ec', '[ ! -e /run/autopkgtest_no_reboot.stamp ] || exit 0;for d in /boot /boot/efi /boot/grub /etc/init /etc/init.d /etc/systemd/system /lib/systemd/system; do s=/tmp/autopkgtest.YwiRSm/${d//\\//_}.stamp; [ ! -d $d ] || [ `stat -c %Y $d` = `stat -c %Y $s` ]; done'], kind short, sout raw, serr raw, env [] 455s autopkgtest: DBG: testbed command exited with code 1 455s autopkgtest [03:48:51]: rebooting testbed after setup commands that affected boot 455s autopkgtest: DBG: sending command to testbed: reboot 471s autopkgtest: DBG: got reply from testbed: ok 471s autopkgtest: DBG: testbed supports reboot, creating /tmp/autopkgtest-reboot 471s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 472s autopkgtest: DBG: testbed command exited with code 0 472s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot 472s autopkgtest: DBG: got reply from testbed: ok 472s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 472s autopkgtest: DBG: testbed command exited with code 0 472s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/tmp/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 472s autopkgtest: DBG: testbed command exited with code 0 472s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/sbin/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 472s autopkgtest: DBG: testbed command exited with code 0 472s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 472s autopkgtest: DBG: testbed command exited with code 0 472s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot-prepare.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare 473s autopkgtest: DBG: got reply from testbed: ok 473s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 473s autopkgtest: DBG: testbed command exited with code 0 473s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare', '/tmp/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 473s autopkgtest: DBG: testbed command exited with code 0 473s autopkgtest: DBG: testbed command ['uname', '-srv'], kind short, sout pipe, serr pipe, env [] 473s autopkgtest: DBG: testbed command exited with code 0 473s autopkgtest: DBG: testbed command ['sh', '-ec', "dpkg-query --show -f '${Package}\\t${Version}\\n' > /tmp/autopkgtest.YwiRSm/testbed-packages"], kind short, sout raw, serr pipe, env [] 473s autopkgtest: DBG: testbed command exited with code 0 473s autopkgtest: DBG: sending command to testbed: copyup /tmp/autopkgtest.YwiRSm/testbed-packages /tmp/autopkgtest-work.mhhdz3l1/out/testbed-packages 473s autopkgtest: DBG: got reply from testbed: ok 473s autopkgtest: DBG: testbed supports reboot, creating /tmp/autopkgtest-reboot 473s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 474s autopkgtest: DBG: testbed command exited with code 0 474s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot 474s autopkgtest: DBG: got reply from testbed: ok 474s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 474s autopkgtest: DBG: testbed command exited with code 0 474s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/tmp/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 474s autopkgtest: DBG: testbed command exited with code 0 474s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot', '/sbin/autopkgtest-reboot'], kind short, sout raw, serr pipe, env [] 474s autopkgtest: DBG: testbed command exited with code 0 474s autopkgtest: DBG: testbed command ['mkdir', '-p', '/tmp/autopkgtest.YwiRSm'], kind short, sout raw, serr pipe, env [] 475s autopkgtest: DBG: testbed command exited with code 0 475s autopkgtest: DBG: sending command to testbed: copydown /home/ubuntu/autopkgtest/lib/in-testbed/reboot-prepare.sh /tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare 475s autopkgtest: DBG: got reply from testbed: ok 475s autopkgtest: DBG: testbed command ['chmod', '-R', '0755', '--', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 475s autopkgtest: DBG: testbed command exited with code 0 475s autopkgtest: DBG: testbed command ['ln', '-fns', '/tmp/autopkgtest.YwiRSm/autopkgtest-reboot-prepare', '/tmp/autopkgtest-reboot-prepare'], kind short, sout raw, serr pipe, env [] 475s autopkgtest: DBG: testbed command exited with code 0 475s autopkgtest: DBG: testbed command ['uname', '-srv'], kind short, sout pipe, serr pipe, env [] 475s autopkgtest: DBG: testbed command exited with code 0 475s autopkgtest: DBG: Binaries: no registered binaries, not publishing anything 475s autopkgtest: DBG: install_deps: deps_new=['why3', 'z3 (<< 4.11.1)', 'ocaml-native-compilers'] 475s autopkgtest: DBG: install-deps: satisfying why3, z3 (<< 4.11.1), ocaml-native-compilers 475s autopkgtest: DBG: can use apt-get on testbed: True 475s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', 'satisfy', 'why3, z3 (<< 4.11.1), ocaml-native-compilers'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 476s Reading package lists... 476s Building dependency tree... 476s Reading state information... 476s Starting pkgProblemResolver with broken count: 1 476s Starting 2 pkgProblemResolver with broken count: 1 476s Investigating (0) satisfy:command-line:s390x < none -> 1 @un puN Ib > 476s Broken satisfy:command-line:s390x Depends on why3:s390x < none | 1.7.2-2build1 @un uH > 476s Considering why3:s390x 1 as a solution to satisfy:command-line:s390x 9998 476s Re-Instated libfreetype6:s390x 476s Re-Instated fonts-dejavu-mono:s390x 476s Re-Instated fonts-dejavu-core:s390x 476s Re-Instated fontconfig-config:s390x 476s Re-Instated libfontconfig1:s390x 476s Re-Instated libpixman-1-0:s390x 476s Re-Instated libxcb-render0:s390x 476s Re-Instated libxcb-shm0:s390x 476s Re-Instated libxrender1:s390x 476s Re-Instated libcairo2:s390x 476s Re-Instated libgdk-pixbuf2.0-common:s390x 476s Re-Instated libjpeg-turbo8:s390x 476s Re-Instated libjpeg8:s390x 476s Re-Instated libdeflate0:s390x 476s Re-Instated libjbig0:s390x 476s Re-Instated libsharpyuv0:s390x 476s Re-Instated libwebp7:s390x 476s Re-Instated libtiff6:s390x 476s Re-Instated libgdk-pixbuf-2.0-0:s390x 476s Re-Instated gtk-update-icon-cache:s390x 476s Re-Instated hicolor-icon-theme:s390x 476s Re-Instated adwaita-icon-theme:s390x 476s Re-Instated at-spi2-common:s390x 476s Re-Instated libatk1.0-0t64:s390x 476s Re-Instated libxi6:s390x 476s Re-Instated libatspi2.0-0t64:s390x 476s Re-Instated libatk-bridge2.0-0t64:s390x 476s Re-Instated libcairo-gobject2:s390x 476s Re-Instated liblcms2-2:s390x 476s Re-Instated libcolord2:s390x 476s Re-Instated libavahi-common-data:s390x 476s Re-Instated libavahi-common3:s390x 476s Re-Instated libavahi-client3:s390x 476s Re-Instated libcups2t64:s390x 476s Re-Instated libepoxy0:s390x 476s Re-Instated libgraphite2-3:s390x 476s Re-Instated libharfbuzz0b:s390x 476s Re-Instated fontconfig:s390x 476s Re-Instated libthai-data:s390x 476s Re-Instated libdatrie1:s390x 476s Re-Instated libthai0:s390x 476s Re-Instated libpango-1.0-0:s390x 476s Re-Instated libpangoft2-1.0-0:s390x 476s Re-Instated libpangocairo-1.0-0:s390x 476s Re-Instated libwayland-client0:s390x 476s Re-Instated libwayland-cursor0:s390x 476s Re-Instated libwayland-egl1:s390x 476s Re-Instated libxcomposite1:s390x 476s Re-Instated libxfixes3:s390x 476s Re-Instated libxcursor1:s390x 476s Re-Instated libxdamage1:s390x 476s Re-Instated libxinerama1:s390x 476s Re-Instated libxrandr2:s390x 476s Re-Instated libdconf1:s390x 476s Re-Instated dconf-service:s390x 476s Re-Instated dconf-gsettings-backend:s390x 476s Re-Instated libgtk-3-common:s390x 476s Re-Instated libgtk-3-0t64:s390x 476s Re-Instated libgtksourceview-3.0-common:s390x 476s Re-Instated libgtksourceview-3.0-1:s390x 476s Re-Instated libstdlib-ocaml:s390x 476s Re-Instated ocaml-base:s390x 476s Re-Instated libcairo2-ocaml:s390x 476s Re-Instated liblablgtk3-ocaml:s390x 476s Re-Instated liblablgtksourceview3-ocaml:s390x 476s Re-Instated tex-common:s390x 476s Re-Instated why3:s390x 476s Broken satisfy:command-line:s390x Depends on z3:s390x < none | 4.13.3-1 @un uH > (< 4.11.1) 476s Broken satisfy:command-line:s390x Depends on ocaml-native-compilers:s390x < none @un H > 476s Considering ocaml:s390x 0 as a solution to satisfy:command-line:s390x 9998 476s Re-Instated libstdlib-ocaml-dev:s390x 476s Re-Instated libcompiler-libs-ocaml-dev:s390x 476s Re-Instated ocaml-interp:s390x 476s Re-Instated libncurses-dev:s390x 476s Re-Instated libisl23:s390x 476s Re-Instated libmpc3:s390x 476s Re-Instated cpp-14-s390x-linux-gnu:s390x 476s Re-Instated cpp-14:s390x 476s Re-Instated cpp-s390x-linux-gnu:s390x 476s Re-Instated cpp:s390x 476s Re-Instated libcc1-0:s390x 476s Re-Instated libgomp1:s390x 476s Re-Instated libitm1:s390x 476s Re-Instated libasan8:s390x 476s Re-Instated libubsan1:s390x 476s Re-Instated libgcc-14-dev:s390x 476s Re-Instated gcc-14-s390x-linux-gnu:s390x 476s Re-Instated gcc-14:s390x 476s Re-Instated gcc-s390x-linux-gnu:s390x 476s Re-Instated gcc:s390x 476s Re-Instated libzstd-dev:s390x 476s Re-Instated ocaml:s390x 476s Done 476s Some packages could not be installed. This may mean that you have 476s requested an impossible situation or if you are using the unstable 476s distribution that some required packages have not yet been created 476s or been moved out of Incoming. 476s The following information may help to resolve the situation: 476s 476s The following packages have unmet dependencies: 476s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 476s E: Unable to correct problems, you have held broken packages. 476s autopkgtest: DBG: testbed command exited with code 100 476s autopkgtest: DBG: apt-get satisfy failed; status-fd: 476s 476s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 476s autopkgtest: DBG: testbed command ['rm', '/etc/apt/preferences.d/autopkgtest-plucky-proposed.pref'], kind short, sout raw, serr pipe, env [] 476s autopkgtest: DBG: testbed command exited with code 0 476s autopkgtest: DBG: testbed command ['/bin/sh', '-ec', '"$@" 3>&2 2>&1', 'run_apt_command', '/usr/bin/eatmydata', 'apt-get', '--quiet', '--assume-yes', '-o=APT::Status-Fd=3', '-o=APT::Install-Recommends=false', '-o=Dpkg::Options::=--force-confnew', '-o=Debug::pkgProblemResolver=true', 'satisfy', 'why3, z3 (<< 4.11.1), ocaml-native-compilers'], kind install, sout raw, serr pipe, env ['DEBIAN_FRONTEND=noninteractive', 'APT_LISTBUGS_FRONTEND=none', 'APT_LISTCHANGES_FRONTEND=none'] 476s Reading package lists... 476s Building dependency tree... 476s Reading state information... 477s Starting pkgProblemResolver with broken count: 1 477s Starting 2 pkgProblemResolver with broken count: 1 477s Investigating (0) satisfy:command-line:s390x < none -> 1 @un puN Ib > 477s Broken satisfy:command-line:s390x Depends on why3:s390x < none | 1.8.0-2 @un uH > 477s Considering why3:s390x 1 as a solution to satisfy:command-line:s390x 9998 477s Re-Instated libfreetype6:s390x 477s Re-Instated fonts-dejavu-mono:s390x 477s Re-Instated fonts-dejavu-core:s390x 477s Re-Instated fontconfig-config:s390x 477s Re-Instated libfontconfig1:s390x 477s Re-Instated libpixman-1-0:s390x 477s Re-Instated libxcb-render0:s390x 477s Re-Instated libxcb-shm0:s390x 477s Re-Instated libxrender1:s390x 477s Re-Instated libcairo2:s390x 477s Re-Instated libgdk-pixbuf2.0-common:s390x 477s Re-Instated libjpeg-turbo8:s390x 477s Re-Instated libjpeg8:s390x 477s Re-Instated libdeflate0:s390x 477s Re-Instated libjbig0:s390x 477s Re-Instated libsharpyuv0:s390x 477s Re-Instated libwebp7:s390x 477s Re-Instated libtiff6:s390x 477s Re-Instated libgdk-pixbuf-2.0-0:s390x 477s Re-Instated gtk-update-icon-cache:s390x 477s Re-Instated hicolor-icon-theme:s390x 477s Re-Instated adwaita-icon-theme:s390x 477s Re-Instated at-spi2-common:s390x 477s Re-Instated libatk1.0-0t64:s390x 477s Re-Instated libxi6:s390x 477s Re-Instated libatspi2.0-0t64:s390x 477s Re-Instated libatk-bridge2.0-0t64:s390x 477s Re-Instated libcairo-gobject2:s390x 477s Re-Instated liblcms2-2:s390x 477s Re-Instated libcolord2:s390x 477s Re-Instated libavahi-common-data:s390x 477s Re-Instated libavahi-common3:s390x 477s Re-Instated libavahi-client3:s390x 477s Re-Instated libcups2t64:s390x 477s Re-Instated libepoxy0:s390x 477s Re-Instated libgraphite2-3:s390x 477s Re-Instated libharfbuzz0b:s390x 477s Re-Instated fontconfig:s390x 477s Re-Instated libthai-data:s390x 477s Re-Instated libdatrie1:s390x 477s Re-Instated libthai0:s390x 477s Re-Instated libpango-1.0-0:s390x 477s Re-Instated libpangoft2-1.0-0:s390x 477s Re-Instated libpangocairo-1.0-0:s390x 477s Re-Instated libwayland-client0:s390x 477s Re-Instated libwayland-cursor0:s390x 477s Re-Instated libwayland-egl1:s390x 477s Re-Instated libxcomposite1:s390x 477s Re-Instated libxfixes3:s390x 477s Re-Instated libxcursor1:s390x 477s Re-Instated libxdamage1:s390x 477s Re-Instated libxinerama1:s390x 477s Re-Instated libxrandr2:s390x 477s Re-Instated libdconf1:s390x 477s Re-Instated dconf-service:s390x 477s Re-Instated dconf-gsettings-backend:s390x 477s Re-Instated libgtk-3-common:s390x 477s Re-Instated libgtk-3-0t64:s390x 477s Re-Instated libgtksourceview-3.0-common:s390x 477s Re-Instated libgtksourceview-3.0-1:s390x 477s Re-Instated libstdlib-ocaml:s390x 477s Re-Instated ocaml-base:s390x 477s Re-Instated libcairo2-ocaml:s390x 477s Re-Instated liblablgtk3-ocaml:s390x 477s Re-Instated liblablgtksourceview3-ocaml:s390x 477s Re-Instated tex-common:s390x 477s Re-Instated why3:s390x 477s Broken satisfy:command-line:s390x Depends on z3:s390x < none | 4.13.3-1 @un uH > (< 4.11.1) 477s Broken satisfy:command-line:s390x Depends on ocaml-native-compilers:s390x < none @un H > 477s Considering ocaml:s390x 0 as a solution to satisfy:command-line:s390x 9998 477s Re-Instated libstdlib-ocaml-dev:s390x 477s Re-Instated libcompiler-libs-ocaml-dev:s390x 477s Re-Instated ocaml-interp:s390x 477s Re-Instated libncurses-dev:s390x 477s Re-Instated libisl23:s390x 477s Re-Instated libmpc3:s390x 477s Re-Instated cpp-14-s390x-linux-gnu:s390x 477s Re-Instated cpp-14:s390x 477s Re-Instated cpp-s390x-linux-gnu:s390x 477s Re-Instated cpp:s390x 477s Re-Instated gcc-15-base:s390x 477s Re-Instated libcc1-0:s390x 477s Re-Instated libgomp1:s390x 477s Re-Instated libitm1:s390x 477s Re-Instated libasan8:s390x 477s Re-Instated libubsan1:s390x 477s Re-Instated libgcc-14-dev:s390x 477s Re-Instated gcc-14-s390x-linux-gnu:s390x 477s Re-Instated gcc-14:s390x 477s Re-Instated gcc-s390x-linux-gnu:s390x 477s Re-Instated gcc:s390x 477s Re-Instated libzstd-dev:s390x 477s Re-Instated ocaml:s390x 477s Done 477s Some packages could not be installed. This may mean that you have 477s requested an impossible situation or if you are using the unstable 477s distribution that some required packages have not yet been created 477s or been moved out of Incoming. 477s The following information may help to resolve the situation: 477s 477s The following packages have unmet dependencies: 477s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 477s E: Unable to correct problems, you have held broken packages. 477s why3+z3 SKIP installation fails and skip-not-installable set 477s autopkgtest: DBG: testbed command exited with code 100 477s autopkgtest: DBG: apt-get satisfy failed; status-fd: 477s 477s autopkgtest: DBG: BadPackageError Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U. 477s autopkgtest: DBG: needs_reset, previously=False, requested by run_tests() line 230 477s autopkgtest [03:49:13]: @@@@@@@@@@@@@@@@@@@@ summary 477s why3+cvc4 PASS 477s why3+spass PASS 477s why3+z3 SKIP installation fails and skip-not-installable set 477s autopkgtest: DBG: testbed stop 477s autopkgtest: DBG: testbed close, scratch=/tmp/autopkgtest.YwiRSm 477s autopkgtest: DBG: sending command to testbed: close 493s autopkgtest: DBG: got reply from testbed: ok 493s autopkgtest: DBG: sending command to testbed: quit 493s nova [W] Using flock in prodstack6-s390x 493s flock: timeout while waiting to get lock 493s Creating nova instance adt-plucky-s390x-why3-20250216-034115-juju-7f2275-prod-proposed-migration-environment-15-805b5b48-bcaf-45bd-92aa-e86f8e097773 from image adt/ubuntu-plucky-s390x-server-20250216.img (UUID 67327349-c50d-4fb2-aab8-abef6582e685)... 493s nova [W] Timed out waiting for 02de5c7e-2513-4033-9640-35606b52053f to get deleted. 493s nova [W] Using flock in prodstack6-s390x 493s flock: timeout while waiting to get lock 493s Creating nova instance adt-plucky-s390x-why3-20250216-034115-juju-7f2275-prod-proposed-migration-environment-15-805b5b48-bcaf-45bd-92aa-e86f8e097773 from image adt/ubuntu-plucky-s390x-server-20250216.img (UUID 67327349-c50d-4fb2-aab8-abef6582e685)... 493s nova [W] Timed out waiting for 0ac4606d-2f11-4da2-ba58-ddc84167e175 to get deleted. 493s nova [W] Using flock in prodstack6-s390x 493s flock: timeout while waiting to get lock 493s Creating nova instance adt-plucky-s390x-why3-20250216-034115-juju-7f2275-prod-proposed-migration-environment-15-805b5b48-bcaf-45bd-92aa-e86f8e097773 from image adt/ubuntu-plucky-s390x-server-20250216.img (UUID 67327349-c50d-4fb2-aab8-abef6582e685)... 493s nova [W] Timed out waiting for 509d952b-8327-4cd1-88b2-0a3b1f6ef846 to get deleted.