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