0s autopkgtest [15:32:45]: starting date and time: 2024-03-19 15:32:45+0000
  0s autopkgtest [15:32:45]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps
  0s autopkgtest [15:32:45]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.zx4yg_5a/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:freetype,src:libpng1.6,src:wp2latex --apt-upgrade frama-c --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=freetype/2.13.2+dfsg-1build2 libpng1.6/1.6.43-3 wp2latex/4.4~ds-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-3@bos03-arm64-13.secgroup --name adt-noble-arm64-frama-c-20240319-153245-juju-7f2275-prod-proposed-migration-environment-3 --image adt/ubuntu-noble-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-3 --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/
126s autopkgtest [15:34:51]: testbed dpkg architecture: arm64
127s autopkgtest [15:34:52]: testbed apt version: 2.7.12
127s autopkgtest [15:34:52]: @@@@@@@@@@@@@@@@@@@@ test bed setup
127s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB]
128s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [486 kB]
128s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3777 kB]
128s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B]
128s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [52.7 kB]
128s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [656 kB]
128s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B]
128s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [33.6 kB]
128s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B]
128s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4144 kB]
128s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B]
128s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [56.7 kB]
128s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B]
130s Fetched 9340 kB in 2s (4449 kB/s)
131s Reading package lists...
134s Reading package lists...
135s Building dependency tree...
135s Reading state information...
136s Calculating upgrade...
136s The following packages have been kept back:
136s   libfreetype6
136s The following packages will be upgraded:
136s   ubuntu-minimal ubuntu-standard
137s 2 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
137s Need to get 21.5 kB of archives.
137s After this operation, 0 B of additional disk space will be used.
137s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-minimal arm64 1.536build1 [10.7 kB]
137s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-standard arm64 1.536build1 [10.7 kB]
137s Fetched 21.5 kB in 0s (61.6 kB/s)
138s (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 ... 74758 files and directories currently installed.)
138s Preparing to unpack .../ubuntu-minimal_1.536build1_arm64.deb ...
138s Unpacking ubuntu-minimal (1.536build1) over (1.536) ...
138s Preparing to unpack .../ubuntu-standard_1.536build1_arm64.deb ...
138s Unpacking ubuntu-standard (1.536build1) over (1.536) ...
138s Setting up ubuntu-minimal (1.536build1) ...
138s Setting up ubuntu-standard (1.536build1) ...
138s Reading package lists...
139s Building dependency tree...
139s Reading state information...
141s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
142s sh: Attempting to set up Debian/Ubuntu apt sources automatically
142s sh: Distribution appears to be Ubuntu
143s Reading package lists...
143s Building dependency tree...
143s Reading state information...
144s eatmydata is already the newest version (131-1).
144s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
144s Reading package lists...
144s Building dependency tree...
144s Reading state information...
145s dbus is already the newest version (1.14.10-4ubuntu1).
145s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
145s Reading package lists...
145s Building dependency tree...
145s Reading state information...
146s rng-tools-debian is already the newest version (2.4).
146s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
146s Reading package lists...
146s Building dependency tree...
146s Reading state information...
147s The following packages will be REMOVED:
147s   cloud-init* python3-configobj* python3-debconf*
147s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded.
147s After this operation, 3252 kB disk space will be freed.
147s (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 ... 74758 files and directories currently installed.)
147s Removing cloud-init (24.1.1-0ubuntu1) ...
148s Removing python3-configobj (5.0.8-3) ...
148s Removing python3-debconf (1.5.86) ...
148s Processing triggers for man-db (2.12.0-3) ...
149s (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 ... 74369 files and directories currently installed.)
149s Purging configuration files for cloud-init (24.1.1-0ubuntu1) ...
150s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed
150s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ...
150s invoke-rc.d: policy-rc.d denied execution of try-restart.
150s Reading package lists...
151s Building dependency tree...
151s Reading state information...
152s linux-generic is already the newest version (6.8.0-11.11+1).
152s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
153s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease
153s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease
153s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease
156s Reading package lists...
156s Reading package lists...
157s Building dependency tree...
157s Reading state information...
158s Calculating upgrade...
159s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
159s Reading package lists...
159s Building dependency tree...
159s Reading state information...
161s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
162s autopkgtest [15:35:27]: rebooting testbed after setup commands that affected boot
413s autopkgtest [15:39:38]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024
416s autopkgtest [15:39:41]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c
420s Get:1 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (dsc) [2364 B]
420s Get:2 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (tar) [8074 kB]
420s Get:3 http://ftpmaster.internal/ubuntu noble/universe frama-c 20220511-manganese-5build5 (diff) [16.9 kB]
420s gpgv: Signature made Thu Feb 22 07:36:42 2024 UTC
420s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
420s gpgv: Can't check signature: No public key
420s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build5.dsc: no acceptable signature found
421s autopkgtest [15:39:46]: testing package frama-c version 20220511-manganese-5build5
421s autopkgtest [15:39:46]: build not needed
424s autopkgtest [15:39:49]: test eva: preparing testbed
436s Reading package lists...
437s Building dependency tree...
437s Reading state information...
438s Starting pkgProblemResolver with broken count: 0
438s Starting 2 pkgProblemResolver with broken count: 0
438s Done
439s The following additional packages will be installed:
439s   adwaita-icon-theme at-spi2-common cpp cpp-13 cpp-13-aarch64-linux-gnu
439s   cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig
439s   fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc
439s   gcc-13 gcc-13-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache
439s   hicolor-icon-theme humanity-icon-theme libasan8 libatk-bridge2.0-0
439s   libatk1.0-0 libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data
439s   libavahi-common3 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2
439s   libcairo2-ocaml libcc1-0 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev
439s   libcups2 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml
439s   libfontconfig1 libgcc-13-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common
439s   libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1
439s   libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1
439s   libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml
439s   liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3
439s   libncurses-dev libnsl-dev libocamlgraph-ocaml-dev libpango-1.0-0
439s   libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml
439s   libppx-import-ocaml libresult-ocaml libsexplib0-ocaml libsharpyuv0
439s   libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 libtiff6
439s   libtirpc-dev libtsan2 libubsan1 libwayland-client0 libwayland-cursor0
439s   libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1
439s   libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2
439s   libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml ocaml-base
439s   ocaml-interp rpcsvc-proto ubuntu-mono
439s Suggested packages:
439s   cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf
439s   automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-aarch64-linux-gnu
439s   glibc-doc colord cups-common gvfs liblcms2-utils ncurses-doc ocaml-doc
439s   elpa-tuareg
439s Recommended packages:
439s   librsvg2-common alt-ergo why3 at-spi2-core manpages manpages-dev
439s   libc-devtools libgdk-pixbuf2.0-bin libgtk-3-bin ocaml-findlib ocaml-man
439s   ledit | readline-editor
439s The following NEW packages will be installed:
439s   adwaita-icon-theme at-spi2-common autopkgtest-satdep cpp cpp-13
439s   cpp-13-aarch64-linux-gnu cpp-aarch64-linux-gnu dconf-gsettings-backend
439s   dconf-service fontconfig fontconfig-config fonts-dejavu-core
439s   fonts-dejavu-mono frama-c-base gcc gcc-13 gcc-13-aarch64-linux-gnu
439s   gcc-aarch64-linux-gnu gtk-update-icon-cache hicolor-icon-theme
439s   humanity-icon-theme libasan8 libatk-bridge2.0-0 libatk1.0-0 libatomic1
439s   libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3
439s   libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0
439s   libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev libcups2 libdatrie1
439s   libdconf1 libdeflate0 libepoxy0 libfindlib-ocaml libfontconfig1
439s   libgcc-13-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1
439s   libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1
439s   libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1
439s   libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml
439s   liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3
439s   libncurses-dev libnsl-dev libocamlgraph-ocaml-dev libpango-1.0-0
439s   libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml
439s   libppx-import-ocaml libresult-ocaml libsexplib0-ocaml libsharpyuv0
439s   libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 libtiff6
439s   libtirpc-dev libtsan2 libubsan1 libwayland-client0 libwayland-cursor0
439s   libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1
439s   libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2
439s   libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev ocaml ocaml-base
439s   ocaml-interp rpcsvc-proto ubuntu-mono
439s 0 upgraded, 109 newly installed, 0 to remove and 0 not upgraded.
439s Need to get 289 MB/289 MB of archives.
439s After this operation, 1070 MB of additional disk space will be used.
439s Get:1 /tmp/autopkgtest.1WrVWH/1-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [708 B]
440s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-3 [7624 B]
440s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu1 [160 kB]
440s Get:4 http://ftpmaster.internal/ubuntu noble/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B]
440s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libdeflate0 arm64 1.19-1 [43.4 kB]
440s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 libjbig0 arm64 2.1-6.1ubuntu1 [28.9 kB]
440s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu1 [153 kB]
440s Get:8 http://ftpmaster.internal/ubuntu noble/main arm64 libsharpyuv0 arm64 1.3.2-0.4 [14.4 kB]
440s Get:9 http://ftpmaster.internal/ubuntu noble/main arm64 libwebp7 arm64 1.3.2-0.4 [191 kB]
440s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libtiff6 arm64 4.5.1+git230720-3ubuntu1 [226 kB]
440s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.10+dfsg-3 [144 kB]
440s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 gtk-update-icon-cache arm64 3.24.40-2ubuntu1 [50.5 kB]
440s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 hicolor-icon-theme all 0.17-2 [9976 B]
440s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 humanity-icon-theme all 0.6.16 [1282 kB]
440s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB]
440s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 adwaita-icon-theme all 46~rc-1 [723 kB]
440s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 at-spi2-common all 2.50.0-1 [7864 B]
440s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libisl23 arm64 0.26-3 [713 kB]
440s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libmpc3 arm64 1.3.1-1 [55.3 kB]
440s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [10.3 MB]
440s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-13 arm64 13.2.0-17ubuntu2 [1028 B]
440s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 cpp-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [5316 B]
440s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 cpp arm64 4:13.2.0-7ubuntu1 [22.4 kB]
440s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 libdconf1 arm64 0.40.0-4 [39.2 kB]
440s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-service arm64 0.40.0-4 [26.1 kB]
440s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 dconf-gsettings-backend arm64 0.40.0-4 [21.6 kB]
440s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB]
440s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 fonts-dejavu-core all 2.37-8 [835 kB]
440s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig-config arm64 2.15.0-1ubuntu1 [37.0 kB]
440s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libfontconfig1 arm64 2.15.0-1ubuntu1 [142 kB]
440s Get:31 http://ftpmaster.internal/ubuntu noble/main arm64 fontconfig arm64 2.15.0-1ubuntu1 [190 kB]
440s Get:32 http://ftpmaster.internal/ubuntu noble/main arm64 libpixman-1-0 arm64 0.42.2-1 [193 kB]
440s Get:33 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-render0 arm64 1.15-1 [16.1 kB]
440s Get:34 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B]
440s Get:35 http://ftpmaster.internal/ubuntu noble/main arm64 libxrender1 arm64 1:0.9.10-1.1 [19.1 kB]
440s Get:36 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo2 arm64 1.18.0-1 [550 kB]
441s Get:37 http://ftpmaster.internal/ubuntu noble/main arm64 libatk1.0-0 arm64 2.50.0-1 [53.8 kB]
441s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB]
441s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libatspi2.0-0 arm64 2.50.0-1 [78.5 kB]
441s Get:40 http://ftpmaster.internal/ubuntu noble/main arm64 libatk-bridge2.0-0 arm64 2.50.0-1 [65.0 kB]
441s Get:41 http://ftpmaster.internal/ubuntu noble/main arm64 libcairo-gobject2 arm64 1.18.0-1 [127 kB]
441s Get:42 http://ftpmaster.internal/ubuntu noble/main arm64 liblcms2-2 arm64 2.14-2 [159 kB]
441s Get:43 http://ftpmaster.internal/ubuntu noble/main arm64 libcolord2 arm64 1.4.7-1 [148 kB]
441s Get:44 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common-data arm64 0.8-13ubuntu2 [29.5 kB]
441s Get:45 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-common3 arm64 0.8-13ubuntu2 [23.2 kB]
441s Get:46 http://ftpmaster.internal/ubuntu noble/main arm64 libavahi-client3 arm64 0.8-13ubuntu2 [27.3 kB]
441s Get:47 http://ftpmaster.internal/ubuntu noble/main arm64 libcups2 arm64 2.4.6-0ubuntu3 [270 kB]
441s Get:48 http://ftpmaster.internal/ubuntu noble/main arm64 libepoxy0 arm64 1.5.10-1 [247 kB]
441s Get:49 http://ftpmaster.internal/ubuntu noble/main arm64 libgraphite2-3 arm64 1.3.14-2 [81.5 kB]
441s Get:50 http://ftpmaster.internal/ubuntu noble/main arm64 libharfbuzz0b arm64 8.3.0-2 [463 kB]
441s Get:51 http://ftpmaster.internal/ubuntu noble/main arm64 libthai-data all 0.1.29-2 [158 kB]
441s Get:52 http://ftpmaster.internal/ubuntu noble/main arm64 libdatrie1 arm64 0.2.13-3 [21.7 kB]
441s Get:53 http://ftpmaster.internal/ubuntu noble/main arm64 libthai0 arm64 0.1.29-2 [18.1 kB]
441s Get:54 http://ftpmaster.internal/ubuntu noble/main arm64 libpango-1.0-0 arm64 1.51.0+ds-4 [226 kB]
441s Get:55 http://ftpmaster.internal/ubuntu noble/main arm64 libpangoft2-1.0-0 arm64 1.51.0+ds-4 [41.2 kB]
441s Get:56 http://ftpmaster.internal/ubuntu noble/main arm64 libpangocairo-1.0-0 arm64 1.51.0+ds-4 [27.6 kB]
441s Get:57 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-client0 arm64 1.22.0-2.1 [25.6 kB]
441s Get:58 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-cursor0 arm64 1.22.0-2.1 [10.2 kB]
441s Get:59 http://ftpmaster.internal/ubuntu noble/main arm64 libwayland-egl1 arm64 1.22.0-2.1 [5498 B]
441s Get:60 http://ftpmaster.internal/ubuntu noble/main arm64 libxcomposite1 arm64 1:0.4.5-1build2 [7080 B]
441s Get:61 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB]
441s Get:62 http://ftpmaster.internal/ubuntu noble/main arm64 libxcursor1 arm64 1:1.2.1-1 [21.3 kB]
441s Get:63 http://ftpmaster.internal/ubuntu noble/main arm64 libxdamage1 arm64 1:1.1.6-1 [6032 B]
441s Get:64 http://ftpmaster.internal/ubuntu noble/main arm64 libxinerama1 arm64 2:1.1.4-3 [7056 B]
441s Get:65 http://ftpmaster.internal/ubuntu noble/main arm64 libxrandr2 arm64 2:1.5.2-2 [19.6 kB]
441s Get:66 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-common all 3.24.40-2ubuntu1 [1200 kB]
441s Get:67 http://ftpmaster.internal/ubuntu noble/main arm64 libgtk-3-0 arm64 3.24.40-2ubuntu1 [2867 kB]
441s Get:68 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB]
441s Get:69 http://ftpmaster.internal/ubuntu noble/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-2build1 [239 kB]
441s Get:70 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB]
441s Get:71 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB]
441s Get:72 http://ftpmaster.internal/ubuntu noble/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-2build2 [27.2 kB]
441s Get:73 http://ftpmaster.internal/ubuntu noble/universe arm64 libfindlib-ocaml arm64 1.9.6-1build3 [206 kB]
441s Get:74 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtk3-ocaml arm64 3.1.4-1 [4202 kB]
441s Get:75 http://ftpmaster.internal/ubuntu noble/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.4-1 [364 kB]
441s Get:76 http://ftpmaster.internal/ubuntu noble/universe arm64 libresult-ocaml arm64 1.5-4build1 [7482 B]
441s Get:77 http://ftpmaster.internal/ubuntu noble/universe arm64 libsexplib0-ocaml arm64 0.16.0-3build2 [134 kB]
441s Get:78 http://ftpmaster.internal/ubuntu noble/universe arm64 libppx-deriving-ocaml arm64 5.2.1-4build2 [5542 kB]
441s Get:79 http://ftpmaster.internal/ubuntu noble/universe arm64 libyojson-ocaml arm64 2.1.2-1 [714 kB]
441s Get:80 http://ftpmaster.internal/ubuntu noble/universe arm64 libzarith-ocaml arm64 1.13-2build3 [123 kB]
441s Get:81 http://ftpmaster.internal/ubuntu noble/universe arm64 libstdlib-ocaml-dev arm64 4.14.1-1ubuntu1 [8499 kB]
442s Get:82 http://ftpmaster.internal/ubuntu noble/universe arm64 libcompiler-libs-ocaml-dev arm64 4.14.1-1ubuntu1 [39.0 MB]
443s Get:83 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml-interp arm64 4.14.1-1ubuntu1 [7825 kB]
443s Get:84 http://ftpmaster.internal/ubuntu noble/main arm64 libc-dev-bin arm64 2.39-0ubuntu2 [19.7 kB]
443s Get:85 http://ftpmaster.internal/ubuntu noble/main arm64 linux-libc-dev arm64 6.8.0-11.11 [1569 kB]
443s Get:86 http://ftpmaster.internal/ubuntu noble/main arm64 libcrypt-dev arm64 1:4.4.36-4 [136 kB]
443s Get:87 http://ftpmaster.internal/ubuntu noble/main arm64 libtirpc-dev arm64 1.3.4+ds-1build1 [232 kB]
443s Get:88 http://ftpmaster.internal/ubuntu noble/main arm64 libnsl-dev arm64 1.3.0-3 [71.9 kB]
443s Get:89 http://ftpmaster.internal/ubuntu noble/main arm64 rpcsvc-proto arm64 1.4.2-0ubuntu6 [65.4 kB]
443s Get:90 http://ftpmaster.internal/ubuntu noble/main arm64 libc6-dev arm64 2.39-0ubuntu2 [1596 kB]
443s Get:91 http://ftpmaster.internal/ubuntu noble/main arm64 libncurses-dev arm64 6.4+20240113-1ubuntu1 [385 kB]
443s Get:92 http://ftpmaster.internal/ubuntu noble/main arm64 libcc1-0 arm64 14-20240303-1ubuntu1 [44.7 kB]
443s Get:93 http://ftpmaster.internal/ubuntu noble/main arm64 libgomp1 arm64 14-20240303-1ubuntu1 [144 kB]
443s Get:94 http://ftpmaster.internal/ubuntu noble/main arm64 libitm1 arm64 14-20240303-1ubuntu1 [27.7 kB]
443s Get:95 http://ftpmaster.internal/ubuntu noble/main arm64 libatomic1 arm64 14-20240303-1ubuntu1 [11.4 kB]
443s Get:96 http://ftpmaster.internal/ubuntu noble/main arm64 libasan8 arm64 14-20240303-1ubuntu1 [2919 kB]
443s Get:97 http://ftpmaster.internal/ubuntu noble/main arm64 liblsan0 arm64 14-20240303-1ubuntu1 [1282 kB]
443s Get:98 http://ftpmaster.internal/ubuntu noble/main arm64 libtsan2 arm64 14-20240303-1ubuntu1 [2687 kB]
443s Get:99 http://ftpmaster.internal/ubuntu noble/main arm64 libubsan1 arm64 14-20240303-1ubuntu1 [1151 kB]
443s Get:100 http://ftpmaster.internal/ubuntu noble/main arm64 libhwasan0 arm64 14-20240303-1ubuntu1 [1597 kB]
443s Get:101 http://ftpmaster.internal/ubuntu noble/main arm64 libgcc-13-dev arm64 13.2.0-17ubuntu2 [2464 kB]
443s Get:102 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13-aarch64-linux-gnu arm64 13.2.0-17ubuntu2 [20.1 MB]
444s Get:103 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-13 arm64 13.2.0-17ubuntu2 [467 kB]
445s Get:104 http://ftpmaster.internal/ubuntu noble/main arm64 gcc-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [1198 B]
445s Get:105 http://ftpmaster.internal/ubuntu noble/main arm64 gcc arm64 4:13.2.0-7ubuntu1 [5018 B]
445s Get:106 http://ftpmaster.internal/ubuntu noble/universe arm64 ocaml arm64 4.14.1-1ubuntu1 [86.0 MB]
447s Get:107 http://ftpmaster.internal/ubuntu noble/universe arm64 libocamlgraph-ocaml-dev arm64 2.1.0-1build1 [6175 kB]
447s Get:108 http://ftpmaster.internal/ubuntu noble/universe arm64 libppx-import-ocaml arm64 1.10.0-3build2 [69.6 kB]
447s Get:109 http://ftpmaster.internal/ubuntu noble/universe arm64 frama-c-base arm64 20220511-manganese-5build5 [69.2 MB]
452s Fetched 289 MB in 10s (28.5 MB/s)
452s Selecting previously unselected package libgdk-pixbuf2.0-common.
452s (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 ... 74314 files and directories currently installed.)
452s Preparing to unpack .../000-libgdk-pixbuf2.0-common_2.42.10+dfsg-3_all.deb ...
452s Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ...
452s Selecting previously unselected package libjpeg-turbo8:arm64.
452s Preparing to unpack .../001-libjpeg-turbo8_2.1.5-2ubuntu1_arm64.deb ...
452s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ...
452s Selecting previously unselected package libjpeg8:arm64.
452s Preparing to unpack .../002-libjpeg8_8c-2ubuntu11_arm64.deb ...
452s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ...
452s Selecting previously unselected package libdeflate0:arm64.
452s Preparing to unpack .../003-libdeflate0_1.19-1_arm64.deb ...
452s Unpacking libdeflate0:arm64 (1.19-1) ...
452s Selecting previously unselected package libjbig0:arm64.
452s Preparing to unpack .../004-libjbig0_2.1-6.1ubuntu1_arm64.deb ...
452s Unpacking libjbig0:arm64 (2.1-6.1ubuntu1) ...
452s Selecting previously unselected package liblerc4:arm64.
452s Preparing to unpack .../005-liblerc4_4.0.0+ds-4ubuntu1_arm64.deb ...
452s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu1) ...
452s Selecting previously unselected package libsharpyuv0:arm64.
452s Preparing to unpack .../006-libsharpyuv0_1.3.2-0.4_arm64.deb ...
452s Unpacking libsharpyuv0:arm64 (1.3.2-0.4) ...
452s Selecting previously unselected package libwebp7:arm64.
452s Preparing to unpack .../007-libwebp7_1.3.2-0.4_arm64.deb ...
452s Unpacking libwebp7:arm64 (1.3.2-0.4) ...
452s Selecting previously unselected package libtiff6:arm64.
452s Preparing to unpack .../008-libtiff6_4.5.1+git230720-3ubuntu1_arm64.deb ...
452s Unpacking libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ...
452s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64.
452s Preparing to unpack .../009-libgdk-pixbuf-2.0-0_2.42.10+dfsg-3_arm64.deb ...
452s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ...
452s Selecting previously unselected package gtk-update-icon-cache.
452s Preparing to unpack .../010-gtk-update-icon-cache_3.24.40-2ubuntu1_arm64.deb ...
452s Unpacking gtk-update-icon-cache (3.24.40-2ubuntu1) ...
452s Selecting previously unselected package hicolor-icon-theme.
452s Preparing to unpack .../011-hicolor-icon-theme_0.17-2_all.deb ...
452s Unpacking hicolor-icon-theme (0.17-2) ...
452s Selecting previously unselected package humanity-icon-theme.
452s Preparing to unpack .../012-humanity-icon-theme_0.6.16_all.deb ...
452s Unpacking humanity-icon-theme (0.6.16) ...
453s Selecting previously unselected package ubuntu-mono.
453s Preparing to unpack .../013-ubuntu-mono_24.04-0ubuntu1_all.deb ...
453s Unpacking ubuntu-mono (24.04-0ubuntu1) ...
453s Selecting previously unselected package adwaita-icon-theme.
453s Preparing to unpack .../014-adwaita-icon-theme_46~rc-1_all.deb ...
453s Unpacking adwaita-icon-theme (46~rc-1) ...
453s Selecting previously unselected package at-spi2-common.
453s Preparing to unpack .../015-at-spi2-common_2.50.0-1_all.deb ...
453s Unpacking at-spi2-common (2.50.0-1) ...
453s Selecting previously unselected package libisl23:arm64.
454s Preparing to unpack .../016-libisl23_0.26-3_arm64.deb ...
454s Unpacking libisl23:arm64 (0.26-3) ...
454s Selecting previously unselected package libmpc3:arm64.
454s Preparing to unpack .../017-libmpc3_1.3.1-1_arm64.deb ...
454s Unpacking libmpc3:arm64 (1.3.1-1) ...
454s Selecting previously unselected package cpp-13-aarch64-linux-gnu.
454s Preparing to unpack .../018-cpp-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ...
454s Unpacking cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
454s Selecting previously unselected package cpp-13.
455s Preparing to unpack .../019-cpp-13_13.2.0-17ubuntu2_arm64.deb ...
455s Unpacking cpp-13 (13.2.0-17ubuntu2) ...
455s Selecting previously unselected package cpp-aarch64-linux-gnu.
455s Preparing to unpack .../020-cpp-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ...
455s Unpacking cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
455s Selecting previously unselected package cpp.
455s Preparing to unpack .../021-cpp_4%3a13.2.0-7ubuntu1_arm64.deb ...
455s Unpacking cpp (4:13.2.0-7ubuntu1) ...
455s Selecting previously unselected package libdconf1:arm64.
455s Preparing to unpack .../022-libdconf1_0.40.0-4_arm64.deb ...
455s Unpacking libdconf1:arm64 (0.40.0-4) ...
455s Selecting previously unselected package dconf-service.
455s Preparing to unpack .../023-dconf-service_0.40.0-4_arm64.deb ...
455s Unpacking dconf-service (0.40.0-4) ...
455s Selecting previously unselected package dconf-gsettings-backend:arm64.
455s Preparing to unpack .../024-dconf-gsettings-backend_0.40.0-4_arm64.deb ...
455s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4) ...
455s Selecting previously unselected package fonts-dejavu-mono.
455s Preparing to unpack .../025-fonts-dejavu-mono_2.37-8_all.deb ...
455s Unpacking fonts-dejavu-mono (2.37-8) ...
455s Selecting previously unselected package fonts-dejavu-core.
455s Preparing to unpack .../026-fonts-dejavu-core_2.37-8_all.deb ...
455s Unpacking fonts-dejavu-core (2.37-8) ...
455s Selecting previously unselected package fontconfig-config.
455s Preparing to unpack .../027-fontconfig-config_2.15.0-1ubuntu1_arm64.deb ...
455s Unpacking fontconfig-config (2.15.0-1ubuntu1) ...
456s Selecting previously unselected package libfontconfig1:arm64.
456s Preparing to unpack .../028-libfontconfig1_2.15.0-1ubuntu1_arm64.deb ...
456s Unpacking libfontconfig1:arm64 (2.15.0-1ubuntu1) ...
456s Selecting previously unselected package fontconfig.
456s Preparing to unpack .../029-fontconfig_2.15.0-1ubuntu1_arm64.deb ...
456s Unpacking fontconfig (2.15.0-1ubuntu1) ...
456s Selecting previously unselected package libpixman-1-0:arm64.
456s Preparing to unpack .../030-libpixman-1-0_0.42.2-1_arm64.deb ...
456s Unpacking libpixman-1-0:arm64 (0.42.2-1) ...
456s Selecting previously unselected package libxcb-render0:arm64.
456s Preparing to unpack .../031-libxcb-render0_1.15-1_arm64.deb ...
456s Unpacking libxcb-render0:arm64 (1.15-1) ...
456s Selecting previously unselected package libxcb-shm0:arm64.
456s Preparing to unpack .../032-libxcb-shm0_1.15-1_arm64.deb ...
456s Unpacking libxcb-shm0:arm64 (1.15-1) ...
456s Selecting previously unselected package libxrender1:arm64.
456s Preparing to unpack .../033-libxrender1_1%3a0.9.10-1.1_arm64.deb ...
456s Unpacking libxrender1:arm64 (1:0.9.10-1.1) ...
456s Selecting previously unselected package libcairo2:arm64.
456s Preparing to unpack .../034-libcairo2_1.18.0-1_arm64.deb ...
456s Unpacking libcairo2:arm64 (1.18.0-1) ...
456s Selecting previously unselected package libatk1.0-0:arm64.
456s Preparing to unpack .../035-libatk1.0-0_2.50.0-1_arm64.deb ...
456s Unpacking libatk1.0-0:arm64 (2.50.0-1) ...
456s Selecting previously unselected package libxi6:arm64.
456s Preparing to unpack .../036-libxi6_2%3a1.8.1-1_arm64.deb ...
456s Unpacking libxi6:arm64 (2:1.8.1-1) ...
457s Selecting previously unselected package libatspi2.0-0:arm64.
457s Preparing to unpack .../037-libatspi2.0-0_2.50.0-1_arm64.deb ...
457s Unpacking libatspi2.0-0:arm64 (2.50.0-1) ...
457s Selecting previously unselected package libatk-bridge2.0-0:arm64.
457s Preparing to unpack .../038-libatk-bridge2.0-0_2.50.0-1_arm64.deb ...
457s Unpacking libatk-bridge2.0-0:arm64 (2.50.0-1) ...
457s Selecting previously unselected package libcairo-gobject2:arm64.
457s Preparing to unpack .../039-libcairo-gobject2_1.18.0-1_arm64.deb ...
457s Unpacking libcairo-gobject2:arm64 (1.18.0-1) ...
457s Selecting previously unselected package liblcms2-2:arm64.
457s Preparing to unpack .../040-liblcms2-2_2.14-2_arm64.deb ...
457s Unpacking liblcms2-2:arm64 (2.14-2) ...
457s Selecting previously unselected package libcolord2:arm64.
457s Preparing to unpack .../041-libcolord2_1.4.7-1_arm64.deb ...
457s Unpacking libcolord2:arm64 (1.4.7-1) ...
457s Selecting previously unselected package libavahi-common-data:arm64.
457s Preparing to unpack .../042-libavahi-common-data_0.8-13ubuntu2_arm64.deb ...
457s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu2) ...
457s Selecting previously unselected package libavahi-common3:arm64.
457s Preparing to unpack .../043-libavahi-common3_0.8-13ubuntu2_arm64.deb ...
457s Unpacking libavahi-common3:arm64 (0.8-13ubuntu2) ...
457s Selecting previously unselected package libavahi-client3:arm64.
457s Preparing to unpack .../044-libavahi-client3_0.8-13ubuntu2_arm64.deb ...
457s Unpacking libavahi-client3:arm64 (0.8-13ubuntu2) ...
457s Selecting previously unselected package libcups2:arm64.
457s Preparing to unpack .../045-libcups2_2.4.6-0ubuntu3_arm64.deb ...
457s Unpacking libcups2:arm64 (2.4.6-0ubuntu3) ...
457s Selecting previously unselected package libepoxy0:arm64.
457s Preparing to unpack .../046-libepoxy0_1.5.10-1_arm64.deb ...
457s Unpacking libepoxy0:arm64 (1.5.10-1) ...
457s Selecting previously unselected package libgraphite2-3:arm64.
457s Preparing to unpack .../047-libgraphite2-3_1.3.14-2_arm64.deb ...
457s Unpacking libgraphite2-3:arm64 (1.3.14-2) ...
457s Selecting previously unselected package libharfbuzz0b:arm64.
457s Preparing to unpack .../048-libharfbuzz0b_8.3.0-2_arm64.deb ...
457s Unpacking libharfbuzz0b:arm64 (8.3.0-2) ...
457s Selecting previously unselected package libthai-data.
457s Preparing to unpack .../049-libthai-data_0.1.29-2_all.deb ...
457s Unpacking libthai-data (0.1.29-2) ...
457s Selecting previously unselected package libdatrie1:arm64.
457s Preparing to unpack .../050-libdatrie1_0.2.13-3_arm64.deb ...
457s Unpacking libdatrie1:arm64 (0.2.13-3) ...
457s Selecting previously unselected package libthai0:arm64.
457s Preparing to unpack .../051-libthai0_0.1.29-2_arm64.deb ...
457s Unpacking libthai0:arm64 (0.1.29-2) ...
457s Selecting previously unselected package libpango-1.0-0:arm64.
457s Preparing to unpack .../052-libpango-1.0-0_1.51.0+ds-4_arm64.deb ...
457s Unpacking libpango-1.0-0:arm64 (1.51.0+ds-4) ...
457s Selecting previously unselected package libpangoft2-1.0-0:arm64.
457s Preparing to unpack .../053-libpangoft2-1.0-0_1.51.0+ds-4_arm64.deb ...
457s Unpacking libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ...
457s Selecting previously unselected package libpangocairo-1.0-0:arm64.
457s Preparing to unpack .../054-libpangocairo-1.0-0_1.51.0+ds-4_arm64.deb ...
457s Unpacking libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ...
457s Selecting previously unselected package libwayland-client0:arm64.
457s Preparing to unpack .../055-libwayland-client0_1.22.0-2.1_arm64.deb ...
457s Unpacking libwayland-client0:arm64 (1.22.0-2.1) ...
458s Selecting previously unselected package libwayland-cursor0:arm64.
458s Preparing to unpack .../056-libwayland-cursor0_1.22.0-2.1_arm64.deb ...
458s Unpacking libwayland-cursor0:arm64 (1.22.0-2.1) ...
458s Selecting previously unselected package libwayland-egl1:arm64.
458s Preparing to unpack .../057-libwayland-egl1_1.22.0-2.1_arm64.deb ...
458s Unpacking libwayland-egl1:arm64 (1.22.0-2.1) ...
458s Selecting previously unselected package libxcomposite1:arm64.
458s Preparing to unpack .../058-libxcomposite1_1%3a0.4.5-1build2_arm64.deb ...
458s Unpacking libxcomposite1:arm64 (1:0.4.5-1build2) ...
458s Selecting previously unselected package libxfixes3:arm64.
458s Preparing to unpack .../059-libxfixes3_1%3a6.0.0-2_arm64.deb ...
458s Unpacking libxfixes3:arm64 (1:6.0.0-2) ...
458s Selecting previously unselected package libxcursor1:arm64.
458s Preparing to unpack .../060-libxcursor1_1%3a1.2.1-1_arm64.deb ...
458s Unpacking libxcursor1:arm64 (1:1.2.1-1) ...
458s Selecting previously unselected package libxdamage1:arm64.
458s Preparing to unpack .../061-libxdamage1_1%3a1.1.6-1_arm64.deb ...
458s Unpacking libxdamage1:arm64 (1:1.1.6-1) ...
458s Selecting previously unselected package libxinerama1:arm64.
458s Preparing to unpack .../062-libxinerama1_2%3a1.1.4-3_arm64.deb ...
458s Unpacking libxinerama1:arm64 (2:1.1.4-3) ...
458s Selecting previously unselected package libxrandr2:arm64.
458s Preparing to unpack .../063-libxrandr2_2%3a1.5.2-2_arm64.deb ...
458s Unpacking libxrandr2:arm64 (2:1.5.2-2) ...
458s Selecting previously unselected package libgtk-3-common.
458s Preparing to unpack .../064-libgtk-3-common_3.24.40-2ubuntu1_all.deb ...
458s Unpacking libgtk-3-common (3.24.40-2ubuntu1) ...
458s Selecting previously unselected package libgtk-3-0:arm64.
458s Preparing to unpack .../065-libgtk-3-0_3.24.40-2ubuntu1_arm64.deb ...
458s Unpacking libgtk-3-0:arm64 (3.24.40-2ubuntu1) ...
458s Selecting previously unselected package libgtksourceview-3.0-common.
458s Preparing to unpack .../066-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ...
458s Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ...
458s Selecting previously unselected package libgtksourceview-3.0-1:arm64.
458s Preparing to unpack .../067-libgtksourceview-3.0-1_3.24.11-2build1_arm64.deb ...
458s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ...
458s Selecting previously unselected package libstdlib-ocaml.
458s Preparing to unpack .../068-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ...
458s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ...
458s Selecting previously unselected package ocaml-base.
458s Preparing to unpack .../069-ocaml-base_4.14.1-1ubuntu1_arm64.deb ...
458s Unpacking ocaml-base (4.14.1-1ubuntu1) ...
458s Selecting previously unselected package libcairo2-ocaml.
458s Preparing to unpack .../070-libcairo2-ocaml_0.6.4+dfsg-2build2_arm64.deb ...
458s Unpacking libcairo2-ocaml (0.6.4+dfsg-2build2) ...
458s Selecting previously unselected package libfindlib-ocaml.
458s Preparing to unpack .../071-libfindlib-ocaml_1.9.6-1build3_arm64.deb ...
458s Unpacking libfindlib-ocaml (1.9.6-1build3) ...
458s Selecting previously unselected package liblablgtk3-ocaml.
458s Preparing to unpack .../072-liblablgtk3-ocaml_3.1.4-1_arm64.deb ...
458s Unpacking liblablgtk3-ocaml (3.1.4-1) ...
459s Selecting previously unselected package liblablgtksourceview3-ocaml.
459s Preparing to unpack .../073-liblablgtksourceview3-ocaml_3.1.4-1_arm64.deb ...
459s Unpacking liblablgtksourceview3-ocaml (3.1.4-1) ...
459s Selecting previously unselected package libresult-ocaml.
459s Preparing to unpack .../074-libresult-ocaml_1.5-4build1_arm64.deb ...
459s Unpacking libresult-ocaml (1.5-4build1) ...
459s Selecting previously unselected package libsexplib0-ocaml.
459s Preparing to unpack .../075-libsexplib0-ocaml_0.16.0-3build2_arm64.deb ...
459s Unpacking libsexplib0-ocaml (0.16.0-3build2) ...
459s Selecting previously unselected package libppx-deriving-ocaml.
459s Preparing to unpack .../076-libppx-deriving-ocaml_5.2.1-4build2_arm64.deb ...
459s Unpacking libppx-deriving-ocaml (5.2.1-4build2) ...
459s Selecting previously unselected package libyojson-ocaml.
459s Preparing to unpack .../077-libyojson-ocaml_2.1.2-1_arm64.deb ...
459s Unpacking libyojson-ocaml (2.1.2-1) ...
459s Selecting previously unselected package libzarith-ocaml.
459s Preparing to unpack .../078-libzarith-ocaml_1.13-2build3_arm64.deb ...
459s Unpacking libzarith-ocaml (1.13-2build3) ...
459s Selecting previously unselected package libstdlib-ocaml-dev.
459s Preparing to unpack .../079-libstdlib-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ...
459s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
459s Selecting previously unselected package libcompiler-libs-ocaml-dev.
459s Preparing to unpack .../080-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ...
459s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
460s Selecting previously unselected package ocaml-interp.
460s Preparing to unpack .../081-ocaml-interp_4.14.1-1ubuntu1_arm64.deb ...
460s Unpacking ocaml-interp (4.14.1-1ubuntu1) ...
460s Selecting previously unselected package libc-dev-bin.
460s Preparing to unpack .../082-libc-dev-bin_2.39-0ubuntu2_arm64.deb ...
460s Unpacking libc-dev-bin (2.39-0ubuntu2) ...
460s Selecting previously unselected package linux-libc-dev:arm64.
460s Preparing to unpack .../083-linux-libc-dev_6.8.0-11.11_arm64.deb ...
460s Unpacking linux-libc-dev:arm64 (6.8.0-11.11) ...
461s Selecting previously unselected package libcrypt-dev:arm64.
461s Preparing to unpack .../084-libcrypt-dev_1%3a4.4.36-4_arm64.deb ...
461s Unpacking libcrypt-dev:arm64 (1:4.4.36-4) ...
461s Selecting previously unselected package libtirpc-dev:arm64.
461s Preparing to unpack .../085-libtirpc-dev_1.3.4+ds-1build1_arm64.deb ...
461s Unpacking libtirpc-dev:arm64 (1.3.4+ds-1build1) ...
461s Selecting previously unselected package libnsl-dev:arm64.
461s Preparing to unpack .../086-libnsl-dev_1.3.0-3_arm64.deb ...
461s Unpacking libnsl-dev:arm64 (1.3.0-3) ...
461s Selecting previously unselected package rpcsvc-proto.
461s Preparing to unpack .../087-rpcsvc-proto_1.4.2-0ubuntu6_arm64.deb ...
461s Unpacking rpcsvc-proto (1.4.2-0ubuntu6) ...
461s Selecting previously unselected package libc6-dev:arm64.
461s Preparing to unpack .../088-libc6-dev_2.39-0ubuntu2_arm64.deb ...
461s Unpacking libc6-dev:arm64 (2.39-0ubuntu2) ...
461s Selecting previously unselected package libncurses-dev:arm64.
461s Preparing to unpack .../089-libncurses-dev_6.4+20240113-1ubuntu1_arm64.deb ...
461s Unpacking libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ...
461s Selecting previously unselected package libcc1-0:arm64.
461s Preparing to unpack .../090-libcc1-0_14-20240303-1ubuntu1_arm64.deb ...
461s Unpacking libcc1-0:arm64 (14-20240303-1ubuntu1) ...
461s Selecting previously unselected package libgomp1:arm64.
461s Preparing to unpack .../091-libgomp1_14-20240303-1ubuntu1_arm64.deb ...
461s Unpacking libgomp1:arm64 (14-20240303-1ubuntu1) ...
461s Selecting previously unselected package libitm1:arm64.
461s Preparing to unpack .../092-libitm1_14-20240303-1ubuntu1_arm64.deb ...
461s Unpacking libitm1:arm64 (14-20240303-1ubuntu1) ...
461s Selecting previously unselected package libatomic1:arm64.
461s Preparing to unpack .../093-libatomic1_14-20240303-1ubuntu1_arm64.deb ...
461s Unpacking libatomic1:arm64 (14-20240303-1ubuntu1) ...
461s Selecting previously unselected package libasan8:arm64.
461s Preparing to unpack .../094-libasan8_14-20240303-1ubuntu1_arm64.deb ...
461s Unpacking libasan8:arm64 (14-20240303-1ubuntu1) ...
461s Selecting previously unselected package liblsan0:arm64.
461s Preparing to unpack .../095-liblsan0_14-20240303-1ubuntu1_arm64.deb ...
461s Unpacking liblsan0:arm64 (14-20240303-1ubuntu1) ...
461s Selecting previously unselected package libtsan2:arm64.
461s Preparing to unpack .../096-libtsan2_14-20240303-1ubuntu1_arm64.deb ...
461s Unpacking libtsan2:arm64 (14-20240303-1ubuntu1) ...
461s Selecting previously unselected package libubsan1:arm64.
461s Preparing to unpack .../097-libubsan1_14-20240303-1ubuntu1_arm64.deb ...
461s Unpacking libubsan1:arm64 (14-20240303-1ubuntu1) ...
461s Selecting previously unselected package libhwasan0:arm64.
462s Preparing to unpack .../098-libhwasan0_14-20240303-1ubuntu1_arm64.deb ...
462s Unpacking libhwasan0:arm64 (14-20240303-1ubuntu1) ...
462s Selecting previously unselected package libgcc-13-dev:arm64.
462s Preparing to unpack .../099-libgcc-13-dev_13.2.0-17ubuntu2_arm64.deb ...
462s Unpacking libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ...
462s Selecting previously unselected package gcc-13-aarch64-linux-gnu.
462s Preparing to unpack .../100-gcc-13-aarch64-linux-gnu_13.2.0-17ubuntu2_arm64.deb ...
462s Unpacking gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
462s Selecting previously unselected package gcc-13.
462s Preparing to unpack .../101-gcc-13_13.2.0-17ubuntu2_arm64.deb ...
462s Unpacking gcc-13 (13.2.0-17ubuntu2) ...
462s Selecting previously unselected package gcc-aarch64-linux-gnu.
462s Preparing to unpack .../102-gcc-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ...
462s Unpacking gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
462s Selecting previously unselected package gcc.
462s Preparing to unpack .../103-gcc_4%3a13.2.0-7ubuntu1_arm64.deb ...
462s Unpacking gcc (4:13.2.0-7ubuntu1) ...
462s Selecting previously unselected package ocaml.
462s Preparing to unpack .../104-ocaml_4.14.1-1ubuntu1_arm64.deb ...
462s Unpacking ocaml (4.14.1-1ubuntu1) ...
464s Selecting previously unselected package libocamlgraph-ocaml-dev.
464s Preparing to unpack .../105-libocamlgraph-ocaml-dev_2.1.0-1build1_arm64.deb ...
464s Unpacking libocamlgraph-ocaml-dev (2.1.0-1build1) ...
464s Selecting previously unselected package libppx-import-ocaml.
464s Preparing to unpack .../106-libppx-import-ocaml_1.10.0-3build2_arm64.deb ...
464s Unpacking libppx-import-ocaml (1.10.0-3build2) ...
464s Selecting previously unselected package frama-c-base.
464s Preparing to unpack .../107-frama-c-base_20220511-manganese-5build5_arm64.deb ...
464s Unpacking frama-c-base (20220511-manganese-5build5) ...
466s Selecting previously unselected package autopkgtest-satdep.
466s Preparing to unpack .../108-1-autopkgtest-satdep.deb ...
466s Unpacking autopkgtest-satdep (0) ...
466s Setting up libgraphite2-3:arm64 (1.3.14-2) ...
466s Setting up liblcms2-2:arm64 (2.14-2) ...
466s Setting up libpixman-1-0:arm64 (0.42.2-1) ...
466s Setting up libsharpyuv0:arm64 (1.3.2-0.4) ...
466s Setting up libxdamage1:arm64 (1:1.1.6-1) ...
466s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu1) ...
466s Setting up hicolor-icon-theme (0.17-2) ...
466s Setting up libxi6:arm64 (2:1.8.1-1) ...
466s Setting up libxrender1:arm64 (1:0.9.10-1.1) ...
466s Setting up libdatrie1:arm64 (0.2.13-3) ...
466s Setting up libxcb-render0:arm64 (1.15-1) ...
466s Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-3) ...
466s Setting up libdeflate0:arm64 (1.19-1) ...
466s Setting up linux-libc-dev:arm64 (6.8.0-11.11) ...
466s Setting up libxcb-shm0:arm64 (1.15-1) ...
466s Setting up libatspi2.0-0:arm64 (2.50.0-1) ...
466s Setting up libgomp1:arm64 (14-20240303-1ubuntu1) ...
466s Setting up libjbig0:arm64 (2.1-6.1ubuntu1) ...
466s Setting up libcolord2:arm64 (1.4.7-1) ...
466s Setting up libdconf1:arm64 (0.40.0-4) ...
466s Setting up libtirpc-dev:arm64 (1.3.4+ds-1build1) ...
466s Setting up rpcsvc-proto (1.4.2-0ubuntu6) ...
466s Setting up libepoxy0:arm64 (1.5.10-1) ...
466s Setting up libxfixes3:arm64 (1:6.0.0-2) ...
466s Setting up libavahi-common-data:arm64 (0.8-13ubuntu2) ...
466s Setting up libxinerama1:arm64 (2:1.1.4-3) ...
466s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ...
466s Setting up fonts-dejavu-mono (2.37-8) ...
466s Setting up libmpc3:arm64 (1.3.1-1) ...
466s Setting up libatomic1:arm64 (14-20240303-1ubuntu1) ...
466s Setting up libxrandr2:arm64 (2:1.5.2-2) ...
466s Setting up ocaml-base (4.14.1-1ubuntu1) ...
466s Setting up fonts-dejavu-core (2.37-8) ...
466s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu1) ...
466s Setting up libwebp7:arm64 (1.3.2-0.4) ...
466s Setting up libubsan1:arm64 (14-20240303-1ubuntu1) ...
466s Setting up libsexplib0-ocaml (0.16.0-3build2) ...
466s Setting up libnsl-dev:arm64 (1.3.0-3) ...
466s Setting up libhwasan0:arm64 (14-20240303-1ubuntu1) ...
466s Setting up at-spi2-common (2.50.0-1) ...
466s Setting up libcrypt-dev:arm64 (1:4.4.36-4) ...
466s Setting up libasan8:arm64 (14-20240303-1ubuntu1) ...
466s Setting up libgtksourceview-3.0-common (3.24.11-2build1) ...
466s Setting up libharfbuzz0b:arm64 (8.3.0-2) ...
466s Setting up libthai-data (0.1.29-2) ...
466s Setting up libatk1.0-0:arm64 (2.50.0-1) ...
466s Setting up libwayland-egl1:arm64 (1.22.0-2.1) ...
466s Setting up libtsan2:arm64 (14-20240303-1ubuntu1) ...
466s Setting up libisl23:arm64 (0.26-3) ...
466s Setting up libc-dev-bin (2.39-0ubuntu2) ...
466s Setting up libresult-ocaml (1.5-4build1) ...
466s Setting up libxcomposite1:arm64 (1:0.4.5-1build2) ...
466s Setting up libcc1-0:arm64 (14-20240303-1ubuntu1) ...
466s Setting up liblsan0:arm64 (14-20240303-1ubuntu1) ...
466s Setting up libitm1:arm64 (14-20240303-1ubuntu1) ...
466s Setting up libppx-import-ocaml (1.10.0-3build2) ...
466s Setting up libwayland-client0:arm64 (1.22.0-2.1) ...
466s Setting up libjpeg8:arm64 (8c-2ubuntu11) ...
466s Setting up libppx-deriving-ocaml (5.2.1-4build2) ...
466s Setting up cpp-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
466s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
466s Setting up libyojson-ocaml (2.1.2-1) ...
466s Setting up fontconfig-config (2.15.0-1ubuntu1) ...
466s Setting up libxcursor1:arm64 (1:1.2.1-1) ...
466s Setting up libavahi-common3:arm64 (0.8-13ubuntu2) ...
466s Setting up libfindlib-ocaml (1.9.6-1build3) ...
466s Setting up dconf-service (0.40.0-4) ...
466s Setting up libzarith-ocaml (1.13-2build3) ...
466s Setting up libatk-bridge2.0-0:arm64 (2.50.0-1) ...
466s Setting up libthai0:arm64 (0.1.29-2) ...
466s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
466s Setting up cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
466s Setting up ocaml-interp (4.14.1-1ubuntu1) ...
466s Setting up libgcc-13-dev:arm64 (13.2.0-17ubuntu2) ...
466s Setting up libtiff6:arm64 (4.5.1+git230720-3ubuntu1) ...
466s Setting up libwayland-cursor0:arm64 (1.22.0-2.1) ...
466s Setting up libc6-dev:arm64 (2.39-0ubuntu2) ...
466s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.10+dfsg-3) ...
466s Setting up libfontconfig1:arm64 (2.15.0-1ubuntu1) ...
466s Setting up libavahi-client3:arm64 (0.8-13ubuntu2) ...
466s Setting up gtk-update-icon-cache (3.24.40-2ubuntu1) ...
466s Setting up fontconfig (2.15.0-1ubuntu1) ...
468s Regenerating fonts cache... done.
468s Setting up libncurses-dev:arm64 (6.4+20240113-1ubuntu1) ...
468s Setting up cpp-13 (13.2.0-17ubuntu2) ...
468s Setting up dconf-gsettings-backend:arm64 (0.40.0-4) ...
468s Setting up libpango-1.0-0:arm64 (1.51.0+ds-4) ...
468s Setting up gcc-13-aarch64-linux-gnu (13.2.0-17ubuntu2) ...
468s Setting up libcairo2:arm64 (1.18.0-1) ...
468s Setting up gcc-13 (13.2.0-17ubuntu2) ...
468s Setting up libcups2:arm64 (2.4.6-0ubuntu3) ...
468s Setting up cpp (4:13.2.0-7ubuntu1) ...
468s Setting up libcairo-gobject2:arm64 (1.18.0-1) ...
468s Setting up libpangoft2-1.0-0:arm64 (1.51.0+ds-4) ...
468s Setting up libgtk-3-common (3.24.40-2ubuntu1) ...
468s Setting up libpangocairo-1.0-0:arm64 (1.51.0+ds-4) ...
468s Setting up gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
468s Setting up libcairo2-ocaml (0.6.4+dfsg-2build2) ...
468s Setting up gcc (4:13.2.0-7ubuntu1) ...
468s Setting up ocaml (4.14.1-1ubuntu1) ...
468s Setting up libocamlgraph-ocaml-dev (2.1.0-1build1) ...
468s Setting up adwaita-icon-theme (46~rc-1) ...
468s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode
468s Setting up humanity-icon-theme (0.6.16) ...
468s Setting up ubuntu-mono (24.04-0ubuntu1) ...
468s Processing triggers for man-db (2.12.0-3) ...
469s Processing triggers for libglib2.0-0:arm64 (2.79.2-1~ubuntu1) ...
469s Setting up libgtk-3-0:arm64 (3.24.40-2ubuntu1) ...
469s Processing triggers for libc-bin (2.39-0ubuntu2) ...
469s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-2build1) ...
469s Setting up liblablgtk3-ocaml (3.1.4-1) ...
469s Setting up liblablgtksourceview3-ocaml (3.1.4-1) ...
469s Setting up frama-c-base (20220511-manganese-5build5) ...
469s Setting up autopkgtest-satdep (0) ...
469s Processing triggers for libc-bin (2.39-0ubuntu2) ...
475s (Reading database ... 93733 files and directories currently installed.)
475s Removing autopkgtest-satdep (0) ...
476s autopkgtest [15:40:41]: test eva: [-----------------------
477s autopkgtest [15:40:42]: test eva: -----------------------]
477s autopkgtest [15:40:42]: test eva:  - - - - - - - - - - results - - - - - - - - - -
477s eva                  PASS
478s autopkgtest [15:40:43]: test wp: preparing testbed
484s Reading package lists...
484s Building dependency tree...
484s Reading state information...
485s Starting pkgProblemResolver with broken count: 1
485s Starting 2 pkgProblemResolver with broken count: 1
485s Investigating (0) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib >
485s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un mH > (>= 2.0.0)
485s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.6.0-1build4 @un umH >
485s   Considering why3:arm64 2 as a solution to autopkgtest-satdep:arm64 9998
485s   Re-Instated tex-common:arm64
485s   Re-Instated why3:arm64
485s Done
485s Some packages could not be installed. This may mean that you have
485s requested an impossible situation or if you are using the unstable
485s distribution that some required packages have not yet been created
485s or been moved out of Incoming.
485s The following information may help to resolve the situation:
485s 
485s The following packages have unmet dependencies:
485s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
485s E: Unable to correct problems, you have held broken packages.
485s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from noble-proposed
486s Reading package lists...
486s Building dependency tree...
486s Reading state information...
486s Starting pkgProblemResolver with broken count: 1
486s Starting 2 pkgProblemResolver with broken count: 1
486s Investigating (0) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib >
486s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un mH > (>= 2.0.0)
486s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.6.0-1build4 @un umH >
486s   Considering why3:arm64 2 as a solution to autopkgtest-satdep:arm64 9998
486s   Re-Instated tex-common:arm64
486s   Re-Instated why3:arm64
486s Done
486s Some packages could not be installed. This may mean that you have
486s requested an impossible situation or if you are using the unstable
486s distribution that some required packages have not yet been created
486s or been moved out of Incoming.
486s The following information may help to resolve the situation:
486s 
486s The following packages have unmet dependencies:
487s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
487s E: Unable to correct problems, you have held broken packages.
487s autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install on test deps directly for further data about failing dependencies in test logs
487s wp                   SKIP installation fails and skip-not-installable set
487s autopkgtest [15:40:52]: @@@@@@@@@@@@@@@@@@@@ summary
487s eva                  PASS
487s wp                   SKIP installation fails and skip-not-installable set
493s Creating nova instance adt-noble-arm64-frama-c-20240319-153245-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-arm64-server-20240319.img (UUID 821fd622-e452-4ae8-b5c8-959e73b1612a)...