0s autopkgtest [20:13:25]: starting date and time: 2025-02-20 20:13:25+0000 0s autopkgtest [20:13:25]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [20:13:25]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.36w4n4ra/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gmp --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=gmp/2:6.3.0+dfsg-3ubuntu1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-arm64-36.secgroup --name adt-plucky-arm64-why3-20250220-201324-juju-7f2275-prod-proposed-migration-environment-2-6efaf648-1106-4978-8b22-05b6e33f3b90 --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 132s autopkgtest [20:15:37]: testbed dpkg architecture: arm64 132s autopkgtest [20:15:37]: testbed apt version: 2.9.30 132s autopkgtest [20:15:37]: @@@@@@@@@@@@@@@@@@@@ test bed setup 132s autopkgtest [20:15:37]: testbed release detected to be: None 133s autopkgtest [20:15:38]: updating testbed package index (apt update) 134s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 134s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 134s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 134s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 134s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 134s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 134s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 134s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 134s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [121 kB] 134s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 134s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [684 kB] 134s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.7 kB] 134s Fetched 1787 kB in 1s (1898 kB/s) 135s Reading package lists... 136s Reading package lists... 137s Building dependency tree... 137s Reading state information... 137s Calculating upgrade... 138s The following package was automatically installed and is no longer required: 138s libapt-pkg6.0t64 138s Use 'sudo apt autoremove' to remove it. 138s The following packages will be upgraded: 138s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 138s libssl3t64 openssl openssl-provider-legacy python3-requests telnet 138s ubuntu-pro-client ubuntu-pro-client-l10n 138s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 138s Need to get 10.4 MB of archives. 138s After this operation, 64.5 kB disk space will be freed. 138s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 openssl-provider-legacy arm64 3.4.1-1ubuntu1 [38.6 kB] 138s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libssl3t64 arm64 3.4.1-1ubuntu1 [2641 kB] 138s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 kbd arm64 2.7.1-2ubuntu1 [230 kB] 138s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 openssl arm64 3.4.1-1ubuntu1 [1162 kB] 139s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-pro-client-l10n arm64 34.1.3 [18.3 kB] 139s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-pro-client arm64 34.1.3 [240 kB] 139s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 inetutils-telnet arm64 2:2.5-6ubuntu1 [104 kB] 139s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 telnet all 0.17+2.5-6ubuntu1 [3694 B] 139s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libcryptsetup12 arm64 2:2.7.5-1ubuntu2 [271 kB] 139s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 cryptsetup-bin arm64 2:2.7.5-1ubuntu2 [217 kB] 139s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 fwupd arm64 2.0.6-3 [5288 kB] 139s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libfwupd3 arm64 2.0.6-3 [129 kB] 139s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 139s Fetched 10.4 MB in 1s (11.1 MB/s) 140s (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 ... 116718 files and directories currently installed.) 140s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_arm64.deb ... 140s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 140s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 140s (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 ... 116718 files and directories currently installed.) 140s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_arm64.deb ... 140s Unpacking libssl3t64:arm64 (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 140s Setting up libssl3t64:arm64 (3.4.1-1ubuntu1) ... 140s (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 ... 116717 files and directories currently installed.) 140s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_arm64.deb ... 140s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 140s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_arm64.deb ... 140s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 140s Preparing to unpack .../02-ubuntu-pro-client-l10n_34.1.3_arm64.deb ... 140s Unpacking ubuntu-pro-client-l10n (34.1.3) over (34.1.2) ... 141s Preparing to unpack .../03-ubuntu-pro-client_34.1.3_arm64.deb ... 141s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 141s for fn in glob1(directory, "%s.*" % fname): 141s Unpacking ubuntu-pro-client (34.1.3) over (34.1.2) ... 141s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_arm64.deb ... 141s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 141s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 141s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 141s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_arm64.deb ... 141s Unpacking libcryptsetup12:arm64 (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 141s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_arm64.deb ... 141s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 141s Preparing to unpack .../08-fwupd_2.0.6-3_arm64.deb ... 141s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 141s Preparing to unpack .../09-libfwupd3_2.0.6-3_arm64.deb ... 141s Unpacking libfwupd3:arm64 (2.0.6-3) over (2.0.5-1) ... 141s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 142s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 142s for fn in glob1(directory, "%s.*" % fname): 142s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 142s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 142s Setting up libfwupd3:arm64 (2.0.6-3) ... 142s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 142s Setting up libcryptsetup12:arm64 (2:2.7.5-1ubuntu2) ... 142s Setting up kbd (2.7.1-2ubuntu1) ... 142s Setting up openssl (3.4.1-1ubuntu1) ... 142s Setting up ubuntu-pro-client (34.1.3) ... 144s Setting up fwupd (2.0.6-3) ... 144s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 144s fwupd.service is a disabled or a static unit not running, not starting it. 144s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 144s Setting up ubuntu-pro-client-l10n (34.1.3) ... 144s Setting up telnet (0.17+2.5-6ubuntu1) ... 144s Processing triggers for libc-bin (2.40-4ubuntu1) ... 144s Processing triggers for man-db (2.13.0-1) ... 146s Processing triggers for dbus (1.16.0-1ubuntu1) ... 146s Processing triggers for initramfs-tools (0.145ubuntu2) ... 146s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 146s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 166s System running in EFI mode, skipping. 166s Reading package lists... 166s Building dependency tree... 166s Reading state information... 167s The following packages will be REMOVED: 167s libapt-pkg6.0t64* 167s 0 upgraded, 0 newly installed, 1 to remove and 1 not upgraded. 167s After this operation, 3410 kB disk space will be freed. 168s (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 ... 116714 files and directories currently installed.) 168s Removing libapt-pkg6.0t64:arm64 (2.9.29) ... 168s Processing triggers for libc-bin (2.40-4ubuntu1) ... 168s autopkgtest [20:16:13]: upgrading testbed (apt dist-upgrade and autopurge) 168s Reading package lists... 168s Building dependency tree... 168s Reading state information... 169s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 169s Starting 2 pkgProblemResolver with broken count: 0 169s Done 170s Entering ResolveByKeep 170s 171s The following packages will be upgraded: 171s libgmp10 171s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 171s Need to get 246 kB of archives. 171s After this operation, 0 B of additional disk space will be used. 171s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libgmp10 arm64 2:6.3.0+dfsg-3ubuntu1 [246 kB] 171s Fetched 246 kB in 0s (531 kB/s) 172s (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 ... 116664 files and directories currently installed.) 172s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_arm64.deb ... 172s Unpacking libgmp10:arm64 (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 172s Setting up libgmp10:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 172s Processing triggers for libc-bin (2.40-4ubuntu1) ... 172s Reading package lists... 172s Building dependency tree... 172s Reading state information... 173s Starting pkgProblemResolver with broken count: 0 173s Starting 2 pkgProblemResolver with broken count: 0 173s Done 174s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 174s autopkgtest [20:16:19]: rebooting testbed after setup commands that affected boot 199s autopkgtest [20:16:44]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 15:49:33 UTC 2025 202s autopkgtest [20:16:47]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 207s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 207s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 207s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 207s gpgv: Signature made Fri Sep 6 15:04:31 2024 UTC 207s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 207s gpgv: Can't check signature: No public key 207s dpkg-source: warning: cannot verify inline signature for ./why3_1.7.2-2build1.dsc: no acceptable signature found 209s autopkgtest [20:16:54]: testing package why3 version 1.7.2-2build1 210s autopkgtest [20:16:55]: build not needed 215s autopkgtest [20:17:00]: test why3+cvc4: preparing testbed 216s Reading package lists... 216s Building dependency tree... 216s Reading state information... 216s Starting pkgProblemResolver with broken count: 0 216s Starting 2 pkgProblemResolver with broken count: 0 216s Done 217s The following NEW packages will be installed: 217s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 217s cpp-aarch64-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 217s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 217s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 217s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 217s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 217s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 217s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 217s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 217s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 217s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 217s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 217s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 217s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 217s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 217s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 217s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 217s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 217s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 217s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 217s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 217s Need to get 171 MB of archives. 217s After this operation, 542 MB of additional disk space will be used. 217s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 217s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 218s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 218s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 218s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 218s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 218s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 218s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 218s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 218s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 218s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.4+ds-4 [52.5 kB] 218s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 218s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48~beta-3 [578 kB] 218s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.2-1 [8916 B] 218s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 218s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 218s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [10.6 MB] 218s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu1 [1032 B] 218s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 218s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 218s Get:21 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 218s Get:22 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc4-7 arm64 1.8-3build2 [4343 kB] 219s Get:23 http://ftpmaster.internal/ubuntu plucky/universe arm64 libantlr3c-3.4-0 arm64 3.4+dfsg-4build2 [45.7 kB] 219s Get:24 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc4parser7 arm64 1.8-3build2 [354 kB] 219s Get:25 http://ftpmaster.internal/ubuntu plucky/universe arm64 cvc4 arm64 1.8-3build2 [71.6 kB] 219s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 219s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 219s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 219s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 219s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 219s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-2ubuntu1 [37.5 kB] 219s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-2ubuntu1 [144 kB] 219s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-2ubuntu1 [191 kB] 219s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250213-1ubuntu1 [44.2 kB] 219s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250213-1ubuntu1 [146 kB] 219s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250213-1ubuntu1 [28.0 kB] 219s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250213-1ubuntu1 [2928 kB] 219s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250213-1ubuntu1 [1319 kB] 219s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250213-1ubuntu1 [2695 kB] 219s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250213-1ubuntu1 [1178 kB] 219s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250213-1ubuntu1 [1642 kB] 219s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu1 [2593 kB] 219s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [20.9 MB] 219s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu1 [526 kB] 220s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 220s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 220s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.2-1 [55.2 kB] 220s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 220s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.2-1 [80.6 kB] 220s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.2-1 [66.7 kB] 220s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-14ubuntu1 [30.5 kB] 220s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-14ubuntu1 [23.1 kB] 220s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-14ubuntu1 [27.3 kB] 220s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 220s Get:55 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 220s Get:56 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 220s Get:57 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 220s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 220s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 220s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB] 220s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB] 220s Get:62 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2 [27.5 kB] 220s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 220s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-1build2 [149 kB] 220s Get:65 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB] 220s Get:66 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB] 223s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 223s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 223s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 223s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 223s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 223s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 223s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 223s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.1-1 [238 kB] 223s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.1-1 [49.6 kB] 223s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.1-1 [27.6 kB] 223s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-1 [26.8 kB] 223s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-1 [10.7 kB] 223s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-1 [5752 B] 223s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 223s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 223s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 223s Get:83 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 223s Get:84 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 223s Get:85 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 223s Get:86 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 223s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 224s Get:88 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 224s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 224s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build1 [3691 kB] 224s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build1 [343 kB] 224s Get:92 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 224s Get:93 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 224s Get:94 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB] 225s Get:95 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB] 227s Get:96 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.18 [32.8 kB] 227s Get:97 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.7.2-2build1 [13.8 MB] 228s Fetched 171 MB in 11s (16.2 MB/s) 228s Selecting previously unselected package libgdk-pixbuf2.0-common. 229s (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 ... 116664 files and directories currently installed.) 229s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 229s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 229s Selecting previously unselected package libjpeg-turbo8:arm64. 229s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 229s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 229s Selecting previously unselected package libjpeg8:arm64. 229s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 229s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 229s Selecting previously unselected package libdeflate0:arm64. 229s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 229s Unpacking libdeflate0:arm64 (1.23-1) ... 229s Selecting previously unselected package libjbig0:arm64. 229s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 229s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 229s Selecting previously unselected package liblerc4:arm64. 229s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 229s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 229s Selecting previously unselected package libsharpyuv0:arm64. 229s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 229s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 229s Selecting previously unselected package libwebp7:arm64. 229s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 229s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 229s Selecting previously unselected package libtiff6:arm64. 229s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 229s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 229s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 229s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 229s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 229s Selecting previously unselected package gtk-update-icon-cache. 229s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_arm64.deb ... 229s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 229s 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. 229s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 230s Selecting previously unselected package hicolor-icon-theme. 230s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 230s Unpacking hicolor-icon-theme (0.18-2) ... 230s Selecting previously unselected package adwaita-icon-theme. 230s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 230s Unpacking adwaita-icon-theme (48~beta-3) ... 230s Selecting previously unselected package at-spi2-common. 230s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 230s Unpacking at-spi2-common (2.55.2-1) ... 230s Selecting previously unselected package libisl23:arm64. 230s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 230s Unpacking libisl23:arm64 (0.27-1) ... 230s Selecting previously unselected package libmpc3:arm64. 230s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 230s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 230s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 230s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 230s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 230s Selecting previously unselected package cpp-14. 230s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_arm64.deb ... 230s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 230s Selecting previously unselected package cpp-aarch64-linux-gnu. 230s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 230s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 231s Selecting previously unselected package cpp. 231s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 231s Unpacking cpp (4:14.2.0-1ubuntu1) ... 231s Selecting previously unselected package libcln6:arm64. 231s Preparing to unpack .../20-libcln6_1.3.7-1_arm64.deb ... 231s Unpacking libcln6:arm64 (1.3.7-1) ... 231s Selecting previously unselected package libcvc4-7:arm64. 231s Preparing to unpack .../21-libcvc4-7_1.8-3build2_arm64.deb ... 231s Unpacking libcvc4-7:arm64 (1.8-3build2) ... 231s Selecting previously unselected package libantlr3c-3.4-0:arm64. 231s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_arm64.deb ... 231s Unpacking libantlr3c-3.4-0:arm64 (3.4+dfsg-4build2) ... 231s Selecting previously unselected package libcvc4parser7:arm64. 231s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_arm64.deb ... 231s Unpacking libcvc4parser7:arm64 (1.8-3build2) ... 231s Selecting previously unselected package cvc4. 231s Preparing to unpack .../24-cvc4_1.8-3build2_arm64.deb ... 231s Unpacking cvc4 (1.8-3build2) ... 231s Selecting previously unselected package libdconf1:arm64. 231s Preparing to unpack .../25-libdconf1_0.40.0-5_arm64.deb ... 231s Unpacking libdconf1:arm64 (0.40.0-5) ... 231s Selecting previously unselected package dconf-service. 231s Preparing to unpack .../26-dconf-service_0.40.0-5_arm64.deb ... 231s Unpacking dconf-service (0.40.0-5) ... 231s Selecting previously unselected package dconf-gsettings-backend:arm64. 231s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 231s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 231s Selecting previously unselected package fonts-dejavu-mono. 231s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 231s Unpacking fonts-dejavu-mono (2.37-8) ... 231s Selecting previously unselected package fonts-dejavu-core. 231s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 231s Unpacking fonts-dejavu-core (2.37-8) ... 231s Selecting previously unselected package fontconfig-config. 232s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_arm64.deb ... 232s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 232s Selecting previously unselected package libfontconfig1:arm64. 232s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_arm64.deb ... 232s Unpacking libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 232s Selecting previously unselected package fontconfig. 232s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_arm64.deb ... 232s Unpacking fontconfig (2.15.0-2ubuntu1) ... 232s Selecting previously unselected package libcc1-0:arm64. 232s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_arm64.deb ... 232s Unpacking libcc1-0:arm64 (15-20250213-1ubuntu1) ... 232s Selecting previously unselected package libgomp1:arm64. 232s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_arm64.deb ... 232s Unpacking libgomp1:arm64 (15-20250213-1ubuntu1) ... 232s Selecting previously unselected package libitm1:arm64. 232s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_arm64.deb ... 232s Unpacking libitm1:arm64 (15-20250213-1ubuntu1) ... 232s Selecting previously unselected package libasan8:arm64. 232s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_arm64.deb ... 232s Unpacking libasan8:arm64 (15-20250213-1ubuntu1) ... 232s Selecting previously unselected package liblsan0:arm64. 232s Preparing to unpack .../37-liblsan0_15-20250213-1ubuntu1_arm64.deb ... 232s Unpacking liblsan0:arm64 (15-20250213-1ubuntu1) ... 232s Selecting previously unselected package libtsan2:arm64. 232s Preparing to unpack .../38-libtsan2_15-20250213-1ubuntu1_arm64.deb ... 232s Unpacking libtsan2:arm64 (15-20250213-1ubuntu1) ... 232s Selecting previously unselected package libubsan1:arm64. 233s Preparing to unpack .../39-libubsan1_15-20250213-1ubuntu1_arm64.deb ... 233s Unpacking libubsan1:arm64 (15-20250213-1ubuntu1) ... 233s Selecting previously unselected package libhwasan0:arm64. 233s Preparing to unpack .../40-libhwasan0_15-20250213-1ubuntu1_arm64.deb ... 233s Unpacking libhwasan0:arm64 (15-20250213-1ubuntu1) ... 233s Selecting previously unselected package libgcc-14-dev:arm64. 233s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu1_arm64.deb ... 233s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 233s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 233s Preparing to unpack .../42-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 233s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 234s Selecting previously unselected package gcc-14. 234s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu1_arm64.deb ... 234s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 234s Selecting previously unselected package gcc-aarch64-linux-gnu. 234s Preparing to unpack .../44-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 234s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 234s Selecting previously unselected package gcc. 234s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 234s Unpacking gcc (4:14.2.0-1ubuntu1) ... 234s Selecting previously unselected package libatk1.0-0t64:arm64. 234s Preparing to unpack .../46-libatk1.0-0t64_2.55.2-1_arm64.deb ... 234s Unpacking libatk1.0-0t64:arm64 (2.55.2-1) ... 234s Selecting previously unselected package libxi6:arm64. 234s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_arm64.deb ... 234s Unpacking libxi6:arm64 (2:1.8.2-1) ... 234s Selecting previously unselected package libatspi2.0-0t64:arm64. 234s Preparing to unpack .../48-libatspi2.0-0t64_2.55.2-1_arm64.deb ... 234s Unpacking libatspi2.0-0t64:arm64 (2.55.2-1) ... 234s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 234s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.2-1_arm64.deb ... 234s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 234s Selecting previously unselected package libavahi-common-data:arm64. 234s Preparing to unpack .../50-libavahi-common-data_0.8-14ubuntu1_arm64.deb ... 234s Unpacking libavahi-common-data:arm64 (0.8-14ubuntu1) ... 234s Selecting previously unselected package libavahi-common3:arm64. 234s Preparing to unpack .../51-libavahi-common3_0.8-14ubuntu1_arm64.deb ... 234s Unpacking libavahi-common3:arm64 (0.8-14ubuntu1) ... 234s Selecting previously unselected package libavahi-client3:arm64. 234s Preparing to unpack .../52-libavahi-client3_0.8-14ubuntu1_arm64.deb ... 234s Unpacking libavahi-client3:arm64 (0.8-14ubuntu1) ... 234s Selecting previously unselected package libpixman-1-0:arm64. 234s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_arm64.deb ... 234s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 234s Selecting previously unselected package libxcb-render0:arm64. 234s Preparing to unpack .../54-libxcb-render0_1.17.0-2_arm64.deb ... 234s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 234s Selecting previously unselected package libxcb-shm0:arm64. 234s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_arm64.deb ... 234s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 234s Selecting previously unselected package libxrender1:arm64. 234s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 234s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 234s Selecting previously unselected package libcairo2:arm64. 234s Preparing to unpack .../57-libcairo2_1.18.2-2_arm64.deb ... 234s Unpacking libcairo2:arm64 (1.18.2-2) ... 234s Selecting previously unselected package libcairo-gobject2:arm64. 234s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_arm64.deb ... 234s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 234s Selecting previously unselected package libstdlib-ocaml. 234s Preparing to unpack .../59-libstdlib-ocaml_5.2.0-3_arm64.deb ... 234s Unpacking libstdlib-ocaml (5.2.0-3) ... 235s Selecting previously unselected package ocaml-base. 235s Preparing to unpack .../60-ocaml-base_5.2.0-3_arm64.deb ... 235s Unpacking ocaml-base (5.2.0-3) ... 235s Selecting previously unselected package libcairo2-ocaml. 235s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2_arm64.deb ... 235s Unpacking libcairo2-ocaml (0.6.5-2) ... 235s Selecting previously unselected package liblcms2-2:arm64. 235s Preparing to unpack .../62-liblcms2-2_2.16-2_arm64.deb ... 235s Unpacking liblcms2-2:arm64 (2.16-2) ... 235s Selecting previously unselected package libcolord2:arm64. 235s Preparing to unpack .../63-libcolord2_1.4.7-1build2_arm64.deb ... 235s Unpacking libcolord2:arm64 (1.4.7-1build2) ... 235s Selecting previously unselected package libstdlib-ocaml-dev. 235s Preparing to unpack .../64-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ... 235s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 235s Selecting previously unselected package libcompiler-libs-ocaml-dev. 235s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ... 235s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 236s Selecting previously unselected package libcups2t64:arm64. 236s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 236s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 236s Selecting previously unselected package libdatrie1:arm64. 236s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_arm64.deb ... 236s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 236s Selecting previously unselected package libepoxy0:arm64. 236s Preparing to unpack .../68-libepoxy0_1.5.10-2_arm64.deb ... 236s Unpacking libepoxy0:arm64 (1.5.10-2) ... 236s Selecting previously unselected package libgraphite2-3:arm64. 236s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 236s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 236s Selecting previously unselected package libharfbuzz0b:arm64. 236s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_arm64.deb ... 236s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 236s Selecting previously unselected package libthai-data. 236s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 236s Unpacking libthai-data (0.1.29-2build1) ... 236s Selecting previously unselected package libthai0:arm64. 236s Preparing to unpack .../72-libthai0_0.1.29-2build1_arm64.deb ... 236s Unpacking libthai0:arm64 (0.1.29-2build1) ... 236s Selecting previously unselected package libpango-1.0-0:arm64. 236s Preparing to unpack .../73-libpango-1.0-0_1.56.1-1_arm64.deb ... 236s Unpacking libpango-1.0-0:arm64 (1.56.1-1) ... 236s Selecting previously unselected package libpangoft2-1.0-0:arm64. 236s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.1-1_arm64.deb ... 236s Unpacking libpangoft2-1.0-0:arm64 (1.56.1-1) ... 236s Selecting previously unselected package libpangocairo-1.0-0:arm64. 236s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.1-1_arm64.deb ... 236s Unpacking libpangocairo-1.0-0:arm64 (1.56.1-1) ... 236s Selecting previously unselected package libwayland-client0:arm64. 236s Preparing to unpack .../76-libwayland-client0_1.23.1-1_arm64.deb ... 236s Unpacking libwayland-client0:arm64 (1.23.1-1) ... 236s Selecting previously unselected package libwayland-cursor0:arm64. 236s Preparing to unpack .../77-libwayland-cursor0_1.23.1-1_arm64.deb ... 236s Unpacking libwayland-cursor0:arm64 (1.23.1-1) ... 236s Selecting previously unselected package libwayland-egl1:arm64. 236s Preparing to unpack .../78-libwayland-egl1_1.23.1-1_arm64.deb ... 236s Unpacking libwayland-egl1:arm64 (1.23.1-1) ... 236s Selecting previously unselected package libxcomposite1:arm64. 237s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 237s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 237s Selecting previously unselected package libxfixes3:arm64. 237s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 237s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 237s Selecting previously unselected package libxcursor1:arm64. 237s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_arm64.deb ... 237s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 237s Selecting previously unselected package libxdamage1:arm64. 237s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 237s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 237s Selecting previously unselected package libxinerama1:arm64. 237s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 237s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 237s Selecting previously unselected package libxrandr2:arm64. 237s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_arm64.deb ... 237s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 237s Selecting previously unselected package libgtk-3-common. 237s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 237s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 237s Selecting previously unselected package libgtk-3-0t64:arm64. 237s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 237s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 237s Selecting previously unselected package libgtksourceview-3.0-common. 237s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 237s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 237s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 237s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 237s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 237s Selecting previously unselected package liblablgtk3-ocaml. 237s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build1_arm64.deb ... 237s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 237s Selecting previously unselected package liblablgtksourceview3-ocaml. 237s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build1_arm64.deb ... 237s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 237s Selecting previously unselected package libncurses-dev:arm64. 238s Preparing to unpack .../91-libncurses-dev_6.5+20250125-2_arm64.deb ... 238s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 238s Selecting previously unselected package libzstd-dev:arm64. 238s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 238s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 238s Selecting previously unselected package ocaml-interp. 238s Preparing to unpack .../93-ocaml-interp_5.2.0-3_arm64.deb ... 238s Unpacking ocaml-interp (5.2.0-3) ... 238s Selecting previously unselected package ocaml. 238s Preparing to unpack .../94-ocaml_5.2.0-3_arm64.deb ... 238s Unpacking ocaml (5.2.0-3) ... 239s Selecting previously unselected package tex-common. 239s Preparing to unpack .../95-tex-common_6.18_all.deb ... 239s Unpacking tex-common (6.18) ... 239s Selecting previously unselected package why3. 239s Preparing to unpack .../96-why3_1.7.2-2build1_arm64.deb ... 239s Unpacking why3 (1.7.2-2build1) ... 239s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 239s Setting up liblcms2-2:arm64 (2.16-2) ... 239s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 239s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 239s Setting up libcln6:arm64 (1.3.7-1) ... 239s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 239s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 239s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 239s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 239s Setting up libantlr3c-3.4-0:arm64 (3.4+dfsg-4build2) ... 239s Setting up hicolor-icon-theme (0.18-2) ... 239s Setting up libxi6:arm64 (2:1.8.2-1) ... 239s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 239s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 239s Setting up libxcb-render0:arm64 (1.17.0-2) ... 239s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 239s Setting up libdeflate0:arm64 (1.23-1) ... 239s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 239s Setting up libgomp1:arm64 (15-20250213-1ubuntu1) ... 239s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 239s Setting up libcolord2:arm64 (1.4.7-1build2) ... 239s Setting up libdconf1:arm64 (0.40.0-5) ... 239s Setting up tex-common (6.18) ... 239s update-language: texlive-base not installed and configured, doing nothing! 239s Setting up libepoxy0:arm64 (1.5.10-2) ... 239s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 239s Setting up libavahi-common-data:arm64 (0.8-14ubuntu1) ... 239s Setting up libatspi2.0-0t64:arm64 (2.55.2-1) ... 239s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 239s Setting up libstdlib-ocaml (5.2.0-3) ... 239s Setting up fonts-dejavu-mono (2.37-8) ... 239s Setting up libmpc3:arm64 (1.3.1-1build2) ... 239s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 239s Setting up ocaml-base (5.2.0-3) ... 239s Setting up fonts-dejavu-core (2.37-8) ... 239s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 239s Setting up libwebp7:arm64 (1.5.0-0.1) ... 239s Setting up libubsan1:arm64 (15-20250213-1ubuntu1) ... 239s Setting up libhwasan0:arm64 (15-20250213-1ubuntu1) ... 239s Setting up at-spi2-common (2.55.2-1) ... 239s Setting up libasan8:arm64 (15-20250213-1ubuntu1) ... 239s Setting up libcvc4-7:arm64 (1.8-3build2) ... 239s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 239s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 239s Setting up libthai-data (0.1.29-2build1) ... 239s Setting up libwayland-egl1:arm64 (1.23.1-1) ... 239s Setting up libtsan2:arm64 (15-20250213-1ubuntu1) ... 239s Setting up libisl23:arm64 (0.27-1) ... 239s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 239s Setting up libcc1-0:arm64 (15-20250213-1ubuntu1) ... 239s Setting up liblsan0:arm64 (15-20250213-1ubuntu1) ... 239s Setting up libitm1:arm64 (15-20250213-1ubuntu1) ... 239s Setting up libwayland-client0:arm64 (1.23.1-1) ... 239s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 239s Setting up libatk1.0-0t64:arm64 (2.55.2-1) ... 239s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 240s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 240s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 240s Setting up libavahi-common3:arm64 (0.8-14ubuntu1) ... 240s Setting up dconf-service (0.40.0-5) ... 240s Setting up libthai0:arm64 (0.1.29-2build1) ... 240s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 240s Setting up ocaml-interp (5.2.0-3) ... 240s Setting up libcvc4parser7:arm64 (1.8-3build2) ... 240s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 240s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 240s Setting up libwayland-cursor0:arm64 (1.23.1-1) ... 240s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 240s Setting up cvc4 (1.8-3build2) ... 240s Setting up libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 240s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 240s Setting up libavahi-client3:arm64 (0.8-14ubuntu1) ... 240s Setting up libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 240s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 240s Setting up fontconfig (2.15.0-2ubuntu1) ... 242s Regenerating fonts cache... done. 242s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 242s Setting up libpango-1.0-0:arm64 (1.56.1-1) ... 242s Setting up libcairo2:arm64 (1.18.2-2) ... 242s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 242s Setting up adwaita-icon-theme (48~beta-3) ... 242s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 242s Setting up cpp-14 (14.2.0-17ubuntu1) ... 242s Setting up cpp (4:14.2.0-1ubuntu1) ... 242s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 242s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 242s Setting up libpangoft2-1.0-0:arm64 (1.56.1-1) ... 242s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 242s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 242s Setting up libpangocairo-1.0-0:arm64 (1.56.1-1) ... 242s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 242s Setting up libcairo2-ocaml (0.6.5-2) ... 242s Setting up gcc-14 (14.2.0-17ubuntu1) ... 242s Setting up gcc (4:14.2.0-1ubuntu1) ... 242s Setting up ocaml (5.2.0-3) ... 242s Processing triggers for libc-bin (2.40-4ubuntu1) ... 242s Processing triggers for man-db (2.13.0-1) ... 244s Processing triggers for libglib2.0-0t64:arm64 (2.83.3-2) ... 244s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 244s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 244s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 244s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 244s Setting up why3 (1.7.2-2build1) ... 244s Processing triggers for libc-bin (2.40-4ubuntu1) ... 246s autopkgtest [20:17:31]: test why3+cvc4: [----------------------- 247s autopkgtest [20:17:32]: test why3+cvc4: -----------------------] 248s why3+cvc4 PASS 248s autopkgtest [20:17:33]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 249s autopkgtest [20:17:34]: test why3+spass: preparing testbed 344s autopkgtest [20:19:09]: testbed dpkg architecture: arm64 345s autopkgtest [20:19:10]: testbed apt version: 2.9.30 345s autopkgtest [20:19:10]: @@@@@@@@@@@@@@@@@@@@ test bed setup 346s autopkgtest [20:19:11]: testbed release detected to be: plucky 347s autopkgtest [20:19:12]: updating testbed package index (apt update) 348s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 348s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 348s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 348s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 348s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 348s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 348s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 348s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 348s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [121 kB] 348s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 348s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [684 kB] 348s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.7 kB] 349s Fetched 1787 kB in 1s (1879 kB/s) 350s Reading package lists... 351s Reading package lists... 351s Building dependency tree... 351s Reading state information... 352s Calculating upgrade... 352s The following package was automatically installed and is no longer required: 352s libapt-pkg6.0t64 352s Use 'sudo apt autoremove' to remove it. 352s The following packages will be upgraded: 352s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 352s libssl3t64 openssl openssl-provider-legacy python3-requests telnet 352s ubuntu-pro-client ubuntu-pro-client-l10n 353s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 353s Need to get 10.4 MB of archives. 353s After this operation, 64.5 kB disk space will be freed. 353s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 openssl-provider-legacy arm64 3.4.1-1ubuntu1 [38.6 kB] 353s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libssl3t64 arm64 3.4.1-1ubuntu1 [2641 kB] 353s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 kbd arm64 2.7.1-2ubuntu1 [230 kB] 353s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 openssl arm64 3.4.1-1ubuntu1 [1162 kB] 354s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-pro-client-l10n arm64 34.1.3 [18.3 kB] 354s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-pro-client arm64 34.1.3 [240 kB] 354s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 inetutils-telnet arm64 2:2.5-6ubuntu1 [104 kB] 354s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 telnet all 0.17+2.5-6ubuntu1 [3694 B] 354s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libcryptsetup12 arm64 2:2.7.5-1ubuntu2 [271 kB] 354s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 cryptsetup-bin arm64 2:2.7.5-1ubuntu2 [217 kB] 354s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 fwupd arm64 2.0.6-3 [5288 kB] 354s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libfwupd3 arm64 2.0.6-3 [129 kB] 354s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 355s Fetched 10.4 MB in 2s (5192 kB/s) 355s (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 ... 116718 files and directories currently installed.) 355s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_arm64.deb ... 355s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 355s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 356s (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 ... 116718 files and directories currently installed.) 356s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_arm64.deb ... 356s Unpacking libssl3t64:arm64 (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 356s Setting up libssl3t64:arm64 (3.4.1-1ubuntu1) ... 356s (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 ... 116717 files and directories currently installed.) 356s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_arm64.deb ... 356s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 356s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_arm64.deb ... 356s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 356s Preparing to unpack .../02-ubuntu-pro-client-l10n_34.1.3_arm64.deb ... 356s Unpacking ubuntu-pro-client-l10n (34.1.3) over (34.1.2) ... 356s Preparing to unpack .../03-ubuntu-pro-client_34.1.3_arm64.deb ... 356s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 356s for fn in glob1(directory, "%s.*" % fname): 356s Unpacking ubuntu-pro-client (34.1.3) over (34.1.2) ... 356s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_arm64.deb ... 356s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 356s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 356s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 357s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_arm64.deb ... 357s Unpacking libcryptsetup12:arm64 (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 357s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_arm64.deb ... 357s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 357s Preparing to unpack .../08-fwupd_2.0.6-3_arm64.deb ... 357s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 357s Preparing to unpack .../09-libfwupd3_2.0.6-3_arm64.deb ... 357s Unpacking libfwupd3:arm64 (2.0.6-3) over (2.0.5-1) ... 357s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 357s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 357s for fn in glob1(directory, "%s.*" % fname): 357s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 357s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 357s Setting up libfwupd3:arm64 (2.0.6-3) ... 357s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 358s Setting up libcryptsetup12:arm64 (2:2.7.5-1ubuntu2) ... 358s Setting up kbd (2.7.1-2ubuntu1) ... 358s Setting up openssl (3.4.1-1ubuntu1) ... 358s Setting up ubuntu-pro-client (34.1.3) ... 361s Setting up fwupd (2.0.6-3) ... 362s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 362s fwupd.service is a disabled or a static unit not running, not starting it. 362s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 362s Setting up ubuntu-pro-client-l10n (34.1.3) ... 362s Setting up telnet (0.17+2.5-6ubuntu1) ... 362s Processing triggers for libc-bin (2.40-4ubuntu1) ... 362s Processing triggers for man-db (2.13.0-1) ... 364s Processing triggers for dbus (1.16.0-1ubuntu1) ... 364s Processing triggers for initramfs-tools (0.145ubuntu2) ... 364s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 364s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 389s System running in EFI mode, skipping. 389s Reading package lists... 390s Building dependency tree... 390s Reading state information... 391s The following packages will be REMOVED: 391s libapt-pkg6.0t64* 391s 0 upgraded, 0 newly installed, 1 to remove and 1 not upgraded. 391s After this operation, 3410 kB disk space will be freed. 391s (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 ... 116714 files and directories currently installed.) 391s Removing libapt-pkg6.0t64:arm64 (2.9.29) ... 391s Processing triggers for libc-bin (2.40-4ubuntu1) ... 392s autopkgtest [20:19:57]: upgrading testbed (apt dist-upgrade and autopurge) 392s Reading package lists... 392s Building dependency tree... 392s Reading state information... 393s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 393s Starting 2 pkgProblemResolver with broken count: 0 393s Done 394s Entering ResolveByKeep 395s 395s The following packages will be upgraded: 395s libgmp10 396s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 396s Need to get 246 kB of archives. 396s After this operation, 0 B of additional disk space will be used. 396s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libgmp10 arm64 2:6.3.0+dfsg-3ubuntu1 [246 kB] 396s Fetched 246 kB in 0s (551 kB/s) 396s (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 ... 116664 files and directories currently installed.) 396s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_arm64.deb ... 396s Unpacking libgmp10:arm64 (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 397s Setting up libgmp10:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 397s Processing triggers for libc-bin (2.40-4ubuntu1) ... 397s Reading package lists... 398s Building dependency tree... 398s Reading state information... 399s Starting pkgProblemResolver with broken count: 0 399s Starting 2 pkgProblemResolver with broken count: 0 399s Done 400s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 401s autopkgtest [20:20:06]: rebooting testbed after setup commands that affected boot 423s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 435s Reading package lists... 435s Building dependency tree... 435s Reading state information... 436s Starting pkgProblemResolver with broken count: 0 436s Starting 2 pkgProblemResolver with broken count: 0 436s Done 438s The following NEW packages will be installed: 438s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 438s cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 438s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 438s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 438s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 438s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 438s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 438s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 438s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 438s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 438s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 438s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 438s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 438s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 438s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 438s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 438s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 438s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 438s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 439s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 439s Need to get 166 MB of archives. 439s After this operation, 524 MB of additional disk space will be used. 439s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 439s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 439s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 439s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 439s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 439s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 439s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 439s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 439s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 439s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 439s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.4+ds-4 [52.5 kB] 439s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 439s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48~beta-3 [578 kB] 439s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.2-1 [8916 B] 439s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 439s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 439s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [10.6 MB] 440s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu1 [1032 B] 440s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 440s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 440s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 440s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 440s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 440s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 440s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 440s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-2ubuntu1 [37.5 kB] 440s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-2ubuntu1 [144 kB] 440s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-2ubuntu1 [191 kB] 440s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250213-1ubuntu1 [44.2 kB] 440s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250213-1ubuntu1 [146 kB] 440s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250213-1ubuntu1 [28.0 kB] 440s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250213-1ubuntu1 [2928 kB] 441s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250213-1ubuntu1 [1319 kB] 441s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250213-1ubuntu1 [2695 kB] 441s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250213-1ubuntu1 [1178 kB] 441s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250213-1ubuntu1 [1642 kB] 441s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu1 [2593 kB] 441s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [20.9 MB] 442s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu1 [526 kB] 442s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 442s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 442s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.2-1 [55.2 kB] 442s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 442s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.2-1 [80.6 kB] 442s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.2-1 [66.7 kB] 442s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-14ubuntu1 [30.5 kB] 442s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-14ubuntu1 [23.1 kB] 442s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-14ubuntu1 [27.3 kB] 442s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 442s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 442s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 442s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 442s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 442s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 442s Get:55 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB] 442s Get:56 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB] 442s Get:57 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2 [27.5 kB] 442s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 442s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-1build2 [149 kB] 442s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB] 442s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB] 444s Get:62 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 444s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 444s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 444s Get:65 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 444s Get:66 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 444s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 444s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 444s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.1-1 [238 kB] 444s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.1-1 [49.6 kB] 444s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.1-1 [27.6 kB] 444s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-1 [26.8 kB] 444s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-1 [10.7 kB] 444s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-1 [5752 B] 444s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 444s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 444s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 444s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 444s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 444s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 444s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 444s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 444s Get:83 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 444s Get:84 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 444s Get:85 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build1 [3691 kB] 444s Get:86 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build1 [343 kB] 444s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 444s Get:88 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 444s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB] 445s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB] 446s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 spass arm64 3.9-1.1 [254 kB] 446s Get:92 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.18 [32.8 kB] 446s Get:93 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.7.2-2build1 [13.8 MB] 447s Fetched 166 MB in 8s (20.7 MB/s) 447s Selecting previously unselected package libgdk-pixbuf2.0-common. 448s (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 ... 116664 files and directories currently installed.) 448s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 448s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 448s Selecting previously unselected package libjpeg-turbo8:arm64. 448s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 448s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 448s Selecting previously unselected package libjpeg8:arm64. 448s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 448s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 448s Selecting previously unselected package libdeflate0:arm64. 448s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 448s Unpacking libdeflate0:arm64 (1.23-1) ... 448s Selecting previously unselected package libjbig0:arm64. 448s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 448s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 448s Selecting previously unselected package liblerc4:arm64. 448s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 448s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 448s Selecting previously unselected package libsharpyuv0:arm64. 448s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 448s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 448s Selecting previously unselected package libwebp7:arm64. 448s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 448s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 448s Selecting previously unselected package libtiff6:arm64. 448s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 448s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 448s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 448s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 448s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 448s Selecting previously unselected package gtk-update-icon-cache. 448s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_arm64.deb ... 448s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 448s 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. 448s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 449s Selecting previously unselected package hicolor-icon-theme. 449s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 449s Unpacking hicolor-icon-theme (0.18-2) ... 449s Selecting previously unselected package adwaita-icon-theme. 449s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 449s Unpacking adwaita-icon-theme (48~beta-3) ... 449s Selecting previously unselected package at-spi2-common. 449s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 449s Unpacking at-spi2-common (2.55.2-1) ... 449s Selecting previously unselected package libisl23:arm64. 449s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 449s Unpacking libisl23:arm64 (0.27-1) ... 449s Selecting previously unselected package libmpc3:arm64. 449s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 449s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 449s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 449s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 449s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 449s Selecting previously unselected package cpp-14. 449s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_arm64.deb ... 449s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 449s Selecting previously unselected package cpp-aarch64-linux-gnu. 449s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 449s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 449s Selecting previously unselected package cpp. 449s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 449s Unpacking cpp (4:14.2.0-1ubuntu1) ... 450s Selecting previously unselected package libdconf1:arm64. 450s Preparing to unpack .../20-libdconf1_0.40.0-5_arm64.deb ... 450s Unpacking libdconf1:arm64 (0.40.0-5) ... 450s Selecting previously unselected package dconf-service. 450s Preparing to unpack .../21-dconf-service_0.40.0-5_arm64.deb ... 450s Unpacking dconf-service (0.40.0-5) ... 450s Selecting previously unselected package dconf-gsettings-backend:arm64. 450s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 450s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 450s Selecting previously unselected package fonts-dejavu-mono. 450s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 450s Unpacking fonts-dejavu-mono (2.37-8) ... 450s Selecting previously unselected package fonts-dejavu-core. 450s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 450s Unpacking fonts-dejavu-core (2.37-8) ... 450s Selecting previously unselected package fontconfig-config. 450s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_arm64.deb ... 450s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 450s Selecting previously unselected package libfontconfig1:arm64. 450s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_arm64.deb ... 450s Unpacking libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 450s Selecting previously unselected package fontconfig. 450s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_arm64.deb ... 450s Unpacking fontconfig (2.15.0-2ubuntu1) ... 450s Selecting previously unselected package libcc1-0:arm64. 450s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_arm64.deb ... 450s Unpacking libcc1-0:arm64 (15-20250213-1ubuntu1) ... 450s Selecting previously unselected package libgomp1:arm64. 450s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_arm64.deb ... 450s Unpacking libgomp1:arm64 (15-20250213-1ubuntu1) ... 450s Selecting previously unselected package libitm1:arm64. 451s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_arm64.deb ... 451s Unpacking libitm1:arm64 (15-20250213-1ubuntu1) ... 451s Selecting previously unselected package libasan8:arm64. 451s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_arm64.deb ... 451s Unpacking libasan8:arm64 (15-20250213-1ubuntu1) ... 451s Selecting previously unselected package liblsan0:arm64. 451s Preparing to unpack .../32-liblsan0_15-20250213-1ubuntu1_arm64.deb ... 451s Unpacking liblsan0:arm64 (15-20250213-1ubuntu1) ... 451s Selecting previously unselected package libtsan2:arm64. 451s Preparing to unpack .../33-libtsan2_15-20250213-1ubuntu1_arm64.deb ... 451s Unpacking libtsan2:arm64 (15-20250213-1ubuntu1) ... 451s Selecting previously unselected package libubsan1:arm64. 451s Preparing to unpack .../34-libubsan1_15-20250213-1ubuntu1_arm64.deb ... 451s Unpacking libubsan1:arm64 (15-20250213-1ubuntu1) ... 451s Selecting previously unselected package libhwasan0:arm64. 451s Preparing to unpack .../35-libhwasan0_15-20250213-1ubuntu1_arm64.deb ... 451s Unpacking libhwasan0:arm64 (15-20250213-1ubuntu1) ... 451s Selecting previously unselected package libgcc-14-dev:arm64. 451s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu1_arm64.deb ... 451s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 451s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 451s Preparing to unpack .../37-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 451s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 452s Selecting previously unselected package gcc-14. 452s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu1_arm64.deb ... 452s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 452s Selecting previously unselected package gcc-aarch64-linux-gnu. 452s Preparing to unpack .../39-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 452s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 452s Selecting previously unselected package gcc. 452s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 452s Unpacking gcc (4:14.2.0-1ubuntu1) ... 452s Selecting previously unselected package libatk1.0-0t64:arm64. 452s Preparing to unpack .../41-libatk1.0-0t64_2.55.2-1_arm64.deb ... 452s Unpacking libatk1.0-0t64:arm64 (2.55.2-1) ... 452s Selecting previously unselected package libxi6:arm64. 452s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_arm64.deb ... 452s Unpacking libxi6:arm64 (2:1.8.2-1) ... 452s Selecting previously unselected package libatspi2.0-0t64:arm64. 452s Preparing to unpack .../43-libatspi2.0-0t64_2.55.2-1_arm64.deb ... 452s Unpacking libatspi2.0-0t64:arm64 (2.55.2-1) ... 452s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 452s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.2-1_arm64.deb ... 452s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 452s Selecting previously unselected package libavahi-common-data:arm64. 452s Preparing to unpack .../45-libavahi-common-data_0.8-14ubuntu1_arm64.deb ... 452s Unpacking libavahi-common-data:arm64 (0.8-14ubuntu1) ... 452s Selecting previously unselected package libavahi-common3:arm64. 452s Preparing to unpack .../46-libavahi-common3_0.8-14ubuntu1_arm64.deb ... 452s Unpacking libavahi-common3:arm64 (0.8-14ubuntu1) ... 452s Selecting previously unselected package libavahi-client3:arm64. 452s Preparing to unpack .../47-libavahi-client3_0.8-14ubuntu1_arm64.deb ... 452s Unpacking libavahi-client3:arm64 (0.8-14ubuntu1) ... 452s Selecting previously unselected package libpixman-1-0:arm64. 452s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_arm64.deb ... 452s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 452s Selecting previously unselected package libxcb-render0:arm64. 452s Preparing to unpack .../49-libxcb-render0_1.17.0-2_arm64.deb ... 452s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 452s Selecting previously unselected package libxcb-shm0:arm64. 452s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_arm64.deb ... 452s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 452s Selecting previously unselected package libxrender1:arm64. 452s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 452s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 453s Selecting previously unselected package libcairo2:arm64. 453s Preparing to unpack .../52-libcairo2_1.18.2-2_arm64.deb ... 453s Unpacking libcairo2:arm64 (1.18.2-2) ... 453s Selecting previously unselected package libcairo-gobject2:arm64. 453s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_arm64.deb ... 453s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 453s Selecting previously unselected package libstdlib-ocaml. 453s Preparing to unpack .../54-libstdlib-ocaml_5.2.0-3_arm64.deb ... 453s Unpacking libstdlib-ocaml (5.2.0-3) ... 453s Selecting previously unselected package ocaml-base. 453s Preparing to unpack .../55-ocaml-base_5.2.0-3_arm64.deb ... 453s Unpacking ocaml-base (5.2.0-3) ... 453s Selecting previously unselected package libcairo2-ocaml. 453s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2_arm64.deb ... 453s Unpacking libcairo2-ocaml (0.6.5-2) ... 453s Selecting previously unselected package liblcms2-2:arm64. 453s Preparing to unpack .../57-liblcms2-2_2.16-2_arm64.deb ... 453s Unpacking liblcms2-2:arm64 (2.16-2) ... 453s Selecting previously unselected package libcolord2:arm64. 453s Preparing to unpack .../58-libcolord2_1.4.7-1build2_arm64.deb ... 453s Unpacking libcolord2:arm64 (1.4.7-1build2) ... 453s Selecting previously unselected package libstdlib-ocaml-dev. 453s Preparing to unpack .../59-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ... 453s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 453s Selecting previously unselected package libcompiler-libs-ocaml-dev. 453s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ... 453s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 454s Selecting previously unselected package libcups2t64:arm64. 454s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 454s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 454s Selecting previously unselected package libdatrie1:arm64. 454s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_arm64.deb ... 454s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 454s Selecting previously unselected package libepoxy0:arm64. 454s Preparing to unpack .../63-libepoxy0_1.5.10-2_arm64.deb ... 454s Unpacking libepoxy0:arm64 (1.5.10-2) ... 454s Selecting previously unselected package libgraphite2-3:arm64. 454s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 454s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 454s Selecting previously unselected package libharfbuzz0b:arm64. 454s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_arm64.deb ... 454s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 454s Selecting previously unselected package libthai-data. 454s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 454s Unpacking libthai-data (0.1.29-2build1) ... 454s Selecting previously unselected package libthai0:arm64. 454s Preparing to unpack .../67-libthai0_0.1.29-2build1_arm64.deb ... 454s Unpacking libthai0:arm64 (0.1.29-2build1) ... 454s Selecting previously unselected package libpango-1.0-0:arm64. 454s Preparing to unpack .../68-libpango-1.0-0_1.56.1-1_arm64.deb ... 454s Unpacking libpango-1.0-0:arm64 (1.56.1-1) ... 454s Selecting previously unselected package libpangoft2-1.0-0:arm64. 454s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.1-1_arm64.deb ... 454s Unpacking libpangoft2-1.0-0:arm64 (1.56.1-1) ... 454s Selecting previously unselected package libpangocairo-1.0-0:arm64. 454s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.1-1_arm64.deb ... 454s Unpacking libpangocairo-1.0-0:arm64 (1.56.1-1) ... 454s Selecting previously unselected package libwayland-client0:arm64. 454s Preparing to unpack .../71-libwayland-client0_1.23.1-1_arm64.deb ... 454s Unpacking libwayland-client0:arm64 (1.23.1-1) ... 454s Selecting previously unselected package libwayland-cursor0:arm64. 454s Preparing to unpack .../72-libwayland-cursor0_1.23.1-1_arm64.deb ... 454s Unpacking libwayland-cursor0:arm64 (1.23.1-1) ... 454s Selecting previously unselected package libwayland-egl1:arm64. 455s Preparing to unpack .../73-libwayland-egl1_1.23.1-1_arm64.deb ... 455s Unpacking libwayland-egl1:arm64 (1.23.1-1) ... 455s Selecting previously unselected package libxcomposite1:arm64. 455s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 455s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 455s Selecting previously unselected package libxfixes3:arm64. 455s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 455s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 455s Selecting previously unselected package libxcursor1:arm64. 455s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_arm64.deb ... 455s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 455s Selecting previously unselected package libxdamage1:arm64. 455s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 455s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 455s Selecting previously unselected package libxinerama1:arm64. 455s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 455s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 455s Selecting previously unselected package libxrandr2:arm64. 455s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_arm64.deb ... 455s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 455s Selecting previously unselected package libgtk-3-common. 455s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 455s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 455s Selecting previously unselected package libgtk-3-0t64:arm64. 455s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 455s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 455s Selecting previously unselected package libgtksourceview-3.0-common. 455s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 455s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 455s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 455s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 455s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 455s Selecting previously unselected package liblablgtk3-ocaml. 455s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build1_arm64.deb ... 455s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 456s Selecting previously unselected package liblablgtksourceview3-ocaml. 456s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build1_arm64.deb ... 456s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 456s Selecting previously unselected package libncurses-dev:arm64. 456s Preparing to unpack .../86-libncurses-dev_6.5+20250125-2_arm64.deb ... 456s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 456s Selecting previously unselected package libzstd-dev:arm64. 456s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 456s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 456s Selecting previously unselected package ocaml-interp. 456s Preparing to unpack .../88-ocaml-interp_5.2.0-3_arm64.deb ... 456s Unpacking ocaml-interp (5.2.0-3) ... 456s Selecting previously unselected package ocaml. 456s Preparing to unpack .../89-ocaml_5.2.0-3_arm64.deb ... 456s Unpacking ocaml (5.2.0-3) ... 457s Selecting previously unselected package spass. 457s Preparing to unpack .../90-spass_3.9-1.1_arm64.deb ... 457s Unpacking spass (3.9-1.1) ... 457s Selecting previously unselected package tex-common. 457s Preparing to unpack .../91-tex-common_6.18_all.deb ... 457s Unpacking tex-common (6.18) ... 457s Selecting previously unselected package why3. 457s Preparing to unpack .../92-why3_1.7.2-2build1_arm64.deb ... 457s Unpacking why3 (1.7.2-2build1) ... 458s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 458s Setting up liblcms2-2:arm64 (2.16-2) ... 458s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 458s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 458s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 458s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 458s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 458s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 458s Setting up hicolor-icon-theme (0.18-2) ... 458s Setting up libxi6:arm64 (2:1.8.2-1) ... 458s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 458s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 458s Setting up libxcb-render0:arm64 (1.17.0-2) ... 458s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 458s Setting up libdeflate0:arm64 (1.23-1) ... 458s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 458s Setting up libgomp1:arm64 (15-20250213-1ubuntu1) ... 458s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 458s Setting up libcolord2:arm64 (1.4.7-1build2) ... 458s Setting up libdconf1:arm64 (0.40.0-5) ... 458s Setting up tex-common (6.18) ... 458s update-language: texlive-base not installed and configured, doing nothing! 458s Setting up libepoxy0:arm64 (1.5.10-2) ... 458s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 458s Setting up spass (3.9-1.1) ... 458s Setting up libavahi-common-data:arm64 (0.8-14ubuntu1) ... 458s Setting up libatspi2.0-0t64:arm64 (2.55.2-1) ... 458s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 458s Setting up libstdlib-ocaml (5.2.0-3) ... 458s Setting up fonts-dejavu-mono (2.37-8) ... 458s Setting up libmpc3:arm64 (1.3.1-1build2) ... 458s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 458s Setting up ocaml-base (5.2.0-3) ... 458s Setting up fonts-dejavu-core (2.37-8) ... 458s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 458s Setting up libwebp7:arm64 (1.5.0-0.1) ... 458s Setting up libubsan1:arm64 (15-20250213-1ubuntu1) ... 458s Setting up libhwasan0:arm64 (15-20250213-1ubuntu1) ... 458s Setting up at-spi2-common (2.55.2-1) ... 458s Setting up libasan8:arm64 (15-20250213-1ubuntu1) ... 458s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 458s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 458s Setting up libthai-data (0.1.29-2build1) ... 458s Setting up libwayland-egl1:arm64 (1.23.1-1) ... 458s Setting up libtsan2:arm64 (15-20250213-1ubuntu1) ... 458s Setting up libisl23:arm64 (0.27-1) ... 458s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 458s Setting up libcc1-0:arm64 (15-20250213-1ubuntu1) ... 458s Setting up liblsan0:arm64 (15-20250213-1ubuntu1) ... 458s Setting up libitm1:arm64 (15-20250213-1ubuntu1) ... 458s Setting up libwayland-client0:arm64 (1.23.1-1) ... 458s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 458s Setting up libatk1.0-0t64:arm64 (2.55.2-1) ... 458s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 458s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 458s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 458s Setting up libavahi-common3:arm64 (0.8-14ubuntu1) ... 458s Setting up dconf-service (0.40.0-5) ... 458s Setting up libthai0:arm64 (0.1.29-2build1) ... 458s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 458s Setting up ocaml-interp (5.2.0-3) ... 458s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 458s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 458s Setting up libwayland-cursor0:arm64 (1.23.1-1) ... 458s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 458s Setting up libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 458s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 458s Setting up libavahi-client3:arm64 (0.8-14ubuntu1) ... 458s Setting up libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 458s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 458s Setting up fontconfig (2.15.0-2ubuntu1) ... 460s Regenerating fonts cache... done. 460s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 460s Setting up libpango-1.0-0:arm64 (1.56.1-1) ... 461s Setting up libcairo2:arm64 (1.18.2-2) ... 461s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 461s Setting up adwaita-icon-theme (48~beta-3) ... 461s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 461s Setting up cpp-14 (14.2.0-17ubuntu1) ... 461s Setting up cpp (4:14.2.0-1ubuntu1) ... 461s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 461s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 461s Setting up libpangoft2-1.0-0:arm64 (1.56.1-1) ... 461s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 461s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 461s Setting up libpangocairo-1.0-0:arm64 (1.56.1-1) ... 461s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 461s Setting up libcairo2-ocaml (0.6.5-2) ... 461s Setting up gcc-14 (14.2.0-17ubuntu1) ... 461s Setting up gcc (4:14.2.0-1ubuntu1) ... 461s Setting up ocaml (5.2.0-3) ... 461s Processing triggers for libc-bin (2.40-4ubuntu1) ... 461s Processing triggers for man-db (2.13.0-1) ... 463s Processing triggers for libglib2.0-0t64:arm64 (2.83.3-2) ... 463s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 463s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 463s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 463s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 463s Setting up why3 (1.7.2-2build1) ... 463s Processing triggers for libc-bin (2.40-4ubuntu1) ... 478s autopkgtest [20:21:23]: test why3+spass: [----------------------- 479s autopkgtest [20:21:24]: test why3+spass: -----------------------] 480s autopkgtest [20:21:25]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 480s why3+spass PASS 480s autopkgtest [20:21:25]: test why3+z3: preparing testbed 573s autopkgtest [20:22:58]: testbed dpkg architecture: arm64 574s autopkgtest [20:22:59]: testbed apt version: 2.9.30 574s autopkgtest [20:22:59]: @@@@@@@@@@@@@@@@@@@@ test bed setup 574s autopkgtest [20:22:59]: testbed release detected to be: plucky 575s autopkgtest [20:23:00]: updating testbed package index (apt update) 575s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 576s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 576s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 576s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 576s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 576s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 576s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 576s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 576s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [121 kB] 576s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 576s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [684 kB] 576s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.7 kB] 576s Fetched 1787 kB in 1s (1980 kB/s) 577s Reading package lists... 578s Reading package lists... 578s Building dependency tree... 578s Reading state information... 579s Calculating upgrade... 579s The following package was automatically installed and is no longer required: 579s libapt-pkg6.0t64 579s Use 'sudo apt autoremove' to remove it. 579s The following packages will be upgraded: 579s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 579s libssl3t64 openssl openssl-provider-legacy python3-requests telnet 579s ubuntu-pro-client ubuntu-pro-client-l10n 580s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 580s Need to get 10.4 MB of archives. 580s After this operation, 64.5 kB disk space will be freed. 580s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 openssl-provider-legacy arm64 3.4.1-1ubuntu1 [38.6 kB] 580s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libssl3t64 arm64 3.4.1-1ubuntu1 [2641 kB] 581s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 kbd arm64 2.7.1-2ubuntu1 [230 kB] 581s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 openssl arm64 3.4.1-1ubuntu1 [1162 kB] 582s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-pro-client-l10n arm64 34.1.3 [18.3 kB] 582s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-pro-client arm64 34.1.3 [240 kB] 582s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 inetutils-telnet arm64 2:2.5-6ubuntu1 [104 kB] 582s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 telnet all 0.17+2.5-6ubuntu1 [3694 B] 582s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libcryptsetup12 arm64 2:2.7.5-1ubuntu2 [271 kB] 582s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 cryptsetup-bin arm64 2:2.7.5-1ubuntu2 [217 kB] 582s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 fwupd arm64 2.0.6-3 [5288 kB] 583s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libfwupd3 arm64 2.0.6-3 [129 kB] 583s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 583s Fetched 10.4 MB in 4s (2940 kB/s) 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 ... 116718 files and directories currently installed.) 584s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_arm64.deb ... 584s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 584s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 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 ... 116718 files and directories currently installed.) 584s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_arm64.deb ... 584s Unpacking libssl3t64:arm64 (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 584s Setting up libssl3t64:arm64 (3.4.1-1ubuntu1) ... 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 ... 116717 files and directories currently installed.) 584s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_arm64.deb ... 584s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 584s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_arm64.deb ... 584s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 584s Preparing to unpack .../02-ubuntu-pro-client-l10n_34.1.3_arm64.deb ... 584s Unpacking ubuntu-pro-client-l10n (34.1.3) over (34.1.2) ... 584s Preparing to unpack .../03-ubuntu-pro-client_34.1.3_arm64.deb ... 584s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 584s for fn in glob1(directory, "%s.*" % fname): 584s Unpacking ubuntu-pro-client (34.1.3) over (34.1.2) ... 585s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_arm64.deb ... 585s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 585s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 585s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 585s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_arm64.deb ... 585s Unpacking libcryptsetup12:arm64 (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 585s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_arm64.deb ... 585s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 585s Preparing to unpack .../08-fwupd_2.0.6-3_arm64.deb ... 585s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 585s Preparing to unpack .../09-libfwupd3_2.0.6-3_arm64.deb ... 585s Unpacking libfwupd3:arm64 (2.0.6-3) over (2.0.5-1) ... 585s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 585s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 585s for fn in glob1(directory, "%s.*" % fname): 585s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 585s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 585s Setting up libfwupd3:arm64 (2.0.6-3) ... 585s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 585s Setting up libcryptsetup12:arm64 (2:2.7.5-1ubuntu2) ... 585s Setting up kbd (2.7.1-2ubuntu1) ... 585s Setting up openssl (3.4.1-1ubuntu1) ... 585s Setting up ubuntu-pro-client (34.1.3) ... 587s Setting up fwupd (2.0.6-3) ... 588s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 588s fwupd.service is a disabled or a static unit not running, not starting it. 588s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 588s Setting up ubuntu-pro-client-l10n (34.1.3) ... 588s Setting up telnet (0.17+2.5-6ubuntu1) ... 588s Processing triggers for libc-bin (2.40-4ubuntu1) ... 588s Processing triggers for man-db (2.13.0-1) ... 590s Processing triggers for dbus (1.16.0-1ubuntu1) ... 590s Processing triggers for initramfs-tools (0.145ubuntu2) ... 590s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 590s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 609s System running in EFI mode, skipping. 609s Reading package lists... 609s Building dependency tree... 609s Reading state information... 610s The following packages will be REMOVED: 610s libapt-pkg6.0t64* 610s 0 upgraded, 0 newly installed, 1 to remove and 1 not upgraded. 610s After this operation, 3410 kB disk space will be freed. 610s (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 ... 116714 files and directories currently installed.) 610s Removing libapt-pkg6.0t64:arm64 (2.9.29) ... 610s Processing triggers for libc-bin (2.40-4ubuntu1) ... 610s autopkgtest [20:23:35]: upgrading testbed (apt dist-upgrade and autopurge) 611s Reading package lists... 611s Building dependency tree... 611s Reading state information... 611s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 612s Starting 2 pkgProblemResolver with broken count: 0 612s Done 612s Entering ResolveByKeep 613s 613s The following packages will be upgraded: 613s libgmp10 613s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 613s Need to get 246 kB of archives. 613s After this operation, 0 B of additional disk space will be used. 613s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libgmp10 arm64 2:6.3.0+dfsg-3ubuntu1 [246 kB] 614s Fetched 246 kB in 0s (585 kB/s) 614s (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 ... 116664 files and directories currently installed.) 614s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_arm64.deb ... 614s Unpacking libgmp10:arm64 (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 614s Setting up libgmp10:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 614s Processing triggers for libc-bin (2.40-4ubuntu1) ... 615s Reading package lists... 615s Building dependency tree... 615s Reading state information... 615s Starting pkgProblemResolver with broken count: 0 615s Starting 2 pkgProblemResolver with broken count: 0 615s Done 616s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 616s autopkgtest [20:23:41]: rebooting testbed after setup commands that affected boot 639s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 651s Reading package lists... 651s Building dependency tree... 651s Reading state information... 651s Starting pkgProblemResolver with broken count: 1 651s Starting 2 pkgProblemResolver with broken count: 1 651s Investigating (0) satisfy:command-line:arm64 < none -> 1 @un puN Ib > 651s Broken satisfy:command-line:arm64 Depends on why3:arm64 < none | 1.7.2-2build1 @un uH > 651s Considering why3:arm64 1 as a solution to satisfy:command-line:arm64 9998 651s Re-Instated fonts-dejavu-mono:arm64 651s Re-Instated fonts-dejavu-core:arm64 651s Re-Instated fontconfig-config:arm64 651s Re-Instated libfontconfig1:arm64 651s Re-Instated libpixman-1-0:arm64 651s Re-Instated libxcb-render0:arm64 651s Re-Instated libxcb-shm0:arm64 651s Re-Instated libxrender1:arm64 651s Re-Instated libcairo2:arm64 651s Re-Instated libgdk-pixbuf2.0-common:arm64 651s Re-Instated libjpeg-turbo8:arm64 651s Re-Instated libjpeg8:arm64 651s Re-Instated libdeflate0:arm64 651s Re-Instated libjbig0:arm64 651s Re-Instated liblerc4:arm64 651s Re-Instated libsharpyuv0:arm64 651s Re-Instated libwebp7:arm64 651s Re-Instated libtiff6:arm64 651s Re-Instated libgdk-pixbuf-2.0-0:arm64 651s Re-Instated gtk-update-icon-cache:arm64 651s Re-Instated hicolor-icon-theme:arm64 651s Re-Instated adwaita-icon-theme:arm64 651s Re-Instated at-spi2-common:arm64 651s Re-Instated libatk1.0-0t64:arm64 651s Re-Instated libxi6:arm64 651s Re-Instated libatspi2.0-0t64:arm64 651s Re-Instated libatk-bridge2.0-0t64:arm64 651s Re-Instated libcairo-gobject2:arm64 651s Re-Instated liblcms2-2:arm64 651s Re-Instated libcolord2:arm64 651s Re-Instated libavahi-common-data:arm64 651s Re-Instated libavahi-common3:arm64 651s Re-Instated libavahi-client3:arm64 651s Re-Instated libcups2t64:arm64 651s Re-Instated libepoxy0:arm64 651s Re-Instated libgraphite2-3:arm64 651s Re-Instated libharfbuzz0b:arm64 651s Re-Instated fontconfig:arm64 651s Re-Instated libthai-data:arm64 651s Re-Instated libdatrie1:arm64 651s Re-Instated libthai0:arm64 651s Re-Instated libpango-1.0-0:arm64 651s Re-Instated libpangoft2-1.0-0:arm64 651s Re-Instated libpangocairo-1.0-0:arm64 651s Re-Instated libwayland-client0:arm64 651s Re-Instated libwayland-cursor0:arm64 651s Re-Instated libwayland-egl1:arm64 651s Re-Instated libxcomposite1:arm64 651s Re-Instated libxfixes3:arm64 651s Re-Instated libxcursor1:arm64 651s Re-Instated libxdamage1:arm64 651s Re-Instated libxinerama1:arm64 651s Re-Instated libxrandr2:arm64 651s Re-Instated libdconf1:arm64 651s Re-Instated dconf-service:arm64 651s Re-Instated dconf-gsettings-backend:arm64 651s Re-Instated libgtk-3-common:arm64 651s Re-Instated libgtk-3-0t64:arm64 651s Re-Instated libgtksourceview-3.0-common:arm64 651s Re-Instated libgtksourceview-3.0-1:arm64 651s Re-Instated libstdlib-ocaml:arm64 651s Re-Instated ocaml-base:arm64 651s Re-Instated libcairo2-ocaml:arm64 651s Re-Instated liblablgtk3-ocaml:arm64 651s Re-Instated liblablgtksourceview3-ocaml:arm64 651s Re-Instated tex-common:arm64 651s Re-Instated why3:arm64 651s Broken satisfy:command-line:arm64 Depends on z3:arm64 < none | 4.13.3-1 @un uH > (< 4.11.1) 651s Broken satisfy:command-line:arm64 Depends on ocaml-native-compilers:arm64 < none @un H > 651s Considering ocaml:arm64 0 as a solution to satisfy:command-line:arm64 9998 651s Re-Instated libstdlib-ocaml-dev:arm64 651s Re-Instated libcompiler-libs-ocaml-dev:arm64 651s Re-Instated ocaml-interp:arm64 651s Re-Instated libncurses-dev:arm64 651s Re-Instated libisl23:arm64 651s Re-Instated libmpc3:arm64 651s Re-Instated cpp-14-aarch64-linux-gnu:arm64 651s Re-Instated cpp-14:arm64 651s Re-Instated cpp-aarch64-linux-gnu:arm64 651s Re-Instated cpp:arm64 651s Re-Instated libcc1-0:arm64 651s Re-Instated libgomp1:arm64 651s Re-Instated libitm1:arm64 651s Re-Instated libasan8:arm64 651s Re-Instated liblsan0:arm64 651s Re-Instated libtsan2:arm64 651s Re-Instated libubsan1:arm64 651s Re-Instated libhwasan0:arm64 651s Re-Instated libgcc-14-dev:arm64 651s Re-Instated gcc-14-aarch64-linux-gnu:arm64 651s Re-Instated gcc-14:arm64 651s Re-Instated gcc-aarch64-linux-gnu:arm64 651s Re-Instated gcc:arm64 651s Re-Instated libzstd-dev:arm64 651s Re-Instated ocaml:arm64 651s Done 651s Some packages could not be installed. This may mean that you have 651s requested an impossible situation or if you are using the unstable 651s distribution that some required packages have not yet been created 651s or been moved out of Incoming. 651s The following information may help to resolve the situation: 651s 651s The following packages have unmet dependencies: 652s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 652s E: Unable to correct problems, you have held broken packages. 652s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 652s Reading package lists... 653s Building dependency tree... 653s Reading state information... 653s Starting pkgProblemResolver with broken count: 1 653s Starting 2 pkgProblemResolver with broken count: 1 653s Investigating (0) satisfy:command-line:arm64 < none -> 1 @un puN Ib > 653s Broken satisfy:command-line:arm64 Depends on why3:arm64 < none | 1.8.0-2 @un uH > 653s Considering why3:arm64 1 as a solution to satisfy:command-line:arm64 9998 653s Re-Instated fonts-dejavu-mono:arm64 653s Re-Instated fonts-dejavu-core:arm64 653s Re-Instated fontconfig-config:arm64 653s Re-Instated libfontconfig1:arm64 653s Re-Instated libpixman-1-0:arm64 653s Re-Instated libxcb-render0:arm64 653s Re-Instated libxcb-shm0:arm64 653s Re-Instated libxrender1:arm64 653s Re-Instated libcairo2:arm64 653s Re-Instated libgdk-pixbuf2.0-common:arm64 653s Re-Instated libjpeg-turbo8:arm64 653s Re-Instated libjpeg8:arm64 653s Re-Instated libdeflate0:arm64 653s Re-Instated libjbig0:arm64 653s Re-Instated liblerc4:arm64 653s Re-Instated libsharpyuv0:arm64 653s Re-Instated libwebp7:arm64 653s Re-Instated libtiff6:arm64 653s Re-Instated libgdk-pixbuf-2.0-0:arm64 653s Re-Instated gtk-update-icon-cache:arm64 653s Re-Instated hicolor-icon-theme:arm64 653s Re-Instated adwaita-icon-theme:arm64 653s Re-Instated at-spi2-common:arm64 653s Re-Instated libatk1.0-0t64:arm64 653s Re-Instated libxi6:arm64 653s Re-Instated libatspi2.0-0t64:arm64 653s Re-Instated libatk-bridge2.0-0t64:arm64 653s Re-Instated libcairo-gobject2:arm64 653s Re-Instated liblcms2-2:arm64 653s Re-Instated libcolord2:arm64 653s Re-Instated libavahi-common-data:arm64 653s Re-Instated libavahi-common3:arm64 653s Re-Instated libavahi-client3:arm64 653s Re-Instated libcups2t64:arm64 653s Re-Instated libepoxy0:arm64 653s Re-Instated libgraphite2-3:arm64 653s Re-Instated libharfbuzz0b:arm64 653s Re-Instated fontconfig:arm64 653s Re-Instated libthai-data:arm64 653s Re-Instated libdatrie1:arm64 653s Re-Instated libthai0:arm64 653s Re-Instated libpango-1.0-0:arm64 653s Re-Instated libpangoft2-1.0-0:arm64 653s Re-Instated libpangocairo-1.0-0:arm64 653s Re-Instated libwayland-client0:arm64 653s Re-Instated libwayland-cursor0:arm64 653s Re-Instated libwayland-egl1:arm64 653s Re-Instated libxcomposite1:arm64 653s Re-Instated libxfixes3:arm64 653s Re-Instated libxcursor1:arm64 653s Re-Instated libxdamage1:arm64 653s Re-Instated libxinerama1:arm64 653s Re-Instated libxrandr2:arm64 653s Re-Instated libdconf1:arm64 653s Re-Instated dconf-service:arm64 653s Re-Instated dconf-gsettings-backend:arm64 653s Re-Instated libgtk-3-common:arm64 653s Re-Instated libgtk-3-0t64:arm64 653s Re-Instated libgtksourceview-3.0-common:arm64 653s Re-Instated libgtksourceview-3.0-1:arm64 653s Re-Instated libstdlib-ocaml:arm64 653s Re-Instated ocaml-base:arm64 653s Re-Instated libcairo2-ocaml:arm64 653s Re-Instated liblablgtk3-ocaml:arm64 653s Re-Instated liblablgtksourceview3-ocaml:arm64 653s Re-Instated tex-common:arm64 653s Re-Instated why3:arm64 653s Broken satisfy:command-line:arm64 Depends on z3:arm64 < none | 4.13.3-1 @un uH > (< 4.11.1) 653s Broken satisfy:command-line:arm64 Depends on ocaml-native-compilers:arm64 < none @un H > 653s Considering ocaml:arm64 0 as a solution to satisfy:command-line:arm64 9998 653s Re-Instated libstdlib-ocaml-dev:arm64 653s Re-Instated libcompiler-libs-ocaml-dev:arm64 653s Re-Instated ocaml-interp:arm64 653s Re-Instated libtinfo6:arm64 653s Re-Instated libncurses6:arm64 653s Re-Instated libncursesw6:arm64 653s Re-Instated libncurses-dev:arm64 653s Re-Instated gcc-14-base:arm64 653s Re-Instated libisl23:arm64 653s Re-Instated libmpc3:arm64 653s Re-Instated cpp-14-aarch64-linux-gnu:arm64 653s Re-Instated cpp-14:arm64 653s Re-Instated cpp-aarch64-linux-gnu:arm64 653s Re-Instated cpp:arm64 653s Re-Instated libcc1-0:arm64 653s Re-Instated libgomp1:arm64 653s Re-Instated libitm1:arm64 653s Re-Instated libasan8:arm64 653s Re-Instated liblsan0:arm64 653s Re-Instated libtsan2:arm64 653s Re-Instated libubsan1:arm64 653s Re-Instated libhwasan0:arm64 653s Re-Instated libgcc-14-dev:arm64 653s Re-Instated gcc-14-aarch64-linux-gnu:arm64 653s Re-Instated gcc-14:arm64 653s Re-Instated gcc-aarch64-linux-gnu:arm64 653s Re-Instated gcc:arm64 653s Re-Instated libzstd-dev:arm64 653s Re-Instated ocaml:arm64 653s Done 653s Some packages could not be installed. This may mean that you have 653s requested an impossible situation or if you are using the unstable 653s distribution that some required packages have not yet been created 653s or been moved out of Incoming. 653s The following information may help to resolve the situation: 653s 653s The following packages have unmet dependencies: 653s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 653s E: Unable to correct problems, you have held broken packages. 653s why3+z3 SKIP installation fails and skip-not-installable set 653s autopkgtest [20:24:18]: @@@@@@@@@@@@@@@@@@@@ summary 653s why3+cvc4 PASS 653s why3+spass PASS 653s why3+z3 SKIP installation fails and skip-not-installable set 660s nova [W] Using flock in prodstack6-arm64 660s flock: timeout while waiting to get lock 660s Creating nova instance adt-plucky-arm64-why3-20250220-201324-juju-7f2275-prod-proposed-migration-environment-2-6efaf648-1106-4978-8b22-05b6e33f3b90 from image adt/ubuntu-plucky-arm64-server-20250220.img (UUID 397b70ef-022d-4aca-a546-c65dd921737c)... 660s nova [W] Timed out waiting for d85d97d0-02fb-4453-b53a-5e7467c8f383 to get deleted. 660s nova [W] Using flock in prodstack6-arm64 660s Creating nova instance adt-plucky-arm64-why3-20250220-201324-juju-7f2275-prod-proposed-migration-environment-2-6efaf648-1106-4978-8b22-05b6e33f3b90 from image adt/ubuntu-plucky-arm64-server-20250220.img (UUID 397b70ef-022d-4aca-a546-c65dd921737c)... 660s nova [W] Timed out waiting for ba5a2522-7a14-4664-848d-545cba665073 to get deleted. 660s nova [W] Using flock in prodstack6-arm64 660s Creating nova instance adt-plucky-arm64-why3-20250220-201324-juju-7f2275-prod-proposed-migration-environment-2-6efaf648-1106-4978-8b22-05b6e33f3b90 from image adt/ubuntu-plucky-arm64-server-20250220.img (UUID 397b70ef-022d-4aca-a546-c65dd921737c)... 660s nova [W] Timed out waiting for 559b12d5-741d-4cc9-bc25-aaebb2f9d057 to get deleted.