0s autopkgtest [23:19:28]: starting date and time: 2024-03-21 23:19:28+0000 0s autopkgtest [23:19:28]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [23:19:28]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.zn6rb33h/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:gtk+3.0,src:at-spi2-core,src:cups,src:glib2.0,src:gnutls28,src:nettle --apt-upgrade frama-c --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=gtk+3.0/3.24.41-1.1ubuntu3 at-spi2-core/2.51.90-3 cups/2.4.7-1.2ubuntu1 glib2.0/2.79.3-3ubuntu5 gnutls28/3.8.3-1.1ubuntu2 nettle/3.9.1-2.2' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-3@bos02-s390x-21.secgroup --name adt-noble-s390x-frama-c-20240321-231928-juju-7f2275-prod-proposed-migration-environment-3 --image adt/ubuntu-noble-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-3 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 106s autopkgtest [23:21:14]: testbed dpkg architecture: s390x 106s autopkgtest [23:21:14]: testbed apt version: 2.7.12 106s autopkgtest [23:21:14]: @@@@@@@@@@@@@@@@@@@@ test bed setup 107s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 107s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [496 kB] 108s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 108s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [53.9 kB] 108s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3769 kB] 108s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [671 kB] 108s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 108s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 108s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 108s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [3996 kB] 109s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 109s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [45.1 kB] 109s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 110s Fetched 9166 kB in 3s (3445 kB/s) 111s Reading package lists... 113s Reading package lists... 113s Building dependency tree... 113s Reading state information... 113s Calculating upgrade... 113s The following packages will be REMOVED: 113s libglib2.0-0 113s The following NEW packages will be installed: 113s libglib2.0-0t64 xdg-user-dirs 113s The following packages will be upgraded: 113s cloud-init debianutils gir1.2-glib-2.0 libglib2.0-data python3-markupsafe 114s 5 upgraded, 2 newly installed, 1 to remove and 0 not upgraded. 114s Need to get 2511 kB of archives. 114s After this operation, 147 kB of additional disk space will be used. 114s Get:1 http://ftpmaster.internal/ubuntu noble/main s390x debianutils s390x 5.17 [90.1 kB] 114s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main s390x gir1.2-glib-2.0 s390x 2.79.3-3ubuntu5 [180 kB] 114s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libglib2.0-0t64 s390x 2.79.3-3ubuntu5 [1566 kB] 114s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB] 114s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x xdg-user-dirs s390x 0.18-1 [18.5 kB] 114s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x python3-markupsafe s390x 2.1.5-1build1 [12.8 kB] 114s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x cloud-init all 24.1.2-0ubuntu1 [597 kB] 114s Preconfiguring packages ... 114s Fetched 2511 kB in 1s (3735 kB/s) 115s (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 ... 52171 files and directories currently installed.) 115s Preparing to unpack .../debianutils_5.17_s390x.deb ... 115s Unpacking debianutils (5.17) over (5.16) ... 115s Setting up debianutils (5.17) ... 115s (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 ... 52171 files and directories currently installed.) 115s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_s390x.deb ... 115s Unpacking gir1.2-glib-2.0:s390x (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 115s dpkg: libglib2.0-0:s390x: dependency problems, but removing anyway as you requested: 115s udisks2 depends on libglib2.0-0 (>= 2.77.0). 115s shared-mime-info depends on libglib2.0-0 (>= 2.75.3). 115s s390-tools depends on libglib2.0-0 (>= 2.77.0). 115s python3-gi depends on libglib2.0-0 (>= 2.77.0). 115s python3-dbus depends on libglib2.0-0 (>= 2.16.0). 115s netplan.io depends on libglib2.0-0 (>= 2.70.0). 115s netplan-generator depends on libglib2.0-0 (>= 2.70.0). 115s libxmlb2:s390x depends on libglib2.0-0 (>= 2.54.0). 115s libvolume-key1:s390x depends on libglib2.0-0 (>= 2.18.0). 115s libudisks2-0:s390x depends on libglib2.0-0 (>= 2.75.3). 115s libqrtr-glib0:s390x depends on libglib2.0-0 (>= 2.56). 115s libqmi-proxy depends on libglib2.0-0 (>= 2.30.0). 115s libqmi-glib5:s390x depends on libglib2.0-0 (>= 2.54.0). 115s libpolkit-gobject-1-0:s390x depends on libglib2.0-0 (>= 2.38.0). 115s libpolkit-agent-1-0:s390x depends on libglib2.0-0 (>= 2.38.0). 115s libnetplan0:s390x depends on libglib2.0-0 (>= 2.75.3). 115s libmm-glib0:s390x depends on libglib2.0-0 (>= 2.62.0). 115s libmbim-proxy depends on libglib2.0-0 (>= 2.56). 115s libmbim-glib4:s390x depends on libglib2.0-0 (>= 2.56). 115s libjson-glib-1.0-0:s390x depends on libglib2.0-0 (>= 2.75.3). 115s libjcat1:s390x depends on libglib2.0-0 (>= 2.75.3). 115s libgusb2:s390x depends on libglib2.0-0 (>= 2.75.3). 115s libgudev-1.0-0:s390x depends on libglib2.0-0 (>= 2.38.0). 115s libgirepository-1.0-1:s390x depends on libglib2.0-0 (>= 2.79.0). 115s libfwupd2:s390x depends on libglib2.0-0 (>= 2.79.0). 115s libblockdev3:s390x depends on libglib2.0-0 (>= 2.42.2). 115s libblockdev-utils3:s390x depends on libglib2.0-0 (>= 2.75.3). 115s libblockdev-swap3:s390x depends on libglib2.0-0 (>= 2.42.2). 115s libblockdev-part3:s390x depends on libglib2.0-0 (>= 2.42.2). 115s libblockdev-nvme3:s390x depends on libglib2.0-0 (>= 2.42.2). 115s libblockdev-mdraid3:s390x depends on libglib2.0-0 (>= 2.42.2). 115s libblockdev-loop3:s390x depends on libglib2.0-0 (>= 2.42.2). 115s libblockdev-fs3:s390x depends on libglib2.0-0 (>= 2.42.2). 115s libblockdev-crypto3:s390x depends on libglib2.0-0 (>= 2.42.2). 115s fwupd depends on libglib2.0-0 (>= 2.79.0). 115s bolt depends on libglib2.0-0 (>= 2.56.0). 115s 115s (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 ... 52171 files and directories currently installed.) 115s Removing libglib2.0-0:s390x (2.79.2-1~ubuntu1) ... 115s Selecting previously unselected package libglib2.0-0t64:s390x. 115s (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 ... 52146 files and directories currently installed.) 115s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_s390x.deb ... 115s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:s390x.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled... 115s removed '/var/lib/dpkg/info/libglib2.0-0:s390x.postrm' 115s Unpacking libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 115s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ... 115s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ... 115s Selecting previously unselected package xdg-user-dirs. 115s Preparing to unpack .../xdg-user-dirs_0.18-1_s390x.deb ... 115s Unpacking xdg-user-dirs (0.18-1) ... 115s Preparing to unpack .../python3-markupsafe_2.1.5-1build1_s390x.deb ... 115s Unpacking python3-markupsafe (2.1.5-1build1) over (2.1.5-1) ... 115s Preparing to unpack .../cloud-init_24.1.2-0ubuntu1_all.deb ... 115s Unpacking cloud-init (24.1.2-0ubuntu1) over (24.1.1-0ubuntu1) ... 115s Setting up cloud-init (24.1.2-0ubuntu1) ... 116s Setting up xdg-user-dirs (0.18-1) ... 116s Setting up python3-markupsafe (2.1.5-1build1) ... 117s Setting up libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 117s No schema files found: doing nothing. 117s Setting up libglib2.0-data (2.79.3-3ubuntu5) ... 117s Setting up gir1.2-glib-2.0:s390x (2.79.3-3ubuntu5) ... 117s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 117s Processing triggers for man-db (2.12.0-3) ... 118s Processing triggers for libc-bin (2.39-0ubuntu2) ... 118s Reading package lists... 118s Building dependency tree... 118s Reading state information... 118s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 119s Unknown architecture, assuming PC-style ttyS0 119s sh: Attempting to set up Debian/Ubuntu apt sources automatically 119s sh: Distribution appears to be Ubuntu 119s Reading package lists... 119s Building dependency tree... 119s Reading state information... 120s eatmydata is already the newest version (131-1). 120s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 120s Reading package lists... 120s Building dependency tree... 120s Reading state information... 120s dbus is already the newest version (1.14.10-4ubuntu1). 120s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 120s Reading package lists... 120s Building dependency tree... 120s Reading state information... 120s rng-tools-debian is already the newest version (2.4). 120s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 120s Reading package lists... 121s Building dependency tree... 121s Reading state information... 121s The following packages will be REMOVED: 121s cloud-init* python3-configobj* python3-debconf* 121s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 121s After this operation, 3256 kB disk space will be freed. 121s (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 ... 52184 files and directories currently installed.) 121s Removing cloud-init (24.1.2-0ubuntu1) ... 121s Removing python3-configobj (5.0.8-3) ... 121s Removing python3-debconf (1.5.86) ... 121s Processing triggers for man-db (2.12.0-3) ... 122s (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 ... 51795 files and directories currently installed.) 122s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 122s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 122s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 122s invoke-rc.d: policy-rc.d denied execution of try-restart. 123s Reading package lists... 123s Building dependency tree... 123s Reading state information... 123s linux-generic is already the newest version (6.8.0-11.11+1). 123s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 123s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 123s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 123s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 125s Reading package lists... 125s Reading package lists... 125s Building dependency tree... 125s Reading state information... 125s Calculating upgrade... 126s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 126s Reading package lists... 126s Building dependency tree... 126s Reading state information... 126s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 126s autopkgtest [23:21:34]: rebooting testbed after setup commands that affected boot 141s autopkgtest [23:21:49]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Tue Feb 13 23:45:46 UTC 2024 144s autopkgtest [23:21:52]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c 147s Get:1 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (dsc) [2364 B] 147s Get:2 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (tar) [8074 kB] 147s Get:3 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (diff) [16.9 kB] 147s gpgv: Signature made Thu Feb 22 07:36:42 2024 UTC 147s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 147s gpgv: Can't check signature: No public key 147s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build5.dsc: no acceptable signature found 147s autopkgtest [23:21:55]: testing package frama-c version 20220511-manganese-5build5 148s autopkgtest [23:21:56]: build not needed 150s autopkgtest [23:21:58]: test eva: preparing testbed 163s Reading package lists... 164s Building dependency tree... 164s Reading state information... 164s Starting pkgProblemResolver with broken count: 0 164s Starting 2 pkgProblemResolver with broken count: 0 164s Done 164s The following additional packages will be installed: 164s adwaita-icon-theme at-spi2-common cpp cpp-13 cpp-13-s390x-linux-gnu 164s cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig 164s fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc 164s gcc-13 gcc-13-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache 164s hicolor-icon-theme humanity-icon-theme libasan8 libatk-bridge2.0-0 164s libatk1.0-0 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data 164s libavahi-common3 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 164s libcairo2-ocaml libcc1-0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev 164s libcups2 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml 164s libfontconfig1 libfreetype6 libgcc-13-dev libgdk-pixbuf-2.0-0 164s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common 164s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libisl23 164s libitm1 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 164s liblablgtksourceview3-ocaml liblcms2-2 libmpc3 libncurses-dev libnsl-dev 164s libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 164s libpixman-1-0 libppx-deriving-ocaml libppx-import-ocaml libresult-ocaml 164s libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 164s libthai-data libthai0 libtiff6 libtirpc-dev libubsan1 libwayland-client0 164s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 164s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 164s libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml 164s ocaml-base ocaml-interp rpcsvc-proto ubuntu-mono 164s Suggested packages: 164s cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf 164s automake libtool flex bison gdb gcc-doc gcc-13-multilib gcc-13-doc 164s gdb-s390x-linux-gnu glibc-doc colord cups-common gvfs liblcms2-utils 164s ncurses-doc ocaml-doc elpa-tuareg 164s Recommended packages: 164s librsvg2-common alt-ergo why3 at-spi2-core manpages manpages-dev 164s libc-devtools libgdk-pixbuf2.0-bin libgtk-3-bin ocaml-findlib ocaml-man 164s ledit | readline-editor 164s The following NEW packages will be installed: 164s adwaita-icon-theme at-spi2-common autopkgtest-satdep cpp cpp-13 164s cpp-13-s390x-linux-gnu cpp-s390x-linux-gnu dconf-gsettings-backend 164s dconf-service fontconfig fontconfig-config fonts-dejavu-core 164s fonts-dejavu-mono frama-c-base gcc gcc-13 gcc-13-s390x-linux-gnu 164s gcc-s390x-linux-gnu gtk-update-icon-cache hicolor-icon-theme 164s humanity-icon-theme libasan8 libatk-bridge2.0-0 libatk1.0-0 libatomic1 164s libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 164s libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 164s libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev libcups2 libdatrie1 164s libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml libfontconfig1 libfreetype6 164s libgcc-13-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 164s libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 164s libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0 164s libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml 164s liblcms2-2 libmpc3 libncurses-dev libnsl-dev libocamlgraph-ocaml-dev 164s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 164s libppx-deriving-ocaml libppx-import-ocaml libresult-ocaml libsexplib0-ocaml 164s libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 164s libtiff6 libtirpc-dev libubsan1 libwayland-client0 libwayland-cursor0 164s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 164s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 164s libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml ocaml-base 164s ocaml-interp rpcsvc-proto ubuntu-mono 164s 0 upgraded, 106 newly installed, 0 to remove and 0 not upgraded. 164s Need to get 271 MB/271 MB of archives. 164s After this operation, 991 MB of additional disk space will be used. 164s Get:1 /tmp/autopkgtest.3cNw01/1-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [712 B] 164s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B] 164s Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg-turbo8 s390x 2.1.5-2ubuntu1 [128 kB] 164s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 164s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdeflate0 s390x 1.19-1 [46.0 kB] 164s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libjbig0 s390x 2.1-6.1ubuntu1 [29.8 kB] 164s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libsharpyuv0 s390x 1.3.2-0.4 [14.8 kB] 164s Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libwebp7 s390x 1.3.2-0.4 [207 kB] 165s Get:9 http://ftpmaster.internal/ubuntu noble/main s390x libtiff6 s390x 4.5.1+git230720-3ubuntu1 [253 kB] 165s Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3 [152 kB] 165s Get:11 http://ftpmaster.internal/ubuntu noble/main s390x gtk-update-icon-cache s390x 3.24.40-2ubuntu1 [51.0 kB] 165s Get:12 http://ftpmaster.internal/ubuntu noble/main s390x hicolor-icon-theme all 0.17-2 [9976 B] 165s Get:13 http://ftpmaster.internal/ubuntu noble/main s390x humanity-icon-theme all 0.6.16 [1282 kB] 165s Get:14 http://ftpmaster.internal/ubuntu noble/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB] 165s Get:15 http://ftpmaster.internal/ubuntu noble/main s390x adwaita-icon-theme all 46~rc-1 [723 kB] 165s Get:16 http://ftpmaster.internal/ubuntu noble/main s390x at-spi2-common all 2.50.0-1 [7864 B] 165s Get:17 http://ftpmaster.internal/ubuntu noble/main s390x libisl23 s390x 0.26-3 [722 kB] 165s Get:18 http://ftpmaster.internal/ubuntu noble/main s390x libmpc3 s390x 1.3.1-1 [54.9 kB] 165s Get:19 http://ftpmaster.internal/ubuntu noble/main s390x cpp-13-s390x-linux-gnu s390x 13.2.0-17ubuntu2 [9929 kB] 166s Get:20 http://ftpmaster.internal/ubuntu noble/main s390x cpp-13 s390x 13.2.0-17ubuntu2 [1026 B] 166s Get:21 http://ftpmaster.internal/ubuntu noble/main s390x cpp-s390x-linux-gnu s390x 4:13.2.0-7ubuntu1 [5308 B] 166s Get:22 http://ftpmaster.internal/ubuntu noble/main s390x cpp s390x 4:13.2.0-7ubuntu1 [22.4 kB] 166s Get:23 http://ftpmaster.internal/ubuntu noble/main s390x libdconf1 s390x 0.40.0-4 [38.9 kB] 166s Get:24 http://ftpmaster.internal/ubuntu noble/main s390x dconf-service s390x 0.40.0-4 [27.0 kB] 166s Get:25 http://ftpmaster.internal/ubuntu noble/main s390x dconf-gsettings-backend s390x 0.40.0-4 [21.6 kB] 166s Get:26 http://ftpmaster.internal/ubuntu noble/main s390x libfreetype6 s390x 2.13.2+dfsg-1 [431 kB] 166s Get:27 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 166s Get:28 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 166s Get:29 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig-config s390x 2.15.0-1ubuntu1 [37.0 kB] 166s Get:30 http://ftpmaster.internal/ubuntu noble/main s390x libfontconfig1 s390x 2.15.0-1ubuntu1 [150 kB] 166s Get:31 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig s390x 2.15.0-1ubuntu1 [191 kB] 166s Get:32 http://ftpmaster.internal/ubuntu noble/main s390x libpixman-1-0 s390x 0.42.2-1 [173 kB] 166s Get:33 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-render0 s390x 1.15-1 [17.0 kB] 166s Get:34 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-shm0 s390x 1.15-1 [5782 B] 166s Get:35 http://ftpmaster.internal/ubuntu noble/main s390x libxrender1 s390x 1:0.9.10-1.1 [19.4 kB] 166s Get:36 http://ftpmaster.internal/ubuntu noble/main s390x libcairo2 s390x 1.18.0-1 [578 kB] 166s Get:37 http://ftpmaster.internal/ubuntu noble/main s390x libatk1.0-0 s390x 2.50.0-1 [54.4 kB] 166s Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libxi6 s390x 2:1.8.1-1 [35.7 kB] 166s Get:39 http://ftpmaster.internal/ubuntu noble/main s390x libatspi2.0-0 s390x 2.50.0-1 [77.9 kB] 166s Get:40 http://ftpmaster.internal/ubuntu noble/main s390x libatk-bridge2.0-0 s390x 2.50.0-1 [65.3 kB] 166s Get:41 http://ftpmaster.internal/ubuntu noble/main s390x libcairo-gobject2 s390x 1.18.0-1 [126 kB] 166s Get:42 http://ftpmaster.internal/ubuntu noble/main s390x liblcms2-2 s390x 2.14-2 [155 kB] 166s Get:43 http://ftpmaster.internal/ubuntu noble/main s390x libcolord2 s390x 1.4.7-1 [151 kB] 166s Get:44 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common-data s390x 0.8-13ubuntu2 [29.5 kB] 166s Get:45 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common3 s390x 0.8-13ubuntu2 [23.8 kB] 166s Get:46 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-client3 s390x 0.8-13ubuntu2 [26.7 kB] 166s Get:47 http://ftpmaster.internal/ubuntu noble/main s390x libcups2 s390x 2.4.6-0ubuntu3 [277 kB] 166s Get:48 http://ftpmaster.internal/ubuntu noble/main s390x libepoxy0 s390x 1.5.10-1 [232 kB] 166s Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libgraphite2-3 s390x 1.3.14-2 [90.4 kB] 166s Get:50 http://ftpmaster.internal/ubuntu noble/main s390x libharfbuzz0b s390x 8.3.0-2 [515 kB] 166s Get:51 http://ftpmaster.internal/ubuntu noble/main s390x libthai-data all 0.1.29-2 [158 kB] 166s Get:52 http://ftpmaster.internal/ubuntu noble/main s390x libdatrie1 s390x 0.2.13-3 [22.6 kB] 166s Get:53 http://ftpmaster.internal/ubuntu noble/main s390x libthai0 s390x 0.1.29-2 [20.6 kB] 166s Get:54 http://ftpmaster.internal/ubuntu noble/main s390x libpango-1.0-0 s390x 1.51.0+ds-4 [240 kB] 166s Get:55 http://ftpmaster.internal/ubuntu noble/main s390x libpangoft2-1.0-0 s390x 1.51.0+ds-4 [43.6 kB] 166s Get:56 http://ftpmaster.internal/ubuntu noble/main s390x libpangocairo-1.0-0 s390x 1.51.0+ds-4 [28.9 kB] 166s Get:57 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-client0 s390x 1.22.0-2.1 [26.1 kB] 166s Get:58 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-cursor0 s390x 1.22.0-2.1 [11.1 kB] 166s Get:59 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-egl1 s390x 1.22.0-2.1 [5452 B] 166s Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libxcomposite1 s390x 1:0.4.5-1build2 [6952 B] 166s Get:61 http://ftpmaster.internal/ubuntu noble/main s390x libxfixes3 s390x 1:6.0.0-2 [10.6 kB] 166s Get:62 http://ftpmaster.internal/ubuntu noble/main s390x libxcursor1 s390x 1:1.2.1-1 [22.2 kB] 166s Get:63 http://ftpmaster.internal/ubuntu noble/main s390x libxdamage1 s390x 1:1.1.6-1 [5810 B] 166s Get:64 http://ftpmaster.internal/ubuntu noble/main s390x libxinerama1 s390x 2:1.1.4-3 [7110 B] 166s Get:65 http://ftpmaster.internal/ubuntu noble/main s390x libxrandr2 s390x 2:1.5.2-2 [19.5 kB] 166s Get:66 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB] 166s Get:67 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-0 s390x 3.24.40-2ubuntu1 [2952 kB] 166s Get:68 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] 166s Get:69 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build1 [234 kB] 166s Get:70 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] 166s Get:71 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] 166s Get:72 http://ftpmaster.internal/ubuntu noble/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB] 166s Get:73 http://ftpmaster.internal/ubuntu noble/universe s390x libfindlib-ocaml s390x 1.9.6-1build3 [199 kB] 166s Get:74 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtk3-ocaml s390x 3.1.4-1 [4110 kB] 167s Get:75 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1 [355 kB] 167s Get:76 http://ftpmaster.internal/ubuntu noble/universe s390x libresult-ocaml s390x 1.5-4build1 [7308 B] 167s Get:77 http://ftpmaster.internal/ubuntu noble/universe s390x libsexplib0-ocaml s390x 0.16.0-3build2 [128 kB] 167s Get:78 http://ftpmaster.internal/ubuntu noble/universe s390x libppx-deriving-ocaml s390x 5.2.1-4build2 [4687 kB] 167s Get:79 http://ftpmaster.internal/ubuntu noble/universe s390x libyojson-ocaml s390x 2.1.2-1 [686 kB] 167s Get:80 http://ftpmaster.internal/ubuntu noble/universe s390x libzarith-ocaml s390x 1.13-2build3 [125 kB] 167s Get:81 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml-dev s390x 4.14.1-1ubuntu1 [8204 kB] 167s Get:82 http://ftpmaster.internal/ubuntu noble/universe s390x libcompiler-libs-ocaml-dev s390x 4.14.1-1ubuntu1 [37.5 MB] 168s Get:83 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-interp s390x 4.14.1-1ubuntu1 [7825 kB] 168s Get:84 http://ftpmaster.internal/ubuntu noble/main s390x libc-dev-bin s390x 2.39-0ubuntu2 [20.2 kB] 168s Get:85 http://ftpmaster.internal/ubuntu noble/main s390x linux-libc-dev s390x 6.8.0-11.11 [1590 kB] 168s Get:86 http://ftpmaster.internal/ubuntu noble/main s390x libcrypt-dev s390x 1:4.4.36-4 [135 kB] 168s Get:87 http://ftpmaster.internal/ubuntu noble/main s390x libtirpc-dev s390x 1.3.4+ds-1build1 [225 kB] 168s Get:88 http://ftpmaster.internal/ubuntu noble/main s390x libnsl-dev s390x 1.3.0-3 [73.5 kB] 168s Get:89 http://ftpmaster.internal/ubuntu noble/main s390x rpcsvc-proto s390x 1.4.2-0ubuntu6 [64.7 kB] 168s Get:90 http://ftpmaster.internal/ubuntu noble/main s390x libc6-dev s390x 2.39-0ubuntu2 [1629 kB] 168s Get:91 http://ftpmaster.internal/ubuntu noble/main s390x libncurses-dev s390x 6.4+20240113-1ubuntu1 [412 kB] 168s Get:92 http://ftpmaster.internal/ubuntu noble/main s390x libcc1-0 s390x 14-20240303-1ubuntu1 [49.9 kB] 168s Get:93 http://ftpmaster.internal/ubuntu noble/main s390x libgomp1 s390x 14-20240303-1ubuntu1 [151 kB] 168s Get:94 http://ftpmaster.internal/ubuntu noble/main s390x libitm1 s390x 14-20240303-1ubuntu1 [31.1 kB] 168s Get:95 http://ftpmaster.internal/ubuntu noble/main s390x libatomic1 s390x 14-20240303-1ubuntu1 [9392 B] 168s Get:96 http://ftpmaster.internal/ubuntu noble/main s390x libasan8 s390x 14-20240303-1ubuntu1 [2998 kB] 168s Get:97 http://ftpmaster.internal/ubuntu noble/main s390x libubsan1 s390x 14-20240303-1ubuntu1 [1186 kB] 168s Get:98 http://ftpmaster.internal/ubuntu noble/main s390x libgcc-13-dev s390x 13.2.0-17ubuntu2 [1003 kB] 168s Get:99 http://ftpmaster.internal/ubuntu noble/main s390x gcc-13-s390x-linux-gnu s390x 13.2.0-17ubuntu2 [19.1 MB] 169s Get:100 http://ftpmaster.internal/ubuntu noble/main s390x gcc-13 s390x 13.2.0-17ubuntu2 [467 kB] 169s Get:101 http://ftpmaster.internal/ubuntu noble/main s390x gcc-s390x-linux-gnu s390x 4:13.2.0-7ubuntu1 [1208 B] 169s Get:102 http://ftpmaster.internal/ubuntu noble/main s390x gcc s390x 4:13.2.0-7ubuntu1 [5014 B] 169s Get:103 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml s390x 4.14.1-1ubuntu1 [82.0 MB] 175s Get:104 http://ftpmaster.internal/ubuntu noble/universe s390x libocamlgraph-ocaml-dev s390x 2.1.0-1build1 [6076 kB] 175s Get:105 http://ftpmaster.internal/ubuntu noble/universe s390x libppx-import-ocaml s390x 1.10.0-3build2 [67.2 kB] 175s Get:106 http://ftpmaster.internal/ubuntu noble/universe s390x frama-c-base s390x 20220511-manganese-5build5 [65.0 MB] 178s Fetched 271 MB in 14s (19.7 MB/s) 178s Selecting previously unselected package libgdk-pixbuf2.0-common. 178s (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 ... 51740 files and directories currently installed.) 178s Preparing to unpack .../000-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ... 178s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 178s Selecting previously unselected package libjpeg-turbo8:s390x. 178s Preparing to unpack .../001-libjpeg-turbo8_2.1.5-2ubuntu1_s390x.deb ... 178s Unpacking libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 178s Selecting previously unselected package libjpeg8:s390x. 178s Preparing to unpack .../002-libjpeg8_8c-2ubuntu11_s390x.deb ... 178s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 178s Selecting previously unselected package libdeflate0:s390x. 178s Preparing to unpack .../003-libdeflate0_1.19-1_s390x.deb ... 178s Unpacking libdeflate0:s390x (1.19-1) ... 178s Selecting previously unselected package libjbig0:s390x. 178s Preparing to unpack .../004-libjbig0_2.1-6.1ubuntu1_s390x.deb ... 178s Unpacking libjbig0:s390x (2.1-6.1ubuntu1) ... 178s Selecting previously unselected package libsharpyuv0:s390x. 178s Preparing to unpack .../005-libsharpyuv0_1.3.2-0.4_s390x.deb ... 178s Unpacking libsharpyuv0:s390x (1.3.2-0.4) ... 178s Selecting previously unselected package libwebp7:s390x. 178s Preparing to unpack .../006-libwebp7_1.3.2-0.4_s390x.deb ... 178s Unpacking libwebp7:s390x (1.3.2-0.4) ... 178s Selecting previously unselected package libtiff6:s390x. 178s Preparing to unpack .../007-libtiff6_4.5.1+git230720-3ubuntu1_s390x.deb ... 178s Unpacking libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 178s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x. 179s Preparing to unpack .../008-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_s390x.deb ... 179s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 179s Selecting previously unselected package gtk-update-icon-cache. 179s Preparing to unpack .../009-gtk-update-icon-cache_3.24.40-2ubuntu1_s390x.deb ... 179s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ... 179s Selecting previously unselected package hicolor-icon-theme. 179s Preparing to unpack .../010-hicolor-icon-theme_0.17-2_all.deb ... 179s Unpacking hicolor-icon-theme (0.17-2) ... 179s Selecting previously unselected package humanity-icon-theme. 179s Preparing to unpack .../011-humanity-icon-theme_0.6.16_all.deb ... 179s Unpacking humanity-icon-theme (0.6.16) ... 179s Selecting previously unselected package ubuntu-mono. 179s Preparing to unpack .../012-ubuntu-mono_24.04-0ubuntu1_all.deb ... 179s Unpacking ubuntu-mono (24.04-0ubuntu1) ... 180s Selecting previously unselected package adwaita-icon-theme. 180s Preparing to unpack .../013-adwaita-icon-theme_46~rc-1_all.deb ... 180s Unpacking adwaita-icon-theme (46~rc-1) ... 180s Selecting previously unselected package at-spi2-common. 180s Preparing to unpack .../014-at-spi2-common_2.50.0-1_all.deb ... 180s Unpacking at-spi2-common (2.50.0-1) ... 180s Selecting previously unselected package libisl23:s390x. 180s Preparing to unpack .../015-libisl23_0.26-3_s390x.deb ... 180s Unpacking libisl23:s390x (0.26-3) ... 180s Selecting previously unselected package libmpc3:s390x. 180s Preparing to unpack .../016-libmpc3_1.3.1-1_s390x.deb ... 180s Unpacking libmpc3:s390x (1.3.1-1) ... 180s Selecting previously unselected package cpp-13-s390x-linux-gnu. 180s Preparing to unpack .../017-cpp-13-s390x-linux-gnu_13.2.0-17ubuntu2_s390x.deb ... 180s Unpacking cpp-13-s390x-linux-gnu (13.2.0-17ubuntu2) ... 180s Selecting previously unselected package cpp-13. 180s Preparing to unpack .../018-cpp-13_13.2.0-17ubuntu2_s390x.deb ... 180s Unpacking cpp-13 (13.2.0-17ubuntu2) ... 180s Selecting previously unselected package cpp-s390x-linux-gnu. 180s Preparing to unpack .../019-cpp-s390x-linux-gnu_4%3a13.2.0-7ubuntu1_s390x.deb ... 180s Unpacking cpp-s390x-linux-gnu (4:13.2.0-7ubuntu1) ... 180s Selecting previously unselected package cpp. 180s Preparing to unpack .../020-cpp_4%3a13.2.0-7ubuntu1_s390x.deb ... 180s Unpacking cpp (4:13.2.0-7ubuntu1) ... 180s Selecting previously unselected package libdconf1:s390x. 180s Preparing to unpack .../021-libdconf1_0.40.0-4_s390x.deb ... 180s Unpacking libdconf1:s390x (0.40.0-4) ... 180s Selecting previously unselected package dconf-service. 180s Preparing to unpack .../022-dconf-service_0.40.0-4_s390x.deb ... 180s Unpacking dconf-service (0.40.0-4) ... 180s Selecting previously unselected package dconf-gsettings-backend:s390x. 180s Preparing to unpack .../023-dconf-gsettings-backend_0.40.0-4_s390x.deb ... 180s Unpacking dconf-gsettings-backend:s390x (0.40.0-4) ... 180s Selecting previously unselected package libfreetype6:s390x. 180s Preparing to unpack .../024-libfreetype6_2.13.2+dfsg-1_s390x.deb ... 180s Unpacking libfreetype6:s390x (2.13.2+dfsg-1) ... 180s Selecting previously unselected package fonts-dejavu-mono. 180s Preparing to unpack .../025-fonts-dejavu-mono_2.37-8_all.deb ... 180s Unpacking fonts-dejavu-mono (2.37-8) ... 180s Selecting previously unselected package fonts-dejavu-core. 180s Preparing to unpack .../026-fonts-dejavu-core_2.37-8_all.deb ... 180s Unpacking fonts-dejavu-core (2.37-8) ... 180s Selecting previously unselected package fontconfig-config. 180s Preparing to unpack .../027-fontconfig-config_2.15.0-1ubuntu1_s390x.deb ... 180s Unpacking fontconfig-config (2.15.0-1ubuntu1) ... 180s Selecting previously unselected package libfontconfig1:s390x. 180s Preparing to unpack .../028-libfontconfig1_2.15.0-1ubuntu1_s390x.deb ... 180s Unpacking libfontconfig1:s390x (2.15.0-1ubuntu1) ... 180s Selecting previously unselected package fontconfig. 180s Preparing to unpack .../029-fontconfig_2.15.0-1ubuntu1_s390x.deb ... 180s Unpacking fontconfig (2.15.0-1ubuntu1) ... 180s Selecting previously unselected package libpixman-1-0:s390x. 180s Preparing to unpack .../030-libpixman-1-0_0.42.2-1_s390x.deb ... 180s Unpacking libpixman-1-0:s390x (0.42.2-1) ... 181s Selecting previously unselected package libxcb-render0:s390x. 181s Preparing to unpack .../031-libxcb-render0_1.15-1_s390x.deb ... 181s Unpacking libxcb-render0:s390x (1.15-1) ... 181s Selecting previously unselected package libxcb-shm0:s390x. 181s Preparing to unpack .../032-libxcb-shm0_1.15-1_s390x.deb ... 181s Unpacking libxcb-shm0:s390x (1.15-1) ... 181s Selecting previously unselected package libxrender1:s390x. 181s Preparing to unpack .../033-libxrender1_1%3a0.9.10-1.1_s390x.deb ... 181s Unpacking libxrender1:s390x (1:0.9.10-1.1) ... 181s Selecting previously unselected package libcairo2:s390x. 181s Preparing to unpack .../034-libcairo2_1.18.0-1_s390x.deb ... 181s Unpacking libcairo2:s390x (1.18.0-1) ... 181s Selecting previously unselected package libatk1.0-0:s390x. 181s Preparing to unpack .../035-libatk1.0-0_2.50.0-1_s390x.deb ... 181s Unpacking libatk1.0-0:s390x (2.50.0-1) ... 181s Selecting previously unselected package libxi6:s390x. 181s Preparing to unpack .../036-libxi6_2%3a1.8.1-1_s390x.deb ... 181s Unpacking libxi6:s390x (2:1.8.1-1) ... 181s Selecting previously unselected package libatspi2.0-0:s390x. 181s Preparing to unpack .../037-libatspi2.0-0_2.50.0-1_s390x.deb ... 181s Unpacking libatspi2.0-0:s390x (2.50.0-1) ... 181s Selecting previously unselected package libatk-bridge2.0-0:s390x. 181s Preparing to unpack .../038-libatk-bridge2.0-0_2.50.0-1_s390x.deb ... 181s Unpacking libatk-bridge2.0-0:s390x (2.50.0-1) ... 181s Selecting previously unselected package libcairo-gobject2:s390x. 181s Preparing to unpack .../039-libcairo-gobject2_1.18.0-1_s390x.deb ... 181s Unpacking libcairo-gobject2:s390x (1.18.0-1) ... 181s Selecting previously unselected package liblcms2-2:s390x. 181s Preparing to unpack .../040-liblcms2-2_2.14-2_s390x.deb ... 181s Unpacking liblcms2-2:s390x (2.14-2) ... 181s Selecting previously unselected package libcolord2:s390x. 181s Preparing to unpack .../041-libcolord2_1.4.7-1_s390x.deb ... 181s Unpacking libcolord2:s390x (1.4.7-1) ... 181s Selecting previously unselected package libavahi-common-data:s390x. 181s Preparing to unpack .../042-libavahi-common-data_0.8-13ubuntu2_s390x.deb ... 181s Unpacking libavahi-common-data:s390x (0.8-13ubuntu2) ... 181s Selecting previously unselected package libavahi-common3:s390x. 181s Preparing to unpack .../043-libavahi-common3_0.8-13ubuntu2_s390x.deb ... 181s Unpacking libavahi-common3:s390x (0.8-13ubuntu2) ... 181s Selecting previously unselected package libavahi-client3:s390x. 181s Preparing to unpack .../044-libavahi-client3_0.8-13ubuntu2_s390x.deb ... 181s Unpacking libavahi-client3:s390x (0.8-13ubuntu2) ... 181s Selecting previously unselected package libcups2:s390x. 181s Preparing to unpack .../045-libcups2_2.4.6-0ubuntu3_s390x.deb ... 181s Unpacking libcups2:s390x (2.4.6-0ubuntu3) ... 181s Selecting previously unselected package libepoxy0:s390x. 181s Preparing to unpack .../046-libepoxy0_1.5.10-1_s390x.deb ... 181s Unpacking libepoxy0:s390x (1.5.10-1) ... 181s Selecting previously unselected package libgraphite2-3:s390x. 181s Preparing to unpack .../047-libgraphite2-3_1.3.14-2_s390x.deb ... 181s Unpacking libgraphite2-3:s390x (1.3.14-2) ... 181s Selecting previously unselected package libharfbuzz0b:s390x. 181s Preparing to unpack .../048-libharfbuzz0b_8.3.0-2_s390x.deb ... 181s Unpacking libharfbuzz0b:s390x (8.3.0-2) ... 181s Selecting previously unselected package libthai-data. 181s Preparing to unpack .../049-libthai-data_0.1.29-2_all.deb ... 181s Unpacking libthai-data (0.1.29-2) ... 181s Selecting previously unselected package libdatrie1:s390x. 181s Preparing to unpack .../050-libdatrie1_0.2.13-3_s390x.deb ... 181s Unpacking libdatrie1:s390x (0.2.13-3) ... 181s Selecting previously unselected package libthai0:s390x. 181s Preparing to unpack .../051-libthai0_0.1.29-2_s390x.deb ... 181s Unpacking libthai0:s390x (0.1.29-2) ... 181s Selecting previously unselected package libpango-1.0-0:s390x. 181s Preparing to unpack .../052-libpango-1.0-0_1.51.0+ds-4_s390x.deb ... 181s Unpacking libpango-1.0-0:s390x (1.51.0+ds-4) ... 181s Selecting previously unselected package libpangoft2-1.0-0:s390x. 181s Preparing to unpack .../053-libpangoft2-1.0-0_1.51.0+ds-4_s390x.deb ... 181s Unpacking libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 181s Selecting previously unselected package libpangocairo-1.0-0:s390x. 181s Preparing to unpack .../054-libpangocairo-1.0-0_1.51.0+ds-4_s390x.deb ... 181s Unpacking libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 181s Selecting previously unselected package libwayland-client0:s390x. 181s Preparing to unpack .../055-libwayland-client0_1.22.0-2.1_s390x.deb ... 181s Unpacking libwayland-client0:s390x (1.22.0-2.1) ... 181s Selecting previously unselected package libwayland-cursor0:s390x. 181s Preparing to unpack .../056-libwayland-cursor0_1.22.0-2.1_s390x.deb ... 181s Unpacking libwayland-cursor0:s390x (1.22.0-2.1) ... 181s Selecting previously unselected package libwayland-egl1:s390x. 181s Preparing to unpack .../057-libwayland-egl1_1.22.0-2.1_s390x.deb ... 181s Unpacking libwayland-egl1:s390x (1.22.0-2.1) ... 181s Selecting previously unselected package libxcomposite1:s390x. 181s Preparing to unpack .../058-libxcomposite1_1%3a0.4.5-1build2_s390x.deb ... 181s Unpacking libxcomposite1:s390x (1:0.4.5-1build2) ... 181s Selecting previously unselected package libxfixes3:s390x. 181s Preparing to unpack .../059-libxfixes3_1%3a6.0.0-2_s390x.deb ... 181s Unpacking libxfixes3:s390x (1:6.0.0-2) ... 181s Selecting previously unselected package libxcursor1:s390x. 181s Preparing to unpack .../060-libxcursor1_1%3a1.2.1-1_s390x.deb ... 181s Unpacking libxcursor1:s390x (1:1.2.1-1) ... 181s Selecting previously unselected package libxdamage1:s390x. 181s Preparing to unpack .../061-libxdamage1_1%3a1.1.6-1_s390x.deb ... 181s Unpacking libxdamage1:s390x (1:1.1.6-1) ... 181s Selecting previously unselected package libxinerama1:s390x. 181s Preparing to unpack .../062-libxinerama1_2%3a1.1.4-3_s390x.deb ... 181s Unpacking libxinerama1:s390x (2:1.1.4-3) ... 181s Selecting previously unselected package libxrandr2:s390x. 181s Preparing to unpack .../063-libxrandr2_2%3a1.5.2-2_s390x.deb ... 181s Unpacking libxrandr2:s390x (2:1.5.2-2) ... 181s Selecting previously unselected package libgtk-3-common. 181s Preparing to unpack .../064-libgtk-3-common_3.24.40-2ubuntu1_all.deb ... 181s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ... 181s Selecting previously unselected package libgtk-3-0:s390x. 181s Preparing to unpack .../065-libgtk-3-0_3.24.40-2ubuntu1_s390x.deb ... 181s Unpacking libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 181s Selecting previously unselected package libgtksourceview-3.0-common. 181s Preparing to unpack .../066-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... 181s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... 181s Selecting previously unselected package libgtksourceview-3.0-1:s390x. 181s Preparing to unpack .../067-libgtksourceview-3.0-1_3.24.11-2build1_s390x.deb ... 181s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 181s Selecting previously unselected package libstdlib-ocaml. 181s Preparing to unpack .../068-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... 181s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... 181s Selecting previously unselected package ocaml-base. 181s Preparing to unpack .../069-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... 181s Unpacking ocaml-base (4.14.1-1ubuntu1) ... 181s Selecting previously unselected package libcairo2-ocaml. 181s Preparing to unpack .../070-libcairo2-ocaml_0.6.4+dfsg-2build2_s390x.deb ... 181s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ... 181s Selecting previously unselected package libfindlib-ocaml. 181s Preparing to unpack .../071-libfindlib-ocaml_1.9.6-1build3_s390x.deb ... 181s Unpacking libfindlib-ocaml (1.9.6-1build3) ... 181s Selecting previously unselected package liblablgtk3-ocaml. 181s Preparing to unpack .../072-liblablgtk3-ocaml_3.1.4-1_s390x.deb ... 181s Unpacking liblablgtk3-ocaml (3.1.4-1) ... 182s Selecting previously unselected package liblablgtksourceview3-ocaml. 182s Preparing to unpack .../073-liblablgtksourceview3-ocaml_3.1.4-1_s390x.deb ... 182s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ... 182s Selecting previously unselected package libresult-ocaml. 182s Preparing to unpack .../074-libresult-ocaml_1.5-4build1_s390x.deb ... 182s Unpacking libresult-ocaml (1.5-4build1) ... 182s Selecting previously unselected package libsexplib0-ocaml. 182s Preparing to unpack .../075-libsexplib0-ocaml_0.16.0-3build2_s390x.deb ... 182s Unpacking libsexplib0-ocaml (0.16.0-3build2) ... 182s Selecting previously unselected package libppx-deriving-ocaml. 182s Preparing to unpack .../076-libppx-deriving-ocaml_5.2.1-4build2_s390x.deb ... 182s Unpacking libppx-deriving-ocaml (5.2.1-4build2) ... 182s Selecting previously unselected package libyojson-ocaml. 182s Preparing to unpack .../077-libyojson-ocaml_2.1.2-1_s390x.deb ... 182s Unpacking libyojson-ocaml (2.1.2-1) ... 182s Selecting previously unselected package libzarith-ocaml. 182s Preparing to unpack .../078-libzarith-ocaml_1.13-2build3_s390x.deb ... 182s Unpacking libzarith-ocaml (1.13-2build3) ... 182s Selecting previously unselected package libstdlib-ocaml-dev. 182s Preparing to unpack .../079-libstdlib-ocaml-dev_4.14.1-1ubuntu1_s390x.deb ... 182s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 182s Selecting previously unselected package libcompiler-libs-ocaml-dev. 182s Preparing to unpack .../080-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_s390x.deb ... 182s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 183s Selecting previously unselected package ocaml-interp. 183s Preparing to unpack .../081-ocaml-interp_4.14.1-1ubuntu1_s390x.deb ... 183s Unpacking ocaml-interp (4.14.1-1ubuntu1) ... 184s Selecting previously unselected package libc-dev-bin. 184s Preparing to unpack .../082-libc-dev-bin_2.39-0ubuntu2_s390x.deb ... 184s Unpacking libc-dev-bin (2.39-0ubuntu2) ... 184s Selecting previously unselected package linux-libc-dev:s390x. 184s Preparing to unpack .../083-linux-libc-dev_6.8.0-11.11_s390x.deb ... 184s Unpacking linux-libc-dev:s390x (6.8.0-11.11) ... 184s Selecting previously unselected package libcrypt-dev:s390x. 184s Preparing to unpack .../084-libcrypt-dev_1%3a4.4.36-4_s390x.deb ... 184s Unpacking libcrypt-dev:s390x (1:4.4.36-4) ... 184s Selecting previously unselected package libtirpc-dev:s390x. 184s Preparing to unpack .../085-libtirpc-dev_1.3.4+ds-1build1_s390x.deb ... 184s Unpacking libtirpc-dev:s390x (1.3.4+ds-1build1) ... 184s Selecting previously unselected package libnsl-dev:s390x. 184s Preparing to unpack .../086-libnsl-dev_1.3.0-3_s390x.deb ... 184s Unpacking libnsl-dev:s390x (1.3.0-3) ... 184s Selecting previously unselected package rpcsvc-proto. 184s Preparing to unpack .../087-rpcsvc-proto_1.4.2-0ubuntu6_s390x.deb ... 184s Unpacking rpcsvc-proto (1.4.2-0ubuntu6) ... 184s Selecting previously unselected package libc6-dev:s390x. 184s Preparing to unpack .../088-libc6-dev_2.39-0ubuntu2_s390x.deb ... 184s Unpacking libc6-dev:s390x (2.39-0ubuntu2) ... 184s Selecting previously unselected package libncurses-dev:s390x. 184s Preparing to unpack .../089-libncurses-dev_6.4+20240113-1ubuntu1_s390x.deb ... 184s Unpacking libncurses-dev:s390x (6.4+20240113-1ubuntu1) ... 184s Selecting previously unselected package libcc1-0:s390x. 184s Preparing to unpack .../090-libcc1-0_14-20240303-1ubuntu1_s390x.deb ... 184s Unpacking libcc1-0:s390x (14-20240303-1ubuntu1) ... 184s Selecting previously unselected package libgomp1:s390x. 184s Preparing to unpack .../091-libgomp1_14-20240303-1ubuntu1_s390x.deb ... 184s Unpacking libgomp1:s390x (14-20240303-1ubuntu1) ... 184s Selecting previously unselected package libitm1:s390x. 184s Preparing to unpack .../092-libitm1_14-20240303-1ubuntu1_s390x.deb ... 184s Unpacking libitm1:s390x (14-20240303-1ubuntu1) ... 184s Selecting previously unselected package libatomic1:s390x. 184s Preparing to unpack .../093-libatomic1_14-20240303-1ubuntu1_s390x.deb ... 184s Unpacking libatomic1:s390x (14-20240303-1ubuntu1) ... 184s Selecting previously unselected package libasan8:s390x. 184s Preparing to unpack .../094-libasan8_14-20240303-1ubuntu1_s390x.deb ... 184s Unpacking libasan8:s390x (14-20240303-1ubuntu1) ... 184s Selecting previously unselected package libubsan1:s390x. 184s Preparing to unpack .../095-libubsan1_14-20240303-1ubuntu1_s390x.deb ... 184s Unpacking libubsan1:s390x (14-20240303-1ubuntu1) ... 184s Selecting previously unselected package libgcc-13-dev:s390x. 184s Preparing to unpack .../096-libgcc-13-dev_13.2.0-17ubuntu2_s390x.deb ... 184s Unpacking libgcc-13-dev:s390x (13.2.0-17ubuntu2) ... 184s Selecting previously unselected package gcc-13-s390x-linux-gnu. 184s Preparing to unpack .../097-gcc-13-s390x-linux-gnu_13.2.0-17ubuntu2_s390x.deb ... 184s Unpacking gcc-13-s390x-linux-gnu (13.2.0-17ubuntu2) ... 185s Selecting previously unselected package gcc-13. 185s Preparing to unpack .../098-gcc-13_13.2.0-17ubuntu2_s390x.deb ... 185s Unpacking gcc-13 (13.2.0-17ubuntu2) ... 185s Selecting previously unselected package gcc-s390x-linux-gnu. 185s Preparing to unpack .../099-gcc-s390x-linux-gnu_4%3a13.2.0-7ubuntu1_s390x.deb ... 185s Unpacking gcc-s390x-linux-gnu (4:13.2.0-7ubuntu1) ... 185s Selecting previously unselected package gcc. 185s Preparing to unpack .../100-gcc_4%3a13.2.0-7ubuntu1_s390x.deb ... 185s Unpacking gcc (4:13.2.0-7ubuntu1) ... 185s Selecting previously unselected package ocaml. 185s Preparing to unpack .../101-ocaml_4.14.1-1ubuntu1_s390x.deb ... 185s Unpacking ocaml (4.14.1-1ubuntu1) ... 187s Selecting previously unselected package libocamlgraph-ocaml-dev. 187s Preparing to unpack .../102-libocamlgraph-ocaml-dev_2.1.0-1build1_s390x.deb ... 187s Unpacking libocamlgraph-ocaml-dev (2.1.0-1build1) ... 187s Selecting previously unselected package libppx-import-ocaml. 187s Preparing to unpack .../103-libppx-import-ocaml_1.10.0-3build2_s390x.deb ... 187s Unpacking libppx-import-ocaml (1.10.0-3build2) ... 187s Selecting previously unselected package frama-c-base. 187s Preparing to unpack .../104-frama-c-base_20220511-manganese-5build5_s390x.deb ... 187s Unpacking frama-c-base (20220511-manganese-5build5) ... 189s Selecting previously unselected package autopkgtest-satdep. 189s Preparing to unpack .../105-1-autopkgtest-satdep.deb ... 189s Unpacking autopkgtest-satdep (0) ... 189s Setting up libgraphite2-3:s390x (1.3.14-2) ... 189s Setting up liblcms2-2:s390x (2.14-2) ... 189s Setting up libpixman-1-0:s390x (0.42.2-1) ... 189s Setting up libsharpyuv0:s390x (1.3.2-0.4) ... 189s Setting up libxdamage1:s390x (1:1.1.6-1) ... 189s Setting up hicolor-icon-theme (0.17-2) ... 189s Setting up libxi6:s390x (2:1.8.1-1) ... 189s Setting up libxrender1:s390x (1:0.9.10-1.1) ... 189s Setting up libdatrie1:s390x (0.2.13-3) ... 189s Setting up libxcb-render0:s390x (1.15-1) ... 189s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ... 189s Setting up libdeflate0:s390x (1.19-1) ... 189s Setting up linux-libc-dev:s390x (6.8.0-11.11) ... 189s Setting up libxcb-shm0:s390x (1.15-1) ... 189s Setting up libatspi2.0-0:s390x (2.50.0-1) ... 189s Setting up libgomp1:s390x (14-20240303-1ubuntu1) ... 189s Setting up libjbig0:s390x (2.1-6.1ubuntu1) ... 189s Setting up libcolord2:s390x (1.4.7-1) ... 189s Setting up libdconf1:s390x (0.40.0-4) ... 189s Setting up libtirpc-dev:s390x (1.3.4+ds-1build1) ... 189s Setting up rpcsvc-proto (1.4.2-0ubuntu6) ... 189s Setting up libfreetype6:s390x (2.13.2+dfsg-1) ... 189s Setting up libepoxy0:s390x (1.5.10-1) ... 189s Setting up libxfixes3:s390x (1:6.0.0-2) ... 189s Setting up libavahi-common-data:s390x (0.8-13ubuntu2) ... 189s Setting up libxinerama1:s390x (2:1.1.4-3) ... 189s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... 189s Setting up fonts-dejavu-mono (2.37-8) ... 189s Setting up libmpc3:s390x (1.3.1-1) ... 189s Setting up libatomic1:s390x (14-20240303-1ubuntu1) ... 189s Setting up libxrandr2:s390x (2:1.5.2-2) ... 189s Setting up ocaml-base (4.14.1-1ubuntu1) ... 189s Setting up fonts-dejavu-core (2.37-8) ... 189s Setting up libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ... 189s Setting up libwebp7:s390x (1.3.2-0.4) ... 189s Setting up libubsan1:s390x (14-20240303-1ubuntu1) ... 189s Setting up libsexplib0-ocaml (0.16.0-3build2) ... 189s Setting up libnsl-dev:s390x (1.3.0-3) ... 189s Setting up at-spi2-common (2.50.0-1) ... 189s Setting up libcrypt-dev:s390x (1:4.4.36-4) ... 189s Setting up libasan8:s390x (14-20240303-1ubuntu1) ... 189s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... 189s Setting up libharfbuzz0b:s390x (8.3.0-2) ... 189s Setting up libthai-data (0.1.29-2) ... 189s Setting up libatk1.0-0:s390x (2.50.0-1) ... 189s Setting up libwayland-egl1:s390x (1.22.0-2.1) ... 189s Setting up libisl23:s390x (0.26-3) ... 189s Setting up libc-dev-bin (2.39-0ubuntu2) ... 189s Setting up libresult-ocaml (1.5-4build1) ... 189s Setting up libxcomposite1:s390x (1:0.4.5-1build2) ... 189s Setting up libcc1-0:s390x (14-20240303-1ubuntu1) ... 189s Setting up libitm1:s390x (14-20240303-1ubuntu1) ... 189s Setting up libppx-import-ocaml (1.10.0-3build2) ... 189s Setting up libwayland-client0:s390x (1.22.0-2.1) ... 189s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 189s Setting up libppx-deriving-ocaml (5.2.1-4build2) ... 189s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... 189s Setting up libyojson-ocaml (2.1.2-1) ... 189s Setting up fontconfig-config (2.15.0-1ubuntu1) ... 189s Setting up libxcursor1:s390x (1:1.2.1-1) ... 189s Setting up libavahi-common3:s390x (0.8-13ubuntu2) ... 189s Setting up libfindlib-ocaml (1.9.6-1build3) ... 189s Setting up dconf-service (0.40.0-4) ... 189s Setting up libzarith-ocaml (1.13-2build3) ... 189s Setting up libatk-bridge2.0-0:s390x (2.50.0-1) ... 189s Setting up libthai0:s390x (0.1.29-2) ... 189s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... 189s Setting up ocaml-interp (4.14.1-1ubuntu1) ... 189s Setting up cpp-13-s390x-linux-gnu (13.2.0-17ubuntu2) ... 189s Setting up libgcc-13-dev:s390x (13.2.0-17ubuntu2) ... 189s Setting up libtiff6:s390x (4.5.1+git230720-3ubuntu1) ... 189s Setting up libwayland-cursor0:s390x (1.22.0-2.1) ... 189s Setting up libc6-dev:s390x (2.39-0ubuntu2) ... 189s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.10+dfsg-3) ... 189s Setting up libfontconfig1:s390x (2.15.0-1ubuntu1) ... 189s Setting up libavahi-client3:s390x (0.8-13ubuntu2) ... 189s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ... 189s Setting up fontconfig (2.15.0-1ubuntu1) ... 191s Regenerating fonts cache... done. 191s Setting up libncurses-dev:s390x (6.4+20240113-1ubuntu1) ... 191s Setting up cpp-13 (13.2.0-17ubuntu2) ... 191s Setting up dconf-gsettings-backend:s390x (0.40.0-4) ... 191s Setting up cpp-s390x-linux-gnu (4:13.2.0-7ubuntu1) ... 191s Setting up libpango-1.0-0:s390x (1.51.0+ds-4) ... 191s Setting up libcairo2:s390x (1.18.0-1) ... 191s Setting up gcc-13-s390x-linux-gnu (13.2.0-17ubuntu2) ... 191s Setting up gcc-s390x-linux-gnu (4:13.2.0-7ubuntu1) ... 191s Setting up gcc-13 (13.2.0-17ubuntu2) ... 191s Setting up libcups2:s390x (2.4.6-0ubuntu3) ... 191s Setting up cpp (4:13.2.0-7ubuntu1) ... 191s Setting up libcairo-gobject2:s390x (1.18.0-1) ... 191s Setting up libpangoft2-1.0-0:s390x (1.51.0+ds-4) ... 191s Setting up libgtk-3-common (3.24.40-2ubuntu1) ... 191s Setting up libpangocairo-1.0-0:s390x (1.51.0+ds-4) ... 191s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ... 191s Setting up gcc (4:13.2.0-7ubuntu1) ... 191s Setting up ocaml (4.14.1-1ubuntu1) ... 191s Setting up libocamlgraph-ocaml-dev (2.1.0-1build1) ... 191s Setting up adwaita-icon-theme (46~rc-1) ... 191s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 191s Setting up humanity-icon-theme (0.6.16) ... 191s Setting up ubuntu-mono (24.04-0ubuntu1) ... 191s Processing triggers for man-db (2.12.0-3) ... 192s Processing triggers for libglib2.0-0t64:s390x (2.79.3-3ubuntu5) ... 192s Setting up libgtk-3-0:s390x (3.24.40-2ubuntu1) ... 192s Processing triggers for libc-bin (2.39-0ubuntu2) ... 192s Setting up libgtksourceview-3.0-1:s390x (3.24.11-2build1) ... 192s Setting up liblablgtk3-ocaml (3.1.4-1) ... 192s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ... 192s Setting up frama-c-base (20220511-manganese-5build5) ... 192s Setting up autopkgtest-satdep (0) ... 192s Processing triggers for libc-bin (2.39-0ubuntu2) ... 196s (Reading database ... 71156 files and directories currently installed.) 196s Removing autopkgtest-satdep (0) ... 197s autopkgtest [23:22:45]: test eva: [----------------------- 197s autopkgtest [23:22:45]: test eva: -----------------------] 198s autopkgtest [23:22:46]: test eva: - - - - - - - - - - results - - - - - - - - - - 198s eva PASS 198s autopkgtest [23:22:46]: test wp: preparing testbed 206s Reading package lists... 206s Building dependency tree... 206s Reading state information... 206s Starting pkgProblemResolver with broken count: 1 206s Starting 2 pkgProblemResolver with broken count: 1 206s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 206s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un mH > (>= 2.0.0) 206s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build4 @un umH > 206s Considering why3:s390x 2 as a solution to autopkgtest-satdep:s390x 9998 206s Re-Instated tex-common:s390x 206s Re-Instated why3:s390x 206s Done 206s Some packages could not be installed. This may mean that you have 206s requested an impossible situation or if you are using the unstable 206s distribution that some required packages have not yet been created 206s or been moved out of Incoming. 206s The following information may help to resolve the situation: 206s 206s The following packages have unmet dependencies: 206s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 207s E: Unable to correct problems, you have held broken packages. 207s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed 207s Reading package lists... 207s Building dependency tree... 207s Reading state information... 207s Starting pkgProblemResolver with broken count: 1 207s Starting 2 pkgProblemResolver with broken count: 1 207s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib > 207s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un mH > (>= 2.0.0) 207s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build4 @un umH > 207s Considering why3:s390x 2 as a solution to autopkgtest-satdep:s390x 9998 207s Re-Instated tex-common:s390x 207s Re-Instated why3:s390x 207s Done 207s Some packages could not be installed. This may mean that you have 207s requested an impossible situation or if you are using the unstable 207s distribution that some required packages have not yet been created 207s or been moved out of Incoming. 207s The following information may help to resolve the situation: 207s 207s The following packages have unmet dependencies: 208s autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable 208s E: Unable to correct problems, you have held broken packages. 208s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs 208s wp SKIP installation fails and skip-not-installable set 208s autopkgtest [23:22:56]: @@@@@@@@@@@@@@@@@@@@ summary 208s eva PASS 208s wp SKIP installation fails and skip-not-installable set 219s Creating nova instance adt-noble-s390x-frama-c-20240321-231928-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240321.img (UUID f7ee8f0f-480f-4014-94f0-3be2a19e259d)...