0s autopkgtest [09:12:13]: starting date and time: 2024-11-13 09:12:13+0000
  0s autopkgtest [09:12:13]: git checkout: 0acbae0a WIP show VirtSubproc stderr in real-time
  0s autopkgtest [09:12:13]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.4o4uvw8e/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:python3-defaults,src:python3-stdlib-extensions --apt-upgrade frama-c --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=python3-defaults/3.12.7-1 python3-stdlib-extensions/3.12.7-1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-arm64-42.secgroup --name adt-plucky-arm64-frama-c-20241113-091213-juju-7f2275-prod-proposed-migration-environment-2-9d07d1e4-dded-436e-b1ff-53c54f29c4df --image adt/ubuntu-plucky-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,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/
144s autopkgtest [09:14:37]: testbed dpkg architecture: arm64
144s autopkgtest [09:14:37]: testbed apt version: 2.9.8
144s autopkgtest [09:14:37]: @@@@@@@@@@@@@@@@@@@@ test bed setup
145s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB]
145s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [76.4 kB]
146s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.3 kB]
146s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [849 kB]
146s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B]
146s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [104 kB]
146s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [50.3 kB]
146s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [601 kB]
146s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [17.1 kB]
146s Fetched 1793 kB in 1s (1286 kB/s)
146s Reading package lists...
149s Reading package lists...
150s Building dependency tree...
150s Reading state information...
151s Calculating upgrade...
152s The following NEW packages will be installed:
152s   python3.13-gdbm
152s The following packages will be upgraded:
152s   libpython3-stdlib python3 python3-gdbm python3-minimal
152s 4 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
152s Need to get 101 kB of archives.
152s After this operation, 141 kB of additional disk space will be used.
152s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 python3-minimal arm64 3.12.7-1 [27.4 kB]
152s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 python3 arm64 3.12.7-1 [24.0 kB]
152s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libpython3-stdlib arm64 3.12.7-1 [10.0 kB]
152s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 python3.13-gdbm arm64 3.13.0-2 [30.7 kB]
153s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 python3-gdbm arm64 3.12.7-1 [8642 B]
153s Fetched 101 kB in 0s (223 kB/s)
153s (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 ... 79924 files and directories currently installed.)
153s Preparing to unpack .../python3-minimal_3.12.7-1_arm64.deb ...
153s Unpacking python3-minimal (3.12.7-1) over (3.12.6-0ubuntu1) ...
154s Setting up python3-minimal (3.12.7-1) ...
154s (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 ... 79924 files and directories currently installed.)
154s Preparing to unpack .../python3_3.12.7-1_arm64.deb ...
154s Unpacking python3 (3.12.7-1) over (3.12.6-0ubuntu1) ...
154s Preparing to unpack .../libpython3-stdlib_3.12.7-1_arm64.deb ...
154s Unpacking libpython3-stdlib:arm64 (3.12.7-1) over (3.12.6-0ubuntu1) ...
154s Selecting previously unselected package python3.13-gdbm.
154s Preparing to unpack .../python3.13-gdbm_3.13.0-2_arm64.deb ...
154s Unpacking python3.13-gdbm (3.13.0-2) ...
154s Preparing to unpack .../python3-gdbm_3.12.7-1_arm64.deb ...
154s Unpacking python3-gdbm:arm64 (3.12.7-1) over (3.12.6-1ubuntu1) ...
154s Setting up python3.13-gdbm (3.13.0-2) ...
154s Setting up libpython3-stdlib:arm64 (3.12.7-1) ...
154s Setting up python3 (3.12.7-1) ...
155s Setting up python3-gdbm:arm64 (3.12.7-1) ...
155s Processing triggers for man-db (2.12.1-3) ...
156s Reading package lists...
156s Building dependency tree...
156s Reading state information...
157s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
157s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease
157s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
157s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
157s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
158s Reading package lists...
158s Reading package lists...
159s Building dependency tree...
159s Reading state information...
159s Calculating upgrade...
160s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
160s Reading package lists...
160s Building dependency tree...
160s Reading state information...
161s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
164s autopkgtest [09:14:57]: testbed running kernel: Linux 6.11.0-8-generic #8-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 16 14:19:41 UTC 2024
164s autopkgtest [09:14:57]: @@@@@@@@@@@@@@@@@@@@ apt-source frama-c
171s Get:1 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (dsc) [2447 B]
171s Get:2 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (tar) [8074 kB]
171s Get:3 http://ftpmaster.internal/ubuntu plucky/universe frama-c 20220511-manganese-5build14 (diff) [17.2 kB]
171s gpgv: Signature made Fri Sep  6 13:44:00 2024 UTC
171s gpgv:                using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37
171s gpgv: Can't check signature: No public key
171s dpkg-source: warning: cannot verify inline signature for ./frama-c_20220511-manganese-5build14.dsc: no acceptable signature found
171s autopkgtest [09:15:04]: testing package frama-c version 20220511-manganese-5build14
172s autopkgtest [09:15:05]: build not needed
174s autopkgtest [09:15:07]: test eva: preparing testbed
175s Reading package lists...
176s Building dependency tree...
176s Reading state information...
176s Starting pkgProblemResolver with broken count: 0
176s Starting 2 pkgProblemResolver with broken count: 0
176s Done
177s The following additional packages will be installed:
177s   adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu
177s   cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig
177s   fontconfig-config fonts-dejavu-core fonts-dejavu-mono frama-c-base gcc
177s   gcc-14 gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache
177s   hicolor-icon-theme humanity-icon-theme libasan8 libatk-bridge2.0-0t64
177s   libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data
177s   libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0
177s   libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1
177s   libdeflate0 libepoxy0 libfindlib-ocaml libfontconfig1 libgcc-14-dev
177s   libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 libgraphite2-3
177s   libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1
177s   libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1
177s   libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml
177s   liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3
177s   libncurses-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0
177s   libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml libppx-import-ocaml
177s   libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev
177s   libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0
177s   libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0
177s   libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1
177s   libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml libzstd-dev ocaml
177s   ocaml-base ocaml-interp ubuntu-mono
177s Suggested packages:
177s   adwaita-icon-theme-legacy cpp-doc gcc-14-locales cpp-14-doc gcc-multilib
177s   manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-14-doc
177s   gdb-aarch64-linux-gnu colord cups-common gvfs liblcms2-utils ncurses-doc
177s   ocaml-doc elpa-tuareg
177s Recommended packages:
177s   librsvg2-common alt-ergo why3 at-spi2-core libgdk-pixbuf2.0-bin libgtk-3-bin
177s   ocaml-findlib ocaml-man ledit | readline-editor
177s The following NEW packages will be installed:
177s   adwaita-icon-theme at-spi2-common autopkgtest-satdep cpp cpp-14
177s   cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu dconf-gsettings-backend
177s   dconf-service fontconfig fontconfig-config fonts-dejavu-core
177s   fonts-dejavu-mono frama-c-base gcc gcc-14 gcc-14-aarch64-linux-gnu
177s   gcc-aarch64-linux-gnu gtk-update-icon-cache hicolor-icon-theme
177s   humanity-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64
177s   libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3
177s   libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2
177s   libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0
177s   libepoxy0 libfindlib-ocaml libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0
177s   libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64
177s   libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common
177s   libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8
177s   liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0
177s   libmpc3 libncurses-dev libocamlgraph-ocaml-dev libpango-1.0-0
177s   libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libppx-deriving-ocaml
177s   libppx-import-ocaml libsexplib0-ocaml libsharpyuv0 libstdlib-ocaml
177s   libstdlib-ocaml-dev libthai-data libthai0 libtiff6 libtsan2 libubsan1
177s   libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp7
177s   libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3
177s   libxi6 libxinerama1 libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml
177s   libzstd-dev ocaml ocaml-base ocaml-interp ubuntu-mono
177s 0 upgraded, 101 newly installed, 0 to remove and 0 not upgraded.
177s Need to get 232 MB/232 MB of archives.
177s After this operation, 733 MB of additional disk space will be used.
177s Get:1 /tmp/autopkgtest.yZKssR/1-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [712 B]
177s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [7888 B]
177s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-2ubuntu2 [163 kB]
178s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B]
178s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.22-1 [46.2 kB]
178s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB]
178s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-4ubuntu2 [154 kB]
178s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.4.0-0.1 [16.3 kB]
178s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.4.0-0.1 [192 kB]
178s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB]
178s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-1 [145 kB]
178s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.16.5+ds-1 [51.7 kB]
179s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-1 [13.5 kB]
179s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 humanity-icon-theme all 0.6.16 [1282 kB]
180s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-mono all 24.04-0ubuntu1 [151 kB]
180s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 47.0-2 [525 kB]
180s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.54.0-1 [8774 B]
180s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB]
181s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB]
181s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-8ubuntu1 [10.6 MB]
191s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-8ubuntu1 [1028 B]
191s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.1.0-2ubuntu1 [5452 B]
191s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.1.0-2ubuntu1 [22.5 kB]
191s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-4build2 [39.8 kB]
191s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-4build2 [26.9 kB]
191s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-4build2 [22.0 kB]
191s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB]
191s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB]
192s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-1.1ubuntu2 [37.4 kB]
192s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-1.1ubuntu2 [142 kB]
192s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-1.1ubuntu2 [190 kB]
193s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB]
193s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB]
193s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B]
193s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB]
193s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB]
193s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.54.0-1 [55.0 kB]
193s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB]
193s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.54.0-1 [80.2 kB]
193s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.54.0-1 [66.6 kB]
193s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB]
194s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB]
194s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-1build2 [149 kB]
194s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-13ubuntu6 [29.6 kB]
194s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-13ubuntu6 [23.3 kB]
194s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-13ubuntu6 [27.2 kB]
194s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.10-1ubuntu2 [271 kB]
194s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB]
194s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB]
194s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.0.1-1 [487 kB]
195s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB]
195s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB]
195s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB]
195s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.54.0+ds-3 [234 kB]
195s Get:55 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.54.0+ds-3 [48.9 kB]
195s Get:56 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.54.0+ds-3 [27.5 kB]
195s Get:57 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.0-1 [26.7 kB]
195s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.0-1 [10.6 kB]
195s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.0-1 [5636 B]
195s Get:60 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B]
195s Get:61 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB]
195s Get:62 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.2-1 [21.2 kB]
195s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B]
195s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B]
195s Get:65 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB]
195s Get:66 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.43-3ubuntu2 [1202 kB]
196s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.43-3ubuntu2 [2898 kB]
199s Get:68 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB]
199s Get:69 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB]
199s Get:70 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB]
200s Get:71 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB]
200s Get:72 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.4+dfsg-4build1 [27.5 kB]
200s Get:73 http://ftpmaster.internal/ubuntu plucky/universe arm64 libfindlib-ocaml arm64 1.9.6-3build1 [193 kB]
200s Get:74 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build1 [3691 kB]
204s Get:75 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build1 [343 kB]
204s Get:76 http://ftpmaster.internal/ubuntu plucky/universe arm64 libsexplib0-ocaml arm64 0.17.0-1 [139 kB]
204s Get:77 http://ftpmaster.internal/ubuntu plucky/universe arm64 libppx-deriving-ocaml arm64 6.0.2-2build2 [5649 kB]
209s Get:78 http://ftpmaster.internal/ubuntu plucky/universe arm64 libyojson-ocaml arm64 2.2.2-1 [569 kB]
209s Get:79 http://ftpmaster.internal/ubuntu plucky/universe arm64 libzarith-ocaml arm64 1.14-1 [121 kB]
209s Get:80 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB]
217s Get:81 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB]
246s Get:82 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB]
251s Get:83 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5-2 [385 kB]
251s Get:84 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 14.2.0-8ubuntu1 [49.7 kB]
251s Get:85 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 14.2.0-8ubuntu1 [145 kB]
251s Get:86 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 14.2.0-8ubuntu1 [27.8 kB]
251s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 14.2.0-8ubuntu1 [2893 kB]
253s Get:88 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 14.2.0-8ubuntu1 [1283 kB]
253s Get:89 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 14.2.0-8ubuntu1 [2686 kB]
255s Get:90 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 14.2.0-8ubuntu1 [1151 kB]
255s Get:91 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 14.2.0-8ubuntu1 [1598 kB]
256s Get:92 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-8ubuntu1 [2594 kB]
257s Get:93 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-8ubuntu1 [20.9 MB]
266s Get:94 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-8ubuntu1 [518 kB]
266s Get:95 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.1.0-2ubuntu1 [1200 B]
266s Get:96 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.1.0-2ubuntu1 [4994 B]
266s Get:97 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-1 [352 kB]
266s Get:98 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB]
277s Get:99 http://ftpmaster.internal/ubuntu plucky/universe arm64 libocamlgraph-ocaml-dev arm64 2.1.0-3build1 [6927 kB]
280s Get:100 http://ftpmaster.internal/ubuntu plucky/universe arm64 libppx-import-ocaml arm64 1.11.0-2build2 [68.2 kB]
280s Get:101 http://ftpmaster.internal/ubuntu plucky/universe arm64 frama-c-base arm64 20220511-manganese-5build14 [66.3 MB]
306s Fetched 232 MB in 2min 8s (1817 kB/s)
306s Selecting previously unselected package libgdk-pixbuf2.0-common.
306s (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 ... 79931 files and directories currently installed.)
306s Preparing to unpack .../000-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ...
306s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ...
306s Selecting previously unselected package libjpeg-turbo8:arm64.
306s Preparing to unpack .../001-libjpeg-turbo8_2.1.5-2ubuntu2_arm64.deb ...
306s Unpacking libjpeg-turbo8:arm64 (2.1.5-2ubuntu2) ...
306s Selecting previously unselected package libjpeg8:arm64.
306s Preparing to unpack .../002-libjpeg8_8c-2ubuntu11_arm64.deb ...
306s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ...
306s Selecting previously unselected package libdeflate0:arm64.
306s Preparing to unpack .../003-libdeflate0_1.22-1_arm64.deb ...
306s Unpacking libdeflate0:arm64 (1.22-1) ...
306s Selecting previously unselected package libjbig0:arm64.
306s Preparing to unpack .../004-libjbig0_2.1-6.1ubuntu2_arm64.deb ...
306s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ...
306s Selecting previously unselected package liblerc4:arm64.
306s Preparing to unpack .../005-liblerc4_4.0.0+ds-4ubuntu2_arm64.deb ...
306s Unpacking liblerc4:arm64 (4.0.0+ds-4ubuntu2) ...
306s Selecting previously unselected package libsharpyuv0:arm64.
306s Preparing to unpack .../006-libsharpyuv0_1.4.0-0.1_arm64.deb ...
306s Unpacking libsharpyuv0:arm64 (1.4.0-0.1) ...
306s Selecting previously unselected package libwebp7:arm64.
306s Preparing to unpack .../007-libwebp7_1.4.0-0.1_arm64.deb ...
306s Unpacking libwebp7:arm64 (1.4.0-0.1) ...
306s Selecting previously unselected package libtiff6:arm64.
306s Preparing to unpack .../008-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ...
306s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ...
306s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64.
306s Preparing to unpack .../009-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1_arm64.deb ...
306s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-1) ...
306s Selecting previously unselected package gtk-update-icon-cache.
306s Preparing to unpack .../010-gtk-update-icon-cache_4.16.5+ds-1_arm64.deb ...
306s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed.
306s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed.
306s Unpacking gtk-update-icon-cache (4.16.5+ds-1) ...
306s Selecting previously unselected package hicolor-icon-theme.
306s Preparing to unpack .../011-hicolor-icon-theme_0.18-1_all.deb ...
306s Unpacking hicolor-icon-theme (0.18-1) ...
306s Selecting previously unselected package humanity-icon-theme.
306s Preparing to unpack .../012-humanity-icon-theme_0.6.16_all.deb ...
306s Unpacking humanity-icon-theme (0.6.16) ...
307s Selecting previously unselected package ubuntu-mono.
307s Preparing to unpack .../013-ubuntu-mono_24.04-0ubuntu1_all.deb ...
307s Unpacking ubuntu-mono (24.04-0ubuntu1) ...
307s Selecting previously unselected package adwaita-icon-theme.
307s Preparing to unpack .../014-adwaita-icon-theme_47.0-2_all.deb ...
307s Unpacking adwaita-icon-theme (47.0-2) ...
307s Selecting previously unselected package at-spi2-common.
307s Preparing to unpack .../015-at-spi2-common_2.54.0-1_all.deb ...
307s Unpacking at-spi2-common (2.54.0-1) ...
307s Selecting previously unselected package libisl23:arm64.
307s Preparing to unpack .../016-libisl23_0.27-1_arm64.deb ...
307s Unpacking libisl23:arm64 (0.27-1) ...
307s Selecting previously unselected package libmpc3:arm64.
307s Preparing to unpack .../017-libmpc3_1.3.1-1build2_arm64.deb ...
307s Unpacking libmpc3:arm64 (1.3.1-1build2) ...
307s Selecting previously unselected package cpp-14-aarch64-linux-gnu.
307s Preparing to unpack .../018-cpp-14-aarch64-linux-gnu_14.2.0-8ubuntu1_arm64.deb ...
307s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-8ubuntu1) ...
307s Selecting previously unselected package cpp-14.
307s Preparing to unpack .../019-cpp-14_14.2.0-8ubuntu1_arm64.deb ...
307s Unpacking cpp-14 (14.2.0-8ubuntu1) ...
307s Selecting previously unselected package cpp-aarch64-linux-gnu.
307s Preparing to unpack .../020-cpp-aarch64-linux-gnu_4%3a14.1.0-2ubuntu1_arm64.deb ...
307s Unpacking cpp-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
307s Selecting previously unselected package cpp.
307s Preparing to unpack .../021-cpp_4%3a14.1.0-2ubuntu1_arm64.deb ...
307s Unpacking cpp (4:14.1.0-2ubuntu1) ...
307s Selecting previously unselected package libdconf1:arm64.
308s Preparing to unpack .../022-libdconf1_0.40.0-4build2_arm64.deb ...
308s Unpacking libdconf1:arm64 (0.40.0-4build2) ...
308s Selecting previously unselected package dconf-service.
308s Preparing to unpack .../023-dconf-service_0.40.0-4build2_arm64.deb ...
308s Unpacking dconf-service (0.40.0-4build2) ...
308s Selecting previously unselected package dconf-gsettings-backend:arm64.
308s Preparing to unpack .../024-dconf-gsettings-backend_0.40.0-4build2_arm64.deb ...
308s Unpacking dconf-gsettings-backend:arm64 (0.40.0-4build2) ...
308s Selecting previously unselected package fonts-dejavu-mono.
308s Preparing to unpack .../025-fonts-dejavu-mono_2.37-8_all.deb ...
308s Unpacking fonts-dejavu-mono (2.37-8) ...
308s Selecting previously unselected package fonts-dejavu-core.
308s Preparing to unpack .../026-fonts-dejavu-core_2.37-8_all.deb ...
308s Unpacking fonts-dejavu-core (2.37-8) ...
308s Selecting previously unselected package fontconfig-config.
308s Preparing to unpack .../027-fontconfig-config_2.15.0-1.1ubuntu2_arm64.deb ...
308s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ...
308s Selecting previously unselected package libfontconfig1:arm64.
308s Preparing to unpack .../028-libfontconfig1_2.15.0-1.1ubuntu2_arm64.deb ...
308s Unpacking libfontconfig1:arm64 (2.15.0-1.1ubuntu2) ...
308s Selecting previously unselected package fontconfig.
308s Preparing to unpack .../029-fontconfig_2.15.0-1.1ubuntu2_arm64.deb ...
308s Unpacking fontconfig (2.15.0-1.1ubuntu2) ...
308s Selecting previously unselected package libpixman-1-0:arm64.
308s Preparing to unpack .../030-libpixman-1-0_0.44.0-3_arm64.deb ...
308s Unpacking libpixman-1-0:arm64 (0.44.0-3) ...
308s Selecting previously unselected package libxcb-render0:arm64.
308s Preparing to unpack .../031-libxcb-render0_1.17.0-2_arm64.deb ...
308s Unpacking libxcb-render0:arm64 (1.17.0-2) ...
308s Selecting previously unselected package libxcb-shm0:arm64.
308s Preparing to unpack .../032-libxcb-shm0_1.17.0-2_arm64.deb ...
308s Unpacking libxcb-shm0:arm64 (1.17.0-2) ...
308s Selecting previously unselected package libxrender1:arm64.
308s Preparing to unpack .../033-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ...
308s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ...
308s Selecting previously unselected package libcairo2:arm64.
308s Preparing to unpack .../034-libcairo2_1.18.2-2_arm64.deb ...
308s Unpacking libcairo2:arm64 (1.18.2-2) ...
308s Selecting previously unselected package libatk1.0-0t64:arm64.
308s Preparing to unpack .../035-libatk1.0-0t64_2.54.0-1_arm64.deb ...
308s Unpacking libatk1.0-0t64:arm64 (2.54.0-1) ...
308s Selecting previously unselected package libxi6:arm64.
308s Preparing to unpack .../036-libxi6_2%3a1.8.2-1_arm64.deb ...
308s Unpacking libxi6:arm64 (2:1.8.2-1) ...
308s Selecting previously unselected package libatspi2.0-0t64:arm64.
308s Preparing to unpack .../037-libatspi2.0-0t64_2.54.0-1_arm64.deb ...
308s Unpacking libatspi2.0-0t64:arm64 (2.54.0-1) ...
308s Selecting previously unselected package libatk-bridge2.0-0t64:arm64.
308s Preparing to unpack .../038-libatk-bridge2.0-0t64_2.54.0-1_arm64.deb ...
308s Unpacking libatk-bridge2.0-0t64:arm64 (2.54.0-1) ...
308s Selecting previously unselected package libcairo-gobject2:arm64.
308s Preparing to unpack .../039-libcairo-gobject2_1.18.2-2_arm64.deb ...
308s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ...
308s Selecting previously unselected package liblcms2-2:arm64.
308s Preparing to unpack .../040-liblcms2-2_2.16-2_arm64.deb ...
308s Unpacking liblcms2-2:arm64 (2.16-2) ...
308s Selecting previously unselected package libcolord2:arm64.
308s Preparing to unpack .../041-libcolord2_1.4.7-1build2_arm64.deb ...
308s Unpacking libcolord2:arm64 (1.4.7-1build2) ...
309s Selecting previously unselected package libavahi-common-data:arm64.
309s Preparing to unpack .../042-libavahi-common-data_0.8-13ubuntu6_arm64.deb ...
309s Unpacking libavahi-common-data:arm64 (0.8-13ubuntu6) ...
309s Selecting previously unselected package libavahi-common3:arm64.
309s Preparing to unpack .../043-libavahi-common3_0.8-13ubuntu6_arm64.deb ...
309s Unpacking libavahi-common3:arm64 (0.8-13ubuntu6) ...
309s Selecting previously unselected package libavahi-client3:arm64.
309s Preparing to unpack .../044-libavahi-client3_0.8-13ubuntu6_arm64.deb ...
309s Unpacking libavahi-client3:arm64 (0.8-13ubuntu6) ...
309s Selecting previously unselected package libcups2t64:arm64.
309s Preparing to unpack .../045-libcups2t64_2.4.10-1ubuntu2_arm64.deb ...
309s Unpacking libcups2t64:arm64 (2.4.10-1ubuntu2) ...
309s Selecting previously unselected package libepoxy0:arm64.
309s Preparing to unpack .../046-libepoxy0_1.5.10-2_arm64.deb ...
309s Unpacking libepoxy0:arm64 (1.5.10-2) ...
309s Selecting previously unselected package libgraphite2-3:arm64.
309s Preparing to unpack .../047-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ...
309s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ...
309s Selecting previously unselected package libharfbuzz0b:arm64.
309s Preparing to unpack .../048-libharfbuzz0b_10.0.1-1_arm64.deb ...
309s Unpacking libharfbuzz0b:arm64 (10.0.1-1) ...
309s Selecting previously unselected package libthai-data.
309s Preparing to unpack .../049-libthai-data_0.1.29-2build1_all.deb ...
309s Unpacking libthai-data (0.1.29-2build1) ...
309s Selecting previously unselected package libdatrie1:arm64.
309s Preparing to unpack .../050-libdatrie1_0.2.13-3build1_arm64.deb ...
309s Unpacking libdatrie1:arm64 (0.2.13-3build1) ...
309s Selecting previously unselected package libthai0:arm64.
309s Preparing to unpack .../051-libthai0_0.1.29-2build1_arm64.deb ...
309s Unpacking libthai0:arm64 (0.1.29-2build1) ...
309s Selecting previously unselected package libpango-1.0-0:arm64.
309s Preparing to unpack .../052-libpango-1.0-0_1.54.0+ds-3_arm64.deb ...
309s Unpacking libpango-1.0-0:arm64 (1.54.0+ds-3) ...
309s Selecting previously unselected package libpangoft2-1.0-0:arm64.
309s Preparing to unpack .../053-libpangoft2-1.0-0_1.54.0+ds-3_arm64.deb ...
309s Unpacking libpangoft2-1.0-0:arm64 (1.54.0+ds-3) ...
309s Selecting previously unselected package libpangocairo-1.0-0:arm64.
309s Preparing to unpack .../054-libpangocairo-1.0-0_1.54.0+ds-3_arm64.deb ...
309s Unpacking libpangocairo-1.0-0:arm64 (1.54.0+ds-3) ...
309s Selecting previously unselected package libwayland-client0:arm64.
309s Preparing to unpack .../055-libwayland-client0_1.23.0-1_arm64.deb ...
309s Unpacking libwayland-client0:arm64 (1.23.0-1) ...
309s Selecting previously unselected package libwayland-cursor0:arm64.
309s Preparing to unpack .../056-libwayland-cursor0_1.23.0-1_arm64.deb ...
309s Unpacking libwayland-cursor0:arm64 (1.23.0-1) ...
309s Selecting previously unselected package libwayland-egl1:arm64.
309s Preparing to unpack .../057-libwayland-egl1_1.23.0-1_arm64.deb ...
309s Unpacking libwayland-egl1:arm64 (1.23.0-1) ...
309s Selecting previously unselected package libxcomposite1:arm64.
309s Preparing to unpack .../058-libxcomposite1_1%3a0.4.6-1_arm64.deb ...
309s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ...
309s Selecting previously unselected package libxfixes3:arm64.
309s Preparing to unpack .../059-libxfixes3_1%3a6.0.0-2build1_arm64.deb ...
309s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ...
309s Selecting previously unselected package libxcursor1:arm64.
309s Preparing to unpack .../060-libxcursor1_1%3a1.2.2-1_arm64.deb ...
309s Unpacking libxcursor1:arm64 (1:1.2.2-1) ...
309s Selecting previously unselected package libxdamage1:arm64.
309s Preparing to unpack .../061-libxdamage1_1%3a1.1.6-1build1_arm64.deb ...
309s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ...
309s Selecting previously unselected package libxinerama1:arm64.
309s Preparing to unpack .../062-libxinerama1_2%3a1.1.4-3build1_arm64.deb ...
309s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ...
309s Selecting previously unselected package libxrandr2:arm64.
309s Preparing to unpack .../063-libxrandr2_2%3a1.5.4-1_arm64.deb ...
309s Unpacking libxrandr2:arm64 (2:1.5.4-1) ...
309s Selecting previously unselected package libgtk-3-common.
310s Preparing to unpack .../064-libgtk-3-common_3.24.43-3ubuntu2_all.deb ...
310s Unpacking libgtk-3-common (3.24.43-3ubuntu2) ...
310s Selecting previously unselected package libgtk-3-0t64:arm64.
310s Preparing to unpack .../065-libgtk-3-0t64_3.24.43-3ubuntu2_arm64.deb ...
310s Unpacking libgtk-3-0t64:arm64 (3.24.43-3ubuntu2) ...
310s Selecting previously unselected package libgtksourceview-3.0-common.
310s Preparing to unpack .../066-libgtksourceview-3.0-common_3.24.11-3_all.deb ...
310s Unpacking libgtksourceview-3.0-common (3.24.11-3) ...
310s Selecting previously unselected package libgtksourceview-3.0-1:arm64.
310s Preparing to unpack .../067-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ...
310s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ...
310s Selecting previously unselected package libstdlib-ocaml.
310s Preparing to unpack .../068-libstdlib-ocaml_5.2.0-3_arm64.deb ...
310s Unpacking libstdlib-ocaml (5.2.0-3) ...
310s Selecting previously unselected package ocaml-base.
310s Preparing to unpack .../069-ocaml-base_5.2.0-3_arm64.deb ...
310s Unpacking ocaml-base (5.2.0-3) ...
310s Selecting previously unselected package libcairo2-ocaml.
310s Preparing to unpack .../070-libcairo2-ocaml_0.6.4+dfsg-4build1_arm64.deb ...
310s Unpacking libcairo2-ocaml (0.6.4+dfsg-4build1) ...
310s Selecting previously unselected package libfindlib-ocaml.
310s Preparing to unpack .../071-libfindlib-ocaml_1.9.6-3build1_arm64.deb ...
310s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
310s Selecting previously unselected package liblablgtk3-ocaml.
310s Preparing to unpack .../072-liblablgtk3-ocaml_3.1.5-1build1_arm64.deb ...
310s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ...
310s Selecting previously unselected package liblablgtksourceview3-ocaml.
310s Preparing to unpack .../073-liblablgtksourceview3-ocaml_3.1.5-1build1_arm64.deb ...
310s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ...
310s Selecting previously unselected package libsexplib0-ocaml.
310s Preparing to unpack .../074-libsexplib0-ocaml_0.17.0-1_arm64.deb ...
310s Unpacking libsexplib0-ocaml (0.17.0-1) ...
310s Selecting previously unselected package libppx-deriving-ocaml.
310s Preparing to unpack .../075-libppx-deriving-ocaml_6.0.2-2build2_arm64.deb ...
310s Unpacking libppx-deriving-ocaml (6.0.2-2build2) ...
310s Selecting previously unselected package libyojson-ocaml.
311s Preparing to unpack .../076-libyojson-ocaml_2.2.2-1_arm64.deb ...
311s Unpacking libyojson-ocaml (2.2.2-1) ...
311s Selecting previously unselected package libzarith-ocaml.
311s Preparing to unpack .../077-libzarith-ocaml_1.14-1_arm64.deb ...
311s Unpacking libzarith-ocaml (1.14-1) ...
311s Selecting previously unselected package libstdlib-ocaml-dev.
311s Preparing to unpack .../078-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ...
311s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
311s Selecting previously unselected package libcompiler-libs-ocaml-dev.
311s Preparing to unpack .../079-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ...
311s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
311s Selecting previously unselected package ocaml-interp.
311s Preparing to unpack .../080-ocaml-interp_5.2.0-3_arm64.deb ...
311s Unpacking ocaml-interp (5.2.0-3) ...
312s Selecting previously unselected package libncurses-dev:arm64.
312s Preparing to unpack .../081-libncurses-dev_6.5-2_arm64.deb ...
312s Unpacking libncurses-dev:arm64 (6.5-2) ...
312s Selecting previously unselected package libcc1-0:arm64.
312s Preparing to unpack .../082-libcc1-0_14.2.0-8ubuntu1_arm64.deb ...
312s Unpacking libcc1-0:arm64 (14.2.0-8ubuntu1) ...
312s Selecting previously unselected package libgomp1:arm64.
312s Preparing to unpack .../083-libgomp1_14.2.0-8ubuntu1_arm64.deb ...
312s Unpacking libgomp1:arm64 (14.2.0-8ubuntu1) ...
312s Selecting previously unselected package libitm1:arm64.
312s Preparing to unpack .../084-libitm1_14.2.0-8ubuntu1_arm64.deb ...
312s Unpacking libitm1:arm64 (14.2.0-8ubuntu1) ...
312s Selecting previously unselected package libasan8:arm64.
312s Preparing to unpack .../085-libasan8_14.2.0-8ubuntu1_arm64.deb ...
312s Unpacking libasan8:arm64 (14.2.0-8ubuntu1) ...
312s Selecting previously unselected package liblsan0:arm64.
312s Preparing to unpack .../086-liblsan0_14.2.0-8ubuntu1_arm64.deb ...
312s Unpacking liblsan0:arm64 (14.2.0-8ubuntu1) ...
312s Selecting previously unselected package libtsan2:arm64.
312s Preparing to unpack .../087-libtsan2_14.2.0-8ubuntu1_arm64.deb ...
312s Unpacking libtsan2:arm64 (14.2.0-8ubuntu1) ...
312s Selecting previously unselected package libubsan1:arm64.
312s Preparing to unpack .../088-libubsan1_14.2.0-8ubuntu1_arm64.deb ...
312s Unpacking libubsan1:arm64 (14.2.0-8ubuntu1) ...
312s Selecting previously unselected package libhwasan0:arm64.
312s Preparing to unpack .../089-libhwasan0_14.2.0-8ubuntu1_arm64.deb ...
312s Unpacking libhwasan0:arm64 (14.2.0-8ubuntu1) ...
312s Selecting previously unselected package libgcc-14-dev:arm64.
312s Preparing to unpack .../090-libgcc-14-dev_14.2.0-8ubuntu1_arm64.deb ...
312s Unpacking libgcc-14-dev:arm64 (14.2.0-8ubuntu1) ...
312s Selecting previously unselected package gcc-14-aarch64-linux-gnu.
312s Preparing to unpack .../091-gcc-14-aarch64-linux-gnu_14.2.0-8ubuntu1_arm64.deb ...
312s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-8ubuntu1) ...
313s Selecting previously unselected package gcc-14.
313s Preparing to unpack .../092-gcc-14_14.2.0-8ubuntu1_arm64.deb ...
313s Unpacking gcc-14 (14.2.0-8ubuntu1) ...
313s Selecting previously unselected package gcc-aarch64-linux-gnu.
313s Preparing to unpack .../093-gcc-aarch64-linux-gnu_4%3a14.1.0-2ubuntu1_arm64.deb ...
313s Unpacking gcc-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
313s Selecting previously unselected package gcc.
313s Preparing to unpack .../094-gcc_4%3a14.1.0-2ubuntu1_arm64.deb ...
313s Unpacking gcc (4:14.1.0-2ubuntu1) ...
313s Selecting previously unselected package libzstd-dev:arm64.
313s Preparing to unpack .../095-libzstd-dev_1.5.6+dfsg-1_arm64.deb ...
313s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-1) ...
313s Selecting previously unselected package ocaml.
313s Preparing to unpack .../096-ocaml_5.2.0-3_arm64.deb ...
313s Unpacking ocaml (5.2.0-3) ...
313s Selecting previously unselected package libocamlgraph-ocaml-dev.
314s Preparing to unpack .../097-libocamlgraph-ocaml-dev_2.1.0-3build1_arm64.deb ...
314s Unpacking libocamlgraph-ocaml-dev (2.1.0-3build1) ...
314s Selecting previously unselected package libppx-import-ocaml.
314s Preparing to unpack .../098-libppx-import-ocaml_1.11.0-2build2_arm64.deb ...
314s Unpacking libppx-import-ocaml (1.11.0-2build2) ...
314s Selecting previously unselected package frama-c-base.
314s Preparing to unpack .../099-frama-c-base_20220511-manganese-5build14_arm64.deb ...
314s Unpacking frama-c-base (20220511-manganese-5build14) ...
315s Selecting previously unselected package autopkgtest-satdep.
315s Preparing to unpack .../100-1-autopkgtest-satdep.deb ...
315s Unpacking autopkgtest-satdep (0) ...
315s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ...
315s Setting up liblcms2-2:arm64 (2.16-2) ...
315s Setting up libpixman-1-0:arm64 (0.44.0-3) ...
315s Setting up libsharpyuv0:arm64 (1.4.0-0.1) ...
315s Setting up libncurses-dev:arm64 (6.5-2) ...
315s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ...
315s Setting up liblerc4:arm64 (4.0.0+ds-4ubuntu2) ...
315s Setting up libzstd-dev:arm64 (1.5.6+dfsg-1) ...
315s Setting up hicolor-icon-theme (0.18-1) ...
315s Setting up libxi6:arm64 (2:1.8.2-1) ...
315s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ...
315s Setting up libdatrie1:arm64 (0.2.13-3build1) ...
315s Setting up libxcb-render0:arm64 (1.17.0-2) ...
315s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ...
315s Setting up libdeflate0:arm64 (1.22-1) ...
315s Setting up libxcb-shm0:arm64 (1.17.0-2) ...
315s Setting up libgomp1:arm64 (14.2.0-8ubuntu1) ...
315s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ...
315s Setting up libcolord2:arm64 (1.4.7-1build2) ...
315s Setting up libdconf1:arm64 (0.40.0-4build2) ...
315s Setting up libepoxy0:arm64 (1.5.10-2) ...
315s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ...
315s Setting up libavahi-common-data:arm64 (0.8-13ubuntu6) ...
315s Setting up libatspi2.0-0t64:arm64 (2.54.0-1) ...
315s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ...
315s Setting up libstdlib-ocaml (5.2.0-3) ...
315s Setting up fonts-dejavu-mono (2.37-8) ...
315s Setting up libmpc3:arm64 (1.3.1-1build2) ...
315s Setting up libxrandr2:arm64 (2:1.5.4-1) ...
315s Setting up ocaml-base (5.2.0-3) ...
315s Setting up fonts-dejavu-core (2.37-8) ...
315s Setting up libjpeg-turbo8:arm64 (2.1.5-2ubuntu2) ...
315s Setting up libwebp7:arm64 (1.4.0-0.1) ...
315s Setting up libubsan1:arm64 (14.2.0-8ubuntu1) ...
315s Setting up libsexplib0-ocaml (0.17.0-1) ...
315s Setting up libhwasan0:arm64 (14.2.0-8ubuntu1) ...
315s Setting up at-spi2-common (2.54.0-1) ...
315s Setting up libasan8:arm64 (14.2.0-8ubuntu1) ...
315s Setting up libgtksourceview-3.0-common (3.24.11-3) ...
315s Setting up libharfbuzz0b:arm64 (10.0.1-1) ...
315s Setting up libthai-data (0.1.29-2build1) ...
315s Setting up libwayland-egl1:arm64 (1.23.0-1) ...
315s Setting up libtsan2:arm64 (14.2.0-8ubuntu1) ...
315s Setting up libisl23:arm64 (0.27-1) ...
315s Setting up libxcomposite1:arm64 (1:0.4.6-1) ...
315s Setting up libcc1-0:arm64 (14.2.0-8ubuntu1) ...
315s Setting up liblsan0:arm64 (14.2.0-8ubuntu1) ...
315s Setting up libitm1:arm64 (14.2.0-8ubuntu1) ...
315s Setting up libppx-import-ocaml (1.11.0-2build2) ...
315s Setting up libwayland-client0:arm64 (1.23.0-1) ...
315s Setting up libjpeg8:arm64 (8c-2ubuntu11) ...
315s Setting up libppx-deriving-ocaml (6.0.2-2build2) ...
315s Setting up libatk1.0-0t64:arm64 (2.54.0-1) ...
315s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
315s Setting up libyojson-ocaml (2.2.2-1) ...
315s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ...
315s Setting up libxcursor1:arm64 (1:1.2.2-1) ...
315s Setting up libavahi-common3:arm64 (0.8-13ubuntu6) ...
315s Setting up libfindlib-ocaml (1.9.6-3build1) ...
315s Setting up dconf-service (0.40.0-4build2) ...
315s Setting up libzarith-ocaml (1.14-1) ...
315s Setting up libthai0:arm64 (0.1.29-2build1) ...
315s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
315s Setting up ocaml-interp (5.2.0-3) ...
315s Setting up cpp-14-aarch64-linux-gnu (14.2.0-8ubuntu1) ...
315s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ...
315s Setting up libwayland-cursor0:arm64 (1.23.0-1) ...
315s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-1) ...
315s Setting up libfontconfig1:arm64 (2.15.0-1.1ubuntu2) ...
315s Setting up libgcc-14-dev:arm64 (14.2.0-8ubuntu1) ...
315s Setting up libavahi-client3:arm64 (0.8-13ubuntu6) ...
315s Setting up libatk-bridge2.0-0t64:arm64 (2.54.0-1) ...
315s Setting up gtk-update-icon-cache (4.16.5+ds-1) ...
315s Setting up fontconfig (2.15.0-1.1ubuntu2) ...
317s Regenerating fonts cache... done.
317s Setting up dconf-gsettings-backend:arm64 (0.40.0-4build2) ...
317s Setting up libpango-1.0-0:arm64 (1.54.0+ds-3) ...
317s Setting up libcairo2:arm64 (1.18.2-2) ...
317s Setting up cpp-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
317s Setting up cpp-14 (14.2.0-8ubuntu1) ...
317s Setting up cpp (4:14.1.0-2ubuntu1) ...
317s Setting up libcairo-gobject2:arm64 (1.18.2-2) ...
317s Setting up gcc-14-aarch64-linux-gnu (14.2.0-8ubuntu1) ...
317s Setting up libpangoft2-1.0-0:arm64 (1.54.0+ds-3) ...
317s Setting up libcups2t64:arm64 (2.4.10-1ubuntu2) ...
317s Setting up libgtk-3-common (3.24.43-3ubuntu2) ...
317s Setting up libpangocairo-1.0-0:arm64 (1.54.0+ds-3) ...
317s Setting up gcc-aarch64-linux-gnu (4:14.1.0-2ubuntu1) ...
317s Setting up libcairo2-ocaml (0.6.4+dfsg-4build1) ...
317s Setting up gcc-14 (14.2.0-8ubuntu1) ...
317s Setting up gcc (4:14.1.0-2ubuntu1) ...
317s Setting up ocaml (5.2.0-3) ...
317s Setting up libocamlgraph-ocaml-dev (2.1.0-3build1) ...
317s Setting up adwaita-icon-theme (47.0-2) ...
317s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode
317s Setting up humanity-icon-theme (0.6.16) ...
317s Setting up ubuntu-mono (24.04-0ubuntu1) ...
317s Processing triggers for man-db (2.12.1-3) ...
318s Processing triggers for libglib2.0-0t64:arm64 (2.82.1-0ubuntu1) ...
318s Setting up libgtk-3-0t64:arm64 (3.24.43-3ubuntu2) ...
319s Setting up liblablgtk3-ocaml (3.1.5-1build1) ...
319s Processing triggers for libc-bin (2.40-1ubuntu3) ...
319s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ...
319s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ...
319s Setting up frama-c-base (20220511-manganese-5build14) ...
319s Setting up autopkgtest-satdep (0) ...
319s Processing triggers for libc-bin (2.40-1ubuntu3) ...
324s (Reading database ... 98140 files and directories currently installed.)
324s Removing autopkgtest-satdep (0) ...
325s autopkgtest [09:17:38]: test eva: [-----------------------
326s autopkgtest [09:17:39]: test eva: -----------------------]
326s eva                  PASS
326s autopkgtest [09:17:39]: test eva:  - - - - - - - - - - results - - - - - - - - - -
327s autopkgtest [09:17:40]: test wp: preparing testbed
328s Reading package lists...
328s Building dependency tree...
328s Reading state information...
329s Starting pkgProblemResolver with broken count: 1
329s Starting 2 pkgProblemResolver with broken count: 1
329s Investigating (0) autopkgtest-satdep:arm64 < none -> 0 @un puN Ib >
329s Broken autopkgtest-satdep:arm64 Depends on alt-ergo:arm64 < none @un mH > (>= 2.0.0)
329s Broken autopkgtest-satdep:arm64 Depends on why3:arm64 < none | 1.7.2-2build1 @un umH >
329s   Considering why3:arm64 2 as a solution to autopkgtest-satdep:arm64 9998
329s   Re-Instated tex-common:arm64
329s   Re-Instated why3:arm64
329s Done
329s Some packages could not be installed. This may mean that you have
329s requested an impossible situation or if you are using the unstable
329s distribution that some required packages have not yet been created
329s or been moved out of Incoming.
329s The following information may help to resolve the situation:
329s 
329s The following packages have unmet dependencies:
329s  autopkgtest-satdep : Depends: alt-ergo (>= 2.0.0) but it is not installable
329s E: Unable to correct problems, you have held broken packages.
329s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed
342s virt: nova [W] Skipping flock in bos03-arm64
342s virt: Creating nova instance adt-plucky-arm64-frama-c-20241113-091213-juju-7f2275-prod-proposed-migration-environment-2-9d07d1e4-dded-436e-b1ff-53c54f29c4df from image adt/ubuntu-plucky-arm64-server-20241113.img (UUID 2d7760e6-2439-4200-89d6-5ed33e5c6330)...
342s autopkgtest [09:17:55]: ERROR: "/bin/sh -ec rm /etc/apt/preferences.d/autopkgtest-plucky-proposed" failed with stderr "rm: cannot remove '/etc/apt/preferences.d/autopkgtest-plucky-proposed': No such file or directory
342s "