0s autopkgtest [13:41:00]: starting date and time: 2024-03-20 13:41:00+0000
  0s autopkgtest [13:41:00]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps
  0s autopkgtest [13:41:00]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.3yvozwa6/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@bos01-arm64-9.secgroup --name adt-noble-arm64-frama-c-20240320-134100-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-arm64-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://us.ports.ubuntu.com/ubuntu-ports/
130s autopkgtest [13:43:10]: testbed dpkg architecture: arm64
130s autopkgtest [13:43:10]: testbed apt version: 2.7.12
130s autopkgtest [13:43:10]: @@@@@@@@@@@@@@@@@@@@ test bed setup
131s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB]
132s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB]
132s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3804 kB]
132s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B]
132s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [497 kB]
132s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [680 kB]
132s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B]
132s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [41.7 kB]
132s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B]
132s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4219 kB]
132s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B]
132s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [56.7 kB]
132s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B]
137s Fetched 9487 kB in 2s (4040 kB/s)
138s Reading package lists...
141s Reading package lists...
142s Building dependency tree...
142s Reading state information...
143s Calculating upgrade...
143s The following packages will be REMOVED:
143s   libglib2.0-0
143s The following NEW packages will be installed:
143s   libglib2.0-0t64 xdg-user-dirs
143s The following packages will be upgraded:
143s   gir1.2-glib-2.0 libglib2.0-data ubuntu-minimal ubuntu-standard
143s 4 upgraded, 2 newly installed, 1 to remove and 0 not upgraded.
143s Need to get 1796 kB of archives.
143s After this operation, 138 kB of additional disk space will be used.
143s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gir1.2-glib-2.0 arm64 2.79.3-3ubuntu5 [182 kB]
144s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-0t64 arm64 2.79.3-3ubuntu5 [1527 kB]
144s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libglib2.0-data all 2.79.3-3ubuntu5 [46.6 kB]
144s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-minimal arm64 1.536build1 [10.7 kB]
144s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 xdg-user-dirs arm64 0.18-1 [18.1 kB]
144s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-standard arm64 1.536build1 [10.7 kB]
145s Fetched 1796 kB in 1s (2545 kB/s)
145s (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 ... 75850 files and directories currently installed.)
145s Preparing to unpack .../gir1.2-glib-2.0_2.79.3-3ubuntu5_arm64.deb ...
145s Unpacking gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ...
145s dpkg: libglib2.0-0:arm64: dependency problems, but removing anyway as you requested:
145s  udisks2 depends on libglib2.0-0 (>= 2.77.0).
145s  shared-mime-info depends on libglib2.0-0 (>= 2.75.3).
145s  python3-gi depends on libglib2.0-0 (>= 2.77.0).
145s  python3-dbus depends on libglib2.0-0 (>= 2.16.0).
145s  netplan.io depends on libglib2.0-0 (>= 2.70.0).
145s  netplan-generator depends on libglib2.0-0 (>= 2.70.0).
145s  libxmlb2:arm64 depends on libglib2.0-0 (>= 2.54.0).
145s  libvolume-key1:arm64 depends on libglib2.0-0 (>= 2.18.0).
145s  libudisks2-0:arm64 depends on libglib2.0-0 (>= 2.75.3).
145s  libqrtr-glib0:arm64 depends on libglib2.0-0 (>= 2.56).
145s  libqmi-proxy depends on libglib2.0-0 (>= 2.30.0).
145s  libqmi-glib5:arm64 depends on libglib2.0-0 (>= 2.54.0).
145s  libpolkit-gobject-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0).
145s  libpolkit-agent-1-0:arm64 depends on libglib2.0-0 (>= 2.38.0).
145s  libnetplan0:arm64 depends on libglib2.0-0 (>= 2.75.3).
145s  libmm-glib0:arm64 depends on libglib2.0-0 (>= 2.62.0).
145s  libmbim-proxy depends on libglib2.0-0 (>= 2.56).
145s  libmbim-glib4:arm64 depends on libglib2.0-0 (>= 2.56).
145s  libjson-glib-1.0-0:arm64 depends on libglib2.0-0 (>= 2.75.3).
145s  libjcat1:arm64 depends on libglib2.0-0 (>= 2.75.3).
145s  libgusb2:arm64 depends on libglib2.0-0 (>= 2.75.3).
145s  libgudev-1.0-0:arm64 depends on libglib2.0-0 (>= 2.38.0).
145s  libgirepository-1.0-1:arm64 depends on libglib2.0-0 (>= 2.79.0).
145s  libfwupd2:arm64 depends on libglib2.0-0 (>= 2.79.0).
145s  libblockdev3:arm64 depends on libglib2.0-0 (>= 2.42.2).
145s  libblockdev-utils3:arm64 depends on libglib2.0-0 (>= 2.75.3).
145s  libblockdev-swap3:arm64 depends on libglib2.0-0 (>= 2.42.2).
145s  libblockdev-part3:arm64 depends on libglib2.0-0 (>= 2.42.2).
145s  libblockdev-nvme3:arm64 depends on libglib2.0-0 (>= 2.42.2).
145s  libblockdev-mdraid3:arm64 depends on libglib2.0-0 (>= 2.42.2).
145s  libblockdev-loop3:arm64 depends on libglib2.0-0 (>= 2.42.2).
145s  libblockdev-fs3:arm64 depends on libglib2.0-0 (>= 2.42.2).
145s  libblockdev-crypto3:arm64 depends on libglib2.0-0 (>= 2.42.2).
145s  fwupd depends on libglib2.0-0 (>= 2.79.0).
145s  bolt depends on libglib2.0-0 (>= 2.56.0).
145s 
145s (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 ... 75850 files and directories currently installed.)
145s Removing libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ...
145s Selecting previously unselected package libglib2.0-0t64:arm64.
145s (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 ... 75825 files and directories currently installed.)
145s Preparing to unpack .../libglib2.0-0t64_2.79.3-3ubuntu5_arm64.deb ...
145s libglib2.0-0t64.preinst: Removing /var/lib/dpkg/info/libglib2.0-0:arm64.postrm to avoid loss of /usr/share/glib-2.0/schemas/gschemas.compiled...
145s removed '/var/lib/dpkg/info/libglib2.0-0:arm64.postrm'
145s Unpacking libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ...
145s Preparing to unpack .../libglib2.0-data_2.79.3-3ubuntu5_all.deb ...
145s Unpacking libglib2.0-data (2.79.3-3ubuntu5) over (2.79.2-1~ubuntu1) ...
145s Preparing to unpack .../ubuntu-minimal_1.536build1_arm64.deb ...
145s Unpacking ubuntu-minimal (1.536build1) over (1.536) ...
145s Selecting previously unselected package xdg-user-dirs.
145s Preparing to unpack .../xdg-user-dirs_0.18-1_arm64.deb ...
145s Unpacking xdg-user-dirs (0.18-1) ...
145s Preparing to unpack .../ubuntu-standard_1.536build1_arm64.deb ...
145s Unpacking ubuntu-standard (1.536build1) over (1.536) ...
146s Setting up ubuntu-minimal (1.536build1) ...
146s Setting up xdg-user-dirs (0.18-1) ...
146s Setting up ubuntu-standard (1.536build1) ...
146s Setting up libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ...
146s No schema files found: doing nothing.
146s Setting up libglib2.0-data (2.79.3-3ubuntu5) ...
146s Setting up gir1.2-glib-2.0:arm64 (2.79.3-3ubuntu5) ...
146s Processing triggers for man-db (2.12.0-3) ...
146s Processing triggers for libc-bin (2.39-0ubuntu2) ...
147s Reading package lists...
147s Building dependency tree...
147s Reading state information...
148s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
149s Hit:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease
149s Hit:2 http://ftpmaster.internal/ubuntu noble InRelease
149s Hit:3 http://ftpmaster.internal/ubuntu noble-updates InRelease
149s Hit:4 http://ftpmaster.internal/ubuntu noble-security InRelease
151s Reading package lists...
151s Reading package lists...
152s Building dependency tree...
152s Reading state information...
153s Calculating upgrade...
153s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
153s Reading package lists...
154s Building dependency tree...
154s Reading state information...
155s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
158s autopkgtest [13:43:38]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024
158s autopkgtest [13:43:38]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c
160s Get:1 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (dsc) [2364 B]
160s Get:2 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (tar) [8074 kB]
160s Get:3 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (diff) [16.9 kB]
161s gpgv: Signature made Thu Feb 22 07:36:42 2024 UTC
161s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
161s gpgv: Can't check signature: No public key
161s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build5.dsc: no acceptable signature found
162s autopkgtest [13:43:42]: testing package frama-c version 20220511-manganese-5build5
163s autopkgtest [13:43:43]: build not needed
165s autopkgtest [13:43:45]: test eva: preparing testbed
170s Reading package lists...
170s Building dependency tree...
170s Reading state information...
171s Starting pkgProblemResolver with broken count: 0
171s Starting 2 pkgProblemResolver with broken count: 0
171s Done
172s The following additional packages will be installed:
172s   adwaita-icon-theme at-spi2-common cpp cpp-13 cpp-13-aarch64-linux-gnu
172s   cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig
172s   fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc
172s   gcc-13 gcc-13-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache
172s   hicolor-icon-theme humanity-icon-theme libasan8 libatk-bridge2.0-0
172s   libatk1.0-0 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data
172s   libavahi-common3 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2
172s   libcairo2-ocaml libcc1-0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev
172s   libcups2 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml
172s   libfontconfig1 libgcc-13-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common
172s   libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1
172s   libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1
172s   libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml
172s   liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3
172s   libncurses-dev libnsl-dev libocamlgraph-ocaml-dev libpango-1.0-0
172s   libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml
172s   libppx-import-ocaml libresult-ocaml libsexplib0-ocaml libsharpyuv0
172s   libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 libtiff6
172s   libtirpc-dev libtsan2 libubsan1 libwayland-client0 libwayland-cursor0
172s   libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1
172s   libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2
172s   libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml ocaml-base
172s   ocaml-interp rpcsvc-proto ubuntu-mono
172s Suggested packages:
172s   cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf
172s   automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-aarch64-linux-gnu
172s   glibc-doc colord cups-common gvfs liblcms2-utils ncurses-doc ocaml-doc
172s   elpa-tuareg
172s Recommended packages:
172s   librsvg2-common alt-ergo why3 at-spi2-core manpages manpages-dev
172s   libc-devtools libgdk-pixbuf2.0-bin libgtk-3-bin libgtk-3-0t64 ocaml-findlib
172s   ocaml-man ledit | readline-editor
172s The following NEW packages will be installed:
172s   adwaita-icon-theme at-spi2-common autopkgtest-satdep cpp cpp-13
172s   cpp-13-aarch64-linux-gnu cpp-aarch64-linux-gnu dconf-gsettings-backend
172s   dconf-service fontconfig fontconfig-config fonts-dejavu-core
172s   fonts-dejavu-mono frama-c-base gcc gcc-13 gcc-13-aarch64-linux-gnu
172s   gcc-aarch64-linux-gnu gtk-update-icon-cache hicolor-icon-theme
172s   humanity-icon-theme libasan8 libatk-bridge2.0-0 libatk1.0-0 libatomic1
172s   libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3
172s   libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0
172s   libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev libcups2 libdatrie1
172s   libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml libfontconfig1
172s   libgcc-13-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1
172s   libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1
172s   libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1
172s   libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml
172s   liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3
172s   libncurses-dev libnsl-dev libocamlgraph-ocaml-dev libpango-1.0-0
172s   libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml
172s   libppx-import-ocaml libresult-ocaml libsexplib0-ocaml libsharpyuv0
172s   libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 libtiff6
172s   libtirpc-dev libtsan2 libubsan1 libwayland-client0 libwayland-cursor0
172s   libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1
172s   libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2
172s   libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml ocaml-base
172s   ocaml-interp rpcsvc-proto ubuntu-mono
172s 0 upgraded, 109 newly installed, 0 to remove and 0 not upgraded.
172s Need to get 289 MB/289 MB of archives.
172s After this operation, 1070 MB of additional disk space will be used.
172s Get:1 /tmp/autopkgtest.Clfasy/1-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [708 B]
172s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B]
173s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB]
173s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B]
173s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB]
173s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB]
173s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB]
173s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB]
173s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB]
173s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB]
173s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB]
173s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 gtk-update-icon-cache arm64 3.24.41-1.1ubuntu3 [51.0 kB]
173s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B]
173s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB]
173s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB]
173s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB]
173s Get:17 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 at-spi2-common all 2.51.90-3 [8222 B]
173s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libisl23 arm64 0.26-3 [713 kB]
173s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libmpc3 arm64 1.3.1-1 [55.3 kB]
173s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [10.3 MB]
174s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13 arm64 13.2.0-17ubuntu2 [1028 B]
174s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [5316 B]
174s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 cpp arm64 4:13.2.0-7ubuntu1 [22.4 kB]
174s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB]
174s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB]
174s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB]
174s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB]
174s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB]
174s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB]
174s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB]
174s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB]
174s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB]
174s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB]
174s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B]
174s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB]
174s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB]
174s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB]
174s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB]
174s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB]
174s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB]
174s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB]
174s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB]
174s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB]
174s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB]
174s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB]
174s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB]
174s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB]
174s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB]
174s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB]
174s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB]
174s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB]
174s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB]
174s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB]
174s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB]
174s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB]
174s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB]
174s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB]
174s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB]
174s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B]
174s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B]
174s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB]
174s Get:62 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB]
174s Get:63 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B]
174s Get:64 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B]
174s Get:65 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB]
174s Get:66 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 libgtk-3-common all 3.24.41-1.1ubuntu3 [1202 kB]
174s Get:67 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB]
175s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB]
175s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB]
175s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB]
175s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB]
175s Get:72 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB]
175s Get:73 http://ftpmaster.internal/ubuntu noble/universe arm64 libfindlib-ocaml arm64 1.9.6-1build3 [206 kB]
175s Get:74 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB]
175s Get:75 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB]
175s Get:76 http://ftpmaster.internal/ubuntu noble/universe arm64 libresult-ocaml arm64 1.5-4build1 [7482 B]
175s Get:77 http://ftpmaster.internal/ubuntu noble/universe arm64 libsexplib0-ocaml arm64 0.16.0-3build2 [134 kB]
175s Get:78 http://ftpmaster.internal/ubuntu noble/universe arm64 libppx-deriving-ocaml arm64 5.2.1-4build2 [5542 kB]
176s Get:79 http://ftpmaster.internal/ubuntu noble/universe arm64 libyojson-ocaml arm64 2.1.2-1 [714 kB]
176s Get:80 http://ftpmaster.internal/ubuntu noble/universe arm64 libzarith-ocaml arm64 1.13-2build3 [123 kB]
176s Get:81 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml-dev arm64 4.14.1-1ubuntu1 [8499 kB]
176s Get:82 http://ftpmaster.internal/ubuntu noble/universe arm64 libcompiler-libs-ocaml-dev arm64 4.14.1-1ubuntu1 [39.0 MB]
176s Get:83 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-interp arm64 4.14.1-1ubuntu1 [7825 kB]
176s Get:84 http://ftpmaster.internal/ubuntu noble/main arm64 libc-dev-bin arm64 2.39-0ubuntu2 [19.7 kB]
176s Get:85 http://ftpmaster.internal/ubuntu noble/main arm64 linux-libc-dev arm64 6.8.0-11.11 [1569 kB]
177s Get:86 http://ftpmaster.internal/ubuntu noble/main arm64 libcrypt-dev arm64 1:4.4.36-4 [136 kB]
177s Get:87 http://ftpmaster.internal/ubuntu noble/main arm64 libtirpc-dev arm64 1.3.4+ds-1build1 [232 kB]
177s Get:88 http://ftpmaster.internal/ubuntu noble/main arm64 libnsl-dev arm64 1.3.0-3 [71.9 kB]
177s Get:89 http://ftpmaster.internal/ubuntu noble/main arm64 rpcsvc-proto arm64 1.4.2-0ubuntu6 [65.4 kB]
177s Get:90 http://ftpmaster.internal/ubuntu noble/main arm64 libc6-dev arm64 2.39-0ubuntu2 [1596 kB]
177s Get:91 http://ftpmaster.internal/ubuntu noble/main arm64 libncurses-dev arm64 6.4+20240113-1ubuntu1 [385 kB]
177s Get:92 http://ftpmaster.internal/ubuntu noble/main arm64 libcc1-0 arm64 14-20240303-1ubuntu1 [44.7 kB]
177s Get:93 http://ftpmaster.internal/ubuntu noble/main arm64 libgomp1 arm64 14-20240303-1ubuntu1 [144 kB]
177s Get:94 http://ftpmaster.internal/ubuntu noble/main arm64 libitm1 arm64 14-20240303-1ubuntu1 [27.7 kB]
177s Get:95 http://ftpmaster.internal/ubuntu noble/main arm64 libatomic1 arm64 14-20240303-1ubuntu1 [11.4 kB]
177s Get:96 http://ftpmaster.internal/ubuntu noble/main arm64 libasan8 arm64 14-20240303-1ubuntu1 [2919 kB]
177s Get:97 http://ftpmaster.internal/ubuntu noble/main arm64 liblsan0 arm64 14-20240303-1ubuntu1 [1282 kB]
177s Get:98 http://ftpmaster.internal/ubuntu noble/main arm64 libtsan2 arm64 14-20240303-1ubuntu1 [2687 kB]
177s Get:99 http://ftpmaster.internal/ubuntu noble/main arm64 libubsan1 arm64 14-20240303-1ubuntu1 [1151 kB]
177s Get:100 http://ftpmaster.internal/ubuntu noble/main arm64 libhwasan0 arm64 14-20240303-1ubuntu1 [1597 kB]
177s Get:101 http://ftpmaster.internal/ubuntu noble/main arm64 libgcc-13-dev arm64 13.2.0-17ubuntu2 [2464 kB]
177s Get:102 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [20.1 MB]
178s Get:103 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13 arm64 13.2.0-17ubuntu2 [467 kB]
178s Get:104 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [1198 B]
178s Get:105 http://ftpmaster.internal/ubuntu noble/main arm64 gcc arm64 4:13.2.0-7ubuntu1 [5018 B]
178s Get:106 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml arm64 4.14.1-1ubuntu1 [86.0 MB]
181s Get:107 http://ftpmaster.internal/ubuntu noble/universe arm64 libocamlgraph-ocaml-dev arm64 2.1.0-1build1 [6175 kB]
181s Get:108 http://ftpmaster.internal/ubuntu noble/universe arm64 libppx-import-ocaml arm64 1.10.0-3build2 [69.6 kB]
181s Get:109 http://ftpmaster.internal/ubuntu noble/universe arm64 frama-c-base arm64 20220511-manganese-5build5 [69.2 MB]
185s Fetched 289 MB in 12s (24.9 MB/s)
185s Selecting previously unselected package libgdk-pixbuf2.0-common.
185s (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 ... 75864 files and directories currently installed.)
185s Preparing to unpack .../000-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ...
185s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ...
185s Selecting previously unselected package libjpeg-turbo8:arm64.
185s Preparing to unpack .../001-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ...
185s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ...
185s Selecting previously unselected package libjpeg8:arm64.
185s Preparing to unpack .../002-libjpeg8_8c-2ubuntu11_arm64.deb ...
185s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ...
185s Selecting previously unselected package libdeflate0:arm64.
185s Preparing to unpack .../003-libdeflate0_1.19-1_arm64.deb ...
185s Unpacking libdeflate0:arm64 (1.19-1) ...
185s Selecting previously unselected package libjbig0:arm64.
185s Preparing to unpack .../004-libjbig0_2.1-6.1ubuntu1_arm64.deb ...
185s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ...
185s Selecting previously unselected package liblerc4:arm64.
185s Preparing to unpack .../005-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ...
185s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ...
185s Selecting previously unselected package libsharpyuv0:arm64.
185s Preparing to unpack .../006-libsharpyuv0_1.3.2-0.4_arm64.deb ...
185s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ...
185s Selecting previously unselected package libwebp7:arm64.
185s Preparing to unpack .../007-libwebp7_1.3.2-0.4_arm64.deb ...
185s Unpacking libwebp7:arm64 (1.3.2-0.4) ...
185s Selecting previously unselected package libtiff6:arm64.
185s Preparing to unpack .../008-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ...
185s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ...
185s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64.
185s Preparing to unpack .../009-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ...
185s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ...
185s Selecting previously unselected package gtk-update-icon-cache.
185s Preparing to unpack .../010-gtk-update-icon-cache_3.24.41-1.1ubuntu3_arm64.deb ...
185s Unpacking gtk-update-icon-cache (3.24.41-1.1ubuntu3) ...
185s Selecting previously unselected package hicolor-icon-theme.
185s Preparing to unpack .../011-hicolor-icon-theme_0.17-2_all.deb ...
185s Unpacking hicolor-icon-theme (0.17-2) ...
185s Selecting previously unselected package humanity-icon-theme.
185s Preparing to unpack .../012-humanity-icon-theme_0.6.16_all.deb ...
185s Unpacking humanity-icon-theme (0.6.16) ...
187s Selecting previously unselected package ubuntu-mono.
187s Preparing to unpack .../013-ubuntu-mono_24.04-0ubuntu1_all.deb ...
187s Unpacking ubuntu-mono (24.04-0ubuntu1) ...
188s Selecting previously unselected package adwaita-icon-theme.
188s Preparing to unpack .../014-adwaita-icon-theme_46~rc-1_all.deb ...
188s Unpacking adwaita-icon-theme (46~rc-1) ...
188s Selecting previously unselected package at-spi2-common.
188s Preparing to unpack .../015-at-spi2-common_2.51.90-3_all.deb ...
188s Unpacking at-spi2-common (2.51.90-3) ...
188s Selecting previously unselected package libisl23:arm64.
188s Preparing to unpack .../016-libisl23_0.26-3_arm64.deb ...
188s Unpacking libisl23:arm64 (0.26-3) ...
188s Selecting previously unselected package libmpc3:arm64.
188s Preparing to unpack .../017-libmpc3_1.3.1-1_arm64.deb ...
188s Unpacking libmpc3:arm64 (1.3.1-1) ...
188s Selecting previously unselected package cpp-13-aarch64-linux-gnu.
189s Preparing to unpack .../018-cpp-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ...
189s Unpacking cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
189s Selecting previously unselected package cpp-13.
189s Preparing to unpack .../019-cpp-13_13.2.0-17ubuntu2_arm64.deb ...
189s Unpacking cpp-13 (13.2.0-17ubuntu2) ...
189s Selecting previously unselected package cpp-aarch64-linux-gnu.
189s Preparing to unpack .../020-cpp-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ...
189s Unpacking cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
189s Selecting previously unselected package cpp.
189s Preparing to unpack .../021-cpp_4%3a13.2.0-7ubuntu1_arm64.deb ...
189s Unpacking cpp (4:13.2.0-7ubuntu1) ...
189s Selecting previously unselected package libdconf1:arm64.
189s Preparing to unpack .../022-libdconf1_0.40.0-4_arm64.deb ...
189s Unpacking libdconf1:arm64 (0.40.0-4) ...
189s Selecting previously unselected package dconf-service.
189s Preparing to unpack .../023-dconf-service_0.40.0-4_arm64.deb ...
189s Unpacking dconf-service (0.40.0-4) ...
189s Selecting previously unselected package dconf-gsettings-backend:arm64.
189s Preparing to unpack .../024-dconf-gsettings-backend_0.40.0-4_arm64.deb ...
189s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ...
189s Selecting previously unselected package fonts-dejavu-mono.
189s Preparing to unpack .../025-fonts-dejavu-mono_2.37-8_all.deb ...
189s Unpacking fonts-dejavu-mono (2.37-8) ...
189s Selecting previously unselected package fonts-dejavu-core.
189s Preparing to unpack .../026-fonts-dejavu-core_2.37-8_all.deb ...
189s Unpacking fonts-dejavu-core (2.37-8) ...
189s Selecting previously unselected package fontconfig-config.
189s Preparing to unpack .../027-fontconfig-config_2.15.0-1ubuntu1_arm64.deb ...
190s Unpacking fontconfig-config (2.15.0-1ubuntu1) ...
190s Selecting previously unselected package libfontconfig1:arm64.
190s Preparing to unpack .../028-libfontconfig1_2.15.0-1ubuntu1_arm64.deb ...
190s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ...
190s Selecting previously unselected package fontconfig.
190s Preparing to unpack .../029-fontconfig_2.15.0-1ubuntu1_arm64.deb ...
190s Unpacking fontconfig (2.15.0-1ubuntu1) ...
190s Selecting previously unselected package libpixman-1-0:arm64.
190s Preparing to unpack .../030-libpixman-1-0_0.42.2-1_arm64.deb ...
190s Unpacking libpixman-1-0:arm64 (0.42.2-1) ...
190s Selecting previously unselected package libxcb-render0:arm64.
190s Preparing to unpack .../031-libxcb-render0_1.15-1_arm64.deb ...
190s Unpacking libxcb-render0:arm64 (1.15-1) ...
190s Selecting previously unselected package libxcb-shm0:arm64.
190s Preparing to unpack .../032-libxcb-shm0_1.15-1_arm64.deb ...
190s Unpacking libxcb-shm0:arm64 (1.15-1) ...
190s Selecting previously unselected package libxrender1:arm64.
190s Preparing to unpack .../033-libxrender1_1%3a0.9.10-1.1_arm64.deb ...
190s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ...
190s Selecting previously unselected package libcairo2:arm64.
190s Preparing to unpack .../034-libcairo2_1.18.0-1_arm64.deb ...
190s Unpacking libcairo2:arm64 (1.18.0-1) ...
190s Selecting previously unselected package libatk1.0-0:arm64.
190s Preparing to unpack .../035-libatk1.0-0_2.50.0-1_arm64.deb ...
190s Unpacking libatk1.0-0:arm64 (2.50.0-1) ...
190s Selecting previously unselected package libxi6:arm64.
190s Preparing to unpack .../036-libxi6_2%3a1.8.1-1_arm64.deb ...
190s Unpacking libxi6:arm64 (2:1.8.1-1) ...
190s Selecting previously unselected package libatspi2.0-0:arm64.
190s Preparing to unpack .../037-libatspi2.0-0_2.50.0-1_arm64.deb ...
190s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ...
190s Selecting previously unselected package libatk-bridge2.0-0:arm64.
190s Preparing to unpack .../038-libatk-bridge2.0-0_2.50.0-1_arm64.deb ...
190s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ...
190s Selecting previously unselected package libcairo-gobject2:arm64.
190s Preparing to unpack .../039-libcairo-gobject2_1.18.0-1_arm64.deb ...
190s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ...
190s Selecting previously unselected package liblcms2-2:arm64.
190s Preparing to unpack .../040-liblcms2-2_2.14-2_arm64.deb ...
190s Unpacking liblcms2-2:arm64 (2.14-2) ...
190s Selecting previously unselected package libcolord2:arm64.
190s Preparing to unpack .../041-libcolord2_1.4.7-1_arm64.deb ...
190s Unpacking libcolord2:arm64 (1.4.7-1) ...
190s Selecting previously unselected package libavahi-common-data:arm64.
190s Preparing to unpack .../042-libavahi-common-data_0.8-13ubuntu2_arm64.deb ...
190s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ...
190s Selecting previously unselected package libavahi-common3:arm64.
190s Preparing to unpack .../043-libavahi-common3_0.8-13ubuntu2_arm64.deb ...
190s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ...
191s Selecting previously unselected package libavahi-client3:arm64.
191s Preparing to unpack .../044-libavahi-client3_0.8-13ubuntu2_arm64.deb ...
191s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ...
191s Selecting previously unselected package libcups2:arm64.
191s Preparing to unpack .../045-libcups2_2.4.6-0ubuntu3_arm64.deb ...
191s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ...
191s Selecting previously unselected package libepoxy0:arm64.
191s Preparing to unpack .../046-libepoxy0_1.5.10-1_arm64.deb ...
191s Unpacking libepoxy0:arm64 (1.5.10-1) ...
191s Selecting previously unselected package libgraphite2-3:arm64.
191s Preparing to unpack .../047-libgraphite2-3_1.3.14-2_arm64.deb ...
191s Unpacking libgraphite2-3:arm64 (1.3.14-2) ...
191s Selecting previously unselected package libharfbuzz0b:arm64.
191s Preparing to unpack .../048-libharfbuzz0b_8.3.0-2_arm64.deb ...
191s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ...
191s Selecting previously unselected package libthai-data.
191s Preparing to unpack .../049-libthai-data_0.1.29-2_all.deb ...
191s Unpacking libthai-data (0.1.29-2) ...
191s Selecting previously unselected package libdatrie1:arm64.
191s Preparing to unpack .../050-libdatrie1_0.2.13-3_arm64.deb ...
191s Unpacking libdatrie1:arm64 (0.2.13-3) ...
191s Selecting previously unselected package libthai0:arm64.
191s Preparing to unpack .../051-libthai0_0.1.29-2_arm64.deb ...
191s Unpacking libthai0:arm64 (0.1.29-2) ...
191s Selecting previously unselected package libpango-1.0-0:arm64.
191s Preparing to unpack .../052-libpango-1.0-0_1.51.0+ds-4_arm64.deb ...
191s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ...
191s Selecting previously unselected package libpangoft2-1.0-0:arm64.
191s Preparing to unpack .../053-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ...
191s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ...
191s Selecting previously unselected package libpangocairo-1.0-0:arm64.
191s Preparing to unpack .../054-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ...
191s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ...
191s Selecting previously unselected package libwayland-client0:arm64.
191s Preparing to unpack .../055-libwayland-client0_1.22.0-2.1_arm64.deb ...
191s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ...
191s Selecting previously unselected package libwayland-cursor0:arm64.
191s Preparing to unpack .../056-libwayland-cursor0_1.22.0-2.1_arm64.deb ...
191s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ...
191s Selecting previously unselected package libwayland-egl1:arm64.
191s Preparing to unpack .../057-libwayland-egl1_1.22.0-2.1_arm64.deb ...
191s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ...
191s Selecting previously unselected package libxcomposite1:arm64.
191s Preparing to unpack .../058-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ...
191s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ...
191s Selecting previously unselected package libxfixes3:arm64.
191s Preparing to unpack .../059-libxfixes3_1%3a6.0.0-2_arm64.deb ...
191s Unpacking libxfixes3:arm64 (1:6.0.0-2) ...
191s Selecting previously unselected package libxcursor1:arm64.
191s Preparing to unpack .../060-libxcursor1_1%3a1.2.1-1_arm64.deb ...
191s Unpacking libxcursor1:arm64 (1:1.2.1-1) ...
191s Selecting previously unselected package libxdamage1:arm64.
191s Preparing to unpack .../061-libxdamage1_1%3a1.1.6-1_arm64.deb ...
191s Unpacking libxdamage1:arm64 (1:1.1.6-1) ...
191s Selecting previously unselected package libxinerama1:arm64.
191s Preparing to unpack .../062-libxinerama1_2%3a1.1.4-3_arm64.deb ...
191s Unpacking libxinerama1:arm64 (2:1.1.4-3) ...
191s Selecting previously unselected package libxrandr2:arm64.
192s Preparing to unpack .../063-libxrandr2_2%3a1.5.2-2_arm64.deb ...
192s Unpacking libxrandr2:arm64 (2:1.5.2-2) ...
192s Selecting previously unselected package libgtk-3-common.
192s Preparing to unpack .../064-libgtk-3-common_3.24.41-1.1ubuntu3_all.deb ...
192s Unpacking libgtk-3-common (3.24.41-1.1ubuntu3) ...
192s Selecting previously unselected package libgtk-3-0:arm64.
192s Preparing to unpack .../065-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ...
192s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ...
192s Selecting previously unselected package libgtksourceview-3.0-common.
192s Preparing to unpack .../066-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ...
192s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ...
192s Selecting previously unselected package libgtksourceview-3.0-1:arm64.
192s Preparing to unpack .../067-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ...
192s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ...
192s Selecting previously unselected package libstdlib-ocaml.
192s Preparing to unpack .../068-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ...
192s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ...
192s Selecting previously unselected package ocaml-base.
192s Preparing to unpack .../069-ocaml-base_4.14.1-1ubuntu1_arm64.deb ...
192s Unpacking ocaml-base (4.14.1-1ubuntu1) ...
192s Selecting previously unselected package libcairo2-ocaml.
192s Preparing to unpack .../070-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ...
192s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ...
192s Selecting previously unselected package libfindlib-ocaml.
192s Preparing to unpack .../071-libfindlib-ocaml_1.9.6-1build3_arm64.deb ...
192s Unpacking libfindlib-ocaml (1.9.6-1build3) ...
192s Selecting previously unselected package liblablgtk3-ocaml.
192s Preparing to unpack .../072-liblablgtk3-ocaml_3.1.4-1_arm64.deb ...
192s Unpacking liblablgtk3-ocaml (3.1.4-1) ...
193s Selecting previously unselected package liblablgtksourceview3-ocaml.
193s Preparing to unpack .../073-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ...
193s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ...
193s Selecting previously unselected package libresult-ocaml.
193s Preparing to unpack .../074-libresult-ocaml_1.5-4build1_arm64.deb ...
193s Unpacking libresult-ocaml (1.5-4build1) ...
193s Selecting previously unselected package libsexplib0-ocaml.
193s Preparing to unpack .../075-libsexplib0-ocaml_0.16.0-3build2_arm64.deb ...
193s Unpacking libsexplib0-ocaml (0.16.0-3build2) ...
193s Selecting previously unselected package libppx-deriving-ocaml.
193s Preparing to unpack .../076-libppx-deriving-ocaml_5.2.1-4build2_arm64.deb ...
193s Unpacking libppx-deriving-ocaml (5.2.1-4build2) ...
193s Selecting previously unselected package libyojson-ocaml.
193s Preparing to unpack .../077-libyojson-ocaml_2.1.2-1_arm64.deb ...
193s Unpacking libyojson-ocaml (2.1.2-1) ...
193s Selecting previously unselected package libzarith-ocaml.
193s Preparing to unpack .../078-libzarith-ocaml_1.13-2build3_arm64.deb ...
193s Unpacking libzarith-ocaml (1.13-2build3) ...
193s Selecting previously unselected package libstdlib-ocaml-dev.
193s Preparing to unpack .../079-libstdlib-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ...
193s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
194s Selecting previously unselected package libcompiler-libs-ocaml-dev.
194s Preparing to unpack .../080-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ...
194s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
196s Selecting previously unselected package ocaml-interp.
196s Preparing to unpack .../081-ocaml-interp_4.14.1-1ubuntu1_arm64.deb ...
196s Unpacking ocaml-interp (4.14.1-1ubuntu1) ...
196s Selecting previously unselected package libc-dev-bin.
196s Preparing to unpack .../082-libc-dev-bin_2.39-0ubuntu2_arm64.deb ...
196s Unpacking libc-dev-bin (2.39-0ubuntu2) ...
196s Selecting previously unselected package linux-libc-dev:arm64.
196s Preparing to unpack .../083-linux-libc-dev_6.8.0-11.11_arm64.deb ...
196s Unpacking linux-libc-dev:arm64 (6.8.0-11.11) ...
196s Selecting previously unselected package libcrypt-dev:arm64.
196s Preparing to unpack .../084-libcrypt-dev_1%3a4.4.36-4_arm64.deb ...
196s Unpacking libcrypt-dev:arm64 (1:4.4.36-4) ...
196s Selecting previously unselected package libtirpc-dev:arm64.
196s Preparing to unpack .../085-libtirpc-dev_1.3.4+ds-1build1_arm64.deb ...
196s Unpacking libtirpc-dev:arm64 (1.3.4+ds-1build1) ...
197s Selecting previously unselected package libnsl-dev:arm64.
197s Preparing to unpack .../086-libnsl-dev_1.3.0-3_arm64.deb ...
197s Unpacking libnsl-dev:arm64 (1.3.0-3) ...
197s Selecting previously unselected package rpcsvc-proto.
197s Preparing to unpack .../087-rpcsvc-proto_1.4.2-0ubuntu6_arm64.deb ...
197s Unpacking rpcsvc-proto (1.4.2-0ubuntu6) ...
197s Selecting previously unselected package libc6-dev:arm64.
197s Preparing to unpack .../088-libc6-dev_2.39-0ubuntu2_arm64.deb ...
197s Unpacking libc6-dev:arm64 (2.39-0ubuntu2) ...
197s Selecting previously unselected package libncurses-dev:arm64.
197s Preparing to unpack .../089-libncurses-dev_6.4+20240113-1ubuntu1_arm64.deb ...
197s Unpacking libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ...
197s Selecting previously unselected package libcc1-0:arm64.
197s Preparing to unpack .../090-libcc1-0_14-20240303-1ubuntu1_arm64.deb ...
197s Unpacking libcc1-0:arm64 (14-20240303-1ubuntu1) ...
197s Selecting previously unselected package libgomp1:arm64.
197s Preparing to unpack .../091-libgomp1_14-20240303-1ubuntu1_arm64.deb ...
197s Unpacking libgomp1:arm64 (14-20240303-1ubuntu1) ...
197s Selecting previously unselected package libitm1:arm64.
197s Preparing to unpack .../092-libitm1_14-20240303-1ubuntu1_arm64.deb ...
197s Unpacking libitm1:arm64 (14-20240303-1ubuntu1) ...
197s Selecting previously unselected package libatomic1:arm64.
197s Preparing to unpack .../093-libatomic1_14-20240303-1ubuntu1_arm64.deb ...
197s Unpacking libatomic1:arm64 (14-20240303-1ubuntu1) ...
197s Selecting previously unselected package libasan8:arm64.
197s Preparing to unpack .../094-libasan8_14-20240303-1ubuntu1_arm64.deb ...
197s Unpacking libasan8:arm64 (14-20240303-1ubuntu1) ...
197s Selecting previously unselected package liblsan0:arm64.
197s Preparing to unpack .../095-liblsan0_14-20240303-1ubuntu1_arm64.deb ...
197s Unpacking liblsan0:arm64 (14-20240303-1ubuntu1) ...
197s Selecting previously unselected package libtsan2:arm64.
197s Preparing to unpack .../096-libtsan2_14-20240303-1ubuntu1_arm64.deb ...
197s Unpacking libtsan2:arm64 (14-20240303-1ubuntu1) ...
198s Selecting previously unselected package libubsan1:arm64.
198s Preparing to unpack .../097-libubsan1_14-20240303-1ubuntu1_arm64.deb ...
198s Unpacking libubsan1:arm64 (14-20240303-1ubuntu1) ...
198s Selecting previously unselected package libhwasan0:arm64.
198s Preparing to unpack .../098-libhwasan0_14-20240303-1ubuntu1_arm64.deb ...
198s Unpacking libhwasan0:arm64 (14-20240303-1ubuntu1) ...
198s Selecting previously unselected package libgcc-13-dev:arm64.
198s Preparing to unpack .../099-libgcc-13-dev_13.2.0-17ubuntu2_arm64.deb ...
198s Unpacking libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ...
198s Selecting previously unselected package gcc-13-aarch64-linux-gnu.
198s Preparing to unpack .../100-gcc-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ...
198s Unpacking gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
199s Selecting previously unselected package gcc-13.
199s Preparing to unpack .../101-gcc-13_13.2.0-17ubuntu2_arm64.deb ...
199s Unpacking gcc-13 (13.2.0-17ubuntu2) ...
199s Selecting previously unselected package gcc-aarch64-linux-gnu.
199s Preparing to unpack .../102-gcc-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ...
199s Unpacking gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
199s Selecting previously unselected package gcc.
199s Preparing to unpack .../103-gcc_4%3a13.2.0-7ubuntu1_arm64.deb ...
199s Unpacking gcc (4:13.2.0-7ubuntu1) ...
199s Selecting previously unselected package ocaml.
199s Preparing to unpack .../104-ocaml_4.14.1-1ubuntu1_arm64.deb ...
199s Unpacking ocaml (4.14.1-1ubuntu1) ...
202s Selecting previously unselected package libocamlgraph-ocaml-dev.
202s Preparing to unpack .../105-libocamlgraph-ocaml-dev_2.1.0-1build1_arm64.deb ...
202s Unpacking libocamlgraph-ocaml-dev (2.1.0-1build1) ...
203s Selecting previously unselected package libppx-import-ocaml.
203s Preparing to unpack .../106-libppx-import-ocaml_1.10.0-3build2_arm64.deb ...
203s Unpacking libppx-import-ocaml (1.10.0-3build2) ...
203s Selecting previously unselected package frama-c-base.
203s Preparing to unpack .../107-frama-c-base_20220511-manganese-5build5_arm64.deb ...
203s Unpacking frama-c-base (20220511-manganese-5build5) ...
206s Selecting previously unselected package autopkgtest-satdep.
206s Preparing to unpack .../108-1-autopkgtest-satdep.deb ...
206s Unpacking autopkgtest-satdep (0) ...
206s Setting up libgraphite2-3:arm64 (1.3.14-2) ...
206s Setting up liblcms2-2:arm64 (2.14-2) ...
206s Setting up libpixman-1-0:arm64 (0.42.2-1) ...
206s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ...
206s Setting up libxdamage1:arm64 (1:1.1.6-1) ...
206s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ...
206s Setting up hicolor-icon-theme (0.17-2) ...
206s Setting up libxi6:arm64 (2:1.8.1-1) ...
206s Setting up libxrender1:arm64 (1:0.9.10-1.1) ...
206s Setting up libdatrie1:arm64 (0.2.13-3) ...
206s Setting up libxcb-render0:arm64 (1.15-1) ...
206s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ...
206s Setting up libdeflate0:arm64 (1.19-1) ...
206s Setting up linux-libc-dev:arm64 (6.8.0-11.11) ...
206s Setting up libxcb-shm0:arm64 (1.15-1) ...
206s Setting up libatspi2.0-0:arm64 (2.50.0-1) ...
206s Setting up libgomp1:arm64 (14-20240303-1ubuntu1) ...
206s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ...
206s Setting up libcolord2:arm64 (1.4.7-1) ...
206s Setting up libdconf1:arm64 (0.40.0-4) ...
206s Setting up libtirpc-dev:arm64 (1.3.4+ds-1build1) ...
206s Setting up rpcsvc-proto (1.4.2-0ubuntu6) ...
206s Setting up libepoxy0:arm64 (1.5.10-1) ...
206s Setting up libxfixes3:arm64 (1:6.0.0-2) ...
206s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ...
206s Setting up libxinerama1:arm64 (2:1.1.4-3) ...
206s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ...
206s Setting up fonts-dejavu-mono (2.37-8) ...
206s Setting up libmpc3:arm64 (1.3.1-1) ...
206s Setting up libatomic1:arm64 (14-20240303-1ubuntu1) ...
206s Setting up libxrandr2:arm64 (2:1.5.2-2) ...
206s Setting up ocaml-base (4.14.1-1ubuntu1) ...
206s Setting up fonts-dejavu-core (2.37-8) ...
206s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ...
206s Setting up libwebp7:arm64 (1.3.2-0.4) ...
206s Setting up libubsan1:arm64 (14-20240303-1ubuntu1) ...
206s Setting up libsexplib0-ocaml (0.16.0-3build2) ...
206s Setting up libnsl-dev:arm64 (1.3.0-3) ...
206s Setting up libhwasan0:arm64 (14-20240303-1ubuntu1) ...
206s Setting up at-spi2-common (2.51.90-3) ...
206s Setting up libcrypt-dev:arm64 (1:4.4.36-4) ...
206s Setting up libasan8:arm64 (14-20240303-1ubuntu1) ...
206s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ...
206s Setting up libharfbuzz0b:arm64 (8.3.0-2) ...
206s Setting up libthai-data (0.1.29-2) ...
206s Setting up libatk1.0-0:arm64 (2.50.0-1) ...
206s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ...
206s Setting up libtsan2:arm64 (14-20240303-1ubuntu1) ...
206s Setting up libisl23:arm64 (0.26-3) ...
206s Setting up libc-dev-bin (2.39-0ubuntu2) ...
206s Setting up libresult-ocaml (1.5-4build1) ...
206s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ...
206s Setting up libcc1-0:arm64 (14-20240303-1ubuntu1) ...
206s Setting up liblsan0:arm64 (14-20240303-1ubuntu1) ...
206s Setting up libitm1:arm64 (14-20240303-1ubuntu1) ...
206s Setting up libppx-import-ocaml (1.10.0-3build2) ...
206s Setting up libwayland-client0:arm64 (1.22.0-2.1) ...
206s Setting up libjpeg8:arm64 (8c-2ubuntu11) ...
206s Setting up libppx-deriving-ocaml (5.2.1-4build2) ...
206s Setting up cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
206s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
206s Setting up libyojson-ocaml (2.1.2-1) ...
206s Setting up fontconfig-config (2.15.0-1ubuntu1) ...
207s Setting up libxcursor1:arm64 (1:1.2.1-1) ...
207s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ...
207s Setting up libfindlib-ocaml (1.9.6-1build3) ...
207s Setting up dconf-service (0.40.0-4) ...
207s Setting up libzarith-ocaml (1.13-2build3) ...
207s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ...
207s Setting up libthai0:arm64 (0.1.29-2) ...
207s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
207s Setting up cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
207s Setting up ocaml-interp (4.14.1-1ubuntu1) ...
207s Setting up libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ...
207s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ...
207s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ...
207s Setting up libc6-dev:arm64 (2.39-0ubuntu2) ...
207s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ...
207s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ...
207s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ...
207s Setting up gtk-update-icon-cache (3.24.41-1.1ubuntu3) ...
207s Setting up fontconfig (2.15.0-1ubuntu1) ...
209s Regenerating fonts cache... done.
209s Setting up libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ...
209s Setting up cpp-13 (13.2.0-17ubuntu2) ...
209s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ...
209s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ...
209s Setting up gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
209s Setting up libcairo2:arm64 (1.18.0-1) ...
209s Setting up gcc-13 (13.2.0-17ubuntu2) ...
209s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ...
209s Setting up cpp (4:13.2.0-7ubuntu1) ...
209s Setting up libcairo-gobject2:arm64 (1.18.0-1) ...
209s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ...
209s Setting up libgtk-3-common (3.24.41-1.1ubuntu3) ...
209s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ...
209s Setting up gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
209s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ...
209s Setting up gcc (4:13.2.0-7ubuntu1) ...
209s Setting up ocaml (4.14.1-1ubuntu1) ...
209s Setting up libocamlgraph-ocaml-dev (2.1.0-1build1) ...
209s Setting up adwaita-icon-theme (46~rc-1) ...
209s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode
209s Setting up humanity-icon-theme (0.6.16) ...
209s Setting up ubuntu-mono (24.04-0ubuntu1) ...
209s Processing triggers for man-db (2.12.0-3) ...
210s Processing triggers for libglib2.0-0t64:arm64 (2.79.3-3ubuntu5) ...
210s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ...
210s Processing triggers for libc-bin (2.39-0ubuntu2) ...
210s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ...
210s Setting up liblablgtk3-ocaml (3.1.4-1) ...
210s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ...
210s Setting up frama-c-base (20220511-manganese-5build5) ...
210s Setting up autopkgtest-satdep (0) ...
210s Processing triggers for libc-bin (2.39-0ubuntu2) ...
220s (Reading database ... 95283 files and directories currently installed.)
220s Removing autopkgtest-satdep (0) ...
221s autopkgtest [13:44:41]: test eva: [-----------------------
222s autopkgtest [13:44:42]: test eva: -----------------------]
223s eva                  PASS
223s autopkgtest [13:44:43]: test eva:  - - - - - - - - - - results - - - - - - - - - -
223s autopkgtest [13:44:43]: test wp: preparing testbed
227s Reading package lists...
228s Building dependency tree...
228s Reading state information...
229s Starting pkgProblemResolver with broken count: 1
229s Starting 2 pkgProblemResolver with broken count: 1
229s Investigating (0) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib >
229s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un mH > (>= 2.0.0)
229s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.6.0-1build4 @un umH >
229s   Considering why3:arm64 2 as a solution to autopkgtest-satdep:arm64 9998
229s   Re-Instated tex-common:arm64
229s   Re-Instated why3:arm64
229s Done
229s Some packages could not be installed. This may mean that you have
229s requested an impossible situation or if you are using the unstable
229s distribution that some required packages have not yet been created
229s or been moved out of Incoming.
229s The following information may help to resolve the situation:
229s 
229s The following packages have unmet dependencies:
229s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
229s E: Unable to correct problems, you have held broken packages.
229s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed
231s Reading package lists...
231s Building dependency tree...
231s Reading state information...
231s Starting pkgProblemResolver with broken count: 1
231s Starting 2 pkgProblemResolver with broken count: 1
232s Investigating (0) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib >
232s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un mH > (>= 2.0.0)
232s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.6.0-1build6 @un umH >
232s   Considering why3:arm64 2 as a solution to autopkgtest-satdep:arm64 9998
232s   Re-Instated libatk1.0-0t64:arm64
232s   Re-Instated libatspi2.0-0t64:arm64
232s   Re-Instated libatk-bridge2.0-0t64:arm64
232s   Re-Instated libnettle8t64:arm64
232s   Re-Instated libhogweed6t64:arm64
232s   Re-Instated libgnutls30t64:arm64
232s   Re-Instated libcups2t64:arm64
232s   Re-Instated libgtk-3-0t64:arm64
232s   Re-Instated tex-common:arm64
232s   Re-Instated why3:arm64
232s Investigating (0) libgtk-3-0t64:arm64 < none -> 3.24.41-1.1ubuntu3 @un umN Ib >
232s Broken libgtk-3-0t64:arm64 Breaks on libgtk-3-0:arm64 < 3.24.40-2ubuntu1 @ii mK > (< 3.24.41-1.1ubuntu3)
232s   Considering libgtk-3-0:arm64 10 as a solution to libgtk-3-0t64:arm64 1
232s   Holding Back libgtk-3-0t64:arm64 rather than change libgtk-3-0:arm64
232s Investigating (0) libatk1.0-0t64:arm64 < none -> 2.51.90-3 @un uN Ib >
232s Broken libatk1.0-0t64:arm64 Breaks on libatk1.0-0:arm64 < 2.50.0-1 @ii mK > (< 2.51.90-3)
232s   Considering libatk1.0-0:arm64 10 as a solution to libatk1.0-0t64:arm64 0
232s   Holding Back libatk1.0-0t64:arm64 rather than change libatk1.0-0:arm64
232s Investigating (0) libatk-bridge2.0-0t64:arm64 < none -> 2.51.90-3 @un uN Ib >
232s Broken libatk-bridge2.0-0t64:arm64 Depends on libatk1.0-0t64:arm64 < none | 2.51.90-3 @un uH > (>= 2.51.90)
232s   Considering libatk1.0-0t64:arm64 0 as a solution to libatk-bridge2.0-0t64:arm64 0
232s   Holding Back libatk-bridge2.0-0t64:arm64 rather than change libatk1.0-0t64:arm64
232s Investigating (0) libgnutls30t64:arm64 < none -> 3.8.3-1.1ubuntu2 @un uN Ib >
232s Broken libgnutls30t64:arm64 Breaks on libgnutls30:arm64 < 3.8.3-1ubuntu1 @ii mK > (< 3.8.3-1.1ubuntu2)
232s   Considering libgnutls30:arm64 134 as a solution to libgnutls30t64:arm64 0
232s   Holding Back libgnutls30t64:arm64 rather than change libgnutls30:arm64
232s Investigating (0) libhogweed6t64:arm64 < none -> 3.9.1-2.2 @un uN Ib >
232s Broken libhogweed6t64:arm64 Breaks on libhogweed6:arm64 < 3.9.1-2 @ii mK > (< 3.9.1-2.2)
232s   Considering libhogweed6:arm64 22 as a solution to libhogweed6t64:arm64 0
232s   Holding Back libhogweed6t64:arm64 rather than change libhogweed6:arm64
232s Investigating (0) libcups2t64:arm64 < none -> 2.4.7-1.2ubuntu1 @un uN Ib >
232s Broken libcups2t64:arm64 Depends on libgnutls30t64:arm64 < none | 3.8.3-1.1ubuntu2 @un uH > (>= 3.8.1)
232s   Considering libgnutls30t64:arm64 0 as a solution to libcups2t64:arm64 0
232s   Holding Back libcups2t64:arm64 rather than change libgnutls30t64:arm64
232s Investigating (0) libnettle8t64:arm64 < none -> 3.9.1-2.2 @un uN Ib >
232s Broken libnettle8t64:arm64 Breaks on libnettle8:arm64 < 3.9.1-2 @ii mK > (< 3.9.1-2.2)
232s   Considering libnettle8:arm64 31 as a solution to libnettle8t64:arm64 0
232s   Holding Back libnettle8t64:arm64 rather than change libnettle8:arm64
232s Investigating (0) libatspi2.0-0t64:arm64 < none -> 2.51.90-3 @un uN Ib >
232s Broken libatspi2.0-0t64:arm64 Breaks on libatspi2.0-0:arm64 < 2.50.0-1 @ii mK > (< 2.51.90-3)
232s   Considering libatspi2.0-0:arm64 2 as a solution to libatspi2.0-0t64:arm64 0
232s   Holding Back libatspi2.0-0t64:arm64 rather than change libatspi2.0-0:arm64
232s Investigating (1) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib >
232s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un mH > (>= 2.0.0)
232s Investigating (1) why3:arm64 < none -> 1.6.0-1build6 @un umN Ib >
232s Broken why3:arm64 Depends on libgtk-3-0t64:arm64 < none | 3.24.41-1.1ubuntu3 @un umH > (>= 3.11.5)
232s   Considering libgtk-3-0t64:arm64 1 as a solution to why3:arm64 2
232s   Holding Back why3:arm64 rather than change libgtk-3-0t64:arm64
232s Investigating (2) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib >
232s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un mH > (>= 2.0.0)
232s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.6.0-1build6 @un umH >
232s   Considering why3:arm64 2 as a solution to autopkgtest-satdep:arm64 9998
232s   Considering why3:arm64 2 as a solution to autopkgtest-satdep:arm64 9998
232s Done
232s Some packages could not be installed. This may mean that you have
232s requested an impossible situation or if you are using the unstable
232s distribution that some required packages have not yet been created
232s or been moved out of Incoming.
232s The following information may help to resolve the situation:
232s 
232s The following packages have unmet dependencies:
232s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
232s                       Depends: why3 but it is not going to be installed
232s E: Unable to correct problems, you have held broken packages.
232s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs
232s wp                   SKIP installation fails and skip-not-installable set
232s autopkgtest [13:44:52]: @@@@@@@@@@@@@@@@@@@@ summary
232s eva                  PASS
232s wp                   SKIP installation fails and skip-not-installable set
247s Creating nova instance adt-noble-arm64-frama-c-20240320-134100-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240319.img (UUID bd25b89b-8264-4402-95d9-d9c88f21f275)...