0s autopkgtest [03:20:15]: starting date and time: 2025-10-20 03:20:15+0000 0s autopkgtest [03:20:15]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [03:20:15]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.aqr_inw1/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:node-jquery --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=node-jquery/3.7.1+dfsg+~3.5.33-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-arm64-1.secgroup --name adt-resolute-arm64-why3-20251020-032015-juju-7f2275-prod-proposed-migration-environment-15-1d394696-eede-423b-bf91-e909310db967 --image adt/ubuntu-resolute-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 4s Creating nova instance adt-resolute-arm64-why3-20251020-032015-juju-7f2275-prod-proposed-migration-environment-15-1d394696-eede-423b-bf91-e909310db967 from image adt/ubuntu-resolute-arm64-server-20251019.img (UUID 66624775-bb7d-402f-bbba-489c1d649d18)... 61s autopkgtest [03:21:16]: testbed dpkg architecture: arm64 61s autopkgtest [03:21:16]: testbed apt version: 3.1.8ubuntu1 61s autopkgtest [03:21:16]: @@@@@@@@@@@@@@@@@@@@ test bed setup 62s autopkgtest [03:21:17]: testbed release detected to be: None 62s autopkgtest [03:21:17]: updating testbed package index (apt update) 63s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 63s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 63s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 63s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 63s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [51.0 kB] 63s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.8 kB] 63s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 63s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [450 kB] 63s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [110 kB] 63s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 Packages [43.8 kB] 63s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [273 kB] 63s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [8020 B] 64s Fetched 1040 kB in 1s (1138 kB/s) 64s Reading package lists... 65s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 65s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 65s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 65s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 66s Reading package lists... 66s Reading package lists... 66s Building dependency tree... 66s Reading state information... 67s Calculating upgrade... 67s The following packages will be upgraded: 67s distro-info-data dpkg dpkg-dev libaudit-common libaudit1 libdpkg-perl 67s libp11-kit0 libseccomp2 libsemanage-common libsemanage2 python-apt-common 67s python3-apt python3-cffi-backend 67s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 67s Need to get 3488 kB of archives. 67s After this operation, 781 kB of additional disk space will be used. 67s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 dpkg arm64 1.22.21ubuntu4 [1274 kB] 68s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libaudit-common all 1:4.0.5-1build2 [6596 B] 68s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libaudit1 arm64 1:4.0.5-1build2 [58.6 kB] 68s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libsemanage-common all 3.8.1-1build1 [7916 B] 68s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libsemanage2 arm64 3.8.1-1build1 [95.7 kB] 68s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 distro-info-data all 0.68 [7378 B] 68s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libp11-kit0 arm64 0.25.9-2 [283 kB] 68s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libseccomp2 arm64 2.6.0-2ubuntu3 [56.1 kB] 68s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 python-apt-common all 3.0.0ubuntu2 [21.7 kB] 68s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 python3-apt arm64 3.0.0ubuntu2 [197 kB] 68s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 python3-cffi-backend arm64 1.17.1-3build1 [112 kB] 68s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 dpkg-dev all 1.22.21ubuntu4 [1088 kB] 68s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 libdpkg-perl all 1.22.21ubuntu4 [280 kB] 68s dpkg-preconfigure: unable to re-open stdin: No such file or directory 68s Fetched 3488 kB in 1s (3671 kB/s) 69s (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 ... 83359 files and directories currently installed.) 69s Preparing to unpack .../dpkg_1.22.21ubuntu4_arm64.deb ... 69s Unpacking dpkg (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 69s Setting up dpkg (1.22.21ubuntu4) ... 70s (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 ... 83359 files and directories currently installed.) 70s Preparing to unpack .../libaudit-common_1%3a4.0.5-1build2_all.deb ... 70s Unpacking libaudit-common (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 70s Setting up libaudit-common (1:4.0.5-1build2) ... 70s (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 ... 83359 files and directories currently installed.) 70s Preparing to unpack .../libaudit1_1%3a4.0.5-1build2_arm64.deb ... 70s Unpacking libaudit1:arm64 (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 70s Setting up libaudit1:arm64 (1:4.0.5-1build2) ... 70s (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 ... 83359 files and directories currently installed.) 70s Preparing to unpack .../0-libsemanage-common_3.8.1-1build1_all.deb ... 70s Unpacking libsemanage-common (3.8.1-1build1) over (3.8.1-1) ... 70s Preparing to unpack .../1-libsemanage2_3.8.1-1build1_arm64.deb ... 70s Unpacking libsemanage2:arm64 (3.8.1-1build1) over (3.8.1-1) ... 70s Preparing to unpack .../2-distro-info-data_0.68_all.deb ... 70s Unpacking distro-info-data (0.68) over (0.67~ubuntu1) ... 70s Preparing to unpack .../3-libp11-kit0_0.25.9-2_arm64.deb ... 70s Unpacking libp11-kit0:arm64 (0.25.9-2) over (0.25.5-3ubuntu1) ... 71s Preparing to unpack .../4-libseccomp2_2.6.0-2ubuntu3_arm64.deb ... 71s Unpacking libseccomp2:arm64 (2.6.0-2ubuntu3) over (2.6.0-2ubuntu2) ... 71s Preparing to unpack .../5-python-apt-common_3.0.0ubuntu2_all.deb ... 71s Unpacking python-apt-common (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 71s Preparing to unpack .../6-python3-apt_3.0.0ubuntu2_arm64.deb ... 71s Unpacking python3-apt (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 71s Preparing to unpack .../7-python3-cffi-backend_1.17.1-3build1_arm64.deb ... 71s Unpacking python3-cffi-backend:arm64 (1.17.1-3build1) over (1.17.1-3) ... 71s Preparing to unpack .../8-dpkg-dev_1.22.21ubuntu4_all.deb ... 71s Unpacking dpkg-dev (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 71s Preparing to unpack .../9-libdpkg-perl_1.22.21ubuntu4_all.deb ... 71s Unpacking libdpkg-perl (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 71s Setting up distro-info-data (0.68) ... 71s Setting up libsemanage-common (3.8.1-1build1) ... 71s Setting up libseccomp2:arm64 (2.6.0-2ubuntu3) ... 71s Setting up libp11-kit0:arm64 (0.25.9-2) ... 71s Setting up libdpkg-perl (1.22.21ubuntu4) ... 71s Setting up python-apt-common (3.0.0ubuntu2) ... 71s Setting up libsemanage2:arm64 (3.8.1-1build1) ... 71s Setting up python3-cffi-backend:arm64 (1.17.1-3build1) ... 71s Setting up python3-apt (3.0.0ubuntu2) ... 71s Setting up dpkg-dev (1.22.21ubuntu4) ... 72s Processing triggers for man-db (2.13.1-1) ... 73s Processing triggers for libc-bin (2.42-0ubuntu3) ... 74s autopkgtest [03:21:29]: upgrading testbed (apt dist-upgrade and autopurge) 74s Reading package lists... 74s Building dependency tree... 74s Reading state information... 74s Calculating upgrade... 75s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 75s Reading package lists... 75s Building dependency tree... 75s Reading state information... 75s Solving dependencies... 76s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 76s autopkgtest [03:21:31]: rebooting testbed after setup commands that affected boot 103s autopkgtest [03:21:58]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 22 09:50:31 UTC 2025 106s autopkgtest [03:22:01]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 110s Get:1 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (dsc) [2671 B] 110s Get:2 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (tar) [6645 kB] 110s Get:3 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (diff) [19.5 kB] 111s gpgv: Signature made Tue Sep 23 20:42:25 2025 UTC 111s gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF 111s gpgv: Can't check signature: No public key 111s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.2-1.dsc: no acceptable signature found 112s autopkgtest [03:22:07]: testing package why3 version 1.8.2-1 113s autopkgtest [03:22:08]: build not needed 115s autopkgtest [03:22:10]: test why3+cvc4: preparing testbed 115s Reading package lists... 116s Building dependency tree... 116s Reading state information... 116s Solving dependencies... 116s The following NEW packages will be installed: 116s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-aarch64-linux-gnu 116s cpp-aarch64-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 116s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 116s gcc-15-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 116s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 116s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 116s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 116s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 116s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 116s libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 116s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 116s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 116s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 116s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 116s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 116s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 116s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 116s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 116s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 116s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 116s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 116s Need to get 175 MB of archives. 116s After this operation, 560 MB of additional disk space will be used. 116s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 116s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libjpeg-turbo8 arm64 2.1.5-4ubuntu2 [165 kB] 117s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 117s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libdeflate0 arm64 1.23-2 [46.4 kB] 117s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 117s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 117s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 117s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 117s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 libtiff6 arm64 4.7.0-3ubuntu3 [196 kB] 117s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-5 [156 kB] 117s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 gtk-update-icon-cache arm64 4.20.1+ds-2 [54.4 kB] 117s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 117s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 adwaita-icon-theme all 49.0-1 [581 kB] 117s Get:14 http://ftpmaster.internal/ubuntu resolute/main arm64 at-spi2-common all 2.57.1-1 [9432 B] 117s Get:15 http://ftpmaster.internal/ubuntu resolute/main arm64 libisl23 arm64 0.27-1 [676 kB] 117s Get:16 http://ftpmaster.internal/ubuntu resolute/main arm64 libmpc3 arm64 1.3.1-1build3 [58.9 kB] 117s Get:17 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [11.7 MB] 119s Get:18 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15 arm64 15.2.0-5ubuntu1 [1028 B] 119s Get:19 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [5736 B] 119s Get:20 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp arm64 4:15.2.0-4ubuntu1 [22.4 kB] 119s Get:21 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 119s Get:22 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc4-7 arm64 1.8-3build2 [4343 kB] 119s Get:23 http://ftpmaster.internal/ubuntu resolute/universe arm64 libantlr3c-3.4-0 arm64 3.4+dfsg-4build2 [45.7 kB] 119s Get:24 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc4parser7 arm64 1.8-3build2 [354 kB] 119s Get:25 http://ftpmaster.internal/ubuntu resolute/universe arm64 cvc4 arm64 1.8-3build2 [71.6 kB] 119s Get:26 http://ftpmaster.internal/ubuntu resolute/main arm64 libdconf1 arm64 0.40.0-5willsync1 [42.3 kB] 119s Get:27 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-service arm64 0.40.0-5willsync1 [28.8 kB] 119s Get:28 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-gsettings-backend arm64 0.40.0-5willsync1 [23.8 kB] 119s Get:29 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 119s Get:30 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 119s Get:31 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig-config arm64 2.15.0-2.3ubuntu1 [38.1 kB] 119s Get:32 http://ftpmaster.internal/ubuntu resolute/main arm64 libfontconfig1 arm64 2.15.0-2.3ubuntu1 [144 kB] 119s Get:33 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig arm64 2.15.0-2.3ubuntu1 [191 kB] 119s Get:34 http://ftpmaster.internal/ubuntu resolute/main arm64 libcc1-0 arm64 15.2.0-5ubuntu1 [49.2 kB] 119s Get:35 http://ftpmaster.internal/ubuntu resolute/main arm64 libgomp1 arm64 15.2.0-5ubuntu1 [148 kB] 120s Get:36 http://ftpmaster.internal/ubuntu resolute/main arm64 libitm1 arm64 15.2.0-5ubuntu1 [28.1 kB] 120s Get:37 http://ftpmaster.internal/ubuntu resolute/main arm64 libasan8 arm64 15.2.0-5ubuntu1 [2922 kB] 120s Get:38 http://ftpmaster.internal/ubuntu resolute/main arm64 liblsan0 arm64 15.2.0-5ubuntu1 [1316 kB] 120s Get:39 http://ftpmaster.internal/ubuntu resolute/main arm64 libtsan2 arm64 15.2.0-5ubuntu1 [2689 kB] 120s Get:40 http://ftpmaster.internal/ubuntu resolute/main arm64 libubsan1 arm64 15.2.0-5ubuntu1 [1176 kB] 120s Get:41 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwasan0 arm64 15.2.0-5ubuntu1 [1639 kB] 120s Get:42 http://ftpmaster.internal/ubuntu resolute/main arm64 libgcc-15-dev arm64 15.2.0-5ubuntu1 [2601 kB] 120s Get:43 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [23.1 MB] 121s Get:44 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15 arm64 15.2.0-5ubuntu1 [512 kB] 121s Get:45 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [1206 B] 121s Get:46 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc arm64 4:15.2.0-4ubuntu1 [5016 B] 121s Get:47 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk1.0-0t64 arm64 2.57.1-1 [55.5 kB] 121s Get:48 http://ftpmaster.internal/ubuntu resolute/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 121s Get:49 http://ftpmaster.internal/ubuntu resolute/main arm64 libatspi2.0-0t64 arm64 2.57.1-1 [84.7 kB] 121s Get:50 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk-bridge2.0-0t64 arm64 2.57.1-1 [66.0 kB] 121s Get:51 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common-data arm64 0.8-16ubuntu3 [31.1 kB] 121s Get:52 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common3 arm64 0.8-16ubuntu3 [24.5 kB] 121s Get:53 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-client3 arm64 0.8-16ubuntu3 [28.4 kB] 121s Get:54 http://ftpmaster.internal/ubuntu resolute/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 121s Get:55 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-render0 arm64 1.17.0-2build1 [18.1 kB] 121s Get:56 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-shm0 arm64 1.17.0-2build1 [6234 B] 121s Get:57 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrender1 arm64 1:0.9.12-1 [19.5 kB] 121s Get:58 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo2 arm64 1.18.4-1build1 [592 kB] 121s Get:59 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo-gobject2 arm64 1.18.4-1build1 [128 kB] 121s Get:60 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml arm64 5.3.0-3 [428 kB] 121s Get:61 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-base arm64 5.3.0-3 [308 kB] 121s Get:62 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcairo2-ocaml arm64 0.6.5-2build2 [27.0 kB] 121s Get:63 http://ftpmaster.internal/ubuntu resolute/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 121s Get:64 http://ftpmaster.internal/ubuntu resolute/main arm64 libcolord2 arm64 1.4.7-3build1 [148 kB] 121s Get:65 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-3 [7840 kB] 121s Get:66 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-3 [47.9 MB] 125s Get:67 http://ftpmaster.internal/ubuntu resolute/main arm64 libcups2t64 arm64 2.4.12-0ubuntu3 [269 kB] 125s Get:68 http://ftpmaster.internal/ubuntu resolute/main arm64 libdatrie1 arm64 0.2.13-4 [19.1 kB] 125s Get:69 http://ftpmaster.internal/ubuntu resolute/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 125s Get:70 http://ftpmaster.internal/ubuntu resolute/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 125s Get:71 http://ftpmaster.internal/ubuntu resolute/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 125s Get:72 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 125s Get:73 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 125s Get:74 http://ftpmaster.internal/ubuntu resolute/main arm64 libpango-1.0-0 arm64 1.56.3-1build1 [247 kB] 125s Get:75 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangoft2-1.0-0 arm64 1.56.3-1build1 [53.5 kB] 125s Get:76 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangocairo-1.0-0 arm64 1.56.3-1build1 [29.6 kB] 125s Get:77 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-client0 arm64 1.24.0-1build1 [28.9 kB] 125s Get:78 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-cursor0 arm64 1.24.0-1build1 [11.1 kB] 125s Get:79 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-egl1 arm64 1.24.0-1build1 [6500 B] 125s Get:80 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 125s Get:81 http://ftpmaster.internal/ubuntu resolute/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 125s Get:82 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 125s Get:83 http://ftpmaster.internal/ubuntu resolute/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 125s Get:84 http://ftpmaster.internal/ubuntu resolute/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 125s Get:85 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 125s Get:86 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 125s Get:87 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-0t64 arm64 3.24.50-1ubuntu2 [3229 kB] 126s Get:88 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 126s Get:89 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-5 [247 kB] 126s Get:90 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build4 [3696 kB] 127s Get:91 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build4 [341 kB] 127s Get:92 http://ftpmaster.internal/ubuntu resolute/main arm64 libncurses-dev arm64 6.5+20250216-2build1 [415 kB] 127s Get:93 http://ftpmaster.internal/ubuntu resolute/main arm64 libzstd-dev arm64 1.5.7+dfsg-1build2 [363 kB] 127s Get:94 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-interp arm64 5.3.0-3 [8365 kB] 128s Get:95 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml arm64 5.3.0-3 [23.5 MB] 131s Get:96 http://ftpmaster.internal/ubuntu resolute/universe arm64 tex-common all 6.19 [29.8 kB] 131s Get:97 http://ftpmaster.internal/ubuntu resolute/universe arm64 why3 arm64 1.8.2-1 [15.4 MB] 132s Fetched 175 MB in 15s (11.7 MB/s) 132s Selecting previously unselected package libgdk-pixbuf2.0-common. 132s (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 ... 83364 files and directories currently installed.) 132s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 132s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 132s Selecting previously unselected package libjpeg-turbo8:arm64. 132s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_arm64.deb ... 132s Unpacking libjpeg-turbo8:arm64 (2.1.5-4ubuntu2) ... 132s Selecting previously unselected package libjpeg8:arm64. 132s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 132s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 132s Selecting previously unselected package libdeflate0:arm64. 132s Preparing to unpack .../03-libdeflate0_1.23-2_arm64.deb ... 132s Unpacking libdeflate0:arm64 (1.23-2) ... 132s Selecting previously unselected package libjbig0:arm64. 132s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 132s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 132s Selecting previously unselected package liblerc4:arm64. 132s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 132s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 132s Selecting previously unselected package libsharpyuv0:arm64. 132s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 132s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 132s Selecting previously unselected package libwebp7:arm64. 132s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 132s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 132s Selecting previously unselected package libtiff6:arm64. 132s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_arm64.deb ... 132s Unpacking libtiff6:arm64 (4.7.0-3ubuntu3) ... 132s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 132s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_arm64.deb ... 132s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-5) ... 132s Selecting previously unselected package gtk-update-icon-cache. 132s Preparing to unpack .../10-gtk-update-icon-cache_4.20.1+ds-2_arm64.deb ... 132s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 132s 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. 132s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 132s Selecting previously unselected package hicolor-icon-theme. 132s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 132s Unpacking hicolor-icon-theme (0.18-2) ... 132s Selecting previously unselected package adwaita-icon-theme. 132s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 132s Unpacking adwaita-icon-theme (49.0-1) ... 132s Selecting previously unselected package at-spi2-common. 132s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 132s Unpacking at-spi2-common (2.57.1-1) ... 132s Selecting previously unselected package libisl23:arm64. 132s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 132s Unpacking libisl23:arm64 (0.27-1) ... 132s Selecting previously unselected package libmpc3:arm64. 132s Preparing to unpack .../15-libmpc3_1.3.1-1build3_arm64.deb ... 132s Unpacking libmpc3:arm64 (1.3.1-1build3) ... 133s Selecting previously unselected package cpp-15-aarch64-linux-gnu. 133s Preparing to unpack .../16-cpp-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 133s Unpacking cpp-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 133s Selecting previously unselected package cpp-15. 133s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_arm64.deb ... 133s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 133s Selecting previously unselected package cpp-aarch64-linux-gnu. 133s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 133s Unpacking cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 133s Selecting previously unselected package cpp. 133s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_arm64.deb ... 133s Unpacking cpp (4:15.2.0-4ubuntu1) ... 133s Selecting previously unselected package libcln6:arm64. 133s Preparing to unpack .../20-libcln6_1.3.7-1_arm64.deb ... 133s Unpacking libcln6:arm64 (1.3.7-1) ... 133s Selecting previously unselected package libcvc4-7:arm64. 133s Preparing to unpack .../21-libcvc4-7_1.8-3build2_arm64.deb ... 133s Unpacking libcvc4-7:arm64 (1.8-3build2) ... 133s Selecting previously unselected package libantlr3c-3.4-0:arm64. 133s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_arm64.deb ... 133s Unpacking libantlr3c-3.4-0:arm64 (3.4+dfsg-4build2) ... 133s Selecting previously unselected package libcvc4parser7:arm64. 133s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_arm64.deb ... 133s Unpacking libcvc4parser7:arm64 (1.8-3build2) ... 133s Selecting previously unselected package cvc4. 133s Preparing to unpack .../24-cvc4_1.8-3build2_arm64.deb ... 133s Unpacking cvc4 (1.8-3build2) ... 133s Selecting previously unselected package libdconf1:arm64. 133s Preparing to unpack .../25-libdconf1_0.40.0-5willsync1_arm64.deb ... 133s Unpacking libdconf1:arm64 (0.40.0-5willsync1) ... 133s Selecting previously unselected package dconf-service. 133s Preparing to unpack .../26-dconf-service_0.40.0-5willsync1_arm64.deb ... 133s Unpacking dconf-service (0.40.0-5willsync1) ... 133s Selecting previously unselected package dconf-gsettings-backend:arm64. 133s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5willsync1_arm64.deb ... 133s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5willsync1) ... 133s Selecting previously unselected package fonts-dejavu-mono. 133s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 133s Unpacking fonts-dejavu-mono (2.37-8) ... 133s Selecting previously unselected package fonts-dejavu-core. 133s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 133s Unpacking fonts-dejavu-core (2.37-8) ... 133s Selecting previously unselected package fontconfig-config. 133s Preparing to unpack .../30-fontconfig-config_2.15.0-2.3ubuntu1_arm64.deb ... 134s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 134s Selecting previously unselected package libfontconfig1:arm64. 134s Preparing to unpack .../31-libfontconfig1_2.15.0-2.3ubuntu1_arm64.deb ... 134s Unpacking libfontconfig1:arm64 (2.15.0-2.3ubuntu1) ... 134s Selecting previously unselected package fontconfig. 134s Preparing to unpack .../32-fontconfig_2.15.0-2.3ubuntu1_arm64.deb ... 134s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 134s Selecting previously unselected package libcc1-0:arm64. 134s Preparing to unpack .../33-libcc1-0_15.2.0-5ubuntu1_arm64.deb ... 134s Unpacking libcc1-0:arm64 (15.2.0-5ubuntu1) ... 134s Selecting previously unselected package libgomp1:arm64. 134s Preparing to unpack .../34-libgomp1_15.2.0-5ubuntu1_arm64.deb ... 134s Unpacking libgomp1:arm64 (15.2.0-5ubuntu1) ... 134s Selecting previously unselected package libitm1:arm64. 134s Preparing to unpack .../35-libitm1_15.2.0-5ubuntu1_arm64.deb ... 134s Unpacking libitm1:arm64 (15.2.0-5ubuntu1) ... 134s Selecting previously unselected package libasan8:arm64. 134s Preparing to unpack .../36-libasan8_15.2.0-5ubuntu1_arm64.deb ... 134s Unpacking libasan8:arm64 (15.2.0-5ubuntu1) ... 134s Selecting previously unselected package liblsan0:arm64. 134s Preparing to unpack .../37-liblsan0_15.2.0-5ubuntu1_arm64.deb ... 134s Unpacking liblsan0:arm64 (15.2.0-5ubuntu1) ... 134s Selecting previously unselected package libtsan2:arm64. 134s Preparing to unpack .../38-libtsan2_15.2.0-5ubuntu1_arm64.deb ... 134s Unpacking libtsan2:arm64 (15.2.0-5ubuntu1) ... 134s Selecting previously unselected package libubsan1:arm64. 134s Preparing to unpack .../39-libubsan1_15.2.0-5ubuntu1_arm64.deb ... 134s Unpacking libubsan1:arm64 (15.2.0-5ubuntu1) ... 134s Selecting previously unselected package libhwasan0:arm64. 134s Preparing to unpack .../40-libhwasan0_15.2.0-5ubuntu1_arm64.deb ... 134s Unpacking libhwasan0:arm64 (15.2.0-5ubuntu1) ... 134s Selecting previously unselected package libgcc-15-dev:arm64. 134s Preparing to unpack .../41-libgcc-15-dev_15.2.0-5ubuntu1_arm64.deb ... 134s Unpacking libgcc-15-dev:arm64 (15.2.0-5ubuntu1) ... 134s Selecting previously unselected package gcc-15-aarch64-linux-gnu. 134s Preparing to unpack .../42-gcc-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 134s Unpacking gcc-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 135s Selecting previously unselected package gcc-15. 135s Preparing to unpack .../43-gcc-15_15.2.0-5ubuntu1_arm64.deb ... 135s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 135s Selecting previously unselected package gcc-aarch64-linux-gnu. 135s Preparing to unpack .../44-gcc-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 135s Unpacking gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 135s Selecting previously unselected package gcc. 135s Preparing to unpack .../45-gcc_4%3a15.2.0-4ubuntu1_arm64.deb ... 135s Unpacking gcc (4:15.2.0-4ubuntu1) ... 135s Selecting previously unselected package libatk1.0-0t64:arm64. 135s Preparing to unpack .../46-libatk1.0-0t64_2.57.1-1_arm64.deb ... 135s Unpacking libatk1.0-0t64:arm64 (2.57.1-1) ... 135s Selecting previously unselected package libxi6:arm64. 135s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_arm64.deb ... 135s Unpacking libxi6:arm64 (2:1.8.2-1) ... 135s Selecting previously unselected package libatspi2.0-0t64:arm64. 135s Preparing to unpack .../48-libatspi2.0-0t64_2.57.1-1_arm64.deb ... 135s Unpacking libatspi2.0-0t64:arm64 (2.57.1-1) ... 135s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 135s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.57.1-1_arm64.deb ... 135s Unpacking libatk-bridge2.0-0t64:arm64 (2.57.1-1) ... 135s Selecting previously unselected package libavahi-common-data:arm64. 135s Preparing to unpack .../50-libavahi-common-data_0.8-16ubuntu3_arm64.deb ... 135s Unpacking libavahi-common-data:arm64 (0.8-16ubuntu3) ... 135s Selecting previously unselected package libavahi-common3:arm64. 135s Preparing to unpack .../51-libavahi-common3_0.8-16ubuntu3_arm64.deb ... 135s Unpacking libavahi-common3:arm64 (0.8-16ubuntu3) ... 135s Selecting previously unselected package libavahi-client3:arm64. 135s Preparing to unpack .../52-libavahi-client3_0.8-16ubuntu3_arm64.deb ... 135s Unpacking libavahi-client3:arm64 (0.8-16ubuntu3) ... 135s Selecting previously unselected package libpixman-1-0:arm64. 135s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_arm64.deb ... 135s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 135s Selecting previously unselected package libxcb-render0:arm64. 135s Preparing to unpack .../54-libxcb-render0_1.17.0-2build1_arm64.deb ... 135s Unpacking libxcb-render0:arm64 (1.17.0-2build1) ... 135s Selecting previously unselected package libxcb-shm0:arm64. 135s Preparing to unpack .../55-libxcb-shm0_1.17.0-2build1_arm64.deb ... 135s Unpacking libxcb-shm0:arm64 (1.17.0-2build1) ... 135s Selecting previously unselected package libxrender1:arm64. 135s Preparing to unpack .../56-libxrender1_1%3a0.9.12-1_arm64.deb ... 135s Unpacking libxrender1:arm64 (1:0.9.12-1) ... 135s Selecting previously unselected package libcairo2:arm64. 135s Preparing to unpack .../57-libcairo2_1.18.4-1build1_arm64.deb ... 135s Unpacking libcairo2:arm64 (1.18.4-1build1) ... 135s Selecting previously unselected package libcairo-gobject2:arm64. 135s Preparing to unpack .../58-libcairo-gobject2_1.18.4-1build1_arm64.deb ... 135s Unpacking libcairo-gobject2:arm64 (1.18.4-1build1) ... 135s Selecting previously unselected package libstdlib-ocaml. 135s Preparing to unpack .../59-libstdlib-ocaml_5.3.0-3_arm64.deb ... 135s Unpacking libstdlib-ocaml (5.3.0-3) ... 135s Selecting previously unselected package ocaml-base. 135s Preparing to unpack .../60-ocaml-base_5.3.0-3_arm64.deb ... 135s Unpacking ocaml-base (5.3.0-3) ... 136s Selecting previously unselected package libcairo2-ocaml. 136s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2build2_arm64.deb ... 136s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 136s Selecting previously unselected package liblcms2-2:arm64. 136s Preparing to unpack .../62-liblcms2-2_2.16-2_arm64.deb ... 136s Unpacking liblcms2-2:arm64 (2.16-2) ... 136s Selecting previously unselected package libcolord2:arm64. 136s Preparing to unpack .../63-libcolord2_1.4.7-3build1_arm64.deb ... 136s Unpacking libcolord2:arm64 (1.4.7-3build1) ... 136s Selecting previously unselected package libstdlib-ocaml-dev. 136s Preparing to unpack .../64-libstdlib-ocaml-dev_5.3.0-3_arm64.deb ... 136s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 136s Selecting previously unselected package libcompiler-libs-ocaml-dev. 136s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.3.0-3_arm64.deb ... 136s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 136s Selecting previously unselected package libcups2t64:arm64. 136s Preparing to unpack .../66-libcups2t64_2.4.12-0ubuntu3_arm64.deb ... 136s Unpacking libcups2t64:arm64 (2.4.12-0ubuntu3) ... 136s Selecting previously unselected package libdatrie1:arm64. 136s Preparing to unpack .../67-libdatrie1_0.2.13-4_arm64.deb ... 136s Unpacking libdatrie1:arm64 (0.2.13-4) ... 136s Selecting previously unselected package libepoxy0:arm64. 136s Preparing to unpack .../68-libepoxy0_1.5.10-2_arm64.deb ... 136s Unpacking libepoxy0:arm64 (1.5.10-2) ... 136s Selecting previously unselected package libgraphite2-3:arm64. 136s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 136s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 136s Selecting previously unselected package libharfbuzz0b:arm64. 136s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_arm64.deb ... 136s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 136s Selecting previously unselected package libthai-data. 136s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 136s Unpacking libthai-data (0.1.29-2build1) ... 137s Selecting previously unselected package libthai0:arm64. 137s Preparing to unpack .../72-libthai0_0.1.29-2build1_arm64.deb ... 137s Unpacking libthai0:arm64 (0.1.29-2build1) ... 137s Selecting previously unselected package libpango-1.0-0:arm64. 137s Preparing to unpack .../73-libpango-1.0-0_1.56.3-1build1_arm64.deb ... 137s Unpacking libpango-1.0-0:arm64 (1.56.3-1build1) ... 137s Selecting previously unselected package libpangoft2-1.0-0:arm64. 137s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.3-1build1_arm64.deb ... 137s Unpacking libpangoft2-1.0-0:arm64 (1.56.3-1build1) ... 137s Selecting previously unselected package libpangocairo-1.0-0:arm64. 137s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.3-1build1_arm64.deb ... 137s Unpacking libpangocairo-1.0-0:arm64 (1.56.3-1build1) ... 137s Selecting previously unselected package libwayland-client0:arm64. 137s Preparing to unpack .../76-libwayland-client0_1.24.0-1build1_arm64.deb ... 137s Unpacking libwayland-client0:arm64 (1.24.0-1build1) ... 137s Selecting previously unselected package libwayland-cursor0:arm64. 137s Preparing to unpack .../77-libwayland-cursor0_1.24.0-1build1_arm64.deb ... 137s Unpacking libwayland-cursor0:arm64 (1.24.0-1build1) ... 137s Selecting previously unselected package libwayland-egl1:arm64. 137s Preparing to unpack .../78-libwayland-egl1_1.24.0-1build1_arm64.deb ... 137s Unpacking libwayland-egl1:arm64 (1.24.0-1build1) ... 137s Selecting previously unselected package libxcomposite1:arm64. 137s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 137s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 137s Selecting previously unselected package libxfixes3:arm64. 137s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 137s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 137s Selecting previously unselected package libxcursor1:arm64. 137s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_arm64.deb ... 137s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 137s Selecting previously unselected package libxdamage1:arm64. 137s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 137s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 137s Selecting previously unselected package libxinerama1:arm64. 137s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 137s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 137s Selecting previously unselected package libxrandr2:arm64. 137s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_arm64.deb ... 137s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 137s Selecting previously unselected package libgtk-3-common. 137s Preparing to unpack .../85-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 137s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 137s Selecting previously unselected package libgtk-3-0t64:arm64. 137s Preparing to unpack .../86-libgtk-3-0t64_3.24.50-1ubuntu2_arm64.deb ... 137s Unpacking libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 137s Selecting previously unselected package libgtksourceview-3.0-common. 137s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 137s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 137s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 137s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-5_arm64.deb ... 137s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-5) ... 137s Selecting previously unselected package liblablgtk3-ocaml. 137s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build4_arm64.deb ... 137s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 137s Selecting previously unselected package liblablgtksourceview3-ocaml. 137s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build4_arm64.deb ... 137s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 137s Selecting previously unselected package libncurses-dev:arm64. 137s Preparing to unpack .../91-libncurses-dev_6.5+20250216-2build1_arm64.deb ... 137s Unpacking libncurses-dev:arm64 (6.5+20250216-2build1) ... 137s Selecting previously unselected package libzstd-dev:arm64. 137s Preparing to unpack .../92-libzstd-dev_1.5.7+dfsg-1build2_arm64.deb ... 137s Unpacking libzstd-dev:arm64 (1.5.7+dfsg-1build2) ... 138s Selecting previously unselected package ocaml-interp. 138s Preparing to unpack .../93-ocaml-interp_5.3.0-3_arm64.deb ... 138s Unpacking ocaml-interp (5.3.0-3) ... 138s Selecting previously unselected package ocaml. 138s Preparing to unpack .../94-ocaml_5.3.0-3_arm64.deb ... 138s Unpacking ocaml (5.3.0-3) ... 138s Selecting previously unselected package tex-common. 138s Preparing to unpack .../95-tex-common_6.19_all.deb ... 138s Unpacking tex-common (6.19) ... 138s Selecting previously unselected package why3. 138s Preparing to unpack .../96-why3_1.8.2-1_arm64.deb ... 138s Unpacking why3 (1.8.2-1) ... 139s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 139s Setting up liblcms2-2:arm64 (2.16-2) ... 139s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 139s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 139s Setting up libcln6:arm64 (1.3.7-1) ... 139s Setting up libncurses-dev:arm64 (6.5+20250216-2build1) ... 139s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 139s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 139s Setting up libzstd-dev:arm64 (1.5.7+dfsg-1build2) ... 139s Setting up libantlr3c-3.4-0:arm64 (3.4+dfsg-4build2) ... 139s Setting up hicolor-icon-theme (0.18-2) ... 139s Setting up libxi6:arm64 (2:1.8.2-1) ... 139s Setting up libxrender1:arm64 (1:0.9.12-1) ... 139s Setting up libdatrie1:arm64 (0.2.13-4) ... 139s Setting up libxcb-render0:arm64 (1.17.0-2build1) ... 139s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 139s Setting up libdeflate0:arm64 (1.23-2) ... 139s Setting up libxcb-shm0:arm64 (1.17.0-2build1) ... 139s Setting up libgomp1:arm64 (15.2.0-5ubuntu1) ... 139s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 139s Setting up libcolord2:arm64 (1.4.7-3build1) ... 139s Setting up libdconf1:arm64 (0.40.0-5willsync1) ... 139s Setting up tex-common (6.19) ... 139s update-language: texlive-base not installed and configured, doing nothing! 139s Setting up libepoxy0:arm64 (1.5.10-2) ... 139s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 139s Setting up libavahi-common-data:arm64 (0.8-16ubuntu3) ... 139s Setting up libatspi2.0-0t64:arm64 (2.57.1-1) ... 139s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 139s Setting up libstdlib-ocaml (5.3.0-3) ... 139s Setting up fonts-dejavu-mono (2.37-8) ... 139s Setting up libmpc3:arm64 (1.3.1-1build3) ... 139s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 139s Setting up ocaml-base (5.3.0-3) ... 139s Setting up fonts-dejavu-core (2.37-8) ... 139s Setting up libjpeg-turbo8:arm64 (2.1.5-4ubuntu2) ... 139s Setting up libwebp7:arm64 (1.5.0-0.1) ... 139s Setting up libubsan1:arm64 (15.2.0-5ubuntu1) ... 139s Setting up libhwasan0:arm64 (15.2.0-5ubuntu1) ... 139s Setting up at-spi2-common (2.57.1-1) ... 139s Setting up libasan8:arm64 (15.2.0-5ubuntu1) ... 139s Setting up libcvc4-7:arm64 (1.8-3build2) ... 139s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 139s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 139s Setting up libthai-data (0.1.29-2build1) ... 139s Setting up libwayland-egl1:arm64 (1.24.0-1build1) ... 139s Setting up libtsan2:arm64 (15.2.0-5ubuntu1) ... 139s Setting up libisl23:arm64 (0.27-1) ... 139s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 139s Setting up libcc1-0:arm64 (15.2.0-5ubuntu1) ... 139s Setting up liblsan0:arm64 (15.2.0-5ubuntu1) ... 139s Setting up libitm1:arm64 (15.2.0-5ubuntu1) ... 139s Setting up libwayland-client0:arm64 (1.24.0-1build1) ... 139s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 139s Setting up cpp-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 139s Setting up libgcc-15-dev:arm64 (15.2.0-5ubuntu1) ... 139s Setting up libatk1.0-0t64:arm64 (2.57.1-1) ... 139s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 139s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 139s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 139s Setting up libavahi-common3:arm64 (0.8-16ubuntu3) ... 139s Setting up dconf-service (0.40.0-5willsync1) ... 139s Setting up libthai0:arm64 (0.1.29-2build1) ... 139s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 139s Setting up cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 139s Setting up ocaml-interp (5.3.0-3) ... 139s Setting up libcvc4parser7:arm64 (1.8-3build2) ... 139s Setting up cpp-15 (15.2.0-5ubuntu1) ... 139s Setting up libtiff6:arm64 (4.7.0-3ubuntu3) ... 139s Setting up libwayland-cursor0:arm64 (1.24.0-1build1) ... 139s Setting up cpp (4:15.2.0-4ubuntu1) ... 139s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-5) ... 139s Setting up cvc4 (1.8-3build2) ... 139s Setting up libfontconfig1:arm64 (2.15.0-2.3ubuntu1) ... 139s Setting up libavahi-client3:arm64 (0.8-16ubuntu3) ... 139s Setting up libatk-bridge2.0-0t64:arm64 (2.57.1-1) ... 139s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 139s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 141s Regenerating fonts cache... done. 141s Setting up gcc-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 141s Setting up dconf-gsettings-backend:arm64 (0.40.0-5willsync1) ... 141s Setting up libpango-1.0-0:arm64 (1.56.3-1build1) ... 141s Setting up libcairo2:arm64 (1.18.4-1build1) ... 141s Setting up gcc-15 (15.2.0-5ubuntu1) ... 141s Setting up adwaita-icon-theme (49.0-1) ... 141s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 141s Setting up libcairo-gobject2:arm64 (1.18.4-1build1) ... 141s Setting up libpangoft2-1.0-0:arm64 (1.56.3-1build1) ... 141s Setting up libcups2t64:arm64 (2.4.12-0ubuntu3) ... 141s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 141s Setting up libpangocairo-1.0-0:arm64 (1.56.3-1build1) ... 141s Setting up gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 141s Setting up libcairo2-ocaml (0.6.5-2build2) ... 141s Setting up gcc (4:15.2.0-4ubuntu1) ... 141s Setting up ocaml (5.3.0-3) ... 141s Processing triggers for libc-bin (2.42-0ubuntu3) ... 141s Processing triggers for man-db (2.13.1-1) ... 143s Processing triggers for libglib2.0-0t64:arm64 (2.86.0-2) ... 143s Setting up libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 143s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 143s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-5) ... 143s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 143s Setting up why3 (1.8.2-1) ... 143s Processing triggers for libc-bin (2.42-0ubuntu3) ... 144s autopkgtest [03:22:39]: test why3+cvc4: [----------------------- 145s autopkgtest [03:22:40]: test why3+cvc4: -----------------------] 146s autopkgtest [03:22:41]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 146s why3+cvc4 PASS 146s autopkgtest [03:22:41]: test why3+cvc5: preparing testbed 168s Creating nova instance adt-resolute-arm64-why3-20251020-032015-juju-7f2275-prod-proposed-migration-environment-15-1d394696-eede-423b-bf91-e909310db967 from image adt/ubuntu-resolute-arm64-server-20251019.img (UUID 66624775-bb7d-402f-bbba-489c1d649d18)... 228s autopkgtest [03:24:03]: testbed dpkg architecture: arm64 228s autopkgtest [03:24:03]: testbed apt version: 3.1.8ubuntu1 229s autopkgtest [03:24:04]: @@@@@@@@@@@@@@@@@@@@ test bed setup 229s autopkgtest [03:24:04]: testbed release detected to be: resolute 230s autopkgtest [03:24:05]: updating testbed package index (apt update) 230s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 231s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 231s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 231s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 231s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.8 kB] 231s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 231s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [450 kB] 231s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [51.0 kB] 231s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [110 kB] 231s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 Packages [43.8 kB] 231s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [273 kB] 231s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [8020 B] 232s Fetched 1040 kB in 1s (963 kB/s) 233s Reading package lists... 234s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 234s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 234s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 234s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 236s Reading package lists... 236s Reading package lists... 236s Building dependency tree... 236s Reading state information... 236s Calculating upgrade... 237s The following packages will be upgraded: 237s distro-info-data dpkg dpkg-dev libaudit-common libaudit1 libdpkg-perl 237s libp11-kit0 libseccomp2 libsemanage-common libsemanage2 python-apt-common 237s python3-apt python3-cffi-backend 237s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 237s Need to get 3488 kB of archives. 237s After this operation, 781 kB of additional disk space will be used. 237s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 dpkg arm64 1.22.21ubuntu4 [1274 kB] 238s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libaudit-common all 1:4.0.5-1build2 [6596 B] 238s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libaudit1 arm64 1:4.0.5-1build2 [58.6 kB] 238s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libsemanage-common all 3.8.1-1build1 [7916 B] 238s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libsemanage2 arm64 3.8.1-1build1 [95.7 kB] 238s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 distro-info-data all 0.68 [7378 B] 238s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libp11-kit0 arm64 0.25.9-2 [283 kB] 238s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libseccomp2 arm64 2.6.0-2ubuntu3 [56.1 kB] 238s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 python-apt-common all 3.0.0ubuntu2 [21.7 kB] 238s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 python3-apt arm64 3.0.0ubuntu2 [197 kB] 238s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 python3-cffi-backend arm64 1.17.1-3build1 [112 kB] 238s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 dpkg-dev all 1.22.21ubuntu4 [1088 kB] 238s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 libdpkg-perl all 1.22.21ubuntu4 [280 kB] 239s dpkg-preconfigure: unable to re-open stdin: No such file or directory 239s Fetched 3488 kB in 1s (2527 kB/s) 239s (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 ... 83359 files and directories currently installed.) 239s Preparing to unpack .../dpkg_1.22.21ubuntu4_arm64.deb ... 239s Unpacking dpkg (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 240s Setting up dpkg (1.22.21ubuntu4) ... 240s (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 ... 83359 files and directories currently installed.) 240s Preparing to unpack .../libaudit-common_1%3a4.0.5-1build2_all.deb ... 240s Unpacking libaudit-common (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 240s Setting up libaudit-common (1:4.0.5-1build2) ... 241s (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 ... 83359 files and directories currently installed.) 241s Preparing to unpack .../libaudit1_1%3a4.0.5-1build2_arm64.deb ... 241s Unpacking libaudit1:arm64 (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 241s Setting up libaudit1:arm64 (1:4.0.5-1build2) ... 241s (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 ... 83359 files and directories currently installed.) 241s Preparing to unpack .../0-libsemanage-common_3.8.1-1build1_all.deb ... 241s Unpacking libsemanage-common (3.8.1-1build1) over (3.8.1-1) ... 241s Preparing to unpack .../1-libsemanage2_3.8.1-1build1_arm64.deb ... 241s Unpacking libsemanage2:arm64 (3.8.1-1build1) over (3.8.1-1) ... 241s Preparing to unpack .../2-distro-info-data_0.68_all.deb ... 241s Unpacking distro-info-data (0.68) over (0.67~ubuntu1) ... 241s Preparing to unpack .../3-libp11-kit0_0.25.9-2_arm64.deb ... 241s Unpacking libp11-kit0:arm64 (0.25.9-2) over (0.25.5-3ubuntu1) ... 241s Preparing to unpack .../4-libseccomp2_2.6.0-2ubuntu3_arm64.deb ... 242s Unpacking libseccomp2:arm64 (2.6.0-2ubuntu3) over (2.6.0-2ubuntu2) ... 242s Preparing to unpack .../5-python-apt-common_3.0.0ubuntu2_all.deb ... 242s Unpacking python-apt-common (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 242s Preparing to unpack .../6-python3-apt_3.0.0ubuntu2_arm64.deb ... 242s Unpacking python3-apt (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 242s Preparing to unpack .../7-python3-cffi-backend_1.17.1-3build1_arm64.deb ... 242s Unpacking python3-cffi-backend:arm64 (1.17.1-3build1) over (1.17.1-3) ... 242s Preparing to unpack .../8-dpkg-dev_1.22.21ubuntu4_all.deb ... 242s Unpacking dpkg-dev (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 242s Preparing to unpack .../9-libdpkg-perl_1.22.21ubuntu4_all.deb ... 242s Unpacking libdpkg-perl (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 243s Setting up distro-info-data (0.68) ... 243s Setting up libsemanage-common (3.8.1-1build1) ... 243s Setting up libseccomp2:arm64 (2.6.0-2ubuntu3) ... 243s Setting up libp11-kit0:arm64 (0.25.9-2) ... 243s Setting up libdpkg-perl (1.22.21ubuntu4) ... 243s Setting up python-apt-common (3.0.0ubuntu2) ... 243s Setting up libsemanage2:arm64 (3.8.1-1build1) ... 243s Setting up python3-cffi-backend:arm64 (1.17.1-3build1) ... 243s Setting up python3-apt (3.0.0ubuntu2) ... 243s Setting up dpkg-dev (1.22.21ubuntu4) ... 243s Processing triggers for man-db (2.13.1-1) ... 246s Processing triggers for libc-bin (2.42-0ubuntu3) ... 246s autopkgtest [03:24:21]: upgrading testbed (apt dist-upgrade and autopurge) 246s Reading package lists... 247s Building dependency tree... 247s Reading state information... 247s Calculating upgrade... 247s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 248s Reading package lists... 248s Building dependency tree... 248s Reading state information... 248s Solving dependencies... 249s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 249s autopkgtest [03:24:24]: rebooting testbed after setup commands that affected boot 287s Reading package lists... 287s Building dependency tree... 287s Reading state information... 287s Solving dependencies... 288s The following NEW packages will be installed: 288s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-aarch64-linux-gnu 288s cpp-aarch64-linux-gnu cvc5 dconf-gsettings-backend dconf-service fontconfig 288s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 288s gcc-15-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 288s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 288s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 288s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcln6 libcolord2 288s libcompiler-libs-ocaml-dev libcryptominisat5-5.11t64 libcups2t64 libcvc5-1 288s libcvc5parser1 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 288s libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 288s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 288s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 288s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 288s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 288s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 288s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 288s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 288s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 288s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 288s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 288s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 288s Need to get 175 MB of archives. 288s After this operation, 559 MB of additional disk space will be used. 288s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 288s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libjpeg-turbo8 arm64 2.1.5-4ubuntu2 [165 kB] 288s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 288s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libdeflate0 arm64 1.23-2 [46.4 kB] 288s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 288s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 289s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 289s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 289s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 libtiff6 arm64 4.7.0-3ubuntu3 [196 kB] 289s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-5 [156 kB] 289s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 gtk-update-icon-cache arm64 4.20.1+ds-2 [54.4 kB] 289s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 289s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 adwaita-icon-theme all 49.0-1 [581 kB] 289s Get:14 http://ftpmaster.internal/ubuntu resolute/main arm64 at-spi2-common all 2.57.1-1 [9432 B] 289s Get:15 http://ftpmaster.internal/ubuntu resolute/main arm64 libisl23 arm64 0.27-1 [676 kB] 289s Get:16 http://ftpmaster.internal/ubuntu resolute/main arm64 libmpc3 arm64 1.3.1-1build3 [58.9 kB] 289s Get:17 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [11.7 MB] 291s Get:18 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15 arm64 15.2.0-5ubuntu1 [1028 B] 291s Get:19 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [5736 B] 291s Get:20 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp arm64 4:15.2.0-4ubuntu1 [22.4 kB] 291s Get:21 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 291s Get:22 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcryptominisat5-5.11t64 arm64 5.11.21+dfsg1-2 [448 kB] 291s Get:23 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc5-1 arm64 1.1.2-2build1 [4875 kB] 291s Get:24 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc5parser1 arm64 1.1.2-2build1 [199 kB] 291s Get:25 http://ftpmaster.internal/ubuntu resolute/universe arm64 cvc5 arm64 1.1.2-2build1 [87.0 kB] 291s Get:26 http://ftpmaster.internal/ubuntu resolute/main arm64 libdconf1 arm64 0.40.0-5willsync1 [42.3 kB] 291s Get:27 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-service arm64 0.40.0-5willsync1 [28.8 kB] 291s Get:28 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-gsettings-backend arm64 0.40.0-5willsync1 [23.8 kB] 291s Get:29 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 291s Get:30 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 291s Get:31 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig-config arm64 2.15.0-2.3ubuntu1 [38.1 kB] 291s Get:32 http://ftpmaster.internal/ubuntu resolute/main arm64 libfontconfig1 arm64 2.15.0-2.3ubuntu1 [144 kB] 291s Get:33 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig arm64 2.15.0-2.3ubuntu1 [191 kB] 291s Get:34 http://ftpmaster.internal/ubuntu resolute/main arm64 libcc1-0 arm64 15.2.0-5ubuntu1 [49.2 kB] 291s Get:35 http://ftpmaster.internal/ubuntu resolute/main arm64 libgomp1 arm64 15.2.0-5ubuntu1 [148 kB] 291s Get:36 http://ftpmaster.internal/ubuntu resolute/main arm64 libitm1 arm64 15.2.0-5ubuntu1 [28.1 kB] 291s Get:37 http://ftpmaster.internal/ubuntu resolute/main arm64 libasan8 arm64 15.2.0-5ubuntu1 [2922 kB] 291s Get:38 http://ftpmaster.internal/ubuntu resolute/main arm64 liblsan0 arm64 15.2.0-5ubuntu1 [1316 kB] 291s Get:39 http://ftpmaster.internal/ubuntu resolute/main arm64 libtsan2 arm64 15.2.0-5ubuntu1 [2689 kB] 292s Get:40 http://ftpmaster.internal/ubuntu resolute/main arm64 libubsan1 arm64 15.2.0-5ubuntu1 [1176 kB] 292s Get:41 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwasan0 arm64 15.2.0-5ubuntu1 [1639 kB] 292s Get:42 http://ftpmaster.internal/ubuntu resolute/main arm64 libgcc-15-dev arm64 15.2.0-5ubuntu1 [2601 kB] 292s Get:43 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [23.1 MB] 292s Get:44 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15 arm64 15.2.0-5ubuntu1 [512 kB] 292s Get:45 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [1206 B] 292s Get:46 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc arm64 4:15.2.0-4ubuntu1 [5016 B] 292s Get:47 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk1.0-0t64 arm64 2.57.1-1 [55.5 kB] 292s Get:48 http://ftpmaster.internal/ubuntu resolute/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 292s Get:49 http://ftpmaster.internal/ubuntu resolute/main arm64 libatspi2.0-0t64 arm64 2.57.1-1 [84.7 kB] 292s Get:50 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk-bridge2.0-0t64 arm64 2.57.1-1 [66.0 kB] 292s Get:51 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common-data arm64 0.8-16ubuntu3 [31.1 kB] 292s Get:52 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common3 arm64 0.8-16ubuntu3 [24.5 kB] 292s Get:53 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-client3 arm64 0.8-16ubuntu3 [28.4 kB] 292s Get:54 http://ftpmaster.internal/ubuntu resolute/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 292s Get:55 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-render0 arm64 1.17.0-2build1 [18.1 kB] 292s Get:56 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-shm0 arm64 1.17.0-2build1 [6234 B] 293s Get:57 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrender1 arm64 1:0.9.12-1 [19.5 kB] 293s Get:58 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo2 arm64 1.18.4-1build1 [592 kB] 293s Get:59 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo-gobject2 arm64 1.18.4-1build1 [128 kB] 293s Get:60 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml arm64 5.3.0-3 [428 kB] 293s Get:61 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-base arm64 5.3.0-3 [308 kB] 293s Get:62 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcairo2-ocaml arm64 0.6.5-2build2 [27.0 kB] 293s Get:63 http://ftpmaster.internal/ubuntu resolute/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 293s Get:64 http://ftpmaster.internal/ubuntu resolute/main arm64 libcolord2 arm64 1.4.7-3build1 [148 kB] 293s Get:65 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-3 [7840 kB] 293s Get:66 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-3 [47.9 MB] 295s Get:67 http://ftpmaster.internal/ubuntu resolute/main arm64 libcups2t64 arm64 2.4.12-0ubuntu3 [269 kB] 295s Get:68 http://ftpmaster.internal/ubuntu resolute/main arm64 libdatrie1 arm64 0.2.13-4 [19.1 kB] 295s Get:69 http://ftpmaster.internal/ubuntu resolute/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 295s Get:70 http://ftpmaster.internal/ubuntu resolute/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 295s Get:71 http://ftpmaster.internal/ubuntu resolute/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 295s Get:72 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 295s Get:73 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 295s Get:74 http://ftpmaster.internal/ubuntu resolute/main arm64 libpango-1.0-0 arm64 1.56.3-1build1 [247 kB] 295s Get:75 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangoft2-1.0-0 arm64 1.56.3-1build1 [53.5 kB] 295s Get:76 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangocairo-1.0-0 arm64 1.56.3-1build1 [29.6 kB] 295s Get:77 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-client0 arm64 1.24.0-1build1 [28.9 kB] 295s Get:78 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-cursor0 arm64 1.24.0-1build1 [11.1 kB] 295s Get:79 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-egl1 arm64 1.24.0-1build1 [6500 B] 295s Get:80 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 295s Get:81 http://ftpmaster.internal/ubuntu resolute/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 295s Get:82 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 295s Get:83 http://ftpmaster.internal/ubuntu resolute/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 295s Get:84 http://ftpmaster.internal/ubuntu resolute/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 295s Get:85 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 295s Get:86 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 295s Get:87 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-0t64 arm64 3.24.50-1ubuntu2 [3229 kB] 295s Get:88 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 295s Get:89 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-5 [247 kB] 295s Get:90 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build4 [3696 kB] 295s Get:91 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build4 [341 kB] 295s Get:92 http://ftpmaster.internal/ubuntu resolute/main arm64 libncurses-dev arm64 6.5+20250216-2build1 [415 kB] 295s Get:93 http://ftpmaster.internal/ubuntu resolute/main arm64 libzstd-dev arm64 1.5.7+dfsg-1build2 [363 kB] 295s Get:94 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-interp arm64 5.3.0-3 [8365 kB] 296s Get:95 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml arm64 5.3.0-3 [23.5 MB] 297s Get:96 http://ftpmaster.internal/ubuntu resolute/universe arm64 tex-common all 6.19 [29.8 kB] 297s Get:97 http://ftpmaster.internal/ubuntu resolute/universe arm64 why3 arm64 1.8.2-1 [15.4 MB] 298s Fetched 175 MB in 10s (18.3 MB/s) 298s Selecting previously unselected package libgdk-pixbuf2.0-common. 299s (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 ... 83364 files and directories currently installed.) 299s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 299s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 299s Selecting previously unselected package libjpeg-turbo8:arm64. 299s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_arm64.deb ... 299s Unpacking libjpeg-turbo8:arm64 (2.1.5-4ubuntu2) ... 299s Selecting previously unselected package libjpeg8:arm64. 299s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 299s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 299s Selecting previously unselected package libdeflate0:arm64. 299s Preparing to unpack .../03-libdeflate0_1.23-2_arm64.deb ... 299s Unpacking libdeflate0:arm64 (1.23-2) ... 299s Selecting previously unselected package libjbig0:arm64. 299s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 299s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 299s Selecting previously unselected package liblerc4:arm64. 299s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 299s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 299s Selecting previously unselected package libsharpyuv0:arm64. 299s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 299s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 299s Selecting previously unselected package libwebp7:arm64. 299s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 299s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 299s Selecting previously unselected package libtiff6:arm64. 299s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_arm64.deb ... 299s Unpacking libtiff6:arm64 (4.7.0-3ubuntu3) ... 299s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 299s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_arm64.deb ... 299s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-5) ... 299s Selecting previously unselected package gtk-update-icon-cache. 299s Preparing to unpack .../10-gtk-update-icon-cache_4.20.1+ds-2_arm64.deb ... 299s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 299s 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. 299s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 299s Selecting previously unselected package hicolor-icon-theme. 300s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 300s Unpacking hicolor-icon-theme (0.18-2) ... 300s Selecting previously unselected package adwaita-icon-theme. 300s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 300s Unpacking adwaita-icon-theme (49.0-1) ... 300s Selecting previously unselected package at-spi2-common. 300s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 300s Unpacking at-spi2-common (2.57.1-1) ... 300s Selecting previously unselected package libisl23:arm64. 300s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 300s Unpacking libisl23:arm64 (0.27-1) ... 300s Selecting previously unselected package libmpc3:arm64. 300s Preparing to unpack .../15-libmpc3_1.3.1-1build3_arm64.deb ... 300s Unpacking libmpc3:arm64 (1.3.1-1build3) ... 300s Selecting previously unselected package cpp-15-aarch64-linux-gnu. 300s Preparing to unpack .../16-cpp-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 300s Unpacking cpp-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 301s Selecting previously unselected package cpp-15. 301s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_arm64.deb ... 301s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 301s Selecting previously unselected package cpp-aarch64-linux-gnu. 301s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 301s Unpacking cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 301s Selecting previously unselected package cpp. 301s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_arm64.deb ... 301s Unpacking cpp (4:15.2.0-4ubuntu1) ... 301s Selecting previously unselected package libcln6:arm64. 301s Preparing to unpack .../20-libcln6_1.3.7-1_arm64.deb ... 301s Unpacking libcln6:arm64 (1.3.7-1) ... 301s Selecting previously unselected package libcryptominisat5-5.11t64:arm64. 301s Preparing to unpack .../21-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb ... 301s Unpacking libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-2) ... 301s Selecting previously unselected package libcvc5-1:arm64. 301s Preparing to unpack .../22-libcvc5-1_1.1.2-2build1_arm64.deb ... 301s Unpacking libcvc5-1:arm64 (1.1.2-2build1) ... 301s Selecting previously unselected package libcvc5parser1:arm64. 301s Preparing to unpack .../23-libcvc5parser1_1.1.2-2build1_arm64.deb ... 301s Unpacking libcvc5parser1:arm64 (1.1.2-2build1) ... 301s Selecting previously unselected package cvc5. 301s Preparing to unpack .../24-cvc5_1.1.2-2build1_arm64.deb ... 301s Unpacking cvc5 (1.1.2-2build1) ... 301s Selecting previously unselected package libdconf1:arm64. 301s Preparing to unpack .../25-libdconf1_0.40.0-5willsync1_arm64.deb ... 301s Unpacking libdconf1:arm64 (0.40.0-5willsync1) ... 301s Selecting previously unselected package dconf-service. 301s Preparing to unpack .../26-dconf-service_0.40.0-5willsync1_arm64.deb ... 301s Unpacking dconf-service (0.40.0-5willsync1) ... 301s Selecting previously unselected package dconf-gsettings-backend:arm64. 301s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5willsync1_arm64.deb ... 301s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5willsync1) ... 301s Selecting previously unselected package fonts-dejavu-mono. 301s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 301s Unpacking fonts-dejavu-mono (2.37-8) ... 302s Selecting previously unselected package fonts-dejavu-core. 302s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 302s Unpacking fonts-dejavu-core (2.37-8) ... 302s Selecting previously unselected package fontconfig-config. 302s Preparing to unpack .../30-fontconfig-config_2.15.0-2.3ubuntu1_arm64.deb ... 302s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 302s Selecting previously unselected package libfontconfig1:arm64. 302s Preparing to unpack .../31-libfontconfig1_2.15.0-2.3ubuntu1_arm64.deb ... 302s Unpacking libfontconfig1:arm64 (2.15.0-2.3ubuntu1) ... 302s Selecting previously unselected package fontconfig. 302s Preparing to unpack .../32-fontconfig_2.15.0-2.3ubuntu1_arm64.deb ... 302s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 302s Selecting previously unselected package libcc1-0:arm64. 302s Preparing to unpack .../33-libcc1-0_15.2.0-5ubuntu1_arm64.deb ... 302s Unpacking libcc1-0:arm64 (15.2.0-5ubuntu1) ... 302s Selecting previously unselected package libgomp1:arm64. 302s Preparing to unpack .../34-libgomp1_15.2.0-5ubuntu1_arm64.deb ... 302s Unpacking libgomp1:arm64 (15.2.0-5ubuntu1) ... 302s Selecting previously unselected package libitm1:arm64. 303s Preparing to unpack .../35-libitm1_15.2.0-5ubuntu1_arm64.deb ... 303s Unpacking libitm1:arm64 (15.2.0-5ubuntu1) ... 303s Selecting previously unselected package libasan8:arm64. 303s Preparing to unpack .../36-libasan8_15.2.0-5ubuntu1_arm64.deb ... 303s Unpacking libasan8:arm64 (15.2.0-5ubuntu1) ... 303s Selecting previously unselected package liblsan0:arm64. 303s Preparing to unpack .../37-liblsan0_15.2.0-5ubuntu1_arm64.deb ... 303s Unpacking liblsan0:arm64 (15.2.0-5ubuntu1) ... 303s Selecting previously unselected package libtsan2:arm64. 303s Preparing to unpack .../38-libtsan2_15.2.0-5ubuntu1_arm64.deb ... 303s Unpacking libtsan2:arm64 (15.2.0-5ubuntu1) ... 303s Selecting previously unselected package libubsan1:arm64. 303s Preparing to unpack .../39-libubsan1_15.2.0-5ubuntu1_arm64.deb ... 303s Unpacking libubsan1:arm64 (15.2.0-5ubuntu1) ... 303s Selecting previously unselected package libhwasan0:arm64. 303s Preparing to unpack .../40-libhwasan0_15.2.0-5ubuntu1_arm64.deb ... 303s Unpacking libhwasan0:arm64 (15.2.0-5ubuntu1) ... 303s Selecting previously unselected package libgcc-15-dev:arm64. 303s Preparing to unpack .../41-libgcc-15-dev_15.2.0-5ubuntu1_arm64.deb ... 303s Unpacking libgcc-15-dev:arm64 (15.2.0-5ubuntu1) ... 303s Selecting previously unselected package gcc-15-aarch64-linux-gnu. 303s Preparing to unpack .../42-gcc-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 303s Unpacking gcc-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 304s Selecting previously unselected package gcc-15. 304s Preparing to unpack .../43-gcc-15_15.2.0-5ubuntu1_arm64.deb ... 304s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 304s Selecting previously unselected package gcc-aarch64-linux-gnu. 304s Preparing to unpack .../44-gcc-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 304s Unpacking gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 304s Selecting previously unselected package gcc. 304s Preparing to unpack .../45-gcc_4%3a15.2.0-4ubuntu1_arm64.deb ... 304s Unpacking gcc (4:15.2.0-4ubuntu1) ... 304s Selecting previously unselected package libatk1.0-0t64:arm64. 304s Preparing to unpack .../46-libatk1.0-0t64_2.57.1-1_arm64.deb ... 304s Unpacking libatk1.0-0t64:arm64 (2.57.1-1) ... 304s Selecting previously unselected package libxi6:arm64. 304s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_arm64.deb ... 304s Unpacking libxi6:arm64 (2:1.8.2-1) ... 304s Selecting previously unselected package libatspi2.0-0t64:arm64. 304s Preparing to unpack .../48-libatspi2.0-0t64_2.57.1-1_arm64.deb ... 304s Unpacking libatspi2.0-0t64:arm64 (2.57.1-1) ... 304s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 304s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.57.1-1_arm64.deb ... 304s Unpacking libatk-bridge2.0-0t64:arm64 (2.57.1-1) ... 304s Selecting previously unselected package libavahi-common-data:arm64. 304s Preparing to unpack .../50-libavahi-common-data_0.8-16ubuntu3_arm64.deb ... 304s Unpacking libavahi-common-data:arm64 (0.8-16ubuntu3) ... 304s Selecting previously unselected package libavahi-common3:arm64. 304s Preparing to unpack .../51-libavahi-common3_0.8-16ubuntu3_arm64.deb ... 304s Unpacking libavahi-common3:arm64 (0.8-16ubuntu3) ... 304s Selecting previously unselected package libavahi-client3:arm64. 304s Preparing to unpack .../52-libavahi-client3_0.8-16ubuntu3_arm64.deb ... 304s Unpacking libavahi-client3:arm64 (0.8-16ubuntu3) ... 304s Selecting previously unselected package libpixman-1-0:arm64. 304s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_arm64.deb ... 304s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 304s Selecting previously unselected package libxcb-render0:arm64. 304s Preparing to unpack .../54-libxcb-render0_1.17.0-2build1_arm64.deb ... 304s Unpacking libxcb-render0:arm64 (1.17.0-2build1) ... 304s Selecting previously unselected package libxcb-shm0:arm64. 304s Preparing to unpack .../55-libxcb-shm0_1.17.0-2build1_arm64.deb ... 304s Unpacking libxcb-shm0:arm64 (1.17.0-2build1) ... 304s Selecting previously unselected package libxrender1:arm64. 304s Preparing to unpack .../56-libxrender1_1%3a0.9.12-1_arm64.deb ... 304s Unpacking libxrender1:arm64 (1:0.9.12-1) ... 304s Selecting previously unselected package libcairo2:arm64. 304s Preparing to unpack .../57-libcairo2_1.18.4-1build1_arm64.deb ... 304s Unpacking libcairo2:arm64 (1.18.4-1build1) ... 304s Selecting previously unselected package libcairo-gobject2:arm64. 304s Preparing to unpack .../58-libcairo-gobject2_1.18.4-1build1_arm64.deb ... 304s Unpacking libcairo-gobject2:arm64 (1.18.4-1build1) ... 304s Selecting previously unselected package libstdlib-ocaml. 304s Preparing to unpack .../59-libstdlib-ocaml_5.3.0-3_arm64.deb ... 304s Unpacking libstdlib-ocaml (5.3.0-3) ... 304s Selecting previously unselected package ocaml-base. 304s Preparing to unpack .../60-ocaml-base_5.3.0-3_arm64.deb ... 304s Unpacking ocaml-base (5.3.0-3) ... 304s Selecting previously unselected package libcairo2-ocaml. 304s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2build2_arm64.deb ... 304s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 304s Selecting previously unselected package liblcms2-2:arm64. 304s Preparing to unpack .../62-liblcms2-2_2.16-2_arm64.deb ... 304s Unpacking liblcms2-2:arm64 (2.16-2) ... 304s Selecting previously unselected package libcolord2:arm64. 304s Preparing to unpack .../63-libcolord2_1.4.7-3build1_arm64.deb ... 304s Unpacking libcolord2:arm64 (1.4.7-3build1) ... 304s Selecting previously unselected package libstdlib-ocaml-dev. 305s Preparing to unpack .../64-libstdlib-ocaml-dev_5.3.0-3_arm64.deb ... 305s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 305s Selecting previously unselected package libcompiler-libs-ocaml-dev. 305s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.3.0-3_arm64.deb ... 305s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 305s Selecting previously unselected package libcups2t64:arm64. 305s Preparing to unpack .../66-libcups2t64_2.4.12-0ubuntu3_arm64.deb ... 305s Unpacking libcups2t64:arm64 (2.4.12-0ubuntu3) ... 305s Selecting previously unselected package libdatrie1:arm64. 305s Preparing to unpack .../67-libdatrie1_0.2.13-4_arm64.deb ... 305s Unpacking libdatrie1:arm64 (0.2.13-4) ... 306s Selecting previously unselected package libepoxy0:arm64. 306s Preparing to unpack .../68-libepoxy0_1.5.10-2_arm64.deb ... 306s Unpacking libepoxy0:arm64 (1.5.10-2) ... 306s Selecting previously unselected package libgraphite2-3:arm64. 306s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 306s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 306s Selecting previously unselected package libharfbuzz0b:arm64. 306s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_arm64.deb ... 306s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 306s Selecting previously unselected package libthai-data. 306s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 306s Unpacking libthai-data (0.1.29-2build1) ... 306s Selecting previously unselected package libthai0:arm64. 306s Preparing to unpack .../72-libthai0_0.1.29-2build1_arm64.deb ... 306s Unpacking libthai0:arm64 (0.1.29-2build1) ... 306s Selecting previously unselected package libpango-1.0-0:arm64. 306s Preparing to unpack .../73-libpango-1.0-0_1.56.3-1build1_arm64.deb ... 306s Unpacking libpango-1.0-0:arm64 (1.56.3-1build1) ... 306s Selecting previously unselected package libpangoft2-1.0-0:arm64. 306s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.3-1build1_arm64.deb ... 306s Unpacking libpangoft2-1.0-0:arm64 (1.56.3-1build1) ... 306s Selecting previously unselected package libpangocairo-1.0-0:arm64. 306s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.3-1build1_arm64.deb ... 306s Unpacking libpangocairo-1.0-0:arm64 (1.56.3-1build1) ... 306s Selecting previously unselected package libwayland-client0:arm64. 306s Preparing to unpack .../76-libwayland-client0_1.24.0-1build1_arm64.deb ... 306s Unpacking libwayland-client0:arm64 (1.24.0-1build1) ... 306s Selecting previously unselected package libwayland-cursor0:arm64. 306s Preparing to unpack .../77-libwayland-cursor0_1.24.0-1build1_arm64.deb ... 306s Unpacking libwayland-cursor0:arm64 (1.24.0-1build1) ... 306s Selecting previously unselected package libwayland-egl1:arm64. 306s Preparing to unpack .../78-libwayland-egl1_1.24.0-1build1_arm64.deb ... 306s Unpacking libwayland-egl1:arm64 (1.24.0-1build1) ... 306s Selecting previously unselected package libxcomposite1:arm64. 306s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 306s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 306s Selecting previously unselected package libxfixes3:arm64. 306s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 306s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 306s Selecting previously unselected package libxcursor1:arm64. 306s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_arm64.deb ... 306s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 306s Selecting previously unselected package libxdamage1:arm64. 306s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 306s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 307s Selecting previously unselected package libxinerama1:arm64. 307s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 307s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 307s Selecting previously unselected package libxrandr2:arm64. 307s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_arm64.deb ... 307s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 307s Selecting previously unselected package libgtk-3-common. 307s Preparing to unpack .../85-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 307s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 307s Selecting previously unselected package libgtk-3-0t64:arm64. 307s Preparing to unpack .../86-libgtk-3-0t64_3.24.50-1ubuntu2_arm64.deb ... 307s Unpacking libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 307s Selecting previously unselected package libgtksourceview-3.0-common. 307s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 307s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 307s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 307s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-5_arm64.deb ... 307s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-5) ... 307s Selecting previously unselected package liblablgtk3-ocaml. 307s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build4_arm64.deb ... 307s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 307s Selecting previously unselected package liblablgtksourceview3-ocaml. 307s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build4_arm64.deb ... 307s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 307s Selecting previously unselected package libncurses-dev:arm64. 307s Preparing to unpack .../91-libncurses-dev_6.5+20250216-2build1_arm64.deb ... 307s Unpacking libncurses-dev:arm64 (6.5+20250216-2build1) ... 308s Selecting previously unselected package libzstd-dev:arm64. 308s Preparing to unpack .../92-libzstd-dev_1.5.7+dfsg-1build2_arm64.deb ... 308s Unpacking libzstd-dev:arm64 (1.5.7+dfsg-1build2) ... 308s Selecting previously unselected package ocaml-interp. 308s Preparing to unpack .../93-ocaml-interp_5.3.0-3_arm64.deb ... 308s Unpacking ocaml-interp (5.3.0-3) ... 308s Selecting previously unselected package ocaml. 308s Preparing to unpack .../94-ocaml_5.3.0-3_arm64.deb ... 308s Unpacking ocaml (5.3.0-3) ... 309s Selecting previously unselected package tex-common. 309s Preparing to unpack .../95-tex-common_6.19_all.deb ... 309s Unpacking tex-common (6.19) ... 309s Selecting previously unselected package why3. 309s Preparing to unpack .../96-why3_1.8.2-1_arm64.deb ... 309s Unpacking why3 (1.8.2-1) ... 309s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 309s Setting up liblcms2-2:arm64 (2.16-2) ... 309s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 309s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 309s Setting up libcln6:arm64 (1.3.7-1) ... 309s Setting up libncurses-dev:arm64 (6.5+20250216-2build1) ... 309s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 309s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 309s Setting up libzstd-dev:arm64 (1.5.7+dfsg-1build2) ... 309s Setting up hicolor-icon-theme (0.18-2) ... 309s Setting up libxi6:arm64 (2:1.8.2-1) ... 309s Setting up libxrender1:arm64 (1:0.9.12-1) ... 309s Setting up libdatrie1:arm64 (0.2.13-4) ... 309s Setting up libxcb-render0:arm64 (1.17.0-2build1) ... 309s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 309s Setting up libdeflate0:arm64 (1.23-2) ... 309s Setting up libxcb-shm0:arm64 (1.17.0-2build1) ... 309s Setting up libgomp1:arm64 (15.2.0-5ubuntu1) ... 309s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 309s Setting up libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-2) ... 309s Setting up libcolord2:arm64 (1.4.7-3build1) ... 309s Setting up libdconf1:arm64 (0.40.0-5willsync1) ... 309s Setting up tex-common (6.19) ... 310s update-language: texlive-base not installed and configured, doing nothing! 310s Setting up libepoxy0:arm64 (1.5.10-2) ... 310s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 310s Setting up libavahi-common-data:arm64 (0.8-16ubuntu3) ... 310s Setting up libatspi2.0-0t64:arm64 (2.57.1-1) ... 310s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 310s Setting up libstdlib-ocaml (5.3.0-3) ... 310s Setting up fonts-dejavu-mono (2.37-8) ... 310s Setting up libmpc3:arm64 (1.3.1-1build3) ... 310s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 310s Setting up ocaml-base (5.3.0-3) ... 310s Setting up fonts-dejavu-core (2.37-8) ... 310s Setting up libjpeg-turbo8:arm64 (2.1.5-4ubuntu2) ... 310s Setting up libwebp7:arm64 (1.5.0-0.1) ... 310s Setting up libubsan1:arm64 (15.2.0-5ubuntu1) ... 310s Setting up libhwasan0:arm64 (15.2.0-5ubuntu1) ... 310s Setting up at-spi2-common (2.57.1-1) ... 310s Setting up libasan8:arm64 (15.2.0-5ubuntu1) ... 310s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 310s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 310s Setting up libthai-data (0.1.29-2build1) ... 310s Setting up libwayland-egl1:arm64 (1.24.0-1build1) ... 310s Setting up libtsan2:arm64 (15.2.0-5ubuntu1) ... 310s Setting up libisl23:arm64 (0.27-1) ... 310s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 310s Setting up libcc1-0:arm64 (15.2.0-5ubuntu1) ... 310s Setting up liblsan0:arm64 (15.2.0-5ubuntu1) ... 310s Setting up libitm1:arm64 (15.2.0-5ubuntu1) ... 310s Setting up libwayland-client0:arm64 (1.24.0-1build1) ... 310s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 310s Setting up libcvc5-1:arm64 (1.1.2-2build1) ... 310s Setting up cpp-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 310s Setting up libgcc-15-dev:arm64 (15.2.0-5ubuntu1) ... 310s Setting up libatk1.0-0t64:arm64 (2.57.1-1) ... 310s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 310s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 311s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 311s Setting up libavahi-common3:arm64 (0.8-16ubuntu3) ... 311s Setting up dconf-service (0.40.0-5willsync1) ... 311s Setting up libthai0:arm64 (0.1.29-2build1) ... 311s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 311s Setting up cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 311s Setting up ocaml-interp (5.3.0-3) ... 311s Setting up libcvc5parser1:arm64 (1.1.2-2build1) ... 311s Setting up cpp-15 (15.2.0-5ubuntu1) ... 311s Setting up cvc5 (1.1.2-2build1) ... 311s Setting up libtiff6:arm64 (4.7.0-3ubuntu3) ... 311s Setting up libwayland-cursor0:arm64 (1.24.0-1build1) ... 311s Setting up cpp (4:15.2.0-4ubuntu1) ... 311s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-5) ... 311s Setting up libfontconfig1:arm64 (2.15.0-2.3ubuntu1) ... 311s Setting up libavahi-client3:arm64 (0.8-16ubuntu3) ... 311s Setting up libatk-bridge2.0-0t64:arm64 (2.57.1-1) ... 311s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 311s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 313s Regenerating fonts cache... done. 313s Setting up gcc-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 313s Setting up dconf-gsettings-backend:arm64 (0.40.0-5willsync1) ... 313s Setting up libpango-1.0-0:arm64 (1.56.3-1build1) ... 313s Setting up libcairo2:arm64 (1.18.4-1build1) ... 313s Setting up gcc-15 (15.2.0-5ubuntu1) ... 313s Setting up adwaita-icon-theme (49.0-1) ... 313s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 313s Setting up libcairo-gobject2:arm64 (1.18.4-1build1) ... 313s Setting up libpangoft2-1.0-0:arm64 (1.56.3-1build1) ... 313s Setting up libcups2t64:arm64 (2.4.12-0ubuntu3) ... 313s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 313s Setting up libpangocairo-1.0-0:arm64 (1.56.3-1build1) ... 313s Setting up gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 313s Setting up libcairo2-ocaml (0.6.5-2build2) ... 313s Setting up gcc (4:15.2.0-4ubuntu1) ... 313s Setting up ocaml (5.3.0-3) ... 313s Processing triggers for libc-bin (2.42-0ubuntu3) ... 313s Processing triggers for man-db (2.13.1-1) ... 315s Processing triggers for libglib2.0-0t64:arm64 (2.86.0-2) ... 315s Setting up libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 315s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 315s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-5) ... 315s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 315s Setting up why3 (1.8.2-1) ... 315s Processing triggers for libc-bin (2.42-0ubuntu3) ... 321s autopkgtest [03:25:36]: test why3+cvc5: [----------------------- 323s autopkgtest [03:25:38]: test why3+cvc5: -----------------------] 324s autopkgtest [03:25:39]: test why3+cvc5: - - - - - - - - - - results - - - - - - - - - - 324s why3+cvc5 PASS 324s autopkgtest [03:25:39]: test why3+spass: preparing testbed 346s Creating nova instance adt-resolute-arm64-why3-20251020-032015-juju-7f2275-prod-proposed-migration-environment-15-1d394696-eede-423b-bf91-e909310db967 from image adt/ubuntu-resolute-arm64-server-20251019.img (UUID 66624775-bb7d-402f-bbba-489c1d649d18)... 408s autopkgtest [03:27:03]: testbed dpkg architecture: arm64 409s autopkgtest [03:27:04]: testbed apt version: 3.1.8ubuntu1 409s autopkgtest [03:27:04]: @@@@@@@@@@@@@@@@@@@@ test bed setup 409s autopkgtest [03:27:04]: testbed release detected to be: resolute 410s autopkgtest [03:27:05]: updating testbed package index (apt update) 411s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 411s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 411s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 411s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 411s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [450 kB] 411s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 411s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.8 kB] 411s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [51.0 kB] 411s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [110 kB] 411s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 Packages [43.8 kB] 411s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [273 kB] 411s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [8020 B] 412s Fetched 1040 kB in 1s (961 kB/s) 413s Reading package lists... 413s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 413s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 414s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 414s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 415s Reading package lists... 415s Reading package lists... 415s Building dependency tree... 415s Reading state information... 415s Calculating upgrade... 416s The following packages will be upgraded: 416s distro-info-data dpkg dpkg-dev libaudit-common libaudit1 libdpkg-perl 416s libp11-kit0 libseccomp2 libsemanage-common libsemanage2 python-apt-common 416s python3-apt python3-cffi-backend 416s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 416s Need to get 3488 kB of archives. 416s After this operation, 781 kB of additional disk space will be used. 416s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 dpkg arm64 1.22.21ubuntu4 [1274 kB] 416s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libaudit-common all 1:4.0.5-1build2 [6596 B] 416s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libaudit1 arm64 1:4.0.5-1build2 [58.6 kB] 416s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libsemanage-common all 3.8.1-1build1 [7916 B] 416s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libsemanage2 arm64 3.8.1-1build1 [95.7 kB] 416s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 distro-info-data all 0.68 [7378 B] 416s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libp11-kit0 arm64 0.25.9-2 [283 kB] 416s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libseccomp2 arm64 2.6.0-2ubuntu3 [56.1 kB] 416s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 python-apt-common all 3.0.0ubuntu2 [21.7 kB] 416s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 python3-apt arm64 3.0.0ubuntu2 [197 kB] 416s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 python3-cffi-backend arm64 1.17.1-3build1 [112 kB] 417s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 dpkg-dev all 1.22.21ubuntu4 [1088 kB] 417s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 libdpkg-perl all 1.22.21ubuntu4 [280 kB] 417s dpkg-preconfigure: unable to re-open stdin: No such file or directory 417s Fetched 3488 kB in 1s (2925 kB/s) 418s (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 ... 83359 files and directories currently installed.) 418s Preparing to unpack .../dpkg_1.22.21ubuntu4_arm64.deb ... 418s Unpacking dpkg (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 418s Setting up dpkg (1.22.21ubuntu4) ... 418s (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 ... 83359 files and directories currently installed.) 418s Preparing to unpack .../libaudit-common_1%3a4.0.5-1build2_all.deb ... 418s Unpacking libaudit-common (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 418s Setting up libaudit-common (1:4.0.5-1build2) ... 419s (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 ... 83359 files and directories currently installed.) 419s Preparing to unpack .../libaudit1_1%3a4.0.5-1build2_arm64.deb ... 419s Unpacking libaudit1:arm64 (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 419s Setting up libaudit1:arm64 (1:4.0.5-1build2) ... 419s (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 ... 83359 files and directories currently installed.) 419s Preparing to unpack .../0-libsemanage-common_3.8.1-1build1_all.deb ... 419s Unpacking libsemanage-common (3.8.1-1build1) over (3.8.1-1) ... 419s Preparing to unpack .../1-libsemanage2_3.8.1-1build1_arm64.deb ... 419s Unpacking libsemanage2:arm64 (3.8.1-1build1) over (3.8.1-1) ... 419s Preparing to unpack .../2-distro-info-data_0.68_all.deb ... 419s Unpacking distro-info-data (0.68) over (0.67~ubuntu1) ... 419s Preparing to unpack .../3-libp11-kit0_0.25.9-2_arm64.deb ... 419s Unpacking libp11-kit0:arm64 (0.25.9-2) over (0.25.5-3ubuntu1) ... 419s Preparing to unpack .../4-libseccomp2_2.6.0-2ubuntu3_arm64.deb ... 419s Unpacking libseccomp2:arm64 (2.6.0-2ubuntu3) over (2.6.0-2ubuntu2) ... 419s Preparing to unpack .../5-python-apt-common_3.0.0ubuntu2_all.deb ... 419s Unpacking python-apt-common (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 419s Preparing to unpack .../6-python3-apt_3.0.0ubuntu2_arm64.deb ... 419s Unpacking python3-apt (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 419s Preparing to unpack .../7-python3-cffi-backend_1.17.1-3build1_arm64.deb ... 419s Unpacking python3-cffi-backend:arm64 (1.17.1-3build1) over (1.17.1-3) ... 420s Preparing to unpack .../8-dpkg-dev_1.22.21ubuntu4_all.deb ... 420s Unpacking dpkg-dev (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 420s Preparing to unpack .../9-libdpkg-perl_1.22.21ubuntu4_all.deb ... 420s Unpacking libdpkg-perl (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 420s Setting up distro-info-data (0.68) ... 420s Setting up libsemanage-common (3.8.1-1build1) ... 420s Setting up libseccomp2:arm64 (2.6.0-2ubuntu3) ... 420s Setting up libp11-kit0:arm64 (0.25.9-2) ... 420s Setting up libdpkg-perl (1.22.21ubuntu4) ... 420s Setting up python-apt-common (3.0.0ubuntu2) ... 420s Setting up libsemanage2:arm64 (3.8.1-1build1) ... 420s Setting up python3-cffi-backend:arm64 (1.17.1-3build1) ... 420s Setting up python3-apt (3.0.0ubuntu2) ... 420s Setting up dpkg-dev (1.22.21ubuntu4) ... 420s Processing triggers for man-db (2.13.1-1) ... 422s Processing triggers for libc-bin (2.42-0ubuntu3) ... 422s autopkgtest [03:27:17]: upgrading testbed (apt dist-upgrade and autopurge) 422s Reading package lists... 423s Building dependency tree... 423s Reading state information... 423s Calculating upgrade... 423s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 424s Reading package lists... 424s Building dependency tree... 424s Reading state information... 425s Solving dependencies... 426s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 426s autopkgtest [03:27:21]: rebooting testbed after setup commands that affected boot 461s Reading package lists... 461s Building dependency tree... 461s Reading state information... 461s Solving dependencies... 462s The following NEW packages will be installed: 462s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-aarch64-linux-gnu 462s cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 462s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 462s gcc-15-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 462s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 462s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 462s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 462s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 462s libepoxy0 libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 462s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 462s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 462s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 462s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 462s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 462s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 462s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 462s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 462s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 462s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 462s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 462s Need to get 170 MB of archives. 462s After this operation, 542 MB of additional disk space will be used. 462s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 462s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libjpeg-turbo8 arm64 2.1.5-4ubuntu2 [165 kB] 463s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 463s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libdeflate0 arm64 1.23-2 [46.4 kB] 463s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 463s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 463s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 463s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 463s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 libtiff6 arm64 4.7.0-3ubuntu3 [196 kB] 463s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-5 [156 kB] 463s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 gtk-update-icon-cache arm64 4.20.1+ds-2 [54.4 kB] 463s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 463s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 adwaita-icon-theme all 49.0-1 [581 kB] 463s Get:14 http://ftpmaster.internal/ubuntu resolute/main arm64 at-spi2-common all 2.57.1-1 [9432 B] 463s Get:15 http://ftpmaster.internal/ubuntu resolute/main arm64 libisl23 arm64 0.27-1 [676 kB] 463s Get:16 http://ftpmaster.internal/ubuntu resolute/main arm64 libmpc3 arm64 1.3.1-1build3 [58.9 kB] 463s Get:17 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [11.7 MB] 464s Get:18 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15 arm64 15.2.0-5ubuntu1 [1028 B] 464s Get:19 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [5736 B] 464s Get:20 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp arm64 4:15.2.0-4ubuntu1 [22.4 kB] 464s Get:21 http://ftpmaster.internal/ubuntu resolute/main arm64 libdconf1 arm64 0.40.0-5willsync1 [42.3 kB] 464s Get:22 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-service arm64 0.40.0-5willsync1 [28.8 kB] 464s Get:23 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-gsettings-backend arm64 0.40.0-5willsync1 [23.8 kB] 464s Get:24 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 464s Get:25 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 464s Get:26 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig-config arm64 2.15.0-2.3ubuntu1 [38.1 kB] 464s Get:27 http://ftpmaster.internal/ubuntu resolute/main arm64 libfontconfig1 arm64 2.15.0-2.3ubuntu1 [144 kB] 464s Get:28 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig arm64 2.15.0-2.3ubuntu1 [191 kB] 464s Get:29 http://ftpmaster.internal/ubuntu resolute/main arm64 libcc1-0 arm64 15.2.0-5ubuntu1 [49.2 kB] 464s Get:30 http://ftpmaster.internal/ubuntu resolute/main arm64 libgomp1 arm64 15.2.0-5ubuntu1 [148 kB] 464s Get:31 http://ftpmaster.internal/ubuntu resolute/main arm64 libitm1 arm64 15.2.0-5ubuntu1 [28.1 kB] 464s Get:32 http://ftpmaster.internal/ubuntu resolute/main arm64 libasan8 arm64 15.2.0-5ubuntu1 [2922 kB] 465s Get:33 http://ftpmaster.internal/ubuntu resolute/main arm64 liblsan0 arm64 15.2.0-5ubuntu1 [1316 kB] 465s Get:34 http://ftpmaster.internal/ubuntu resolute/main arm64 libtsan2 arm64 15.2.0-5ubuntu1 [2689 kB] 465s Get:35 http://ftpmaster.internal/ubuntu resolute/main arm64 libubsan1 arm64 15.2.0-5ubuntu1 [1176 kB] 465s Get:36 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwasan0 arm64 15.2.0-5ubuntu1 [1639 kB] 465s Get:37 http://ftpmaster.internal/ubuntu resolute/main arm64 libgcc-15-dev arm64 15.2.0-5ubuntu1 [2601 kB] 465s Get:38 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [23.1 MB] 466s Get:39 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15 arm64 15.2.0-5ubuntu1 [512 kB] 466s Get:40 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [1206 B] 466s Get:41 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc arm64 4:15.2.0-4ubuntu1 [5016 B] 466s Get:42 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk1.0-0t64 arm64 2.57.1-1 [55.5 kB] 466s Get:43 http://ftpmaster.internal/ubuntu resolute/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 466s Get:44 http://ftpmaster.internal/ubuntu resolute/main arm64 libatspi2.0-0t64 arm64 2.57.1-1 [84.7 kB] 466s Get:45 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk-bridge2.0-0t64 arm64 2.57.1-1 [66.0 kB] 466s Get:46 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common-data arm64 0.8-16ubuntu3 [31.1 kB] 466s Get:47 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common3 arm64 0.8-16ubuntu3 [24.5 kB] 466s Get:48 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-client3 arm64 0.8-16ubuntu3 [28.4 kB] 466s Get:49 http://ftpmaster.internal/ubuntu resolute/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 466s Get:50 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-render0 arm64 1.17.0-2build1 [18.1 kB] 466s Get:51 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-shm0 arm64 1.17.0-2build1 [6234 B] 466s Get:52 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrender1 arm64 1:0.9.12-1 [19.5 kB] 466s Get:53 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo2 arm64 1.18.4-1build1 [592 kB] 466s Get:54 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo-gobject2 arm64 1.18.4-1build1 [128 kB] 466s Get:55 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml arm64 5.3.0-3 [428 kB] 466s Get:56 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-base arm64 5.3.0-3 [308 kB] 466s Get:57 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcairo2-ocaml arm64 0.6.5-2build2 [27.0 kB] 466s Get:58 http://ftpmaster.internal/ubuntu resolute/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 466s Get:59 http://ftpmaster.internal/ubuntu resolute/main arm64 libcolord2 arm64 1.4.7-3build1 [148 kB] 466s Get:60 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-3 [7840 kB] 466s Get:61 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-3 [47.9 MB] 468s Get:62 http://ftpmaster.internal/ubuntu resolute/main arm64 libcups2t64 arm64 2.4.12-0ubuntu3 [269 kB] 468s Get:63 http://ftpmaster.internal/ubuntu resolute/main arm64 libdatrie1 arm64 0.2.13-4 [19.1 kB] 468s Get:64 http://ftpmaster.internal/ubuntu resolute/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 468s Get:65 http://ftpmaster.internal/ubuntu resolute/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 468s Get:66 http://ftpmaster.internal/ubuntu resolute/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 468s Get:67 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 468s Get:68 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 468s Get:69 http://ftpmaster.internal/ubuntu resolute/main arm64 libpango-1.0-0 arm64 1.56.3-1build1 [247 kB] 468s Get:70 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangoft2-1.0-0 arm64 1.56.3-1build1 [53.5 kB] 468s Get:71 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangocairo-1.0-0 arm64 1.56.3-1build1 [29.6 kB] 468s Get:72 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-client0 arm64 1.24.0-1build1 [28.9 kB] 468s Get:73 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-cursor0 arm64 1.24.0-1build1 [11.1 kB] 468s Get:74 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-egl1 arm64 1.24.0-1build1 [6500 B] 468s Get:75 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 468s Get:76 http://ftpmaster.internal/ubuntu resolute/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 468s Get:77 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 468s Get:78 http://ftpmaster.internal/ubuntu resolute/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 468s Get:79 http://ftpmaster.internal/ubuntu resolute/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 468s Get:80 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 468s Get:81 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 468s Get:82 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-0t64 arm64 3.24.50-1ubuntu2 [3229 kB] 468s Get:83 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 468s Get:84 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-5 [247 kB] 468s Get:85 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build4 [3696 kB] 468s Get:86 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build4 [341 kB] 468s Get:87 http://ftpmaster.internal/ubuntu resolute/main arm64 libncurses-dev arm64 6.5+20250216-2build1 [415 kB] 468s Get:88 http://ftpmaster.internal/ubuntu resolute/main arm64 libzstd-dev arm64 1.5.7+dfsg-1build2 [363 kB] 468s Get:89 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-interp arm64 5.3.0-3 [8365 kB] 469s Get:90 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml arm64 5.3.0-3 [23.5 MB] 470s Get:91 http://ftpmaster.internal/ubuntu resolute/universe arm64 spass arm64 3.9-1.1 [254 kB] 470s Get:92 http://ftpmaster.internal/ubuntu resolute/universe arm64 tex-common all 6.19 [29.8 kB] 470s Get:93 http://ftpmaster.internal/ubuntu resolute/universe arm64 why3 arm64 1.8.2-1 [15.4 MB] 471s Fetched 170 MB in 8s (20.1 MB/s) 471s Selecting previously unselected package libgdk-pixbuf2.0-common. 471s (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 ... 83364 files and directories currently installed.) 471s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 471s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 471s Selecting previously unselected package libjpeg-turbo8:arm64. 472s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_arm64.deb ... 472s Unpacking libjpeg-turbo8:arm64 (2.1.5-4ubuntu2) ... 472s Selecting previously unselected package libjpeg8:arm64. 472s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 472s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 472s Selecting previously unselected package libdeflate0:arm64. 472s Preparing to unpack .../03-libdeflate0_1.23-2_arm64.deb ... 472s Unpacking libdeflate0:arm64 (1.23-2) ... 472s Selecting previously unselected package libjbig0:arm64. 472s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 472s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 472s Selecting previously unselected package liblerc4:arm64. 472s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 472s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 472s Selecting previously unselected package libsharpyuv0:arm64. 472s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 472s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 472s Selecting previously unselected package libwebp7:arm64. 472s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 472s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 472s Selecting previously unselected package libtiff6:arm64. 472s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_arm64.deb ... 472s Unpacking libtiff6:arm64 (4.7.0-3ubuntu3) ... 472s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 472s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_arm64.deb ... 472s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-5) ... 472s Selecting previously unselected package gtk-update-icon-cache. 472s Preparing to unpack .../10-gtk-update-icon-cache_4.20.1+ds-2_arm64.deb ... 472s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 472s 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. 472s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 472s Selecting previously unselected package hicolor-icon-theme. 472s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 472s Unpacking hicolor-icon-theme (0.18-2) ... 472s Selecting previously unselected package adwaita-icon-theme. 472s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 472s Unpacking adwaita-icon-theme (49.0-1) ... 472s Selecting previously unselected package at-spi2-common. 472s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 472s Unpacking at-spi2-common (2.57.1-1) ... 472s Selecting previously unselected package libisl23:arm64. 472s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 472s Unpacking libisl23:arm64 (0.27-1) ... 473s Selecting previously unselected package libmpc3:arm64. 473s Preparing to unpack .../15-libmpc3_1.3.1-1build3_arm64.deb ... 473s Unpacking libmpc3:arm64 (1.3.1-1build3) ... 473s Selecting previously unselected package cpp-15-aarch64-linux-gnu. 473s Preparing to unpack .../16-cpp-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 473s Unpacking cpp-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 473s Selecting previously unselected package cpp-15. 473s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_arm64.deb ... 473s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 473s Selecting previously unselected package cpp-aarch64-linux-gnu. 473s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 473s Unpacking cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 473s Selecting previously unselected package cpp. 473s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_arm64.deb ... 473s Unpacking cpp (4:15.2.0-4ubuntu1) ... 473s Selecting previously unselected package libdconf1:arm64. 473s Preparing to unpack .../20-libdconf1_0.40.0-5willsync1_arm64.deb ... 473s Unpacking libdconf1:arm64 (0.40.0-5willsync1) ... 473s Selecting previously unselected package dconf-service. 473s Preparing to unpack .../21-dconf-service_0.40.0-5willsync1_arm64.deb ... 473s Unpacking dconf-service (0.40.0-5willsync1) ... 473s Selecting previously unselected package dconf-gsettings-backend:arm64. 473s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5willsync1_arm64.deb ... 473s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5willsync1) ... 473s Selecting previously unselected package fonts-dejavu-mono. 473s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 473s Unpacking fonts-dejavu-mono (2.37-8) ... 473s Selecting previously unselected package fonts-dejavu-core. 473s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 474s Unpacking fonts-dejavu-core (2.37-8) ... 474s Selecting previously unselected package fontconfig-config. 474s Preparing to unpack .../25-fontconfig-config_2.15.0-2.3ubuntu1_arm64.deb ... 474s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 474s Selecting previously unselected package libfontconfig1:arm64. 474s Preparing to unpack .../26-libfontconfig1_2.15.0-2.3ubuntu1_arm64.deb ... 474s Unpacking libfontconfig1:arm64 (2.15.0-2.3ubuntu1) ... 474s Selecting previously unselected package fontconfig. 474s Preparing to unpack .../27-fontconfig_2.15.0-2.3ubuntu1_arm64.deb ... 474s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 474s Selecting previously unselected package libcc1-0:arm64. 474s Preparing to unpack .../28-libcc1-0_15.2.0-5ubuntu1_arm64.deb ... 474s Unpacking libcc1-0:arm64 (15.2.0-5ubuntu1) ... 474s Selecting previously unselected package libgomp1:arm64. 475s Preparing to unpack .../29-libgomp1_15.2.0-5ubuntu1_arm64.deb ... 475s Unpacking libgomp1:arm64 (15.2.0-5ubuntu1) ... 475s Selecting previously unselected package libitm1:arm64. 475s Preparing to unpack .../30-libitm1_15.2.0-5ubuntu1_arm64.deb ... 475s Unpacking libitm1:arm64 (15.2.0-5ubuntu1) ... 475s Selecting previously unselected package libasan8:arm64. 475s Preparing to unpack .../31-libasan8_15.2.0-5ubuntu1_arm64.deb ... 475s Unpacking libasan8:arm64 (15.2.0-5ubuntu1) ... 475s Selecting previously unselected package liblsan0:arm64. 475s Preparing to unpack .../32-liblsan0_15.2.0-5ubuntu1_arm64.deb ... 475s Unpacking liblsan0:arm64 (15.2.0-5ubuntu1) ... 475s Selecting previously unselected package libtsan2:arm64. 475s Preparing to unpack .../33-libtsan2_15.2.0-5ubuntu1_arm64.deb ... 475s Unpacking libtsan2:arm64 (15.2.0-5ubuntu1) ... 475s Selecting previously unselected package libubsan1:arm64. 475s Preparing to unpack .../34-libubsan1_15.2.0-5ubuntu1_arm64.deb ... 475s Unpacking libubsan1:arm64 (15.2.0-5ubuntu1) ... 475s Selecting previously unselected package libhwasan0:arm64. 475s Preparing to unpack .../35-libhwasan0_15.2.0-5ubuntu1_arm64.deb ... 475s Unpacking libhwasan0:arm64 (15.2.0-5ubuntu1) ... 475s Selecting previously unselected package libgcc-15-dev:arm64. 475s Preparing to unpack .../36-libgcc-15-dev_15.2.0-5ubuntu1_arm64.deb ... 475s Unpacking libgcc-15-dev:arm64 (15.2.0-5ubuntu1) ... 475s Selecting previously unselected package gcc-15-aarch64-linux-gnu. 475s Preparing to unpack .../37-gcc-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 475s Unpacking gcc-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 476s Selecting previously unselected package gcc-15. 476s Preparing to unpack .../38-gcc-15_15.2.0-5ubuntu1_arm64.deb ... 476s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 476s Selecting previously unselected package gcc-aarch64-linux-gnu. 476s Preparing to unpack .../39-gcc-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 476s Unpacking gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 476s Selecting previously unselected package gcc. 476s Preparing to unpack .../40-gcc_4%3a15.2.0-4ubuntu1_arm64.deb ... 476s Unpacking gcc (4:15.2.0-4ubuntu1) ... 476s Selecting previously unselected package libatk1.0-0t64:arm64. 476s Preparing to unpack .../41-libatk1.0-0t64_2.57.1-1_arm64.deb ... 476s Unpacking libatk1.0-0t64:arm64 (2.57.1-1) ... 476s Selecting previously unselected package libxi6:arm64. 476s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_arm64.deb ... 476s Unpacking libxi6:arm64 (2:1.8.2-1) ... 476s Selecting previously unselected package libatspi2.0-0t64:arm64. 476s Preparing to unpack .../43-libatspi2.0-0t64_2.57.1-1_arm64.deb ... 476s Unpacking libatspi2.0-0t64:arm64 (2.57.1-1) ... 476s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 476s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.57.1-1_arm64.deb ... 476s Unpacking libatk-bridge2.0-0t64:arm64 (2.57.1-1) ... 476s Selecting previously unselected package libavahi-common-data:arm64. 476s Preparing to unpack .../45-libavahi-common-data_0.8-16ubuntu3_arm64.deb ... 476s Unpacking libavahi-common-data:arm64 (0.8-16ubuntu3) ... 476s Selecting previously unselected package libavahi-common3:arm64. 476s Preparing to unpack .../46-libavahi-common3_0.8-16ubuntu3_arm64.deb ... 476s Unpacking libavahi-common3:arm64 (0.8-16ubuntu3) ... 477s Selecting previously unselected package libavahi-client3:arm64. 477s Preparing to unpack .../47-libavahi-client3_0.8-16ubuntu3_arm64.deb ... 477s Unpacking libavahi-client3:arm64 (0.8-16ubuntu3) ... 477s Selecting previously unselected package libpixman-1-0:arm64. 477s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_arm64.deb ... 477s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 477s Selecting previously unselected package libxcb-render0:arm64. 477s Preparing to unpack .../49-libxcb-render0_1.17.0-2build1_arm64.deb ... 477s Unpacking libxcb-render0:arm64 (1.17.0-2build1) ... 477s Selecting previously unselected package libxcb-shm0:arm64. 477s Preparing to unpack .../50-libxcb-shm0_1.17.0-2build1_arm64.deb ... 477s Unpacking libxcb-shm0:arm64 (1.17.0-2build1) ... 477s Selecting previously unselected package libxrender1:arm64. 477s Preparing to unpack .../51-libxrender1_1%3a0.9.12-1_arm64.deb ... 477s Unpacking libxrender1:arm64 (1:0.9.12-1) ... 477s Selecting previously unselected package libcairo2:arm64. 477s Preparing to unpack .../52-libcairo2_1.18.4-1build1_arm64.deb ... 477s Unpacking libcairo2:arm64 (1.18.4-1build1) ... 477s Selecting previously unselected package libcairo-gobject2:arm64. 477s Preparing to unpack .../53-libcairo-gobject2_1.18.4-1build1_arm64.deb ... 477s Unpacking libcairo-gobject2:arm64 (1.18.4-1build1) ... 477s Selecting previously unselected package libstdlib-ocaml. 477s Preparing to unpack .../54-libstdlib-ocaml_5.3.0-3_arm64.deb ... 477s Unpacking libstdlib-ocaml (5.3.0-3) ... 477s Selecting previously unselected package ocaml-base. 477s Preparing to unpack .../55-ocaml-base_5.3.0-3_arm64.deb ... 477s Unpacking ocaml-base (5.3.0-3) ... 477s Selecting previously unselected package libcairo2-ocaml. 477s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2build2_arm64.deb ... 477s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 477s Selecting previously unselected package liblcms2-2:arm64. 477s Preparing to unpack .../57-liblcms2-2_2.16-2_arm64.deb ... 477s Unpacking liblcms2-2:arm64 (2.16-2) ... 477s Selecting previously unselected package libcolord2:arm64. 477s Preparing to unpack .../58-libcolord2_1.4.7-3build1_arm64.deb ... 477s Unpacking libcolord2:arm64 (1.4.7-3build1) ... 477s Selecting previously unselected package libstdlib-ocaml-dev. 477s Preparing to unpack .../59-libstdlib-ocaml-dev_5.3.0-3_arm64.deb ... 477s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 478s Selecting previously unselected package libcompiler-libs-ocaml-dev. 478s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.3.0-3_arm64.deb ... 478s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 478s Selecting previously unselected package libcups2t64:arm64. 478s Preparing to unpack .../61-libcups2t64_2.4.12-0ubuntu3_arm64.deb ... 478s Unpacking libcups2t64:arm64 (2.4.12-0ubuntu3) ... 478s Selecting previously unselected package libdatrie1:arm64. 478s Preparing to unpack .../62-libdatrie1_0.2.13-4_arm64.deb ... 478s Unpacking libdatrie1:arm64 (0.2.13-4) ... 478s Selecting previously unselected package libepoxy0:arm64. 478s Preparing to unpack .../63-libepoxy0_1.5.10-2_arm64.deb ... 478s Unpacking libepoxy0:arm64 (1.5.10-2) ... 478s Selecting previously unselected package libgraphite2-3:arm64. 478s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 478s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 479s Selecting previously unselected package libharfbuzz0b:arm64. 479s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_arm64.deb ... 479s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 479s Selecting previously unselected package libthai-data. 479s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 479s Unpacking libthai-data (0.1.29-2build1) ... 479s Selecting previously unselected package libthai0:arm64. 479s Preparing to unpack .../67-libthai0_0.1.29-2build1_arm64.deb ... 479s Unpacking libthai0:arm64 (0.1.29-2build1) ... 479s Selecting previously unselected package libpango-1.0-0:arm64. 479s Preparing to unpack .../68-libpango-1.0-0_1.56.3-1build1_arm64.deb ... 479s Unpacking libpango-1.0-0:arm64 (1.56.3-1build1) ... 479s Selecting previously unselected package libpangoft2-1.0-0:arm64. 479s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.3-1build1_arm64.deb ... 479s Unpacking libpangoft2-1.0-0:arm64 (1.56.3-1build1) ... 479s Selecting previously unselected package libpangocairo-1.0-0:arm64. 479s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.3-1build1_arm64.deb ... 479s Unpacking libpangocairo-1.0-0:arm64 (1.56.3-1build1) ... 479s Selecting previously unselected package libwayland-client0:arm64. 479s Preparing to unpack .../71-libwayland-client0_1.24.0-1build1_arm64.deb ... 479s Unpacking libwayland-client0:arm64 (1.24.0-1build1) ... 479s Selecting previously unselected package libwayland-cursor0:arm64. 479s Preparing to unpack .../72-libwayland-cursor0_1.24.0-1build1_arm64.deb ... 479s Unpacking libwayland-cursor0:arm64 (1.24.0-1build1) ... 479s Selecting previously unselected package libwayland-egl1:arm64. 479s Preparing to unpack .../73-libwayland-egl1_1.24.0-1build1_arm64.deb ... 479s Unpacking libwayland-egl1:arm64 (1.24.0-1build1) ... 479s Selecting previously unselected package libxcomposite1:arm64. 479s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 479s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 479s Selecting previously unselected package libxfixes3:arm64. 479s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 479s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 479s Selecting previously unselected package libxcursor1:arm64. 479s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_arm64.deb ... 479s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 479s Selecting previously unselected package libxdamage1:arm64. 479s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 479s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 479s Selecting previously unselected package libxinerama1:arm64. 479s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 479s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 479s Selecting previously unselected package libxrandr2:arm64. 479s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_arm64.deb ... 479s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 480s Selecting previously unselected package libgtk-3-common. 480s Preparing to unpack .../80-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 480s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 480s Selecting previously unselected package libgtk-3-0t64:arm64. 480s Preparing to unpack .../81-libgtk-3-0t64_3.24.50-1ubuntu2_arm64.deb ... 480s Unpacking libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 480s Selecting previously unselected package libgtksourceview-3.0-common. 480s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 480s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 480s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 480s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-5_arm64.deb ... 480s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-5) ... 480s Selecting previously unselected package liblablgtk3-ocaml. 480s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build4_arm64.deb ... 480s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 480s Selecting previously unselected package liblablgtksourceview3-ocaml. 480s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build4_arm64.deb ... 480s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 480s Selecting previously unselected package libncurses-dev:arm64. 480s Preparing to unpack .../86-libncurses-dev_6.5+20250216-2build1_arm64.deb ... 480s Unpacking libncurses-dev:arm64 (6.5+20250216-2build1) ... 480s Selecting previously unselected package libzstd-dev:arm64. 480s Preparing to unpack .../87-libzstd-dev_1.5.7+dfsg-1build2_arm64.deb ... 480s Unpacking libzstd-dev:arm64 (1.5.7+dfsg-1build2) ... 480s Selecting previously unselected package ocaml-interp. 480s Preparing to unpack .../88-ocaml-interp_5.3.0-3_arm64.deb ... 480s Unpacking ocaml-interp (5.3.0-3) ... 481s Selecting previously unselected package ocaml. 481s Preparing to unpack .../89-ocaml_5.3.0-3_arm64.deb ... 481s Unpacking ocaml (5.3.0-3) ... 482s Selecting previously unselected package spass. 482s Preparing to unpack .../90-spass_3.9-1.1_arm64.deb ... 482s Unpacking spass (3.9-1.1) ... 482s Selecting previously unselected package tex-common. 482s Preparing to unpack .../91-tex-common_6.19_all.deb ... 482s Unpacking tex-common (6.19) ... 482s Selecting previously unselected package why3. 482s Preparing to unpack .../92-why3_1.8.2-1_arm64.deb ... 482s Unpacking why3 (1.8.2-1) ... 482s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 482s Setting up liblcms2-2:arm64 (2.16-2) ... 482s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 482s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 482s Setting up libncurses-dev:arm64 (6.5+20250216-2build1) ... 482s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 482s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 482s Setting up libzstd-dev:arm64 (1.5.7+dfsg-1build2) ... 482s Setting up hicolor-icon-theme (0.18-2) ... 482s Setting up libxi6:arm64 (2:1.8.2-1) ... 482s Setting up libxrender1:arm64 (1:0.9.12-1) ... 482s Setting up libdatrie1:arm64 (0.2.13-4) ... 482s Setting up libxcb-render0:arm64 (1.17.0-2build1) ... 482s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 482s Setting up libdeflate0:arm64 (1.23-2) ... 482s Setting up libxcb-shm0:arm64 (1.17.0-2build1) ... 482s Setting up libgomp1:arm64 (15.2.0-5ubuntu1) ... 482s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 482s Setting up libcolord2:arm64 (1.4.7-3build1) ... 482s Setting up libdconf1:arm64 (0.40.0-5willsync1) ... 482s Setting up tex-common (6.19) ... 483s update-language: texlive-base not installed and configured, doing nothing! 483s Setting up libepoxy0:arm64 (1.5.10-2) ... 483s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 483s Setting up spass (3.9-1.1) ... 483s Setting up libavahi-common-data:arm64 (0.8-16ubuntu3) ... 483s Setting up libatspi2.0-0t64:arm64 (2.57.1-1) ... 483s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 483s Setting up libstdlib-ocaml (5.3.0-3) ... 483s Setting up fonts-dejavu-mono (2.37-8) ... 483s Setting up libmpc3:arm64 (1.3.1-1build3) ... 483s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 483s Setting up ocaml-base (5.3.0-3) ... 483s Setting up fonts-dejavu-core (2.37-8) ... 483s Setting up libjpeg-turbo8:arm64 (2.1.5-4ubuntu2) ... 483s Setting up libwebp7:arm64 (1.5.0-0.1) ... 483s Setting up libubsan1:arm64 (15.2.0-5ubuntu1) ... 483s Setting up libhwasan0:arm64 (15.2.0-5ubuntu1) ... 483s Setting up at-spi2-common (2.57.1-1) ... 483s Setting up libasan8:arm64 (15.2.0-5ubuntu1) ... 483s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 483s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 483s Setting up libthai-data (0.1.29-2build1) ... 483s Setting up libwayland-egl1:arm64 (1.24.0-1build1) ... 483s Setting up libtsan2:arm64 (15.2.0-5ubuntu1) ... 483s Setting up libisl23:arm64 (0.27-1) ... 483s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 483s Setting up libcc1-0:arm64 (15.2.0-5ubuntu1) ... 483s Setting up liblsan0:arm64 (15.2.0-5ubuntu1) ... 483s Setting up libitm1:arm64 (15.2.0-5ubuntu1) ... 483s Setting up libwayland-client0:arm64 (1.24.0-1build1) ... 483s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 483s Setting up cpp-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 483s Setting up libgcc-15-dev:arm64 (15.2.0-5ubuntu1) ... 483s Setting up libatk1.0-0t64:arm64 (2.57.1-1) ... 483s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 483s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 483s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 483s Setting up libavahi-common3:arm64 (0.8-16ubuntu3) ... 483s Setting up dconf-service (0.40.0-5willsync1) ... 483s Setting up libthai0:arm64 (0.1.29-2build1) ... 483s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 484s Setting up cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 484s Setting up ocaml-interp (5.3.0-3) ... 484s Setting up cpp-15 (15.2.0-5ubuntu1) ... 484s Setting up libtiff6:arm64 (4.7.0-3ubuntu3) ... 484s Setting up libwayland-cursor0:arm64 (1.24.0-1build1) ... 484s Setting up cpp (4:15.2.0-4ubuntu1) ... 484s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-5) ... 484s Setting up libfontconfig1:arm64 (2.15.0-2.3ubuntu1) ... 484s Setting up libavahi-client3:arm64 (0.8-16ubuntu3) ... 484s Setting up libatk-bridge2.0-0t64:arm64 (2.57.1-1) ... 484s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 484s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 486s Regenerating fonts cache... done. 486s Setting up gcc-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 486s Setting up dconf-gsettings-backend:arm64 (0.40.0-5willsync1) ... 486s Setting up libpango-1.0-0:arm64 (1.56.3-1build1) ... 486s Setting up libcairo2:arm64 (1.18.4-1build1) ... 486s Setting up gcc-15 (15.2.0-5ubuntu1) ... 486s Setting up adwaita-icon-theme (49.0-1) ... 486s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 486s Setting up libcairo-gobject2:arm64 (1.18.4-1build1) ... 486s Setting up libpangoft2-1.0-0:arm64 (1.56.3-1build1) ... 486s Setting up libcups2t64:arm64 (2.4.12-0ubuntu3) ... 486s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 486s Setting up libpangocairo-1.0-0:arm64 (1.56.3-1build1) ... 486s Setting up gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 486s Setting up libcairo2-ocaml (0.6.5-2build2) ... 486s Setting up gcc (4:15.2.0-4ubuntu1) ... 486s Setting up ocaml (5.3.0-3) ... 486s Processing triggers for libc-bin (2.42-0ubuntu3) ... 486s Processing triggers for man-db (2.13.1-1) ... 487s Processing triggers for libglib2.0-0t64:arm64 (2.86.0-2) ... 487s Setting up libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 487s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 487s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-5) ... 487s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 487s Setting up why3 (1.8.2-1) ... 487s Processing triggers for libc-bin (2.42-0ubuntu3) ... 496s autopkgtest [03:28:31]: test why3+spass: [----------------------- 497s autopkgtest [03:28:32]: test why3+spass: -----------------------] 498s autopkgtest [03:28:33]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 498s why3+spass PASS 498s autopkgtest [03:28:33]: test why3+z3: preparing testbed 520s Creating nova instance adt-resolute-arm64-why3-20251020-032015-juju-7f2275-prod-proposed-migration-environment-15-1d394696-eede-423b-bf91-e909310db967 from image adt/ubuntu-resolute-arm64-server-20251019.img (UUID 66624775-bb7d-402f-bbba-489c1d649d18)... 584s autopkgtest [03:29:59]: testbed dpkg architecture: arm64 584s autopkgtest [03:29:59]: testbed apt version: 3.1.8ubuntu1 585s autopkgtest [03:30:00]: @@@@@@@@@@@@@@@@@@@@ test bed setup 585s autopkgtest [03:30:00]: testbed release detected to be: resolute 586s autopkgtest [03:30:01]: updating testbed package index (apt update) 587s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [83.3 kB] 587s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 587s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 587s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 587s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [15.8 kB] 587s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [450 kB] 587s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 587s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [51.0 kB] 587s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [110 kB] 587s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 Packages [43.8 kB] 587s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [273 kB] 588s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [8020 B] 588s Fetched 1040 kB in 1s (879 kB/s) 590s Reading package lists... 591s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 591s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 591s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 591s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 593s Reading package lists... 593s Reading package lists... 593s Building dependency tree... 593s Reading state information... 594s Calculating upgrade... 594s The following packages will be upgraded: 594s distro-info-data dpkg dpkg-dev libaudit-common libaudit1 libdpkg-perl 594s libp11-kit0 libseccomp2 libsemanage-common libsemanage2 python-apt-common 594s python3-apt python3-cffi-backend 594s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 594s Need to get 3488 kB of archives. 594s After this operation, 781 kB of additional disk space will be used. 594s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 dpkg arm64 1.22.21ubuntu4 [1274 kB] 595s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libaudit-common all 1:4.0.5-1build2 [6596 B] 595s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libaudit1 arm64 1:4.0.5-1build2 [58.6 kB] 595s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libsemanage-common all 3.8.1-1build1 [7916 B] 595s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libsemanage2 arm64 3.8.1-1build1 [95.7 kB] 595s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 distro-info-data all 0.68 [7378 B] 595s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libp11-kit0 arm64 0.25.9-2 [283 kB] 595s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libseccomp2 arm64 2.6.0-2ubuntu3 [56.1 kB] 595s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 python-apt-common all 3.0.0ubuntu2 [21.7 kB] 595s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 python3-apt arm64 3.0.0ubuntu2 [197 kB] 596s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 python3-cffi-backend arm64 1.17.1-3build1 [112 kB] 596s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 dpkg-dev all 1.22.21ubuntu4 [1088 kB] 596s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 libdpkg-perl all 1.22.21ubuntu4 [280 kB] 597s dpkg-preconfigure: unable to re-open stdin: No such file or directory 597s Fetched 3488 kB in 2s (1771 kB/s) 597s (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 ... 83359 files and directories currently installed.) 597s Preparing to unpack .../dpkg_1.22.21ubuntu4_arm64.deb ... 597s Unpacking dpkg (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 598s Setting up dpkg (1.22.21ubuntu4) ... 599s (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 ... 83359 files and directories currently installed.) 599s Preparing to unpack .../libaudit-common_1%3a4.0.5-1build2_all.deb ... 599s Unpacking libaudit-common (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 599s Setting up libaudit-common (1:4.0.5-1build2) ... 599s (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 ... 83359 files and directories currently installed.) 599s Preparing to unpack .../libaudit1_1%3a4.0.5-1build2_arm64.deb ... 599s Unpacking libaudit1:arm64 (1:4.0.5-1build2) over (1:4.0.5-1build1) ... 599s Setting up libaudit1:arm64 (1:4.0.5-1build2) ... 599s (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 ... 83359 files and directories currently installed.) 599s Preparing to unpack .../0-libsemanage-common_3.8.1-1build1_all.deb ... 599s Unpacking libsemanage-common (3.8.1-1build1) over (3.8.1-1) ... 599s Preparing to unpack .../1-libsemanage2_3.8.1-1build1_arm64.deb ... 599s Unpacking libsemanage2:arm64 (3.8.1-1build1) over (3.8.1-1) ... 600s Preparing to unpack .../2-distro-info-data_0.68_all.deb ... 600s Unpacking distro-info-data (0.68) over (0.67~ubuntu1) ... 600s Preparing to unpack .../3-libp11-kit0_0.25.9-2_arm64.deb ... 600s Unpacking libp11-kit0:arm64 (0.25.9-2) over (0.25.5-3ubuntu1) ... 600s Preparing to unpack .../4-libseccomp2_2.6.0-2ubuntu3_arm64.deb ... 600s Unpacking libseccomp2:arm64 (2.6.0-2ubuntu3) over (2.6.0-2ubuntu2) ... 600s Preparing to unpack .../5-python-apt-common_3.0.0ubuntu2_all.deb ... 600s Unpacking python-apt-common (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 600s Preparing to unpack .../6-python3-apt_3.0.0ubuntu2_arm64.deb ... 600s Unpacking python3-apt (3.0.0ubuntu2) over (3.0.0ubuntu1) ... 600s Preparing to unpack .../7-python3-cffi-backend_1.17.1-3build1_arm64.deb ... 601s Unpacking python3-cffi-backend:arm64 (1.17.1-3build1) over (1.17.1-3) ... 601s Preparing to unpack .../8-dpkg-dev_1.22.21ubuntu4_all.deb ... 601s Unpacking dpkg-dev (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 601s Preparing to unpack .../9-libdpkg-perl_1.22.21ubuntu4_all.deb ... 601s Unpacking libdpkg-perl (1.22.21ubuntu4) over (1.22.21ubuntu3) ... 601s Setting up distro-info-data (0.68) ... 601s Setting up libsemanage-common (3.8.1-1build1) ... 601s Setting up libseccomp2:arm64 (2.6.0-2ubuntu3) ... 601s Setting up libp11-kit0:arm64 (0.25.9-2) ... 601s Setting up libdpkg-perl (1.22.21ubuntu4) ... 601s Setting up python-apt-common (3.0.0ubuntu2) ... 601s Setting up libsemanage2:arm64 (3.8.1-1build1) ... 601s Setting up python3-cffi-backend:arm64 (1.17.1-3build1) ... 601s Setting up python3-apt (3.0.0ubuntu2) ... 602s Setting up dpkg-dev (1.22.21ubuntu4) ... 602s Processing triggers for man-db (2.13.1-1) ... 605s Processing triggers for libc-bin (2.42-0ubuntu3) ... 606s autopkgtest [03:30:21]: upgrading testbed (apt dist-upgrade and autopurge) 606s Reading package lists... 607s Building dependency tree... 607s Reading state information... 607s Calculating upgrade... 609s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 609s Reading package lists... 610s Building dependency tree... 610s Reading state information... 610s Solving dependencies... 612s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 612s autopkgtest [03:30:27]: rebooting testbed after setup commands that affected boot 650s Reading package lists... 650s Building dependency tree... 650s Reading state information... 650s Solving dependencies... 651s The following NEW packages will be installed: 651s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-aarch64-linux-gnu 651s cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 651s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 651s gcc-15-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 651s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 651s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 651s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 651s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 651s libepoxy0 libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 651s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 651s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 651s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 651s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 651s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 651s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 651s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 651s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 651s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 651s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 z3 651s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 651s Need to get 176 MB of archives. 651s After this operation, 559 MB of additional disk space will be used. 651s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-5 [8326 B] 651s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libjpeg-turbo8 arm64 2.1.5-4ubuntu2 [165 kB] 652s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 652s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libdeflate0 arm64 1.23-2 [46.4 kB] 652s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 652s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 653s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 653s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 653s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 libtiff6 arm64 4.7.0-3ubuntu3 [196 kB] 653s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-5 [156 kB] 653s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 gtk-update-icon-cache arm64 4.20.1+ds-2 [54.4 kB] 653s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 653s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 adwaita-icon-theme all 49.0-1 [581 kB] 653s Get:14 http://ftpmaster.internal/ubuntu resolute/main arm64 at-spi2-common all 2.57.1-1 [9432 B] 653s Get:15 http://ftpmaster.internal/ubuntu resolute/main arm64 libisl23 arm64 0.27-1 [676 kB] 653s Get:16 http://ftpmaster.internal/ubuntu resolute/main arm64 libmpc3 arm64 1.3.1-1build3 [58.9 kB] 653s Get:17 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [11.7 MB] 654s Get:18 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15 arm64 15.2.0-5ubuntu1 [1028 B] 654s Get:19 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [5736 B] 654s Get:20 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp arm64 4:15.2.0-4ubuntu1 [22.4 kB] 654s Get:21 http://ftpmaster.internal/ubuntu resolute/main arm64 libdconf1 arm64 0.40.0-5willsync1 [42.3 kB] 654s Get:22 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-service arm64 0.40.0-5willsync1 [28.8 kB] 654s Get:23 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-gsettings-backend arm64 0.40.0-5willsync1 [23.8 kB] 654s Get:24 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 654s Get:25 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 655s Get:26 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig-config arm64 2.15.0-2.3ubuntu1 [38.1 kB] 655s Get:27 http://ftpmaster.internal/ubuntu resolute/main arm64 libfontconfig1 arm64 2.15.0-2.3ubuntu1 [144 kB] 655s Get:28 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig arm64 2.15.0-2.3ubuntu1 [191 kB] 655s Get:29 http://ftpmaster.internal/ubuntu resolute/main arm64 libcc1-0 arm64 15.2.0-5ubuntu1 [49.2 kB] 655s Get:30 http://ftpmaster.internal/ubuntu resolute/main arm64 libgomp1 arm64 15.2.0-5ubuntu1 [148 kB] 655s Get:31 http://ftpmaster.internal/ubuntu resolute/main arm64 libitm1 arm64 15.2.0-5ubuntu1 [28.1 kB] 655s Get:32 http://ftpmaster.internal/ubuntu resolute/main arm64 libasan8 arm64 15.2.0-5ubuntu1 [2922 kB] 655s Get:33 http://ftpmaster.internal/ubuntu resolute/main arm64 liblsan0 arm64 15.2.0-5ubuntu1 [1316 kB] 655s Get:34 http://ftpmaster.internal/ubuntu resolute/main arm64 libtsan2 arm64 15.2.0-5ubuntu1 [2689 kB] 655s Get:35 http://ftpmaster.internal/ubuntu resolute/main arm64 libubsan1 arm64 15.2.0-5ubuntu1 [1176 kB] 655s Get:36 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwasan0 arm64 15.2.0-5ubuntu1 [1639 kB] 655s Get:37 http://ftpmaster.internal/ubuntu resolute/main arm64 libgcc-15-dev arm64 15.2.0-5ubuntu1 [2601 kB] 656s Get:38 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15-aarch64-linux-gnu arm64 15.2.0-5ubuntu1 [23.1 MB] 656s Get:39 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15 arm64 15.2.0-5ubuntu1 [512 kB] 656s Get:40 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [1206 B] 656s Get:41 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc arm64 4:15.2.0-4ubuntu1 [5016 B] 656s Get:42 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk1.0-0t64 arm64 2.57.1-1 [55.5 kB] 656s Get:43 http://ftpmaster.internal/ubuntu resolute/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 656s Get:44 http://ftpmaster.internal/ubuntu resolute/main arm64 libatspi2.0-0t64 arm64 2.57.1-1 [84.7 kB] 656s Get:45 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk-bridge2.0-0t64 arm64 2.57.1-1 [66.0 kB] 656s Get:46 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common-data arm64 0.8-16ubuntu3 [31.1 kB] 656s Get:47 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common3 arm64 0.8-16ubuntu3 [24.5 kB] 656s Get:48 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-client3 arm64 0.8-16ubuntu3 [28.4 kB] 656s Get:49 http://ftpmaster.internal/ubuntu resolute/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 656s Get:50 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-render0 arm64 1.17.0-2build1 [18.1 kB] 656s Get:51 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-shm0 arm64 1.17.0-2build1 [6234 B] 656s Get:52 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrender1 arm64 1:0.9.12-1 [19.5 kB] 656s Get:53 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo2 arm64 1.18.4-1build1 [592 kB] 656s Get:54 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo-gobject2 arm64 1.18.4-1build1 [128 kB] 656s Get:55 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml arm64 5.3.0-3 [428 kB] 656s Get:56 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-base arm64 5.3.0-3 [308 kB] 656s Get:57 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcairo2-ocaml arm64 0.6.5-2build2 [27.0 kB] 657s Get:58 http://ftpmaster.internal/ubuntu resolute/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 657s Get:59 http://ftpmaster.internal/ubuntu resolute/main arm64 libcolord2 arm64 1.4.7-3build1 [148 kB] 657s Get:60 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-3 [7840 kB] 657s Get:61 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-3 [47.9 MB] 658s Get:62 http://ftpmaster.internal/ubuntu resolute/main arm64 libcups2t64 arm64 2.4.12-0ubuntu3 [269 kB] 658s Get:63 http://ftpmaster.internal/ubuntu resolute/main arm64 libdatrie1 arm64 0.2.13-4 [19.1 kB] 658s Get:64 http://ftpmaster.internal/ubuntu resolute/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 658s Get:65 http://ftpmaster.internal/ubuntu resolute/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 658s Get:66 http://ftpmaster.internal/ubuntu resolute/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 658s Get:67 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 658s Get:68 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 658s Get:69 http://ftpmaster.internal/ubuntu resolute/main arm64 libpango-1.0-0 arm64 1.56.3-1build1 [247 kB] 658s Get:70 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangoft2-1.0-0 arm64 1.56.3-1build1 [53.5 kB] 658s Get:71 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangocairo-1.0-0 arm64 1.56.3-1build1 [29.6 kB] 658s Get:72 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-client0 arm64 1.24.0-1build1 [28.9 kB] 658s Get:73 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-cursor0 arm64 1.24.0-1build1 [11.1 kB] 658s Get:74 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-egl1 arm64 1.24.0-1build1 [6500 B] 658s Get:75 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 658s Get:76 http://ftpmaster.internal/ubuntu resolute/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 658s Get:77 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 658s Get:78 http://ftpmaster.internal/ubuntu resolute/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 659s Get:79 http://ftpmaster.internal/ubuntu resolute/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 659s Get:80 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 659s Get:81 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 659s Get:82 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-0t64 arm64 3.24.50-1ubuntu2 [3229 kB] 659s Get:83 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 659s Get:84 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-5 [247 kB] 659s Get:85 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build4 [3696 kB] 659s Get:86 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build4 [341 kB] 659s Get:87 http://ftpmaster.internal/ubuntu resolute/main arm64 libncurses-dev arm64 6.5+20250216-2build1 [415 kB] 659s Get:88 http://ftpmaster.internal/ubuntu resolute/main arm64 libzstd-dev arm64 1.5.7+dfsg-1build2 [363 kB] 659s Get:89 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-interp arm64 5.3.0-3 [8365 kB] 659s Get:90 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml arm64 5.3.0-3 [23.5 MB] 660s Get:91 http://ftpmaster.internal/ubuntu resolute/universe arm64 tex-common all 6.19 [29.8 kB] 660s Get:92 http://ftpmaster.internal/ubuntu resolute/universe arm64 why3 arm64 1.8.2-1 [15.4 MB] 660s Get:93 http://ftpmaster.internal/ubuntu resolute/universe arm64 z3 arm64 4.13.3-1 [6526 kB] 661s Fetched 176 MB in 9s (18.7 MB/s) 661s Selecting previously unselected package libgdk-pixbuf2.0-common. 662s (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 ... 83364 files and directories currently installed.) 662s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-5_all.deb ... 662s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 662s Selecting previously unselected package libjpeg-turbo8:arm64. 662s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_arm64.deb ... 662s Unpacking libjpeg-turbo8:arm64 (2.1.5-4ubuntu2) ... 662s Selecting previously unselected package libjpeg8:arm64. 662s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 662s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 662s Selecting previously unselected package libdeflate0:arm64. 662s Preparing to unpack .../03-libdeflate0_1.23-2_arm64.deb ... 662s Unpacking libdeflate0:arm64 (1.23-2) ... 662s Selecting previously unselected package libjbig0:arm64. 662s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 662s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 662s Selecting previously unselected package liblerc4:arm64. 662s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 662s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 662s Selecting previously unselected package libsharpyuv0:arm64. 662s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 662s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 662s Selecting previously unselected package libwebp7:arm64. 662s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 662s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 662s Selecting previously unselected package libtiff6:arm64. 662s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_arm64.deb ... 662s Unpacking libtiff6:arm64 (4.7.0-3ubuntu3) ... 663s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 663s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-5_arm64.deb ... 663s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-5) ... 663s Selecting previously unselected package gtk-update-icon-cache. 663s Preparing to unpack .../10-gtk-update-icon-cache_4.20.1+ds-2_arm64.deb ... 663s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 663s 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. 663s Unpacking gtk-update-icon-cache (4.20.1+ds-2) ... 663s Selecting previously unselected package hicolor-icon-theme. 663s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 663s Unpacking hicolor-icon-theme (0.18-2) ... 663s Selecting previously unselected package adwaita-icon-theme. 663s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 663s Unpacking adwaita-icon-theme (49.0-1) ... 663s Selecting previously unselected package at-spi2-common. 663s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 663s Unpacking at-spi2-common (2.57.1-1) ... 663s Selecting previously unselected package libisl23:arm64. 663s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 663s Unpacking libisl23:arm64 (0.27-1) ... 663s Selecting previously unselected package libmpc3:arm64. 663s Preparing to unpack .../15-libmpc3_1.3.1-1build3_arm64.deb ... 663s Unpacking libmpc3:arm64 (1.3.1-1build3) ... 663s Selecting previously unselected package cpp-15-aarch64-linux-gnu. 663s Preparing to unpack .../16-cpp-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 663s Unpacking cpp-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 664s Selecting previously unselected package cpp-15. 664s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_arm64.deb ... 664s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 664s Selecting previously unselected package cpp-aarch64-linux-gnu. 664s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 664s Unpacking cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 664s Selecting previously unselected package cpp. 664s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_arm64.deb ... 664s Unpacking cpp (4:15.2.0-4ubuntu1) ... 664s Selecting previously unselected package libdconf1:arm64. 664s Preparing to unpack .../20-libdconf1_0.40.0-5willsync1_arm64.deb ... 664s Unpacking libdconf1:arm64 (0.40.0-5willsync1) ... 664s Selecting previously unselected package dconf-service. 664s Preparing to unpack .../21-dconf-service_0.40.0-5willsync1_arm64.deb ... 664s Unpacking dconf-service (0.40.0-5willsync1) ... 664s Selecting previously unselected package dconf-gsettings-backend:arm64. 664s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5willsync1_arm64.deb ... 664s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5willsync1) ... 664s Selecting previously unselected package fonts-dejavu-mono. 664s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 664s Unpacking fonts-dejavu-mono (2.37-8) ... 664s Selecting previously unselected package fonts-dejavu-core. 664s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 664s Unpacking fonts-dejavu-core (2.37-8) ... 665s Selecting previously unselected package fontconfig-config. 665s Preparing to unpack .../25-fontconfig-config_2.15.0-2.3ubuntu1_arm64.deb ... 665s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 665s Selecting previously unselected package libfontconfig1:arm64. 665s Preparing to unpack .../26-libfontconfig1_2.15.0-2.3ubuntu1_arm64.deb ... 665s Unpacking libfontconfig1:arm64 (2.15.0-2.3ubuntu1) ... 665s Selecting previously unselected package fontconfig. 665s Preparing to unpack .../27-fontconfig_2.15.0-2.3ubuntu1_arm64.deb ... 665s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 665s Selecting previously unselected package libcc1-0:arm64. 665s Preparing to unpack .../28-libcc1-0_15.2.0-5ubuntu1_arm64.deb ... 665s Unpacking libcc1-0:arm64 (15.2.0-5ubuntu1) ... 665s Selecting previously unselected package libgomp1:arm64. 665s Preparing to unpack .../29-libgomp1_15.2.0-5ubuntu1_arm64.deb ... 665s Unpacking libgomp1:arm64 (15.2.0-5ubuntu1) ... 666s Selecting previously unselected package libitm1:arm64. 666s Preparing to unpack .../30-libitm1_15.2.0-5ubuntu1_arm64.deb ... 666s Unpacking libitm1:arm64 (15.2.0-5ubuntu1) ... 666s Selecting previously unselected package libasan8:arm64. 666s Preparing to unpack .../31-libasan8_15.2.0-5ubuntu1_arm64.deb ... 666s Unpacking libasan8:arm64 (15.2.0-5ubuntu1) ... 666s Selecting previously unselected package liblsan0:arm64. 666s Preparing to unpack .../32-liblsan0_15.2.0-5ubuntu1_arm64.deb ... 666s Unpacking liblsan0:arm64 (15.2.0-5ubuntu1) ... 666s Selecting previously unselected package libtsan2:arm64. 666s Preparing to unpack .../33-libtsan2_15.2.0-5ubuntu1_arm64.deb ... 666s Unpacking libtsan2:arm64 (15.2.0-5ubuntu1) ... 666s Selecting previously unselected package libubsan1:arm64. 666s Preparing to unpack .../34-libubsan1_15.2.0-5ubuntu1_arm64.deb ... 666s Unpacking libubsan1:arm64 (15.2.0-5ubuntu1) ... 666s Selecting previously unselected package libhwasan0:arm64. 666s Preparing to unpack .../35-libhwasan0_15.2.0-5ubuntu1_arm64.deb ... 666s Unpacking libhwasan0:arm64 (15.2.0-5ubuntu1) ... 666s Selecting previously unselected package libgcc-15-dev:arm64. 666s Preparing to unpack .../36-libgcc-15-dev_15.2.0-5ubuntu1_arm64.deb ... 666s Unpacking libgcc-15-dev:arm64 (15.2.0-5ubuntu1) ... 667s Selecting previously unselected package gcc-15-aarch64-linux-gnu. 667s Preparing to unpack .../37-gcc-15-aarch64-linux-gnu_15.2.0-5ubuntu1_arm64.deb ... 667s Unpacking gcc-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 667s Selecting previously unselected package gcc-15. 667s Preparing to unpack .../38-gcc-15_15.2.0-5ubuntu1_arm64.deb ... 667s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 667s Selecting previously unselected package gcc-aarch64-linux-gnu. 667s Preparing to unpack .../39-gcc-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 667s Unpacking gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 668s Selecting previously unselected package gcc. 668s Preparing to unpack .../40-gcc_4%3a15.2.0-4ubuntu1_arm64.deb ... 668s Unpacking gcc (4:15.2.0-4ubuntu1) ... 668s Selecting previously unselected package libatk1.0-0t64:arm64. 668s Preparing to unpack .../41-libatk1.0-0t64_2.57.1-1_arm64.deb ... 668s Unpacking libatk1.0-0t64:arm64 (2.57.1-1) ... 668s Selecting previously unselected package libxi6:arm64. 668s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_arm64.deb ... 668s Unpacking libxi6:arm64 (2:1.8.2-1) ... 668s Selecting previously unselected package libatspi2.0-0t64:arm64. 668s Preparing to unpack .../43-libatspi2.0-0t64_2.57.1-1_arm64.deb ... 668s Unpacking libatspi2.0-0t64:arm64 (2.57.1-1) ... 668s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 668s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.57.1-1_arm64.deb ... 668s Unpacking libatk-bridge2.0-0t64:arm64 (2.57.1-1) ... 668s Selecting previously unselected package libavahi-common-data:arm64. 668s Preparing to unpack .../45-libavahi-common-data_0.8-16ubuntu3_arm64.deb ... 668s Unpacking libavahi-common-data:arm64 (0.8-16ubuntu3) ... 668s Selecting previously unselected package libavahi-common3:arm64. 668s Preparing to unpack .../46-libavahi-common3_0.8-16ubuntu3_arm64.deb ... 668s Unpacking libavahi-common3:arm64 (0.8-16ubuntu3) ... 668s Selecting previously unselected package libavahi-client3:arm64. 668s Preparing to unpack .../47-libavahi-client3_0.8-16ubuntu3_arm64.deb ... 668s Unpacking libavahi-client3:arm64 (0.8-16ubuntu3) ... 668s Selecting previously unselected package libpixman-1-0:arm64. 668s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_arm64.deb ... 668s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 668s Selecting previously unselected package libxcb-render0:arm64. 668s Preparing to unpack .../49-libxcb-render0_1.17.0-2build1_arm64.deb ... 668s Unpacking libxcb-render0:arm64 (1.17.0-2build1) ... 668s Selecting previously unselected package libxcb-shm0:arm64. 668s Preparing to unpack .../50-libxcb-shm0_1.17.0-2build1_arm64.deb ... 668s Unpacking libxcb-shm0:arm64 (1.17.0-2build1) ... 668s Selecting previously unselected package libxrender1:arm64. 668s Preparing to unpack .../51-libxrender1_1%3a0.9.12-1_arm64.deb ... 668s Unpacking libxrender1:arm64 (1:0.9.12-1) ... 668s Selecting previously unselected package libcairo2:arm64. 668s Preparing to unpack .../52-libcairo2_1.18.4-1build1_arm64.deb ... 668s Unpacking libcairo2:arm64 (1.18.4-1build1) ... 668s Selecting previously unselected package libcairo-gobject2:arm64. 668s Preparing to unpack .../53-libcairo-gobject2_1.18.4-1build1_arm64.deb ... 668s Unpacking libcairo-gobject2:arm64 (1.18.4-1build1) ... 669s Selecting previously unselected package libstdlib-ocaml. 669s Preparing to unpack .../54-libstdlib-ocaml_5.3.0-3_arm64.deb ... 669s Unpacking libstdlib-ocaml (5.3.0-3) ... 669s Selecting previously unselected package ocaml-base. 669s Preparing to unpack .../55-ocaml-base_5.3.0-3_arm64.deb ... 669s Unpacking ocaml-base (5.3.0-3) ... 669s Selecting previously unselected package libcairo2-ocaml. 669s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2build2_arm64.deb ... 669s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 669s Selecting previously unselected package liblcms2-2:arm64. 669s Preparing to unpack .../57-liblcms2-2_2.16-2_arm64.deb ... 669s Unpacking liblcms2-2:arm64 (2.16-2) ... 669s Selecting previously unselected package libcolord2:arm64. 669s Preparing to unpack .../58-libcolord2_1.4.7-3build1_arm64.deb ... 669s Unpacking libcolord2:arm64 (1.4.7-3build1) ... 669s Selecting previously unselected package libstdlib-ocaml-dev. 669s Preparing to unpack .../59-libstdlib-ocaml-dev_5.3.0-3_arm64.deb ... 669s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 669s Selecting previously unselected package libcompiler-libs-ocaml-dev. 669s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.3.0-3_arm64.deb ... 669s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 670s Selecting previously unselected package libcups2t64:arm64. 670s Preparing to unpack .../61-libcups2t64_2.4.12-0ubuntu3_arm64.deb ... 670s Unpacking libcups2t64:arm64 (2.4.12-0ubuntu3) ... 670s Selecting previously unselected package libdatrie1:arm64. 670s Preparing to unpack .../62-libdatrie1_0.2.13-4_arm64.deb ... 670s Unpacking libdatrie1:arm64 (0.2.13-4) ... 670s Selecting previously unselected package libepoxy0:arm64. 670s Preparing to unpack .../63-libepoxy0_1.5.10-2_arm64.deb ... 670s Unpacking libepoxy0:arm64 (1.5.10-2) ... 670s Selecting previously unselected package libgraphite2-3:arm64. 670s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 670s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 670s Selecting previously unselected package libharfbuzz0b:arm64. 670s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_arm64.deb ... 670s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 671s Selecting previously unselected package libthai-data. 671s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 671s Unpacking libthai-data (0.1.29-2build1) ... 671s Selecting previously unselected package libthai0:arm64. 671s Preparing to unpack .../67-libthai0_0.1.29-2build1_arm64.deb ... 671s Unpacking libthai0:arm64 (0.1.29-2build1) ... 671s Selecting previously unselected package libpango-1.0-0:arm64. 671s Preparing to unpack .../68-libpango-1.0-0_1.56.3-1build1_arm64.deb ... 671s Unpacking libpango-1.0-0:arm64 (1.56.3-1build1) ... 671s Selecting previously unselected package libpangoft2-1.0-0:arm64. 671s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.3-1build1_arm64.deb ... 671s Unpacking libpangoft2-1.0-0:arm64 (1.56.3-1build1) ... 671s Selecting previously unselected package libpangocairo-1.0-0:arm64. 671s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.3-1build1_arm64.deb ... 671s Unpacking libpangocairo-1.0-0:arm64 (1.56.3-1build1) ... 671s Selecting previously unselected package libwayland-client0:arm64. 671s Preparing to unpack .../71-libwayland-client0_1.24.0-1build1_arm64.deb ... 671s Unpacking libwayland-client0:arm64 (1.24.0-1build1) ... 671s Selecting previously unselected package libwayland-cursor0:arm64. 671s Preparing to unpack .../72-libwayland-cursor0_1.24.0-1build1_arm64.deb ... 671s Unpacking libwayland-cursor0:arm64 (1.24.0-1build1) ... 671s Selecting previously unselected package libwayland-egl1:arm64. 671s Preparing to unpack .../73-libwayland-egl1_1.24.0-1build1_arm64.deb ... 671s Unpacking libwayland-egl1:arm64 (1.24.0-1build1) ... 671s Selecting previously unselected package libxcomposite1:arm64. 671s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 671s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 671s Selecting previously unselected package libxfixes3:arm64. 671s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 671s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 671s Selecting previously unselected package libxcursor1:arm64. 671s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_arm64.deb ... 671s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 671s Selecting previously unselected package libxdamage1:arm64. 671s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 671s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 671s Selecting previously unselected package libxinerama1:arm64. 671s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 671s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 672s Selecting previously unselected package libxrandr2:arm64. 672s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_arm64.deb ... 672s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 672s Selecting previously unselected package libgtk-3-common. 672s Preparing to unpack .../80-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 672s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 672s Selecting previously unselected package libgtk-3-0t64:arm64. 672s Preparing to unpack .../81-libgtk-3-0t64_3.24.50-1ubuntu2_arm64.deb ... 672s Unpacking libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 672s Selecting previously unselected package libgtksourceview-3.0-common. 672s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 672s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 672s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 672s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-5_arm64.deb ... 672s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-5) ... 672s Selecting previously unselected package liblablgtk3-ocaml. 672s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build4_arm64.deb ... 672s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 672s Selecting previously unselected package liblablgtksourceview3-ocaml. 672s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build4_arm64.deb ... 672s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 672s Selecting previously unselected package libncurses-dev:arm64. 672s Preparing to unpack .../86-libncurses-dev_6.5+20250216-2build1_arm64.deb ... 672s Unpacking libncurses-dev:arm64 (6.5+20250216-2build1) ... 673s Selecting previously unselected package libzstd-dev:arm64. 673s Preparing to unpack .../87-libzstd-dev_1.5.7+dfsg-1build2_arm64.deb ... 673s Unpacking libzstd-dev:arm64 (1.5.7+dfsg-1build2) ... 673s Selecting previously unselected package ocaml-interp. 673s Preparing to unpack .../88-ocaml-interp_5.3.0-3_arm64.deb ... 673s Unpacking ocaml-interp (5.3.0-3) ... 673s Selecting previously unselected package ocaml. 673s Preparing to unpack .../89-ocaml_5.3.0-3_arm64.deb ... 673s Unpacking ocaml (5.3.0-3) ... 674s Selecting previously unselected package tex-common. 674s Preparing to unpack .../90-tex-common_6.19_all.deb ... 674s Unpacking tex-common (6.19) ... 674s Selecting previously unselected package why3. 674s Preparing to unpack .../91-why3_1.8.2-1_arm64.deb ... 674s Unpacking why3 (1.8.2-1) ... 675s Selecting previously unselected package z3. 675s Preparing to unpack .../92-z3_4.13.3-1_arm64.deb ... 675s Unpacking z3 (4.13.3-1) ... 675s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 675s Setting up liblcms2-2:arm64 (2.16-2) ... 675s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 675s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 675s Setting up libncurses-dev:arm64 (6.5+20250216-2build1) ... 675s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 675s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 675s Setting up libzstd-dev:arm64 (1.5.7+dfsg-1build2) ... 675s Setting up hicolor-icon-theme (0.18-2) ... 675s Setting up libxi6:arm64 (2:1.8.2-1) ... 675s Setting up libxrender1:arm64 (1:0.9.12-1) ... 675s Setting up libdatrie1:arm64 (0.2.13-4) ... 675s Setting up libxcb-render0:arm64 (1.17.0-2build1) ... 675s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-5) ... 675s Setting up libdeflate0:arm64 (1.23-2) ... 675s Setting up libxcb-shm0:arm64 (1.17.0-2build1) ... 675s Setting up libgomp1:arm64 (15.2.0-5ubuntu1) ... 675s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 675s Setting up z3 (4.13.3-1) ... 675s Setting up libcolord2:arm64 (1.4.7-3build1) ... 675s Setting up libdconf1:arm64 (0.40.0-5willsync1) ... 675s Setting up tex-common (6.19) ... 676s update-language: texlive-base not installed and configured, doing nothing! 676s Setting up libepoxy0:arm64 (1.5.10-2) ... 676s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 676s Setting up libavahi-common-data:arm64 (0.8-16ubuntu3) ... 676s Setting up libatspi2.0-0t64:arm64 (2.57.1-1) ... 676s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 676s Setting up libstdlib-ocaml (5.3.0-3) ... 676s Setting up fonts-dejavu-mono (2.37-8) ... 676s Setting up libmpc3:arm64 (1.3.1-1build3) ... 676s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 676s Setting up ocaml-base (5.3.0-3) ... 676s Setting up fonts-dejavu-core (2.37-8) ... 676s Setting up libjpeg-turbo8:arm64 (2.1.5-4ubuntu2) ... 676s Setting up libwebp7:arm64 (1.5.0-0.1) ... 676s Setting up libubsan1:arm64 (15.2.0-5ubuntu1) ... 676s Setting up libhwasan0:arm64 (15.2.0-5ubuntu1) ... 676s Setting up at-spi2-common (2.57.1-1) ... 676s Setting up libasan8:arm64 (15.2.0-5ubuntu1) ... 676s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 676s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 676s Setting up libthai-data (0.1.29-2build1) ... 676s Setting up libwayland-egl1:arm64 (1.24.0-1build1) ... 676s Setting up libtsan2:arm64 (15.2.0-5ubuntu1) ... 676s Setting up libisl23:arm64 (0.27-1) ... 676s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 676s Setting up libcc1-0:arm64 (15.2.0-5ubuntu1) ... 676s Setting up liblsan0:arm64 (15.2.0-5ubuntu1) ... 676s Setting up libitm1:arm64 (15.2.0-5ubuntu1) ... 676s Setting up libwayland-client0:arm64 (1.24.0-1build1) ... 676s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 676s Setting up cpp-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 676s Setting up libgcc-15-dev:arm64 (15.2.0-5ubuntu1) ... 676s Setting up libatk1.0-0t64:arm64 (2.57.1-1) ... 676s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 676s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 676s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 676s Setting up libavahi-common3:arm64 (0.8-16ubuntu3) ... 676s Setting up dconf-service (0.40.0-5willsync1) ... 676s Setting up libthai0:arm64 (0.1.29-2build1) ... 676s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 676s Setting up cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 677s Setting up ocaml-interp (5.3.0-3) ... 677s Setting up cpp-15 (15.2.0-5ubuntu1) ... 677s Setting up libtiff6:arm64 (4.7.0-3ubuntu3) ... 677s Setting up libwayland-cursor0:arm64 (1.24.0-1build1) ... 677s Setting up cpp (4:15.2.0-4ubuntu1) ... 677s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-5) ... 677s Setting up libfontconfig1:arm64 (2.15.0-2.3ubuntu1) ... 677s Setting up libavahi-client3:arm64 (0.8-16ubuntu3) ... 677s Setting up libatk-bridge2.0-0t64:arm64 (2.57.1-1) ... 677s Setting up gtk-update-icon-cache (4.20.1+ds-2) ... 677s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 679s Regenerating fonts cache... done. 679s Setting up gcc-15-aarch64-linux-gnu (15.2.0-5ubuntu1) ... 679s Setting up dconf-gsettings-backend:arm64 (0.40.0-5willsync1) ... 679s Setting up libpango-1.0-0:arm64 (1.56.3-1build1) ... 679s Setting up libcairo2:arm64 (1.18.4-1build1) ... 679s Setting up gcc-15 (15.2.0-5ubuntu1) ... 679s Setting up adwaita-icon-theme (49.0-1) ... 679s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 679s Setting up libcairo-gobject2:arm64 (1.18.4-1build1) ... 679s Setting up libpangoft2-1.0-0:arm64 (1.56.3-1build1) ... 679s Setting up libcups2t64:arm64 (2.4.12-0ubuntu3) ... 679s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 679s Setting up libpangocairo-1.0-0:arm64 (1.56.3-1build1) ... 679s Setting up gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 679s Setting up libcairo2-ocaml (0.6.5-2build2) ... 679s Setting up gcc (4:15.2.0-4ubuntu1) ... 679s Setting up ocaml (5.3.0-3) ... 679s Processing triggers for libc-bin (2.42-0ubuntu3) ... 679s Processing triggers for man-db (2.13.1-1) ... 682s Processing triggers for libglib2.0-0t64:arm64 (2.86.0-2) ... 682s Setting up libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 682s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 682s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-5) ... 682s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 682s Setting up why3 (1.8.2-1) ... 682s Processing triggers for libc-bin (2.42-0ubuntu3) ... 690s autopkgtest [03:31:45]: test why3+z3: [----------------------- 693s autopkgtest [03:31:48]: test why3+z3: -----------------------] 693s why3+z3 PASS 693s autopkgtest [03:31:48]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 694s autopkgtest [03:31:49]: @@@@@@@@@@@@@@@@@@@@ summary 694s why3+cvc4 PASS 694s why3+cvc5 PASS 694s why3+spass PASS 694s why3+z3 PASS