0s autopkgtest [18:16:09]: starting date and time: 2024-03-19 18:16:09+0000
  0s autopkgtest [18:16:09]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps
  0s autopkgtest [18:16:09]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.9m14l9ny/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --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-ppc64el-9.secgroup --name adt-noble-ppc64el-frama-c-20240319-181609-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-ppc64el-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/
167s autopkgtest [18:18:56]: testbed dpkg architecture: ppc64el
167s autopkgtest [18:18:56]: testbed apt version: 2.7.12
167s autopkgtest [18:18:56]: @@@@@@@@@@@@@@@@@@@@ test bed setup
168s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB]
169s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [493 kB]
169s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B]
169s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3740 kB]
170s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB]
170s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [648 kB]
170s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B]
170s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B]
170s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B]
170s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4078 kB]
171s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B]
171s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [47.7 kB]
171s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B]
174s Fetched 9195 kB in 4s (2478 kB/s)
174s Reading package lists...
177s Reading package lists...
177s Building dependency tree...
177s Reading state information...
177s Calculating upgrade...
177s The following packages have been kept back:
177s   libfreetype6
177s The following packages will be upgraded:
177s   ubuntu-minimal ubuntu-standard
177s 2 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
177s Need to get 21.5 kB of archives.
177s After this operation, 0 B of additional disk space will be used.
177s Get:1 http://ftpmaster.internal/ubuntu noble/main ppc64el ubuntu-minimal ppc64el 1.536build1 [10.7 kB]
177s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el ubuntu-standard ppc64el 1.536build1 [10.7 kB]
178s Fetched 21.5 kB in 0s (74.2 kB/s)
178s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 70095 files and directories currently installed.)
178s Preparing to unpack .../ubuntu-minimal_1.536build1_ppc64el.deb ...
178s Unpacking ubuntu-minimal (1.536build1) over (1.536) ...
178s Preparing to unpack .../ubuntu-standard_1.536build1_ppc64el.deb ...
178s Unpacking ubuntu-standard (1.536build1) over (1.536) ...
178s Setting up ubuntu-minimal (1.536build1) ...
178s Setting up ubuntu-standard (1.536build1) ...
178s Reading package lists...
178s Building dependency tree...
178s Reading state information...
178s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
179s Hit:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease
179s Hit:2 http://ftpmaster.internal/ubuntu noble InRelease
179s Hit:3 http://ftpmaster.internal/ubuntu noble-updates InRelease
179s Hit:4 http://ftpmaster.internal/ubuntu noble-security InRelease
180s Reading package lists...
180s Reading package lists...
180s Building dependency tree...
180s Reading state information...
181s Calculating upgrade...
181s The following packages have been kept back:
181s   libfreetype6
181s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
181s Reading package lists...
181s Building dependency tree...
181s Reading state information...
181s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
184s autopkgtest [18:19:13]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Wed Feb 14 00:33:03 UTC 2024
186s autopkgtest [18:19:15]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c
188s Get:1 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (dsc) [2364 B]
188s Get:2 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (tar) [8074 kB]
188s Get:3 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (diff) [16.9 kB]
188s gpgv: Signature made Thu Feb 22 07:36:42 2024 UTC
188s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
188s gpgv: Can't check signature: No public key
188s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build5.dsc: no acceptable signature found
189s autopkgtest [18:19:18]: testing package frama-c version 20220511-manganese-5build5
190s autopkgtest [18:19:19]: build not needed
231s autopkgtest [18:20:00]: test eva: preparing testbed
233s Reading package lists...
234s Building dependency tree...
234s Reading state information...
234s Starting pkgProblemResolver with broken count: 0
234s Starting 2 pkgProblemResolver with broken count: 0
234s Done
234s The following additional packages will be installed:
234s   adwaita-icon-theme at-spi2-common cpp cpp-13 cpp-13-powerpc64le-linux-gnu
234s   cpp-powerpc64le-linux-gnu dconf-gsettings-backend dconf-service fontconfig
234s   fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc
234s   gcc-13 gcc-13-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu
234s   gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme libasan8
234s   libatk-bridge2.0-0 libatk1.0-0 libatomic1 libatspi2.0-0 libavahi-client3
234s   libavahi-common-data libavahi-common3 libc-dev-bin libc6-dev
234s   libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2
234s   libcompiler-libs-ocaml-dev libcrypt-dev libcups2 libdatrie1 libdconf1
234s   libdeflate0 libepoxy0 libfindlib-ocaml libfontconfig1 libgcc-13-dev
234s   libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 libgraphite2-3
234s   libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1
234s   libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0
234s   libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml
234s   liblcms2-2 liblerc4 liblsan0 libmpc3 libncurses-dev libnsl-dev
234s   libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0
234s   libpixman-1-0 libppx-deriving-ocaml libppx-import-ocaml libquadmath0
234s   libresult-ocaml libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml
234s   libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libtirpc-dev libtsan2
234s   libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7
234s   libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3
234s   libxi6 libxinerama1 libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml
234s   linux-libc-dev ocaml ocaml-base ocaml-interp rpcsvc-proto ubuntu-mono
234s Suggested packages:
234s   cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf
234s   automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-powerpc64le-linux-gnu
234s   glibc-doc colord cups-common gvfs liblcms2-utils ncurses-doc ocaml-doc
234s   elpa-tuareg
234s Recommended packages:
234s   librsvg2-common alt-ergo why3 at-spi2-core manpages manpages-dev
234s   libc-devtools libgdk-pixbuf2.0-bin libgtk-3-bin ocaml-findlib ocaml-man
234s   ledit | readline-editor
234s The following NEW packages will be installed:
234s   adwaita-icon-theme at-spi2-common autopkgtest-satdep cpp cpp-13
234s   cpp-13-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu
234s   dconf-gsettings-backend dconf-service fontconfig fontconfig-config
234s   fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc gcc-13
234s   gcc-13-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu gtk-update-icon-cache
234s   hicolor-icon-theme humanity-icon-theme libasan8 libatk-bridge2.0-0
234s   libatk1.0-0 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data
234s   libavahi-common3 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2
234s   libcairo2-ocaml libcc1-0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev
234s   libcups2 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml
234s   libfontconfig1 libgcc-13-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common
234s   libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1
234s   libgtksourceview-3.0-common libharfbuzz0b libisl23 libitm1 libjbig0
234s   libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml liblablgtksourceview3-ocaml
234s   liblcms2-2 liblerc4 liblsan0 libmpc3 libncurses-dev libnsl-dev
234s   libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0
234s   libpixman-1-0 libppx-deriving-ocaml libppx-import-ocaml libquadmath0
234s   libresult-ocaml libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml
234s   libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libtirpc-dev libtsan2
234s   libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7
234s   libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3
234s   libxi6 libxinerama1 libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml
234s   linux-libc-dev ocaml ocaml-base ocaml-interp rpcsvc-proto ubuntu-mono
234s 0 upgraded, 109 newly installed, 0 to remove and 1 not upgraded.
234s Need to get 285 MB/285 MB of archives.
234s After this operation, 1081 MB of additional disk space will be used.
234s Get:1 /tmp/autopkgtest.z9BlWK/1-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [708 B]
234s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B]
235s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg-turbo8 ppc64el 2.1.5-2ubuntu1 [212 kB]
235s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el libjpeg8 ppc64el 8c-2ubuntu11 [2148 B]
235s Get:5 http://ftpmaster.internal/ubuntu noble/main ppc64el libdeflate0 ppc64el 1.19-1 [61.9 kB]
235s Get:6 http://ftpmaster.internal/ubuntu noble/main ppc64el libjbig0 ppc64el 2.1-6.1ubuntu1 [34.7 kB]
235s Get:7 http://ftpmaster.internal/ubuntu noble/main ppc64el liblerc4 ppc64el 4.0.0+ds-4ubuntu1 [266 kB]
235s Get:8 http://ftpmaster.internal/ubuntu noble/main ppc64el libsharpyuv0 ppc64el 1.3.2-0.4 [28.7 kB]
235s Get:9 http://ftpmaster.internal/ubuntu noble/main ppc64el libwebp7 ppc64el 1.3.2-0.4 [312 kB]
235s Get:10 http://ftpmaster.internal/ubuntu noble/main ppc64el libtiff6 ppc64el 4.5.1+git230720-3ubuntu1 [323 kB]
235s Get:11 http://ftpmaster.internal/ubuntu noble/main ppc64el libgdk-pixbuf-2.0-0 ppc64el 2.42.10+dfsg-3 [186 kB]
235s Get:12 http://ftpmaster.internal/ubuntu noble/main ppc64el gtk-update-icon-cache ppc64el 3.24.40-2ubuntu1 [53.2 kB]
235s Get:13 http://ftpmaster.internal/ubuntu noble/main ppc64el hicolor-icon-theme all 0.17-2 [9976 B]
235s Get:14 http://ftpmaster.internal/ubuntu noble/main ppc64el humanity-icon-theme all 0.6.16 [1282 kB]
235s Get:15 http://ftpmaster.internal/ubuntu noble/main ppc64el ubuntu-mono all 24.04-0ubuntu1 [151 kB]
235s Get:16 http://ftpmaster.internal/ubuntu noble/main ppc64el adwaita-icon-theme all 46~rc-1 [723 kB]
235s Get:17 http://ftpmaster.internal/ubuntu noble/main ppc64el at-spi2-common all 2.50.0-1 [7864 B]
235s Get:18 http://ftpmaster.internal/ubuntu noble/main ppc64el libisl23 ppc64el 0.26-3 [864 kB]
235s Get:19 http://ftpmaster.internal/ubuntu noble/main ppc64el libmpc3 ppc64el 1.3.1-1 [61.2 kB]
235s Get:20 http://ftpmaster.internal/ubuntu noble/main ppc64el cpp-13-powerpc64le-linux-gnu ppc64el 13.2.0-17ubuntu2 [10.7 MB]
236s Get:21 http://ftpmaster.internal/ubuntu noble/main ppc64el cpp-13 ppc64el 13.2.0-17ubuntu2 [1038 B]
236s Get:22 http://ftpmaster.internal/ubuntu noble/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:13.2.0-7ubuntu1 [5330 B]
236s Get:23 http://ftpmaster.internal/ubuntu noble/main ppc64el cpp ppc64el 4:13.2.0-7ubuntu1 [22.5 kB]
236s Get:24 http://ftpmaster.internal/ubuntu noble/main ppc64el libdconf1 ppc64el 0.40.0-4 [43.0 kB]
236s Get:25 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-service ppc64el 0.40.0-4 [31.0 kB]
236s Get:26 http://ftpmaster.internal/ubuntu noble/main ppc64el dconf-gsettings-backend ppc64el 0.40.0-4 [25.3 kB]
236s Get:27 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-mono all 2.37-8 [502 kB]
236s Get:28 http://ftpmaster.internal/ubuntu noble/main ppc64el fonts-dejavu-core all 2.37-8 [835 kB]
236s Get:29 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig-config ppc64el 2.15.0-1ubuntu1 [37.0 kB]
236s Get:30 http://ftpmaster.internal/ubuntu noble/main ppc64el libfontconfig1 ppc64el 2.15.0-1ubuntu1 [190 kB]
236s Get:31 http://ftpmaster.internal/ubuntu noble/main ppc64el fontconfig ppc64el 2.15.0-1ubuntu1 [192 kB]
236s Get:32 http://ftpmaster.internal/ubuntu noble/main ppc64el libpixman-1-0 ppc64el 0.42.2-1 [300 kB]
236s Get:33 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-render0 ppc64el 1.15-1 [17.2 kB]
236s Get:34 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-shm0 ppc64el 1.15-1 [5896 B]
236s Get:35 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrender1 ppc64el 1:0.9.10-1.1 [23.3 kB]
236s Get:36 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo2 ppc64el 1.18.0-1 [735 kB]
236s Get:37 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk1.0-0 ppc64el 2.50.0-1 [57.8 kB]
236s Get:38 http://ftpmaster.internal/ubuntu noble/main ppc64el libxi6 ppc64el 2:1.8.1-1 [37.9 kB]
236s Get:39 http://ftpmaster.internal/ubuntu noble/main ppc64el libatspi2.0-0 ppc64el 2.50.0-1 [93.5 kB]
236s Get:40 http://ftpmaster.internal/ubuntu noble/main ppc64el libatk-bridge2.0-0 ppc64el 2.50.0-1 [75.5 kB]
237s Get:41 http://ftpmaster.internal/ubuntu noble/main ppc64el libcairo-gobject2 ppc64el 1.18.0-1 [127 kB]
237s Get:42 http://ftpmaster.internal/ubuntu noble/main ppc64el liblcms2-2 ppc64el 2.14-2 [243 kB]
237s Get:43 http://ftpmaster.internal/ubuntu noble/main ppc64el libcolord2 ppc64el 1.4.7-1 [164 kB]
237s Get:44 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common-data ppc64el 0.8-13ubuntu2 [29.5 kB]
237s Get:45 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-common3 ppc64el 0.8-13ubuntu2 [25.8 kB]
237s Get:46 http://ftpmaster.internal/ubuntu noble/main ppc64el libavahi-client3 ppc64el 0.8-13ubuntu2 [30.6 kB]
237s Get:47 http://ftpmaster.internal/ubuntu noble/main ppc64el libcups2 ppc64el 2.4.6-0ubuntu3 [344 kB]
237s Get:48 http://ftpmaster.internal/ubuntu noble/main ppc64el libepoxy0 ppc64el 1.5.10-1 [247 kB]
237s Get:49 http://ftpmaster.internal/ubuntu noble/main ppc64el libgraphite2-3 ppc64el 1.3.14-2 [105 kB]
237s Get:50 http://ftpmaster.internal/ubuntu noble/main ppc64el libharfbuzz0b ppc64el 8.3.0-2 [576 kB]
237s Get:51 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai-data all 0.1.29-2 [158 kB]
237s Get:52 http://ftpmaster.internal/ubuntu noble/main ppc64el libdatrie1 ppc64el 0.2.13-3 [25.1 kB]
237s Get:53 http://ftpmaster.internal/ubuntu noble/main ppc64el libthai0 ppc64el 0.1.29-2 [21.4 kB]
237s Get:54 http://ftpmaster.internal/ubuntu noble/main ppc64el libpango-1.0-0 ppc64el 1.51.0+ds-4 [266 kB]
237s Get:55 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangoft2-1.0-0 ppc64el 1.51.0+ds-4 [49.5 kB]
237s Get:56 http://ftpmaster.internal/ubuntu noble/main ppc64el libpangocairo-1.0-0 ppc64el 1.51.0+ds-4 [31.2 kB]
237s Get:57 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-client0 ppc64el 1.22.0-2.1 [29.4 kB]
237s Get:58 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-cursor0 ppc64el 1.22.0-2.1 [11.4 kB]
237s Get:59 http://ftpmaster.internal/ubuntu noble/main ppc64el libwayland-egl1 ppc64el 1.22.0-2.1 [5626 B]
237s Get:60 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcomposite1 ppc64el 1:0.4.5-1build2 [7400 B]
237s Get:61 http://ftpmaster.internal/ubuntu noble/main ppc64el libxfixes3 ppc64el 1:6.0.0-2 [11.6 kB]
237s Get:62 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcursor1 ppc64el 1:1.2.1-1 [26.9 kB]
237s Get:63 http://ftpmaster.internal/ubuntu noble/main ppc64el libxdamage1 ppc64el 1:1.1.6-1 [6320 B]
237s Get:64 http://ftpmaster.internal/ubuntu noble/main ppc64el libxinerama1 ppc64el 2:1.1.4-3 [7658 B]
237s Get:65 http://ftpmaster.internal/ubuntu noble/main ppc64el libxrandr2 ppc64el 2:1.5.2-2 [22.7 kB]
237s Get:66 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB]
237s Get:67 http://ftpmaster.internal/ubuntu noble/main ppc64el libgtk-3-0 ppc64el 3.24.40-2ubuntu1 [3344 kB]
237s Get:68 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB]
237s Get:69 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgtksourceview-3.0-1 ppc64el 3.24.11-2build1 [271 kB]
237s Get:70 http://ftpmaster.internal/ubuntu noble/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB]
237s Get:71 http://ftpmaster.internal/ubuntu noble/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB]
237s Get:72 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcairo2-ocaml ppc64el 0.6.4+dfsg-2build2 [27.5 kB]
237s Get:73 http://ftpmaster.internal/ubuntu noble/universe ppc64el libfindlib-ocaml ppc64el 1.9.6-1build3 [201 kB]
237s Get:74 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtk3-ocaml ppc64el 3.1.4-1 [4114 kB]
238s Get:75 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblablgtksourceview3-ocaml ppc64el 3.1.4-1 [354 kB]
238s Get:76 http://ftpmaster.internal/ubuntu noble/universe ppc64el libresult-ocaml ppc64el 1.5-4build1 [7550 B]
238s Get:77 http://ftpmaster.internal/ubuntu noble/universe ppc64el libsexplib0-ocaml ppc64el 0.16.0-3build2 [131 kB]
238s Get:78 http://ftpmaster.internal/ubuntu noble/universe ppc64el libppx-deriving-ocaml ppc64el 5.2.1-4build2 [4855 kB]
238s Get:79 http://ftpmaster.internal/ubuntu noble/universe ppc64el libyojson-ocaml ppc64el 2.1.2-1 [694 kB]
238s Get:80 http://ftpmaster.internal/ubuntu noble/universe ppc64el libzarith-ocaml ppc64el 1.13-2build3 [131 kB]
238s Get:81 http://ftpmaster.internal/ubuntu noble/universe ppc64el libstdlib-ocaml-dev ppc64el 4.14.1-1ubuntu1 [8533 kB]
239s Get:82 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 4.14.1-1ubuntu1 [38.4 MB]
244s Get:83 http://ftpmaster.internal/ubuntu noble/universe ppc64el ocaml-interp ppc64el 4.14.1-1ubuntu1 [7826 kB]
245s Get:84 http://ftpmaster.internal/ubuntu noble/main ppc64el libc-dev-bin ppc64el 2.39-0ubuntu2 [21.3 kB]
245s Get:85 http://ftpmaster.internal/ubuntu noble/main ppc64el linux-libc-dev ppc64el 6.8.0-11.11 [1585 kB]
245s Get:86 http://ftpmaster.internal/ubuntu noble/main ppc64el libcrypt-dev ppc64el 1:4.4.36-4 [167 kB]
245s Get:87 http://ftpmaster.internal/ubuntu noble/main ppc64el libtirpc-dev ppc64el 1.3.4+ds-1build1 [262 kB]
245s Get:88 http://ftpmaster.internal/ubuntu noble/main ppc64el libnsl-dev ppc64el 1.3.0-3 [79.2 kB]
245s Get:89 http://ftpmaster.internal/ubuntu noble/main ppc64el rpcsvc-proto ppc64el 1.4.2-0ubuntu6 [82.3 kB]
245s Get:90 http://ftpmaster.internal/ubuntu noble/main ppc64el libc6-dev ppc64el 2.39-0ubuntu2 [2102 kB]
245s Get:91 http://ftpmaster.internal/ubuntu noble/main ppc64el libncurses-dev ppc64el 6.4+20240113-1ubuntu1 [485 kB]
245s Get:92 http://ftpmaster.internal/ubuntu noble/main ppc64el libcc1-0 ppc64el 14-20240303-1ubuntu1 [48.1 kB]
245s Get:93 http://ftpmaster.internal/ubuntu noble/main ppc64el libgomp1 ppc64el 14-20240303-1ubuntu1 [161 kB]
245s Get:94 http://ftpmaster.internal/ubuntu noble/main ppc64el libitm1 ppc64el 14-20240303-1ubuntu1 [32.4 kB]
245s Get:95 http://ftpmaster.internal/ubuntu noble/main ppc64el libatomic1 ppc64el 14-20240303-1ubuntu1 [10.7 kB]
245s Get:96 http://ftpmaster.internal/ubuntu noble/main ppc64el libasan8 ppc64el 14-20240303-1ubuntu1 [2973 kB]
246s Get:97 http://ftpmaster.internal/ubuntu noble/main ppc64el liblsan0 ppc64el 14-20240303-1ubuntu1 [1325 kB]
246s Get:98 http://ftpmaster.internal/ubuntu noble/main ppc64el libtsan2 ppc64el 14-20240303-1ubuntu1 [2734 kB]
246s Get:99 http://ftpmaster.internal/ubuntu noble/main ppc64el libubsan1 ppc64el 14-20240303-1ubuntu1 [1194 kB]
247s Get:100 http://ftpmaster.internal/ubuntu noble/main ppc64el libquadmath0 ppc64el 14-20240303-1ubuntu1 [158 kB]
247s Get:101 http://ftpmaster.internal/ubuntu noble/main ppc64el libgcc-13-dev ppc64el 13.2.0-17ubuntu2 [1581 kB]
247s Get:102 http://ftpmaster.internal/ubuntu noble/main ppc64el gcc-13-powerpc64le-linux-gnu ppc64el 13.2.0-17ubuntu2 [20.6 MB]
250s Get:103 http://ftpmaster.internal/ubuntu noble/main ppc64el gcc-13 ppc64el 13.2.0-17ubuntu2 [477 kB]
250s Get:104 http://ftpmaster.internal/ubuntu noble/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:13.2.0-7ubuntu1 [1224 B]
250s Get:105 http://ftpmaster.internal/ubuntu noble/main ppc64el gcc ppc64el 4:13.2.0-7ubuntu1 [5022 B]
250s Get:106 http://ftpmaster.internal/ubuntu noble/universe ppc64el ocaml ppc64el 4.14.1-1ubuntu1 [82.9 MB]
257s Get:107 http://ftpmaster.internal/ubuntu noble/universe ppc64el libocamlgraph-ocaml-dev ppc64el 2.1.0-1build1 [6226 kB]
257s Get:108 http://ftpmaster.internal/ubuntu noble/universe ppc64el libppx-import-ocaml ppc64el 1.10.0-3build2 [67.8 kB]
257s Get:109 http://ftpmaster.internal/ubuntu noble/universe ppc64el frama-c-base ppc64el 20220511-manganese-5build5 [67.3 MB]
265s Fetched 285 MB in 30s (9374 kB/s)
265s Selecting previously unselected package libgdk-pixbuf2.0-common.
265s (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 ... 70095 files and directories currently installed.)
265s Preparing to unpack .../000-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ...
265s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ...
265s Selecting previously unselected package libjpeg-turbo8:ppc64el.
265s Preparing to unpack .../001-libjpeg-turbo8_2.1.5-2ubuntu1_ppc64el.deb ...
265s Unpacking libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ...
265s Selecting previously unselected package libjpeg8:ppc64el.
265s Preparing to unpack .../002-libjpeg8_8c-2ubuntu11_ppc64el.deb ...
265s Unpacking libjpeg8:ppc64el (8c-2ubuntu11) ...
265s Selecting previously unselected package libdeflate0:ppc64el.
265s Preparing to unpack .../003-libdeflate0_1.19-1_ppc64el.deb ...
265s Unpacking libdeflate0:ppc64el (1.19-1) ...
265s Selecting previously unselected package libjbig0:ppc64el.
265s Preparing to unpack .../004-libjbig0_2.1-6.1ubuntu1_ppc64el.deb ...
265s Unpacking libjbig0:ppc64el (2.1-6.1ubuntu1) ...
265s Selecting previously unselected package liblerc4:ppc64el.
265s Preparing to unpack .../005-liblerc4_4.0.0+ds-4ubuntu1_ppc64el.deb ...
265s Unpacking liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ...
265s Selecting previously unselected package libsharpyuv0:ppc64el.
265s Preparing to unpack .../006-libsharpyuv0_1.3.2-0.4_ppc64el.deb ...
265s Unpacking libsharpyuv0:ppc64el (1.3.2-0.4) ...
265s Selecting previously unselected package libwebp7:ppc64el.
265s Preparing to unpack .../007-libwebp7_1.3.2-0.4_ppc64el.deb ...
265s Unpacking libwebp7:ppc64el (1.3.2-0.4) ...
265s Selecting previously unselected package libtiff6:ppc64el.
265s Preparing to unpack .../008-libtiff6_4.5.1+git230720-3ubuntu1_ppc64el.deb ...
265s Unpacking libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ...
265s Selecting previously unselected package libgdk-pixbuf-2.0-0:ppc64el.
265s Preparing to unpack .../009-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_ppc64el.deb ...
265s Unpacking libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ...
265s Selecting previously unselected package gtk-update-icon-cache.
265s Preparing to unpack .../010-gtk-update-icon-cache_3.24.40-2ubuntu1_ppc64el.deb ...
265s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ...
265s Selecting previously unselected package hicolor-icon-theme.
265s Preparing to unpack .../011-hicolor-icon-theme_0.17-2_all.deb ...
265s Unpacking hicolor-icon-theme (0.17-2) ...
265s Selecting previously unselected package humanity-icon-theme.
265s Preparing to unpack .../012-humanity-icon-theme_0.6.16_all.deb ...
265s Unpacking humanity-icon-theme (0.6.16) ...
266s Selecting previously unselected package ubuntu-mono.
266s Preparing to unpack .../013-ubuntu-mono_24.04-0ubuntu1_all.deb ...
266s Unpacking ubuntu-mono (24.04-0ubuntu1) ...
267s Selecting previously unselected package adwaita-icon-theme.
267s Preparing to unpack .../014-adwaita-icon-theme_46~rc-1_all.deb ...
267s Unpacking adwaita-icon-theme (46~rc-1) ...
267s Selecting previously unselected package at-spi2-common.
267s Preparing to unpack .../015-at-spi2-common_2.50.0-1_all.deb ...
267s Unpacking at-spi2-common (2.50.0-1) ...
267s Selecting previously unselected package libisl23:ppc64el.
267s Preparing to unpack .../016-libisl23_0.26-3_ppc64el.deb ...
267s Unpacking libisl23:ppc64el (0.26-3) ...
267s Selecting previously unselected package libmpc3:ppc64el.
267s Preparing to unpack .../017-libmpc3_1.3.1-1_ppc64el.deb ...
267s Unpacking libmpc3:ppc64el (1.3.1-1) ...
267s Selecting previously unselected package cpp-13-powerpc64le-linux-gnu.
267s Preparing to unpack .../018-cpp-13-powerpc64le-linux-gnu_13.2.0-17ubuntu2_ppc64el.deb ...
267s Unpacking cpp-13-powerpc64le-linux-gnu (13.2.0-17ubuntu2) ...
267s Selecting previously unselected package cpp-13.
267s Preparing to unpack .../019-cpp-13_13.2.0-17ubuntu2_ppc64el.deb ...
267s Unpacking cpp-13 (13.2.0-17ubuntu2) ...
267s Selecting previously unselected package cpp-powerpc64le-linux-gnu.
267s Preparing to unpack .../020-cpp-powerpc64le-linux-gnu_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
267s Unpacking cpp-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
267s Selecting previously unselected package cpp.
267s Preparing to unpack .../021-cpp_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
267s Unpacking cpp (4:13.2.0-7ubuntu1) ...
267s Selecting previously unselected package libdconf1:ppc64el.
267s Preparing to unpack .../022-libdconf1_0.40.0-4_ppc64el.deb ...
267s Unpacking libdconf1:ppc64el (0.40.0-4) ...
267s Selecting previously unselected package dconf-service.
267s Preparing to unpack .../023-dconf-service_0.40.0-4_ppc64el.deb ...
267s Unpacking dconf-service (0.40.0-4) ...
267s Selecting previously unselected package dconf-gsettings-backend:ppc64el.
267s Preparing to unpack .../024-dconf-gsettings-backend_0.40.0-4_ppc64el.deb ...
267s Unpacking dconf-gsettings-backend:ppc64el (0.40.0-4) ...
267s Selecting previously unselected package fonts-dejavu-mono.
267s Preparing to unpack .../025-fonts-dejavu-mono_2.37-8_all.deb ...
267s Unpacking fonts-dejavu-mono (2.37-8) ...
267s Selecting previously unselected package fonts-dejavu-core.
267s Preparing to unpack .../026-fonts-dejavu-core_2.37-8_all.deb ...
267s Unpacking fonts-dejavu-core (2.37-8) ...
267s Selecting previously unselected package fontconfig-config.
267s Preparing to unpack .../027-fontconfig-config_2.15.0-1ubuntu1_ppc64el.deb ...
267s Unpacking fontconfig-config (2.15.0-1ubuntu1) ...
267s Selecting previously unselected package libfontconfig1:ppc64el.
267s Preparing to unpack .../028-libfontconfig1_2.15.0-1ubuntu1_ppc64el.deb ...
267s Unpacking libfontconfig1:ppc64el (2.15.0-1ubuntu1) ...
267s Selecting previously unselected package fontconfig.
267s Preparing to unpack .../029-fontconfig_2.15.0-1ubuntu1_ppc64el.deb ...
267s Unpacking fontconfig (2.15.0-1ubuntu1) ...
267s Selecting previously unselected package libpixman-1-0:ppc64el.
267s Preparing to unpack .../030-libpixman-1-0_0.42.2-1_ppc64el.deb ...
267s Unpacking libpixman-1-0:ppc64el (0.42.2-1) ...
268s Selecting previously unselected package libxcb-render0:ppc64el.
268s Preparing to unpack .../031-libxcb-render0_1.15-1_ppc64el.deb ...
268s Unpacking libxcb-render0:ppc64el (1.15-1) ...
268s Selecting previously unselected package libxcb-shm0:ppc64el.
268s Preparing to unpack .../032-libxcb-shm0_1.15-1_ppc64el.deb ...
268s Unpacking libxcb-shm0:ppc64el (1.15-1) ...
268s Selecting previously unselected package libxrender1:ppc64el.
268s Preparing to unpack .../033-libxrender1_1%3a0.9.10-1.1_ppc64el.deb ...
268s Unpacking libxrender1:ppc64el (1:0.9.10-1.1) ...
268s Selecting previously unselected package libcairo2:ppc64el.
268s Preparing to unpack .../034-libcairo2_1.18.0-1_ppc64el.deb ...
268s Unpacking libcairo2:ppc64el (1.18.0-1) ...
268s Selecting previously unselected package libatk1.0-0:ppc64el.
268s Preparing to unpack .../035-libatk1.0-0_2.50.0-1_ppc64el.deb ...
268s Unpacking libatk1.0-0:ppc64el (2.50.0-1) ...
268s Selecting previously unselected package libxi6:ppc64el.
268s Preparing to unpack .../036-libxi6_2%3a1.8.1-1_ppc64el.deb ...
268s Unpacking libxi6:ppc64el (2:1.8.1-1) ...
268s Selecting previously unselected package libatspi2.0-0:ppc64el.
268s Preparing to unpack .../037-libatspi2.0-0_2.50.0-1_ppc64el.deb ...
268s Unpacking libatspi2.0-0:ppc64el (2.50.0-1) ...
268s Selecting previously unselected package libatk-bridge2.0-0:ppc64el.
268s Preparing to unpack .../038-libatk-bridge2.0-0_2.50.0-1_ppc64el.deb ...
268s Unpacking libatk-bridge2.0-0:ppc64el (2.50.0-1) ...
268s Selecting previously unselected package libcairo-gobject2:ppc64el.
268s Preparing to unpack .../039-libcairo-gobject2_1.18.0-1_ppc64el.deb ...
268s Unpacking libcairo-gobject2:ppc64el (1.18.0-1) ...
268s Selecting previously unselected package liblcms2-2:ppc64el.
268s Preparing to unpack .../040-liblcms2-2_2.14-2_ppc64el.deb ...
268s Unpacking liblcms2-2:ppc64el (2.14-2) ...
268s Selecting previously unselected package libcolord2:ppc64el.
268s Preparing to unpack .../041-libcolord2_1.4.7-1_ppc64el.deb ...
268s Unpacking libcolord2:ppc64el (1.4.7-1) ...
268s Selecting previously unselected package libavahi-common-data:ppc64el.
268s Preparing to unpack .../042-libavahi-common-data_0.8-13ubuntu2_ppc64el.deb ...
268s Unpacking libavahi-common-data:ppc64el (0.8-13ubuntu2) ...
268s Selecting previously unselected package libavahi-common3:ppc64el.
268s Preparing to unpack .../043-libavahi-common3_0.8-13ubuntu2_ppc64el.deb ...
268s Unpacking libavahi-common3:ppc64el (0.8-13ubuntu2) ...
268s Selecting previously unselected package libavahi-client3:ppc64el.
268s Preparing to unpack .../044-libavahi-client3_0.8-13ubuntu2_ppc64el.deb ...
268s Unpacking libavahi-client3:ppc64el (0.8-13ubuntu2) ...
268s Selecting previously unselected package libcups2:ppc64el.
268s Preparing to unpack .../045-libcups2_2.4.6-0ubuntu3_ppc64el.deb ...
268s Unpacking libcups2:ppc64el (2.4.6-0ubuntu3) ...
268s Selecting previously unselected package libepoxy0:ppc64el.
268s Preparing to unpack .../046-libepoxy0_1.5.10-1_ppc64el.deb ...
268s Unpacking libepoxy0:ppc64el (1.5.10-1) ...
268s Selecting previously unselected package libgraphite2-3:ppc64el.
268s Preparing to unpack .../047-libgraphite2-3_1.3.14-2_ppc64el.deb ...
268s Unpacking libgraphite2-3:ppc64el (1.3.14-2) ...
268s Selecting previously unselected package libharfbuzz0b:ppc64el.
268s Preparing to unpack .../048-libharfbuzz0b_8.3.0-2_ppc64el.deb ...
268s Unpacking libharfbuzz0b:ppc64el (8.3.0-2) ...
268s Selecting previously unselected package libthai-data.
268s Preparing to unpack .../049-libthai-data_0.1.29-2_all.deb ...
268s Unpacking libthai-data (0.1.29-2) ...
268s Selecting previously unselected package libdatrie1:ppc64el.
268s Preparing to unpack .../050-libdatrie1_0.2.13-3_ppc64el.deb ...
268s Unpacking libdatrie1:ppc64el (0.2.13-3) ...
268s Selecting previously unselected package libthai0:ppc64el.
268s Preparing to unpack .../051-libthai0_0.1.29-2_ppc64el.deb ...
268s Unpacking libthai0:ppc64el (0.1.29-2) ...
268s Selecting previously unselected package libpango-1.0-0:ppc64el.
268s Preparing to unpack .../052-libpango-1.0-0_1.51.0+ds-4_ppc64el.deb ...
268s Unpacking libpango-1.0-0:ppc64el (1.51.0+ds-4) ...
268s Selecting previously unselected package libpangoft2-1.0-0:ppc64el.
268s Preparing to unpack .../053-libpangoft2-1.0-0_1.51.0+ds-4_ppc64el.deb ...
268s Unpacking libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ...
268s Selecting previously unselected package libpangocairo-1.0-0:ppc64el.
268s Preparing to unpack .../054-libpangocairo-1.0-0_1.51.0+ds-4_ppc64el.deb ...
268s Unpacking libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ...
268s Selecting previously unselected package libwayland-client0:ppc64el.
268s Preparing to unpack .../055-libwayland-client0_1.22.0-2.1_ppc64el.deb ...
268s Unpacking libwayland-client0:ppc64el (1.22.0-2.1) ...
268s Selecting previously unselected package libwayland-cursor0:ppc64el.
268s Preparing to unpack .../056-libwayland-cursor0_1.22.0-2.1_ppc64el.deb ...
268s Unpacking libwayland-cursor0:ppc64el (1.22.0-2.1) ...
268s Selecting previously unselected package libwayland-egl1:ppc64el.
268s Preparing to unpack .../057-libwayland-egl1_1.22.0-2.1_ppc64el.deb ...
268s Unpacking libwayland-egl1:ppc64el (1.22.0-2.1) ...
268s Selecting previously unselected package libxcomposite1:ppc64el.
268s Preparing to unpack .../058-libxcomposite1_1%3a0.4.5-1build2_ppc64el.deb ...
268s Unpacking libxcomposite1:ppc64el (1:0.4.5-1build2) ...
268s Selecting previously unselected package libxfixes3:ppc64el.
268s Preparing to unpack .../059-libxfixes3_1%3a6.0.0-2_ppc64el.deb ...
268s Unpacking libxfixes3:ppc64el (1:6.0.0-2) ...
268s Selecting previously unselected package libxcursor1:ppc64el.
268s Preparing to unpack .../060-libxcursor1_1%3a1.2.1-1_ppc64el.deb ...
268s Unpacking libxcursor1:ppc64el (1:1.2.1-1) ...
268s Selecting previously unselected package libxdamage1:ppc64el.
268s Preparing to unpack .../061-libxdamage1_1%3a1.1.6-1_ppc64el.deb ...
268s Unpacking libxdamage1:ppc64el (1:1.1.6-1) ...
268s Selecting previously unselected package libxinerama1:ppc64el.
268s Preparing to unpack .../062-libxinerama1_2%3a1.1.4-3_ppc64el.deb ...
268s Unpacking libxinerama1:ppc64el (2:1.1.4-3) ...
268s Selecting previously unselected package libxrandr2:ppc64el.
268s Preparing to unpack .../063-libxrandr2_2%3a1.5.2-2_ppc64el.deb ...
268s Unpacking libxrandr2:ppc64el (2:1.5.2-2) ...
268s Selecting previously unselected package libgtk-3-common.
268s Preparing to unpack .../064-libgtk-3-common_3.24.40-2ubuntu1_all.deb ...
268s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ...
268s Selecting previously unselected package libgtk-3-0:ppc64el.
268s Preparing to unpack .../065-libgtk-3-0_3.24.40-2ubuntu1_ppc64el.deb ...
268s Unpacking libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ...
268s Selecting previously unselected package libgtksourceview-3.0-common.
268s Preparing to unpack .../066-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ...
268s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ...
268s Selecting previously unselected package libgtksourceview-3.0-1:ppc64el.
268s Preparing to unpack .../067-libgtksourceview-3.0-1_3.24.11-2build1_ppc64el.deb ...
268s Unpacking libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ...
268s Selecting previously unselected package libstdlib-ocaml.
268s Preparing to unpack .../068-libstdlib-ocaml_4.14.1-1ubuntu1_ppc64el.deb ...
268s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ...
268s Selecting previously unselected package ocaml-base.
268s Preparing to unpack .../069-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ...
268s Unpacking ocaml-base (4.14.1-1ubuntu1) ...
268s Selecting previously unselected package libcairo2-ocaml.
268s Preparing to unpack .../070-libcairo2-ocaml_0.6.4+dfsg-2build2_ppc64el.deb ...
268s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ...
268s Selecting previously unselected package libfindlib-ocaml.
268s Preparing to unpack .../071-libfindlib-ocaml_1.9.6-1build3_ppc64el.deb ...
268s Unpacking libfindlib-ocaml (1.9.6-1build3) ...
268s Selecting previously unselected package liblablgtk3-ocaml.
268s Preparing to unpack .../072-liblablgtk3-ocaml_3.1.4-1_ppc64el.deb ...
268s Unpacking liblablgtk3-ocaml (3.1.4-1) ...
269s Selecting previously unselected package liblablgtksourceview3-ocaml.
269s Preparing to unpack .../073-liblablgtksourceview3-ocaml_3.1.4-1_ppc64el.deb ...
269s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ...
269s Selecting previously unselected package libresult-ocaml.
269s Preparing to unpack .../074-libresult-ocaml_1.5-4build1_ppc64el.deb ...
269s Unpacking libresult-ocaml (1.5-4build1) ...
269s Selecting previously unselected package libsexplib0-ocaml.
269s Preparing to unpack .../075-libsexplib0-ocaml_0.16.0-3build2_ppc64el.deb ...
269s Unpacking libsexplib0-ocaml (0.16.0-3build2) ...
269s Selecting previously unselected package libppx-deriving-ocaml.
269s Preparing to unpack .../076-libppx-deriving-ocaml_5.2.1-4build2_ppc64el.deb ...
269s Unpacking libppx-deriving-ocaml (5.2.1-4build2) ...
269s Selecting previously unselected package libyojson-ocaml.
269s Preparing to unpack .../077-libyojson-ocaml_2.1.2-1_ppc64el.deb ...
269s Unpacking libyojson-ocaml (2.1.2-1) ...
269s Selecting previously unselected package libzarith-ocaml.
269s Preparing to unpack .../078-libzarith-ocaml_1.13-2build3_ppc64el.deb ...
269s Unpacking libzarith-ocaml (1.13-2build3) ...
269s Selecting previously unselected package libstdlib-ocaml-dev.
269s Preparing to unpack .../079-libstdlib-ocaml-dev_4.14.1-1ubuntu1_ppc64el.deb ...
269s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
269s Selecting previously unselected package libcompiler-libs-ocaml-dev.
269s Preparing to unpack .../080-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_ppc64el.deb ...
269s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
271s Selecting previously unselected package ocaml-interp.
271s Preparing to unpack .../081-ocaml-interp_4.14.1-1ubuntu1_ppc64el.deb ...
271s Unpacking ocaml-interp (4.14.1-1ubuntu1) ...
271s Selecting previously unselected package libc-dev-bin.
271s Preparing to unpack .../082-libc-dev-bin_2.39-0ubuntu2_ppc64el.deb ...
271s Unpacking libc-dev-bin (2.39-0ubuntu2) ...
271s Selecting previously unselected package linux-libc-dev:ppc64el.
271s Preparing to unpack .../083-linux-libc-dev_6.8.0-11.11_ppc64el.deb ...
271s Unpacking linux-libc-dev:ppc64el (6.8.0-11.11) ...
271s Selecting previously unselected package libcrypt-dev:ppc64el.
271s Preparing to unpack .../084-libcrypt-dev_1%3a4.4.36-4_ppc64el.deb ...
271s Unpacking libcrypt-dev:ppc64el (1:4.4.36-4) ...
271s Selecting previously unselected package libtirpc-dev:ppc64el.
271s Preparing to unpack .../085-libtirpc-dev_1.3.4+ds-1build1_ppc64el.deb ...
271s Unpacking libtirpc-dev:ppc64el (1.3.4+ds-1build1) ...
271s Selecting previously unselected package libnsl-dev:ppc64el.
271s Preparing to unpack .../086-libnsl-dev_1.3.0-3_ppc64el.deb ...
271s Unpacking libnsl-dev:ppc64el (1.3.0-3) ...
271s Selecting previously unselected package rpcsvc-proto.
271s Preparing to unpack .../087-rpcsvc-proto_1.4.2-0ubuntu6_ppc64el.deb ...
271s Unpacking rpcsvc-proto (1.4.2-0ubuntu6) ...
271s Selecting previously unselected package libc6-dev:ppc64el.
271s Preparing to unpack .../088-libc6-dev_2.39-0ubuntu2_ppc64el.deb ...
271s Unpacking libc6-dev:ppc64el (2.39-0ubuntu2) ...
271s Selecting previously unselected package libncurses-dev:ppc64el.
271s Preparing to unpack .../089-libncurses-dev_6.4+20240113-1ubuntu1_ppc64el.deb ...
271s Unpacking libncurses-dev:ppc64el (6.4+20240113-1ubuntu1) ...
271s Selecting previously unselected package libcc1-0:ppc64el.
271s Preparing to unpack .../090-libcc1-0_14-20240303-1ubuntu1_ppc64el.deb ...
271s Unpacking libcc1-0:ppc64el (14-20240303-1ubuntu1) ...
271s Selecting previously unselected package libgomp1:ppc64el.
271s Preparing to unpack .../091-libgomp1_14-20240303-1ubuntu1_ppc64el.deb ...
271s Unpacking libgomp1:ppc64el (14-20240303-1ubuntu1) ...
271s Selecting previously unselected package libitm1:ppc64el.
271s Preparing to unpack .../092-libitm1_14-20240303-1ubuntu1_ppc64el.deb ...
271s Unpacking libitm1:ppc64el (14-20240303-1ubuntu1) ...
271s Selecting previously unselected package libatomic1:ppc64el.
271s Preparing to unpack .../093-libatomic1_14-20240303-1ubuntu1_ppc64el.deb ...
271s Unpacking libatomic1:ppc64el (14-20240303-1ubuntu1) ...
271s Selecting previously unselected package libasan8:ppc64el.
271s Preparing to unpack .../094-libasan8_14-20240303-1ubuntu1_ppc64el.deb ...
271s Unpacking libasan8:ppc64el (14-20240303-1ubuntu1) ...
271s Selecting previously unselected package liblsan0:ppc64el.
271s Preparing to unpack .../095-liblsan0_14-20240303-1ubuntu1_ppc64el.deb ...
271s Unpacking liblsan0:ppc64el (14-20240303-1ubuntu1) ...
271s Selecting previously unselected package libtsan2:ppc64el.
271s Preparing to unpack .../096-libtsan2_14-20240303-1ubuntu1_ppc64el.deb ...
271s Unpacking libtsan2:ppc64el (14-20240303-1ubuntu1) ...
271s Selecting previously unselected package libubsan1:ppc64el.
271s Preparing to unpack .../097-libubsan1_14-20240303-1ubuntu1_ppc64el.deb ...
271s Unpacking libubsan1:ppc64el (14-20240303-1ubuntu1) ...
271s Selecting previously unselected package libquadmath0:ppc64el.
271s Preparing to unpack .../098-libquadmath0_14-20240303-1ubuntu1_ppc64el.deb ...
271s Unpacking libquadmath0:ppc64el (14-20240303-1ubuntu1) ...
271s Selecting previously unselected package libgcc-13-dev:ppc64el.
271s Preparing to unpack .../099-libgcc-13-dev_13.2.0-17ubuntu2_ppc64el.deb ...
271s Unpacking libgcc-13-dev:ppc64el (13.2.0-17ubuntu2) ...
271s Selecting previously unselected package gcc-13-powerpc64le-linux-gnu.
271s Preparing to unpack .../100-gcc-13-powerpc64le-linux-gnu_13.2.0-17ubuntu2_ppc64el.deb ...
271s Unpacking gcc-13-powerpc64le-linux-gnu (13.2.0-17ubuntu2) ...
272s Selecting previously unselected package gcc-13.
272s Preparing to unpack .../101-gcc-13_13.2.0-17ubuntu2_ppc64el.deb ...
272s Unpacking gcc-13 (13.2.0-17ubuntu2) ...
272s Selecting previously unselected package gcc-powerpc64le-linux-gnu.
272s Preparing to unpack .../102-gcc-powerpc64le-linux-gnu_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
272s Unpacking gcc-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
272s Selecting previously unselected package gcc.
272s Preparing to unpack .../103-gcc_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
272s Unpacking gcc (4:13.2.0-7ubuntu1) ...
272s Selecting previously unselected package ocaml.
272s Preparing to unpack .../104-ocaml_4.14.1-1ubuntu1_ppc64el.deb ...
272s Unpacking ocaml (4.14.1-1ubuntu1) ...
274s Selecting previously unselected package libocamlgraph-ocaml-dev.
274s Preparing to unpack .../105-libocamlgraph-ocaml-dev_2.1.0-1build1_ppc64el.deb ...
274s Unpacking libocamlgraph-ocaml-dev (2.1.0-1build1) ...
274s Selecting previously unselected package libppx-import-ocaml.
274s Preparing to unpack .../106-libppx-import-ocaml_1.10.0-3build2_ppc64el.deb ...
274s Unpacking libppx-import-ocaml (1.10.0-3build2) ...
274s Selecting previously unselected package frama-c-base.
274s Preparing to unpack .../107-frama-c-base_20220511-manganese-5build5_ppc64el.deb ...
274s Unpacking frama-c-base (20220511-manganese-5build5) ...
276s Selecting previously unselected package autopkgtest-satdep.
276s Preparing to unpack .../108-1-autopkgtest-satdep.deb ...
276s Unpacking autopkgtest-satdep (0) ...
276s Setting up libgraphite2-3:ppc64el (1.3.14-2) ...
276s Setting up liblcms2-2:ppc64el (2.14-2) ...
276s Setting up libpixman-1-0:ppc64el (0.42.2-1) ...
276s Setting up libsharpyuv0:ppc64el (1.3.2-0.4) ...
276s Setting up libxdamage1:ppc64el (1:1.1.6-1) ...
276s Setting up liblerc4:ppc64el (4.0.0+ds-4ubuntu1) ...
276s Setting up hicolor-icon-theme (0.17-2) ...
276s Setting up libxi6:ppc64el (2:1.8.1-1) ...
276s Setting up libxrender1:ppc64el (1:0.9.10-1.1) ...
276s Setting up libdatrie1:ppc64el (0.2.13-3) ...
276s Setting up libxcb-render0:ppc64el (1.15-1) ...
276s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ...
276s Setting up libdeflate0:ppc64el (1.19-1) ...
276s Setting up linux-libc-dev:ppc64el (6.8.0-11.11) ...
276s Setting up libxcb-shm0:ppc64el (1.15-1) ...
276s Setting up libatspi2.0-0:ppc64el (2.50.0-1) ...
276s Setting up libgomp1:ppc64el (14-20240303-1ubuntu1) ...
276s Setting up libjbig0:ppc64el (2.1-6.1ubuntu1) ...
276s Setting up libcolord2:ppc64el (1.4.7-1) ...
276s Setting up libdconf1:ppc64el (0.40.0-4) ...
276s Setting up libtirpc-dev:ppc64el (1.3.4+ds-1build1) ...
276s Setting up rpcsvc-proto (1.4.2-0ubuntu6) ...
276s Setting up libepoxy0:ppc64el (1.5.10-1) ...
276s Setting up libxfixes3:ppc64el (1:6.0.0-2) ...
276s Setting up libavahi-common-data:ppc64el (0.8-13ubuntu2) ...
276s Setting up libquadmath0:ppc64el (14-20240303-1ubuntu1) ...
276s Setting up libxinerama1:ppc64el (2:1.1.4-3) ...
276s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ...
276s Setting up fonts-dejavu-mono (2.37-8) ...
276s Setting up libmpc3:ppc64el (1.3.1-1) ...
276s Setting up libatomic1:ppc64el (14-20240303-1ubuntu1) ...
276s Setting up libxrandr2:ppc64el (2:1.5.2-2) ...
276s Setting up ocaml-base (4.14.1-1ubuntu1) ...
276s Setting up fonts-dejavu-core (2.37-8) ...
276s Setting up libjpeg-turbo8:ppc64el (2.1.5-2ubuntu1) ...
276s Setting up libwebp7:ppc64el (1.3.2-0.4) ...
276s Setting up libubsan1:ppc64el (14-20240303-1ubuntu1) ...
276s Setting up libsexplib0-ocaml (0.16.0-3build2) ...
276s Setting up libnsl-dev:ppc64el (1.3.0-3) ...
276s Setting up at-spi2-common (2.50.0-1) ...
276s Setting up libcrypt-dev:ppc64el (1:4.4.36-4) ...
276s Setting up libasan8:ppc64el (14-20240303-1ubuntu1) ...
276s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ...
276s Setting up libharfbuzz0b:ppc64el (8.3.0-2) ...
276s Setting up libthai-data (0.1.29-2) ...
276s Setting up libatk1.0-0:ppc64el (2.50.0-1) ...
276s Setting up libwayland-egl1:ppc64el (1.22.0-2.1) ...
276s Setting up libtsan2:ppc64el (14-20240303-1ubuntu1) ...
276s Setting up libisl23:ppc64el (0.26-3) ...
276s Setting up libc-dev-bin (2.39-0ubuntu2) ...
276s Setting up cpp-13-powerpc64le-linux-gnu (13.2.0-17ubuntu2) ...
276s Setting up libresult-ocaml (1.5-4build1) ...
276s Setting up libxcomposite1:ppc64el (1:0.4.5-1build2) ...
276s Setting up libcc1-0:ppc64el (14-20240303-1ubuntu1) ...
276s Setting up liblsan0:ppc64el (14-20240303-1ubuntu1) ...
276s Setting up libitm1:ppc64el (14-20240303-1ubuntu1) ...
276s Setting up cpp-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
276s Setting up libppx-import-ocaml (1.10.0-3build2) ...
276s Setting up libwayland-client0:ppc64el (1.22.0-2.1) ...
276s Setting up libjpeg8:ppc64el (8c-2ubuntu11) ...
276s Setting up libppx-deriving-ocaml (5.2.1-4build2) ...
276s Setting up cpp-13 (13.2.0-17ubuntu2) ...
276s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
276s Setting up libyojson-ocaml (2.1.2-1) ...
276s Setting up fontconfig-config (2.15.0-1ubuntu1) ...
276s Setting up libxcursor1:ppc64el (1:1.2.1-1) ...
276s Setting up libavahi-common3:ppc64el (0.8-13ubuntu2) ...
276s Setting up libfindlib-ocaml (1.9.6-1build3) ...
276s Setting up dconf-service (0.40.0-4) ...
276s Setting up libzarith-ocaml (1.13-2build3) ...
276s Setting up libatk-bridge2.0-0:ppc64el (2.50.0-1) ...
276s Setting up libthai0:ppc64el (0.1.29-2) ...
276s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
276s Setting up ocaml-interp (4.14.1-1ubuntu1) ...
276s Setting up libgcc-13-dev:ppc64el (13.2.0-17ubuntu2) ...
276s Setting up libtiff6:ppc64el (4.5.1+git230720-3ubuntu1) ...
276s Setting up libwayland-cursor0:ppc64el (1.22.0-2.1) ...
276s Setting up cpp (4:13.2.0-7ubuntu1) ...
276s Setting up libc6-dev:ppc64el (2.39-0ubuntu2) ...
276s Setting up libgdk-pixbuf-2.0-0:ppc64el (2.42.10+dfsg-3) ...
276s Setting up libfontconfig1:ppc64el (2.15.0-1ubuntu1) ...
276s Setting up libavahi-client3:ppc64el (0.8-13ubuntu2) ...
276s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ...
276s Setting up fontconfig (2.15.0-1ubuntu1) ...
278s Regenerating fonts cache... done.
278s Setting up libncurses-dev:ppc64el (6.4+20240113-1ubuntu1) ...
278s Setting up dconf-gsettings-backend:ppc64el (0.40.0-4) ...
278s Setting up libpango-1.0-0:ppc64el (1.51.0+ds-4) ...
278s Setting up libcairo2:ppc64el (1.18.0-1) ...
278s Setting up gcc-13-powerpc64le-linux-gnu (13.2.0-17ubuntu2) ...
278s Setting up gcc-13 (13.2.0-17ubuntu2) ...
278s Setting up libcups2:ppc64el (2.4.6-0ubuntu3) ...
278s Setting up libcairo-gobject2:ppc64el (1.18.0-1) ...
278s Setting up libpangoft2-1.0-0:ppc64el (1.51.0+ds-4) ...
278s Setting up libgtk-3-common (3.24.40-2ubuntu1) ...
278s Setting up libpangocairo-1.0-0:ppc64el (1.51.0+ds-4) ...
278s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ...
278s Setting up gcc-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
278s Setting up gcc (4:13.2.0-7ubuntu1) ...
278s Setting up ocaml (4.14.1-1ubuntu1) ...
278s Setting up libocamlgraph-ocaml-dev (2.1.0-1build1) ...
278s Setting up adwaita-icon-theme (46~rc-1) ...
278s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode
278s Setting up humanity-icon-theme (0.6.16) ...
279s Setting up ubuntu-mono (24.04-0ubuntu1) ...
279s Processing triggers for man-db (2.12.0-3) ...
279s Processing triggers for libglib2.0-0:ppc64el (2.79.2-1~ubuntu1) ...
279s Setting up libgtk-3-0:ppc64el (3.24.40-2ubuntu1) ...
279s Processing triggers for libc-bin (2.39-0ubuntu2) ...
279s Setting up libgtksourceview-3.0-1:ppc64el (3.24.11-2build1) ...
279s Setting up liblablgtk3-ocaml (3.1.4-1) ...
279s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ...
280s Setting up frama-c-base (20220511-manganese-5build5) ...
280s Setting up autopkgtest-satdep (0) ...
280s Processing triggers for libc-bin (2.39-0ubuntu2) ...
285s (Reading database ... 89549 files and directories currently installed.)
285s Removing autopkgtest-satdep (0) ...
286s autopkgtest [18:20:55]: test eva: [-----------------------
287s autopkgtest [18:20:56]: test eva: -----------------------]
287s autopkgtest [18:20:56]: test eva:  - - - - - - - - - - results - - - - - - - - - -
287s eva                  PASS
288s autopkgtest [18:20:57]: test wp: preparing testbed
291s Reading package lists...
291s Building dependency tree...
291s Reading state information...
292s Starting pkgProblemResolver with broken count: 1
292s Starting 2 pkgProblemResolver with broken count: 1
292s Investigating (0) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib >
292s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un mH > (>= 2.0.0)
292s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build4 @un umH >
292s   Considering why3:ppc64el 2 as a solution to autopkgtest-satdep:ppc64el 9998
292s   Re-Instated tex-common:ppc64el
292s   Re-Instated why3:ppc64el
292s Done
292s Some packages could not be installed. This may mean that you have
292s requested an impossible situation or if you are using the unstable
292s distribution that some required packages have not yet been created
292s or been moved out of Incoming.
292s The following information may help to resolve the situation:
292s 
292s The following packages have unmet dependencies:
292s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
292s E: Unable to correct problems, you have held broken packages.
292s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed
293s Reading package lists...
295s Building dependency tree...
295s Reading state information...autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs
295s 
295s Starting pkgProblemResolver with broken count: 1
295s Starting 2 pkgProblemResolver with broken count: 1
295s Investigating (0) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib >
295s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un mH > (>= 2.0.0)
295s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build6 @un umH >
295s   Considering why3:ppc64el 2 as a solution to autopkgtest-satdep:ppc64el 9998
295s   Re-Instated libglib2.0-0t64:ppc64el
295s   Re-Instated libatk1.0-0t64:ppc64el
295s   Re-Instated libatspi2.0-0t64:ppc64el
295s   Re-Instated libatk-bridge2.0-0t64:ppc64el
295s   Re-Instated libgtk-3-common:ppc64el
295s   Re-Instated libgtk-3-0t64:ppc64el
295s   Re-Instated tex-common:ppc64el
295s   Re-Instated why3:ppc64el
295s Investigating (0) libatk1.0-0t64:ppc64el < none -> 2.51.90-3 @un uN Ib >
295s Broken libatk1.0-0t64:ppc64el Breaks on libatk1.0-0:ppc64el < 2.50.0-1 @ii mK > (< 2.51.90-3)
295s   Considering libatk1.0-0:ppc64el 11 as a solution to libatk1.0-0t64:ppc64el 0
295s   Holding Back libatk1.0-0t64:ppc64el rather than change libatk1.0-0:ppc64el
295s Investigating (0) libatk-bridge2.0-0t64:ppc64el < none -> 2.51.90-3 @un uN Ib >
295s Broken libatk-bridge2.0-0t64:ppc64el Depends on libatk1.0-0t64:ppc64el < none | 2.51.90-3 @un uH > (>= 2.51.90)
295s   Considering libatk1.0-0t64:ppc64el 0 as a solution to libatk-bridge2.0-0t64:ppc64el 0
295s   Holding Back libatk-bridge2.0-0t64:ppc64el rather than change libatk1.0-0t64:ppc64el
295s Investigating (0) libglib2.0-0t64:ppc64el < none -> 2.79.3-3ubuntu5 @un uN Ib >
295s Broken libglib2.0-0t64:ppc64el Breaks on libglib2.0-0:ppc64el < 2.79.2-1~ubuntu1 @ii mK > (< 2.79.3-3ubuntu5)
295s   Considering libglib2.0-0:ppc64el 195 as a solution to libglib2.0-0t64:ppc64el 0
295s   Holding Back libglib2.0-0t64:ppc64el rather than change libglib2.0-0:ppc64el
295s Investigating (0) libgtk-3-0t64:ppc64el < none -> 3.24.41-1.1ubuntu1 @un uN Ib >
295s Broken libgtk-3-0t64:ppc64el Depends on libatk-bridge2.0-0t64:ppc64el < none | 2.51.90-3 @un uH > (>= 2.15.1)
295s   Considering libatk-bridge2.0-0t64:ppc64el 0 as a solution to libgtk-3-0t64:ppc64el 0
295s   Holding Back libgtk-3-0t64:ppc64el rather than change libatk-bridge2.0-0t64:ppc64el
295s Investigating (0) libatspi2.0-0t64:ppc64el < none -> 2.51.90-3 @un uN Ib >
295s Broken libatspi2.0-0t64:ppc64el Depends on libglib2.0-0t64:ppc64el < none | 2.79.3-3ubuntu5 @un uH > (>= 2.79.0)
295s   Considering libglib2.0-0t64:ppc64el 0 as a solution to libatspi2.0-0t64:ppc64el 0
295s   Holding Back libatspi2.0-0t64:ppc64el rather than change libglib2.0-0t64:ppc64el
295s Investigating (1) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib >
295s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un mH > (>= 2.0.0)
295s Investigating (1) why3:ppc64el < none -> 1.6.0-1build6 @un umN Ib >
295s Broken why3:ppc64el Depends on libglib2.0-0t64:ppc64el < none | 2.79.3-3ubuntu5 @un uH > (>= 2.36.0)
295s   Considering libglib2.0-0t64:ppc64el 0 as a solution to why3:ppc64el 2
295s   Holding Back why3:ppc64el rather than change libglib2.0-0t64:ppc64el
295s Investigating (2) autopkgtest-satdep:ppc64el < none -> 0 @un puN Ib >
295s Broken autopkgtest-satdep:ppc64el Depends on alt-ergo:ppc64el < none @un mH > (>= 2.0.0)
295s Broken autopkgtest-satdep:ppc64el Depends on why3:ppc64el < none | 1.6.0-1build6 @un umH >
295s   Considering why3:ppc64el 2 as a solution to autopkgtest-satdep:ppc64el 9998
295s   Considering why3:ppc64el 2 as a solution to autopkgtest-satdep:ppc64el 9998
295s Done
295s Some packages could not be installed. This may mean that you have
295s requested an impossible situation or if you are using the unstable
295s distribution that some required packages have not yet been created
295s or been moved out of Incoming.
295s The following information may help to resolve the situation:
295s 
295s The following packages have unmet dependencies:
295s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
295s                       Depends: why3 but it is not going to be installed
295s E: Unable to correct problems, you have held broken packages.
295s wp                   SKIP installation fails and skip-not-installable set
295s autopkgtest [18:21:04]: @@@@@@@@@@@@@@@@@@@@ summary
295s eva                  PASS
295s wp                   SKIP installation fails and skip-not-installable set
762s Creating nova instance adt-noble-ppc64el-frama-c-20240319-181609-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240319.img (UUID 6e7a6c13-d651-45a1-a24f-48d9d59effd9)...