0s autopkgtest [17:29:58]: starting date and time: 2025-03-15 17:29:58+0000 0s autopkgtest [17:29:58]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [17:29:58]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.jcuu6mjl/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-arm64-42.secgroup --name adt-plucky-arm64-why3-20250315-172958-juju-7f2275-prod-proposed-migration-environment-15-b998e9b2-127e-4264-8748-996bfc501654 --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --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,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 176s autopkgtest [17:32:54]: testbed dpkg architecture: arm64 177s autopkgtest [17:32:55]: testbed apt version: 2.9.33 177s autopkgtest [17:32:55]: @@@@@@@@@@@@@@@@@@@@ test bed setup 177s autopkgtest [17:32:55]: testbed release detected to be: None 178s autopkgtest [17:32:56]: updating testbed package index (apt update) 178s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 179s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 179s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 179s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 179s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 179s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 179s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 179s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [111 kB] 180s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 c-n-f Metadata [1856 B] 180s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 c-n-f Metadata [116 B] 180s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [324 kB] 180s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 c-n-f Metadata [14.7 kB] 180s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [4948 B] 180s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 c-n-f Metadata [268 B] 180s Fetched 1078 kB in 1s (720 kB/s) 181s Reading package lists... 182s + lsb_release --codename --short 182s + RELEASE=plucky 182s + cat 182s + [ plucky != trusty ] 182s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 182s Reading package lists... 182s Building dependency tree... 182s Reading state information... 183s Calculating upgrade... 183s Calculating upgrade... 184s The following packages will be upgraded: 184s pinentry-curses python3-jinja2 strace 184s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 184s Need to get 647 kB of archives. 184s After this operation, 11.3 kB of additional disk space will be used. 184s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 strace arm64 6.13+ds-1ubuntu1 [499 kB] 184s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 pinentry-curses arm64 1.3.1-2ubuntu3 [39.2 kB] 184s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 185s Fetched 647 kB in 1s (669 kB/s) 185s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 117701 files and directories currently installed.) 185s Preparing to unpack .../strace_6.13+ds-1ubuntu1_arm64.deb ... 185s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 186s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_arm64.deb ... 186s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 186s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 186s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 188s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 188s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 188s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 188s Setting up strace (6.13+ds-1ubuntu1) ... 188s Processing triggers for man-db (2.13.0-1) ... 188s Reading package lists... 188s Building dependency tree... 188s Reading state information... 188s + /usr/lib/apt/apt-helper analyze-pattern ?true 188s + + sed s/\./\\./g 188s uname -r 188s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.* 188s + apt+ listtail -n+2 188s ?obsolete 188s + cut -d/ -f1 188s + grep -v ^linux-.*6\.14\.0-10-generic.* 188s + obsolete_pkgs=linux-headers-6.11.0-8-generic 188s linux-headers-6.11.0-8 188s linux-image-6.11.0-8-generic 188s linux-modules-6.11.0-8-generic 188s linux-tools-6.11.0-8-generic 188s linux-tools-6.11.0-8 188s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-image-6.11.0-8-generic linux-modules-6.11.0-8-generic linux-tools-6.11.0-8-generic linux-tools-6.11.0-8 189s Solving dependencies... 190s The following packages will be REMOVED: 190s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 190s libunwind8* linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 190s linux-image-6.11.0-8-generic* linux-modules-6.11.0-8-generic* 190s linux-tools-6.11.0-8* linux-tools-6.11.0-8-generic* 190s 0 upgraded, 0 newly installed, 11 to remove and 5 not upgraded. 190s After this operation, 267 MB disk space will be freed. 190s (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 ... 117701 files and directories currently installed.) 190s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 190s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 190s Removing libpython3.12t64:arm64 (3.12.9-1) ... 190s Removing libpython3.12-stdlib:arm64 (3.12.9-1) ... 190s Removing libnsl2:arm64 (1.3.0-3build3) ... 190s Removing libpython3.12-minimal:arm64 (3.12.9-1) ... 190s Removing libunwind8:arm64 (1.6.2-3.1) ... 190s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 191s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 193s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 193s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.14.0-10-generic 193s I: /boot/initrd.img.old is now a symlink to initrd.img-6.14.0-10-generic 193s /etc/kernel/postrm.d/initramfs-tools: 193s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 193s /etc/kernel/postrm.d/zz-flash-kernel: 193s flash-kernel: Kernel 6.11.0-8-generic has been removed. 193s flash-kernel: A higher version (6.14.0-10-generic) is still installed, no reflashing required. 194s /etc/kernel/postrm.d/zz-update-grub: 194s Sourcing file `/etc/default/grub' 194s Sourcing file `/etc/default/grub.d/50-cloudimg-settings.cfg' 194s Generating grub configuration file ... 194s Found linux image: /boot/vmlinuz-6.14.0-10-generic 194s Found initrd image: /boot/initrd.img-6.14.0-10-generic 194s Warning: os-prober will not be executed to detect other bootable partitions. 194s Systems on them will not be added to the GRUB boot configuration. 194s Check GRUB_DISABLE_OS_PROBER documentation entry. 194s Adding boot menu entry for UEFI Firmware Settings ... 194s done 195s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 195s Processing triggers for libc-bin (2.41-1ubuntu1) ... 195s (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 ... 81650 files and directories currently installed.) 195s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 195s Purging configuration files for libpython3.12-minimal:arm64 (3.12.9-1) ... 195s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 195s + grep -q trusty /etc/lsb-release 195s + [ ! -d /usr/share/doc/unattended-upgrades ] 195s + [ ! -d /usr/share/doc/lxd ] 195s + [ ! -d /usr/share/doc/lxd-client ] 195s + [ ! -d /usr/share/doc/snapd ] 195s + type iptables 195s + cat 195s + chmod 755 /etc/rc.local 195s + . /etc/rc.local 195s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 195s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 195s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 195s + uname -m 195s + [ aarch64 = ppc64le ] 195s + [ -d /run/systemd/system ] 195s + systemd-detect-virt --quiet --vm 195s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 195s + cat 195s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 195s + echo COMPRESS=lz4 195s autopkgtest [17:33:13]: upgrading testbed (apt dist-upgrade and autopurge) 196s Reading package lists... 196s Building dependency tree... 196s Reading state information... 197s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 197s Starting 2 pkgProblemResolver with broken count: 0 197s Done 198s Entering ResolveByKeep 198s 198s Calculating upgrade... 199s The following packages will be upgraded: 199s libc-bin libc-dev-bin libc6 libc6-dev locales 199s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 199s Need to get 9530 kB of archives. 199s After this operation, 0 B of additional disk space will be used. 199s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu2 [1750 kB] 201s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu2 [24.0 kB] 201s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu2 [2910 kB] 203s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu2 [600 kB] 204s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu2 [4246 kB] 208s Preconfiguring packages ... 208s Fetched 9530 kB in 9s (1121 kB/s) 208s (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 ... 81647 files and directories currently installed.) 208s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_arm64.deb ... 208s Unpacking libc6-dev:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 208s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_arm64.deb ... 208s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 208s Preparing to unpack .../libc6_2.41-1ubuntu2_arm64.deb ... 208s Unpacking libc6:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 209s Setting up libc6:arm64 (2.41-1ubuntu2) ... 209s (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 ... 81647 files and directories currently installed.) 209s Preparing to unpack .../libc-bin_2.41-1ubuntu2_arm64.deb ... 209s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 209s Setting up libc-bin (2.41-1ubuntu2) ... 209s (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 ... 81647 files and directories currently installed.) 209s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 209s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 209s Setting up locales (2.41-1ubuntu2) ... 210s Generating locales (this might take a while)... 212s en_US.UTF-8... done 212s Generation complete. 212s Setting up libc-dev-bin (2.41-1ubuntu2) ... 212s Setting up libc6-dev:arm64 (2.41-1ubuntu2) ... 212s Processing triggers for man-db (2.13.0-1) ... 213s Processing triggers for systemd (257.3-1ubuntu3) ... 214s Reading package lists... 215s Building dependency tree... 215s Reading state information... 215s Starting pkgProblemResolver with broken count: 0 215s Starting 2 pkgProblemResolver with broken count: 0 215s Done 216s Solving dependencies... 216s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 217s autopkgtest [17:33:35]: rebooting testbed after setup commands that affected boot 242s autopkgtest [17:34:00]: testbed running kernel: Linux 6.14.0-10-generic #10-Ubuntu SMP PREEMPT_DYNAMIC Wed Mar 12 15:45:31 UTC 2025 246s autopkgtest [17:34:04]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 256s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (dsc) [2140 B] 256s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (tar) [6637 kB] 256s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (diff) [18.9 kB] 257s gpgv: Signature made Sun Feb 2 06:48:51 2025 UTC 257s gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 257s gpgv: issuer "glondu@debian.org" 257s gpgv: Can't check signature: No public key 257s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.0-2.dsc: no acceptable signature found 259s autopkgtest [17:34:17]: testing package why3 version 1.8.0-2 260s autopkgtest [17:34:18]: build not needed 263s autopkgtest [17:34:21]: test why3+cvc4: preparing testbed 263s Reading package lists... 264s Building dependency tree... 264s Reading state information... 264s Starting pkgProblemResolver with broken count: 0 265s Starting 2 pkgProblemResolver with broken count: 0 265s Done 266s The following NEW packages will be installed: 266s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 266s cpp-aarch64-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 266s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 266s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 266s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 266s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 266s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 266s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 266s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 266s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 266s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 266s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 266s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 266s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 266s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 266s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 266s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 266s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 266s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 266s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 266s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 266s Need to get 171 MB of archives. 266s After this operation, 546 MB of additional disk space will be used. 266s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 266s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 266s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 266s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 266s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 266s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 267s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 267s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 267s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 267s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 267s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.5+ds-3ubuntu1 [52.9 kB] 267s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 267s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48.0-1 [578 kB] 268s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.90-1 [9072 B] 268s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 269s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 269s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 279s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 279s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 279s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 279s Get:21 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 279s Get:22 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc4-7 arm64 1.8-3build2 [4343 kB] 283s Get:23 http://ftpmaster.internal/ubuntu plucky/universe arm64 libantlr3c-3.4-0 arm64 3.4+dfsg-4build2 [45.7 kB] 283s Get:24 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc4parser7 arm64 1.8-3build2 [354 kB] 283s Get:25 http://ftpmaster.internal/ubuntu plucky/universe arm64 cvc4 arm64 1.8-3build2 [71.6 kB] 283s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 283s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 283s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 283s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 283s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 284s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-2ubuntu1 [37.5 kB] 284s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-2ubuntu1 [144 kB] 284s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-2ubuntu1 [191 kB] 284s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250222-0ubuntu1 [44.2 kB] 284s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250222-0ubuntu1 [146 kB] 284s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250222-0ubuntu1 [28.0 kB] 284s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250222-0ubuntu1 [2924 kB] 286s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250222-0ubuntu1 [1319 kB] 286s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250222-0ubuntu1 [2694 kB] 288s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250222-0ubuntu1 [1178 kB] 288s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250222-0ubuntu1 [1642 kB] 289s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 290s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 301s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 301s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 301s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 301s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.90-1 [55.3 kB] 301s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 301s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.90-1 [84.4 kB] 301s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.90-1 [66.7 kB] 301s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-16ubuntu1 [30.9 kB] 301s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-16ubuntu1 [22.9 kB] 301s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-16ubuntu1 [26.9 kB] 301s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 301s Get:55 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 301s Get:56 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 301s Get:57 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 301s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 301s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 301s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.3.0-2 [428 kB] 302s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.3.0-2 [307 kB] 302s Get:62 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2build1 [27.1 kB] 302s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 302s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-3 [151 kB] 302s Get:65 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-2 [7846 kB] 306s Get:66 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-2 [47.9 MB] 333s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 333s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 333s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 333s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 333s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 333s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 334s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 334s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.2-1 [237 kB] 334s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.2-1 [49.5 kB] 334s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.2-1 [27.6 kB] 334s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-3 [27.0 kB] 334s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-3 [10.8 kB] 334s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-3 [6180 B] 334s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 334s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 334s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 334s Get:83 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 334s Get:84 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 334s Get:85 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 334s Get:86 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 335s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 337s Get:88 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 337s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 337s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build2 [3700 kB] 339s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build2 [343 kB] 339s Get:92 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250216-2 [389 kB] 339s Get:93 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 339s Get:94 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.3.0-2 [8367 kB] 343s Get:95 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.3.0-2 [23.4 MB] 355s Get:96 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.19 [29.8 kB] 355s Get:97 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.8.0-2 [15.4 MB] 362s Fetched 171 MB in 1min 35s (1792 kB/s) 362s Selecting previously unselected package libgdk-pixbuf2.0-common. 363s (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 ... 81647 files and directories currently installed.) 363s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 363s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 363s Selecting previously unselected package libjpeg-turbo8:arm64. 363s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 363s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 363s Selecting previously unselected package libjpeg8:arm64. 363s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 363s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 363s Selecting previously unselected package libdeflate0:arm64. 363s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 363s Unpacking libdeflate0:arm64 (1.23-1) ... 363s Selecting previously unselected package libjbig0:arm64. 363s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 363s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 363s Selecting previously unselected package liblerc4:arm64. 363s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 363s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 363s Selecting previously unselected package libsharpyuv0:arm64. 363s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 363s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 363s Selecting previously unselected package libwebp7:arm64. 363s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 363s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 363s Selecting previously unselected package libtiff6:arm64. 363s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 363s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 363s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 363s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 363s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 363s Selecting previously unselected package gtk-update-icon-cache. 363s Preparing to unpack .../10-gtk-update-icon-cache_4.17.5+ds-3ubuntu1_arm64.deb ... 363s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 363s 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. 363s Unpacking gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 363s Selecting previously unselected package hicolor-icon-theme. 364s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 364s Unpacking hicolor-icon-theme (0.18-2) ... 364s Selecting previously unselected package adwaita-icon-theme. 364s Preparing to unpack .../12-adwaita-icon-theme_48.0-1_all.deb ... 364s Unpacking adwaita-icon-theme (48.0-1) ... 364s Selecting previously unselected package at-spi2-common. 364s Preparing to unpack .../13-at-spi2-common_2.55.90-1_all.deb ... 364s Unpacking at-spi2-common (2.55.90-1) ... 364s Selecting previously unselected package libisl23:arm64. 364s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 364s Unpacking libisl23:arm64 (0.27-1) ... 364s Selecting previously unselected package libmpc3:arm64. 364s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 364s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 364s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 364s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 364s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 365s Selecting previously unselected package cpp-14. 365s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 365s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 365s Selecting previously unselected package cpp-aarch64-linux-gnu. 365s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 365s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 365s Selecting previously unselected package cpp. 365s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 365s Unpacking cpp (4:14.2.0-1ubuntu1) ... 365s Selecting previously unselected package libcln6:arm64. 365s Preparing to unpack .../20-libcln6_1.3.7-1_arm64.deb ... 365s Unpacking libcln6:arm64 (1.3.7-1) ... 365s Selecting previously unselected package libcvc4-7:arm64. 365s Preparing to unpack .../21-libcvc4-7_1.8-3build2_arm64.deb ... 365s Unpacking libcvc4-7:arm64 (1.8-3build2) ... 365s Selecting previously unselected package libantlr3c-3.4-0:arm64. 365s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_arm64.deb ... 365s Unpacking libantlr3c-3.4-0:arm64 (3.4+dfsg-4build2) ... 365s Selecting previously unselected package libcvc4parser7:arm64. 365s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_arm64.deb ... 365s Unpacking libcvc4parser7:arm64 (1.8-3build2) ... 365s Selecting previously unselected package cvc4. 365s Preparing to unpack .../24-cvc4_1.8-3build2_arm64.deb ... 365s Unpacking cvc4 (1.8-3build2) ... 365s Selecting previously unselected package libdconf1:arm64. 365s Preparing to unpack .../25-libdconf1_0.40.0-5_arm64.deb ... 365s Unpacking libdconf1:arm64 (0.40.0-5) ... 365s Selecting previously unselected package dconf-service. 365s Preparing to unpack .../26-dconf-service_0.40.0-5_arm64.deb ... 365s Unpacking dconf-service (0.40.0-5) ... 365s Selecting previously unselected package dconf-gsettings-backend:arm64. 365s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 365s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 365s Selecting previously unselected package fonts-dejavu-mono. 366s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 366s Unpacking fonts-dejavu-mono (2.37-8) ... 366s Selecting previously unselected package fonts-dejavu-core. 366s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 366s Unpacking fonts-dejavu-core (2.37-8) ... 366s Selecting previously unselected package fontconfig-config. 366s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_arm64.deb ... 366s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 366s Selecting previously unselected package libfontconfig1:arm64. 366s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_arm64.deb ... 366s Unpacking libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 366s Selecting previously unselected package fontconfig. 366s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_arm64.deb ... 366s Unpacking fontconfig (2.15.0-2ubuntu1) ... 366s Selecting previously unselected package libcc1-0:arm64. 366s Preparing to unpack .../33-libcc1-0_15-20250222-0ubuntu1_arm64.deb ... 366s Unpacking libcc1-0:arm64 (15-20250222-0ubuntu1) ... 366s Selecting previously unselected package libgomp1:arm64. 366s Preparing to unpack .../34-libgomp1_15-20250222-0ubuntu1_arm64.deb ... 366s Unpacking libgomp1:arm64 (15-20250222-0ubuntu1) ... 366s Selecting previously unselected package libitm1:arm64. 366s Preparing to unpack .../35-libitm1_15-20250222-0ubuntu1_arm64.deb ... 366s Unpacking libitm1:arm64 (15-20250222-0ubuntu1) ... 366s Selecting previously unselected package libasan8:arm64. 366s Preparing to unpack .../36-libasan8_15-20250222-0ubuntu1_arm64.deb ... 366s Unpacking libasan8:arm64 (15-20250222-0ubuntu1) ... 367s Selecting previously unselected package liblsan0:arm64. 367s Preparing to unpack .../37-liblsan0_15-20250222-0ubuntu1_arm64.deb ... 367s Unpacking liblsan0:arm64 (15-20250222-0ubuntu1) ... 367s Selecting previously unselected package libtsan2:arm64. 367s Preparing to unpack .../38-libtsan2_15-20250222-0ubuntu1_arm64.deb ... 367s Unpacking libtsan2:arm64 (15-20250222-0ubuntu1) ... 367s Selecting previously unselected package libubsan1:arm64. 367s Preparing to unpack .../39-libubsan1_15-20250222-0ubuntu1_arm64.deb ... 367s Unpacking libubsan1:arm64 (15-20250222-0ubuntu1) ... 367s Selecting previously unselected package libhwasan0:arm64. 367s Preparing to unpack .../40-libhwasan0_15-20250222-0ubuntu1_arm64.deb ... 367s Unpacking libhwasan0:arm64 (15-20250222-0ubuntu1) ... 367s Selecting previously unselected package libgcc-14-dev:arm64. 367s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 367s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 367s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 367s Preparing to unpack .../42-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 367s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 368s Selecting previously unselected package gcc-14. 368s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 368s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 368s Selecting previously unselected package gcc-aarch64-linux-gnu. 368s Preparing to unpack .../44-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 368s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 368s Selecting previously unselected package gcc. 368s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 368s Unpacking gcc (4:14.2.0-1ubuntu1) ... 368s Selecting previously unselected package libatk1.0-0t64:arm64. 368s Preparing to unpack .../46-libatk1.0-0t64_2.55.90-1_arm64.deb ... 368s Unpacking libatk1.0-0t64:arm64 (2.55.90-1) ... 368s Selecting previously unselected package libxi6:arm64. 368s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_arm64.deb ... 368s Unpacking libxi6:arm64 (2:1.8.2-1) ... 368s Selecting previously unselected package libatspi2.0-0t64:arm64. 368s Preparing to unpack .../48-libatspi2.0-0t64_2.55.90-1_arm64.deb ... 368s Unpacking libatspi2.0-0t64:arm64 (2.55.90-1) ... 368s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 368s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.90-1_arm64.deb ... 368s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.90-1) ... 368s Selecting previously unselected package libavahi-common-data:arm64. 368s Preparing to unpack .../50-libavahi-common-data_0.8-16ubuntu1_arm64.deb ... 368s Unpacking libavahi-common-data:arm64 (0.8-16ubuntu1) ... 368s Selecting previously unselected package libavahi-common3:arm64. 368s Preparing to unpack .../51-libavahi-common3_0.8-16ubuntu1_arm64.deb ... 368s Unpacking libavahi-common3:arm64 (0.8-16ubuntu1) ... 368s Selecting previously unselected package libavahi-client3:arm64. 369s Preparing to unpack .../52-libavahi-client3_0.8-16ubuntu1_arm64.deb ... 369s Unpacking libavahi-client3:arm64 (0.8-16ubuntu1) ... 369s Selecting previously unselected package libpixman-1-0:arm64. 369s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_arm64.deb ... 369s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 369s Selecting previously unselected package libxcb-render0:arm64. 369s Preparing to unpack .../54-libxcb-render0_1.17.0-2_arm64.deb ... 369s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 369s Selecting previously unselected package libxcb-shm0:arm64. 369s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_arm64.deb ... 369s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 369s Selecting previously unselected package libxrender1:arm64. 369s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 369s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 369s Selecting previously unselected package libcairo2:arm64. 369s Preparing to unpack .../57-libcairo2_1.18.2-2_arm64.deb ... 369s Unpacking libcairo2:arm64 (1.18.2-2) ... 369s Selecting previously unselected package libcairo-gobject2:arm64. 369s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_arm64.deb ... 369s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 369s Selecting previously unselected package libstdlib-ocaml. 369s Preparing to unpack .../59-libstdlib-ocaml_5.3.0-2_arm64.deb ... 369s Unpacking libstdlib-ocaml (5.3.0-2) ... 369s Selecting previously unselected package ocaml-base. 369s Preparing to unpack .../60-ocaml-base_5.3.0-2_arm64.deb ... 369s Unpacking ocaml-base (5.3.0-2) ... 369s Selecting previously unselected package libcairo2-ocaml. 369s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2build1_arm64.deb ... 369s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 369s Selecting previously unselected package liblcms2-2:arm64. 369s Preparing to unpack .../62-liblcms2-2_2.16-2_arm64.deb ... 369s Unpacking liblcms2-2:arm64 (2.16-2) ... 369s Selecting previously unselected package libcolord2:arm64. 370s Preparing to unpack .../63-libcolord2_1.4.7-3_arm64.deb ... 370s Unpacking libcolord2:arm64 (1.4.7-3) ... 370s Selecting previously unselected package libstdlib-ocaml-dev. 370s Preparing to unpack .../64-libstdlib-ocaml-dev_5.3.0-2_arm64.deb ... 370s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 370s Selecting previously unselected package libcompiler-libs-ocaml-dev. 370s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.3.0-2_arm64.deb ... 370s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 371s Selecting previously unselected package libcups2t64:arm64. 371s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 371s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 371s Selecting previously unselected package libdatrie1:arm64. 371s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_arm64.deb ... 371s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 371s Selecting previously unselected package libepoxy0:arm64. 371s Preparing to unpack .../68-libepoxy0_1.5.10-2_arm64.deb ... 371s Unpacking libepoxy0:arm64 (1.5.10-2) ... 371s Selecting previously unselected package libgraphite2-3:arm64. 371s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 371s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 371s Selecting previously unselected package libharfbuzz0b:arm64. 371s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_arm64.deb ... 371s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 371s Selecting previously unselected package libthai-data. 371s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 371s Unpacking libthai-data (0.1.29-2build1) ... 371s Selecting previously unselected package libthai0:arm64. 371s Preparing to unpack .../72-libthai0_0.1.29-2build1_arm64.deb ... 371s Unpacking libthai0:arm64 (0.1.29-2build1) ... 371s Selecting previously unselected package libpango-1.0-0:arm64. 371s Preparing to unpack .../73-libpango-1.0-0_1.56.2-1_arm64.deb ... 371s Unpacking libpango-1.0-0:arm64 (1.56.2-1) ... 371s Selecting previously unselected package libpangoft2-1.0-0:arm64. 371s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.2-1_arm64.deb ... 371s Unpacking libpangoft2-1.0-0:arm64 (1.56.2-1) ... 371s Selecting previously unselected package libpangocairo-1.0-0:arm64. 372s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.2-1_arm64.deb ... 372s Unpacking libpangocairo-1.0-0:arm64 (1.56.2-1) ... 372s Selecting previously unselected package libwayland-client0:arm64. 372s Preparing to unpack .../76-libwayland-client0_1.23.1-3_arm64.deb ... 372s Unpacking libwayland-client0:arm64 (1.23.1-3) ... 372s Selecting previously unselected package libwayland-cursor0:arm64. 372s Preparing to unpack .../77-libwayland-cursor0_1.23.1-3_arm64.deb ... 372s Unpacking libwayland-cursor0:arm64 (1.23.1-3) ... 372s Selecting previously unselected package libwayland-egl1:arm64. 372s Preparing to unpack .../78-libwayland-egl1_1.23.1-3_arm64.deb ... 372s Unpacking libwayland-egl1:arm64 (1.23.1-3) ... 372s Selecting previously unselected package libxcomposite1:arm64. 372s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 372s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 372s Selecting previously unselected package libxfixes3:arm64. 372s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 372s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 372s Selecting previously unselected package libxcursor1:arm64. 372s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_arm64.deb ... 372s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 372s Selecting previously unselected package libxdamage1:arm64. 372s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 372s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 372s Selecting previously unselected package libxinerama1:arm64. 372s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 372s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 372s Selecting previously unselected package libxrandr2:arm64. 372s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_arm64.deb ... 372s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 372s Selecting previously unselected package libgtk-3-common. 372s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 372s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 373s Selecting previously unselected package libgtk-3-0t64:arm64. 373s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 373s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 373s Selecting previously unselected package libgtksourceview-3.0-common. 373s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 373s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 373s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 373s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 373s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 373s Selecting previously unselected package liblablgtk3-ocaml. 373s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build2_arm64.deb ... 373s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 373s Selecting previously unselected package liblablgtksourceview3-ocaml. 373s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build2_arm64.deb ... 373s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 373s Selecting previously unselected package libncurses-dev:arm64. 373s Preparing to unpack .../91-libncurses-dev_6.5+20250216-2_arm64.deb ... 373s Unpacking libncurses-dev:arm64 (6.5+20250216-2) ... 374s Selecting previously unselected package libzstd-dev:arm64. 374s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 374s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 374s Selecting previously unselected package ocaml-interp. 374s Preparing to unpack .../93-ocaml-interp_5.3.0-2_arm64.deb ... 374s Unpacking ocaml-interp (5.3.0-2) ... 374s Selecting previously unselected package ocaml. 374s Preparing to unpack .../94-ocaml_5.3.0-2_arm64.deb ... 374s Unpacking ocaml (5.3.0-2) ... 375s Selecting previously unselected package tex-common. 375s Preparing to unpack .../95-tex-common_6.19_all.deb ... 375s Unpacking tex-common (6.19) ... 375s Selecting previously unselected package why3. 375s Preparing to unpack .../96-why3_1.8.0-2_arm64.deb ... 375s Unpacking why3 (1.8.0-2) ... 375s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 375s Setting up liblcms2-2:arm64 (2.16-2) ... 375s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 375s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 375s Setting up libcln6:arm64 (1.3.7-1) ... 375s Setting up libncurses-dev:arm64 (6.5+20250216-2) ... 375s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 375s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 375s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 375s Setting up libantlr3c-3.4-0:arm64 (3.4+dfsg-4build2) ... 376s Setting up hicolor-icon-theme (0.18-2) ... 376s Setting up libxi6:arm64 (2:1.8.2-1) ... 376s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 376s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 376s Setting up libxcb-render0:arm64 (1.17.0-2) ... 376s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 376s Setting up libdeflate0:arm64 (1.23-1) ... 376s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 376s Setting up libgomp1:arm64 (15-20250222-0ubuntu1) ... 376s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 376s Setting up libcolord2:arm64 (1.4.7-3) ... 376s Setting up libdconf1:arm64 (0.40.0-5) ... 376s Setting up tex-common (6.19) ... 376s update-language: texlive-base not installed and configured, doing nothing! 376s Setting up libepoxy0:arm64 (1.5.10-2) ... 376s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 376s Setting up libavahi-common-data:arm64 (0.8-16ubuntu1) ... 376s Setting up libatspi2.0-0t64:arm64 (2.55.90-1) ... 376s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 376s Setting up libstdlib-ocaml (5.3.0-2) ... 376s Setting up fonts-dejavu-mono (2.37-8) ... 376s Setting up libmpc3:arm64 (1.3.1-1build2) ... 376s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 376s Setting up ocaml-base (5.3.0-2) ... 376s Setting up fonts-dejavu-core (2.37-8) ... 376s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 376s Setting up libwebp7:arm64 (1.5.0-0.1) ... 376s Setting up libubsan1:arm64 (15-20250222-0ubuntu1) ... 376s Setting up libhwasan0:arm64 (15-20250222-0ubuntu1) ... 376s Setting up at-spi2-common (2.55.90-1) ... 376s Setting up libasan8:arm64 (15-20250222-0ubuntu1) ... 376s Setting up libcvc4-7:arm64 (1.8-3build2) ... 376s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 376s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 376s Setting up libthai-data (0.1.29-2build1) ... 376s Setting up libwayland-egl1:arm64 (1.23.1-3) ... 376s Setting up libtsan2:arm64 (15-20250222-0ubuntu1) ... 376s Setting up libisl23:arm64 (0.27-1) ... 376s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 376s Setting up libcc1-0:arm64 (15-20250222-0ubuntu1) ... 376s Setting up liblsan0:arm64 (15-20250222-0ubuntu1) ... 376s Setting up libitm1:arm64 (15-20250222-0ubuntu1) ... 376s Setting up libwayland-client0:arm64 (1.23.1-3) ... 376s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 376s Setting up libatk1.0-0t64:arm64 (2.55.90-1) ... 376s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 376s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 376s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 376s Setting up libavahi-common3:arm64 (0.8-16ubuntu1) ... 376s Setting up dconf-service (0.40.0-5) ... 376s Setting up libthai0:arm64 (0.1.29-2build1) ... 376s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 376s Setting up ocaml-interp (5.3.0-2) ... 376s Setting up libcvc4parser7:arm64 (1.8-3build2) ... 376s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 376s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 376s Setting up libwayland-cursor0:arm64 (1.23.1-3) ... 376s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 376s Setting up cvc4 (1.8-3build2) ... 376s Setting up libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 376s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 376s Setting up libavahi-client3:arm64 (0.8-16ubuntu1) ... 376s Setting up libatk-bridge2.0-0t64:arm64 (2.55.90-1) ... 376s Setting up gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 376s Setting up fontconfig (2.15.0-2ubuntu1) ... 378s Regenerating fonts cache... done. 378s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 378s Setting up libpango-1.0-0:arm64 (1.56.2-1) ... 378s Setting up libcairo2:arm64 (1.18.2-2) ... 378s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 378s Setting up adwaita-icon-theme (48.0-1) ... 378s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 378s Setting up cpp-14 (14.2.0-17ubuntu3) ... 378s Setting up cpp (4:14.2.0-1ubuntu1) ... 378s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 378s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 378s Setting up libpangoft2-1.0-0:arm64 (1.56.2-1) ... 378s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 379s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 379s Setting up libpangocairo-1.0-0:arm64 (1.56.2-1) ... 379s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 379s Setting up libcairo2-ocaml (0.6.5-2build1) ... 379s Setting up gcc-14 (14.2.0-17ubuntu3) ... 379s Setting up gcc (4:14.2.0-1ubuntu1) ... 379s Setting up ocaml (5.3.0-2) ... 379s Processing triggers for libc-bin (2.41-1ubuntu2) ... 379s Processing triggers for man-db (2.13.0-1) ... 381s Processing triggers for libglib2.0-0t64:arm64 (2.84.0-1) ... 381s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 381s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 381s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 381s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 381s Setting up why3 (1.8.0-2) ... 381s Processing triggers for libc-bin (2.41-1ubuntu2) ... 383s autopkgtest [17:36:21]: test why3+cvc4: [----------------------- 385s autopkgtest [17:36:23]: test why3+cvc4: -----------------------] 386s why3+cvc4 PASS 386s autopkgtest [17:36:24]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 387s autopkgtest [17:36:25]: test why3+cvc5: preparing testbed 550s autopkgtest [17:39:08]: testbed dpkg architecture: arm64 550s autopkgtest [17:39:08]: testbed apt version: 2.9.33 551s autopkgtest [17:39:08]: @@@@@@@@@@@@@@@@@@@@ test bed setup 551s autopkgtest [17:39:09]: testbed release detected to be: plucky 552s autopkgtest [17:39:10]: updating testbed package index (apt update) 552s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 553s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 553s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 553s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 553s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 553s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 553s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 553s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [111 kB] 553s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 c-n-f Metadata [1856 B] 553s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 c-n-f Metadata [116 B] 553s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [324 kB] 554s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 c-n-f Metadata [14.7 kB] 554s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [4948 B] 554s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 c-n-f Metadata [268 B] 554s Fetched 1078 kB in 2s (708 kB/s) 555s Reading package lists... 558s + lsb_release --codename --short 558s + RELEASE=plucky 558s + cat 558s + [ plucky != trusty ] 558s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 558s Reading package lists... 558s Building dependency tree... 558s Reading state information... 559s Calculating upgrade... 559s Calculating upgrade... 559s The following packages will be upgraded: 559s pinentry-curses python3-jinja2 strace 559s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 559s Need to get 647 kB of archives. 559s After this operation, 11.3 kB of additional disk space will be used. 559s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 strace arm64 6.13+ds-1ubuntu1 [499 kB] 560s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 pinentry-curses arm64 1.3.1-2ubuntu3 [39.2 kB] 560s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 561s Fetched 647 kB in 1s (689 kB/s) 561s (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 ... 117701 files and directories currently installed.) 561s Preparing to unpack .../strace_6.13+ds-1ubuntu1_arm64.deb ... 561s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 562s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_arm64.deb ... 562s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 562s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 562s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 562s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 562s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 562s Setting up strace (6.13+ds-1ubuntu1) ... 562s Processing triggers for man-db (2.13.0-1) ... 563s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 563s + /usr/lib/apt/apt-helper analyze-pattern ?true 563s + uname -r 563s + sed s/\./\\./g 563s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.* 563s + apt list ?obsolete 563s + tail -n+2 563s + cut -d/ -f1 563s + grep -v ^linux-.*6\.14\.0-10-generic.* 563s + obsolete_pkgs=linux-headers-6.11.0-8-generic 563s linux-headers-6.11.0-8 563s linux-image-6.11.0-8-generic 563s linux-modules-6.11.0-8-generic 563s linux-tools-6.11.0-8-generic 563s linux-tools-6.11.0-8 563s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-image-6.11.0-8-generic linux-modules-6.11.0-8-generic linux-tools-6.11.0-8-generic linux-tools-6.11.0-8 563s Reading package lists... 564s Building dependency tree... 564s Reading state information... 564s Solving dependencies... 565s The following packages will be REMOVED: 565s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 565s libunwind8* linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 565s linux-image-6.11.0-8-generic* linux-modules-6.11.0-8-generic* 565s linux-tools-6.11.0-8* linux-tools-6.11.0-8-generic* 565s 0 upgraded, 0 newly installed, 11 to remove and 5 not upgraded. 565s After this operation, 267 MB disk space will be freed. 565s (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 ... 117701 files and directories currently installed.) 565s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 565s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 565s Removing libpython3.12t64:arm64 (3.12.9-1) ... 565s Removing libpython3.12-stdlib:arm64 (3.12.9-1) ... 565s Removing libnsl2:arm64 (1.3.0-3build3) ... 565s Removing libpython3.12-minimal:arm64 (3.12.9-1) ... 566s Removing libunwind8:arm64 (1.6.2-3.1) ... 566s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 566s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 568s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 568s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.14.0-10-generic 568s I: /boot/initrd.img.old is now a symlink to initrd.img-6.14.0-10-generic 568s /etc/kernel/postrm.d/initramfs-tools: 568s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 568s /etc/kernel/postrm.d/zz-flash-kernel: 568s flash-kernel: Kernel 6.11.0-8-generic has been removed. 568s flash-kernel: A higher version (6.14.0-10-generic) is still installed, no reflashing required. 569s /etc/kernel/postrm.d/zz-update-grub: 569s Sourcing file `/etc/default/grub' 569s Sourcing file `/etc/default/grub.d/50-cloudimg-settings.cfg' 569s Generating grub configuration file ... 569s Found linux image: /boot/vmlinuz-6.14.0-10-generic 569s Found initrd image: /boot/initrd.img-6.14.0-10-generic 570s Warning: os-prober will not be executed to detect other bootable partitions. 570s Systems on them will not be added to the GRUB boot configuration. 570s Check GRUB_DISABLE_OS_PROBER documentation entry. 570s Adding boot menu entry for UEFI Firmware Settings ... 570s done 570s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 570s Processing triggers for libc-bin (2.41-1ubuntu1) ... 570s (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 ... 81650 files and directories currently installed.) 570s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 570s Purging configuration files for libpython3.12-minimal:arm64 (3.12.9-1) ... 571s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 571s + grep -q trusty /etc/lsb-release 571s + [ ! -d /usr/share/doc/unattended-upgrades ] 571s + [ ! -d /usr/share/doc/lxd ] 571s + [ ! -d /usr/share/doc/lxd-client ] 571s + [ ! -d /usr/share/doc/snapd ] 571s + type iptables 571s + cat 571s + chmod 755 /etc/rc.local 571s + . /etc/rc.local 571s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 571s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 571s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 571s + uname -m 571s + [ aarch64 = ppc64le ] 571s + [ -d /run/systemd/system ] 571s + systemd-detect-virt --quiet --vm 571s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 571s + cat 571s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 571s + echo COMPRESS=lz4 571s autopkgtest [17:39:29]: upgrading testbed (apt dist-upgrade and autopurge) 571s Reading package lists... 571s Building dependency tree... 571s Reading state information... 572s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 572s Starting 2 pkgProblemResolver with broken count: 0 572s Done 573s Entering ResolveByKeep 573s 574s Calculating upgrade... 574s The following packages will be upgraded: 574s libc-bin libc-dev-bin libc6 libc6-dev locales 574s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 574s Need to get 9530 kB of archives. 574s After this operation, 0 B of additional disk space will be used. 574s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu2 [1750 kB] 576s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu2 [24.0 kB] 576s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu2 [2910 kB] 578s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu2 [600 kB] 579s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu2 [4246 kB] 582s Preconfiguring packages ... 582s Fetched 9530 kB in 7s (1309 kB/s) 582s (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 ... 81647 files and directories currently installed.) 582s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_arm64.deb ... 582s Unpacking libc6-dev:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 582s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_arm64.deb ... 582s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 582s Preparing to unpack .../libc6_2.41-1ubuntu2_arm64.deb ... 583s Unpacking libc6:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 583s Setting up libc6:arm64 (2.41-1ubuntu2) ... 583s (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 ... 81647 files and directories currently installed.) 583s Preparing to unpack .../libc-bin_2.41-1ubuntu2_arm64.deb ... 583s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 584s Setting up libc-bin (2.41-1ubuntu2) ... 584s (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 ... 81647 files and directories currently installed.) 584s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 584s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 584s Setting up locales (2.41-1ubuntu2) ... 588s Generating locales (this might take a while)... 592s en_US.UTF-8... done 592s Generation complete. 592s Setting up libc-dev-bin (2.41-1ubuntu2) ... 592s Setting up libc6-dev:arm64 (2.41-1ubuntu2) ... 592s Processing triggers for man-db (2.13.0-1) ... 593s Processing triggers for systemd (257.3-1ubuntu3) ... 594s Reading package lists... 594s Building dependency tree... 594s Reading state information... 595s Starting pkgProblemResolver with broken count: 0 595s Starting 2 pkgProblemResolver with broken count: 0 595s Done 595s Solving dependencies... 596s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 596s autopkgtest [17:39:54]: rebooting testbed after setup commands that affected boot 601s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 634s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 648s Reading package lists... 648s Building dependency tree... 648s Reading state information... 648s Starting pkgProblemResolver with broken count: 0 649s Starting 2 pkgProblemResolver with broken count: 0 649s Done 649s The following NEW packages will be installed: 649s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 649s cpp-aarch64-linux-gnu cvc5 dconf-gsettings-backend dconf-service fontconfig 649s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 649s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 649s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 649s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 649s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcln6 libcolord2 649s libcompiler-libs-ocaml-dev libcryptominisat5-5.11t64 libcups2t64 libcvc5-1 649s libcvc5parser1 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 650s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 650s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 650s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 650s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 650s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 650s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 650s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 650s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 650s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 650s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 650s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 650s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 650s Need to get 172 MB of archives. 650s After this operation, 546 MB of additional disk space will be used. 650s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 650s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 650s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 650s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 650s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 650s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 650s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 650s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 650s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 651s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 651s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.5+ds-3ubuntu1 [52.9 kB] 651s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 651s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48.0-1 [578 kB] 651s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.90-1 [9072 B] 651s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 652s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 652s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 660s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 660s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 660s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 660s Get:21 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 660s Get:22 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcryptominisat5-5.11t64 arm64 5.11.21+dfsg1-1build1 [450 kB] 661s Get:23 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc5-1 arm64 1.1.2-2build1 [4875 kB] 665s Get:24 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc5parser1 arm64 1.1.2-2build1 [199 kB] 665s Get:25 http://ftpmaster.internal/ubuntu plucky/universe arm64 cvc5 arm64 1.1.2-2build1 [87.0 kB] 665s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 665s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 665s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 665s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 665s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 666s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-2ubuntu1 [37.5 kB] 666s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-2ubuntu1 [144 kB] 666s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-2ubuntu1 [191 kB] 666s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250222-0ubuntu1 [44.2 kB] 666s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250222-0ubuntu1 [146 kB] 666s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250222-0ubuntu1 [28.0 kB] 666s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250222-0ubuntu1 [2924 kB] 669s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250222-0ubuntu1 [1319 kB] 669s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250222-0ubuntu1 [2694 kB] 671s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250222-0ubuntu1 [1178 kB] 672s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250222-0ubuntu1 [1642 kB] 674s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 676s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 691s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 691s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 691s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 691s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.90-1 [55.3 kB] 691s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 691s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.90-1 [84.4 kB] 692s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.90-1 [66.7 kB] 692s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-16ubuntu1 [30.9 kB] 692s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-16ubuntu1 [22.9 kB] 692s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-16ubuntu1 [26.9 kB] 692s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 692s Get:55 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 692s Get:56 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 692s Get:57 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 692s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 692s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 692s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.3.0-2 [428 kB] 693s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.3.0-2 [307 kB] 693s Get:62 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2build1 [27.1 kB] 693s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 693s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-3 [151 kB] 693s Get:65 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-2 [7846 kB] 698s Get:66 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-2 [47.9 MB] 734s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 734s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 734s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 734s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 734s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 735s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 735s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 735s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.2-1 [237 kB] 735s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.2-1 [49.5 kB] 735s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.2-1 [27.6 kB] 735s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-3 [27.0 kB] 735s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-3 [10.8 kB] 735s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-3 [6180 B] 735s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 735s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 735s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 735s Get:83 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 735s Get:84 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 735s Get:85 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 735s Get:86 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 737s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 738s Get:88 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 739s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 739s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build2 [3700 kB] 741s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build2 [343 kB] 742s Get:92 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250216-2 [389 kB] 742s Get:93 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 742s Get:94 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.3.0-2 [8367 kB] 748s Get:95 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.3.0-2 [23.4 MB] 762s Get:96 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.19 [29.8 kB] 762s Get:97 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.8.0-2 [15.4 MB] 771s Fetched 172 MB in 2min 1s (1417 kB/s) 771s Selecting previously unselected package libgdk-pixbuf2.0-common. 772s (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 ... 81647 files and directories currently installed.) 772s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 772s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 772s Selecting previously unselected package libjpeg-turbo8:arm64. 772s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 772s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 772s Selecting previously unselected package libjpeg8:arm64. 772s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 772s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 772s Selecting previously unselected package libdeflate0:arm64. 772s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 772s Unpacking libdeflate0:arm64 (1.23-1) ... 772s Selecting previously unselected package libjbig0:arm64. 772s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 772s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 772s Selecting previously unselected package liblerc4:arm64. 772s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 772s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 772s Selecting previously unselected package libsharpyuv0:arm64. 772s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 772s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 772s Selecting previously unselected package libwebp7:arm64. 772s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 772s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 772s Selecting previously unselected package libtiff6:arm64. 772s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 772s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 772s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 772s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 772s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 772s Selecting previously unselected package gtk-update-icon-cache. 772s Preparing to unpack .../10-gtk-update-icon-cache_4.17.5+ds-3ubuntu1_arm64.deb ... 772s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 772s 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. 772s Unpacking gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 772s Selecting previously unselected package hicolor-icon-theme. 772s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 772s Unpacking hicolor-icon-theme (0.18-2) ... 772s Selecting previously unselected package adwaita-icon-theme. 772s Preparing to unpack .../12-adwaita-icon-theme_48.0-1_all.deb ... 772s Unpacking adwaita-icon-theme (48.0-1) ... 772s Selecting previously unselected package at-spi2-common. 772s Preparing to unpack .../13-at-spi2-common_2.55.90-1_all.deb ... 772s Unpacking at-spi2-common (2.55.90-1) ... 772s Selecting previously unselected package libisl23:arm64. 773s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 773s Unpacking libisl23:arm64 (0.27-1) ... 773s Selecting previously unselected package libmpc3:arm64. 773s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 773s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 773s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 773s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 773s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 773s Selecting previously unselected package cpp-14. 773s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 773s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 773s Selecting previously unselected package cpp-aarch64-linux-gnu. 773s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 773s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 773s Selecting previously unselected package cpp. 773s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 773s Unpacking cpp (4:14.2.0-1ubuntu1) ... 773s Selecting previously unselected package libcln6:arm64. 773s Preparing to unpack .../20-libcln6_1.3.7-1_arm64.deb ... 773s Unpacking libcln6:arm64 (1.3.7-1) ... 773s Selecting previously unselected package libcryptominisat5-5.11t64:arm64. 773s Preparing to unpack .../21-libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_arm64.deb ... 773s Unpacking libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-1build1) ... 774s Selecting previously unselected package libcvc5-1:arm64. 774s Preparing to unpack .../22-libcvc5-1_1.1.2-2build1_arm64.deb ... 774s Unpacking libcvc5-1:arm64 (1.1.2-2build1) ... 774s Selecting previously unselected package libcvc5parser1:arm64. 774s Preparing to unpack .../23-libcvc5parser1_1.1.2-2build1_arm64.deb ... 774s Unpacking libcvc5parser1:arm64 (1.1.2-2build1) ... 774s Selecting previously unselected package cvc5. 774s Preparing to unpack .../24-cvc5_1.1.2-2build1_arm64.deb ... 774s Unpacking cvc5 (1.1.2-2build1) ... 774s Selecting previously unselected package libdconf1:arm64. 774s Preparing to unpack .../25-libdconf1_0.40.0-5_arm64.deb ... 774s Unpacking libdconf1:arm64 (0.40.0-5) ... 774s Selecting previously unselected package dconf-service. 774s Preparing to unpack .../26-dconf-service_0.40.0-5_arm64.deb ... 774s Unpacking dconf-service (0.40.0-5) ... 774s Selecting previously unselected package dconf-gsettings-backend:arm64. 774s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 774s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 774s Selecting previously unselected package fonts-dejavu-mono. 774s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 774s Unpacking fonts-dejavu-mono (2.37-8) ... 774s Selecting previously unselected package fonts-dejavu-core. 774s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 774s Unpacking fonts-dejavu-core (2.37-8) ... 774s Selecting previously unselected package fontconfig-config. 774s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_arm64.deb ... 774s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 774s Selecting previously unselected package libfontconfig1:arm64. 774s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_arm64.deb ... 774s Unpacking libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 774s Selecting previously unselected package fontconfig. 774s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_arm64.deb ... 774s Unpacking fontconfig (2.15.0-2ubuntu1) ... 774s Selecting previously unselected package libcc1-0:arm64. 774s Preparing to unpack .../33-libcc1-0_15-20250222-0ubuntu1_arm64.deb ... 774s Unpacking libcc1-0:arm64 (15-20250222-0ubuntu1) ... 774s Selecting previously unselected package libgomp1:arm64. 774s Preparing to unpack .../34-libgomp1_15-20250222-0ubuntu1_arm64.deb ... 774s Unpacking libgomp1:arm64 (15-20250222-0ubuntu1) ... 774s Selecting previously unselected package libitm1:arm64. 774s Preparing to unpack .../35-libitm1_15-20250222-0ubuntu1_arm64.deb ... 774s Unpacking libitm1:arm64 (15-20250222-0ubuntu1) ... 774s Selecting previously unselected package libasan8:arm64. 774s Preparing to unpack .../36-libasan8_15-20250222-0ubuntu1_arm64.deb ... 774s Unpacking libasan8:arm64 (15-20250222-0ubuntu1) ... 774s Selecting previously unselected package liblsan0:arm64. 774s Preparing to unpack .../37-liblsan0_15-20250222-0ubuntu1_arm64.deb ... 774s Unpacking liblsan0:arm64 (15-20250222-0ubuntu1) ... 774s Selecting previously unselected package libtsan2:arm64. 774s Preparing to unpack .../38-libtsan2_15-20250222-0ubuntu1_arm64.deb ... 774s Unpacking libtsan2:arm64 (15-20250222-0ubuntu1) ... 774s Selecting previously unselected package libubsan1:arm64. 774s Preparing to unpack .../39-libubsan1_15-20250222-0ubuntu1_arm64.deb ... 774s Unpacking libubsan1:arm64 (15-20250222-0ubuntu1) ... 774s Selecting previously unselected package libhwasan0:arm64. 774s Preparing to unpack .../40-libhwasan0_15-20250222-0ubuntu1_arm64.deb ... 774s Unpacking libhwasan0:arm64 (15-20250222-0ubuntu1) ... 774s Selecting previously unselected package libgcc-14-dev:arm64. 774s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 774s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 775s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 775s Preparing to unpack .../42-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 775s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 775s Selecting previously unselected package gcc-14. 775s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 775s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 775s Selecting previously unselected package gcc-aarch64-linux-gnu. 775s Preparing to unpack .../44-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 775s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 775s Selecting previously unselected package gcc. 775s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 775s Unpacking gcc (4:14.2.0-1ubuntu1) ... 775s Selecting previously unselected package libatk1.0-0t64:arm64. 775s Preparing to unpack .../46-libatk1.0-0t64_2.55.90-1_arm64.deb ... 775s Unpacking libatk1.0-0t64:arm64 (2.55.90-1) ... 775s Selecting previously unselected package libxi6:arm64. 775s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_arm64.deb ... 775s Unpacking libxi6:arm64 (2:1.8.2-1) ... 775s Selecting previously unselected package libatspi2.0-0t64:arm64. 775s Preparing to unpack .../48-libatspi2.0-0t64_2.55.90-1_arm64.deb ... 775s Unpacking libatspi2.0-0t64:arm64 (2.55.90-1) ... 775s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 775s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.90-1_arm64.deb ... 775s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.90-1) ... 775s Selecting previously unselected package libavahi-common-data:arm64. 775s Preparing to unpack .../50-libavahi-common-data_0.8-16ubuntu1_arm64.deb ... 775s Unpacking libavahi-common-data:arm64 (0.8-16ubuntu1) ... 775s Selecting previously unselected package libavahi-common3:arm64. 775s Preparing to unpack .../51-libavahi-common3_0.8-16ubuntu1_arm64.deb ... 775s Unpacking libavahi-common3:arm64 (0.8-16ubuntu1) ... 775s Selecting previously unselected package libavahi-client3:arm64. 775s Preparing to unpack .../52-libavahi-client3_0.8-16ubuntu1_arm64.deb ... 775s Unpacking libavahi-client3:arm64 (0.8-16ubuntu1) ... 775s Selecting previously unselected package libpixman-1-0:arm64. 775s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_arm64.deb ... 775s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 775s Selecting previously unselected package libxcb-render0:arm64. 775s Preparing to unpack .../54-libxcb-render0_1.17.0-2_arm64.deb ... 775s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 775s Selecting previously unselected package libxcb-shm0:arm64. 775s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_arm64.deb ... 775s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 775s Selecting previously unselected package libxrender1:arm64. 775s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 775s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 776s Selecting previously unselected package libcairo2:arm64. 776s Preparing to unpack .../57-libcairo2_1.18.2-2_arm64.deb ... 776s Unpacking libcairo2:arm64 (1.18.2-2) ... 776s Selecting previously unselected package libcairo-gobject2:arm64. 776s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_arm64.deb ... 776s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 776s Selecting previously unselected package libstdlib-ocaml. 776s Preparing to unpack .../59-libstdlib-ocaml_5.3.0-2_arm64.deb ... 776s Unpacking libstdlib-ocaml (5.3.0-2) ... 776s Selecting previously unselected package ocaml-base. 776s Preparing to unpack .../60-ocaml-base_5.3.0-2_arm64.deb ... 776s Unpacking ocaml-base (5.3.0-2) ... 776s Selecting previously unselected package libcairo2-ocaml. 776s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2build1_arm64.deb ... 776s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 776s Selecting previously unselected package liblcms2-2:arm64. 776s Preparing to unpack .../62-liblcms2-2_2.16-2_arm64.deb ... 776s Unpacking liblcms2-2:arm64 (2.16-2) ... 776s Selecting previously unselected package libcolord2:arm64. 776s Preparing to unpack .../63-libcolord2_1.4.7-3_arm64.deb ... 776s Unpacking libcolord2:arm64 (1.4.7-3) ... 776s Selecting previously unselected package libstdlib-ocaml-dev. 776s Preparing to unpack .../64-libstdlib-ocaml-dev_5.3.0-2_arm64.deb ... 776s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 776s Selecting previously unselected package libcompiler-libs-ocaml-dev. 776s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.3.0-2_arm64.deb ... 776s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 776s Selecting previously unselected package libcups2t64:arm64. 776s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 776s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 776s Selecting previously unselected package libdatrie1:arm64. 777s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_arm64.deb ... 777s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 777s Selecting previously unselected package libepoxy0:arm64. 777s Preparing to unpack .../68-libepoxy0_1.5.10-2_arm64.deb ... 777s Unpacking libepoxy0:arm64 (1.5.10-2) ... 777s Selecting previously unselected package libgraphite2-3:arm64. 777s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 777s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 777s Selecting previously unselected package libharfbuzz0b:arm64. 777s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_arm64.deb ... 777s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 777s Selecting previously unselected package libthai-data. 777s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 777s Unpacking libthai-data (0.1.29-2build1) ... 777s Selecting previously unselected package libthai0:arm64. 777s Preparing to unpack .../72-libthai0_0.1.29-2build1_arm64.deb ... 777s Unpacking libthai0:arm64 (0.1.29-2build1) ... 777s Selecting previously unselected package libpango-1.0-0:arm64. 777s Preparing to unpack .../73-libpango-1.0-0_1.56.2-1_arm64.deb ... 777s Unpacking libpango-1.0-0:arm64 (1.56.2-1) ... 777s Selecting previously unselected package libpangoft2-1.0-0:arm64. 777s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.2-1_arm64.deb ... 777s Unpacking libpangoft2-1.0-0:arm64 (1.56.2-1) ... 777s Selecting previously unselected package libpangocairo-1.0-0:arm64. 777s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.2-1_arm64.deb ... 777s Unpacking libpangocairo-1.0-0:arm64 (1.56.2-1) ... 777s Selecting previously unselected package libwayland-client0:arm64. 777s Preparing to unpack .../76-libwayland-client0_1.23.1-3_arm64.deb ... 777s Unpacking libwayland-client0:arm64 (1.23.1-3) ... 777s Selecting previously unselected package libwayland-cursor0:arm64. 777s Preparing to unpack .../77-libwayland-cursor0_1.23.1-3_arm64.deb ... 777s Unpacking libwayland-cursor0:arm64 (1.23.1-3) ... 777s Selecting previously unselected package libwayland-egl1:arm64. 777s Preparing to unpack .../78-libwayland-egl1_1.23.1-3_arm64.deb ... 777s Unpacking libwayland-egl1:arm64 (1.23.1-3) ... 777s Selecting previously unselected package libxcomposite1:arm64. 777s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 777s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 777s Selecting previously unselected package libxfixes3:arm64. 777s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 777s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 777s Selecting previously unselected package libxcursor1:arm64. 777s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_arm64.deb ... 777s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 777s Selecting previously unselected package libxdamage1:arm64. 777s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 777s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 777s Selecting previously unselected package libxinerama1:arm64. 777s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 777s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 777s Selecting previously unselected package libxrandr2:arm64. 777s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_arm64.deb ... 777s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 777s Selecting previously unselected package libgtk-3-common. 777s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 777s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 777s Selecting previously unselected package libgtk-3-0t64:arm64. 777s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 777s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 777s Selecting previously unselected package libgtksourceview-3.0-common. 777s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 777s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 777s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 778s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 778s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 778s Selecting previously unselected package liblablgtk3-ocaml. 778s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build2_arm64.deb ... 778s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 778s Selecting previously unselected package liblablgtksourceview3-ocaml. 778s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build2_arm64.deb ... 778s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 778s Selecting previously unselected package libncurses-dev:arm64. 778s Preparing to unpack .../91-libncurses-dev_6.5+20250216-2_arm64.deb ... 778s Unpacking libncurses-dev:arm64 (6.5+20250216-2) ... 778s Selecting previously unselected package libzstd-dev:arm64. 778s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 778s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 778s Selecting previously unselected package ocaml-interp. 778s Preparing to unpack .../93-ocaml-interp_5.3.0-2_arm64.deb ... 778s Unpacking ocaml-interp (5.3.0-2) ... 778s Selecting previously unselected package ocaml. 778s Preparing to unpack .../94-ocaml_5.3.0-2_arm64.deb ... 778s Unpacking ocaml (5.3.0-2) ... 779s Selecting previously unselected package tex-common. 779s Preparing to unpack .../95-tex-common_6.19_all.deb ... 779s Unpacking tex-common (6.19) ... 779s Selecting previously unselected package why3. 779s Preparing to unpack .../96-why3_1.8.0-2_arm64.deb ... 779s Unpacking why3 (1.8.0-2) ... 779s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 779s Setting up liblcms2-2:arm64 (2.16-2) ... 779s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 779s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 779s Setting up libcln6:arm64 (1.3.7-1) ... 779s Setting up libncurses-dev:arm64 (6.5+20250216-2) ... 779s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 779s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 779s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 779s Setting up hicolor-icon-theme (0.18-2) ... 779s Setting up libxi6:arm64 (2:1.8.2-1) ... 779s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 779s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 779s Setting up libxcb-render0:arm64 (1.17.0-2) ... 779s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 779s Setting up libdeflate0:arm64 (1.23-1) ... 779s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 779s Setting up libgomp1:arm64 (15-20250222-0ubuntu1) ... 779s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 779s Setting up libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-1build1) ... 779s Setting up libcolord2:arm64 (1.4.7-3) ... 779s Setting up libdconf1:arm64 (0.40.0-5) ... 779s Setting up tex-common (6.19) ... 779s update-language: texlive-base not installed and configured, doing nothing! 779s Setting up libepoxy0:arm64 (1.5.10-2) ... 779s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 779s Setting up libavahi-common-data:arm64 (0.8-16ubuntu1) ... 779s Setting up libatspi2.0-0t64:arm64 (2.55.90-1) ... 779s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 779s Setting up libstdlib-ocaml (5.3.0-2) ... 779s Setting up fonts-dejavu-mono (2.37-8) ... 779s Setting up libmpc3:arm64 (1.3.1-1build2) ... 779s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 779s Setting up ocaml-base (5.3.0-2) ... 779s Setting up fonts-dejavu-core (2.37-8) ... 779s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 779s Setting up libwebp7:arm64 (1.5.0-0.1) ... 779s Setting up libubsan1:arm64 (15-20250222-0ubuntu1) ... 779s Setting up libhwasan0:arm64 (15-20250222-0ubuntu1) ... 779s Setting up at-spi2-common (2.55.90-1) ... 779s Setting up libasan8:arm64 (15-20250222-0ubuntu1) ... 779s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 779s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 779s Setting up libthai-data (0.1.29-2build1) ... 779s Setting up libwayland-egl1:arm64 (1.23.1-3) ... 779s Setting up libtsan2:arm64 (15-20250222-0ubuntu1) ... 779s Setting up libisl23:arm64 (0.27-1) ... 779s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 779s Setting up libcc1-0:arm64 (15-20250222-0ubuntu1) ... 779s Setting up liblsan0:arm64 (15-20250222-0ubuntu1) ... 779s Setting up libitm1:arm64 (15-20250222-0ubuntu1) ... 779s Setting up libwayland-client0:arm64 (1.23.1-3) ... 779s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 779s Setting up libcvc5-1:arm64 (1.1.2-2build1) ... 779s Setting up libatk1.0-0t64:arm64 (2.55.90-1) ... 779s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 779s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 780s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 780s Setting up libavahi-common3:arm64 (0.8-16ubuntu1) ... 780s Setting up dconf-service (0.40.0-5) ... 780s Setting up libthai0:arm64 (0.1.29-2build1) ... 780s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 780s Setting up ocaml-interp (5.3.0-2) ... 780s Setting up libcvc5parser1:arm64 (1.1.2-2build1) ... 780s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 780s Setting up cvc5 (1.1.2-2build1) ... 780s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 780s Setting up libwayland-cursor0:arm64 (1.23.1-3) ... 780s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 780s Setting up libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 780s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 780s Setting up libavahi-client3:arm64 (0.8-16ubuntu1) ... 780s Setting up libatk-bridge2.0-0t64:arm64 (2.55.90-1) ... 780s Setting up gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 780s Setting up fontconfig (2.15.0-2ubuntu1) ... 782s Regenerating fonts cache... done. 782s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 782s Setting up libpango-1.0-0:arm64 (1.56.2-1) ... 782s Setting up libcairo2:arm64 (1.18.2-2) ... 782s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 782s Setting up adwaita-icon-theme (48.0-1) ... 782s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 782s Setting up cpp-14 (14.2.0-17ubuntu3) ... 782s Setting up cpp (4:14.2.0-1ubuntu1) ... 782s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 782s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 782s Setting up libpangoft2-1.0-0:arm64 (1.56.2-1) ... 782s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 782s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 782s Setting up libpangocairo-1.0-0:arm64 (1.56.2-1) ... 782s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 782s Setting up libcairo2-ocaml (0.6.5-2build1) ... 782s Setting up gcc-14 (14.2.0-17ubuntu3) ... 782s Setting up gcc (4:14.2.0-1ubuntu1) ... 782s Setting up ocaml (5.3.0-2) ... 782s Processing triggers for libc-bin (2.41-1ubuntu2) ... 782s Processing triggers for man-db (2.13.0-1) ... 783s Processing triggers for libglib2.0-0t64:arm64 (2.84.0-1) ... 783s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 783s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 783s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 783s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 783s Setting up why3 (1.8.0-2) ... 783s Processing triggers for libc-bin (2.41-1ubuntu2) ... 877s autopkgtest [17:44:35]: test why3+cvc5: [----------------------- 879s autopkgtest [17:44:37]: test why3+cvc5: -----------------------] 879s autopkgtest [17:44:37]: test why3+cvc5: - - - - - - - - - - results - - - - - - - - - - 879s why3+cvc5 PASS 880s autopkgtest [17:44:38]: test why3+spass: preparing testbed 1011s autopkgtest [17:46:49]: testbed dpkg architecture: arm64 1011s autopkgtest [17:46:49]: testbed apt version: 2.9.33 1012s autopkgtest [17:46:50]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1012s autopkgtest [17:46:50]: testbed release detected to be: plucky 1013s autopkgtest [17:46:51]: updating testbed package index (apt update) 1014s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 1014s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 1014s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 1014s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 1014s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 1014s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 1014s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 1014s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [111 kB] 1014s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 c-n-f Metadata [1856 B] 1014s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 c-n-f Metadata [116 B] 1014s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [324 kB] 1014s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 c-n-f Metadata [14.7 kB] 1014s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [4948 B] 1014s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 c-n-f Metadata [268 B] 1015s Fetched 1078 kB in 1s (1046 kB/s) 1015s Reading package lists... 1016s + lsb_release --codename --short 1016s + RELEASE=plucky 1016s + cat 1016s + [ plucky != trusty ] 1016s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 1016s Reading package lists... 1017s Building dependency tree... 1017s Reading state information... 1017s Calculating upgrade... 1017s Calculating upgrade... 1018s The following packages will be upgraded: 1018s pinentry-curses python3-jinja2 strace 1018s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1018s Need to get 647 kB of archives. 1018s After this operation, 11.3 kB of additional disk space will be used. 1018s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 strace arm64 6.13+ds-1ubuntu1 [499 kB] 1019s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 pinentry-curses arm64 1.3.1-2ubuntu3 [39.2 kB] 1019s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 1019s Fetched 647 kB in 1s (938 kB/s) 1019s (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 ... 117701 files and directories currently installed.) 1019s Preparing to unpack .../strace_6.13+ds-1ubuntu1_arm64.deb ... 1019s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 1019s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_arm64.deb ... 1019s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 1019s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 1020s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 1020s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 1020s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 1020s Setting up strace (6.13+ds-1ubuntu1) ... 1020s Processing triggers for man-db (2.13.0-1) ... 1021s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 1021s + /usr/lib/apt/apt-helper analyze-pattern ?true 1021s + uname -r 1021s + sed s/\./\\./g 1021s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.* 1021s + apt list ?obsolete 1021s + tail -n+2 1021s + cut -d/ -f1 1021s + grep -v ^linux-.*6\.14\.0-10-generic.* 1021s + obsolete_pkgs=linux-headers-6.11.0-8-generic 1021s linux-headers-6.11.0-8 1021s linux-image-6.11.0-8-generic 1021s linux-modules-6.11.0-8-generic 1021s linux-tools-6.11.0-8-generic 1021s linux-tools-6.11.0-8 1021s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-image-6.11.0-8-generic linux-modules-6.11.0-8-generic linux-tools-6.11.0-8-generic linux-tools-6.11.0-8 1021s Reading package lists... 1021s Building dependency tree... 1021s Reading state information... 1022s Solving dependencies... 1022s The following packages will be REMOVED: 1022s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 1022s libunwind8* linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 1022s linux-image-6.11.0-8-generic* linux-modules-6.11.0-8-generic* 1022s linux-tools-6.11.0-8* linux-tools-6.11.0-8-generic* 1023s 0 upgraded, 0 newly installed, 11 to remove and 5 not upgraded. 1023s After this operation, 267 MB disk space will be freed. 1023s (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 ... 117701 files and directories currently installed.) 1023s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 1023s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 1023s Removing libpython3.12t64:arm64 (3.12.9-1) ... 1023s Removing libpython3.12-stdlib:arm64 (3.12.9-1) ... 1023s Removing libnsl2:arm64 (1.3.0-3build3) ... 1023s Removing libpython3.12-minimal:arm64 (3.12.9-1) ... 1023s Removing libunwind8:arm64 (1.6.2-3.1) ... 1023s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 1026s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 1026s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 1026s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.14.0-10-generic 1026s I: /boot/initrd.img.old is now a symlink to initrd.img-6.14.0-10-generic 1026s /etc/kernel/postrm.d/initramfs-tools: 1026s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 1026s /etc/kernel/postrm.d/zz-flash-kernel: 1026s flash-kernel: Kernel 6.11.0-8-generic has been removed. 1026s flash-kernel: A higher version (6.14.0-10-generic) is still installed, no reflashing required. 1026s /etc/kernel/postrm.d/zz-update-grub: 1026s Sourcing file `/etc/default/grub' 1026s Sourcing file `/etc/default/grub.d/50-cloudimg-settings.cfg' 1026s Generating grub configuration file ... 1026s Found linux image: /boot/vmlinuz-6.14.0-10-generic 1026s Found initrd image: /boot/initrd.img-6.14.0-10-generic 1026s Warning: os-prober will not be executed to detect other bootable partitions. 1026s Systems on them will not be added to the GRUB boot configuration. 1026s Check GRUB_DISABLE_OS_PROBER documentation entry. 1026s Adding boot menu entry for UEFI Firmware Settings ... 1026s done 1026s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 1027s Processing triggers for libc-bin (2.41-1ubuntu1) ... 1027s (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 ... 81650 files and directories currently installed.) 1027s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 1027s Purging configuration files for libpython3.12-minimal:arm64 (3.12.9-1) ... 1027s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 1027s + grep -q trusty /etc/lsb-release 1027s + [ ! -d /usr/share/doc/unattended-upgrades ] 1027s + [ ! -d /usr/share/doc/lxd ] 1027s + [ ! -d /usr/share/doc/lxd-client ] 1027s + [ ! -d /usr/share/doc/snapd ] 1027s + type iptables 1027s + cat 1027s + chmod 755 /etc/rc.local 1027s + . /etc/rc.local 1027s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 1027s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 1027s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 1027s + uname -m 1027s + [ aarch64 = ppc64le ] 1027s + [ -d /run/systemd/system ] 1027s + systemd-detect-virt --quiet --vm 1027s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 1027s + cat 1027s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 1027s + echo COMPRESS=lz4 1027s autopkgtest [17:47:05]: upgrading testbed (apt dist-upgrade and autopurge) 1027s Reading package lists... 1028s Building dependency tree... 1028s Reading state information... 1028s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 1028s Starting 2 pkgProblemResolver with broken count: 0 1028s Done 1029s Entering ResolveByKeep 1030s 1030s Calculating upgrade... 1030s The following packages will be upgraded: 1030s libc-bin libc-dev-bin libc6 libc6-dev locales 1030s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1030s Need to get 9530 kB of archives. 1030s After this operation, 0 B of additional disk space will be used. 1030s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu2 [1750 kB] 1031s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu2 [24.0 kB] 1031s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu2 [2910 kB] 1031s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu2 [600 kB] 1031s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu2 [4246 kB] 1031s Preconfiguring packages ... 1032s Fetched 9530 kB in 1s (6848 kB/s) 1032s (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 ... 81647 files and directories currently installed.) 1032s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_arm64.deb ... 1032s Unpacking libc6-dev:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1032s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_arm64.deb ... 1032s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1032s Preparing to unpack .../libc6_2.41-1ubuntu2_arm64.deb ... 1032s Unpacking libc6:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1032s Setting up libc6:arm64 (2.41-1ubuntu2) ... 1032s (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 ... 81647 files and directories currently installed.) 1032s Preparing to unpack .../libc-bin_2.41-1ubuntu2_arm64.deb ... 1032s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1032s Setting up libc-bin (2.41-1ubuntu2) ... 1033s (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 ... 81647 files and directories currently installed.) 1033s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 1033s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1033s Setting up locales (2.41-1ubuntu2) ... 1033s Generating locales (this might take a while)... 1036s en_US.UTF-8... done 1036s Generation complete. 1036s Setting up libc-dev-bin (2.41-1ubuntu2) ... 1036s Setting up libc6-dev:arm64 (2.41-1ubuntu2) ... 1036s Processing triggers for man-db (2.13.0-1) ... 1037s Processing triggers for systemd (257.3-1ubuntu3) ... 1038s Reading package lists... 1038s Building dependency tree... 1038s Reading state information... 1038s Starting pkgProblemResolver with broken count: 0 1038s Starting 2 pkgProblemResolver with broken count: 0 1038s Done 1039s Solving dependencies... 1039s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1040s autopkgtest [17:47:18]: rebooting testbed after setup commands that affected boot 1067s Reading package lists... 1068s Building dependency tree... 1068s Reading state information... 1068s Starting pkgProblemResolver with broken count: 0 1068s Starting 2 pkgProblemResolver with broken count: 0 1068s Done 1069s The following NEW packages will be installed: 1069s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 1069s cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 1069s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 1069s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 1069s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 1069s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 1069s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 1069s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 1069s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 1069s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 1069s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 1069s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 1069s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 1069s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1069s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 1069s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 1069s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 1069s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 1069s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 1069s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 1069s Need to get 166 MB of archives. 1069s After this operation, 529 MB of additional disk space will be used. 1069s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 1069s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 1069s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 1069s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 1069s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 1069s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 1070s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 1070s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 1070s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 1070s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 1070s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.5+ds-3ubuntu1 [52.9 kB] 1070s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 1070s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48.0-1 [578 kB] 1070s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.90-1 [9072 B] 1070s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 1070s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 1070s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 1070s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 1070s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 1070s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 1070s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 1070s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 1070s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 1070s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 1070s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 1070s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-2ubuntu1 [37.5 kB] 1070s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-2ubuntu1 [144 kB] 1070s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-2ubuntu1 [191 kB] 1070s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250222-0ubuntu1 [44.2 kB] 1070s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250222-0ubuntu1 [146 kB] 1070s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250222-0ubuntu1 [28.0 kB] 1070s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250222-0ubuntu1 [2924 kB] 1070s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250222-0ubuntu1 [1319 kB] 1070s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250222-0ubuntu1 [2694 kB] 1070s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250222-0ubuntu1 [1178 kB] 1070s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250222-0ubuntu1 [1642 kB] 1070s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 1071s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 1071s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 1071s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 1071s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 1071s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.90-1 [55.3 kB] 1071s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 1071s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.90-1 [84.4 kB] 1071s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.90-1 [66.7 kB] 1071s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-16ubuntu1 [30.9 kB] 1071s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-16ubuntu1 [22.9 kB] 1071s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-16ubuntu1 [26.9 kB] 1071s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 1071s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 1071s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 1071s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 1071s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 1071s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 1071s Get:55 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.3.0-2 [428 kB] 1071s Get:56 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.3.0-2 [307 kB] 1071s Get:57 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2build1 [27.1 kB] 1071s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 1071s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-3 [151 kB] 1072s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-2 [7846 kB] 1072s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-2 [47.9 MB] 1074s Get:62 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 1074s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 1074s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 1074s Get:65 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 1074s Get:66 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 1074s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 1074s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 1074s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.2-1 [237 kB] 1074s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.2-1 [49.5 kB] 1074s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.2-1 [27.6 kB] 1074s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-3 [27.0 kB] 1074s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-3 [10.8 kB] 1074s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-3 [6180 B] 1074s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 1074s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 1074s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 1074s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 1074s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 1074s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 1074s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 1074s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 1074s Get:83 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 1074s Get:84 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 1074s Get:85 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build2 [3700 kB] 1074s Get:86 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build2 [343 kB] 1074s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250216-2 [389 kB] 1074s Get:88 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 1074s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.3.0-2 [8367 kB] 1075s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.3.0-2 [23.4 MB] 1076s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 spass arm64 3.9-1.1 [254 kB] 1076s Get:92 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.19 [29.8 kB] 1076s Get:93 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.8.0-2 [15.4 MB] 1077s Fetched 166 MB in 7s (22.8 MB/s) 1077s Selecting previously unselected package libgdk-pixbuf2.0-common. 1077s (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 ... 81647 files and directories currently installed.) 1077s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 1077s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 1077s Selecting previously unselected package libjpeg-turbo8:arm64. 1077s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 1077s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 1077s Selecting previously unselected package libjpeg8:arm64. 1077s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 1077s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 1077s Selecting previously unselected package libdeflate0:arm64. 1077s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 1077s Unpacking libdeflate0:arm64 (1.23-1) ... 1077s Selecting previously unselected package libjbig0:arm64. 1077s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 1077s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 1077s Selecting previously unselected package liblerc4:arm64. 1077s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 1077s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 1077s Selecting previously unselected package libsharpyuv0:arm64. 1077s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 1077s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 1077s Selecting previously unselected package libwebp7:arm64. 1077s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 1077s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 1077s Selecting previously unselected package libtiff6:arm64. 1077s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 1077s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 1077s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1077s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 1077s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 1077s Selecting previously unselected package gtk-update-icon-cache. 1077s Preparing to unpack .../10-gtk-update-icon-cache_4.17.5+ds-3ubuntu1_arm64.deb ... 1077s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 1078s 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. 1078s Unpacking gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 1078s Selecting previously unselected package hicolor-icon-theme. 1078s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 1078s Unpacking hicolor-icon-theme (0.18-2) ... 1078s Selecting previously unselected package adwaita-icon-theme. 1078s Preparing to unpack .../12-adwaita-icon-theme_48.0-1_all.deb ... 1078s Unpacking adwaita-icon-theme (48.0-1) ... 1078s Selecting previously unselected package at-spi2-common. 1078s Preparing to unpack .../13-at-spi2-common_2.55.90-1_all.deb ... 1078s Unpacking at-spi2-common (2.55.90-1) ... 1078s Selecting previously unselected package libisl23:arm64. 1078s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 1078s Unpacking libisl23:arm64 (0.27-1) ... 1078s Selecting previously unselected package libmpc3:arm64. 1078s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 1078s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 1078s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 1078s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 1078s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1078s Selecting previously unselected package cpp-14. 1078s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 1078s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 1078s Selecting previously unselected package cpp-aarch64-linux-gnu. 1078s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 1078s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1078s Selecting previously unselected package cpp. 1078s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 1078s Unpacking cpp (4:14.2.0-1ubuntu1) ... 1078s Selecting previously unselected package libdconf1:arm64. 1078s Preparing to unpack .../20-libdconf1_0.40.0-5_arm64.deb ... 1078s Unpacking libdconf1:arm64 (0.40.0-5) ... 1078s Selecting previously unselected package dconf-service. 1078s Preparing to unpack .../21-dconf-service_0.40.0-5_arm64.deb ... 1078s Unpacking dconf-service (0.40.0-5) ... 1078s Selecting previously unselected package dconf-gsettings-backend:arm64. 1078s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 1078s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 1078s Selecting previously unselected package fonts-dejavu-mono. 1078s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 1078s Unpacking fonts-dejavu-mono (2.37-8) ... 1078s Selecting previously unselected package fonts-dejavu-core. 1078s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 1078s Unpacking fonts-dejavu-core (2.37-8) ... 1078s Selecting previously unselected package fontconfig-config. 1078s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_arm64.deb ... 1079s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 1079s Selecting previously unselected package libfontconfig1:arm64. 1079s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_arm64.deb ... 1079s Unpacking libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 1079s Selecting previously unselected package fontconfig. 1079s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_arm64.deb ... 1079s Unpacking fontconfig (2.15.0-2ubuntu1) ... 1079s Selecting previously unselected package libcc1-0:arm64. 1079s Preparing to unpack .../28-libcc1-0_15-20250222-0ubuntu1_arm64.deb ... 1079s Unpacking libcc1-0:arm64 (15-20250222-0ubuntu1) ... 1079s Selecting previously unselected package libgomp1:arm64. 1079s Preparing to unpack .../29-libgomp1_15-20250222-0ubuntu1_arm64.deb ... 1079s Unpacking libgomp1:arm64 (15-20250222-0ubuntu1) ... 1079s Selecting previously unselected package libitm1:arm64. 1079s Preparing to unpack .../30-libitm1_15-20250222-0ubuntu1_arm64.deb ... 1079s Unpacking libitm1:arm64 (15-20250222-0ubuntu1) ... 1079s Selecting previously unselected package libasan8:arm64. 1079s Preparing to unpack .../31-libasan8_15-20250222-0ubuntu1_arm64.deb ... 1079s Unpacking libasan8:arm64 (15-20250222-0ubuntu1) ... 1079s Selecting previously unselected package liblsan0:arm64. 1079s Preparing to unpack .../32-liblsan0_15-20250222-0ubuntu1_arm64.deb ... 1079s Unpacking liblsan0:arm64 (15-20250222-0ubuntu1) ... 1079s Selecting previously unselected package libtsan2:arm64. 1079s Preparing to unpack .../33-libtsan2_15-20250222-0ubuntu1_arm64.deb ... 1079s Unpacking libtsan2:arm64 (15-20250222-0ubuntu1) ... 1079s Selecting previously unselected package libubsan1:arm64. 1079s Preparing to unpack .../34-libubsan1_15-20250222-0ubuntu1_arm64.deb ... 1079s Unpacking libubsan1:arm64 (15-20250222-0ubuntu1) ... 1079s Selecting previously unselected package libhwasan0:arm64. 1079s Preparing to unpack .../35-libhwasan0_15-20250222-0ubuntu1_arm64.deb ... 1079s Unpacking libhwasan0:arm64 (15-20250222-0ubuntu1) ... 1079s Selecting previously unselected package libgcc-14-dev:arm64. 1079s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 1079s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 1079s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 1079s Preparing to unpack .../37-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 1079s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1080s Selecting previously unselected package gcc-14. 1080s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 1080s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 1080s Selecting previously unselected package gcc-aarch64-linux-gnu. 1080s Preparing to unpack .../39-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 1080s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1080s Selecting previously unselected package gcc. 1080s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 1080s Unpacking gcc (4:14.2.0-1ubuntu1) ... 1080s Selecting previously unselected package libatk1.0-0t64:arm64. 1080s Preparing to unpack .../41-libatk1.0-0t64_2.55.90-1_arm64.deb ... 1080s Unpacking libatk1.0-0t64:arm64 (2.55.90-1) ... 1080s Selecting previously unselected package libxi6:arm64. 1080s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_arm64.deb ... 1080s Unpacking libxi6:arm64 (2:1.8.2-1) ... 1080s Selecting previously unselected package libatspi2.0-0t64:arm64. 1080s Preparing to unpack .../43-libatspi2.0-0t64_2.55.90-1_arm64.deb ... 1080s Unpacking libatspi2.0-0t64:arm64 (2.55.90-1) ... 1080s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 1080s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.90-1_arm64.deb ... 1080s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.90-1) ... 1080s Selecting previously unselected package libavahi-common-data:arm64. 1080s Preparing to unpack .../45-libavahi-common-data_0.8-16ubuntu1_arm64.deb ... 1080s Unpacking libavahi-common-data:arm64 (0.8-16ubuntu1) ... 1080s Selecting previously unselected package libavahi-common3:arm64. 1080s Preparing to unpack .../46-libavahi-common3_0.8-16ubuntu1_arm64.deb ... 1080s Unpacking libavahi-common3:arm64 (0.8-16ubuntu1) ... 1080s Selecting previously unselected package libavahi-client3:arm64. 1080s Preparing to unpack .../47-libavahi-client3_0.8-16ubuntu1_arm64.deb ... 1080s Unpacking libavahi-client3:arm64 (0.8-16ubuntu1) ... 1080s Selecting previously unselected package libpixman-1-0:arm64. 1080s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_arm64.deb ... 1080s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 1080s Selecting previously unselected package libxcb-render0:arm64. 1080s Preparing to unpack .../49-libxcb-render0_1.17.0-2_arm64.deb ... 1080s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 1080s Selecting previously unselected package libxcb-shm0:arm64. 1080s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_arm64.deb ... 1080s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 1080s Selecting previously unselected package libxrender1:arm64. 1080s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 1080s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 1080s Selecting previously unselected package libcairo2:arm64. 1080s Preparing to unpack .../52-libcairo2_1.18.2-2_arm64.deb ... 1080s Unpacking libcairo2:arm64 (1.18.2-2) ... 1080s Selecting previously unselected package libcairo-gobject2:arm64. 1080s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_arm64.deb ... 1080s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 1080s Selecting previously unselected package libstdlib-ocaml. 1080s Preparing to unpack .../54-libstdlib-ocaml_5.3.0-2_arm64.deb ... 1080s Unpacking libstdlib-ocaml (5.3.0-2) ... 1080s Selecting previously unselected package ocaml-base. 1081s Preparing to unpack .../55-ocaml-base_5.3.0-2_arm64.deb ... 1081s Unpacking ocaml-base (5.3.0-2) ... 1081s Selecting previously unselected package libcairo2-ocaml. 1081s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2build1_arm64.deb ... 1081s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 1081s Selecting previously unselected package liblcms2-2:arm64. 1081s Preparing to unpack .../57-liblcms2-2_2.16-2_arm64.deb ... 1081s Unpacking liblcms2-2:arm64 (2.16-2) ... 1081s Selecting previously unselected package libcolord2:arm64. 1081s Preparing to unpack .../58-libcolord2_1.4.7-3_arm64.deb ... 1081s Unpacking libcolord2:arm64 (1.4.7-3) ... 1081s Selecting previously unselected package libstdlib-ocaml-dev. 1081s Preparing to unpack .../59-libstdlib-ocaml-dev_5.3.0-2_arm64.deb ... 1081s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 1081s Selecting previously unselected package libcompiler-libs-ocaml-dev. 1081s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.3.0-2_arm64.deb ... 1081s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 1082s Selecting previously unselected package libcups2t64:arm64. 1082s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 1082s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 1082s Selecting previously unselected package libdatrie1:arm64. 1082s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_arm64.deb ... 1082s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 1082s Selecting previously unselected package libepoxy0:arm64. 1082s Preparing to unpack .../63-libepoxy0_1.5.10-2_arm64.deb ... 1082s Unpacking libepoxy0:arm64 (1.5.10-2) ... 1082s Selecting previously unselected package libgraphite2-3:arm64. 1082s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 1082s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 1082s Selecting previously unselected package libharfbuzz0b:arm64. 1082s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_arm64.deb ... 1082s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 1082s Selecting previously unselected package libthai-data. 1082s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 1082s Unpacking libthai-data (0.1.29-2build1) ... 1082s Selecting previously unselected package libthai0:arm64. 1082s Preparing to unpack .../67-libthai0_0.1.29-2build1_arm64.deb ... 1082s Unpacking libthai0:arm64 (0.1.29-2build1) ... 1082s Selecting previously unselected package libpango-1.0-0:arm64. 1082s Preparing to unpack .../68-libpango-1.0-0_1.56.2-1_arm64.deb ... 1082s Unpacking libpango-1.0-0:arm64 (1.56.2-1) ... 1082s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1082s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.2-1_arm64.deb ... 1082s Unpacking libpangoft2-1.0-0:arm64 (1.56.2-1) ... 1082s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1082s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.2-1_arm64.deb ... 1082s Unpacking libpangocairo-1.0-0:arm64 (1.56.2-1) ... 1082s Selecting previously unselected package libwayland-client0:arm64. 1082s Preparing to unpack .../71-libwayland-client0_1.23.1-3_arm64.deb ... 1082s Unpacking libwayland-client0:arm64 (1.23.1-3) ... 1082s Selecting previously unselected package libwayland-cursor0:arm64. 1082s Preparing to unpack .../72-libwayland-cursor0_1.23.1-3_arm64.deb ... 1082s Unpacking libwayland-cursor0:arm64 (1.23.1-3) ... 1082s Selecting previously unselected package libwayland-egl1:arm64. 1082s Preparing to unpack .../73-libwayland-egl1_1.23.1-3_arm64.deb ... 1082s Unpacking libwayland-egl1:arm64 (1.23.1-3) ... 1082s Selecting previously unselected package libxcomposite1:arm64. 1082s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 1082s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 1082s Selecting previously unselected package libxfixes3:arm64. 1082s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 1082s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 1082s Selecting previously unselected package libxcursor1:arm64. 1082s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_arm64.deb ... 1082s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 1082s Selecting previously unselected package libxdamage1:arm64. 1082s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 1082s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 1082s Selecting previously unselected package libxinerama1:arm64. 1082s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 1082s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 1082s Selecting previously unselected package libxrandr2:arm64. 1082s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_arm64.deb ... 1082s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 1082s Selecting previously unselected package libgtk-3-common. 1082s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 1082s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 1082s Selecting previously unselected package libgtk-3-0t64:arm64. 1082s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 1082s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 1082s Selecting previously unselected package libgtksourceview-3.0-common. 1082s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 1082s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 1082s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1082s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 1082s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 1082s Selecting previously unselected package liblablgtk3-ocaml. 1082s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build2_arm64.deb ... 1082s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 1082s Selecting previously unselected package liblablgtksourceview3-ocaml. 1082s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build2_arm64.deb ... 1082s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 1083s Selecting previously unselected package libncurses-dev:arm64. 1083s Preparing to unpack .../86-libncurses-dev_6.5+20250216-2_arm64.deb ... 1083s Unpacking libncurses-dev:arm64 (6.5+20250216-2) ... 1083s Selecting previously unselected package libzstd-dev:arm64. 1083s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 1083s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 1083s Selecting previously unselected package ocaml-interp. 1083s Preparing to unpack .../88-ocaml-interp_5.3.0-2_arm64.deb ... 1083s Unpacking ocaml-interp (5.3.0-2) ... 1083s Selecting previously unselected package ocaml. 1083s Preparing to unpack .../89-ocaml_5.3.0-2_arm64.deb ... 1083s Unpacking ocaml (5.3.0-2) ... 1083s Selecting previously unselected package spass. 1083s Preparing to unpack .../90-spass_3.9-1.1_arm64.deb ... 1083s Unpacking spass (3.9-1.1) ... 1083s Selecting previously unselected package tex-common. 1084s Preparing to unpack .../91-tex-common_6.19_all.deb ... 1084s Unpacking tex-common (6.19) ... 1084s Selecting previously unselected package why3. 1084s Preparing to unpack .../92-why3_1.8.0-2_arm64.deb ... 1084s Unpacking why3 (1.8.0-2) ... 1084s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 1084s Setting up liblcms2-2:arm64 (2.16-2) ... 1084s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 1084s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 1084s Setting up libncurses-dev:arm64 (6.5+20250216-2) ... 1084s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 1084s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 1084s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 1084s Setting up hicolor-icon-theme (0.18-2) ... 1084s Setting up libxi6:arm64 (2:1.8.2-1) ... 1084s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 1084s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 1084s Setting up libxcb-render0:arm64 (1.17.0-2) ... 1084s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 1084s Setting up libdeflate0:arm64 (1.23-1) ... 1084s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 1084s Setting up libgomp1:arm64 (15-20250222-0ubuntu1) ... 1084s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 1084s Setting up libcolord2:arm64 (1.4.7-3) ... 1084s Setting up libdconf1:arm64 (0.40.0-5) ... 1084s Setting up tex-common (6.19) ... 1084s update-language: texlive-base not installed and configured, doing nothing! 1084s Setting up libepoxy0:arm64 (1.5.10-2) ... 1084s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 1084s Setting up spass (3.9-1.1) ... 1084s Setting up libavahi-common-data:arm64 (0.8-16ubuntu1) ... 1084s Setting up libatspi2.0-0t64:arm64 (2.55.90-1) ... 1084s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 1084s Setting up libstdlib-ocaml (5.3.0-2) ... 1084s Setting up fonts-dejavu-mono (2.37-8) ... 1084s Setting up libmpc3:arm64 (1.3.1-1build2) ... 1084s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 1084s Setting up ocaml-base (5.3.0-2) ... 1084s Setting up fonts-dejavu-core (2.37-8) ... 1084s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 1084s Setting up libwebp7:arm64 (1.5.0-0.1) ... 1084s Setting up libubsan1:arm64 (15-20250222-0ubuntu1) ... 1084s Setting up libhwasan0:arm64 (15-20250222-0ubuntu1) ... 1084s Setting up at-spi2-common (2.55.90-1) ... 1084s Setting up libasan8:arm64 (15-20250222-0ubuntu1) ... 1084s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 1084s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 1084s Setting up libthai-data (0.1.29-2build1) ... 1084s Setting up libwayland-egl1:arm64 (1.23.1-3) ... 1084s Setting up libtsan2:arm64 (15-20250222-0ubuntu1) ... 1084s Setting up libisl23:arm64 (0.27-1) ... 1084s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 1084s Setting up libcc1-0:arm64 (15-20250222-0ubuntu1) ... 1084s Setting up liblsan0:arm64 (15-20250222-0ubuntu1) ... 1084s Setting up libitm1:arm64 (15-20250222-0ubuntu1) ... 1084s Setting up libwayland-client0:arm64 (1.23.1-3) ... 1084s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 1084s Setting up libatk1.0-0t64:arm64 (2.55.90-1) ... 1084s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 1084s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 1084s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 1084s Setting up libavahi-common3:arm64 (0.8-16ubuntu1) ... 1084s Setting up dconf-service (0.40.0-5) ... 1084s Setting up libthai0:arm64 (0.1.29-2build1) ... 1084s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 1084s Setting up ocaml-interp (5.3.0-2) ... 1084s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1084s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 1084s Setting up libwayland-cursor0:arm64 (1.23.1-3) ... 1084s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 1084s Setting up libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 1084s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 1084s Setting up libavahi-client3:arm64 (0.8-16ubuntu1) ... 1084s Setting up libatk-bridge2.0-0t64:arm64 (2.55.90-1) ... 1084s Setting up gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 1084s Setting up fontconfig (2.15.0-2ubuntu1) ... 1086s Regenerating fonts cache... done. 1086s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 1086s Setting up libpango-1.0-0:arm64 (1.56.2-1) ... 1087s Setting up libcairo2:arm64 (1.18.2-2) ... 1087s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1087s Setting up adwaita-icon-theme (48.0-1) ... 1087s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1087s Setting up cpp-14 (14.2.0-17ubuntu3) ... 1087s Setting up cpp (4:14.2.0-1ubuntu1) ... 1087s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 1087s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1087s Setting up libpangoft2-1.0-0:arm64 (1.56.2-1) ... 1087s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 1087s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 1087s Setting up libpangocairo-1.0-0:arm64 (1.56.2-1) ... 1087s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1087s Setting up libcairo2-ocaml (0.6.5-2build1) ... 1087s Setting up gcc-14 (14.2.0-17ubuntu3) ... 1087s Setting up gcc (4:14.2.0-1ubuntu1) ... 1087s Setting up ocaml (5.3.0-2) ... 1087s Processing triggers for libc-bin (2.41-1ubuntu2) ... 1087s Processing triggers for man-db (2.13.0-1) ... 1088s Processing triggers for libglib2.0-0t64:arm64 (2.84.0-1) ... 1088s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 1088s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 1088s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 1088s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 1088s Setting up why3 (1.8.0-2) ... 1088s Processing triggers for libc-bin (2.41-1ubuntu2) ... 1118s autopkgtest [17:48:36]: test why3+spass: [----------------------- 1119s autopkgtest [17:48:37]: test why3+spass: -----------------------] 1119s autopkgtest [17:48:37]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 1119s why3+spass PASS 1120s autopkgtest [17:48:38]: test why3+z3: preparing testbed 1258s autopkgtest [17:50:56]: testbed dpkg architecture: arm64 1259s autopkgtest [17:50:57]: testbed apt version: 2.9.33 1259s autopkgtest [17:50:57]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1259s autopkgtest [17:50:57]: testbed release detected to be: plucky 1260s autopkgtest [17:50:58]: updating testbed package index (apt update) 1261s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 1261s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 1261s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 1261s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 1261s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 1261s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 1261s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 1262s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [111 kB] 1262s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 c-n-f Metadata [1856 B] 1262s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 c-n-f Metadata [116 B] 1262s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [324 kB] 1262s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 c-n-f Metadata [14.7 kB] 1262s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [4948 B] 1262s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 c-n-f Metadata [268 B] 1262s Fetched 1078 kB in 2s (666 kB/s) 1263s Reading package lists... 1264s + lsb_release --codename --short 1264s + RELEASE=plucky 1264s + cat 1264s + [ plucky != trusty ] 1264s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 1264s Reading package lists... 1264s Building dependency tree... 1264s Reading state information... 1265s Calculating upgrade... 1265s Calculating upgrade... 1265s The following packages will be upgraded: 1265s pinentry-curses python3-jinja2 strace 1266s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1266s Need to get 647 kB of archives. 1266s After this operation, 11.3 kB of additional disk space will be used. 1266s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 strace arm64 6.13+ds-1ubuntu1 [499 kB] 1266s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 pinentry-curses arm64 1.3.1-2ubuntu3 [39.2 kB] 1266s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 1267s Fetched 647 kB in 1s (595 kB/s) 1267s (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 ... 117701 files and directories currently installed.) 1267s Preparing to unpack .../strace_6.13+ds-1ubuntu1_arm64.deb ... 1267s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 1267s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_arm64.deb ... 1267s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 1267s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 1267s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 1268s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 1268s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 1268s Setting up strace (6.13+ds-1ubuntu1) ... 1268s Processing triggers for man-db (2.13.0-1) ... 1269s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 1269s + /usr/lib/apt/apt-helper analyze-pattern ?true 1269s + uname -r 1269s + sed s/\./\\./g 1269s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.* 1269s + apt list ?obsolete 1269s + tail -n+2 1269s + + grep -v ^linux-.*6\.14\.0-10-generic.* 1269s cut -d/ -f1 1269s + obsolete_pkgs=linux-headers-6.11.0-8-generic 1269s linux-headers-6.11.0-8 1269s linux-image-6.11.0-8-generic 1269s linux-modules-6.11.0-8-generic 1269s linux-tools-6.11.0-8-generic 1269s linux-tools-6.11.0-8 1269s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-image-6.11.0-8-generic linux-modules-6.11.0-8-generic linux-tools-6.11.0-8-generic linux-tools-6.11.0-8 1269s Reading package lists... 1269s Building dependency tree... 1269s Reading state information... 1270s Solving dependencies... 1271s The following packages will be REMOVED: 1271s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 1271s libunwind8* linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 1271s linux-image-6.11.0-8-generic* linux-modules-6.11.0-8-generic* 1271s linux-tools-6.11.0-8* linux-tools-6.11.0-8-generic* 1271s 0 upgraded, 0 newly installed, 11 to remove and 5 not upgraded. 1271s After this operation, 267 MB disk space will be freed. 1271s (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 ... 117701 files and directories currently installed.) 1271s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 1271s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 1272s Removing libpython3.12t64:arm64 (3.12.9-1) ... 1272s Removing libpython3.12-stdlib:arm64 (3.12.9-1) ... 1272s Removing libnsl2:arm64 (1.3.0-3build3) ... 1272s Removing libpython3.12-minimal:arm64 (3.12.9-1) ... 1272s Removing libunwind8:arm64 (1.6.2-3.1) ... 1272s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 1272s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 1274s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 1274s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.14.0-10-generic 1274s I: /boot/initrd.img.old is now a symlink to initrd.img-6.14.0-10-generic 1274s /etc/kernel/postrm.d/initramfs-tools: 1274s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 1274s /etc/kernel/postrm.d/zz-flash-kernel: 1274s flash-kernel: Kernel 6.11.0-8-generic has been removed. 1274s flash-kernel: A higher version (6.14.0-10-generic) is still installed, no reflashing required. 1275s /etc/kernel/postrm.d/zz-update-grub: 1275s Sourcing file `/etc/default/grub' 1275s Sourcing file `/etc/default/grub.d/50-cloudimg-settings.cfg' 1275s Generating grub configuration file ... 1275s Found linux image: /boot/vmlinuz-6.14.0-10-generic 1275s Found initrd image: /boot/initrd.img-6.14.0-10-generic 1275s Warning: os-prober will not be executed to detect other bootable partitions. 1275s Systems on them will not be added to the GRUB boot configuration. 1275s Check GRUB_DISABLE_OS_PROBER documentation entry. 1275s Adding boot menu entry for UEFI Firmware Settings ... 1275s done 1275s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 1276s Processing triggers for libc-bin (2.41-1ubuntu1) ... 1276s (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 ... 81650 files and directories currently installed.) 1276s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 1276s Purging configuration files for libpython3.12-minimal:arm64 (3.12.9-1) ... 1276s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 1276s + grep -q trusty /etc/lsb-release 1276s + [ ! -d /usr/share/doc/unattended-upgrades ] 1276s + [ ! -d /usr/share/doc/lxd ] 1276s + [ ! -d /usr/share/doc/lxd-client ] 1276s + [ ! -d /usr/share/doc/snapd ] 1276s + type iptables 1276s + cat 1276s + chmod 755 /etc/rc.local 1276s + . /etc/rc.local 1276s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 1276s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 1276s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 1276s + uname -m 1276s + [ aarch64 = ppc64le ] 1276s + [ -d /run/systemd/system ] 1276s + systemd-detect-virt --quiet --vm 1276s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 1276s + cat 1276s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 1276s + echo COMPRESS=lz4 1276s autopkgtest [17:51:14]: upgrading testbed (apt dist-upgrade and autopurge) 1276s Reading package lists... 1277s Building dependency tree... 1277s Reading state information... 1277s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 1277s Starting 2 pkgProblemResolver with broken count: 0 1277s Done 1278s Entering ResolveByKeep 1279s 1279s Calculating upgrade... 1279s The following packages will be upgraded: 1279s libc-bin libc-dev-bin libc6 libc6-dev locales 1280s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1280s Need to get 9530 kB of archives. 1280s After this operation, 0 B of additional disk space will be used. 1280s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu2 [1750 kB] 1281s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu2 [24.0 kB] 1281s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu2 [2910 kB] 1285s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu2 [600 kB] 1285s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu2 [4246 kB] 1289s Preconfiguring packages ... 1290s Fetched 9530 kB in 10s (987 kB/s) 1290s (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 ... 81647 files and directories currently installed.) 1290s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_arm64.deb ... 1290s Unpacking libc6-dev:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1290s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_arm64.deb ... 1290s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1290s Preparing to unpack .../libc6_2.41-1ubuntu2_arm64.deb ... 1291s Unpacking libc6:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1291s Setting up libc6:arm64 (2.41-1ubuntu2) ... 1291s (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 ... 81647 files and directories currently installed.) 1291s Preparing to unpack .../libc-bin_2.41-1ubuntu2_arm64.deb ... 1291s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1291s Setting up libc-bin (2.41-1ubuntu2) ... 1291s (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 ... 81647 files and directories currently installed.) 1291s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 1291s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 1291s Setting up locales (2.41-1ubuntu2) ... 1292s Generating locales (this might take a while)... 1294s en_US.UTF-8... done 1294s Generation complete. 1294s Setting up libc-dev-bin (2.41-1ubuntu2) ... 1294s Setting up libc6-dev:arm64 (2.41-1ubuntu2) ... 1294s Processing triggers for man-db (2.13.0-1) ... 1295s Processing triggers for systemd (257.3-1ubuntu3) ... 1296s Reading package lists... 1296s Building dependency tree... 1296s Reading state information... 1297s Starting pkgProblemResolver with broken count: 0 1297s Starting 2 pkgProblemResolver with broken count: 0 1297s Done 1297s Solving dependencies... 1298s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1298s autopkgtest [17:51:36]: rebooting testbed after setup commands that affected boot 1325s Reading package lists... 1326s Building dependency tree... 1326s Reading state information... 1326s Starting pkgProblemResolver with broken count: 0 1326s Starting 2 pkgProblemResolver with broken count: 0 1326s Done 1327s The following NEW packages will be installed: 1327s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 1327s cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 1327s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 1327s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 1327s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 1327s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 1327s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 1327s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 1327s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 1327s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 1327s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 1327s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 1327s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 1327s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 1327s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 1327s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 1327s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 1327s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 1327s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 z3 1327s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 1327s Need to get 172 MB of archives. 1327s After this operation, 546 MB of additional disk space will be used. 1327s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 1328s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 1328s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 1328s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 1328s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 1328s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 1328s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 1328s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 1328s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 1328s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 1328s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.5+ds-3ubuntu1 [52.9 kB] 1329s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 1329s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48.0-1 [578 kB] 1329s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.90-1 [9072 B] 1329s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 1330s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 1330s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 1340s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 1340s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 1340s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 1340s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 1340s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 1340s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 1340s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 1340s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 1341s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-2ubuntu1 [37.5 kB] 1341s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-2ubuntu1 [144 kB] 1341s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-2ubuntu1 [191 kB] 1341s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250222-0ubuntu1 [44.2 kB] 1341s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250222-0ubuntu1 [146 kB] 1341s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250222-0ubuntu1 [28.0 kB] 1341s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250222-0ubuntu1 [2924 kB] 1344s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250222-0ubuntu1 [1319 kB] 1345s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250222-0ubuntu1 [2694 kB] 1347s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250222-0ubuntu1 [1178 kB] 1348s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250222-0ubuntu1 [1642 kB] 1350s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 1351s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 1370s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 1370s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 1370s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 1370s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.90-1 [55.3 kB] 1370s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 1370s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.90-1 [84.4 kB] 1370s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.90-1 [66.7 kB] 1370s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-16ubuntu1 [30.9 kB] 1370s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-16ubuntu1 [22.9 kB] 1370s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-16ubuntu1 [26.9 kB] 1370s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 1371s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 1371s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 1371s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 1371s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 1371s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 1371s Get:55 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.3.0-2 [428 kB] 1372s Get:56 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.3.0-2 [307 kB] 1372s Get:57 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2build1 [27.1 kB] 1372s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 1372s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-3 [151 kB] 1372s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-2 [7846 kB] 1381s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-2 [47.9 MB] 1433s Get:62 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 1433s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 1433s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 1433s Get:65 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 1434s Get:66 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 1434s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 1434s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 1435s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.2-1 [237 kB] 1435s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.2-1 [49.5 kB] 1435s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.2-1 [27.6 kB] 1435s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-3 [27.0 kB] 1435s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-3 [10.8 kB] 1435s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-3 [6180 B] 1435s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 1436s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 1436s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 1436s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 1436s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 1436s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 1436s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 1438s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 1441s Get:83 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 1441s Get:84 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 1441s Get:85 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build2 [3700 kB] 1446s Get:86 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build2 [343 kB] 1446s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250216-2 [389 kB] 1447s Get:88 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 1448s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.3.0-2 [8367 kB] 1457s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.3.0-2 [23.4 MB] 1484s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.19 [29.8 kB] 1484s Get:92 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.8.0-2 [15.4 MB] 1500s Get:93 http://ftpmaster.internal/ubuntu plucky/universe arm64 z3 arm64 4.13.3-1 [6526 kB] 1506s Fetched 172 MB in 2min 59s (964 kB/s) 1506s Selecting previously unselected package libgdk-pixbuf2.0-common. 1507s (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 ... 81647 files and directories currently installed.) 1507s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 1507s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 1507s Selecting previously unselected package libjpeg-turbo8:arm64. 1507s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 1507s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 1507s Selecting previously unselected package libjpeg8:arm64. 1507s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 1507s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 1507s Selecting previously unselected package libdeflate0:arm64. 1507s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 1507s Unpacking libdeflate0:arm64 (1.23-1) ... 1507s Selecting previously unselected package libjbig0:arm64. 1507s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 1507s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 1507s Selecting previously unselected package liblerc4:arm64. 1507s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 1507s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 1507s Selecting previously unselected package libsharpyuv0:arm64. 1507s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 1507s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 1507s Selecting previously unselected package libwebp7:arm64. 1507s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 1507s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 1507s Selecting previously unselected package libtiff6:arm64. 1507s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 1507s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 1507s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1507s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 1507s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 1507s Selecting previously unselected package gtk-update-icon-cache. 1507s Preparing to unpack .../10-gtk-update-icon-cache_4.17.5+ds-3ubuntu1_arm64.deb ... 1507s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 1507s 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. 1507s Unpacking gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 1507s Selecting previously unselected package hicolor-icon-theme. 1507s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 1507s Unpacking hicolor-icon-theme (0.18-2) ... 1507s Selecting previously unselected package adwaita-icon-theme. 1507s Preparing to unpack .../12-adwaita-icon-theme_48.0-1_all.deb ... 1507s Unpacking adwaita-icon-theme (48.0-1) ... 1507s Selecting previously unselected package at-spi2-common. 1507s Preparing to unpack .../13-at-spi2-common_2.55.90-1_all.deb ... 1507s Unpacking at-spi2-common (2.55.90-1) ... 1507s Selecting previously unselected package libisl23:arm64. 1507s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 1507s Unpacking libisl23:arm64 (0.27-1) ... 1507s Selecting previously unselected package libmpc3:arm64. 1507s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 1507s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 1507s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 1507s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 1507s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1508s Selecting previously unselected package cpp-14. 1508s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 1508s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 1508s Selecting previously unselected package cpp-aarch64-linux-gnu. 1508s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 1508s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1508s Selecting previously unselected package cpp. 1508s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 1508s Unpacking cpp (4:14.2.0-1ubuntu1) ... 1508s Selecting previously unselected package libdconf1:arm64. 1508s Preparing to unpack .../20-libdconf1_0.40.0-5_arm64.deb ... 1508s Unpacking libdconf1:arm64 (0.40.0-5) ... 1508s Selecting previously unselected package dconf-service. 1508s Preparing to unpack .../21-dconf-service_0.40.0-5_arm64.deb ... 1508s Unpacking dconf-service (0.40.0-5) ... 1508s Selecting previously unselected package dconf-gsettings-backend:arm64. 1508s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 1508s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 1508s Selecting previously unselected package fonts-dejavu-mono. 1508s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 1508s Unpacking fonts-dejavu-mono (2.37-8) ... 1508s Selecting previously unselected package fonts-dejavu-core. 1508s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 1508s Unpacking fonts-dejavu-core (2.37-8) ... 1508s Selecting previously unselected package fontconfig-config. 1508s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_arm64.deb ... 1508s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 1508s Selecting previously unselected package libfontconfig1:arm64. 1508s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_arm64.deb ... 1508s Unpacking libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 1508s Selecting previously unselected package fontconfig. 1508s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_arm64.deb ... 1508s Unpacking fontconfig (2.15.0-2ubuntu1) ... 1508s Selecting previously unselected package libcc1-0:arm64. 1508s Preparing to unpack .../28-libcc1-0_15-20250222-0ubuntu1_arm64.deb ... 1508s Unpacking libcc1-0:arm64 (15-20250222-0ubuntu1) ... 1508s Selecting previously unselected package libgomp1:arm64. 1508s Preparing to unpack .../29-libgomp1_15-20250222-0ubuntu1_arm64.deb ... 1508s Unpacking libgomp1:arm64 (15-20250222-0ubuntu1) ... 1508s Selecting previously unselected package libitm1:arm64. 1508s Preparing to unpack .../30-libitm1_15-20250222-0ubuntu1_arm64.deb ... 1508s Unpacking libitm1:arm64 (15-20250222-0ubuntu1) ... 1508s Selecting previously unselected package libasan8:arm64. 1508s Preparing to unpack .../31-libasan8_15-20250222-0ubuntu1_arm64.deb ... 1508s Unpacking libasan8:arm64 (15-20250222-0ubuntu1) ... 1509s Selecting previously unselected package liblsan0:arm64. 1509s Preparing to unpack .../32-liblsan0_15-20250222-0ubuntu1_arm64.deb ... 1509s Unpacking liblsan0:arm64 (15-20250222-0ubuntu1) ... 1509s Selecting previously unselected package libtsan2:arm64. 1509s Preparing to unpack .../33-libtsan2_15-20250222-0ubuntu1_arm64.deb ... 1509s Unpacking libtsan2:arm64 (15-20250222-0ubuntu1) ... 1509s Selecting previously unselected package libubsan1:arm64. 1509s Preparing to unpack .../34-libubsan1_15-20250222-0ubuntu1_arm64.deb ... 1509s Unpacking libubsan1:arm64 (15-20250222-0ubuntu1) ... 1509s Selecting previously unselected package libhwasan0:arm64. 1509s Preparing to unpack .../35-libhwasan0_15-20250222-0ubuntu1_arm64.deb ... 1509s Unpacking libhwasan0:arm64 (15-20250222-0ubuntu1) ... 1509s Selecting previously unselected package libgcc-14-dev:arm64. 1509s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 1509s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 1509s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 1509s Preparing to unpack .../37-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 1509s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1509s Selecting previously unselected package gcc-14. 1509s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 1509s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 1509s Selecting previously unselected package gcc-aarch64-linux-gnu. 1509s Preparing to unpack .../39-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 1509s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1509s Selecting previously unselected package gcc. 1509s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 1509s Unpacking gcc (4:14.2.0-1ubuntu1) ... 1509s Selecting previously unselected package libatk1.0-0t64:arm64. 1509s Preparing to unpack .../41-libatk1.0-0t64_2.55.90-1_arm64.deb ... 1509s Unpacking libatk1.0-0t64:arm64 (2.55.90-1) ... 1510s Selecting previously unselected package libxi6:arm64. 1510s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_arm64.deb ... 1510s Unpacking libxi6:arm64 (2:1.8.2-1) ... 1510s Selecting previously unselected package libatspi2.0-0t64:arm64. 1510s Preparing to unpack .../43-libatspi2.0-0t64_2.55.90-1_arm64.deb ... 1510s Unpacking libatspi2.0-0t64:arm64 (2.55.90-1) ... 1510s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 1510s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.90-1_arm64.deb ... 1510s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.90-1) ... 1510s Selecting previously unselected package libavahi-common-data:arm64. 1510s Preparing to unpack .../45-libavahi-common-data_0.8-16ubuntu1_arm64.deb ... 1510s Unpacking libavahi-common-data:arm64 (0.8-16ubuntu1) ... 1510s Selecting previously unselected package libavahi-common3:arm64. 1510s Preparing to unpack .../46-libavahi-common3_0.8-16ubuntu1_arm64.deb ... 1510s Unpacking libavahi-common3:arm64 (0.8-16ubuntu1) ... 1510s Selecting previously unselected package libavahi-client3:arm64. 1510s Preparing to unpack .../47-libavahi-client3_0.8-16ubuntu1_arm64.deb ... 1510s Unpacking libavahi-client3:arm64 (0.8-16ubuntu1) ... 1510s Selecting previously unselected package libpixman-1-0:arm64. 1510s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_arm64.deb ... 1510s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 1510s Selecting previously unselected package libxcb-render0:arm64. 1510s Preparing to unpack .../49-libxcb-render0_1.17.0-2_arm64.deb ... 1510s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 1510s Selecting previously unselected package libxcb-shm0:arm64. 1510s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_arm64.deb ... 1510s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 1510s Selecting previously unselected package libxrender1:arm64. 1510s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 1510s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 1510s Selecting previously unselected package libcairo2:arm64. 1510s Preparing to unpack .../52-libcairo2_1.18.2-2_arm64.deb ... 1510s Unpacking libcairo2:arm64 (1.18.2-2) ... 1510s Selecting previously unselected package libcairo-gobject2:arm64. 1510s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_arm64.deb ... 1510s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 1510s Selecting previously unselected package libstdlib-ocaml. 1510s Preparing to unpack .../54-libstdlib-ocaml_5.3.0-2_arm64.deb ... 1510s Unpacking libstdlib-ocaml (5.3.0-2) ... 1510s Selecting previously unselected package ocaml-base. 1510s Preparing to unpack .../55-ocaml-base_5.3.0-2_arm64.deb ... 1510s Unpacking ocaml-base (5.3.0-2) ... 1510s Selecting previously unselected package libcairo2-ocaml. 1510s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2build1_arm64.deb ... 1510s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 1510s Selecting previously unselected package liblcms2-2:arm64. 1510s Preparing to unpack .../57-liblcms2-2_2.16-2_arm64.deb ... 1510s Unpacking liblcms2-2:arm64 (2.16-2) ... 1510s Selecting previously unselected package libcolord2:arm64. 1510s Preparing to unpack .../58-libcolord2_1.4.7-3_arm64.deb ... 1510s Unpacking libcolord2:arm64 (1.4.7-3) ... 1510s Selecting previously unselected package libstdlib-ocaml-dev. 1510s Preparing to unpack .../59-libstdlib-ocaml-dev_5.3.0-2_arm64.deb ... 1510s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 1510s Selecting previously unselected package libcompiler-libs-ocaml-dev. 1510s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.3.0-2_arm64.deb ... 1510s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 1511s Selecting previously unselected package libcups2t64:arm64. 1511s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 1511s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 1511s Selecting previously unselected package libdatrie1:arm64. 1511s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_arm64.deb ... 1511s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 1511s Selecting previously unselected package libepoxy0:arm64. 1511s Preparing to unpack .../63-libepoxy0_1.5.10-2_arm64.deb ... 1511s Unpacking libepoxy0:arm64 (1.5.10-2) ... 1511s Selecting previously unselected package libgraphite2-3:arm64. 1511s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 1511s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 1511s Selecting previously unselected package libharfbuzz0b:arm64. 1511s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_arm64.deb ... 1511s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 1511s Selecting previously unselected package libthai-data. 1511s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 1511s Unpacking libthai-data (0.1.29-2build1) ... 1511s Selecting previously unselected package libthai0:arm64. 1511s Preparing to unpack .../67-libthai0_0.1.29-2build1_arm64.deb ... 1511s Unpacking libthai0:arm64 (0.1.29-2build1) ... 1511s Selecting previously unselected package libpango-1.0-0:arm64. 1511s Preparing to unpack .../68-libpango-1.0-0_1.56.2-1_arm64.deb ... 1511s Unpacking libpango-1.0-0:arm64 (1.56.2-1) ... 1511s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1511s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.2-1_arm64.deb ... 1511s Unpacking libpangoft2-1.0-0:arm64 (1.56.2-1) ... 1511s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1511s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.2-1_arm64.deb ... 1511s Unpacking libpangocairo-1.0-0:arm64 (1.56.2-1) ... 1511s Selecting previously unselected package libwayland-client0:arm64. 1511s Preparing to unpack .../71-libwayland-client0_1.23.1-3_arm64.deb ... 1511s Unpacking libwayland-client0:arm64 (1.23.1-3) ... 1511s Selecting previously unselected package libwayland-cursor0:arm64. 1511s Preparing to unpack .../72-libwayland-cursor0_1.23.1-3_arm64.deb ... 1511s Unpacking libwayland-cursor0:arm64 (1.23.1-3) ... 1511s Selecting previously unselected package libwayland-egl1:arm64. 1512s Preparing to unpack .../73-libwayland-egl1_1.23.1-3_arm64.deb ... 1512s Unpacking libwayland-egl1:arm64 (1.23.1-3) ... 1512s Selecting previously unselected package libxcomposite1:arm64. 1512s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 1512s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 1512s Selecting previously unselected package libxfixes3:arm64. 1512s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 1512s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 1512s Selecting previously unselected package libxcursor1:arm64. 1512s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_arm64.deb ... 1512s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 1512s Selecting previously unselected package libxdamage1:arm64. 1512s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 1512s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 1512s Selecting previously unselected package libxinerama1:arm64. 1512s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 1512s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 1512s Selecting previously unselected package libxrandr2:arm64. 1512s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_arm64.deb ... 1512s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 1512s Selecting previously unselected package libgtk-3-common. 1512s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 1512s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 1512s Selecting previously unselected package libgtk-3-0t64:arm64. 1512s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 1512s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 1512s Selecting previously unselected package libgtksourceview-3.0-common. 1512s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 1512s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 1512s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1512s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 1512s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 1512s Selecting previously unselected package liblablgtk3-ocaml. 1512s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build2_arm64.deb ... 1512s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 1512s Selecting previously unselected package liblablgtksourceview3-ocaml. 1512s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build2_arm64.deb ... 1512s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 1512s Selecting previously unselected package libncurses-dev:arm64. 1512s Preparing to unpack .../86-libncurses-dev_6.5+20250216-2_arm64.deb ... 1512s Unpacking libncurses-dev:arm64 (6.5+20250216-2) ... 1512s Selecting previously unselected package libzstd-dev:arm64. 1512s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 1512s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 1512s Selecting previously unselected package ocaml-interp. 1512s Preparing to unpack .../88-ocaml-interp_5.3.0-2_arm64.deb ... 1512s Unpacking ocaml-interp (5.3.0-2) ... 1513s Selecting previously unselected package ocaml. 1513s Preparing to unpack .../89-ocaml_5.3.0-2_arm64.deb ... 1513s Unpacking ocaml (5.3.0-2) ... 1513s Selecting previously unselected package tex-common. 1513s Preparing to unpack .../90-tex-common_6.19_all.deb ... 1513s Unpacking tex-common (6.19) ... 1513s Selecting previously unselected package why3. 1513s Preparing to unpack .../91-why3_1.8.0-2_arm64.deb ... 1513s Unpacking why3 (1.8.0-2) ... 1514s Selecting previously unselected package z3. 1514s Preparing to unpack .../92-z3_4.13.3-1_arm64.deb ... 1514s Unpacking z3 (4.13.3-1) ... 1514s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 1514s Setting up liblcms2-2:arm64 (2.16-2) ... 1514s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 1514s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 1514s Setting up libncurses-dev:arm64 (6.5+20250216-2) ... 1514s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 1514s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 1514s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 1514s Setting up hicolor-icon-theme (0.18-2) ... 1514s Setting up libxi6:arm64 (2:1.8.2-1) ... 1514s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 1514s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 1514s Setting up libxcb-render0:arm64 (1.17.0-2) ... 1514s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 1514s Setting up libdeflate0:arm64 (1.23-1) ... 1514s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 1514s Setting up libgomp1:arm64 (15-20250222-0ubuntu1) ... 1514s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 1514s Setting up z3 (4.13.3-1) ... 1514s Setting up libcolord2:arm64 (1.4.7-3) ... 1514s Setting up libdconf1:arm64 (0.40.0-5) ... 1514s Setting up tex-common (6.19) ... 1514s update-language: texlive-base not installed and configured, doing nothing! 1514s Setting up libepoxy0:arm64 (1.5.10-2) ... 1514s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 1514s Setting up libavahi-common-data:arm64 (0.8-16ubuntu1) ... 1514s Setting up libatspi2.0-0t64:arm64 (2.55.90-1) ... 1514s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 1514s Setting up libstdlib-ocaml (5.3.0-2) ... 1514s Setting up fonts-dejavu-mono (2.37-8) ... 1514s Setting up libmpc3:arm64 (1.3.1-1build2) ... 1514s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 1514s Setting up ocaml-base (5.3.0-2) ... 1514s Setting up fonts-dejavu-core (2.37-8) ... 1514s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 1514s Setting up libwebp7:arm64 (1.5.0-0.1) ... 1514s Setting up libubsan1:arm64 (15-20250222-0ubuntu1) ... 1514s Setting up libhwasan0:arm64 (15-20250222-0ubuntu1) ... 1514s Setting up at-spi2-common (2.55.90-1) ... 1514s Setting up libasan8:arm64 (15-20250222-0ubuntu1) ... 1514s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 1514s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 1514s Setting up libthai-data (0.1.29-2build1) ... 1514s Setting up libwayland-egl1:arm64 (1.23.1-3) ... 1514s Setting up libtsan2:arm64 (15-20250222-0ubuntu1) ... 1514s Setting up libisl23:arm64 (0.27-1) ... 1514s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 1514s Setting up libcc1-0:arm64 (15-20250222-0ubuntu1) ... 1514s Setting up liblsan0:arm64 (15-20250222-0ubuntu1) ... 1514s Setting up libitm1:arm64 (15-20250222-0ubuntu1) ... 1514s Setting up libwayland-client0:arm64 (1.23.1-3) ... 1514s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 1514s Setting up libatk1.0-0t64:arm64 (2.55.90-1) ... 1514s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 1514s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 1514s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 1514s Setting up libavahi-common3:arm64 (0.8-16ubuntu1) ... 1514s Setting up dconf-service (0.40.0-5) ... 1514s Setting up libthai0:arm64 (0.1.29-2build1) ... 1514s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 1514s Setting up ocaml-interp (5.3.0-2) ... 1514s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1514s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 1514s Setting up libwayland-cursor0:arm64 (1.23.1-3) ... 1514s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 1514s Setting up libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 1514s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 1514s Setting up libavahi-client3:arm64 (0.8-16ubuntu1) ... 1514s Setting up libatk-bridge2.0-0t64:arm64 (2.55.90-1) ... 1514s Setting up gtk-update-icon-cache (4.17.5+ds-3ubuntu1) ... 1514s Setting up fontconfig (2.15.0-2ubuntu1) ... 1516s Regenerating fonts cache... done. 1516s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 1516s Setting up libpango-1.0-0:arm64 (1.56.2-1) ... 1516s Setting up libcairo2:arm64 (1.18.2-2) ... 1516s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1516s Setting up adwaita-icon-theme (48.0-1) ... 1516s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1516s Setting up cpp-14 (14.2.0-17ubuntu3) ... 1516s Setting up cpp (4:14.2.0-1ubuntu1) ... 1516s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 1516s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1516s Setting up libpangoft2-1.0-0:arm64 (1.56.2-1) ... 1516s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 1516s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 1516s Setting up libpangocairo-1.0-0:arm64 (1.56.2-1) ... 1516s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1516s Setting up libcairo2-ocaml (0.6.5-2build1) ... 1516s Setting up gcc-14 (14.2.0-17ubuntu3) ... 1516s Setting up gcc (4:14.2.0-1ubuntu1) ... 1516s Setting up ocaml (5.3.0-2) ... 1516s Processing triggers for libc-bin (2.41-1ubuntu2) ... 1517s Processing triggers for man-db (2.13.0-1) ... 1518s Processing triggers for libglib2.0-0t64:arm64 (2.84.0-1) ... 1518s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 1518s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 1518s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 1518s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 1518s Setting up why3 (1.8.0-2) ... 1518s Processing triggers for libc-bin (2.41-1ubuntu2) ... 1587s autopkgtest [17:56:25]: test why3+z3: [----------------------- 1588s autopkgtest [17:56:26]: test why3+z3: -----------------------] 1589s autopkgtest [17:56:27]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1589s why3+z3 PASS 1589s autopkgtest [17:56:27]: @@@@@@@@@@@@@@@@@@@@ summary 1589s why3+cvc4 PASS 1589s why3+cvc5 PASS 1589s why3+spass PASS 1589s why3+z3 PASS 1607s nova [W] Using flock in prodstack6-arm64 1607s Creating nova instance adt-plucky-arm64-why3-20250315-172958-juju-7f2275-prod-proposed-migration-environment-15-b998e9b2-127e-4264-8748-996bfc501654 from image adt/ubuntu-plucky-arm64-server-20250315.img (UUID bd6e766c-b51f-4b53-86d6-23aa4d18f524)... 1607s nova [W] Timed out waiting for 3a9a767e-f3f3-4f14-a505-9b6072ce686a to get deleted. 1607s nova [W] Using flock in prodstack6-arm64 1607s Creating nova instance adt-plucky-arm64-why3-20250315-172958-juju-7f2275-prod-proposed-migration-environment-15-b998e9b2-127e-4264-8748-996bfc501654 from image adt/ubuntu-plucky-arm64-server-20250315.img (UUID bd6e766c-b51f-4b53-86d6-23aa4d18f524)... 1607s nova [W] Timed out waiting for e665f4c6-0ec8-4242-ad5e-39134dedd8bb to get deleted. 1607s nova [W] Using flock in prodstack6-arm64 1607s Creating nova instance adt-plucky-arm64-why3-20250315-172958-juju-7f2275-prod-proposed-migration-environment-15-b998e9b2-127e-4264-8748-996bfc501654 from image adt/ubuntu-plucky-arm64-server-20250315.img (UUID bd6e766c-b51f-4b53-86d6-23aa4d18f524)... 1607s nova [W] Timed out waiting for 6fc0067e-969a-4978-a4c0-fdb5020c5c5f to get deleted. 1607s nova [W] Using flock in prodstack6-arm64 1607s Creating nova instance adt-plucky-arm64-why3-20250315-172958-juju-7f2275-prod-proposed-migration-environment-15-b998e9b2-127e-4264-8748-996bfc501654 from image adt/ubuntu-plucky-arm64-server-20250315.img (UUID bd6e766c-b51f-4b53-86d6-23aa4d18f524)... 1607s nova [W] Timed out waiting for 803530e4-134e-4d5e-9623-a1a39139c844 to get deleted.