0s autopkgtest [18:58:38]: starting date and time: 2024-03-21 18:58:38+0000
  0s autopkgtest [18:58:38]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps
  0s autopkgtest [18:58:38]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.ngm687vz/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:freetype,src:libpng1.6,src:wp2latex --apt-upgrade frama-c --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=freetype/2.13.2+dfsg-1build2 libpng1.6/1.6.43-3 wp2latex/4.4~ds-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-s390x-7.secgroup --name adt-noble-s390x-frama-c-20240321-185838-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --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/
 89s autopkgtest [19:00:07]: testbed dpkg architecture: s390x
 91s autopkgtest [19:00:08]: testbed apt version: 2.7.12
 91s autopkgtest [19:00:08]: @@@@@@@@@@@@@@@@@@@@ test bed setup
 91s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB]
 91s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [496 kB]
 92s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B]
 92s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3789 kB]
 92s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [53.9 kB]
 92s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [661 kB]
 93s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B]
 93s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B]
 93s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B]
 93s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [3977 kB]
 93s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B]
 93s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [45.1 kB]
 93s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B]
 95s Fetched 9158 kB in 3s (2823 kB/s)
 95s Reading package lists...
100s Reading package lists...
100s Building dependency tree...
100s Reading state information...
100s Calculating upgrade...
100s The following packages will be upgraded:
100s   debianutils
100s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
100s Need to get 90.1 kB of archives.
100s After this operation, 1024 B of additional disk space will be used.
100s Get:1 http://ftpmaster.internal/ubuntu noble/main s390x debianutils s390x 5.17 [90.1 kB]
101s Fetched 90.1 kB in 0s (199 kB/s)
101s (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.)
101s Preparing to unpack .../debianutils_5.17_s390x.deb ...
101s Unpacking debianutils (5.17) over (5.16) ...
101s Setting up debianutils (5.17) ...
101s Processing triggers for man-db (2.12.0-3) ...
102s Reading package lists...
102s Building dependency tree...
102s Reading state information...
102s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
103s Unknown architecture, assuming PC-style ttyS0
103s sh: Attempting to set up Debian/Ubuntu apt sources automatically
103s sh: Distribution appears to be Ubuntu
104s Reading package lists...
104s Building dependency tree...
104s Reading state information...
104s eatmydata is already the newest version (131-1).
104s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
104s Reading package lists...
104s Building dependency tree...
104s Reading state information...
104s dbus is already the newest version (1.14.10-4ubuntu1).
104s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
105s Reading package lists...
105s Building dependency tree...
105s Reading state information...
105s rng-tools-debian is already the newest version (2.4).
105s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
105s Reading package lists...
105s Building dependency tree...
105s Reading state information...
105s The following packages will be REMOVED:
105s   cloud-init* python3-configobj* python3-debconf*
105s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded.
105s After this operation, 3252 kB disk space will be freed.
106s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 52171 files and directories currently installed.)
106s Removing cloud-init (24.1.1-0ubuntu1) ...
106s Removing python3-configobj (5.0.8-3) ...
106s Removing python3-debconf (1.5.86) ...
106s Processing triggers for man-db (2.12.0-3) ...
106s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 51782 files and directories currently installed.)
106s Purging configuration files for cloud-init (24.1.1-0ubuntu1) ...
107s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed
107s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ...
107s invoke-rc.d: policy-rc.d denied execution of try-restart.
107s Reading package lists...
107s Building dependency tree...
107s Reading state information...
107s linux-generic is already the newest version (6.8.0-11.11+1).
107s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
108s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease
108s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease
109s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease
110s Reading package lists...
110s Reading package lists...
110s Building dependency tree...
110s Reading state information...
111s Calculating upgrade...
111s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
111s Reading package lists...
111s Building dependency tree...
111s Reading state information...
111s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
111s autopkgtest [19:00:29]: rebooting testbed after setup commands that affected boot
130s autopkgtest [19:00:48]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Tue Feb 13 23:45:46 UTC 2024
134s autopkgtest [19:00:52]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c
137s Get:1 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (dsc) [2364 B]
137s Get:2 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (tar) [8074 kB]
137s Get:3 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (diff) [16.9 kB]
137s gpgv: Signature made Thu Feb 22 07:36:42 2024 UTC
137s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
137s gpgv: Can't check signature: No public key
137s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build5.dsc: no acceptable signature found
138s autopkgtest [19:00:56]: testing package frama-c version 20220511-manganese-5build5
139s autopkgtest [19:00:57]: build not needed
159s autopkgtest [19:01:17]: test eva: preparing testbed
162s Reading package lists...
162s Building dependency tree...
162s Reading state information...
162s Starting pkgProblemResolver with broken count: 0
162s Starting 2 pkgProblemResolver with broken count: 0
162s Done
162s The following additional packages will be installed:
162s   adwaita-icon-theme at-spi2-common cpp cpp-13 cpp-13-s390x-linux-gnu
162s   cpp-s390x-linux-gnu dconf-gsettings-backend dconf-service fontconfig
162s   fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc
162s   gcc-13 gcc-13-s390x-linux-gnu gcc-s390x-linux-gnu gtk-update-icon-cache
162s   hicolor-icon-theme humanity-icon-theme libasan8 libatk-bridge2.0-0
162s   libatk1.0-0 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data
162s   libavahi-common3 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2
162s   libcairo2-ocaml libcc1-0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev
162s   libcups2 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml
162s   libfontconfig1 libfreetype6 libgcc-13-dev libgdk-pixbuf-2.0-0
162s   libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common
162s   libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libisl23
162s   libitm1 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml
162s   liblablgtksourceview3-ocaml liblcms2-2 libmpc3 libncurses-dev libnsl-dev
162s   libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0
162s   libpixman-1-0 libppx-deriving-ocaml libppx-import-ocaml libresult-ocaml
162s   libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev
162s   libthai-data libthai0 libtiff6 libtirpc-dev libubsan1 libwayland-client0
162s   libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0
162s   libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1
162s   libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml
162s   ocaml-base ocaml-interp rpcsvc-proto ubuntu-mono
162s Suggested packages:
162s   cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf
162s   automake libtool flex bison gdb gcc-doc gcc-13-multilib gcc-13-doc
162s   gdb-s390x-linux-gnu glibc-doc colord cups-common gvfs liblcms2-utils
162s   ncurses-doc ocaml-doc elpa-tuareg
162s Recommended packages:
162s   librsvg2-common alt-ergo why3 at-spi2-core manpages manpages-dev
162s   libc-devtools libgdk-pixbuf2.0-bin libgtk-3-bin ocaml-findlib ocaml-man
162s   ledit | readline-editor
162s The following NEW packages will be installed:
162s   adwaita-icon-theme at-spi2-common autopkgtest-satdep cpp cpp-13
162s   cpp-13-s390x-linux-gnu cpp-s390x-linux-gnu dconf-gsettings-backend
162s   dconf-service fontconfig fontconfig-config fonts-dejavu-core
162s   fonts-dejavu-mono frama-c-base gcc gcc-13 gcc-13-s390x-linux-gnu
162s   gcc-s390x-linux-gnu gtk-update-icon-cache hicolor-icon-theme
162s   humanity-icon-theme libasan8 libatk-bridge2.0-0 libatk1.0-0 libatomic1
162s   libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3
162s   libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0
162s   libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev libcups2 libdatrie1
162s   libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml libfontconfig1 libfreetype6
162s   libgcc-13-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1
162s   libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1
162s   libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0
162s   libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml
162s   liblcms2-2 libmpc3 libncurses-dev libnsl-dev libocamlgraph-ocaml-dev
162s   libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0
162s   libppx-deriving-ocaml libppx-import-ocaml libresult-ocaml libsexplib0-ocaml
162s   libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0
162s   libtiff6 libtirpc-dev libubsan1 libwayland-client0 libwayland-cursor0
162s   libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1
162s   libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2
162s   libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml ocaml-base
162s   ocaml-interp rpcsvc-proto ubuntu-mono
162s 0 upgraded, 106 newly installed, 0 to remove and 0 not upgraded.
162s Need to get 271 MB/271 MB of archives.
162s After this operation, 991 MB of additional disk space will be used.
162s Get:1 /tmp/autopkgtest.Fj2ODp/1-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [708 B]
163s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B]
163s Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg-turbo8 s390x 2.1.5-2ubuntu1 [128 kB]
163s Get:4 http://ftpmaster.internal/ubuntu noble/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B]
163s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdeflate0 s390x 1.19-1 [46.0 kB]
163s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libjbig0 s390x 2.1-6.1ubuntu1 [29.8 kB]
163s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libsharpyuv0 s390x 1.3.2-0.4 [14.8 kB]
163s Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libwebp7 s390x 1.3.2-0.4 [207 kB]
163s Get:9 http://ftpmaster.internal/ubuntu noble/main s390x libtiff6 s390x 4.5.1+git230720-3ubuntu1 [253 kB]
163s Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libgdk-pixbuf-2.0-0 s390x 2.42.10+dfsg-3 [152 kB]
163s Get:11 http://ftpmaster.internal/ubuntu noble/main s390x gtk-update-icon-cache s390x 3.24.40-2ubuntu1 [51.0 kB]
163s Get:12 http://ftpmaster.internal/ubuntu noble/main s390x hicolor-icon-theme all 0.17-2 [9976 B]
163s Get:13 http://ftpmaster.internal/ubuntu noble/main s390x humanity-icon-theme all 0.6.16 [1282 kB]
163s Get:14 http://ftpmaster.internal/ubuntu noble/main s390x ubuntu-mono all 24.04-0ubuntu1 [151 kB]
163s Get:15 http://ftpmaster.internal/ubuntu noble/main s390x adwaita-icon-theme all 46~rc-1 [723 kB]
163s Get:16 http://ftpmaster.internal/ubuntu noble/main s390x at-spi2-common all 2.50.0-1 [7864 B]
163s Get:17 http://ftpmaster.internal/ubuntu noble/main s390x libisl23 s390x 0.26-3 [722 kB]
164s Get:18 http://ftpmaster.internal/ubuntu noble/main s390x libmpc3 s390x 1.3.1-1 [54.9 kB]
164s Get:19 http://ftpmaster.internal/ubuntu noble/main s390x cpp-13-s390x-linux-gnu s390x 13.2.0-17ubuntu2 [9929 kB]
164s Get:20 http://ftpmaster.internal/ubuntu noble/main s390x cpp-13 s390x 13.2.0-17ubuntu2 [1026 B]
164s Get:21 http://ftpmaster.internal/ubuntu noble/main s390x cpp-s390x-linux-gnu s390x 4:13.2.0-7ubuntu1 [5308 B]
164s Get:22 http://ftpmaster.internal/ubuntu noble/main s390x cpp s390x 4:13.2.0-7ubuntu1 [22.4 kB]
164s Get:23 http://ftpmaster.internal/ubuntu noble/main s390x libdconf1 s390x 0.40.0-4 [38.9 kB]
164s Get:24 http://ftpmaster.internal/ubuntu noble/main s390x dconf-service s390x 0.40.0-4 [27.0 kB]
164s Get:25 http://ftpmaster.internal/ubuntu noble/main s390x dconf-gsettings-backend s390x 0.40.0-4 [21.6 kB]
165s Get:26 http://ftpmaster.internal/ubuntu noble/main s390x libfreetype6 s390x 2.13.2+dfsg-1 [431 kB]
165s Get:27 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-mono all 2.37-8 [502 kB]
165s Get:28 http://ftpmaster.internal/ubuntu noble/main s390x fonts-dejavu-core all 2.37-8 [835 kB]
165s Get:29 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig-config s390x 2.15.0-1ubuntu1 [37.0 kB]
165s Get:30 http://ftpmaster.internal/ubuntu noble/main s390x libfontconfig1 s390x 2.15.0-1ubuntu1 [150 kB]
165s Get:31 http://ftpmaster.internal/ubuntu noble/main s390x fontconfig s390x 2.15.0-1ubuntu1 [191 kB]
165s Get:32 http://ftpmaster.internal/ubuntu noble/main s390x libpixman-1-0 s390x 0.42.2-1 [173 kB]
165s Get:33 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-render0 s390x 1.15-1 [17.0 kB]
165s Get:34 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-shm0 s390x 1.15-1 [5782 B]
165s Get:35 http://ftpmaster.internal/ubuntu noble/main s390x libxrender1 s390x 1:0.9.10-1.1 [19.4 kB]
165s Get:36 http://ftpmaster.internal/ubuntu noble/main s390x libcairo2 s390x 1.18.0-1 [578 kB]
165s Get:37 http://ftpmaster.internal/ubuntu noble/main s390x libatk1.0-0 s390x 2.50.0-1 [54.4 kB]
165s Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libxi6 s390x 2:1.8.1-1 [35.7 kB]
165s Get:39 http://ftpmaster.internal/ubuntu noble/main s390x libatspi2.0-0 s390x 2.50.0-1 [77.9 kB]
165s Get:40 http://ftpmaster.internal/ubuntu noble/main s390x libatk-bridge2.0-0 s390x 2.50.0-1 [65.3 kB]
165s Get:41 http://ftpmaster.internal/ubuntu noble/main s390x libcairo-gobject2 s390x 1.18.0-1 [126 kB]
165s Get:42 http://ftpmaster.internal/ubuntu noble/main s390x liblcms2-2 s390x 2.14-2 [155 kB]
165s Get:43 http://ftpmaster.internal/ubuntu noble/main s390x libcolord2 s390x 1.4.7-1 [151 kB]
165s Get:44 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common-data s390x 0.8-13ubuntu2 [29.5 kB]
165s Get:45 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-common3 s390x 0.8-13ubuntu2 [23.8 kB]
165s Get:46 http://ftpmaster.internal/ubuntu noble/main s390x libavahi-client3 s390x 0.8-13ubuntu2 [26.7 kB]
165s Get:47 http://ftpmaster.internal/ubuntu noble/main s390x libcups2 s390x 2.4.6-0ubuntu3 [277 kB]
165s Get:48 http://ftpmaster.internal/ubuntu noble/main s390x libepoxy0 s390x 1.5.10-1 [232 kB]
165s Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libgraphite2-3 s390x 1.3.14-2 [90.4 kB]
165s Get:50 http://ftpmaster.internal/ubuntu noble/main s390x libharfbuzz0b s390x 8.3.0-2 [515 kB]
165s Get:51 http://ftpmaster.internal/ubuntu noble/main s390x libthai-data all 0.1.29-2 [158 kB]
165s Get:52 http://ftpmaster.internal/ubuntu noble/main s390x libdatrie1 s390x 0.2.13-3 [22.6 kB]
165s Get:53 http://ftpmaster.internal/ubuntu noble/main s390x libthai0 s390x 0.1.29-2 [20.6 kB]
165s Get:54 http://ftpmaster.internal/ubuntu noble/main s390x libpango-1.0-0 s390x 1.51.0+ds-4 [240 kB]
165s Get:55 http://ftpmaster.internal/ubuntu noble/main s390x libpangoft2-1.0-0 s390x 1.51.0+ds-4 [43.6 kB]
165s Get:56 http://ftpmaster.internal/ubuntu noble/main s390x libpangocairo-1.0-0 s390x 1.51.0+ds-4 [28.9 kB]
165s Get:57 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-client0 s390x 1.22.0-2.1 [26.1 kB]
165s Get:58 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-cursor0 s390x 1.22.0-2.1 [11.1 kB]
165s Get:59 http://ftpmaster.internal/ubuntu noble/main s390x libwayland-egl1 s390x 1.22.0-2.1 [5452 B]
165s Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libxcomposite1 s390x 1:0.4.5-1build2 [6952 B]
165s Get:61 http://ftpmaster.internal/ubuntu noble/main s390x libxfixes3 s390x 1:6.0.0-2 [10.6 kB]
165s Get:62 http://ftpmaster.internal/ubuntu noble/main s390x libxcursor1 s390x 1:1.2.1-1 [22.2 kB]
165s Get:63 http://ftpmaster.internal/ubuntu noble/main s390x libxdamage1 s390x 1:1.1.6-1 [5810 B]
165s Get:64 http://ftpmaster.internal/ubuntu noble/main s390x libxinerama1 s390x 2:1.1.4-3 [7110 B]
165s Get:65 http://ftpmaster.internal/ubuntu noble/main s390x libxrandr2 s390x 2:1.5.2-2 [19.5 kB]
165s Get:66 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB]
165s Get:67 http://ftpmaster.internal/ubuntu noble/main s390x libgtk-3-0 s390x 3.24.40-2ubuntu1 [2952 kB]
165s Get:68 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB]
165s Get:69 http://ftpmaster.internal/ubuntu noble/universe s390x libgtksourceview-3.0-1 s390x 3.24.11-2build1 [234 kB]
165s Get:70 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB]
165s Get:71 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB]
165s Get:72 http://ftpmaster.internal/ubuntu noble/universe s390x libcairo2-ocaml s390x 0.6.4+dfsg-2build2 [29.7 kB]
165s Get:73 http://ftpmaster.internal/ubuntu noble/universe s390x libfindlib-ocaml s390x 1.9.6-1build3 [199 kB]
165s Get:74 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtk3-ocaml s390x 3.1.4-1 [4110 kB]
166s Get:75 http://ftpmaster.internal/ubuntu noble/universe s390x liblablgtksourceview3-ocaml s390x 3.1.4-1 [355 kB]
166s Get:76 http://ftpmaster.internal/ubuntu noble/universe s390x libresult-ocaml s390x 1.5-4build1 [7308 B]
166s Get:77 http://ftpmaster.internal/ubuntu noble/universe s390x libsexplib0-ocaml s390x 0.16.0-3build2 [128 kB]
166s Get:78 http://ftpmaster.internal/ubuntu noble/universe s390x libppx-deriving-ocaml s390x 5.2.1-4build2 [4687 kB]
166s Get:79 http://ftpmaster.internal/ubuntu noble/universe s390x libyojson-ocaml s390x 2.1.2-1 [686 kB]
166s Get:80 http://ftpmaster.internal/ubuntu noble/universe s390x libzarith-ocaml s390x 1.13-2build3 [125 kB]
166s Get:81 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml-dev s390x 4.14.1-1ubuntu1 [8204 kB]
166s 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]
174s 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]
179s Fetched 271 MB in 16s (17.3 MB/s)
179s Selecting previously unselected package libgdk-pixbuf2.0-common.
179s (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 ... 51727 files and directories currently installed.)
179s Preparing to unpack .../000-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ...
179s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ...
179s Selecting previously unselected package libjpeg-turbo8:s390x.
179s Preparing to unpack .../001-libjpeg-turbo8_2.1.5-2ubuntu1_s390x.deb ...
179s Unpacking libjpeg-turbo8:s390x (2.1.5-2ubuntu1) ...
179s Selecting previously unselected package libjpeg8:s390x.
179s Preparing to unpack .../002-libjpeg8_8c-2ubuntu11_s390x.deb ...
179s Unpacking libjpeg8:s390x (8c-2ubuntu11) ...
179s Selecting previously unselected package libdeflate0:s390x.
179s Preparing to unpack .../003-libdeflate0_1.19-1_s390x.deb ...
179s Unpacking libdeflate0:s390x (1.19-1) ...
179s Selecting previously unselected package libjbig0:s390x.
179s Preparing to unpack .../004-libjbig0_2.1-6.1ubuntu1_s390x.deb ...
179s Unpacking libjbig0:s390x (2.1-6.1ubuntu1) ...
179s Selecting previously unselected package libsharpyuv0:s390x.
179s Preparing to unpack .../005-libsharpyuv0_1.3.2-0.4_s390x.deb ...
179s Unpacking libsharpyuv0:s390x (1.3.2-0.4) ...
179s Selecting previously unselected package libwebp7:s390x.
179s Preparing to unpack .../006-libwebp7_1.3.2-0.4_s390x.deb ...
179s Unpacking libwebp7:s390x (1.3.2-0.4) ...
179s Selecting previously unselected package libtiff6:s390x.
179s Preparing to unpack .../007-libtiff6_4.5.1+git230720-3ubuntu1_s390x.deb ...
179s Unpacking libtiff6:s390x (4.5.1+git230720-3ubuntu1) ...
179s 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) ...
180s Selecting previously unselected package ubuntu-mono.
180s Preparing to unpack .../012-ubuntu-mono_24.04-0ubuntu1_all.deb ...
180s 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) ...
181s Selecting previously unselected package at-spi2-common.
181s Preparing to unpack .../014-at-spi2-common_2.50.0-1_all.deb ...
181s Unpacking at-spi2-common (2.50.0-1) ...
181s Selecting previously unselected package libisl23:s390x.
181s Preparing to unpack .../015-libisl23_0.26-3_s390x.deb ...
181s Unpacking libisl23:s390x (0.26-3) ...
181s Selecting previously unselected package libmpc3:s390x.
181s Preparing to unpack .../016-libmpc3_1.3.1-1_s390x.deb ...
181s Unpacking libmpc3:s390x (1.3.1-1) ...
181s Selecting previously unselected package cpp-13-s390x-linux-gnu.
181s Preparing to unpack .../017-cpp-13-s390x-linux-gnu_13.2.0-17ubuntu2_s390x.deb ...
181s Unpacking cpp-13-s390x-linux-gnu (13.2.0-17ubuntu2) ...
181s Selecting previously unselected package cpp-13.
181s Preparing to unpack .../018-cpp-13_13.2.0-17ubuntu2_s390x.deb ...
181s Unpacking cpp-13 (13.2.0-17ubuntu2) ...
181s Selecting previously unselected package cpp-s390x-linux-gnu.
181s Preparing to unpack .../019-cpp-s390x-linux-gnu_4%3a13.2.0-7ubuntu1_s390x.deb ...
181s Unpacking cpp-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
181s Selecting previously unselected package cpp.
181s Preparing to unpack .../020-cpp_4%3a13.2.0-7ubuntu1_s390x.deb ...
181s Unpacking cpp (4:13.2.0-7ubuntu1) ...
181s Selecting previously unselected package libdconf1:s390x.
181s Preparing to unpack .../021-libdconf1_0.40.0-4_s390x.deb ...
181s Unpacking libdconf1:s390x (0.40.0-4) ...
181s Selecting previously unselected package dconf-service.
181s Preparing to unpack .../022-dconf-service_0.40.0-4_s390x.deb ...
181s Unpacking dconf-service (0.40.0-4) ...
181s Selecting previously unselected package dconf-gsettings-backend:s390x.
181s Preparing to unpack .../023-dconf-gsettings-backend_0.40.0-4_s390x.deb ...
181s Unpacking dconf-gsettings-backend:s390x (0.40.0-4) ...
181s Selecting previously unselected package libfreetype6:s390x.
181s Preparing to unpack .../024-libfreetype6_2.13.2+dfsg-1_s390x.deb ...
181s Unpacking libfreetype6:s390x (2.13.2+dfsg-1) ...
181s Selecting previously unselected package fonts-dejavu-mono.
181s Preparing to unpack .../025-fonts-dejavu-mono_2.37-8_all.deb ...
181s Unpacking fonts-dejavu-mono (2.37-8) ...
181s Selecting previously unselected package fonts-dejavu-core.
181s Preparing to unpack .../026-fonts-dejavu-core_2.37-8_all.deb ...
181s Unpacking fonts-dejavu-core (2.37-8) ...
181s Selecting previously unselected package fontconfig-config.
181s Preparing to unpack .../027-fontconfig-config_2.15.0-1ubuntu1_s390x.deb ...
181s Unpacking fontconfig-config (2.15.0-1ubuntu1) ...
181s Selecting previously unselected package libfontconfig1:s390x.
181s Preparing to unpack .../028-libfontconfig1_2.15.0-1ubuntu1_s390x.deb ...
181s Unpacking libfontconfig1:s390x (2.15.0-1ubuntu1) ...
181s Selecting previously unselected package fontconfig.
181s Preparing to unpack .../029-fontconfig_2.15.0-1ubuntu1_s390x.deb ...
181s Unpacking fontconfig (2.15.0-1ubuntu1) ...
181s Selecting previously unselected package libpixman-1-0:s390x.
181s Preparing to unpack .../030-libpixman-1-0_0.42.2-1_s390x.deb ...
181s 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) ...
182s Selecting previously unselected package libfindlib-ocaml.
182s Preparing to unpack .../071-libfindlib-ocaml_1.9.6-1build3_s390x.deb ...
182s Unpacking libfindlib-ocaml (1.9.6-1build3) ...
182s Selecting previously unselected package liblablgtk3-ocaml.
182s Preparing to unpack .../072-liblablgtk3-ocaml_3.1.4-1_s390x.deb ...
182s 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-0:s390x (2.79.2-1~ubuntu1) ...
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 ... 71143 files and directories currently installed.)
196s Removing autopkgtest-satdep (0) ...
196s autopkgtest [19:01:54]: test eva: [-----------------------
197s autopkgtest [19:01:55]: test eva: -----------------------]
198s eva                  PASS
198s autopkgtest [19:01:56]: test eva:  - - - - - - - - - - results - - - - - - - - - -
198s autopkgtest [19:01:56]: test wp: preparing testbed
203s Reading package lists...
203s Building dependency tree...
203s Reading state information...
203s Starting pkgProblemResolver with broken count: 1
203s Starting 2 pkgProblemResolver with broken count: 1
203s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib >
203s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un mH > (>= 2.0.0)
203s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build4 @un umH >
203s   Considering why3:s390x 2 as a solution to autopkgtest-satdep:s390x 9998
203s   Re-Instated tex-common:s390x
203s   Re-Instated why3:s390x
203s Done
203s Some packages could not be installed. This may mean that you have
203s requested an impossible situation or if you are using the unstable
203s distribution that some required packages have not yet been created
203s or been moved out of Incoming.
203s The following information may help to resolve the situation:
203s 
203s The following packages have unmet dependencies:
204s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
204s E: Unable to correct problems, you have held broken packages.
204s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed
204s Reading package lists...
204s Building dependency tree...
204s Reading state information...
205s Starting pkgProblemResolver with broken count: 1
205s Starting 2 pkgProblemResolver with broken count: 1
205s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib >
205s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un mH > (>= 2.0.0)
205s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.6.0-1build4 @un umH >
205s   Considering why3:s390x 2 as a solution to autopkgtest-satdep:s390x 9998
205s   Re-Instated tex-common:s390x
205s   Re-Instated why3:s390x
205s Done
205s Some packages could not be installed. This may mean that you have
205s requested an impossible situation or if you are using the unstable
205s distribution that some required packages have not yet been created
205s or been moved out of Incoming.
205s The following information may help to resolve the situation:
205s 
205s The following packages have unmet dependencies:
205s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
205s E: Unable to correct problems, you have held broken packages.
205s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs
205s wp                   SKIP installation fails and skip-not-installable set
205s autopkgtest [19:02:03]: @@@@@@@@@@@@@@@@@@@@ summary
205s eva                  PASS
205s wp                   SKIP installation fails and skip-not-installable set
220s Creating nova instance adt-noble-s390x-frama-c-20240321-185838-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-s390x-server-20240321.img (UUID f7ee8f0f-480f-4014-94f0-3be2a19e259d)...