0s autopkgtest [11:15:26]: starting date and time: 2024-11-13 11:15:26+0000
  0s autopkgtest [11:15:26]: git checkout: 6f3be7a8 Fix armhf LXD image generation for plucky
  0s autopkgtest [11:15:26]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.f5bnil1n/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:python3-defaults,src:python3-stdlib-extensions --apt-upgrade frama-c --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=python3-defaults/3.12.7-1 python3-stdlib-extensions/3.12.7-1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-s390x-30.secgroup --name adt-plucky-s390x-frama-c-20241113-111526-juju-7f2275-prod-proposed-migration-environment-20-c9bedce7-5176-4453-be8f-df7422cef6c7 --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-proposed-migration-s390x -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/
194s autopkgtest [11:18:40]: testbed dpkg architecture: s390x
194s autopkgtest [11:18:40]: testbed apt version: 2.9.8
194s autopkgtest [11:18:40]: @@@@@@@@@@@@@@@@@@@@ test bed setup
195s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB]
196s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.3 kB]
196s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B]
196s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [76.4 kB]
196s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [849 kB]
196s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [85.8 kB]
196s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [565 kB]
196s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [16.6 kB]
196s Fetched 1689 kB in 1s (1801 kB/s)
196s Reading package lists...
200s Reading package lists...
201s Building dependency tree...
201s Reading state information...
201s Calculating upgrade...
201s The following NEW packages will be installed:
201s   python3.13-gdbm
201s The following packages will be upgraded:
201s   libgpgme11t64 libpython3-stdlib python3 python3-gdbm python3-minimal
201s 5 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
201s Need to get 252 kB of archives.
201s After this operation, 98.3 kB of additional disk space will be used.
201s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x python3-minimal s390x 3.12.7-1 [27.4 kB]
201s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x python3 s390x 3.12.7-1 [24.0 kB]
201s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libpython3-stdlib s390x 3.12.7-1 [10.0 kB]
201s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x python3.13-gdbm s390x 3.13.0-2 [31.0 kB]
201s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x python3-gdbm s390x 3.12.7-1 [8642 B]
201s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libgpgme11t64 s390x 1.23.2-5ubuntu4 [151 kB]
201s Fetched 252 kB in 0s (608 kB/s)
202s (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 ... 55510 files and directories currently installed.)
202s Preparing to unpack .../python3-minimal_3.12.7-1_s390x.deb ...
202s Unpacking python3-minimal (3.12.7-1) over (3.12.6-0ubuntu1) ...
202s Setting up python3-minimal (3.12.7-1) ...
202s (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 ... 55510 files and directories currently installed.)
202s Preparing to unpack .../python3_3.12.7-1_s390x.deb ...
202s Unpacking python3 (3.12.7-1) over (3.12.6-0ubuntu1) ...
202s Preparing to unpack .../libpython3-stdlib_3.12.7-1_s390x.deb ...
202s Unpacking libpython3-stdlib:s390x (3.12.7-1) over (3.12.6-0ubuntu1) ...
202s Selecting previously unselected package python3.13-gdbm.
202s Preparing to unpack .../python3.13-gdbm_3.13.0-2_s390x.deb ...
202s Unpacking python3.13-gdbm (3.13.0-2) ...
202s Preparing to unpack .../python3-gdbm_3.12.7-1_s390x.deb ...
202s Unpacking python3-gdbm:s390x (3.12.7-1) over (3.12.6-1ubuntu1) ...
202s Preparing to unpack .../libgpgme11t64_1.23.2-5ubuntu4_s390x.deb ...
202s Unpacking libgpgme11t64:s390x (1.23.2-5ubuntu4) over (1.18.0-4.1ubuntu4) ...
202s Setting up libgpgme11t64:s390x (1.23.2-5ubuntu4) ...
202s Setting up python3.13-gdbm (3.13.0-2) ...
202s Setting up libpython3-stdlib:s390x (3.12.7-1) ...
202s Setting up python3 (3.12.7-1) ...
202s Setting up python3-gdbm:s390x (3.12.7-1) ...
202s Processing triggers for man-db (2.12.1-3) ...
203s Processing triggers for libc-bin (2.40-1ubuntu3) ...
203s Reading package lists...
203s Building dependency tree...
203s Reading state information...
203s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
203s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease
203s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
204s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
204s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
204s Reading package lists...
204s Reading package lists...
204s Building dependency tree...
204s Reading state information...
205s Calculating upgrade...
205s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
205s Reading package lists...
205s Building dependency tree...
205s Reading state information...
205s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
209s autopkgtest [11:18:55]: testbed running kernel: Linux 6.11.0-8-generic #8-Ubuntu SMP Mon Sep 16 12:49:35 UTC 2024
210s autopkgtest [11:18:56]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c
212s Get:1 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (dsc) [2447 B]
212s Get:2 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (tar) [8074 kB]
212s Get:3 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (diff) [17.2 kB]
212s gpgv: Signature made Fri Sep  6 13:44:00 2024 UTC
212s gpgv:                using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37
212s gpgv: Can't check signature: No public key
212s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build14.dsc: no acceptable signature found
212s autopkgtest [11:18:58]: testing package frama-c version 20220511-manganese-5build14
213s autopkgtest [11:18:59]: build not needed
217s autopkgtest [11:19:03]: test eva: preparing testbed
221s Reading package lists...
222s Building dependency tree...
222s Reading state information...
222s Starting pkgProblemResolver with broken count: 0
222s Starting 2 pkgProblemResolver with broken count: 0
222s Done
222s The following additional packages will be installed:
222s   adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-s390x-linux-gnu
222s   cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig
222s   fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc
222s   gcc-14 gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache
222s   hicolor-icon-theme humanity-icon-theme libasan8 libatk-bridge2.0-0t64
222s   libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data
222s   libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0
222s   libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1
222s   libdeflate0 libepoxy0 libfindlib-ocaml libfontconfig1 libfreetype6
222s   libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1
222s   libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1
222s   libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0
222s   libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml
222s   liblcms2-2 libmpc3 libncurses-dev libocamlgraph-ocaml-dev libpango-1.0-0
222s   libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml
222s   libppx-import-ocaml libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml
222s   libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1
222s   libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7
222s   libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3
222s   libxi6 libxinerama1 libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml
222s   libzstd-dev ocaml ocaml-base ocaml-interp ubuntu-mono
222s Suggested packages:
222s   adwaita-icon-theme-legacy cpp-doc gcc-14-locales cpp-14-doc gcc-multilib
222s   manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-14-doc
222s   gdb-s390x-linux-gnu colord cups-common gvfs liblcms2-utils ncurses-doc
222s   ocaml-doc elpa-tuareg
222s Recommended packages:
222s   librsvg2-common alt-ergo why3 at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin
222s   ocaml-findlib ocaml-man ledit | readline-editor
222s The following NEW packages will be installed:
222s   adwaita-icon-theme at-spi2-common autopkgtest-satdep cpp cpp-14
222s   cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu dconf-gsettings-backend
222s   dconf-service fontconfig fontconfig-config fonts-dejavu-core
222s   fonts-dejavu-mono frama-c-base gcc gcc-14 gcc-14-s390x-linux-gnu
222s   gcc-s390x-linux-gnu gtk-update-icon-cache hicolor-icon-theme
222s   humanity-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64
222s   libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3
222s   libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2
222s   libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0
222s   libepoxy0 libfindlib-ocaml libfontconfig1 libfreetype6 libgcc-14-dev
222s   libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 libgraphite2-3
222s   libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1
222s   libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0
222s   libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml
222s   liblcms2-2 libmpc3 libncurses-dev libocamlgraph-ocaml-dev libpango-1.0-0
222s   libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml
222s   libppx-import-ocaml libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml
222s   libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libubsan1
222s   libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7
222s   libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3
222s   libxi6 libxinerama1 libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml
222s   libzstd-dev ocaml ocaml-base ocaml-interp ubuntu-mono
222s 0 upgraded, 98 newly installed, 0 to remove and 0 not upgraded.
222s Need to get 214 MB/214 MB of archives.
222s After this operation, 654 MB of additional disk space will be used.
222s Get:1 /tmp/autopkgtest.Ig4h27/1-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [708 B]
222s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B]
222s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg-turbo8 s390x 2.1.5-2ubuntu2 [150 kB]
222s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B]
222s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libdeflate0 s390x 1.22-1 [46.1 kB]
222s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libjbig0 s390x 2.1-6.1ubuntu2 [33.1 kB]
222s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libsharpyuv0 s390x 1.4.0-0.1 [16.2 kB]
222s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libwebp7 s390x 1.4.0-0.1 [204 kB]
222s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libtiff6 s390x 4.5.1+git230720-4ubuntu4 [217 kB]
222s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.12+dfsg-1 [152 kB]
223s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x gtk-update-icon-cache s390x 4.16.5+ds-1 [52.0 kB]
223s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x hicolor-icon-theme all 0.18-1 [13.5 kB]
223s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x humanity-icon-theme all 0.6.16 [1282 kB]
223s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB]
223s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x adwaita-icon-theme all 47.0-2 [525 kB]
223s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x at-spi2-common all 2.54.0-1 [8774 B]
223s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB]
223s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB]
223s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-8ubuntu1 [9570 kB]
223s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-8ubuntu1 [1026 B]
223s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.1.0-2ubuntu1 [5452 B]
223s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.1.0-2ubuntu1 [22.4 kB]
223s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libdconf1 s390x 0.40.0-4build2 [40.3 kB]
223s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-service s390x 0.40.0-4build2 [28.6 kB]
223s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x dconf-gsettings-backend s390x 0.40.0-4build2 [23.2 kB]
223s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x libfreetype6 s390x 2.13.3+dfsg-1 [431 kB]
223s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-mono all 2.37-8 [502 kB]
223s Get:28 http://ftpmaster.internal/ubuntu plucky/main s390x fonts-dejavu-core all 2.37-8 [835 kB]
223s Get:29 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig-config s390x 2.15.0-1.1ubuntu2 [37.4 kB]
223s Get:30 http://ftpmaster.internal/ubuntu plucky/main s390x libfontconfig1 s390x 2.15.0-1.1ubuntu2 [150 kB]
223s Get:31 http://ftpmaster.internal/ubuntu plucky/main s390x fontconfig s390x 2.15.0-1.1ubuntu2 [191 kB]
223s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libpixman-1-0 s390x 0.44.0-3 [201 kB]
223s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-render0 s390x 1.17.0-2 [17.0 kB]
223s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B]
223s Get:35 http://ftpmaster.internal/ubuntu plucky/main s390x libxrender1 s390x 1:0.9.10-1.1build1 [20.4 kB]
223s Get:36 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo2 s390x 1.18.2-2 [580 kB]
223s Get:37 http://ftpmaster.internal/ubuntu plucky/main s390x libatk1.0-0t64 s390x 2.54.0-1 [54.7 kB]
223s Get:38 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB]
223s Get:39 http://ftpmaster.internal/ubuntu plucky/main s390x libatspi2.0-0t64 s390x 2.54.0-1 [79.8 kB]
223s Get:40 http://ftpmaster.internal/ubuntu plucky/main s390x libatk-bridge2.0-0t64 s390x 2.54.0-1 [66.4 kB]
223s Get:41 http://ftpmaster.internal/ubuntu plucky/main s390x libcairo-gobject2 s390x 1.18.2-2 [127 kB]
223s Get:42 http://ftpmaster.internal/ubuntu plucky/main s390x liblcms2-2 s390x 2.16-2 [175 kB]
223s Get:43 http://ftpmaster.internal/ubuntu plucky/main s390x libcolord2 s390x 1.4.7-1build2 [151 kB]
223s Get:44 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common-data s390x 0.8-13ubuntu6 [29.7 kB]
223s Get:45 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-common3 s390x 0.8-13ubuntu6 [24.1 kB]
223s Get:46 http://ftpmaster.internal/ubuntu plucky/main s390x libavahi-client3 s390x 0.8-13ubuntu6 [27.2 kB]
223s Get:47 http://ftpmaster.internal/ubuntu plucky/main s390x libcups2t64 s390x 2.4.10-1ubuntu2 [281 kB]
224s Get:48 http://ftpmaster.internal/ubuntu plucky/main s390x libepoxy0 s390x 1.5.10-2 [222 kB]
224s Get:49 http://ftpmaster.internal/ubuntu plucky/main s390x libgraphite2-3 s390x 1.3.14-2ubuntu1 [79.8 kB]
224s Get:50 http://ftpmaster.internal/ubuntu plucky/main s390x libharfbuzz0b s390x 10.0.1-1 [536 kB]
224s Get:51 http://ftpmaster.internal/ubuntu plucky/main s390x libthai-data all 0.1.29-2build1 [158 kB]
224s Get:52 http://ftpmaster.internal/ubuntu plucky/main s390x libdatrie1 s390x 0.2.13-3build1 [20.6 kB]
224s Get:53 http://ftpmaster.internal/ubuntu plucky/main s390x libthai0 s390x 0.1.29-2build1 [20.7 kB]
224s Get:54 http://ftpmaster.internal/ubuntu plucky/main s390x libpango-1.0-0 s390x 1.54.0+ds-3 [249 kB]
224s Get:55 http://ftpmaster.internal/ubuntu plucky/main s390x libpangoft2-1.0-0 s390x 1.54.0+ds-3 [49.5 kB]
224s Get:56 http://ftpmaster.internal/ubuntu plucky/main s390x libpangocairo-1.0-0 s390x 1.54.0+ds-3 [28.0 kB]
224s Get:57 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-client0 s390x 1.23.0-1 [27.6 kB]
224s Get:58 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-cursor0 s390x 1.23.0-1 [11.5 kB]
224s Get:59 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-egl1 s390x 1.23.0-1 [5584 B]
224s Get:60 http://ftpmaster.internal/ubuntu plucky/main s390x libxcomposite1 s390x 1:0.4.6-1 [6588 B]
224s Get:61 http://ftpmaster.internal/ubuntu plucky/main s390x libxfixes3 s390x 1:6.0.0-2build1 [11.3 kB]
224s Get:62 http://ftpmaster.internal/ubuntu plucky/main s390x libxcursor1 s390x 1:1.2.2-1 [22.7 kB]
224s Get:63 http://ftpmaster.internal/ubuntu plucky/main s390x libxdamage1 s390x 1:1.1.6-1build1 [6156 B]
224s Get:64 http://ftpmaster.internal/ubuntu plucky/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B]
224s Get:65 http://ftpmaster.internal/ubuntu plucky/main s390x libxrandr2 s390x 2:1.5.4-1 [20.8 kB]
224s Get:66 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-common all 3.24.43-3ubuntu2 [1202 kB]
224s Get:67 http://ftpmaster.internal/ubuntu plucky/main s390x libgtk-3-0t64 s390x 3.24.43-3ubuntu2 [2934 kB]
224s Get:68 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-common all 3.24.11-3 [294 kB]
224s Get:69 http://ftpmaster.internal/ubuntu plucky/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-3 [229 kB]
224s Get:70 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB]
224s Get:71 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB]
224s Get:72 http://ftpmaster.internal/ubuntu plucky/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-4build1 [30.9 kB]
224s Get:73 http://ftpmaster.internal/ubuntu plucky/universe s390x libfindlib-ocaml s390x 1.9.6-3build1 [189 kB]
224s Get:74 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtk3-ocaml s390x 3.1.5-1build1 [3616 kB]
224s Get:75 http://ftpmaster.internal/ubuntu plucky/universe s390x liblablgtksourceview3-ocaml s390x 3.1.5-1build1 [335 kB]
224s Get:76 http://ftpmaster.internal/ubuntu plucky/universe s390x libsexplib0-ocaml s390x 0.17.0-1 [134 kB]
224s Get:77 http://ftpmaster.internal/ubuntu plucky/universe s390x libppx-deriving-ocaml s390x 6.0.2-2build2 [4955 kB]
225s Get:78 http://ftpmaster.internal/ubuntu plucky/universe s390x libyojson-ocaml s390x 2.2.2-1 [549 kB]
225s Get:79 http://ftpmaster.internal/ubuntu plucky/universe s390x libzarith-ocaml s390x 1.14-1 [125 kB]
225s Get:80 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB]
225s Get:81 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB]
227s Get:82 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB]
228s Get:83 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5-2 [404 kB]
228s Get:84 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 14.2.0-8ubuntu1 [50.6 kB]
228s Get:85 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 14.2.0-8ubuntu1 [151 kB]
228s Get:86 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 14.2.0-8ubuntu1 [30.9 kB]
228s Get:87 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 14.2.0-8ubuntu1 [2963 kB]
228s Get:88 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 14.2.0-8ubuntu1 [1184 kB]
228s Get:89 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-8ubuntu1 [1037 kB]
228s Get:90 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-8ubuntu1 [18.7 MB]
230s Get:91 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-8ubuntu1 [518 kB]
230s Get:92 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.1.0-2ubuntu1 [1204 B]
230s Get:93 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.1.0-2ubuntu1 [4996 B]
230s Get:94 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-1 [408 kB]
230s Get:95 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB]
230s Get:96 http://ftpmaster.internal/ubuntu plucky/universe s390x libocamlgraph-ocaml-dev s390x 2.1.0-3build1 [6878 kB]
230s Get:97 http://ftpmaster.internal/ubuntu plucky/universe s390x libppx-import-ocaml s390x 1.11.0-2build2 [66.2 kB]
230s Get:98 http://ftpmaster.internal/ubuntu plucky/universe s390x frama-c-base s390x 20220511-manganese-5build14 [63.0 MB]
233s Fetched 214 MB in 11s (19.2 MB/s)
233s Selecting previously unselected package libgdk-pixbuf2.0-common.
233s (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 ... 55517 files and directories currently installed.)
233s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ...
233s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ...
233s Selecting previously unselected package libjpeg-turbo8:s390x.
234s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-2ubuntu2_s390x.deb ...
234s Unpacking libjpeg-turbo8:s390x (2.1.5-2ubuntu2) ...
234s Selecting previously unselected package libjpeg8:s390x.
234s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_s390x.deb ...
234s Unpacking libjpeg8:s390x (8c-2ubuntu11) ...
234s Selecting previously unselected package libdeflate0:s390x.
234s Preparing to unpack .../03-libdeflate0_1.22-1_s390x.deb ...
234s Unpacking libdeflate0:s390x (1.22-1) ...
234s Selecting previously unselected package libjbig0:s390x.
234s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_s390x.deb ...
234s Unpacking libjbig0:s390x (2.1-6.1ubuntu2) ...
234s Selecting previously unselected package libsharpyuv0:s390x.
234s Preparing to unpack .../05-libsharpyuv0_1.4.0-0.1_s390x.deb ...
234s Unpacking libsharpyuv0:s390x (1.4.0-0.1) ...
234s Selecting previously unselected package libwebp7:s390x.
234s Preparing to unpack .../06-libwebp7_1.4.0-0.1_s390x.deb ...
234s Unpacking libwebp7:s390x (1.4.0-0.1) ...
234s Selecting previously unselected package libtiff6:s390x.
234s Preparing to unpack .../07-libtiff6_4.5.1+git230720-4ubuntu4_s390x.deb ...
234s Unpacking libtiff6:s390x (4.5.1+git230720-4ubuntu4) ...
234s Selecting previously unselected package libgdk-pixbuf-2.0-0:s390x.
234s Preparing to unpack .../08-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_s390x.deb ...
234s Unpacking libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-1) ...
234s Selecting previously unselected package gtk-update-icon-cache.
234s Preparing to unpack .../09-gtk-update-icon-cache_4.16.5+ds-1_s390x.deb ...
234s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed.
234s 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.
234s Unpacking gtk-update-icon-cache (4.16.5+ds-1) ...
234s Selecting previously unselected package hicolor-icon-theme.
234s Preparing to unpack .../10-hicolor-icon-theme_0.18-1_all.deb ...
234s Unpacking hicolor-icon-theme (0.18-1) ...
234s Selecting previously unselected package humanity-icon-theme.
234s Preparing to unpack .../11-humanity-icon-theme_0.6.16_all.deb ...
234s Unpacking humanity-icon-theme (0.6.16) ...
234s Selecting previously unselected package ubuntu-mono.
234s Preparing to unpack .../12-ubuntu-mono_24.04-0ubuntu1_all.deb ...
234s Unpacking ubuntu-mono (24.04-0ubuntu1) ...
234s Selecting previously unselected package adwaita-icon-theme.
234s Preparing to unpack .../13-adwaita-icon-theme_47.0-2_all.deb ...
234s Unpacking adwaita-icon-theme (47.0-2) ...
234s Selecting previously unselected package at-spi2-common.
234s Preparing to unpack .../14-at-spi2-common_2.54.0-1_all.deb ...
234s Unpacking at-spi2-common (2.54.0-1) ...
234s Selecting previously unselected package libisl23:s390x.
234s Preparing to unpack .../15-libisl23_0.27-1_s390x.deb ...
234s Unpacking libisl23:s390x (0.27-1) ...
234s Selecting previously unselected package libmpc3:s390x.
234s Preparing to unpack .../16-libmpc3_1.3.1-1build2_s390x.deb ...
234s Unpacking libmpc3:s390x (1.3.1-1build2) ...
234s Selecting previously unselected package cpp-14-s390x-linux-gnu.
234s Preparing to unpack .../17-cpp-14-s390x-linux-gnu_14.2.0-8ubuntu1_s390x.deb ...
234s Unpacking cpp-14-s390x-linux-gnu (14.2.0-8ubuntu1) ...
235s Selecting previously unselected package cpp-14.
235s Preparing to unpack .../18-cpp-14_14.2.0-8ubuntu1_s390x.deb ...
235s Unpacking cpp-14 (14.2.0-8ubuntu1) ...
235s Selecting previously unselected package cpp-s390x-linux-gnu.
235s Preparing to unpack .../19-cpp-s390x-linux-gnu_4%3a14.1.0-2ubuntu1_s390x.deb ...
235s Unpacking cpp-s390x-linux-gnu (4:14.1.0-2ubuntu1) ...
235s Selecting previously unselected package cpp.
235s Preparing to unpack .../20-cpp_4%3a14.1.0-2ubuntu1_s390x.deb ...
235s Unpacking cpp (4:14.1.0-2ubuntu1) ...
235s Selecting previously unselected package libdconf1:s390x.
235s Preparing to unpack .../21-libdconf1_0.40.0-4build2_s390x.deb ...
235s Unpacking libdconf1:s390x (0.40.0-4build2) ...
235s Selecting previously unselected package dconf-service.
235s Preparing to unpack .../22-dconf-service_0.40.0-4build2_s390x.deb ...
235s Unpacking dconf-service (0.40.0-4build2) ...
235s Selecting previously unselected package dconf-gsettings-backend:s390x.
235s Preparing to unpack .../23-dconf-gsettings-backend_0.40.0-4build2_s390x.deb ...
235s Unpacking dconf-gsettings-backend:s390x (0.40.0-4build2) ...
235s Selecting previously unselected package libfreetype6:s390x.
235s Preparing to unpack .../24-libfreetype6_2.13.3+dfsg-1_s390x.deb ...
235s Unpacking libfreetype6:s390x (2.13.3+dfsg-1) ...
235s Selecting previously unselected package fonts-dejavu-mono.
235s Preparing to unpack .../25-fonts-dejavu-mono_2.37-8_all.deb ...
235s Unpacking fonts-dejavu-mono (2.37-8) ...
235s Selecting previously unselected package fonts-dejavu-core.
235s Preparing to unpack .../26-fonts-dejavu-core_2.37-8_all.deb ...
235s Unpacking fonts-dejavu-core (2.37-8) ...
235s Selecting previously unselected package fontconfig-config.
235s Preparing to unpack .../27-fontconfig-config_2.15.0-1.1ubuntu2_s390x.deb ...
235s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ...
235s Selecting previously unselected package libfontconfig1:s390x.
235s Preparing to unpack .../28-libfontconfig1_2.15.0-1.1ubuntu2_s390x.deb ...
235s Unpacking libfontconfig1:s390x (2.15.0-1.1ubuntu2) ...
235s Selecting previously unselected package fontconfig.
235s Preparing to unpack .../29-fontconfig_2.15.0-1.1ubuntu2_s390x.deb ...
235s Unpacking fontconfig (2.15.0-1.1ubuntu2) ...
235s Selecting previously unselected package libpixman-1-0:s390x.
235s Preparing to unpack .../30-libpixman-1-0_0.44.0-3_s390x.deb ...
235s Unpacking libpixman-1-0:s390x (0.44.0-3) ...
235s Selecting previously unselected package libxcb-render0:s390x.
235s Preparing to unpack .../31-libxcb-render0_1.17.0-2_s390x.deb ...
235s Unpacking libxcb-render0:s390x (1.17.0-2) ...
235s Selecting previously unselected package libxcb-shm0:s390x.
235s Preparing to unpack .../32-libxcb-shm0_1.17.0-2_s390x.deb ...
235s Unpacking libxcb-shm0:s390x (1.17.0-2) ...
235s Selecting previously unselected package libxrender1:s390x.
235s Preparing to unpack .../33-libxrender1_1%3a0.9.10-1.1build1_s390x.deb ...
235s Unpacking libxrender1:s390x (1:0.9.10-1.1build1) ...
235s Selecting previously unselected package libcairo2:s390x.
235s Preparing to unpack .../34-libcairo2_1.18.2-2_s390x.deb ...
235s Unpacking libcairo2:s390x (1.18.2-2) ...
235s Selecting previously unselected package libatk1.0-0t64:s390x.
235s Preparing to unpack .../35-libatk1.0-0t64_2.54.0-1_s390x.deb ...
235s Unpacking libatk1.0-0t64:s390x (2.54.0-1) ...
235s Selecting previously unselected package libxi6:s390x.
235s Preparing to unpack .../36-libxi6_2%3a1.8.2-1_s390x.deb ...
235s Unpacking libxi6:s390x (2:1.8.2-1) ...
235s Selecting previously unselected package libatspi2.0-0t64:s390x.
235s Preparing to unpack .../37-libatspi2.0-0t64_2.54.0-1_s390x.deb ...
235s Unpacking libatspi2.0-0t64:s390x (2.54.0-1) ...
235s Selecting previously unselected package libatk-bridge2.0-0t64:s390x.
235s Preparing to unpack .../38-libatk-bridge2.0-0t64_2.54.0-1_s390x.deb ...
235s Unpacking libatk-bridge2.0-0t64:s390x (2.54.0-1) ...
235s Selecting previously unselected package libcairo-gobject2:s390x.
235s Preparing to unpack .../39-libcairo-gobject2_1.18.2-2_s390x.deb ...
235s Unpacking libcairo-gobject2:s390x (1.18.2-2) ...
235s Selecting previously unselected package liblcms2-2:s390x.
235s Preparing to unpack .../40-liblcms2-2_2.16-2_s390x.deb ...
235s Unpacking liblcms2-2:s390x (2.16-2) ...
235s Selecting previously unselected package libcolord2:s390x.
235s Preparing to unpack .../41-libcolord2_1.4.7-1build2_s390x.deb ...
235s Unpacking libcolord2:s390x (1.4.7-1build2) ...
235s Selecting previously unselected package libavahi-common-data:s390x.
235s Preparing to unpack .../42-libavahi-common-data_0.8-13ubuntu6_s390x.deb ...
235s Unpacking libavahi-common-data:s390x (0.8-13ubuntu6) ...
235s Selecting previously unselected package libavahi-common3:s390x.
235s Preparing to unpack .../43-libavahi-common3_0.8-13ubuntu6_s390x.deb ...
235s Unpacking libavahi-common3:s390x (0.8-13ubuntu6) ...
235s Selecting previously unselected package libavahi-client3:s390x.
235s Preparing to unpack .../44-libavahi-client3_0.8-13ubuntu6_s390x.deb ...
235s Unpacking libavahi-client3:s390x (0.8-13ubuntu6) ...
235s Selecting previously unselected package libcups2t64:s390x.
235s Preparing to unpack .../45-libcups2t64_2.4.10-1ubuntu2_s390x.deb ...
235s Unpacking libcups2t64:s390x (2.4.10-1ubuntu2) ...
235s Selecting previously unselected package libepoxy0:s390x.
235s Preparing to unpack .../46-libepoxy0_1.5.10-2_s390x.deb ...
235s Unpacking libepoxy0:s390x (1.5.10-2) ...
235s Selecting previously unselected package libgraphite2-3:s390x.
235s Preparing to unpack .../47-libgraphite2-3_1.3.14-2ubuntu1_s390x.deb ...
235s Unpacking libgraphite2-3:s390x (1.3.14-2ubuntu1) ...
235s Selecting previously unselected package libharfbuzz0b:s390x.
235s Preparing to unpack .../48-libharfbuzz0b_10.0.1-1_s390x.deb ...
235s Unpacking libharfbuzz0b:s390x (10.0.1-1) ...
235s Selecting previously unselected package libthai-data.
235s Preparing to unpack .../49-libthai-data_0.1.29-2build1_all.deb ...
235s Unpacking libthai-data (0.1.29-2build1) ...
235s Selecting previously unselected package libdatrie1:s390x.
235s Preparing to unpack .../50-libdatrie1_0.2.13-3build1_s390x.deb ...
235s Unpacking libdatrie1:s390x (0.2.13-3build1) ...
235s Selecting previously unselected package libthai0:s390x.
235s Preparing to unpack .../51-libthai0_0.1.29-2build1_s390x.deb ...
235s Unpacking libthai0:s390x (0.1.29-2build1) ...
235s Selecting previously unselected package libpango-1.0-0:s390x.
235s Preparing to unpack .../52-libpango-1.0-0_1.54.0+ds-3_s390x.deb ...
235s Unpacking libpango-1.0-0:s390x (1.54.0+ds-3) ...
235s Selecting previously unselected package libpangoft2-1.0-0:s390x.
235s Preparing to unpack .../53-libpangoft2-1.0-0_1.54.0+ds-3_s390x.deb ...
235s Unpacking libpangoft2-1.0-0:s390x (1.54.0+ds-3) ...
235s Selecting previously unselected package libpangocairo-1.0-0:s390x.
235s Preparing to unpack .../54-libpangocairo-1.0-0_1.54.0+ds-3_s390x.deb ...
235s Unpacking libpangocairo-1.0-0:s390x (1.54.0+ds-3) ...
235s Selecting previously unselected package libwayland-client0:s390x.
235s Preparing to unpack .../55-libwayland-client0_1.23.0-1_s390x.deb ...
235s Unpacking libwayland-client0:s390x (1.23.0-1) ...
235s Selecting previously unselected package libwayland-cursor0:s390x.
235s Preparing to unpack .../56-libwayland-cursor0_1.23.0-1_s390x.deb ...
235s Unpacking libwayland-cursor0:s390x (1.23.0-1) ...
235s Selecting previously unselected package libwayland-egl1:s390x.
235s Preparing to unpack .../57-libwayland-egl1_1.23.0-1_s390x.deb ...
235s Unpacking libwayland-egl1:s390x (1.23.0-1) ...
235s Selecting previously unselected package libxcomposite1:s390x.
235s Preparing to unpack .../58-libxcomposite1_1%3a0.4.6-1_s390x.deb ...
235s Unpacking libxcomposite1:s390x (1:0.4.6-1) ...
235s Selecting previously unselected package libxfixes3:s390x.
235s Preparing to unpack .../59-libxfixes3_1%3a6.0.0-2build1_s390x.deb ...
235s Unpacking libxfixes3:s390x (1:6.0.0-2build1) ...
235s Selecting previously unselected package libxcursor1:s390x.
235s Preparing to unpack .../60-libxcursor1_1%3a1.2.2-1_s390x.deb ...
235s Unpacking libxcursor1:s390x (1:1.2.2-1) ...
235s Selecting previously unselected package libxdamage1:s390x.
235s Preparing to unpack .../61-libxdamage1_1%3a1.1.6-1build1_s390x.deb ...
235s Unpacking libxdamage1:s390x (1:1.1.6-1build1) ...
235s Selecting previously unselected package libxinerama1:s390x.
235s Preparing to unpack .../62-libxinerama1_2%3a1.1.4-3build1_s390x.deb ...
235s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ...
235s Selecting previously unselected package libxrandr2:s390x.
235s Preparing to unpack .../63-libxrandr2_2%3a1.5.4-1_s390x.deb ...
235s Unpacking libxrandr2:s390x (2:1.5.4-1) ...
235s Selecting previously unselected package libgtk-3-common.
235s Preparing to unpack .../64-libgtk-3-common_3.24.43-3ubuntu2_all.deb ...
235s Unpacking libgtk-3-common (3.24.43-3ubuntu2) ...
235s Selecting previously unselected package libgtk-3-0t64:s390x.
235s Preparing to unpack .../65-libgtk-3-0t64_3.24.43-3ubuntu2_s390x.deb ...
235s Unpacking libgtk-3-0t64:s390x (3.24.43-3ubuntu2) ...
235s Selecting previously unselected package libgtksourceview-3.0-common.
235s Preparing to unpack .../66-libgtksourceview-3.0-common_3.24.11-3_all.deb ...
235s Unpacking libgtksourceview-3.0-common (3.24.11-3) ...
235s Selecting previously unselected package libgtksourceview-3.0-1:s390x.
235s Preparing to unpack .../67-libgtksourceview-3.0-1_3.24.11-3_s390x.deb ...
235s Unpacking libgtksourceview-3.0-1:s390x (3.24.11-3) ...
235s Selecting previously unselected package libstdlib-ocaml.
235s Preparing to unpack .../68-libstdlib-ocaml_5.2.0-3_s390x.deb ...
235s Unpacking libstdlib-ocaml (5.2.0-3) ...
235s Selecting previously unselected package ocaml-base.
235s Preparing to unpack .../69-ocaml-base_5.2.0-3_s390x.deb ...
235s Unpacking ocaml-base (5.2.0-3) ...
235s Selecting previously unselected package libcairo2-ocaml.
235s Preparing to unpack .../70-libcairo2-ocaml_0.6.4+dfsg-4build1_s390x.deb ...
235s Unpacking libcairo2-ocaml (0.6.4+dfsg-4build1) ...
235s Selecting previously unselected package libfindlib-ocaml.
235s Preparing to unpack .../71-libfindlib-ocaml_1.9.6-3build1_s390x.deb ...
235s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
235s Selecting previously unselected package liblablgtk3-ocaml.
235s Preparing to unpack .../72-liblablgtk3-ocaml_3.1.5-1build1_s390x.deb ...
235s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ...
236s Selecting previously unselected package liblablgtksourceview3-ocaml.
236s Preparing to unpack .../73-liblablgtksourceview3-ocaml_3.1.5-1build1_s390x.deb ...
236s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ...
236s Selecting previously unselected package libsexplib0-ocaml.
236s Preparing to unpack .../74-libsexplib0-ocaml_0.17.0-1_s390x.deb ...
236s Unpacking libsexplib0-ocaml (0.17.0-1) ...
236s Selecting previously unselected package libppx-deriving-ocaml.
236s Preparing to unpack .../75-libppx-deriving-ocaml_6.0.2-2build2_s390x.deb ...
236s Unpacking libppx-deriving-ocaml (6.0.2-2build2) ...
236s Selecting previously unselected package libyojson-ocaml.
236s Preparing to unpack .../76-libyojson-ocaml_2.2.2-1_s390x.deb ...
236s Unpacking libyojson-ocaml (2.2.2-1) ...
236s Selecting previously unselected package libzarith-ocaml.
236s Preparing to unpack .../77-libzarith-ocaml_1.14-1_s390x.deb ...
236s Unpacking libzarith-ocaml (1.14-1) ...
236s Selecting previously unselected package libstdlib-ocaml-dev.
236s Preparing to unpack .../78-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ...
236s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
236s Selecting previously unselected package libcompiler-libs-ocaml-dev.
236s Preparing to unpack .../79-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ...
236s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
236s Selecting previously unselected package ocaml-interp.
236s Preparing to unpack .../80-ocaml-interp_5.2.0-3_s390x.deb ...
236s Unpacking ocaml-interp (5.2.0-3) ...
236s Selecting previously unselected package libncurses-dev:s390x.
236s Preparing to unpack .../81-libncurses-dev_6.5-2_s390x.deb ...
236s Unpacking libncurses-dev:s390x (6.5-2) ...
236s Selecting previously unselected package libcc1-0:s390x.
236s Preparing to unpack .../82-libcc1-0_14.2.0-8ubuntu1_s390x.deb ...
236s Unpacking libcc1-0:s390x (14.2.0-8ubuntu1) ...
236s Selecting previously unselected package libgomp1:s390x.
236s Preparing to unpack .../83-libgomp1_14.2.0-8ubuntu1_s390x.deb ...
236s Unpacking libgomp1:s390x (14.2.0-8ubuntu1) ...
236s Selecting previously unselected package libitm1:s390x.
236s Preparing to unpack .../84-libitm1_14.2.0-8ubuntu1_s390x.deb ...
236s Unpacking libitm1:s390x (14.2.0-8ubuntu1) ...
236s Selecting previously unselected package libasan8:s390x.
236s Preparing to unpack .../85-libasan8_14.2.0-8ubuntu1_s390x.deb ...
236s Unpacking libasan8:s390x (14.2.0-8ubuntu1) ...
236s Selecting previously unselected package libubsan1:s390x.
236s Preparing to unpack .../86-libubsan1_14.2.0-8ubuntu1_s390x.deb ...
236s Unpacking libubsan1:s390x (14.2.0-8ubuntu1) ...
237s Selecting previously unselected package libgcc-14-dev:s390x.
237s Preparing to unpack .../87-libgcc-14-dev_14.2.0-8ubuntu1_s390x.deb ...
237s Unpacking libgcc-14-dev:s390x (14.2.0-8ubuntu1) ...
237s Selecting previously unselected package gcc-14-s390x-linux-gnu.
237s Preparing to unpack .../88-gcc-14-s390x-linux-gnu_14.2.0-8ubuntu1_s390x.deb ...
237s Unpacking gcc-14-s390x-linux-gnu (14.2.0-8ubuntu1) ...
237s Selecting previously unselected package gcc-14.
237s Preparing to unpack .../89-gcc-14_14.2.0-8ubuntu1_s390x.deb ...
237s Unpacking gcc-14 (14.2.0-8ubuntu1) ...
237s Selecting previously unselected package gcc-s390x-linux-gnu.
237s Preparing to unpack .../90-gcc-s390x-linux-gnu_4%3a14.1.0-2ubuntu1_s390x.deb ...
237s Unpacking gcc-s390x-linux-gnu (4:14.1.0-2ubuntu1) ...
237s Selecting previously unselected package gcc.
237s Preparing to unpack .../91-gcc_4%3a14.1.0-2ubuntu1_s390x.deb ...
237s Unpacking gcc (4:14.1.0-2ubuntu1) ...
237s Selecting previously unselected package libzstd-dev:s390x.
237s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-1_s390x.deb ...
237s Unpacking libzstd-dev:s390x (1.5.6+dfsg-1) ...
237s Selecting previously unselected package ocaml.
237s Preparing to unpack .../93-ocaml_5.2.0-3_s390x.deb ...
237s Unpacking ocaml (5.2.0-3) ...
237s Selecting previously unselected package libocamlgraph-ocaml-dev.
237s Preparing to unpack .../94-libocamlgraph-ocaml-dev_2.1.0-3build1_s390x.deb ...
237s Unpacking libocamlgraph-ocaml-dev (2.1.0-3build1) ...
237s Selecting previously unselected package libppx-import-ocaml.
237s Preparing to unpack .../95-libppx-import-ocaml_1.11.0-2build2_s390x.deb ...
237s Unpacking libppx-import-ocaml (1.11.0-2build2) ...
237s Selecting previously unselected package frama-c-base.
237s Preparing to unpack .../96-frama-c-base_20220511-manganese-5build14_s390x.deb ...
237s Unpacking frama-c-base (20220511-manganese-5build14) ...
238s Selecting previously unselected package autopkgtest-satdep.
238s Preparing to unpack .../97-1-autopkgtest-satdep.deb ...
238s Unpacking autopkgtest-satdep (0) ...
238s Setting up libgraphite2-3:s390x (1.3.14-2ubuntu1) ...
238s Setting up liblcms2-2:s390x (2.16-2) ...
238s Setting up libpixman-1-0:s390x (0.44.0-3) ...
238s Setting up libsharpyuv0:s390x (1.4.0-0.1) ...
238s Setting up libncurses-dev:s390x (6.5-2) ...
238s Setting up libxdamage1:s390x (1:1.1.6-1build1) ...
238s Setting up libzstd-dev:s390x (1.5.6+dfsg-1) ...
238s Setting up hicolor-icon-theme (0.18-1) ...
238s Setting up libxi6:s390x (2:1.8.2-1) ...
238s Setting up libxrender1:s390x (1:0.9.10-1.1build1) ...
238s Setting up libdatrie1:s390x (0.2.13-3build1) ...
238s Setting up libxcb-render0:s390x (1.17.0-2) ...
238s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ...
238s Setting up libdeflate0:s390x (1.22-1) ...
238s Setting up libxcb-shm0:s390x (1.17.0-2) ...
238s Setting up libgomp1:s390x (14.2.0-8ubuntu1) ...
238s Setting up libjbig0:s390x (2.1-6.1ubuntu2) ...
238s Setting up libcolord2:s390x (1.4.7-1build2) ...
238s Setting up libdconf1:s390x (0.40.0-4build2) ...
238s Setting up libfreetype6:s390x (2.13.3+dfsg-1) ...
238s Setting up libepoxy0:s390x (1.5.10-2) ...
238s Setting up libxfixes3:s390x (1:6.0.0-2build1) ...
238s Setting up libavahi-common-data:s390x (0.8-13ubuntu6) ...
238s Setting up libatspi2.0-0t64:s390x (2.54.0-1) ...
238s Setting up libxinerama1:s390x (2:1.1.4-3build1) ...
238s Setting up libstdlib-ocaml (5.2.0-3) ...
238s Setting up fonts-dejavu-mono (2.37-8) ...
238s Setting up libmpc3:s390x (1.3.1-1build2) ...
238s Setting up libxrandr2:s390x (2:1.5.4-1) ...
238s Setting up ocaml-base (5.2.0-3) ...
238s Setting up fonts-dejavu-core (2.37-8) ...
238s Setting up libjpeg-turbo8:s390x (2.1.5-2ubuntu2) ...
238s Setting up libwebp7:s390x (1.4.0-0.1) ...
238s Setting up libubsan1:s390x (14.2.0-8ubuntu1) ...
238s Setting up libsexplib0-ocaml (0.17.0-1) ...
238s Setting up at-spi2-common (2.54.0-1) ...
238s Setting up libasan8:s390x (14.2.0-8ubuntu1) ...
238s Setting up libgtksourceview-3.0-common (3.24.11-3) ...
238s Setting up libharfbuzz0b:s390x (10.0.1-1) ...
238s Setting up libthai-data (0.1.29-2build1) ...
238s Setting up libwayland-egl1:s390x (1.23.0-1) ...
238s Setting up libisl23:s390x (0.27-1) ...
238s Setting up libxcomposite1:s390x (1:0.4.6-1) ...
238s Setting up libcc1-0:s390x (14.2.0-8ubuntu1) ...
238s Setting up libitm1:s390x (14.2.0-8ubuntu1) ...
238s Setting up libppx-import-ocaml (1.11.0-2build2) ...
238s Setting up libwayland-client0:s390x (1.23.0-1) ...
238s Setting up libjpeg8:s390x (8c-2ubuntu11) ...
238s Setting up libppx-deriving-ocaml (6.0.2-2build2) ...
238s Setting up libatk1.0-0t64:s390x (2.54.0-1) ...
238s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
238s Setting up libyojson-ocaml (2.2.2-1) ...
238s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ...
238s Setting up libxcursor1:s390x (1:1.2.2-1) ...
238s Setting up libavahi-common3:s390x (0.8-13ubuntu6) ...
238s Setting up libfindlib-ocaml (1.9.6-3build1) ...
238s Setting up dconf-service (0.40.0-4build2) ...
238s Setting up libzarith-ocaml (1.14-1) ...
238s Setting up libthai0:s390x (0.1.29-2build1) ...
238s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
238s Setting up ocaml-interp (5.2.0-3) ...
238s Setting up cpp-14-s390x-linux-gnu (14.2.0-8ubuntu1) ...
238s Setting up cpp-14 (14.2.0-8ubuntu1) ...
238s Setting up libtiff6:s390x (4.5.1+git230720-4ubuntu4) ...
238s Setting up libwayland-cursor0:s390x (1.23.0-1) ...
238s Setting up libgdk-pixbuf-2.0-0:s390x (2.42.12+dfsg-1) ...
238s Setting up libfontconfig1:s390x (2.15.0-1.1ubuntu2) ...
238s Setting up libgcc-14-dev:s390x (14.2.0-8ubuntu1) ...
238s Setting up libavahi-client3:s390x (0.8-13ubuntu6) ...
238s Setting up libatk-bridge2.0-0t64:s390x (2.54.0-1) ...
238s Setting up gtk-update-icon-cache (4.16.5+ds-1) ...
238s Setting up fontconfig (2.15.0-1.1ubuntu2) ...
240s Regenerating fonts cache... done.
240s Setting up dconf-gsettings-backend:s390x (0.40.0-4build2) ...
240s Setting up cpp-s390x-linux-gnu (4:14.1.0-2ubuntu1) ...
240s Setting up libpango-1.0-0:s390x (1.54.0+ds-3) ...
240s Setting up libcairo2:s390x (1.18.2-2) ...
240s Setting up gcc-14-s390x-linux-gnu (14.2.0-8ubuntu1) ...
240s Setting up gcc-s390x-linux-gnu (4:14.1.0-2ubuntu1) ...
240s Setting up cpp (4:14.1.0-2ubuntu1) ...
240s Setting up libcairo-gobject2:s390x (1.18.2-2) ...
240s Setting up libpangoft2-1.0-0:s390x (1.54.0+ds-3) ...
241s Setting up libcups2t64:s390x (2.4.10-1ubuntu2) ...
241s Setting up libgtk-3-common (3.24.43-3ubuntu2) ...
241s Setting up libpangocairo-1.0-0:s390x (1.54.0+ds-3) ...
241s Setting up libcairo2-ocaml (0.6.4+dfsg-4build1) ...
241s Setting up gcc-14 (14.2.0-8ubuntu1) ...
241s Setting up gcc (4:14.1.0-2ubuntu1) ...
241s Setting up ocaml (5.2.0-3) ...
241s Setting up libocamlgraph-ocaml-dev (2.1.0-3build1) ...
241s Setting up adwaita-icon-theme (47.0-2) ...
241s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode
241s Setting up humanity-icon-theme (0.6.16) ...
241s Setting up ubuntu-mono (24.04-0ubuntu1) ...
241s Processing triggers for man-db (2.12.1-3) ...
241s Processing triggers for libglib2.0-0t64:s390x (2.82.1-0ubuntu1) ...
241s Setting up libgtk-3-0t64:s390x (3.24.43-3ubuntu2) ...
241s Setting up liblablgtk3-ocaml (3.1.5-1build1) ...
242s Processing triggers for libc-bin (2.40-1ubuntu3) ...
242s Setting up libgtksourceview-3.0-1:s390x (3.24.11-3) ...
242s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ...
242s Setting up frama-c-base (20220511-manganese-5build14) ...
242s Setting up autopkgtest-satdep (0) ...
242s Processing triggers for libc-bin (2.40-1ubuntu3) ...
245s (Reading database ... 73699 files and directories currently installed.)
245s Removing autopkgtest-satdep (0) ...
245s autopkgtest [11:19:31]: test eva: [-----------------------
246s autopkgtest [11:19:32]: test eva: -----------------------]
246s autopkgtest [11:19:32]: test eva:  - - - - - - - - - - results - - - - - - - - - -
246s eva                  PASS
247s autopkgtest [11:19:33]: test wp: preparing testbed
248s Reading package lists...
248s Building dependency tree...
248s Reading state information...
248s Starting pkgProblemResolver with broken count: 1
248s Starting 2 pkgProblemResolver with broken count: 1
248s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib >
248s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un mH > (>= 2.0.0)
248s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.7.2-2build1 @un umH >
248s   Considering why3:s390x 2 as a solution to autopkgtest-satdep:s390x 9998
248s   Re-Instated tex-common:s390x
248s   Re-Instated why3:s390x
248s Done
248s Some packages could not be installed. This may mean that you have
248s requested an impossible situation or if you are using the unstable
248s distribution that some required packages have not yet been created
248s or been moved out of Incoming.
248s The following information may help to resolve the situation:
248s 
248s The following packages have unmet dependencies:
249s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
249s E: Unable to correct problems, you have held broken packages.
249s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed
249s Reading package lists...
249s Building dependency tree...
249s Reading state information...
249s Starting pkgProblemResolver with broken count: 1
249s Starting 2 pkgProblemResolver with broken count: 1
249s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib >
249s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un mH > (>= 2.0.0)
249s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.7.2-2build1 @un umH >
249s   Considering why3:s390x 2 as a solution to autopkgtest-satdep:s390x 9998
249s   Re-Instated tex-common:s390x
249s   Re-Instated why3:s390x
249s Done
249s Some packages could not be installed. This may mean that you have
249s requested an impossible situation or if you are using the unstable
249s distribution that some required packages have not yet been created
249s or been moved out of Incoming.
249s The following information may help to resolve the situation:
249s 
249s The following packages have unmet dependencies:
249s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
249s E: Unable to correct problems, you have held broken packages.
250s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs
250s wp                   SKIP installation fails and skip-not-installable set
250s autopkgtest [11:19:36]: @@@@@@@@@@@@@@@@@@@@ summary
250s eva                  PASS
250s wp                   SKIP installation fails and skip-not-installable set
262s nova [W] Using flock in prodstack6-s390x
262s Creating nova instance adt-plucky-s390x-frama-c-20241113-111526-juju-7f2275-prod-proposed-migration-environment-20-c9bedce7-5176-4453-be8f-df7422cef6c7 from image adt/ubuntu-plucky-s390x-server-20241113.img (UUID e740277e-1f72-40ae-bfbe-46030537c71c)...