0s autopkgtest [14:55:44]: starting date and time: 2024-11-09 14:55:44+0000
  0s autopkgtest [14:55:44]: git checkout: 6f3be7a8 Fix armhf LXD image generation for plucky
  0s autopkgtest [14:55:44]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.2_jas68b/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:ppx-deriving --apt-upgrade frama-c --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=ppx-deriving/6.0.3-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-s390x-1.secgroup --name adt-plucky-s390x-frama-c-20241109-145544-juju-7f2275-prod-proposed-migration-environment-20-63e89b04-6ee4-4a85-a927-e04cf251c8a1 --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/
184s autopkgtest [14:58:47]: testbed dpkg architecture: s390x
184s autopkgtest [14:58:48]: testbed apt version: 2.9.8
184s autopkgtest [14:58:48]: @@@@@@@@@@@@@@@@@@@@ test bed setup
190s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB]
190s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B]
191s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [1004 kB]
191s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [104 kB]
191s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.3 kB]
191s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [125 kB]
191s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [696 kB]
192s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [16.6 kB]
192s Fetched 2043 kB in 2s (1065 kB/s)
192s Reading package lists...
196s Reading package lists...
196s Building dependency tree...
196s Reading state information...
196s Calculating upgrade...
196s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
196s Reading package lists...
196s Building dependency tree...
196s Reading state information...
197s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
197s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease
197s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
197s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
197s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
198s Reading package lists...
198s Reading package lists...
198s Building dependency tree...
198s Reading state information...
198s Calculating upgrade...
198s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
198s Reading package lists...
198s Building dependency tree...
198s Reading state information...
198s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
201s autopkgtest [14:59:05]: testbed running kernel: Linux 6.11.0-8-generic #8-Ubuntu SMP Mon Sep 16 12:49:35 UTC 2024
201s autopkgtest [14:59:05]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c
213s Get:1 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (dsc) [2447 B]
213s Get:2 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (tar) [8074 kB]
213s Get:3 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (diff) [17.2 kB]
213s gpgv: Signature made Fri Sep  6 13:44:00 2024 UTC
213s gpgv:                using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37
213s gpgv: Can't check signature: No public key
213s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build14.dsc: no acceptable signature found
213s autopkgtest [14:59:17]: testing package frama-c version 20220511-manganese-5build14
213s autopkgtest [14:59:17]: build not needed
218s autopkgtest [14:59:22]: test eva: preparing testbed
222s Reading package lists...
222s Building dependency tree...
222s Reading state information...
222s Starting pkgProblemResolver with broken count: 1
222s Starting 2 pkgProblemResolver with broken count: 1
222s Investigating (0) frama-c-base:s390x < none -> 20220511-manganese-5build14 @un puN Ib >
222s Broken frama-c-base:s390x Depends on libcairo2:s390x < none | 1.18.2-2 @un uH > (>= 1.12.0)
222s   Considering libcairo2:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated libfreetype6:s390x
222s   Re-Instated fonts-dejavu-mono:s390x
222s   Re-Instated fonts-dejavu-core:s390x
222s   Re-Instated fontconfig-config:s390x
222s   Re-Instated libfontconfig1:s390x
222s   Re-Instated libpixman-1-0:s390x
222s   Re-Instated libxcb-render0:s390x
222s   Re-Instated libxcb-shm0:s390x
222s   Re-Instated libxrender1:s390x
222s   Re-Instated libcairo2:s390x
222s Broken frama-c-base:s390x Depends on libgdk-pixbuf-2.0-0:s390x < none | 2.42.12+dfsg-1 @un uH > (>= 2.22.0)
222s   Considering libgdk-pixbuf-2.0-0:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated libgdk-pixbuf2.0-common:s390x
222s   Re-Instated libjpeg-turbo8:s390x
222s   Re-Instated libjpeg8:s390x
222s   Re-Instated libdeflate0:s390x
222s   Re-Instated libjbig0:s390x
222s   Re-Instated libsharpyuv0:s390x
222s   Re-Instated libwebp7:s390x
222s   Re-Instated libtiff6:s390x
222s   Re-Instated libgdk-pixbuf-2.0-0:s390x
222s Broken frama-c-base:s390x Depends on libgtk-3-0t64:s390x < none | 3.24.43-3ubuntu2 @un uH > (>= 3.11.5)
222s   Considering libgtk-3-0t64:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated gtk-update-icon-cache:s390x
222s   Re-Instated hicolor-icon-theme:s390x
222s   Re-Instated humanity-icon-theme:s390x
222s   Re-Instated ubuntu-mono:s390x
222s   Re-Instated adwaita-icon-theme:s390x
222s   Re-Instated at-spi2-common:s390x
222s   Re-Instated libatk1.0-0t64:s390x
222s   Re-Instated libxi6:s390x
222s   Re-Instated libatspi2.0-0t64:s390x
222s   Re-Instated libatk-bridge2.0-0t64:s390x
222s   Re-Instated libcairo-gobject2:s390x
222s   Re-Instated liblcms2-2:s390x
222s   Re-Instated libcolord2:s390x
222s   Re-Instated libavahi-common-data:s390x
222s   Re-Instated libavahi-common3:s390x
222s   Re-Instated libavahi-client3:s390x
222s   Re-Instated libcups2t64:s390x
222s   Re-Instated libepoxy0:s390x
222s   Re-Instated libgraphite2-3:s390x
222s   Re-Instated libharfbuzz0b:s390x
222s   Re-Instated fontconfig:s390x
222s   Re-Instated libthai-data:s390x
222s   Re-Instated libdatrie1:s390x
222s   Re-Instated libthai0:s390x
222s   Re-Instated libpango-1.0-0:s390x
222s   Re-Instated libpangoft2-1.0-0:s390x
222s   Re-Instated libpangocairo-1.0-0:s390x
222s   Re-Instated libwayland-client0:s390x
222s   Re-Instated libwayland-cursor0:s390x
222s   Re-Instated libwayland-egl1:s390x
222s   Re-Instated libxcomposite1:s390x
222s   Re-Instated libxfixes3:s390x
222s   Re-Instated libxcursor1:s390x
222s   Re-Instated libxdamage1:s390x
222s   Re-Instated libxinerama1:s390x
222s   Re-Instated libxrandr2:s390x
222s   Re-Instated libdconf1:s390x
222s   Re-Instated dconf-service:s390x
222s   Re-Instated dconf-gsettings-backend:s390x
222s   Re-Instated libgtk-3-common:s390x
222s   Re-Instated libgtk-3-0t64:s390x
222s Broken frama-c-base:s390x Depends on libgtksourceview-3.0-1:s390x < none | 3.24.11-3 @un uH > (>= 2.91.4)
222s   Considering libgtksourceview-3.0-1:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated libgtksourceview-3.0-common:s390x
222s   Re-Instated libgtksourceview-3.0-1:s390x
222s Broken frama-c-base:s390x Depends on libcairo2-ocaml-nw7q1:s390x < none @un H >
222s   Considering libcairo2-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated libstdlib-ocaml:s390x
222s   Re-Instated ocaml-base:s390x
222s   Re-Instated libcairo2-ocaml:s390x
222s Broken frama-c-base:s390x Depends on libfindlib-ocaml-01j46:s390x < none @un H >
222s   Considering libfindlib-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated libfindlib-ocaml:s390x
222s Broken frama-c-base:s390x Depends on liblablgtk3-ocaml-uftu4:s390x < none @un H >
222s   Considering liblablgtk3-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated liblablgtk3-ocaml:s390x
222s Broken frama-c-base:s390x Depends on liblablgtksourceview3-ocaml-f7bx5:s390x < none @un H >
222s   Considering liblablgtksourceview3-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated liblablgtksourceview3-ocaml:s390x
222s Broken frama-c-base:s390x Depends on libppx-deriving-ocaml-e9r77:s390x < none @un H >
222s   Considering libppx-deriving-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated libsexplib0-ocaml:s390x
222s   Re-Instated libppx-deriving-ocaml:s390x
222s Broken frama-c-base:s390x Depends on libyojson-ocaml-wcb47:s390x < none @un H >
222s   Considering libyojson-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated libyojson-ocaml:s390x
222s Broken frama-c-base:s390x Depends on libzarith-ocaml-lfk68:s390x < none @un H >
222s   Considering libzarith-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
222s   Re-Instated libzarith-ocaml:s390x
222s Broken frama-c-base:s390x Depends on libocamlgraph-ocaml-dev:s390x < none | 2.1.0-3build1 @un uH >
222s   Considering libocamlgraph-ocaml-dev:s390x 1 as a solution to frama-c-base:s390x 0
222s   Re-Instated libstdlib-ocaml-dev:s390x
222s   Re-Instated libcompiler-libs-ocaml-dev:s390x
222s   Re-Instated ocaml-interp:s390x
222s   Re-Instated libncurses-dev:s390x
222s   Re-Instated libisl23:s390x
222s   Re-Instated libmpc3:s390x
222s   Re-Instated cpp-14-s390x-linux-gnu:s390x
222s   Re-Instated cpp-14:s390x
222s   Re-Instated cpp-s390x-linux-gnu:s390x
222s   Re-Instated cpp:s390x
222s   Re-Instated libcc1-0:s390x
222s   Re-Instated libgomp1:s390x
222s   Re-Instated libitm1:s390x
222s   Re-Instated libasan8:s390x
222s   Re-Instated libubsan1:s390x
222s   Re-Instated libgcc-14-dev:s390x
222s   Re-Instated gcc-14-s390x-linux-gnu:s390x
222s   Re-Instated gcc-14:s390x
222s   Re-Instated gcc-s390x-linux-gnu:s390x
222s   Re-Instated gcc:s390x
222s   Re-Instated libzstd-dev:s390x
222s   Re-Instated ocaml:s390x
222s   Re-Instated libocamlgraph-ocaml-dev:s390x
222s Broken frama-c-base:s390x Depends on libppx-import-ocaml:s390x < none | 1.11.0-2build2 @un uH >
222s   Considering libppx-import-ocaml:s390x 1 as a solution to frama-c-base:s390x 0
222s   Re-Instated libppx-import-ocaml:s390x
222s Done
222s Some packages could not be installed. This may mean that you have
222s requested an impossible situation or if you are using the unstable
222s distribution that some required packages have not yet been created
222s or been moved out of Incoming.
222s The following information may help to resolve the situation:
222s 
222s The following packages have unmet dependencies:
222s  frama-c-base : Depends: libppx-deriving-ocaml-e9r77
222s E: Unable to correct problems, you have held broken packages.
222s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed
223s Reading package lists...
223s Building dependency tree...
223s Reading state information...
223s Starting pkgProblemResolver with broken count: 1
223s Starting 2 pkgProblemResolver with broken count: 1
223s Investigating (0) frama-c-base:s390x < none -> 20220511-manganese-5build14 @un puN Ib >
223s Broken frama-c-base:s390x Depends on libcairo2:s390x < none | 1.18.2-2 @un uH > (>= 1.12.0)
223s   Considering libcairo2:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated libfreetype6:s390x
223s   Re-Instated fonts-dejavu-mono:s390x
223s   Re-Instated fonts-dejavu-core:s390x
223s   Re-Instated fontconfig-config:s390x
223s   Re-Instated libfontconfig1:s390x
223s   Re-Instated libpixman-1-0:s390x
223s   Re-Instated libxcb-render0:s390x
223s   Re-Instated libxcb-shm0:s390x
223s   Re-Instated libxrender1:s390x
223s   Re-Instated libcairo2:s390x
223s Broken frama-c-base:s390x Depends on libgdk-pixbuf-2.0-0:s390x < none | 2.42.12+dfsg-1 @un uH > (>= 2.22.0)
223s   Considering libgdk-pixbuf-2.0-0:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated libgdk-pixbuf2.0-common:s390x
223s   Re-Instated libjpeg-turbo8:s390x
223s   Re-Instated libjpeg8:s390x
223s   Re-Instated libdeflate0:s390x
223s   Re-Instated libjbig0:s390x
223s   Re-Instated libsharpyuv0:s390x
223s   Re-Instated libwebp7:s390x
223s   Re-Instated libtiff6:s390x
223s   Re-Instated libgdk-pixbuf-2.0-0:s390x
223s Broken frama-c-base:s390x Depends on libgtk-3-0t64:s390x < none | 3.24.43-3ubuntu2 @un uH > (>= 3.11.5)
223s   Considering libgtk-3-0t64:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated gtk-update-icon-cache:s390x
223s   Re-Instated hicolor-icon-theme:s390x
223s   Re-Instated humanity-icon-theme:s390x
223s   Re-Instated ubuntu-mono:s390x
223s   Re-Instated adwaita-icon-theme:s390x
223s   Re-Instated at-spi2-common:s390x
223s   Re-Instated libatk1.0-0t64:s390x
223s   Re-Instated libxi6:s390x
223s   Re-Instated libatspi2.0-0t64:s390x
223s   Re-Instated libatk-bridge2.0-0t64:s390x
223s   Re-Instated libcairo-gobject2:s390x
223s   Re-Instated liblcms2-2:s390x
223s   Re-Instated libcolord2:s390x
223s   Re-Instated libavahi-common-data:s390x
223s   Re-Instated libavahi-common3:s390x
223s   Re-Instated libavahi-client3:s390x
223s   Re-Instated libcups2t64:s390x
223s   Re-Instated libepoxy0:s390x
223s   Re-Instated libgraphite2-3:s390x
223s   Re-Instated libharfbuzz0b:s390x
223s   Re-Instated fontconfig:s390x
223s   Re-Instated libthai-data:s390x
223s   Re-Instated libdatrie1:s390x
223s   Re-Instated libthai0:s390x
223s   Re-Instated libpango-1.0-0:s390x
223s   Re-Instated libpangoft2-1.0-0:s390x
223s   Re-Instated libpangocairo-1.0-0:s390x
223s   Re-Instated libwayland-client0:s390x
223s   Re-Instated libwayland-cursor0:s390x
223s   Re-Instated libwayland-egl1:s390x
223s   Re-Instated libxcomposite1:s390x
223s   Re-Instated libxfixes3:s390x
223s   Re-Instated libxcursor1:s390x
223s   Re-Instated libxdamage1:s390x
223s   Re-Instated libxinerama1:s390x
223s   Re-Instated libxrandr2:s390x
223s   Re-Instated libdconf1:s390x
223s   Re-Instated dconf-service:s390x
223s   Re-Instated dconf-gsettings-backend:s390x
223s   Re-Instated libgtk-3-common:s390x
223s   Re-Instated libgtk-3-0t64:s390x
223s Broken frama-c-base:s390x Depends on libgtksourceview-3.0-1:s390x < none | 3.24.11-3 @un uH > (>= 2.91.4)
223s   Considering libgtksourceview-3.0-1:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated libgtksourceview-3.0-common:s390x
223s   Re-Instated libgtksourceview-3.0-1:s390x
223s Broken frama-c-base:s390x Depends on libcairo2-ocaml-nw7q1:s390x < none @un H >
223s   Considering libcairo2-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated libstdlib-ocaml:s390x
223s   Re-Instated ocaml-base:s390x
223s   Re-Instated libcairo2-ocaml:s390x
223s Broken frama-c-base:s390x Depends on libfindlib-ocaml-01j46:s390x < none @un H >
223s   Considering libfindlib-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated libfindlib-ocaml:s390x
223s Broken frama-c-base:s390x Depends on liblablgtk3-ocaml-uftu4:s390x < none @un H >
223s   Considering liblablgtk3-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated liblablgtk3-ocaml:s390x
223s Broken frama-c-base:s390x Depends on liblablgtksourceview3-ocaml-f7bx5:s390x < none @un H >
223s   Considering liblablgtksourceview3-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated liblablgtksourceview3-ocaml:s390x
223s Broken frama-c-base:s390x Depends on libppx-deriving-ocaml-e9r77:s390x < none @un H >
223s   Considering libppx-deriving-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated libsexplib0-ocaml:s390x
223s   Re-Instated libppx-deriving-ocaml:s390x
223s Broken frama-c-base:s390x Depends on libyojson-ocaml-wcb47:s390x < none @un H >
223s   Considering libyojson-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated libyojson-ocaml:s390x
223s Broken frama-c-base:s390x Depends on libzarith-ocaml-lfk68:s390x < none @un H >
223s   Considering libzarith-ocaml:s390x 0 as a solution to frama-c-base:s390x 0
223s   Re-Instated libzarith-ocaml:s390x
223s Broken frama-c-base:s390x Depends on libocamlgraph-ocaml-dev:s390x < none | 2.1.0-3build1 @un uH >
223s   Considering libocamlgraph-ocaml-dev:s390x 1 as a solution to frama-c-base:s390x 0
223s   Re-Instated libstdlib-ocaml-dev:s390x
223s   Re-Instated libcompiler-libs-ocaml-dev:s390x
223s   Re-Instated ocaml-interp:s390x
223s   Re-Instated libncurses-dev:s390x
223s   Re-Instated gcc-14-base:s390x
223s   Re-Instated libisl23:s390x
223s   Re-Instated libmpc3:s390x
223s   Re-Instated cpp-14-s390x-linux-gnu:s390x
223s   Re-Instated cpp-14:s390x
223s   Re-Instated cpp-s390x-linux-gnu:s390x
223s   Re-Instated cpp:s390x
223s   Re-Instated libcc1-0:s390x
223s   Re-Instated libgcc-s1:s390x
223s   Re-Instated libgomp1:s390x
223s   Re-Instated libitm1:s390x
223s   Re-Instated libatomic1:s390x
223s   Re-Instated libasan8:s390x
223s   Re-Instated libubsan1:s390x
223s   Re-Instated libgcc-14-dev:s390x
223s   Re-Instated gcc-14-s390x-linux-gnu:s390x
223s   Re-Instated gcc-14:s390x
223s   Re-Instated gcc-s390x-linux-gnu:s390x
223s   Re-Instated gcc:s390x
223s   Re-Instated libzstd-dev:s390x
223s   Re-Instated ocaml:s390x
223s   Re-Instated libocamlgraph-ocaml-dev:s390x
223s Broken frama-c-base:s390x Depends on libppx-import-ocaml:s390x < none | 1.11.0-2build2 @un uH >
223s   Considering libppx-import-ocaml:s390x 1 as a solution to frama-c-base:s390x 0
223s   Re-Instated libppx-import-ocaml:s390x
223s Done
223s Some packages could not be installed. This may mean that you have
223s requested an impossible situation or if you are using the unstable
223s distribution that some required packages have not yet been created
223s or been moved out of Incoming.
223s The following information may help to resolve the situation:
223s 
223s The following packages have unmet dependencies:
223s  frama-c-base : Depends: libppx-deriving-ocaml-e9r77
223s  libstdc++6 : Depends: gcc-14-base (= 14.2.0-7ubuntu1) but 14.2.0-8ubuntu1 is to be installed
223s E: Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages.
223s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs
224s Reading package lists...
224s Building dependency tree...
224s Reading state information...
224s Starting pkgProblemResolver with broken count: 1
224s Starting 2 pkgProblemResolver with broken count: 1
224s Investigating (0) frama-c-base:s390x < none -> 20220511-manganese-5build14 @un puN Ib >
224s Broken frama-c-base:s390x Depends on libcairo2:s390x < none | 1.18.2-2 @un uH > (>= 1.12.0)
224s   Considering libcairo2:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated libfreetype6:s390x
224s   Re-Instated fonts-dejavu-mono:s390x
224s   Re-Instated fonts-dejavu-core:s390x
224s   Re-Instated fontconfig-config:s390x
224s   Re-Instated libfontconfig1:s390x
224s   Re-Instated libpixman-1-0:s390x
224s   Re-Instated libxcb-render0:s390x
224s   Re-Instated libxcb-shm0:s390x
224s   Re-Instated libxrender1:s390x
224s   Re-Instated libcairo2:s390x
224s Broken frama-c-base:s390x Depends on libgdk-pixbuf-2.0-0:s390x < none | 2.42.12+dfsg-1 @un uH > (>= 2.22.0)
224s   Considering libgdk-pixbuf-2.0-0:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated libgdk-pixbuf2.0-common:s390x
224s   Re-Instated libjpeg-turbo8:s390x
224s   Re-Instated libjpeg8:s390x
224s   Re-Instated libdeflate0:s390x
224s   Re-Instated libjbig0:s390x
224s   Re-Instated libsharpyuv0:s390x
224s   Re-Instated libwebp7:s390x
224s   Re-Instated libtiff6:s390x
224s   Re-Instated libgdk-pixbuf-2.0-0:s390x
224s Broken frama-c-base:s390x Depends on libgtk-3-0t64:s390x < none | 3.24.43-3ubuntu2 @un uH > (>= 3.11.5)
224s   Considering libgtk-3-0t64:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated gtk-update-icon-cache:s390x
224s   Re-Instated hicolor-icon-theme:s390x
224s   Re-Instated humanity-icon-theme:s390x
224s   Re-Instated ubuntu-mono:s390x
224s   Re-Instated adwaita-icon-theme:s390x
224s   Re-Instated at-spi2-common:s390x
224s   Re-Instated libatk1.0-0t64:s390x
224s   Re-Instated libxi6:s390x
224s   Re-Instated libatspi2.0-0t64:s390x
224s   Re-Instated libatk-bridge2.0-0t64:s390x
224s   Re-Instated libcairo-gobject2:s390x
224s   Re-Instated liblcms2-2:s390x
224s   Re-Instated libcolord2:s390x
224s   Re-Instated libavahi-common-data:s390x
224s   Re-Instated libavahi-common3:s390x
224s   Re-Instated libavahi-client3:s390x
224s   Re-Instated libcups2t64:s390x
224s   Re-Instated libepoxy0:s390x
224s   Re-Instated libgraphite2-3:s390x
224s   Re-Instated libharfbuzz0b:s390x
224s   Re-Instated fontconfig:s390x
224s   Re-Instated libthai-data:s390x
224s   Re-Instated libdatrie1:s390x
224s   Re-Instated libthai0:s390x
224s   Re-Instated libpango-1.0-0:s390x
224s   Re-Instated libpangoft2-1.0-0:s390x
224s   Re-Instated libpangocairo-1.0-0:s390x
224s   Re-Instated libwayland-client0:s390x
224s   Re-Instated libwayland-cursor0:s390x
224s   Re-Instated libwayland-egl1:s390x
224s   Re-Instated libxcomposite1:s390x
224s   Re-Instated libxfixes3:s390x
224s   Re-Instated libxcursor1:s390x
224s   Re-Instated libxdamage1:s390x
224s   Re-Instated libxinerama1:s390x
224s   Re-Instated libxrandr2:s390x
224s   Re-Instated libdconf1:s390x
224s   Re-Instated dconf-service:s390x
224s   Re-Instated dconf-gsettings-backend:s390x
224s   Re-Instated libgtk-3-common:s390x
224s   Re-Instated libgtk-3-0t64:s390x
224s Broken frama-c-base:s390x Depends on libgtksourceview-3.0-1:s390x < none | 3.24.11-3 @un uH > (>= 2.91.4)
224s   Considering libgtksourceview-3.0-1:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated libgtksourceview-3.0-common:s390x
224s   Re-Instated libgtksourceview-3.0-1:s390x
224s Broken frama-c-base:s390x Depends on libcairo2-ocaml-nw7q1:s390x < none @un H >
224s   Considering libcairo2-ocaml:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated libstdlib-ocaml:s390x
224s   Re-Instated ocaml-base:s390x
224s   Re-Instated libcairo2-ocaml:s390x
224s Broken frama-c-base:s390x Depends on libfindlib-ocaml-01j46:s390x < none @un H >
224s   Considering libfindlib-ocaml:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated libfindlib-ocaml:s390x
224s Broken frama-c-base:s390x Depends on liblablgtk3-ocaml-uftu4:s390x < none @un H >
224s   Considering liblablgtk3-ocaml:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated liblablgtk3-ocaml:s390x
224s Broken frama-c-base:s390x Depends on liblablgtksourceview3-ocaml-f7bx5:s390x < none @un H >
224s   Considering liblablgtksourceview3-ocaml:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated liblablgtksourceview3-ocaml:s390x
224s Broken frama-c-base:s390x Depends on libppx-deriving-ocaml-e9r77:s390x < none @un H >
224s   Considering libppx-deriving-ocaml:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated libsexplib0-ocaml:s390x
224s   Re-Instated libppx-deriving-ocaml:s390x
224s Broken frama-c-base:s390x Depends on libyojson-ocaml-wcb47:s390x < none @un H >
224s   Considering libyojson-ocaml:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated libyojson-ocaml:s390x
224s Broken frama-c-base:s390x Depends on libzarith-ocaml-lfk68:s390x < none @un H >
224s   Considering libzarith-ocaml:s390x 0 as a solution to frama-c-base:s390x 9999
224s   Re-Instated libzarith-ocaml:s390x
224s Broken frama-c-base:s390x Depends on libocamlgraph-ocaml-dev:s390x < none | 2.1.0-3build1 @un uH >
224s   Considering libocamlgraph-ocaml-dev:s390x 1 as a solution to frama-c-base:s390x 9999
224s   Re-Instated libstdlib-ocaml-dev:s390x
224s   Re-Instated libcompiler-libs-ocaml-dev:s390x
224s   Re-Instated ocaml-interp:s390x
224s   Re-Instated libncurses-dev:s390x
224s   Re-Instated gcc-14-base:s390x
224s   Re-Instated libisl23:s390x
224s   Re-Instated libmpc3:s390x
224s   Re-Instated cpp-14-s390x-linux-gnu:s390x
224s   Re-Instated cpp-14:s390x
224s   Re-Instated cpp-s390x-linux-gnu:s390x
224s   Re-Instated cpp:s390x
224s   Re-Instated libcc1-0:s390x
224s   Re-Instated libgcc-s1:s390x
224s   Re-Instated libgomp1:s390x
224s   Re-Instated libitm1:s390x
224s   Re-Instated libatomic1:s390x
224s   Re-Instated libasan8:s390x
224s   Re-Instated libubsan1:s390x
224s   Re-Instated libgcc-14-dev:s390x
224s   Re-Instated gcc-14-s390x-linux-gnu:s390x
224s   Re-Instated gcc-14:s390x
224s   Re-Instated gcc-s390x-linux-gnu:s390x
224s   Re-Instated gcc:s390x
224s   Re-Instated libzstd-dev:s390x
224s   Re-Instated ocaml:s390x
224s   Re-Instated libocamlgraph-ocaml-dev:s390x
224s Broken frama-c-base:s390x Depends on libppx-import-ocaml:s390x < none | 1.11.0-2build2 @un uH >
224s   Considering libppx-import-ocaml:s390x 1 as a solution to frama-c-base:s390x 9999
224s   Re-Instated libppx-import-ocaml:s390x
224s Investigating (0) libstdc++6:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH Ib >
224s Broken libstdc++6:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 -> 14.2.0-8ubuntu1 @ii umU > (= 14.2.0-7ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to libstdc++6:s390x 186
224s   Added gcc-14-base:s390x to the remove list
224s   Fixing libstdc++6:s390x via keep of gcc-14-base:s390x
224s Investigating (0) libatomic1:s390x < 14.2.0-7ubuntu1 -> 14.2.0-8ubuntu1 @ii umU Ib >
224s Broken libatomic1:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to libatomic1:s390x 45
224s   Holding Back libatomic1:s390x rather than change gcc-14-base:s390x
224s Investigating (0) cpp-14:s390x < none -> 14.2.0-8ubuntu1 @un uN Ib >
224s Broken cpp-14:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to cpp-14:s390x 0
224s   Holding Back cpp-14:s390x rather than change gcc-14-base:s390x
224s Investigating (0) gcc-14-s390x-linux-gnu:s390x < none -> 14.2.0-8ubuntu1 @un uN Ib >
224s Broken gcc-14-s390x-linux-gnu:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to gcc-14-s390x-linux-gnu:s390x 0
224s   Holding Back gcc-14-s390x-linux-gnu:s390x rather than change gcc-14-base:s390x
224s Investigating (0) libitm1:s390x < none -> 14.2.0-8ubuntu1 @un uN Ib >
224s Broken libitm1:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to libitm1:s390x 0
224s   Holding Back libitm1:s390x rather than change gcc-14-base:s390x
224s Investigating (0) libasan8:s390x < none -> 14.2.0-8ubuntu1 @un uN Ib >
224s Broken libasan8:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to libasan8:s390x 0
224s   Holding Back libasan8:s390x rather than change gcc-14-base:s390x
224s Investigating (0) cpp-14-s390x-linux-gnu:s390x < none -> 14.2.0-8ubuntu1 @un uN Ib >
224s Broken cpp-14-s390x-linux-gnu:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to cpp-14-s390x-linux-gnu:s390x 0
224s   Holding Back cpp-14-s390x-linux-gnu:s390x rather than change gcc-14-base:s390x
224s Investigating (0) cpp-s390x-linux-gnu:s390x < none -> 4:14.1.0-2ubuntu1 @un uN Ib >
224s Broken cpp-s390x-linux-gnu:s390x Depends on cpp-14-s390x-linux-gnu:s390x < none | 14.2.0-8ubuntu1 @un uH > (>= 14.1.0-4~)
224s   Considering cpp-14-s390x-linux-gnu:s390x 0 as a solution to cpp-s390x-linux-gnu:s390x 0
224s   Holding Back cpp-s390x-linux-gnu:s390x rather than change cpp-14-s390x-linux-gnu:s390x
224s Investigating (0) libubsan1:s390x < none -> 14.2.0-8ubuntu1 @un uN Ib >
224s Broken libubsan1:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to libubsan1:s390x 0
224s   Holding Back libubsan1:s390x rather than change gcc-14-base:s390x
224s Investigating (0) gcc-s390x-linux-gnu:s390x < none -> 4:14.1.0-2ubuntu1 @un uN Ib >
224s Broken gcc-s390x-linux-gnu:s390x Depends on cpp-s390x-linux-gnu:s390x < none | 4:14.1.0-2ubuntu1 @un uH > (= 4:14.1.0-2ubuntu1)
224s   Considering cpp-s390x-linux-gnu:s390x 0 as a solution to gcc-s390x-linux-gnu:s390x 0
224s   Holding Back gcc-s390x-linux-gnu:s390x rather than change cpp-s390x-linux-gnu:s390x
224s Investigating (0) libgcc-14-dev:s390x < none -> 14.2.0-8ubuntu1 @un uN Ib >
224s Broken libgcc-14-dev:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to libgcc-14-dev:s390x 0
224s   Holding Back libgcc-14-dev:s390x rather than change gcc-14-base:s390x
224s Investigating (0) libgomp1:s390x < none -> 14.2.0-8ubuntu1 @un uN Ib >
224s Broken libgomp1:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to libgomp1:s390x 0
224s   Holding Back libgomp1:s390x rather than change gcc-14-base:s390x
224s Investigating (0) cpp:s390x < none -> 4:14.1.0-2ubuntu1 @un uN Ib >
224s Broken cpp:s390x Depends on cpp-14:s390x < none | 14.2.0-8ubuntu1 @un uH > (>= 14.1.0-4~)
224s   Considering cpp-14:s390x 0 as a solution to cpp:s390x 0
224s   Holding Back cpp:s390x rather than change cpp-14:s390x
224s Investigating (0) gcc-14:s390x < none -> 14.2.0-8ubuntu1 @un uN Ib >
224s Broken gcc-14:s390x Depends on gcc-14-s390x-linux-gnu:s390x < none | 14.2.0-8ubuntu1 @un uH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-s390x-linux-gnu:s390x 0 as a solution to gcc-14:s390x 0
224s   Holding Back gcc-14:s390x rather than change gcc-14-s390x-linux-gnu:s390x
224s Investigating (0) libcc1-0:s390x < none -> 14.2.0-8ubuntu1 @un uN Ib >
224s Broken libcc1-0:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to libcc1-0:s390x 0
224s   Holding Back libcc1-0:s390x rather than change gcc-14-base:s390x
224s Investigating (1) frama-c-base:s390x < none -> 20220511-manganese-5build14 @un puN Ib >
224s Broken frama-c-base:s390x Depends on libppx-deriving-ocaml-e9r77:s390x < none @un H >
224s   Considering libppx-deriving-ocaml:s390x 0 as a solution to frama-c-base:s390x 9999
224s Investigating (1) libgcc-s1:s390x < 14.2.0-7ubuntu1 -> 14.2.0-8ubuntu1 @ii umU Ib >
224s Broken libgcc-s1:s390x Depends on gcc-14-base:s390x < 14.2.0-7ubuntu1 | 14.2.0-8ubuntu1 @ii umH > (= 14.2.0-8ubuntu1)
224s   Considering gcc-14-base:s390x 162 as a solution to libgcc-s1:s390x 5705
224s   Holding Back libgcc-s1:s390x rather than change gcc-14-base:s390x
224s Investigating (1) gcc:s390x < none -> 4:14.1.0-2ubuntu1 @un umN Ib >
224s Broken gcc:s390x Depends on cpp:s390x < none | 4:14.1.0-2ubuntu1 @un uH > (= 4:14.1.0-2ubuntu1)
224s   Considering cpp:s390x 0 as a solution to gcc:s390x 2
224s   Holding Back gcc:s390x rather than change cpp:s390x
224s Investigating (1) ocaml:s390x < none -> 5.2.0-3 @un uN Ib >
224s Broken ocaml:s390x Depends on gcc:s390x < none | 4:14.1.0-2ubuntu1 @un umH >
224s   Considering gcc:s390x 2 as a solution to ocaml:s390x 0
224s   Holding Back ocaml:s390x rather than change gcc:s390x
224s Investigating (2) frama-c-base:s390x < none -> 20220511-manganese-5build14 @un puN Ib >
224s Broken frama-c-base:s390x Depends on libppx-deriving-ocaml-e9r77:s390x < none @un H >
224s   Considering libppx-deriving-ocaml:s390x 0 as a solution to frama-c-base:s390x 9999
224s Broken frama-c-base:s390x Depends on gcc:s390x < none | 4:14.1.0-2ubuntu1 @un umH >
224s   Considering gcc:s390x 2 as a solution to frama-c-base:s390x 9999
224s Investigating (2) libocamlgraph-ocaml-dev:s390x < none -> 2.1.0-3build1 @un uN Ib >
224s Broken libocamlgraph-ocaml-dev:s390x Depends on ocaml-5.2.0:s390x < none @un H >
224s   Considering ocaml:s390x 0 as a solution to libocamlgraph-ocaml-dev:s390x 1
224s   Holding Back libocamlgraph-ocaml-dev:s390x rather than change ocaml-5.2.0:s390x
224s Investigating (3) frama-c-base:s390x < none -> 20220511-manganese-5build14 @un puN Ib >
224s Broken frama-c-base:s390x Depends on libppx-deriving-ocaml-e9r77:s390x < none @un H >
224s   Considering libppx-deriving-ocaml:s390x 0 as a solution to frama-c-base:s390x 9999
224s Broken frama-c-base:s390x Depends on libocamlgraph-ocaml-dev:s390x < none | 2.1.0-3build1 @un uH >
224s   Considering libocamlgraph-ocaml-dev:s390x 1 as a solution to frama-c-base:s390x 9999
224s Broken frama-c-base:s390x Depends on gcc:s390x < none | 4:14.1.0-2ubuntu1 @un umH >
224s   Considering gcc:s390x 2 as a solution to frama-c-base:s390x 9999
224s Done
224s Some packages could not be installed. This may mean that you have
224s requested an impossible situation or if you are using the unstable
224s distribution that some required packages have not yet been created
224s or been moved out of Incoming.
224s The following information may help to resolve the situation:
224s 
224s The following packages have unmet dependencies:
224s  frama-c-base : Depends: libppx-deriving-ocaml-e9r77
224s                 Depends: libocamlgraph-ocaml-dev but it is not going to be installed
224s                 Depends: gcc but it is not going to be installed
224s E: Unable to correct problems, you have held broken packages.
224s eva                  FAIL badpkg
224s blame: frama-c
224s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U.
224s autopkgtest [14:59:28]: test wp: preparing testbed
225s Reading package lists...
225s Building dependency tree...
225s Reading state information...
225s Starting pkgProblemResolver with broken count: 1
225s Starting 2 pkgProblemResolver with broken count: 1
225s Investigating (0) autopkgtest-satdep:s390x < none -> 0 @un puN Ib >
225s Broken autopkgtest-satdep:s390x Depends on frama-c-base:s390x < none | 20220511-manganese-5build14 @un uH >
225s   Considering frama-c-base:s390x 1 as a solution to autopkgtest-satdep:s390x 9998
225s   Re-Instated libfreetype6:s390x
225s   Re-Instated fonts-dejavu-mono:s390x
225s   Re-Instated fonts-dejavu-core:s390x
225s   Re-Instated fontconfig-config:s390x
225s   Re-Instated libfontconfig1:s390x
225s   Re-Instated libpixman-1-0:s390x
225s   Re-Instated libxcb-render0:s390x
225s   Re-Instated libxcb-shm0:s390x
225s   Re-Instated libxrender1:s390x
225s   Re-Instated libcairo2:s390x
225s   Re-Instated libgdk-pixbuf2.0-common:s390x
225s   Re-Instated libjpeg-turbo8:s390x
225s   Re-Instated libjpeg8:s390x
225s   Re-Instated libdeflate0:s390x
225s   Re-Instated libjbig0:s390x
225s   Re-Instated libsharpyuv0:s390x
225s   Re-Instated libwebp7:s390x
225s   Re-Instated libtiff6:s390x
225s   Re-Instated libgdk-pixbuf-2.0-0:s390x
225s   Re-Instated gtk-update-icon-cache:s390x
225s   Re-Instated hicolor-icon-theme:s390x
225s   Re-Instated humanity-icon-theme:s390x
225s   Re-Instated ubuntu-mono:s390x
225s   Re-Instated adwaita-icon-theme:s390x
225s   Re-Instated at-spi2-common:s390x
225s   Re-Instated libatk1.0-0t64:s390x
225s   Re-Instated libxi6:s390x
225s   Re-Instated libatspi2.0-0t64:s390x
225s   Re-Instated libatk-bridge2.0-0t64:s390x
225s   Re-Instated libcairo-gobject2:s390x
225s   Re-Instated liblcms2-2:s390x
225s   Re-Instated libcolord2:s390x
225s   Re-Instated libavahi-common-data:s390x
225s   Re-Instated libavahi-common3:s390x
225s   Re-Instated libavahi-client3:s390x
225s   Re-Instated libcups2t64:s390x
225s   Re-Instated libepoxy0:s390x
225s   Re-Instated libgraphite2-3:s390x
225s   Re-Instated libharfbuzz0b:s390x
225s   Re-Instated fontconfig:s390x
225s   Re-Instated libthai-data:s390x
225s   Re-Instated libdatrie1:s390x
225s   Re-Instated libthai0:s390x
225s   Re-Instated libpango-1.0-0:s390x
225s   Re-Instated libpangoft2-1.0-0:s390x
225s   Re-Instated libpangocairo-1.0-0:s390x
225s   Re-Instated libwayland-client0:s390x
225s   Re-Instated libwayland-cursor0:s390x
225s   Re-Instated libwayland-egl1:s390x
225s   Re-Instated libxcomposite1:s390x
225s   Re-Instated libxfixes3:s390x
225s   Re-Instated libxcursor1:s390x
225s   Re-Instated libxdamage1:s390x
225s   Re-Instated libxinerama1:s390x
225s   Re-Instated libxrandr2:s390x
225s   Re-Instated libdconf1:s390x
225s   Re-Instated dconf-service:s390x
225s   Re-Instated dconf-gsettings-backend:s390x
225s   Re-Instated libgtk-3-common:s390x
225s   Re-Instated libgtk-3-0t64:s390x
225s   Re-Instated libgtksourceview-3.0-common:s390x
225s   Re-Instated libgtksourceview-3.0-1:s390x
225s   Re-Instated libstdlib-ocaml:s390x
225s   Re-Instated ocaml-base:s390x
225s   Re-Instated libcairo2-ocaml:s390x
225s   Re-Instated libfindlib-ocaml:s390x
225s   Re-Instated liblablgtk3-ocaml:s390x
225s   Re-Instated liblablgtksourceview3-ocaml:s390x
225s     Reinst Failed early because of libppx-deriving-ocaml-e9r77:s390x
225s Broken autopkgtest-satdep:s390x Depends on alt-ergo:s390x < none @un H > (>= 2.0.0)
225s Broken autopkgtest-satdep:s390x Depends on why3:s390x < none | 1.7.2-2build1 @un uH >
225s   Considering why3:s390x 1 as a solution to autopkgtest-satdep:s390x 9998
225s   Re-Instated tex-common:s390x
225s   Re-Instated why3:s390x
225s Done
225s Some packages could not be installed. This may mean that you have
225s requested an impossible situation or if you are using the unstable
225s distribution that some required packages have not yet been created
225s or been moved out of Incoming.
225s The following information may help to resolve the situation:
225s 
225s The following packages have unmet dependencies:
225s  autopkgtest-satdep : Depends: frama-c-base but it is not going to be installed
225s                       Depends: alt-ergo (>= 2.0.0) but it is not installable
225s E: Unable to correct problems, you have held broken packages.
225s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs
226s wp                   SKIP installation fails and skip-not-installable set
226s autopkgtest [14:59:30]: @@@@@@@@@@@@@@@@@@@@ summary
226s eva                  FAIL badpkg
226s blame: frama-c
226s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U.
226s wp                   SKIP installation fails and skip-not-installable set
238s nova [W] Using flock in prodstack6-s390x
238s Creating nova instance adt-plucky-s390x-frama-c-20241109-145544-juju-7f2275-prod-proposed-migration-environment-20-63e89b04-6ee4-4a85-a927-e04cf251c8a1 from image adt/ubuntu-plucky-s390x-server-20241109.img (UUID 3dcdd533-c66f-4d57-9732-52a74843bc00)...