0s autopkgtest [05:19:24]: starting date and time: 2025-02-22 05:19:24+0000 0s autopkgtest [05:19:24]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [05:19:24]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.9mfl2hpp/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glib2.0 --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glib2.0/2.83.4-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-arm64-37.secgroup --name adt-plucky-arm64-why3-20250222-051923-juju-7f2275-prod-proposed-migration-environment-20-971203b5-3c73-4966-80e6-2ef50cdbb7bd --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 136s autopkgtest [05:21:40]: testbed dpkg architecture: arm64 136s autopkgtest [05:21:40]: testbed apt version: 2.9.30ubuntu1 137s autopkgtest [05:21:41]: @@@@@@@@@@@@@@@@@@@@ test bed setup 137s autopkgtest [05:21:41]: testbed release detected to be: None 137s autopkgtest [05:21:41]: updating testbed package index (apt update) 138s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 138s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 138s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 138s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 138s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.1 kB] 138s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [508 kB] 138s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 138s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 138s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [122 kB] 138s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 138s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [451 kB] 138s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [9060 B] 139s Fetched 1305 kB in 1s (1485 kB/s) 140s Reading package lists... 140s Reading package lists... 140s Building dependency tree... 140s Reading state information... 141s Calculating upgrade... 141s Calculating upgrade... 142s The following packages will be upgraded: 142s apparmor base-files cloud-init cloud-init-base gcc-14-base libapparmor1 142s libclang-cpp18 libclang1-19 libgnutls30t64 libllvm18 libllvm19 liblsof0 142s libnss3 libperl5.40 lsof motd-news-config perl perl-base perl-modules-5.40 142s ucf vim-common vim-tiny xxd 142s 23 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 142s Need to get 90.2 MB of archives. 142s After this operation, 11.3 kB of additional disk space will be used. 142s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 motd-news-config all 13.6ubuntu1 [5168 B] 142s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 base-files arm64 13.6ubuntu1 [75.6 kB] 142s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 perl-modules-5.40 all 5.40.1-2 [3217 kB] 143s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libperl5.40 arm64 5.40.1-2 [4779 kB] 143s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 perl arm64 5.40.1-2 [262 kB] 143s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 perl-base arm64 5.40.1-2 [1788 kB] 143s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-base arm64 14.2.0-17ubuntu3 [53.6 kB] 143s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libapparmor1 arm64 4.1.0~beta5-0ubuntu5 [53.7 kB] 143s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libgnutls30t64 arm64 3.8.9-2ubuntu2 [962 kB] 143s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 ucf all 3.0050 [43.5 kB] 143s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 vim-tiny arm64 2:9.1.0967-1ubuntu2 [807 kB] 143s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 vim-common all 2:9.1.0967-1ubuntu2 [396 kB] 143s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 xxd arm64 2:9.1.0967-1ubuntu2 [67.8 kB] 143s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 apparmor arm64 4.1.0~beta5-0ubuntu5 [660 kB] 143s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 lsof arm64 4.99.4+dfsg-2 [236 kB] 143s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsof0 arm64 4.99.4+dfsg-2 [54.0 kB] 143s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cloud-init-base all 25.1-0ubuntu1 [616 kB] 143s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libclang-cpp18 arm64 1:18.1.8-16build1 [13.1 MB] 143s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libllvm18 arm64 1:18.1.8-16build1 [26.3 MB] 144s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libllvm19 arm64 1:19.1.7-1ubuntu2 [27.3 MB] 145s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libclang1-19 arm64 1:19.1.7-1ubuntu2 [7986 kB] 145s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libnss3 arm64 2:3.108-1ubuntu1 [1446 kB] 145s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 cloud-init all 25.1-0ubuntu1 [2088 B] 145s Preconfiguring packages ... 145s Fetched 90.2 MB in 3s (32.5 MB/s) 146s (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 ... 116668 files and directories currently installed.) 146s Preparing to unpack .../motd-news-config_13.6ubuntu1_all.deb ... 146s Unpacking motd-news-config (13.6ubuntu1) over (13.5ubuntu3) ... 146s Preparing to unpack .../base-files_13.6ubuntu1_arm64.deb ... 146s Unpacking base-files (13.6ubuntu1) over (13.5ubuntu3) ... 146s Setting up base-files (13.6ubuntu1) ... 146s Updating /root/.profile to current default. 147s motd-news.service is a disabled or a static unit not running, not starting it. 147s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 116668 files and directories currently installed.) 147s Preparing to unpack .../perl_5.40.1-2_arm64.deb ... 147s Unpacking perl (5.40.1-2) over (5.40.0-8) ... 147s Preparing to unpack .../perl-modules-5.40_5.40.1-2_all.deb ... 147s Unpacking perl-modules-5.40 (5.40.1-2) over (5.40.0-8) ... 147s Preparing to unpack .../libperl5.40_5.40.1-2_arm64.deb ... 147s Unpacking libperl5.40:arm64 (5.40.1-2) over (5.40.0-8) ... 148s Preparing to unpack .../perl-base_5.40.1-2_arm64.deb ... 148s Unpacking perl-base (5.40.1-2) over (5.40.0-8) ... 148s Setting up perl-base (5.40.1-2) ... 148s (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 ... 116668 files and directories currently installed.) 148s Preparing to unpack .../00-gcc-14-base_14.2.0-17ubuntu3_arm64.deb ... 148s Unpacking gcc-14-base:arm64 (14.2.0-17ubuntu3) over (14.2.0-17ubuntu1) ... 148s Preparing to unpack .../01-libapparmor1_4.1.0~beta5-0ubuntu5_arm64.deb ... 148s Unpacking libapparmor1:arm64 (4.1.0~beta5-0ubuntu5) over (4.1.0~beta5-0ubuntu4) ... 148s Preparing to unpack .../02-libgnutls30t64_3.8.9-2ubuntu2_arm64.deb ... 148s Unpacking libgnutls30t64:arm64 (3.8.9-2ubuntu2) over (3.8.9-2ubuntu1) ... 148s Preparing to unpack .../03-ucf_3.0050_all.deb ... 148s Unpacking ucf (3.0050) over (3.0049) ... 148s Preparing to unpack .../04-vim-tiny_2%3a9.1.0967-1ubuntu2_arm64.deb ... 148s Unpacking vim-tiny (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 148s Preparing to unpack .../05-vim-common_2%3a9.1.0967-1ubuntu2_all.deb ... 148s Unpacking vim-common (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 148s Preparing to unpack .../06-xxd_2%3a9.1.0967-1ubuntu2_arm64.deb ... 148s Unpacking xxd (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 149s Preparing to unpack .../07-apparmor_4.1.0~beta5-0ubuntu5_arm64.deb ... 149s Unpacking apparmor (4.1.0~beta5-0ubuntu5) over (4.1.0~beta5-0ubuntu4) ... 150s Preparing to unpack .../08-lsof_4.99.4+dfsg-2_arm64.deb ... 150s Unpacking lsof (4.99.4+dfsg-2) over (4.99.4+dfsg-1) ... 150s Preparing to unpack .../09-liblsof0_4.99.4+dfsg-2_arm64.deb ... 150s Unpacking liblsof0 (4.99.4+dfsg-2) over (4.99.4+dfsg-1) ... 150s Preparing to unpack .../10-cloud-init-base_25.1-0ubuntu1_all.deb ... 150s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 150s for fn in glob1(directory, "%s.*" % fname): 150s Unpacking cloud-init-base (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 150s Preparing to unpack .../11-libclang-cpp18_1%3a18.1.8-16build1_arm64.deb ... 150s Unpacking libclang-cpp18 (1:18.1.8-16build1) over (1:18.1.8-15) ... 151s Preparing to unpack .../12-libllvm18_1%3a18.1.8-16build1_arm64.deb ... 151s Unpacking libllvm18:arm64 (1:18.1.8-16build1) over (1:18.1.8-15) ... 152s Preparing to unpack .../13-libllvm19_1%3a19.1.7-1ubuntu2_arm64.deb ... 152s Unpacking libllvm19:arm64 (1:19.1.7-1ubuntu2) over (1:19.1.7-1ubuntu1) ... 153s Preparing to unpack .../14-libclang1-19_1%3a19.1.7-1ubuntu2_arm64.deb ... 153s Unpacking libclang1-19 (1:19.1.7-1ubuntu2) over (1:19.1.7-1ubuntu1) ... 153s Preparing to unpack .../15-libnss3_2%3a3.108-1ubuntu1_arm64.deb ... 153s Unpacking libnss3:arm64 (2:3.108-1ubuntu1) over (2:3.107-1ubuntu1) ... 153s Preparing to unpack .../16-cloud-init_25.1-0ubuntu1_all.deb ... 153s Unpacking cloud-init (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 153s Setting up libgnutls30t64:arm64 (3.8.9-2ubuntu2) ... 153s Setting up motd-news-config (13.6ubuntu1) ... 153s Setting up libllvm19:arm64 (1:19.1.7-1ubuntu2) ... 153s Setting up libapparmor1:arm64 (4.1.0~beta5-0ubuntu5) ... 153s Setting up libclang1-19 (1:19.1.7-1ubuntu2) ... 153s Setting up gcc-14-base:arm64 (14.2.0-17ubuntu3) ... 153s Setting up liblsof0 (4.99.4+dfsg-2) ... 153s Setting up libnss3:arm64 (2:3.108-1ubuntu1) ... 153s Setting up cloud-init-base (25.1-0ubuntu1) ... 155s Setting up xxd (2:9.1.0967-1ubuntu2) ... 155s Setting up apparmor (4.1.0~beta5-0ubuntu5) ... 155s Installing new version of config file /etc/apparmor.d/fusermount3 ... 156s Reloading AppArmor profiles 157s Setting up vim-common (2:9.1.0967-1ubuntu2) ... 157s Setting up ucf (3.0050) ... 157s Setting up lsof (4.99.4+dfsg-2) ... 157s Setting up perl-modules-5.40 (5.40.1-2) ... 157s Setting up libllvm18:arm64 (1:18.1.8-16build1) ... 157s Setting up cloud-init (25.1-0ubuntu1) ... 157s Setting up vim-tiny (2:9.1.0967-1ubuntu2) ... 157s Setting up libperl5.40:arm64 (5.40.1-2) ... 157s Setting up perl (5.40.1-2) ... 157s Setting up libclang-cpp18 (1:18.1.8-16build1) ... 157s Processing triggers for rsyslog (8.2412.0-2ubuntu1) ... 158s Processing triggers for systemd (257.2-3ubuntu1) ... 158s Processing triggers for man-db (2.13.0-1) ... 159s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-2ubuntu5) ... 159s Processing triggers for install-info (7.1.1-1) ... 159s Processing triggers for libc-bin (2.40-4ubuntu1) ... 160s Processing triggers for initramfs-tools (0.145ubuntu2) ... 160s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 160s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 179s System running in EFI mode, skipping. 179s Reading package lists... 179s Building dependency tree... 179s Reading state information... 180s Solving dependencies... 180s 0 upgraded, 0 newly installed, 0 to remove and 3 not upgraded. 180s autopkgtest [05:22:24]: upgrading testbed (apt dist-upgrade and autopurge) 181s Reading package lists... 181s Building dependency tree... 181s Reading state information... 181s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 181s Starting 2 pkgProblemResolver with broken count: 0 181s Done 182s Entering ResolveByKeep 182s 183s Calculating upgrade... 183s The following packages will be upgraded: 183s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 183s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 183s Need to get 1808 kB of archives. 183s After this operation, 2048 B of additional disk space will be used. 183s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 gir1.2-glib-2.0 arm64 2.83.4-1 [185 kB] 184s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libglib2.0-0t64 arm64 2.83.4-1 [1570 kB] 184s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libglib2.0-data all 2.83.4-1 [52.9 kB] 184s Fetched 1808 kB in 1s (2277 kB/s) 184s (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 ... 116669 files and directories currently installed.) 184s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_arm64.deb ... 184s Unpacking gir1.2-glib-2.0:arm64 (2.83.4-1) over (2.83.3-2) ... 184s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_arm64.deb ... 184s Unpacking libglib2.0-0t64:arm64 (2.83.4-1) over (2.83.3-2) ... 185s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 185s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 185s Setting up libglib2.0-0t64:arm64 (2.83.4-1) ... 185s No schema files found: doing nothing. 185s Setting up libglib2.0-data (2.83.4-1) ... 185s Setting up gir1.2-glib-2.0:arm64 (2.83.4-1) ... 185s Processing triggers for libc-bin (2.40-4ubuntu1) ... 185s Reading package lists... 185s Building dependency tree... 185s Reading state information... 186s Starting pkgProblemResolver with broken count: 0 186s Starting 2 pkgProblemResolver with broken count: 0 186s Done 186s Solving dependencies... 187s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 187s autopkgtest [05:22:31]: rebooting testbed after setup commands that affected boot 212s autopkgtest [05:22:56]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 15:49:33 UTC 2025 215s autopkgtest [05:22:59]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 218s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (dsc) [2140 B] 218s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (tar) [6637 kB] 218s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (diff) [18.9 kB] 219s gpgv: Signature made Sun Feb 2 06:48:51 2025 UTC 219s gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 219s gpgv: issuer "glondu@debian.org" 219s gpgv: Can't check signature: No public key 219s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.0-2.dsc: no acceptable signature found 220s autopkgtest [05:23:04]: testing package why3 version 1.8.0-2 221s autopkgtest [05:23:05]: build not needed 224s autopkgtest [05:23:08]: test why3+cvc4: preparing testbed 224s Reading package lists... 225s Building dependency tree... 225s Reading state information... 225s Starting pkgProblemResolver with broken count: 0 225s Starting 2 pkgProblemResolver with broken count: 0 225s Done 226s The following NEW packages will be installed: 226s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 226s cpp-aarch64-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 226s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 226s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 226s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 226s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 226s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 226s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 226s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 226s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 226s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 226s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 226s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 226s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 226s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 226s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 226s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 226s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 226s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 226s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 226s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 226s Need to get 171 MB of archives. 226s After this operation, 546 MB of additional disk space will be used. 226s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 226s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 226s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 226s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 226s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 226s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 226s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 226s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 226s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 226s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 226s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.4+ds-4 [52.5 kB] 226s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 226s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48~beta-3 [578 kB] 226s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.2-1 [8916 B] 226s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 226s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 226s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 227s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 227s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 227s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 227s Get:21 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 227s Get:22 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc4-7 arm64 1.8-3build2 [4343 kB] 227s Get:23 http://ftpmaster.internal/ubuntu plucky/universe arm64 libantlr3c-3.4-0 arm64 3.4+dfsg-4build2 [45.7 kB] 227s Get:24 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc4parser7 arm64 1.8-3build2 [354 kB] 227s Get:25 http://ftpmaster.internal/ubuntu plucky/universe arm64 cvc4 arm64 1.8-3build2 [71.6 kB] 227s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 227s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 227s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 227s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 227s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 227s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-2ubuntu1 [37.5 kB] 227s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-2ubuntu1 [144 kB] 227s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-2ubuntu1 [191 kB] 227s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250213-1ubuntu1 [44.2 kB] 227s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250213-1ubuntu1 [146 kB] 227s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250213-1ubuntu1 [28.0 kB] 227s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250213-1ubuntu1 [2928 kB] 227s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250213-1ubuntu1 [1319 kB] 227s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250213-1ubuntu1 [2695 kB] 227s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250213-1ubuntu1 [1178 kB] 227s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250213-1ubuntu1 [1642 kB] 228s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 228s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 228s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 228s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 228s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 228s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.2-1 [55.2 kB] 228s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 228s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.2-1 [80.6 kB] 228s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.2-1 [66.7 kB] 228s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-14ubuntu1 [30.5 kB] 228s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-14ubuntu1 [23.1 kB] 228s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-14ubuntu1 [27.3 kB] 228s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 228s Get:55 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 228s Get:56 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 228s Get:57 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 228s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 228s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 228s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.3.0-2 [428 kB] 228s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.3.0-2 [307 kB] 228s Get:62 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2build1 [27.1 kB] 229s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 229s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-1build2 [149 kB] 229s Get:65 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-2 [7846 kB] 229s Get:66 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-2 [47.9 MB] 231s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 231s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 231s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 231s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 231s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 231s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 231s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 231s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.1-1 [238 kB] 231s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.1-1 [49.6 kB] 231s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.1-1 [27.6 kB] 231s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-3 [27.0 kB] 231s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-3 [10.8 kB] 231s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-3 [6180 B] 231s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 231s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 231s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 231s Get:83 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 231s Get:84 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 231s Get:85 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 231s Get:86 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 231s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 231s Get:88 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 231s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 231s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build2 [3700 kB] 231s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build2 [343 kB] 231s Get:92 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 231s Get:93 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 231s Get:94 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.3.0-2 [8367 kB] 231s Get:95 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.3.0-2 [23.4 MB] 232s Get:96 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.18 [32.8 kB] 232s Get:97 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.8.0-2 [15.4 MB] 233s Fetched 171 MB in 7s (25.6 MB/s) 233s Selecting previously unselected package libgdk-pixbuf2.0-common. 233s (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 ... 116669 files and directories currently installed.) 233s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 233s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 233s Selecting previously unselected package libjpeg-turbo8:arm64. 233s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 233s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 233s Selecting previously unselected package libjpeg8:arm64. 233s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 233s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 233s Selecting previously unselected package libdeflate0:arm64. 234s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 234s Unpacking libdeflate0:arm64 (1.23-1) ... 234s Selecting previously unselected package libjbig0:arm64. 234s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 234s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 234s Selecting previously unselected package liblerc4:arm64. 234s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 234s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 234s Selecting previously unselected package libsharpyuv0:arm64. 234s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 234s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 234s Selecting previously unselected package libwebp7:arm64. 234s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 234s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 234s Selecting previously unselected package libtiff6:arm64. 234s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 234s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 234s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 234s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 234s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 234s Selecting previously unselected package gtk-update-icon-cache. 234s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_arm64.deb ... 234s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 234s 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. 234s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 234s Selecting previously unselected package hicolor-icon-theme. 234s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 234s Unpacking hicolor-icon-theme (0.18-2) ... 234s Selecting previously unselected package adwaita-icon-theme. 234s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 234s Unpacking adwaita-icon-theme (48~beta-3) ... 234s Selecting previously unselected package at-spi2-common. 234s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 234s Unpacking at-spi2-common (2.55.2-1) ... 234s Selecting previously unselected package libisl23:arm64. 234s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 234s Unpacking libisl23:arm64 (0.27-1) ... 234s Selecting previously unselected package libmpc3:arm64. 234s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 234s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 234s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 234s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 234s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 235s Selecting previously unselected package cpp-14. 235s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 235s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 235s Selecting previously unselected package cpp-aarch64-linux-gnu. 235s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 235s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 235s Selecting previously unselected package cpp. 235s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 235s Unpacking cpp (4:14.2.0-1ubuntu1) ... 235s Selecting previously unselected package libcln6:arm64. 235s Preparing to unpack .../20-libcln6_1.3.7-1_arm64.deb ... 235s Unpacking libcln6:arm64 (1.3.7-1) ... 235s Selecting previously unselected package libcvc4-7:arm64. 235s Preparing to unpack .../21-libcvc4-7_1.8-3build2_arm64.deb ... 235s Unpacking libcvc4-7:arm64 (1.8-3build2) ... 235s Selecting previously unselected package libantlr3c-3.4-0:arm64. 235s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_arm64.deb ... 235s Unpacking libantlr3c-3.4-0:arm64 (3.4+dfsg-4build2) ... 235s Selecting previously unselected package libcvc4parser7:arm64. 235s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_arm64.deb ... 235s Unpacking libcvc4parser7:arm64 (1.8-3build2) ... 235s Selecting previously unselected package cvc4. 235s Preparing to unpack .../24-cvc4_1.8-3build2_arm64.deb ... 235s Unpacking cvc4 (1.8-3build2) ... 235s Selecting previously unselected package libdconf1:arm64. 235s Preparing to unpack .../25-libdconf1_0.40.0-5_arm64.deb ... 235s Unpacking libdconf1:arm64 (0.40.0-5) ... 235s Selecting previously unselected package dconf-service. 235s Preparing to unpack .../26-dconf-service_0.40.0-5_arm64.deb ... 235s Unpacking dconf-service (0.40.0-5) ... 235s Selecting previously unselected package dconf-gsettings-backend:arm64. 235s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 235s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 235s Selecting previously unselected package fonts-dejavu-mono. 235s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 235s Unpacking fonts-dejavu-mono (2.37-8) ... 235s Selecting previously unselected package fonts-dejavu-core. 235s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 235s Unpacking fonts-dejavu-core (2.37-8) ... 235s Selecting previously unselected package fontconfig-config. 235s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_arm64.deb ... 236s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 236s Selecting previously unselected package libfontconfig1:arm64. 236s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_arm64.deb ... 236s Unpacking libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 236s Selecting previously unselected package fontconfig. 236s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_arm64.deb ... 236s Unpacking fontconfig (2.15.0-2ubuntu1) ... 236s Selecting previously unselected package libcc1-0:arm64. 236s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_arm64.deb ... 236s Unpacking libcc1-0:arm64 (15-20250213-1ubuntu1) ... 236s Selecting previously unselected package libgomp1:arm64. 236s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_arm64.deb ... 236s Unpacking libgomp1:arm64 (15-20250213-1ubuntu1) ... 236s Selecting previously unselected package libitm1:arm64. 236s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_arm64.deb ... 236s Unpacking libitm1:arm64 (15-20250213-1ubuntu1) ... 236s Selecting previously unselected package libasan8:arm64. 236s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_arm64.deb ... 236s Unpacking libasan8:arm64 (15-20250213-1ubuntu1) ... 236s Selecting previously unselected package liblsan0:arm64. 236s Preparing to unpack .../37-liblsan0_15-20250213-1ubuntu1_arm64.deb ... 236s Unpacking liblsan0:arm64 (15-20250213-1ubuntu1) ... 236s Selecting previously unselected package libtsan2:arm64. 236s Preparing to unpack .../38-libtsan2_15-20250213-1ubuntu1_arm64.deb ... 236s Unpacking libtsan2:arm64 (15-20250213-1ubuntu1) ... 236s Selecting previously unselected package libubsan1:arm64. 236s Preparing to unpack .../39-libubsan1_15-20250213-1ubuntu1_arm64.deb ... 236s Unpacking libubsan1:arm64 (15-20250213-1ubuntu1) ... 236s Selecting previously unselected package libhwasan0:arm64. 237s Preparing to unpack .../40-libhwasan0_15-20250213-1ubuntu1_arm64.deb ... 237s Unpacking libhwasan0:arm64 (15-20250213-1ubuntu1) ... 237s Selecting previously unselected package libgcc-14-dev:arm64. 237s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 237s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 237s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 237s Preparing to unpack .../42-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 237s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 237s Selecting previously unselected package gcc-14. 237s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 237s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 237s Selecting previously unselected package gcc-aarch64-linux-gnu. 237s Preparing to unpack .../44-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 237s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 237s Selecting previously unselected package gcc. 237s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 237s Unpacking gcc (4:14.2.0-1ubuntu1) ... 237s Selecting previously unselected package libatk1.0-0t64:arm64. 237s Preparing to unpack .../46-libatk1.0-0t64_2.55.2-1_arm64.deb ... 237s Unpacking libatk1.0-0t64:arm64 (2.55.2-1) ... 237s Selecting previously unselected package libxi6:arm64. 237s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_arm64.deb ... 237s Unpacking libxi6:arm64 (2:1.8.2-1) ... 237s Selecting previously unselected package libatspi2.0-0t64:arm64. 237s Preparing to unpack .../48-libatspi2.0-0t64_2.55.2-1_arm64.deb ... 237s Unpacking libatspi2.0-0t64:arm64 (2.55.2-1) ... 238s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 238s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.2-1_arm64.deb ... 238s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 238s Selecting previously unselected package libavahi-common-data:arm64. 238s Preparing to unpack .../50-libavahi-common-data_0.8-14ubuntu1_arm64.deb ... 238s Unpacking libavahi-common-data:arm64 (0.8-14ubuntu1) ... 238s Selecting previously unselected package libavahi-common3:arm64. 238s Preparing to unpack .../51-libavahi-common3_0.8-14ubuntu1_arm64.deb ... 238s Unpacking libavahi-common3:arm64 (0.8-14ubuntu1) ... 238s Selecting previously unselected package libavahi-client3:arm64. 238s Preparing to unpack .../52-libavahi-client3_0.8-14ubuntu1_arm64.deb ... 238s Unpacking libavahi-client3:arm64 (0.8-14ubuntu1) ... 238s Selecting previously unselected package libpixman-1-0:arm64. 238s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_arm64.deb ... 238s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 238s Selecting previously unselected package libxcb-render0:arm64. 238s Preparing to unpack .../54-libxcb-render0_1.17.0-2_arm64.deb ... 238s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 238s Selecting previously unselected package libxcb-shm0:arm64. 238s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_arm64.deb ... 238s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 238s Selecting previously unselected package libxrender1:arm64. 238s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 238s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 238s Selecting previously unselected package libcairo2:arm64. 238s Preparing to unpack .../57-libcairo2_1.18.2-2_arm64.deb ... 238s Unpacking libcairo2:arm64 (1.18.2-2) ... 238s Selecting previously unselected package libcairo-gobject2:arm64. 238s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_arm64.deb ... 238s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 238s Selecting previously unselected package libstdlib-ocaml. 238s Preparing to unpack .../59-libstdlib-ocaml_5.3.0-2_arm64.deb ... 238s Unpacking libstdlib-ocaml (5.3.0-2) ... 238s Selecting previously unselected package ocaml-base. 238s Preparing to unpack .../60-ocaml-base_5.3.0-2_arm64.deb ... 238s Unpacking ocaml-base (5.3.0-2) ... 238s Selecting previously unselected package libcairo2-ocaml. 238s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2build1_arm64.deb ... 238s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 238s Selecting previously unselected package liblcms2-2:arm64. 238s Preparing to unpack .../62-liblcms2-2_2.16-2_arm64.deb ... 238s Unpacking liblcms2-2:arm64 (2.16-2) ... 238s Selecting previously unselected package libcolord2:arm64. 238s Preparing to unpack .../63-libcolord2_1.4.7-1build2_arm64.deb ... 238s Unpacking libcolord2:arm64 (1.4.7-1build2) ... 238s Selecting previously unselected package libstdlib-ocaml-dev. 239s Preparing to unpack .../64-libstdlib-ocaml-dev_5.3.0-2_arm64.deb ... 239s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 239s Selecting previously unselected package libcompiler-libs-ocaml-dev. 239s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.3.0-2_arm64.deb ... 239s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 239s Selecting previously unselected package libcups2t64:arm64. 239s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 239s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 239s Selecting previously unselected package libdatrie1:arm64. 239s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_arm64.deb ... 239s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 239s Selecting previously unselected package libepoxy0:arm64. 239s Preparing to unpack .../68-libepoxy0_1.5.10-2_arm64.deb ... 239s Unpacking libepoxy0:arm64 (1.5.10-2) ... 239s Selecting previously unselected package libgraphite2-3:arm64. 239s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 239s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 240s Selecting previously unselected package libharfbuzz0b:arm64. 240s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_arm64.deb ... 240s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 240s Selecting previously unselected package libthai-data. 240s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 240s Unpacking libthai-data (0.1.29-2build1) ... 240s Selecting previously unselected package libthai0:arm64. 240s Preparing to unpack .../72-libthai0_0.1.29-2build1_arm64.deb ... 240s Unpacking libthai0:arm64 (0.1.29-2build1) ... 240s Selecting previously unselected package libpango-1.0-0:arm64. 240s Preparing to unpack .../73-libpango-1.0-0_1.56.1-1_arm64.deb ... 240s Unpacking libpango-1.0-0:arm64 (1.56.1-1) ... 240s Selecting previously unselected package libpangoft2-1.0-0:arm64. 240s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.1-1_arm64.deb ... 240s Unpacking libpangoft2-1.0-0:arm64 (1.56.1-1) ... 240s Selecting previously unselected package libpangocairo-1.0-0:arm64. 240s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.1-1_arm64.deb ... 240s Unpacking libpangocairo-1.0-0:arm64 (1.56.1-1) ... 240s Selecting previously unselected package libwayland-client0:arm64. 240s Preparing to unpack .../76-libwayland-client0_1.23.1-3_arm64.deb ... 240s Unpacking libwayland-client0:arm64 (1.23.1-3) ... 240s Selecting previously unselected package libwayland-cursor0:arm64. 240s Preparing to unpack .../77-libwayland-cursor0_1.23.1-3_arm64.deb ... 240s Unpacking libwayland-cursor0:arm64 (1.23.1-3) ... 240s Selecting previously unselected package libwayland-egl1:arm64. 240s Preparing to unpack .../78-libwayland-egl1_1.23.1-3_arm64.deb ... 240s Unpacking libwayland-egl1:arm64 (1.23.1-3) ... 240s Selecting previously unselected package libxcomposite1:arm64. 240s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 240s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 240s Selecting previously unselected package libxfixes3:arm64. 240s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 240s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 240s Selecting previously unselected package libxcursor1:arm64. 240s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_arm64.deb ... 240s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 240s Selecting previously unselected package libxdamage1:arm64. 240s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 240s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 240s Selecting previously unselected package libxinerama1:arm64. 240s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 240s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 240s Selecting previously unselected package libxrandr2:arm64. 240s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_arm64.deb ... 240s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 240s Selecting previously unselected package libgtk-3-common. 240s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 240s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 240s Selecting previously unselected package libgtk-3-0t64:arm64. 240s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 240s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 240s Selecting previously unselected package libgtksourceview-3.0-common. 241s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 241s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 241s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 241s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 241s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 241s Selecting previously unselected package liblablgtk3-ocaml. 241s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build2_arm64.deb ... 241s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 241s Selecting previously unselected package liblablgtksourceview3-ocaml. 241s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build2_arm64.deb ... 241s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 241s Selecting previously unselected package libncurses-dev:arm64. 241s Preparing to unpack .../91-libncurses-dev_6.5+20250125-2_arm64.deb ... 241s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 241s Selecting previously unselected package libzstd-dev:arm64. 241s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 241s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 241s Selecting previously unselected package ocaml-interp. 241s Preparing to unpack .../93-ocaml-interp_5.3.0-2_arm64.deb ... 241s Unpacking ocaml-interp (5.3.0-2) ... 241s Selecting previously unselected package ocaml. 241s Preparing to unpack .../94-ocaml_5.3.0-2_arm64.deb ... 241s Unpacking ocaml (5.3.0-2) ... 242s Selecting previously unselected package tex-common. 242s Preparing to unpack .../95-tex-common_6.18_all.deb ... 242s Unpacking tex-common (6.18) ... 242s Selecting previously unselected package why3. 242s Preparing to unpack .../96-why3_1.8.0-2_arm64.deb ... 242s Unpacking why3 (1.8.0-2) ... 242s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 242s Setting up liblcms2-2:arm64 (2.16-2) ... 242s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 242s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 242s Setting up libcln6:arm64 (1.3.7-1) ... 242s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 242s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 242s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 242s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 242s Setting up libantlr3c-3.4-0:arm64 (3.4+dfsg-4build2) ... 242s Setting up hicolor-icon-theme (0.18-2) ... 242s Setting up libxi6:arm64 (2:1.8.2-1) ... 242s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 242s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 242s Setting up libxcb-render0:arm64 (1.17.0-2) ... 242s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 242s Setting up libdeflate0:arm64 (1.23-1) ... 242s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 242s Setting up libgomp1:arm64 (15-20250213-1ubuntu1) ... 242s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 242s Setting up libcolord2:arm64 (1.4.7-1build2) ... 242s Setting up libdconf1:arm64 (0.40.0-5) ... 242s Setting up tex-common (6.18) ... 243s update-language: texlive-base not installed and configured, doing nothing! 243s Setting up libepoxy0:arm64 (1.5.10-2) ... 243s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 243s Setting up libavahi-common-data:arm64 (0.8-14ubuntu1) ... 243s Setting up libatspi2.0-0t64:arm64 (2.55.2-1) ... 243s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 243s Setting up libstdlib-ocaml (5.3.0-2) ... 243s Setting up fonts-dejavu-mono (2.37-8) ... 243s Setting up libmpc3:arm64 (1.3.1-1build2) ... 243s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 243s Setting up ocaml-base (5.3.0-2) ... 243s Setting up fonts-dejavu-core (2.37-8) ... 243s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 243s Setting up libwebp7:arm64 (1.5.0-0.1) ... 243s Setting up libubsan1:arm64 (15-20250213-1ubuntu1) ... 243s Setting up libhwasan0:arm64 (15-20250213-1ubuntu1) ... 243s Setting up at-spi2-common (2.55.2-1) ... 243s Setting up libasan8:arm64 (15-20250213-1ubuntu1) ... 243s Setting up libcvc4-7:arm64 (1.8-3build2) ... 243s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 243s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 243s Setting up libthai-data (0.1.29-2build1) ... 243s Setting up libwayland-egl1:arm64 (1.23.1-3) ... 243s Setting up libtsan2:arm64 (15-20250213-1ubuntu1) ... 243s Setting up libisl23:arm64 (0.27-1) ... 243s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 243s Setting up libcc1-0:arm64 (15-20250213-1ubuntu1) ... 243s Setting up liblsan0:arm64 (15-20250213-1ubuntu1) ... 243s Setting up libitm1:arm64 (15-20250213-1ubuntu1) ... 243s Setting up libwayland-client0:arm64 (1.23.1-3) ... 243s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 243s Setting up libatk1.0-0t64:arm64 (2.55.2-1) ... 243s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 243s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 243s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 243s Setting up libavahi-common3:arm64 (0.8-14ubuntu1) ... 243s Setting up dconf-service (0.40.0-5) ... 243s Setting up libthai0:arm64 (0.1.29-2build1) ... 243s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 243s Setting up ocaml-interp (5.3.0-2) ... 243s Setting up libcvc4parser7:arm64 (1.8-3build2) ... 243s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 243s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 243s Setting up libwayland-cursor0:arm64 (1.23.1-3) ... 243s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 243s Setting up cvc4 (1.8-3build2) ... 243s Setting up libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 243s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 243s Setting up libavahi-client3:arm64 (0.8-14ubuntu1) ... 243s Setting up libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 243s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 243s Setting up fontconfig (2.15.0-2ubuntu1) ... 245s Regenerating fonts cache... done. 245s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 245s Setting up libpango-1.0-0:arm64 (1.56.1-1) ... 245s Setting up libcairo2:arm64 (1.18.2-2) ... 245s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 245s Setting up adwaita-icon-theme (48~beta-3) ... 245s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 245s Setting up cpp-14 (14.2.0-17ubuntu3) ... 245s Setting up cpp (4:14.2.0-1ubuntu1) ... 245s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 245s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 245s Setting up libpangoft2-1.0-0:arm64 (1.56.1-1) ... 245s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 245s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 245s Setting up libpangocairo-1.0-0:arm64 (1.56.1-1) ... 245s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 245s Setting up libcairo2-ocaml (0.6.5-2build1) ... 245s Setting up gcc-14 (14.2.0-17ubuntu3) ... 245s Setting up gcc (4:14.2.0-1ubuntu1) ... 245s Setting up ocaml (5.3.0-2) ... 245s Processing triggers for libc-bin (2.40-4ubuntu1) ... 245s Processing triggers for man-db (2.13.0-1) ... 247s Processing triggers for libglib2.0-0t64:arm64 (2.83.4-1) ... 247s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 247s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 247s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 247s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 247s Setting up why3 (1.8.0-2) ... 247s Processing triggers for libc-bin (2.40-4ubuntu1) ... 248s autopkgtest [05:23:32]: test why3+cvc4: [----------------------- 249s autopkgtest [05:23:33]: test why3+cvc4: -----------------------] 250s autopkgtest [05:23:34]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 250s why3+cvc4 PASS 250s autopkgtest [05:23:34]: test why3+cvc5: preparing testbed 408s autopkgtest [05:26:12]: testbed dpkg architecture: arm64 408s autopkgtest [05:26:12]: testbed apt version: 2.9.30ubuntu1 409s autopkgtest [05:26:13]: @@@@@@@@@@@@@@@@@@@@ test bed setup 409s autopkgtest [05:26:13]: testbed release detected to be: plucky 410s autopkgtest [05:26:14]: updating testbed package index (apt update) 410s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 410s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 411s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 411s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 411s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 411s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [508 kB] 411s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.1 kB] 411s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 411s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [122 kB] 411s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 411s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [451 kB] 411s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [9060 B] 411s Fetched 1305 kB in 1s (1430 kB/s) 412s Reading package lists... 413s Reading package lists... 413s Building dependency tree... 413s Reading state information... 414s Calculating upgrade... 414s Calculating upgrade... 415s The following packages will be upgraded: 415s apparmor base-files cloud-init cloud-init-base gcc-14-base libapparmor1 415s libclang-cpp18 libclang1-19 libgnutls30t64 libllvm18 libllvm19 liblsof0 415s libnss3 libperl5.40 lsof motd-news-config perl perl-base perl-modules-5.40 415s ucf vim-common vim-tiny xxd 415s 23 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 415s Need to get 90.2 MB of archives. 415s After this operation, 11.3 kB of additional disk space will be used. 415s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 motd-news-config all 13.6ubuntu1 [5168 B] 415s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 base-files arm64 13.6ubuntu1 [75.6 kB] 415s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 perl-modules-5.40 all 5.40.1-2 [3217 kB] 416s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libperl5.40 arm64 5.40.1-2 [4779 kB] 416s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 perl arm64 5.40.1-2 [262 kB] 416s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 perl-base arm64 5.40.1-2 [1788 kB] 416s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-base arm64 14.2.0-17ubuntu3 [53.6 kB] 416s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libapparmor1 arm64 4.1.0~beta5-0ubuntu5 [53.7 kB] 416s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libgnutls30t64 arm64 3.8.9-2ubuntu2 [962 kB] 416s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 ucf all 3.0050 [43.5 kB] 416s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 vim-tiny arm64 2:9.1.0967-1ubuntu2 [807 kB] 416s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 vim-common all 2:9.1.0967-1ubuntu2 [396 kB] 416s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 xxd arm64 2:9.1.0967-1ubuntu2 [67.8 kB] 416s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 apparmor arm64 4.1.0~beta5-0ubuntu5 [660 kB] 416s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 lsof arm64 4.99.4+dfsg-2 [236 kB] 416s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsof0 arm64 4.99.4+dfsg-2 [54.0 kB] 416s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cloud-init-base all 25.1-0ubuntu1 [616 kB] 416s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libclang-cpp18 arm64 1:18.1.8-16build1 [13.1 MB] 416s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libllvm18 arm64 1:18.1.8-16build1 [26.3 MB] 417s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libllvm19 arm64 1:19.1.7-1ubuntu2 [27.3 MB] 418s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libclang1-19 arm64 1:19.1.7-1ubuntu2 [7986 kB] 418s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libnss3 arm64 2:3.108-1ubuntu1 [1446 kB] 418s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 cloud-init all 25.1-0ubuntu1 [2088 B] 419s Preconfiguring packages ... 419s Fetched 90.2 MB in 3s (26.9 MB/s) 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 ... 116668 files and directories currently installed.) 419s Preparing to unpack .../motd-news-config_13.6ubuntu1_all.deb ... 419s Unpacking motd-news-config (13.6ubuntu1) over (13.5ubuntu3) ... 419s Preparing to unpack .../base-files_13.6ubuntu1_arm64.deb ... 420s Unpacking base-files (13.6ubuntu1) over (13.5ubuntu3) ... 420s Setting up base-files (13.6ubuntu1) ... 420s Updating /root/.profile to current default. 421s motd-news.service is a disabled or a static unit not running, not starting it. 421s (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 ... 116668 files and directories currently installed.) 421s Preparing to unpack .../perl_5.40.1-2_arm64.deb ... 421s Unpacking perl (5.40.1-2) over (5.40.0-8) ... 421s Preparing to unpack .../perl-modules-5.40_5.40.1-2_all.deb ... 421s Unpacking perl-modules-5.40 (5.40.1-2) over (5.40.0-8) ... 421s Preparing to unpack .../libperl5.40_5.40.1-2_arm64.deb ... 421s Unpacking libperl5.40:arm64 (5.40.1-2) over (5.40.0-8) ... 422s Preparing to unpack .../perl-base_5.40.1-2_arm64.deb ... 422s Unpacking perl-base (5.40.1-2) over (5.40.0-8) ... 422s Setting up perl-base (5.40.1-2) ... 422s (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 ... 116668 files and directories currently installed.) 422s Preparing to unpack .../00-gcc-14-base_14.2.0-17ubuntu3_arm64.deb ... 422s Unpacking gcc-14-base:arm64 (14.2.0-17ubuntu3) over (14.2.0-17ubuntu1) ... 422s Preparing to unpack .../01-libapparmor1_4.1.0~beta5-0ubuntu5_arm64.deb ... 422s Unpacking libapparmor1:arm64 (4.1.0~beta5-0ubuntu5) over (4.1.0~beta5-0ubuntu4) ... 422s Preparing to unpack .../02-libgnutls30t64_3.8.9-2ubuntu2_arm64.deb ... 422s Unpacking libgnutls30t64:arm64 (3.8.9-2ubuntu2) over (3.8.9-2ubuntu1) ... 422s Preparing to unpack .../03-ucf_3.0050_all.deb ... 422s Unpacking ucf (3.0050) over (3.0049) ... 423s Preparing to unpack .../04-vim-tiny_2%3a9.1.0967-1ubuntu2_arm64.deb ... 423s Unpacking vim-tiny (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 423s Preparing to unpack .../05-vim-common_2%3a9.1.0967-1ubuntu2_all.deb ... 423s Unpacking vim-common (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 423s Preparing to unpack .../06-xxd_2%3a9.1.0967-1ubuntu2_arm64.deb ... 423s Unpacking xxd (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 423s Preparing to unpack .../07-apparmor_4.1.0~beta5-0ubuntu5_arm64.deb ... 424s Unpacking apparmor (4.1.0~beta5-0ubuntu5) over (4.1.0~beta5-0ubuntu4) ... 425s Preparing to unpack .../08-lsof_4.99.4+dfsg-2_arm64.deb ... 425s Unpacking lsof (4.99.4+dfsg-2) over (4.99.4+dfsg-1) ... 425s Preparing to unpack .../09-liblsof0_4.99.4+dfsg-2_arm64.deb ... 425s Unpacking liblsof0 (4.99.4+dfsg-2) over (4.99.4+dfsg-1) ... 425s Preparing to unpack .../10-cloud-init-base_25.1-0ubuntu1_all.deb ... 425s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 425s for fn in glob1(directory, "%s.*" % fname): 425s Unpacking cloud-init-base (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 426s Preparing to unpack .../11-libclang-cpp18_1%3a18.1.8-16build1_arm64.deb ... 426s Unpacking libclang-cpp18 (1:18.1.8-16build1) over (1:18.1.8-15) ... 426s Preparing to unpack .../12-libllvm18_1%3a18.1.8-16build1_arm64.deb ... 426s Unpacking libllvm18:arm64 (1:18.1.8-16build1) over (1:18.1.8-15) ... 427s Preparing to unpack .../13-libllvm19_1%3a19.1.7-1ubuntu2_arm64.deb ... 427s Unpacking libllvm19:arm64 (1:19.1.7-1ubuntu2) over (1:19.1.7-1ubuntu1) ... 428s Preparing to unpack .../14-libclang1-19_1%3a19.1.7-1ubuntu2_arm64.deb ... 428s Unpacking libclang1-19 (1:19.1.7-1ubuntu2) over (1:19.1.7-1ubuntu1) ... 429s Preparing to unpack .../15-libnss3_2%3a3.108-1ubuntu1_arm64.deb ... 429s Unpacking libnss3:arm64 (2:3.108-1ubuntu1) over (2:3.107-1ubuntu1) ... 429s Preparing to unpack .../16-cloud-init_25.1-0ubuntu1_all.deb ... 429s Unpacking cloud-init (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 429s Setting up libgnutls30t64:arm64 (3.8.9-2ubuntu2) ... 429s Setting up motd-news-config (13.6ubuntu1) ... 429s Setting up libllvm19:arm64 (1:19.1.7-1ubuntu2) ... 429s Setting up libapparmor1:arm64 (4.1.0~beta5-0ubuntu5) ... 429s Setting up libclang1-19 (1:19.1.7-1ubuntu2) ... 429s Setting up gcc-14-base:arm64 (14.2.0-17ubuntu3) ... 429s Setting up liblsof0 (4.99.4+dfsg-2) ... 429s Setting up libnss3:arm64 (2:3.108-1ubuntu1) ... 429s Setting up cloud-init-base (25.1-0ubuntu1) ... 431s Setting up xxd (2:9.1.0967-1ubuntu2) ... 431s Setting up apparmor (4.1.0~beta5-0ubuntu5) ... 431s Installing new version of config file /etc/apparmor.d/fusermount3 ... 433s Reloading AppArmor profiles 435s Setting up vim-common (2:9.1.0967-1ubuntu2) ... 435s Setting up ucf (3.0050) ... 435s Setting up lsof (4.99.4+dfsg-2) ... 435s Setting up perl-modules-5.40 (5.40.1-2) ... 435s Setting up libllvm18:arm64 (1:18.1.8-16build1) ... 435s Setting up cloud-init (25.1-0ubuntu1) ... 435s Setting up vim-tiny (2:9.1.0967-1ubuntu2) ... 435s Setting up libperl5.40:arm64 (5.40.1-2) ... 435s Setting up perl (5.40.1-2) ... 435s Setting up libclang-cpp18 (1:18.1.8-16build1) ... 435s Processing triggers for rsyslog (8.2412.0-2ubuntu1) ... 435s Processing triggers for systemd (257.2-3ubuntu1) ... 435s Processing triggers for man-db (2.13.0-1) ... 437s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-2ubuntu5) ... 437s Processing triggers for install-info (7.1.1-1) ... 438s Processing triggers for libc-bin (2.40-4ubuntu1) ... 438s Processing triggers for initramfs-tools (0.145ubuntu2) ... 438s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 438s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 467s System running in EFI mode, skipping. 467s Reading package lists... 468s Building dependency tree... 468s Reading state information... 468s Solving dependencies... 469s 0 upgraded, 0 newly installed, 0 to remove and 3 not upgraded. 469s autopkgtest [05:27:13]: upgrading testbed (apt dist-upgrade and autopurge) 470s Reading package lists... 470s Building dependency tree... 470s Reading state information... 471s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 472s Starting 2 pkgProblemResolver with broken count: 0 472s Done 473s Entering ResolveByKeep 473s 473s Calculating upgrade... 474s The following packages will be upgraded: 474s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 474s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 474s Need to get 1808 kB of archives. 474s After this operation, 2048 B of additional disk space will be used. 474s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 gir1.2-glib-2.0 arm64 2.83.4-1 [185 kB] 474s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libglib2.0-0t64 arm64 2.83.4-1 [1570 kB] 475s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libglib2.0-data all 2.83.4-1 [52.9 kB] 475s Fetched 1808 kB in 1s (2641 kB/s) 475s (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 ... 116669 files and directories currently installed.) 475s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_arm64.deb ... 475s Unpacking gir1.2-glib-2.0:arm64 (2.83.4-1) over (2.83.3-2) ... 475s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_arm64.deb ... 475s Unpacking libglib2.0-0t64:arm64 (2.83.4-1) over (2.83.3-2) ... 475s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 475s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 475s Setting up libglib2.0-0t64:arm64 (2.83.4-1) ... 475s No schema files found: doing nothing. 475s Setting up libglib2.0-data (2.83.4-1) ... 475s Setting up gir1.2-glib-2.0:arm64 (2.83.4-1) ... 475s Processing triggers for libc-bin (2.40-4ubuntu1) ... 476s Reading package lists... 476s Building dependency tree... 476s Reading state information... 477s Starting pkgProblemResolver with broken count: 0 477s Starting 2 pkgProblemResolver with broken count: 0 477s Done 477s Solving dependencies... 478s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 478s autopkgtest [05:27:22]: rebooting testbed after setup commands that affected boot 509s Reading package lists... 509s Building dependency tree... 509s Reading state information... 510s Starting pkgProblemResolver with broken count: 0 510s Starting 2 pkgProblemResolver with broken count: 0 510s Done 511s The following NEW packages will be installed: 511s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 511s cpp-aarch64-linux-gnu cvc5 dconf-gsettings-backend dconf-service fontconfig 511s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 511s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 511s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 511s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 511s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcln6 libcolord2 511s libcompiler-libs-ocaml-dev libcryptominisat5-5.11t64 libcups2t64 libcvc5-1 511s libcvc5parser1 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 511s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 511s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 511s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 511s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 511s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 511s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 511s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 511s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 511s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 511s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 511s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 511s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 511s Need to get 172 MB of archives. 511s After this operation, 546 MB of additional disk space will be used. 511s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 511s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 511s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 511s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 511s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 511s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 511s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 511s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 511s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 511s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 511s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.4+ds-4 [52.5 kB] 511s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 511s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48~beta-3 [578 kB] 511s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.2-1 [8916 B] 511s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 511s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 511s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 512s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 512s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 512s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 512s Get:21 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 512s Get:22 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcryptominisat5-5.11t64 arm64 5.11.21+dfsg1-1build1 [450 kB] 512s Get:23 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc5-1 arm64 1.1.2-2build1 [4875 kB] 512s Get:24 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc5parser1 arm64 1.1.2-2build1 [199 kB] 512s Get:25 http://ftpmaster.internal/ubuntu plucky/universe arm64 cvc5 arm64 1.1.2-2build1 [87.0 kB] 512s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 512s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 512s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 512s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 512s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 512s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-2ubuntu1 [37.5 kB] 512s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-2ubuntu1 [144 kB] 512s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-2ubuntu1 [191 kB] 512s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250213-1ubuntu1 [44.2 kB] 512s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250213-1ubuntu1 [146 kB] 512s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250213-1ubuntu1 [28.0 kB] 512s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250213-1ubuntu1 [2928 kB] 512s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250213-1ubuntu1 [1319 kB] 512s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250213-1ubuntu1 [2695 kB] 512s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250213-1ubuntu1 [1178 kB] 512s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250213-1ubuntu1 [1642 kB] 512s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 512s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 513s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 513s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 513s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 513s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.2-1 [55.2 kB] 513s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 513s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.2-1 [80.6 kB] 513s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.2-1 [66.7 kB] 513s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-14ubuntu1 [30.5 kB] 513s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-14ubuntu1 [23.1 kB] 513s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-14ubuntu1 [27.3 kB] 513s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 513s Get:55 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 513s Get:56 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 513s Get:57 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 513s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 513s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 513s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.3.0-2 [428 kB] 513s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.3.0-2 [307 kB] 513s Get:62 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2build1 [27.1 kB] 513s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 513s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-1build2 [149 kB] 513s Get:65 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-2 [7846 kB] 513s Get:66 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-2 [47.9 MB] 515s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 515s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 515s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 515s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 515s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 515s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 515s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 515s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.1-1 [238 kB] 515s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.1-1 [49.6 kB] 515s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.1-1 [27.6 kB] 515s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-3 [27.0 kB] 515s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-3 [10.8 kB] 515s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-3 [6180 B] 515s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 515s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 515s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 515s Get:83 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 515s Get:84 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 515s Get:85 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 515s Get:86 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 515s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 515s Get:88 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 515s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 515s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build2 [3700 kB] 515s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build2 [343 kB] 515s Get:92 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 515s Get:93 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 515s Get:94 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.3.0-2 [8367 kB] 515s Get:95 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.3.0-2 [23.4 MB] 516s Get:96 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.18 [32.8 kB] 516s Get:97 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.8.0-2 [15.4 MB] 518s Fetched 172 MB in 6s (27.7 MB/s) 518s Selecting previously unselected package libgdk-pixbuf2.0-common. 518s (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 ... 116669 files and directories currently installed.) 518s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 518s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 518s Selecting previously unselected package libjpeg-turbo8:arm64. 518s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 518s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 518s Selecting previously unselected package libjpeg8:arm64. 518s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 518s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 518s Selecting previously unselected package libdeflate0:arm64. 518s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 518s Unpacking libdeflate0:arm64 (1.23-1) ... 518s Selecting previously unselected package libjbig0:arm64. 518s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 518s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 518s Selecting previously unselected package liblerc4:arm64. 518s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 518s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 518s Selecting previously unselected package libsharpyuv0:arm64. 518s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 518s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 518s Selecting previously unselected package libwebp7:arm64. 518s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 518s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 518s Selecting previously unselected package libtiff6:arm64. 518s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 518s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 518s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 519s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 519s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 519s Selecting previously unselected package gtk-update-icon-cache. 519s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_arm64.deb ... 519s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 519s 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. 519s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 519s Selecting previously unselected package hicolor-icon-theme. 519s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 519s Unpacking hicolor-icon-theme (0.18-2) ... 519s Selecting previously unselected package adwaita-icon-theme. 519s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 519s Unpacking adwaita-icon-theme (48~beta-3) ... 519s Selecting previously unselected package at-spi2-common. 519s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 519s Unpacking at-spi2-common (2.55.2-1) ... 519s Selecting previously unselected package libisl23:arm64. 519s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 519s Unpacking libisl23:arm64 (0.27-1) ... 519s Selecting previously unselected package libmpc3:arm64. 519s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 519s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 519s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 519s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 519s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 520s Selecting previously unselected package cpp-14. 520s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 520s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 520s Selecting previously unselected package cpp-aarch64-linux-gnu. 520s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 520s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 520s Selecting previously unselected package cpp. 520s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 520s Unpacking cpp (4:14.2.0-1ubuntu1) ... 520s Selecting previously unselected package libcln6:arm64. 520s Preparing to unpack .../20-libcln6_1.3.7-1_arm64.deb ... 520s Unpacking libcln6:arm64 (1.3.7-1) ... 520s Selecting previously unselected package libcryptominisat5-5.11t64:arm64. 520s Preparing to unpack .../21-libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_arm64.deb ... 520s Unpacking libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-1build1) ... 520s Selecting previously unselected package libcvc5-1:arm64. 520s Preparing to unpack .../22-libcvc5-1_1.1.2-2build1_arm64.deb ... 520s Unpacking libcvc5-1:arm64 (1.1.2-2build1) ... 520s Selecting previously unselected package libcvc5parser1:arm64. 520s Preparing to unpack .../23-libcvc5parser1_1.1.2-2build1_arm64.deb ... 520s Unpacking libcvc5parser1:arm64 (1.1.2-2build1) ... 520s Selecting previously unselected package cvc5. 520s Preparing to unpack .../24-cvc5_1.1.2-2build1_arm64.deb ... 520s Unpacking cvc5 (1.1.2-2build1) ... 520s Selecting previously unselected package libdconf1:arm64. 520s Preparing to unpack .../25-libdconf1_0.40.0-5_arm64.deb ... 520s Unpacking libdconf1:arm64 (0.40.0-5) ... 520s Selecting previously unselected package dconf-service. 520s Preparing to unpack .../26-dconf-service_0.40.0-5_arm64.deb ... 520s Unpacking dconf-service (0.40.0-5) ... 520s Selecting previously unselected package dconf-gsettings-backend:arm64. 520s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 520s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 520s Selecting previously unselected package fonts-dejavu-mono. 520s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 520s Unpacking fonts-dejavu-mono (2.37-8) ... 520s Selecting previously unselected package fonts-dejavu-core. 520s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 520s Unpacking fonts-dejavu-core (2.37-8) ... 521s Selecting previously unselected package fontconfig-config. 521s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_arm64.deb ... 521s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 521s Selecting previously unselected package libfontconfig1:arm64. 521s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_arm64.deb ... 521s Unpacking libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 521s Selecting previously unselected package fontconfig. 521s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_arm64.deb ... 521s Unpacking fontconfig (2.15.0-2ubuntu1) ... 521s Selecting previously unselected package libcc1-0:arm64. 521s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_arm64.deb ... 521s Unpacking libcc1-0:arm64 (15-20250213-1ubuntu1) ... 521s Selecting previously unselected package libgomp1:arm64. 521s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_arm64.deb ... 521s Unpacking libgomp1:arm64 (15-20250213-1ubuntu1) ... 521s Selecting previously unselected package libitm1:arm64. 521s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_arm64.deb ... 521s Unpacking libitm1:arm64 (15-20250213-1ubuntu1) ... 521s Selecting previously unselected package libasan8:arm64. 521s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_arm64.deb ... 521s Unpacking libasan8:arm64 (15-20250213-1ubuntu1) ... 521s Selecting previously unselected package liblsan0:arm64. 521s Preparing to unpack .../37-liblsan0_15-20250213-1ubuntu1_arm64.deb ... 521s Unpacking liblsan0:arm64 (15-20250213-1ubuntu1) ... 521s Selecting previously unselected package libtsan2:arm64. 521s Preparing to unpack .../38-libtsan2_15-20250213-1ubuntu1_arm64.deb ... 521s Unpacking libtsan2:arm64 (15-20250213-1ubuntu1) ... 521s Selecting previously unselected package libubsan1:arm64. 521s Preparing to unpack .../39-libubsan1_15-20250213-1ubuntu1_arm64.deb ... 521s Unpacking libubsan1:arm64 (15-20250213-1ubuntu1) ... 521s Selecting previously unselected package libhwasan0:arm64. 521s Preparing to unpack .../40-libhwasan0_15-20250213-1ubuntu1_arm64.deb ... 521s Unpacking libhwasan0:arm64 (15-20250213-1ubuntu1) ... 522s Selecting previously unselected package libgcc-14-dev:arm64. 522s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 522s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 522s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 522s Preparing to unpack .../42-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 522s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 522s Selecting previously unselected package gcc-14. 522s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 522s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 522s Selecting previously unselected package gcc-aarch64-linux-gnu. 522s Preparing to unpack .../44-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 522s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 522s Selecting previously unselected package gcc. 522s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 522s Unpacking gcc (4:14.2.0-1ubuntu1) ... 522s Selecting previously unselected package libatk1.0-0t64:arm64. 522s Preparing to unpack .../46-libatk1.0-0t64_2.55.2-1_arm64.deb ... 522s Unpacking libatk1.0-0t64:arm64 (2.55.2-1) ... 522s Selecting previously unselected package libxi6:arm64. 522s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_arm64.deb ... 522s Unpacking libxi6:arm64 (2:1.8.2-1) ... 522s Selecting previously unselected package libatspi2.0-0t64:arm64. 522s Preparing to unpack .../48-libatspi2.0-0t64_2.55.2-1_arm64.deb ... 522s Unpacking libatspi2.0-0t64:arm64 (2.55.2-1) ... 522s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 522s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.2-1_arm64.deb ... 522s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 522s Selecting previously unselected package libavahi-common-data:arm64. 523s Preparing to unpack .../50-libavahi-common-data_0.8-14ubuntu1_arm64.deb ... 523s Unpacking libavahi-common-data:arm64 (0.8-14ubuntu1) ... 523s Selecting previously unselected package libavahi-common3:arm64. 523s Preparing to unpack .../51-libavahi-common3_0.8-14ubuntu1_arm64.deb ... 523s Unpacking libavahi-common3:arm64 (0.8-14ubuntu1) ... 523s Selecting previously unselected package libavahi-client3:arm64. 523s Preparing to unpack .../52-libavahi-client3_0.8-14ubuntu1_arm64.deb ... 523s Unpacking libavahi-client3:arm64 (0.8-14ubuntu1) ... 523s Selecting previously unselected package libpixman-1-0:arm64. 523s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_arm64.deb ... 523s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 523s Selecting previously unselected package libxcb-render0:arm64. 523s Preparing to unpack .../54-libxcb-render0_1.17.0-2_arm64.deb ... 523s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 523s Selecting previously unselected package libxcb-shm0:arm64. 523s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_arm64.deb ... 523s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 523s Selecting previously unselected package libxrender1:arm64. 523s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 523s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 523s Selecting previously unselected package libcairo2:arm64. 523s Preparing to unpack .../57-libcairo2_1.18.2-2_arm64.deb ... 523s Unpacking libcairo2:arm64 (1.18.2-2) ... 523s Selecting previously unselected package libcairo-gobject2:arm64. 523s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_arm64.deb ... 523s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 523s Selecting previously unselected package libstdlib-ocaml. 523s Preparing to unpack .../59-libstdlib-ocaml_5.3.0-2_arm64.deb ... 523s Unpacking libstdlib-ocaml (5.3.0-2) ... 523s Selecting previously unselected package ocaml-base. 523s Preparing to unpack .../60-ocaml-base_5.3.0-2_arm64.deb ... 523s Unpacking ocaml-base (5.3.0-2) ... 523s Selecting previously unselected package libcairo2-ocaml. 523s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2build1_arm64.deb ... 523s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 523s Selecting previously unselected package liblcms2-2:arm64. 523s Preparing to unpack .../62-liblcms2-2_2.16-2_arm64.deb ... 523s Unpacking liblcms2-2:arm64 (2.16-2) ... 523s Selecting previously unselected package libcolord2:arm64. 523s Preparing to unpack .../63-libcolord2_1.4.7-1build2_arm64.deb ... 523s Unpacking libcolord2:arm64 (1.4.7-1build2) ... 523s Selecting previously unselected package libstdlib-ocaml-dev. 523s Preparing to unpack .../64-libstdlib-ocaml-dev_5.3.0-2_arm64.deb ... 523s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 523s Selecting previously unselected package libcompiler-libs-ocaml-dev. 523s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.3.0-2_arm64.deb ... 523s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 524s Selecting previously unselected package libcups2t64:arm64. 524s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 524s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 524s Selecting previously unselected package libdatrie1:arm64. 524s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_arm64.deb ... 524s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 524s Selecting previously unselected package libepoxy0:arm64. 524s Preparing to unpack .../68-libepoxy0_1.5.10-2_arm64.deb ... 524s Unpacking libepoxy0:arm64 (1.5.10-2) ... 524s Selecting previously unselected package libgraphite2-3:arm64. 524s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 524s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 524s Selecting previously unselected package libharfbuzz0b:arm64. 524s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_arm64.deb ... 524s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 524s Selecting previously unselected package libthai-data. 524s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 524s Unpacking libthai-data (0.1.29-2build1) ... 524s Selecting previously unselected package libthai0:arm64. 524s Preparing to unpack .../72-libthai0_0.1.29-2build1_arm64.deb ... 524s Unpacking libthai0:arm64 (0.1.29-2build1) ... 524s Selecting previously unselected package libpango-1.0-0:arm64. 524s Preparing to unpack .../73-libpango-1.0-0_1.56.1-1_arm64.deb ... 524s Unpacking libpango-1.0-0:arm64 (1.56.1-1) ... 524s Selecting previously unselected package libpangoft2-1.0-0:arm64. 524s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.1-1_arm64.deb ... 524s Unpacking libpangoft2-1.0-0:arm64 (1.56.1-1) ... 524s Selecting previously unselected package libpangocairo-1.0-0:arm64. 524s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.1-1_arm64.deb ... 524s Unpacking libpangocairo-1.0-0:arm64 (1.56.1-1) ... 524s Selecting previously unselected package libwayland-client0:arm64. 524s Preparing to unpack .../76-libwayland-client0_1.23.1-3_arm64.deb ... 524s Unpacking libwayland-client0:arm64 (1.23.1-3) ... 524s Selecting previously unselected package libwayland-cursor0:arm64. 524s Preparing to unpack .../77-libwayland-cursor0_1.23.1-3_arm64.deb ... 524s Unpacking libwayland-cursor0:arm64 (1.23.1-3) ... 524s Selecting previously unselected package libwayland-egl1:arm64. 525s Preparing to unpack .../78-libwayland-egl1_1.23.1-3_arm64.deb ... 525s Unpacking libwayland-egl1:arm64 (1.23.1-3) ... 525s Selecting previously unselected package libxcomposite1:arm64. 525s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 525s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 525s Selecting previously unselected package libxfixes3:arm64. 525s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 525s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 525s Selecting previously unselected package libxcursor1:arm64. 525s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_arm64.deb ... 525s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 525s Selecting previously unselected package libxdamage1:arm64. 525s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 525s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 525s Selecting previously unselected package libxinerama1:arm64. 525s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 525s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 525s Selecting previously unselected package libxrandr2:arm64. 525s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_arm64.deb ... 525s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 525s Selecting previously unselected package libgtk-3-common. 525s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 525s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 525s Selecting previously unselected package libgtk-3-0t64:arm64. 525s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 525s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 525s Selecting previously unselected package libgtksourceview-3.0-common. 525s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 525s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 525s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 525s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 525s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 525s Selecting previously unselected package liblablgtk3-ocaml. 525s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build2_arm64.deb ... 525s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 525s Selecting previously unselected package liblablgtksourceview3-ocaml. 525s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build2_arm64.deb ... 525s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 525s Selecting previously unselected package libncurses-dev:arm64. 525s Preparing to unpack .../91-libncurses-dev_6.5+20250125-2_arm64.deb ... 525s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 525s Selecting previously unselected package libzstd-dev:arm64. 525s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 525s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 525s Selecting previously unselected package ocaml-interp. 526s Preparing to unpack .../93-ocaml-interp_5.3.0-2_arm64.deb ... 526s Unpacking ocaml-interp (5.3.0-2) ... 526s Selecting previously unselected package ocaml. 526s Preparing to unpack .../94-ocaml_5.3.0-2_arm64.deb ... 526s Unpacking ocaml (5.3.0-2) ... 526s Selecting previously unselected package tex-common. 526s Preparing to unpack .../95-tex-common_6.18_all.deb ... 526s Unpacking tex-common (6.18) ... 526s Selecting previously unselected package why3. 526s Preparing to unpack .../96-why3_1.8.0-2_arm64.deb ... 526s Unpacking why3 (1.8.0-2) ... 527s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 527s Setting up liblcms2-2:arm64 (2.16-2) ... 527s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 527s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 527s Setting up libcln6:arm64 (1.3.7-1) ... 527s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 527s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 527s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 527s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 527s Setting up hicolor-icon-theme (0.18-2) ... 527s Setting up libxi6:arm64 (2:1.8.2-1) ... 527s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 527s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 527s Setting up libxcb-render0:arm64 (1.17.0-2) ... 527s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 527s Setting up libdeflate0:arm64 (1.23-1) ... 527s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 527s Setting up libgomp1:arm64 (15-20250213-1ubuntu1) ... 527s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 527s Setting up libcryptominisat5-5.11t64:arm64 (5.11.21+dfsg1-1build1) ... 527s Setting up libcolord2:arm64 (1.4.7-1build2) ... 527s Setting up libdconf1:arm64 (0.40.0-5) ... 527s Setting up tex-common (6.18) ... 527s update-language: texlive-base not installed and configured, doing nothing! 527s Setting up libepoxy0:arm64 (1.5.10-2) ... 527s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 527s Setting up libavahi-common-data:arm64 (0.8-14ubuntu1) ... 527s Setting up libatspi2.0-0t64:arm64 (2.55.2-1) ... 527s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 527s Setting up libstdlib-ocaml (5.3.0-2) ... 527s Setting up fonts-dejavu-mono (2.37-8) ... 527s Setting up libmpc3:arm64 (1.3.1-1build2) ... 527s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 527s Setting up ocaml-base (5.3.0-2) ... 527s Setting up fonts-dejavu-core (2.37-8) ... 527s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 527s Setting up libwebp7:arm64 (1.5.0-0.1) ... 527s Setting up libubsan1:arm64 (15-20250213-1ubuntu1) ... 527s Setting up libhwasan0:arm64 (15-20250213-1ubuntu1) ... 527s Setting up at-spi2-common (2.55.2-1) ... 527s Setting up libasan8:arm64 (15-20250213-1ubuntu1) ... 527s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 527s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 527s Setting up libthai-data (0.1.29-2build1) ... 527s Setting up libwayland-egl1:arm64 (1.23.1-3) ... 527s Setting up libtsan2:arm64 (15-20250213-1ubuntu1) ... 527s Setting up libisl23:arm64 (0.27-1) ... 527s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 527s Setting up libcc1-0:arm64 (15-20250213-1ubuntu1) ... 527s Setting up liblsan0:arm64 (15-20250213-1ubuntu1) ... 527s Setting up libitm1:arm64 (15-20250213-1ubuntu1) ... 527s Setting up libwayland-client0:arm64 (1.23.1-3) ... 527s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 527s Setting up libcvc5-1:arm64 (1.1.2-2build1) ... 527s Setting up libatk1.0-0t64:arm64 (2.55.2-1) ... 527s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 527s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 527s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 527s Setting up libavahi-common3:arm64 (0.8-14ubuntu1) ... 527s Setting up dconf-service (0.40.0-5) ... 527s Setting up libthai0:arm64 (0.1.29-2build1) ... 527s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 527s Setting up ocaml-interp (5.3.0-2) ... 527s Setting up libcvc5parser1:arm64 (1.1.2-2build1) ... 527s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 527s Setting up cvc5 (1.1.2-2build1) ... 527s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 527s Setting up libwayland-cursor0:arm64 (1.23.1-3) ... 527s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 527s Setting up libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 527s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 527s Setting up libavahi-client3:arm64 (0.8-14ubuntu1) ... 527s Setting up libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 527s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 527s Setting up fontconfig (2.15.0-2ubuntu1) ... 529s Regenerating fonts cache... done. 529s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 529s Setting up libpango-1.0-0:arm64 (1.56.1-1) ... 529s Setting up libcairo2:arm64 (1.18.2-2) ... 529s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 529s Setting up adwaita-icon-theme (48~beta-3) ... 529s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 529s Setting up cpp-14 (14.2.0-17ubuntu3) ... 530s Setting up cpp (4:14.2.0-1ubuntu1) ... 530s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 530s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 530s Setting up libpangoft2-1.0-0:arm64 (1.56.1-1) ... 530s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 530s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 530s Setting up libpangocairo-1.0-0:arm64 (1.56.1-1) ... 530s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 530s Setting up libcairo2-ocaml (0.6.5-2build1) ... 530s Setting up gcc-14 (14.2.0-17ubuntu3) ... 530s Setting up gcc (4:14.2.0-1ubuntu1) ... 530s Setting up ocaml (5.3.0-2) ... 530s Processing triggers for libc-bin (2.40-4ubuntu1) ... 530s Processing triggers for man-db (2.13.0-1) ... 531s Processing triggers for libglib2.0-0t64:arm64 (2.83.4-1) ... 531s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 531s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 531s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 531s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 531s Setting up why3 (1.8.0-2) ... 531s Processing triggers for libc-bin (2.40-4ubuntu1) ... 541s autopkgtest [05:28:25]: test why3+cvc5: [----------------------- 543s autopkgtest [05:28:27]: test why3+cvc5: -----------------------] 544s autopkgtest [05:28:28]: test why3+cvc5: - - - - - - - - - - results - - - - - - - - - - 544s why3+cvc5 PASS 544s autopkgtest [05:28:28]: test why3+spass: preparing testbed 657s autopkgtest [05:30:21]: testbed dpkg architecture: arm64 657s autopkgtest [05:30:21]: testbed apt version: 2.9.30ubuntu1 658s autopkgtest [05:30:22]: @@@@@@@@@@@@@@@@@@@@ test bed setup 658s autopkgtest [05:30:22]: testbed release detected to be: plucky 659s autopkgtest [05:30:23]: updating testbed package index (apt update) 659s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 659s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 659s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 660s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 660s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.1 kB] 660s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [508 kB] 660s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 660s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 660s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [122 kB] 660s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 660s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [451 kB] 660s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [9060 B] 660s Fetched 1305 kB in 1s (1455 kB/s) 661s Reading package lists... 662s Reading package lists... 663s Building dependency tree... 663s Reading state information... 664s Calculating upgrade... 664s Calculating upgrade... 665s The following packages will be upgraded: 665s apparmor base-files cloud-init cloud-init-base gcc-14-base libapparmor1 665s libclang-cpp18 libclang1-19 libgnutls30t64 libllvm18 libllvm19 liblsof0 665s libnss3 libperl5.40 lsof motd-news-config perl perl-base perl-modules-5.40 665s ucf vim-common vim-tiny xxd 665s 23 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 665s Need to get 90.2 MB of archives. 665s After this operation, 11.3 kB of additional disk space will be used. 665s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 motd-news-config all 13.6ubuntu1 [5168 B] 666s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 base-files arm64 13.6ubuntu1 [75.6 kB] 666s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 perl-modules-5.40 all 5.40.1-2 [3217 kB] 666s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libperl5.40 arm64 5.40.1-2 [4779 kB] 666s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 perl arm64 5.40.1-2 [262 kB] 666s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 perl-base arm64 5.40.1-2 [1788 kB] 666s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-base arm64 14.2.0-17ubuntu3 [53.6 kB] 666s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libapparmor1 arm64 4.1.0~beta5-0ubuntu5 [53.7 kB] 666s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libgnutls30t64 arm64 3.8.9-2ubuntu2 [962 kB] 666s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 ucf all 3.0050 [43.5 kB] 666s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 vim-tiny arm64 2:9.1.0967-1ubuntu2 [807 kB] 666s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 vim-common all 2:9.1.0967-1ubuntu2 [396 kB] 666s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 xxd arm64 2:9.1.0967-1ubuntu2 [67.8 kB] 666s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 apparmor arm64 4.1.0~beta5-0ubuntu5 [660 kB] 666s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 lsof arm64 4.99.4+dfsg-2 [236 kB] 667s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsof0 arm64 4.99.4+dfsg-2 [54.0 kB] 667s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cloud-init-base all 25.1-0ubuntu1 [616 kB] 667s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libclang-cpp18 arm64 1:18.1.8-16build1 [13.1 MB] 667s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libllvm18 arm64 1:18.1.8-16build1 [26.3 MB] 668s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libllvm19 arm64 1:19.1.7-1ubuntu2 [27.3 MB] 669s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libclang1-19 arm64 1:19.1.7-1ubuntu2 [7986 kB] 670s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libnss3 arm64 2:3.108-1ubuntu1 [1446 kB] 670s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 cloud-init all 25.1-0ubuntu1 [2088 B] 670s Preconfiguring packages ... 671s Fetched 90.2 MB in 5s (19.6 MB/s) 671s (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 ... 116668 files and directories currently installed.) 671s Preparing to unpack .../motd-news-config_13.6ubuntu1_all.deb ... 671s Unpacking motd-news-config (13.6ubuntu1) over (13.5ubuntu3) ... 671s Preparing to unpack .../base-files_13.6ubuntu1_arm64.deb ... 671s Unpacking base-files (13.6ubuntu1) over (13.5ubuntu3) ... 671s Setting up base-files (13.6ubuntu1) ... 671s Updating /root/.profile to current default. 672s motd-news.service is a disabled or a static unit not running, not starting it. 672s (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 ... 116668 files and directories currently installed.) 672s Preparing to unpack .../perl_5.40.1-2_arm64.deb ... 672s Unpacking perl (5.40.1-2) over (5.40.0-8) ... 672s Preparing to unpack .../perl-modules-5.40_5.40.1-2_all.deb ... 672s Unpacking perl-modules-5.40 (5.40.1-2) over (5.40.0-8) ... 673s Preparing to unpack .../libperl5.40_5.40.1-2_arm64.deb ... 673s Unpacking libperl5.40:arm64 (5.40.1-2) over (5.40.0-8) ... 673s Preparing to unpack .../perl-base_5.40.1-2_arm64.deb ... 673s Unpacking perl-base (5.40.1-2) over (5.40.0-8) ... 674s Setting up perl-base (5.40.1-2) ... 674s (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 ... 116668 files and directories currently installed.) 674s Preparing to unpack .../00-gcc-14-base_14.2.0-17ubuntu3_arm64.deb ... 674s Unpacking gcc-14-base:arm64 (14.2.0-17ubuntu3) over (14.2.0-17ubuntu1) ... 674s Preparing to unpack .../01-libapparmor1_4.1.0~beta5-0ubuntu5_arm64.deb ... 674s Unpacking libapparmor1:arm64 (4.1.0~beta5-0ubuntu5) over (4.1.0~beta5-0ubuntu4) ... 674s Preparing to unpack .../02-libgnutls30t64_3.8.9-2ubuntu2_arm64.deb ... 674s Unpacking libgnutls30t64:arm64 (3.8.9-2ubuntu2) over (3.8.9-2ubuntu1) ... 674s Preparing to unpack .../03-ucf_3.0050_all.deb ... 674s Unpacking ucf (3.0050) over (3.0049) ... 674s Preparing to unpack .../04-vim-tiny_2%3a9.1.0967-1ubuntu2_arm64.deb ... 674s Unpacking vim-tiny (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 674s Preparing to unpack .../05-vim-common_2%3a9.1.0967-1ubuntu2_all.deb ... 674s Unpacking vim-common (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 674s Preparing to unpack .../06-xxd_2%3a9.1.0967-1ubuntu2_arm64.deb ... 674s Unpacking xxd (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 674s Preparing to unpack .../07-apparmor_4.1.0~beta5-0ubuntu5_arm64.deb ... 676s Unpacking apparmor (4.1.0~beta5-0ubuntu5) over (4.1.0~beta5-0ubuntu4) ... 676s Preparing to unpack .../08-lsof_4.99.4+dfsg-2_arm64.deb ... 676s Unpacking lsof (4.99.4+dfsg-2) over (4.99.4+dfsg-1) ... 676s Preparing to unpack .../09-liblsof0_4.99.4+dfsg-2_arm64.deb ... 676s Unpacking liblsof0 (4.99.4+dfsg-2) over (4.99.4+dfsg-1) ... 676s Preparing to unpack .../10-cloud-init-base_25.1-0ubuntu1_all.deb ... 676s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 676s for fn in glob1(directory, "%s.*" % fname): 677s Unpacking cloud-init-base (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 677s Preparing to unpack .../11-libclang-cpp18_1%3a18.1.8-16build1_arm64.deb ... 677s Unpacking libclang-cpp18 (1:18.1.8-16build1) over (1:18.1.8-15) ... 678s Preparing to unpack .../12-libllvm18_1%3a18.1.8-16build1_arm64.deb ... 678s Unpacking libllvm18:arm64 (1:18.1.8-16build1) over (1:18.1.8-15) ... 678s Preparing to unpack .../13-libllvm19_1%3a19.1.7-1ubuntu2_arm64.deb ... 678s Unpacking libllvm19:arm64 (1:19.1.7-1ubuntu2) over (1:19.1.7-1ubuntu1) ... 680s Preparing to unpack .../14-libclang1-19_1%3a19.1.7-1ubuntu2_arm64.deb ... 680s Unpacking libclang1-19 (1:19.1.7-1ubuntu2) over (1:19.1.7-1ubuntu1) ... 680s Preparing to unpack .../15-libnss3_2%3a3.108-1ubuntu1_arm64.deb ... 680s Unpacking libnss3:arm64 (2:3.108-1ubuntu1) over (2:3.107-1ubuntu1) ... 680s Preparing to unpack .../16-cloud-init_25.1-0ubuntu1_all.deb ... 680s Unpacking cloud-init (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 680s Setting up libgnutls30t64:arm64 (3.8.9-2ubuntu2) ... 680s Setting up motd-news-config (13.6ubuntu1) ... 680s Setting up libllvm19:arm64 (1:19.1.7-1ubuntu2) ... 680s Setting up libapparmor1:arm64 (4.1.0~beta5-0ubuntu5) ... 680s Setting up libclang1-19 (1:19.1.7-1ubuntu2) ... 680s Setting up gcc-14-base:arm64 (14.2.0-17ubuntu3) ... 680s Setting up liblsof0 (4.99.4+dfsg-2) ... 680s Setting up libnss3:arm64 (2:3.108-1ubuntu1) ... 680s Setting up cloud-init-base (25.1-0ubuntu1) ... 683s Setting up xxd (2:9.1.0967-1ubuntu2) ... 683s Setting up apparmor (4.1.0~beta5-0ubuntu5) ... 683s Installing new version of config file /etc/apparmor.d/fusermount3 ... 685s Reloading AppArmor profiles 687s Setting up vim-common (2:9.1.0967-1ubuntu2) ... 687s Setting up ucf (3.0050) ... 687s Setting up lsof (4.99.4+dfsg-2) ... 687s Setting up perl-modules-5.40 (5.40.1-2) ... 687s Setting up libllvm18:arm64 (1:18.1.8-16build1) ... 687s Setting up cloud-init (25.1-0ubuntu1) ... 687s Setting up vim-tiny (2:9.1.0967-1ubuntu2) ... 687s Setting up libperl5.40:arm64 (5.40.1-2) ... 687s Setting up perl (5.40.1-2) ... 687s Setting up libclang-cpp18 (1:18.1.8-16build1) ... 687s Processing triggers for rsyslog (8.2412.0-2ubuntu1) ... 687s Processing triggers for systemd (257.2-3ubuntu1) ... 687s Processing triggers for man-db (2.13.0-1) ... 689s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-2ubuntu5) ... 689s Processing triggers for install-info (7.1.1-1) ... 690s Processing triggers for libc-bin (2.40-4ubuntu1) ... 690s Processing triggers for initramfs-tools (0.145ubuntu2) ... 690s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 690s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 718s System running in EFI mode, skipping. 719s Reading package lists... 719s Building dependency tree... 719s Reading state information... 720s Solving dependencies... 721s 0 upgraded, 0 newly installed, 0 to remove and 3 not upgraded. 721s autopkgtest [05:31:25]: upgrading testbed (apt dist-upgrade and autopurge) 721s Reading package lists... 722s Building dependency tree... 722s Reading state information... 723s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 723s Starting 2 pkgProblemResolver with broken count: 0 723s Done 724s Entering ResolveByKeep 724s 725s Calculating upgrade... 725s The following packages will be upgraded: 725s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 725s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 725s Need to get 1808 kB of archives. 725s After this operation, 2048 B of additional disk space will be used. 725s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 gir1.2-glib-2.0 arm64 2.83.4-1 [185 kB] 726s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libglib2.0-0t64 arm64 2.83.4-1 [1570 kB] 726s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libglib2.0-data all 2.83.4-1 [52.9 kB] 727s Fetched 1808 kB in 1s (2800 kB/s) 727s (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 ... 116669 files and directories currently installed.) 727s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_arm64.deb ... 727s Unpacking gir1.2-glib-2.0:arm64 (2.83.4-1) over (2.83.3-2) ... 727s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_arm64.deb ... 727s Unpacking libglib2.0-0t64:arm64 (2.83.4-1) over (2.83.3-2) ... 727s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 727s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 727s Setting up libglib2.0-0t64:arm64 (2.83.4-1) ... 727s No schema files found: doing nothing. 727s Setting up libglib2.0-data (2.83.4-1) ... 727s Setting up gir1.2-glib-2.0:arm64 (2.83.4-1) ... 727s Processing triggers for libc-bin (2.40-4ubuntu1) ... 727s Reading package lists... 728s Building dependency tree... 728s Reading state information... 729s Starting pkgProblemResolver with broken count: 0 729s Starting 2 pkgProblemResolver with broken count: 0 729s Done 730s Solving dependencies... 730s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 731s autopkgtest [05:31:35]: rebooting testbed after setup commands that affected boot 762s Reading package lists... 763s Building dependency tree... 763s Reading state information... 763s Starting pkgProblemResolver with broken count: 0 764s Starting 2 pkgProblemResolver with broken count: 0 764s Done 765s The following NEW packages will be installed: 765s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 765s cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 765s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 765s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 765s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 765s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 765s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 765s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 765s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 765s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 765s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 765s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 765s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 765s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 765s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 765s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 765s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 765s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 765s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 765s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 765s Need to get 166 MB of archives. 765s After this operation, 529 MB of additional disk space will be used. 765s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 765s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 766s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 766s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 766s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 766s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 766s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 766s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 766s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 766s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 766s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.4+ds-4 [52.5 kB] 766s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 766s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48~beta-3 [578 kB] 766s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.2-1 [8916 B] 766s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 766s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 766s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 766s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 766s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 766s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 766s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 766s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 766s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 766s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 766s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 766s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-2ubuntu1 [37.5 kB] 766s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-2ubuntu1 [144 kB] 766s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-2ubuntu1 [191 kB] 766s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250213-1ubuntu1 [44.2 kB] 766s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250213-1ubuntu1 [146 kB] 766s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250213-1ubuntu1 [28.0 kB] 766s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250213-1ubuntu1 [2928 kB] 767s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250213-1ubuntu1 [1319 kB] 767s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250213-1ubuntu1 [2695 kB] 767s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250213-1ubuntu1 [1178 kB] 767s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250213-1ubuntu1 [1642 kB] 767s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 767s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 767s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 767s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 767s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 767s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.2-1 [55.2 kB] 767s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 767s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.2-1 [80.6 kB] 767s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.2-1 [66.7 kB] 767s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-14ubuntu1 [30.5 kB] 767s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-14ubuntu1 [23.1 kB] 767s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-14ubuntu1 [27.3 kB] 767s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 768s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 768s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 768s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 768s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 768s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 768s Get:55 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.3.0-2 [428 kB] 768s Get:56 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.3.0-2 [307 kB] 768s Get:57 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2build1 [27.1 kB] 768s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 768s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-1build2 [149 kB] 768s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-2 [7846 kB] 768s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-2 [47.9 MB] 770s Get:62 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 770s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 770s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 770s Get:65 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 770s Get:66 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 770s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 770s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 770s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.1-1 [238 kB] 770s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.1-1 [49.6 kB] 770s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.1-1 [27.6 kB] 770s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-3 [27.0 kB] 770s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-3 [10.8 kB] 770s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-3 [6180 B] 770s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 770s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 770s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 770s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 770s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 770s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 770s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 770s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 770s Get:83 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 770s Get:84 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 770s Get:85 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build2 [3700 kB] 770s Get:86 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build2 [343 kB] 770s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 770s Get:88 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 770s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.3.0-2 [8367 kB] 770s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.3.0-2 [23.4 MB] 771s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 spass arm64 3.9-1.1 [254 kB] 771s Get:92 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.18 [32.8 kB] 771s Get:93 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.8.0-2 [15.4 MB] 773s Fetched 166 MB in 7s (24.5 MB/s) 773s Selecting previously unselected package libgdk-pixbuf2.0-common. 773s (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 ... 116669 files and directories currently installed.) 773s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 773s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 773s Selecting previously unselected package libjpeg-turbo8:arm64. 773s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 773s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 773s Selecting previously unselected package libjpeg8:arm64. 773s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 773s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 773s Selecting previously unselected package libdeflate0:arm64. 773s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 773s Unpacking libdeflate0:arm64 (1.23-1) ... 773s Selecting previously unselected package libjbig0:arm64. 774s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 774s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 774s Selecting previously unselected package liblerc4:arm64. 774s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 774s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 774s Selecting previously unselected package libsharpyuv0:arm64. 774s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 774s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 774s Selecting previously unselected package libwebp7:arm64. 774s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 774s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 774s Selecting previously unselected package libtiff6:arm64. 774s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 774s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 774s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 774s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 774s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 774s Selecting previously unselected package gtk-update-icon-cache. 774s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_arm64.deb ... 774s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 774s 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. 774s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 774s Selecting previously unselected package hicolor-icon-theme. 774s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 774s Unpacking hicolor-icon-theme (0.18-2) ... 774s Selecting previously unselected package adwaita-icon-theme. 774s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 774s Unpacking adwaita-icon-theme (48~beta-3) ... 775s Selecting previously unselected package at-spi2-common. 775s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 775s Unpacking at-spi2-common (2.55.2-1) ... 775s Selecting previously unselected package libisl23:arm64. 775s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 775s Unpacking libisl23:arm64 (0.27-1) ... 775s Selecting previously unselected package libmpc3:arm64. 775s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 775s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 775s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 775s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 775s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 775s Selecting previously unselected package cpp-14. 775s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 775s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 775s Selecting previously unselected package cpp-aarch64-linux-gnu. 775s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 775s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 775s Selecting previously unselected package cpp. 775s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 775s Unpacking cpp (4:14.2.0-1ubuntu1) ... 775s Selecting previously unselected package libdconf1:arm64. 776s Preparing to unpack .../20-libdconf1_0.40.0-5_arm64.deb ... 776s Unpacking libdconf1:arm64 (0.40.0-5) ... 776s Selecting previously unselected package dconf-service. 776s Preparing to unpack .../21-dconf-service_0.40.0-5_arm64.deb ... 776s Unpacking dconf-service (0.40.0-5) ... 776s Selecting previously unselected package dconf-gsettings-backend:arm64. 776s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 776s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 776s Selecting previously unselected package fonts-dejavu-mono. 776s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 776s Unpacking fonts-dejavu-mono (2.37-8) ... 776s Selecting previously unselected package fonts-dejavu-core. 776s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 776s Unpacking fonts-dejavu-core (2.37-8) ... 776s Selecting previously unselected package fontconfig-config. 776s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_arm64.deb ... 776s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 776s Selecting previously unselected package libfontconfig1:arm64. 776s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_arm64.deb ... 776s Unpacking libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 777s Selecting previously unselected package fontconfig. 777s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_arm64.deb ... 777s Unpacking fontconfig (2.15.0-2ubuntu1) ... 777s Selecting previously unselected package libcc1-0:arm64. 777s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_arm64.deb ... 777s Unpacking libcc1-0:arm64 (15-20250213-1ubuntu1) ... 777s Selecting previously unselected package libgomp1:arm64. 777s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_arm64.deb ... 777s Unpacking libgomp1:arm64 (15-20250213-1ubuntu1) ... 777s Selecting previously unselected package libitm1:arm64. 777s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_arm64.deb ... 777s Unpacking libitm1:arm64 (15-20250213-1ubuntu1) ... 777s Selecting previously unselected package libasan8:arm64. 777s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_arm64.deb ... 777s Unpacking libasan8:arm64 (15-20250213-1ubuntu1) ... 777s Selecting previously unselected package liblsan0:arm64. 777s Preparing to unpack .../32-liblsan0_15-20250213-1ubuntu1_arm64.deb ... 777s Unpacking liblsan0:arm64 (15-20250213-1ubuntu1) ... 777s Selecting previously unselected package libtsan2:arm64. 777s Preparing to unpack .../33-libtsan2_15-20250213-1ubuntu1_arm64.deb ... 777s Unpacking libtsan2:arm64 (15-20250213-1ubuntu1) ... 777s Selecting previously unselected package libubsan1:arm64. 777s Preparing to unpack .../34-libubsan1_15-20250213-1ubuntu1_arm64.deb ... 777s Unpacking libubsan1:arm64 (15-20250213-1ubuntu1) ... 777s Selecting previously unselected package libhwasan0:arm64. 777s Preparing to unpack .../35-libhwasan0_15-20250213-1ubuntu1_arm64.deb ... 777s Unpacking libhwasan0:arm64 (15-20250213-1ubuntu1) ... 778s Selecting previously unselected package libgcc-14-dev:arm64. 778s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 778s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 778s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 778s Preparing to unpack .../37-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 778s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 778s Selecting previously unselected package gcc-14. 778s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 778s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 778s Selecting previously unselected package gcc-aarch64-linux-gnu. 778s Preparing to unpack .../39-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 778s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 778s Selecting previously unselected package gcc. 779s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 779s Unpacking gcc (4:14.2.0-1ubuntu1) ... 779s Selecting previously unselected package libatk1.0-0t64:arm64. 779s Preparing to unpack .../41-libatk1.0-0t64_2.55.2-1_arm64.deb ... 779s Unpacking libatk1.0-0t64:arm64 (2.55.2-1) ... 779s Selecting previously unselected package libxi6:arm64. 779s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_arm64.deb ... 779s Unpacking libxi6:arm64 (2:1.8.2-1) ... 779s Selecting previously unselected package libatspi2.0-0t64:arm64. 779s Preparing to unpack .../43-libatspi2.0-0t64_2.55.2-1_arm64.deb ... 779s Unpacking libatspi2.0-0t64:arm64 (2.55.2-1) ... 779s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 779s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.2-1_arm64.deb ... 779s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 779s Selecting previously unselected package libavahi-common-data:arm64. 779s Preparing to unpack .../45-libavahi-common-data_0.8-14ubuntu1_arm64.deb ... 779s Unpacking libavahi-common-data:arm64 (0.8-14ubuntu1) ... 779s Selecting previously unselected package libavahi-common3:arm64. 779s Preparing to unpack .../46-libavahi-common3_0.8-14ubuntu1_arm64.deb ... 779s Unpacking libavahi-common3:arm64 (0.8-14ubuntu1) ... 779s Selecting previously unselected package libavahi-client3:arm64. 779s Preparing to unpack .../47-libavahi-client3_0.8-14ubuntu1_arm64.deb ... 779s Unpacking libavahi-client3:arm64 (0.8-14ubuntu1) ... 779s Selecting previously unselected package libpixman-1-0:arm64. 779s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_arm64.deb ... 779s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 779s Selecting previously unselected package libxcb-render0:arm64. 779s Preparing to unpack .../49-libxcb-render0_1.17.0-2_arm64.deb ... 779s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 779s Selecting previously unselected package libxcb-shm0:arm64. 779s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_arm64.deb ... 779s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 779s Selecting previously unselected package libxrender1:arm64. 779s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 779s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 779s Selecting previously unselected package libcairo2:arm64. 779s Preparing to unpack .../52-libcairo2_1.18.2-2_arm64.deb ... 779s Unpacking libcairo2:arm64 (1.18.2-2) ... 779s Selecting previously unselected package libcairo-gobject2:arm64. 780s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_arm64.deb ... 780s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 780s Selecting previously unselected package libstdlib-ocaml. 780s Preparing to unpack .../54-libstdlib-ocaml_5.3.0-2_arm64.deb ... 780s Unpacking libstdlib-ocaml (5.3.0-2) ... 780s Selecting previously unselected package ocaml-base. 780s Preparing to unpack .../55-ocaml-base_5.3.0-2_arm64.deb ... 780s Unpacking ocaml-base (5.3.0-2) ... 780s Selecting previously unselected package libcairo2-ocaml. 780s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2build1_arm64.deb ... 780s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 780s Selecting previously unselected package liblcms2-2:arm64. 780s Preparing to unpack .../57-liblcms2-2_2.16-2_arm64.deb ... 780s Unpacking liblcms2-2:arm64 (2.16-2) ... 780s Selecting previously unselected package libcolord2:arm64. 780s Preparing to unpack .../58-libcolord2_1.4.7-1build2_arm64.deb ... 780s Unpacking libcolord2:arm64 (1.4.7-1build2) ... 780s Selecting previously unselected package libstdlib-ocaml-dev. 780s Preparing to unpack .../59-libstdlib-ocaml-dev_5.3.0-2_arm64.deb ... 780s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 780s Selecting previously unselected package libcompiler-libs-ocaml-dev. 780s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.3.0-2_arm64.deb ... 780s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 781s Selecting previously unselected package libcups2t64:arm64. 781s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 781s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 781s Selecting previously unselected package libdatrie1:arm64. 781s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_arm64.deb ... 781s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 781s Selecting previously unselected package libepoxy0:arm64. 781s Preparing to unpack .../63-libepoxy0_1.5.10-2_arm64.deb ... 781s Unpacking libepoxy0:arm64 (1.5.10-2) ... 781s Selecting previously unselected package libgraphite2-3:arm64. 781s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 781s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 781s Selecting previously unselected package libharfbuzz0b:arm64. 781s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_arm64.deb ... 781s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 781s Selecting previously unselected package libthai-data. 781s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 781s Unpacking libthai-data (0.1.29-2build1) ... 781s Selecting previously unselected package libthai0:arm64. 781s Preparing to unpack .../67-libthai0_0.1.29-2build1_arm64.deb ... 781s Unpacking libthai0:arm64 (0.1.29-2build1) ... 782s Selecting previously unselected package libpango-1.0-0:arm64. 782s Preparing to unpack .../68-libpango-1.0-0_1.56.1-1_arm64.deb ... 782s Unpacking libpango-1.0-0:arm64 (1.56.1-1) ... 782s Selecting previously unselected package libpangoft2-1.0-0:arm64. 782s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.1-1_arm64.deb ... 782s Unpacking libpangoft2-1.0-0:arm64 (1.56.1-1) ... 782s Selecting previously unselected package libpangocairo-1.0-0:arm64. 782s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.1-1_arm64.deb ... 782s Unpacking libpangocairo-1.0-0:arm64 (1.56.1-1) ... 782s Selecting previously unselected package libwayland-client0:arm64. 782s Preparing to unpack .../71-libwayland-client0_1.23.1-3_arm64.deb ... 782s Unpacking libwayland-client0:arm64 (1.23.1-3) ... 782s Selecting previously unselected package libwayland-cursor0:arm64. 782s Preparing to unpack .../72-libwayland-cursor0_1.23.1-3_arm64.deb ... 782s Unpacking libwayland-cursor0:arm64 (1.23.1-3) ... 782s Selecting previously unselected package libwayland-egl1:arm64. 782s Preparing to unpack .../73-libwayland-egl1_1.23.1-3_arm64.deb ... 782s Unpacking libwayland-egl1:arm64 (1.23.1-3) ... 782s Selecting previously unselected package libxcomposite1:arm64. 782s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 782s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 782s Selecting previously unselected package libxfixes3:arm64. 782s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 782s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 782s Selecting previously unselected package libxcursor1:arm64. 782s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_arm64.deb ... 782s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 782s Selecting previously unselected package libxdamage1:arm64. 782s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 782s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 782s Selecting previously unselected package libxinerama1:arm64. 782s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 782s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 783s Selecting previously unselected package libxrandr2:arm64. 783s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_arm64.deb ... 783s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 783s Selecting previously unselected package libgtk-3-common. 783s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 783s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 783s Selecting previously unselected package libgtk-3-0t64:arm64. 783s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 783s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 783s Selecting previously unselected package libgtksourceview-3.0-common. 783s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 783s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 783s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 783s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 783s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 783s Selecting previously unselected package liblablgtk3-ocaml. 783s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build2_arm64.deb ... 783s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 783s Selecting previously unselected package liblablgtksourceview3-ocaml. 783s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build2_arm64.deb ... 783s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 783s Selecting previously unselected package libncurses-dev:arm64. 783s Preparing to unpack .../86-libncurses-dev_6.5+20250125-2_arm64.deb ... 783s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 784s Selecting previously unselected package libzstd-dev:arm64. 784s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 784s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 784s Selecting previously unselected package ocaml-interp. 784s Preparing to unpack .../88-ocaml-interp_5.3.0-2_arm64.deb ... 784s Unpacking ocaml-interp (5.3.0-2) ... 784s Selecting previously unselected package ocaml. 784s Preparing to unpack .../89-ocaml_5.3.0-2_arm64.deb ... 784s Unpacking ocaml (5.3.0-2) ... 785s Selecting previously unselected package spass. 785s Preparing to unpack .../90-spass_3.9-1.1_arm64.deb ... 785s Unpacking spass (3.9-1.1) ... 785s Selecting previously unselected package tex-common. 785s Preparing to unpack .../91-tex-common_6.18_all.deb ... 785s Unpacking tex-common (6.18) ... 785s Selecting previously unselected package why3. 785s Preparing to unpack .../92-why3_1.8.0-2_arm64.deb ... 785s Unpacking why3 (1.8.0-2) ... 786s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 786s Setting up liblcms2-2:arm64 (2.16-2) ... 786s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 786s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 786s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 786s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 786s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 786s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 786s Setting up hicolor-icon-theme (0.18-2) ... 786s Setting up libxi6:arm64 (2:1.8.2-1) ... 786s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 786s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 786s Setting up libxcb-render0:arm64 (1.17.0-2) ... 786s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 786s Setting up libdeflate0:arm64 (1.23-1) ... 786s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 786s Setting up libgomp1:arm64 (15-20250213-1ubuntu1) ... 786s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 786s Setting up libcolord2:arm64 (1.4.7-1build2) ... 786s Setting up libdconf1:arm64 (0.40.0-5) ... 786s Setting up tex-common (6.18) ... 786s update-language: texlive-base not installed and configured, doing nothing! 786s Setting up libepoxy0:arm64 (1.5.10-2) ... 786s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 786s Setting up spass (3.9-1.1) ... 786s Setting up libavahi-common-data:arm64 (0.8-14ubuntu1) ... 786s Setting up libatspi2.0-0t64:arm64 (2.55.2-1) ... 786s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 786s Setting up libstdlib-ocaml (5.3.0-2) ... 786s Setting up fonts-dejavu-mono (2.37-8) ... 786s Setting up libmpc3:arm64 (1.3.1-1build2) ... 786s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 786s Setting up ocaml-base (5.3.0-2) ... 786s Setting up fonts-dejavu-core (2.37-8) ... 786s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 786s Setting up libwebp7:arm64 (1.5.0-0.1) ... 786s Setting up libubsan1:arm64 (15-20250213-1ubuntu1) ... 786s Setting up libhwasan0:arm64 (15-20250213-1ubuntu1) ... 786s Setting up at-spi2-common (2.55.2-1) ... 786s Setting up libasan8:arm64 (15-20250213-1ubuntu1) ... 786s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 786s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 786s Setting up libthai-data (0.1.29-2build1) ... 786s Setting up libwayland-egl1:arm64 (1.23.1-3) ... 786s Setting up libtsan2:arm64 (15-20250213-1ubuntu1) ... 786s Setting up libisl23:arm64 (0.27-1) ... 786s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 786s Setting up libcc1-0:arm64 (15-20250213-1ubuntu1) ... 786s Setting up liblsan0:arm64 (15-20250213-1ubuntu1) ... 786s Setting up libitm1:arm64 (15-20250213-1ubuntu1) ... 786s Setting up libwayland-client0:arm64 (1.23.1-3) ... 786s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 786s Setting up libatk1.0-0t64:arm64 (2.55.2-1) ... 786s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 786s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 787s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 787s Setting up libavahi-common3:arm64 (0.8-14ubuntu1) ... 787s Setting up dconf-service (0.40.0-5) ... 787s Setting up libthai0:arm64 (0.1.29-2build1) ... 787s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 787s Setting up ocaml-interp (5.3.0-2) ... 787s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 787s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 787s Setting up libwayland-cursor0:arm64 (1.23.1-3) ... 787s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 787s Setting up libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 787s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 787s Setting up libavahi-client3:arm64 (0.8-14ubuntu1) ... 787s Setting up libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 787s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 787s Setting up fontconfig (2.15.0-2ubuntu1) ... 789s Regenerating fonts cache... done. 789s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 789s Setting up libpango-1.0-0:arm64 (1.56.1-1) ... 789s Setting up libcairo2:arm64 (1.18.2-2) ... 789s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 789s Setting up adwaita-icon-theme (48~beta-3) ... 789s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 789s Setting up cpp-14 (14.2.0-17ubuntu3) ... 789s Setting up cpp (4:14.2.0-1ubuntu1) ... 789s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 789s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 789s Setting up libpangoft2-1.0-0:arm64 (1.56.1-1) ... 789s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 789s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 789s Setting up libpangocairo-1.0-0:arm64 (1.56.1-1) ... 789s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 789s Setting up libcairo2-ocaml (0.6.5-2build1) ... 789s Setting up gcc-14 (14.2.0-17ubuntu3) ... 789s Setting up gcc (4:14.2.0-1ubuntu1) ... 789s Setting up ocaml (5.3.0-2) ... 789s Processing triggers for libc-bin (2.40-4ubuntu1) ... 789s Processing triggers for man-db (2.13.0-1) ... 790s Processing triggers for libglib2.0-0t64:arm64 (2.83.4-1) ... 790s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 790s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 790s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 790s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 790s Setting up why3 (1.8.0-2) ... 790s Processing triggers for libc-bin (2.40-4ubuntu1) ... 799s autopkgtest [05:32:43]: test why3+spass: [----------------------- 800s autopkgtest [05:32:44]: test why3+spass: -----------------------] 801s why3+spass PASS 801s autopkgtest [05:32:45]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 801s autopkgtest [05:32:45]: test why3+z3: preparing testbed 910s autopkgtest [05:34:34]: testbed dpkg architecture: arm64 911s autopkgtest [05:34:35]: testbed apt version: 2.9.30ubuntu1 911s autopkgtest [05:34:35]: @@@@@@@@@@@@@@@@@@@@ test bed setup 911s autopkgtest [05:34:35]: testbed release detected to be: plucky 912s autopkgtest [05:34:36]: updating testbed package index (apt update) 912s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 913s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 913s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 913s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 913s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [508 kB] 913s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 913s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 913s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.1 kB] 913s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [122 kB] 913s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 913s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [451 kB] 913s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [9060 B] 913s Fetched 1305 kB in 1s (1503 kB/s) 914s Reading package lists... 915s Reading package lists... 915s Building dependency tree... 915s Reading state information... 915s Calculating upgrade... 916s Calculating upgrade... 916s The following packages will be upgraded: 916s apparmor base-files cloud-init cloud-init-base gcc-14-base libapparmor1 916s libclang-cpp18 libclang1-19 libgnutls30t64 libllvm18 libllvm19 liblsof0 916s libnss3 libperl5.40 lsof motd-news-config perl perl-base perl-modules-5.40 916s ucf vim-common vim-tiny xxd 916s 23 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 916s Need to get 90.2 MB of archives. 916s After this operation, 11.3 kB of additional disk space will be used. 916s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 motd-news-config all 13.6ubuntu1 [5168 B] 916s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 base-files arm64 13.6ubuntu1 [75.6 kB] 916s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 perl-modules-5.40 all 5.40.1-2 [3217 kB] 917s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libperl5.40 arm64 5.40.1-2 [4779 kB] 917s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 perl arm64 5.40.1-2 [262 kB] 917s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 perl-base arm64 5.40.1-2 [1788 kB] 917s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-base arm64 14.2.0-17ubuntu3 [53.6 kB] 917s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libapparmor1 arm64 4.1.0~beta5-0ubuntu5 [53.7 kB] 917s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libgnutls30t64 arm64 3.8.9-2ubuntu2 [962 kB] 917s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 ucf all 3.0050 [43.5 kB] 917s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 vim-tiny arm64 2:9.1.0967-1ubuntu2 [807 kB] 917s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 vim-common all 2:9.1.0967-1ubuntu2 [396 kB] 917s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 xxd arm64 2:9.1.0967-1ubuntu2 [67.8 kB] 917s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 apparmor arm64 4.1.0~beta5-0ubuntu5 [660 kB] 917s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 lsof arm64 4.99.4+dfsg-2 [236 kB] 917s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsof0 arm64 4.99.4+dfsg-2 [54.0 kB] 917s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cloud-init-base all 25.1-0ubuntu1 [616 kB] 917s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libclang-cpp18 arm64 1:18.1.8-16build1 [13.1 MB] 917s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libllvm18 arm64 1:18.1.8-16build1 [26.3 MB] 918s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libllvm19 arm64 1:19.1.7-1ubuntu2 [27.3 MB] 919s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libclang1-19 arm64 1:19.1.7-1ubuntu2 [7986 kB] 919s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libnss3 arm64 2:3.108-1ubuntu1 [1446 kB] 919s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 cloud-init all 25.1-0ubuntu1 [2088 B] 919s Preconfiguring packages ... 919s Fetched 90.2 MB in 3s (32.6 MB/s) 920s (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 ... 116668 files and directories currently installed.) 920s Preparing to unpack .../motd-news-config_13.6ubuntu1_all.deb ... 920s Unpacking motd-news-config (13.6ubuntu1) over (13.5ubuntu3) ... 920s Preparing to unpack .../base-files_13.6ubuntu1_arm64.deb ... 920s Unpacking base-files (13.6ubuntu1) over (13.5ubuntu3) ... 920s Setting up base-files (13.6ubuntu1) ... 920s Updating /root/.profile to current default. 921s motd-news.service is a disabled or a static unit not running, not starting it. 921s (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 ... 116668 files and directories currently installed.) 921s Preparing to unpack .../perl_5.40.1-2_arm64.deb ... 921s Unpacking perl (5.40.1-2) over (5.40.0-8) ... 921s Preparing to unpack .../perl-modules-5.40_5.40.1-2_all.deb ... 921s Unpacking perl-modules-5.40 (5.40.1-2) over (5.40.0-8) ... 921s Preparing to unpack .../libperl5.40_5.40.1-2_arm64.deb ... 921s Unpacking libperl5.40:arm64 (5.40.1-2) over (5.40.0-8) ... 922s Preparing to unpack .../perl-base_5.40.1-2_arm64.deb ... 922s Unpacking perl-base (5.40.1-2) over (5.40.0-8) ... 922s Setting up perl-base (5.40.1-2) ... 922s (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 ... 116668 files and directories currently installed.) 922s Preparing to unpack .../00-gcc-14-base_14.2.0-17ubuntu3_arm64.deb ... 922s Unpacking gcc-14-base:arm64 (14.2.0-17ubuntu3) over (14.2.0-17ubuntu1) ... 922s Preparing to unpack .../01-libapparmor1_4.1.0~beta5-0ubuntu5_arm64.deb ... 922s Unpacking libapparmor1:arm64 (4.1.0~beta5-0ubuntu5) over (4.1.0~beta5-0ubuntu4) ... 922s Preparing to unpack .../02-libgnutls30t64_3.8.9-2ubuntu2_arm64.deb ... 922s Unpacking libgnutls30t64:arm64 (3.8.9-2ubuntu2) over (3.8.9-2ubuntu1) ... 922s Preparing to unpack .../03-ucf_3.0050_all.deb ... 922s Unpacking ucf (3.0050) over (3.0049) ... 922s Preparing to unpack .../04-vim-tiny_2%3a9.1.0967-1ubuntu2_arm64.deb ... 922s Unpacking vim-tiny (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 922s Preparing to unpack .../05-vim-common_2%3a9.1.0967-1ubuntu2_all.deb ... 922s Unpacking vim-common (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 922s Preparing to unpack .../06-xxd_2%3a9.1.0967-1ubuntu2_arm64.deb ... 922s Unpacking xxd (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 922s Preparing to unpack .../07-apparmor_4.1.0~beta5-0ubuntu5_arm64.deb ... 924s Unpacking apparmor (4.1.0~beta5-0ubuntu5) over (4.1.0~beta5-0ubuntu4) ... 924s Preparing to unpack .../08-lsof_4.99.4+dfsg-2_arm64.deb ... 924s Unpacking lsof (4.99.4+dfsg-2) over (4.99.4+dfsg-1) ... 924s Preparing to unpack .../09-liblsof0_4.99.4+dfsg-2_arm64.deb ... 924s Unpacking liblsof0 (4.99.4+dfsg-2) over (4.99.4+dfsg-1) ... 924s Preparing to unpack .../10-cloud-init-base_25.1-0ubuntu1_all.deb ... 924s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 924s for fn in glob1(directory, "%s.*" % fname): 924s Unpacking cloud-init-base (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 924s Preparing to unpack .../11-libclang-cpp18_1%3a18.1.8-16build1_arm64.deb ... 924s Unpacking libclang-cpp18 (1:18.1.8-16build1) over (1:18.1.8-15) ... 925s Preparing to unpack .../12-libllvm18_1%3a18.1.8-16build1_arm64.deb ... 925s Unpacking libllvm18:arm64 (1:18.1.8-16build1) over (1:18.1.8-15) ... 926s Preparing to unpack .../13-libllvm19_1%3a19.1.7-1ubuntu2_arm64.deb ... 926s Unpacking libllvm19:arm64 (1:19.1.7-1ubuntu2) over (1:19.1.7-1ubuntu1) ... 926s Preparing to unpack .../14-libclang1-19_1%3a19.1.7-1ubuntu2_arm64.deb ... 926s Unpacking libclang1-19 (1:19.1.7-1ubuntu2) over (1:19.1.7-1ubuntu1) ... 927s Preparing to unpack .../15-libnss3_2%3a3.108-1ubuntu1_arm64.deb ... 927s Unpacking libnss3:arm64 (2:3.108-1ubuntu1) over (2:3.107-1ubuntu1) ... 927s Preparing to unpack .../16-cloud-init_25.1-0ubuntu1_all.deb ... 927s Unpacking cloud-init (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 927s Setting up libgnutls30t64:arm64 (3.8.9-2ubuntu2) ... 927s Setting up motd-news-config (13.6ubuntu1) ... 927s Setting up libllvm19:arm64 (1:19.1.7-1ubuntu2) ... 927s Setting up libapparmor1:arm64 (4.1.0~beta5-0ubuntu5) ... 927s Setting up libclang1-19 (1:19.1.7-1ubuntu2) ... 927s Setting up gcc-14-base:arm64 (14.2.0-17ubuntu3) ... 927s Setting up liblsof0 (4.99.4+dfsg-2) ... 927s Setting up libnss3:arm64 (2:3.108-1ubuntu1) ... 927s Setting up cloud-init-base (25.1-0ubuntu1) ... 929s Setting up xxd (2:9.1.0967-1ubuntu2) ... 929s Setting up apparmor (4.1.0~beta5-0ubuntu5) ... 929s Installing new version of config file /etc/apparmor.d/fusermount3 ... 930s Reloading AppArmor profiles 931s Setting up vim-common (2:9.1.0967-1ubuntu2) ... 931s Setting up ucf (3.0050) ... 931s Setting up lsof (4.99.4+dfsg-2) ... 931s Setting up perl-modules-5.40 (5.40.1-2) ... 931s Setting up libllvm18:arm64 (1:18.1.8-16build1) ... 931s Setting up cloud-init (25.1-0ubuntu1) ... 931s Setting up vim-tiny (2:9.1.0967-1ubuntu2) ... 931s Setting up libperl5.40:arm64 (5.40.1-2) ... 931s Setting up perl (5.40.1-2) ... 931s Setting up libclang-cpp18 (1:18.1.8-16build1) ... 931s Processing triggers for rsyslog (8.2412.0-2ubuntu1) ... 932s Processing triggers for systemd (257.2-3ubuntu1) ... 932s Processing triggers for man-db (2.13.0-1) ... 933s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-2ubuntu5) ... 933s Processing triggers for install-info (7.1.1-1) ... 933s Processing triggers for libc-bin (2.40-4ubuntu1) ... 933s Processing triggers for initramfs-tools (0.145ubuntu2) ... 933s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 933s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 952s System running in EFI mode, skipping. 952s Reading package lists... 953s Building dependency tree... 953s Reading state information... 953s Solving dependencies... 953s 0 upgraded, 0 newly installed, 0 to remove and 3 not upgraded. 953s autopkgtest [05:35:17]: upgrading testbed (apt dist-upgrade and autopurge) 954s Reading package lists... 954s Building dependency tree... 954s Reading state information... 954s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 955s Starting 2 pkgProblemResolver with broken count: 0 955s Done 955s Entering ResolveByKeep 956s 956s Calculating upgrade... 956s The following packages will be upgraded: 956s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 956s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 956s Need to get 1808 kB of archives. 956s After this operation, 2048 B of additional disk space will be used. 956s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 gir1.2-glib-2.0 arm64 2.83.4-1 [185 kB] 957s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libglib2.0-0t64 arm64 2.83.4-1 [1570 kB] 957s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libglib2.0-data all 2.83.4-1 [52.9 kB] 957s Fetched 1808 kB in 1s (2887 kB/s) 957s (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 ... 116669 files and directories currently installed.) 957s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_arm64.deb ... 957s Unpacking gir1.2-glib-2.0:arm64 (2.83.4-1) over (2.83.3-2) ... 957s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_arm64.deb ... 957s Unpacking libglib2.0-0t64:arm64 (2.83.4-1) over (2.83.3-2) ... 957s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 957s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 957s Setting up libglib2.0-0t64:arm64 (2.83.4-1) ... 957s No schema files found: doing nothing. 957s Setting up libglib2.0-data (2.83.4-1) ... 957s Setting up gir1.2-glib-2.0:arm64 (2.83.4-1) ... 957s Processing triggers for libc-bin (2.40-4ubuntu1) ... 958s Reading package lists... 958s Building dependency tree... 958s Reading state information... 958s Starting pkgProblemResolver with broken count: 0 959s Starting 2 pkgProblemResolver with broken count: 0 959s Done 959s Solving dependencies... 960s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 960s autopkgtest [05:35:24]: rebooting testbed after setup commands that affected boot 986s Reading package lists... 986s Building dependency tree... 986s Reading state information... 986s Starting pkgProblemResolver with broken count: 0 986s Starting 2 pkgProblemResolver with broken count: 0 986s Done 987s The following NEW packages will be installed: 987s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 987s cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 987s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 987s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 987s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 987s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 987s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 987s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 987s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 987s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 987s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 987s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 987s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 987s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 987s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 987s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 987s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 987s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 987s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 z3 987s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 987s Need to get 172 MB of archives. 987s After this operation, 546 MB of additional disk space will be used. 987s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 987s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 988s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 988s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 988s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 988s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 988s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 988s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 988s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 988s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 988s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.4+ds-4 [52.5 kB] 988s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 988s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48~beta-3 [578 kB] 988s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.2-1 [8916 B] 988s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 988s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 988s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB] 989s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B] 989s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 989s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 989s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 989s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 989s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 989s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 989s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 989s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-2ubuntu1 [37.5 kB] 989s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-2ubuntu1 [144 kB] 989s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-2ubuntu1 [191 kB] 989s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250213-1ubuntu1 [44.2 kB] 989s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250213-1ubuntu1 [146 kB] 989s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250213-1ubuntu1 [28.0 kB] 989s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250213-1ubuntu1 [2928 kB] 989s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250213-1ubuntu1 [1319 kB] 990s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250213-1ubuntu1 [2695 kB] 990s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250213-1ubuntu1 [1178 kB] 990s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250213-1ubuntu1 [1642 kB] 990s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB] 990s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB] 993s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB] 993s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 993s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 993s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.2-1 [55.2 kB] 993s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 993s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.2-1 [80.6 kB] 993s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.2-1 [66.7 kB] 993s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-14ubuntu1 [30.5 kB] 993s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-14ubuntu1 [23.1 kB] 993s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-14ubuntu1 [27.3 kB] 993s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 993s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 993s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 993s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 993s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 993s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 993s Get:55 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.3.0-2 [428 kB] 993s Get:56 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.3.0-2 [307 kB] 993s Get:57 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2build1 [27.1 kB] 993s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 993s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-1build2 [149 kB] 993s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-2 [7846 kB] 994s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-2 [47.9 MB] 998s Get:62 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 998s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 998s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 998s Get:65 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 998s Get:66 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 998s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 998s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 998s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.1-1 [238 kB] 998s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.1-1 [49.6 kB] 998s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.1-1 [27.6 kB] 998s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-3 [27.0 kB] 998s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-3 [10.8 kB] 998s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-3 [6180 B] 998s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 999s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 999s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 999s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 999s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 999s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 999s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 999s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 999s Get:83 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 999s Get:84 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 999s Get:85 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build2 [3700 kB] 999s Get:86 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build2 [343 kB] 999s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 999s Get:88 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 999s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.3.0-2 [8367 kB] 1000s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.3.0-2 [23.4 MB] 1002s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.18 [32.8 kB] 1002s Get:92 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.8.0-2 [15.4 MB] 1004s Get:93 http://ftpmaster.internal/ubuntu plucky/universe arm64 z3 arm64 4.13.3-1 [6526 kB] 1005s Fetched 172 MB in 17s (10.2 MB/s) 1005s Selecting previously unselected package libgdk-pixbuf2.0-common. 1005s (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 ... 116669 files and directories currently installed.) 1005s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 1005s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 1005s Selecting previously unselected package libjpeg-turbo8:arm64. 1005s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 1005s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 1005s Selecting previously unselected package libjpeg8:arm64. 1005s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 1005s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 1005s Selecting previously unselected package libdeflate0:arm64. 1005s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 1005s Unpacking libdeflate0:arm64 (1.23-1) ... 1005s Selecting previously unselected package libjbig0:arm64. 1005s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 1005s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 1005s Selecting previously unselected package liblerc4:arm64. 1005s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 1005s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 1005s Selecting previously unselected package libsharpyuv0:arm64. 1005s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 1005s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 1005s Selecting previously unselected package libwebp7:arm64. 1005s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 1005s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 1005s Selecting previously unselected package libtiff6:arm64. 1005s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 1005s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 1005s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1005s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 1005s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 1005s Selecting previously unselected package gtk-update-icon-cache. 1005s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_arm64.deb ... 1005s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 1005s 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. 1005s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 1005s Selecting previously unselected package hicolor-icon-theme. 1005s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 1005s Unpacking hicolor-icon-theme (0.18-2) ... 1005s Selecting previously unselected package adwaita-icon-theme. 1006s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 1006s Unpacking adwaita-icon-theme (48~beta-3) ... 1006s Selecting previously unselected package at-spi2-common. 1006s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 1006s Unpacking at-spi2-common (2.55.2-1) ... 1006s Selecting previously unselected package libisl23:arm64. 1006s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 1006s Unpacking libisl23:arm64 (0.27-1) ... 1006s Selecting previously unselected package libmpc3:arm64. 1006s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 1006s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 1006s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 1006s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 1006s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1006s Selecting previously unselected package cpp-14. 1006s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu3_arm64.deb ... 1006s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 1006s Selecting previously unselected package cpp-aarch64-linux-gnu. 1006s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 1006s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1006s Selecting previously unselected package cpp. 1006s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 1006s Unpacking cpp (4:14.2.0-1ubuntu1) ... 1006s Selecting previously unselected package libdconf1:arm64. 1006s Preparing to unpack .../20-libdconf1_0.40.0-5_arm64.deb ... 1006s Unpacking libdconf1:arm64 (0.40.0-5) ... 1006s Selecting previously unselected package dconf-service. 1006s Preparing to unpack .../21-dconf-service_0.40.0-5_arm64.deb ... 1006s Unpacking dconf-service (0.40.0-5) ... 1006s Selecting previously unselected package dconf-gsettings-backend:arm64. 1006s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 1006s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 1006s Selecting previously unselected package fonts-dejavu-mono. 1006s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 1006s Unpacking fonts-dejavu-mono (2.37-8) ... 1006s Selecting previously unselected package fonts-dejavu-core. 1006s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 1006s Unpacking fonts-dejavu-core (2.37-8) ... 1006s Selecting previously unselected package fontconfig-config. 1006s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_arm64.deb ... 1007s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 1007s Selecting previously unselected package libfontconfig1:arm64. 1007s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_arm64.deb ... 1007s Unpacking libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 1007s Selecting previously unselected package fontconfig. 1007s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_arm64.deb ... 1007s Unpacking fontconfig (2.15.0-2ubuntu1) ... 1007s Selecting previously unselected package libcc1-0:arm64. 1007s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_arm64.deb ... 1007s Unpacking libcc1-0:arm64 (15-20250213-1ubuntu1) ... 1007s Selecting previously unselected package libgomp1:arm64. 1007s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_arm64.deb ... 1007s Unpacking libgomp1:arm64 (15-20250213-1ubuntu1) ... 1007s Selecting previously unselected package libitm1:arm64. 1007s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_arm64.deb ... 1007s Unpacking libitm1:arm64 (15-20250213-1ubuntu1) ... 1007s Selecting previously unselected package libasan8:arm64. 1007s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_arm64.deb ... 1007s Unpacking libasan8:arm64 (15-20250213-1ubuntu1) ... 1007s Selecting previously unselected package liblsan0:arm64. 1007s Preparing to unpack .../32-liblsan0_15-20250213-1ubuntu1_arm64.deb ... 1007s Unpacking liblsan0:arm64 (15-20250213-1ubuntu1) ... 1007s Selecting previously unselected package libtsan2:arm64. 1007s Preparing to unpack .../33-libtsan2_15-20250213-1ubuntu1_arm64.deb ... 1007s Unpacking libtsan2:arm64 (15-20250213-1ubuntu1) ... 1007s Selecting previously unselected package libubsan1:arm64. 1007s Preparing to unpack .../34-libubsan1_15-20250213-1ubuntu1_arm64.deb ... 1007s Unpacking libubsan1:arm64 (15-20250213-1ubuntu1) ... 1007s Selecting previously unselected package libhwasan0:arm64. 1007s Preparing to unpack .../35-libhwasan0_15-20250213-1ubuntu1_arm64.deb ... 1007s Unpacking libhwasan0:arm64 (15-20250213-1ubuntu1) ... 1007s Selecting previously unselected package libgcc-14-dev:arm64. 1007s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ... 1007s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 1007s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 1007s Preparing to unpack .../37-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ... 1007s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1008s Selecting previously unselected package gcc-14. 1008s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu3_arm64.deb ... 1008s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 1008s Selecting previously unselected package gcc-aarch64-linux-gnu. 1008s Preparing to unpack .../39-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 1008s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1008s Selecting previously unselected package gcc. 1008s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 1008s Unpacking gcc (4:14.2.0-1ubuntu1) ... 1008s Selecting previously unselected package libatk1.0-0t64:arm64. 1008s Preparing to unpack .../41-libatk1.0-0t64_2.55.2-1_arm64.deb ... 1008s Unpacking libatk1.0-0t64:arm64 (2.55.2-1) ... 1008s Selecting previously unselected package libxi6:arm64. 1008s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_arm64.deb ... 1008s Unpacking libxi6:arm64 (2:1.8.2-1) ... 1008s Selecting previously unselected package libatspi2.0-0t64:arm64. 1008s Preparing to unpack .../43-libatspi2.0-0t64_2.55.2-1_arm64.deb ... 1008s Unpacking libatspi2.0-0t64:arm64 (2.55.2-1) ... 1008s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 1008s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.2-1_arm64.deb ... 1008s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 1008s Selecting previously unselected package libavahi-common-data:arm64. 1008s Preparing to unpack .../45-libavahi-common-data_0.8-14ubuntu1_arm64.deb ... 1008s Unpacking libavahi-common-data:arm64 (0.8-14ubuntu1) ... 1008s Selecting previously unselected package libavahi-common3:arm64. 1008s Preparing to unpack .../46-libavahi-common3_0.8-14ubuntu1_arm64.deb ... 1008s Unpacking libavahi-common3:arm64 (0.8-14ubuntu1) ... 1008s Selecting previously unselected package libavahi-client3:arm64. 1008s Preparing to unpack .../47-libavahi-client3_0.8-14ubuntu1_arm64.deb ... 1008s Unpacking libavahi-client3:arm64 (0.8-14ubuntu1) ... 1008s Selecting previously unselected package libpixman-1-0:arm64. 1008s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_arm64.deb ... 1008s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 1008s Selecting previously unselected package libxcb-render0:arm64. 1008s Preparing to unpack .../49-libxcb-render0_1.17.0-2_arm64.deb ... 1008s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 1008s Selecting previously unselected package libxcb-shm0:arm64. 1008s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_arm64.deb ... 1008s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 1008s Selecting previously unselected package libxrender1:arm64. 1008s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 1008s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 1008s Selecting previously unselected package libcairo2:arm64. 1008s Preparing to unpack .../52-libcairo2_1.18.2-2_arm64.deb ... 1008s Unpacking libcairo2:arm64 (1.18.2-2) ... 1008s Selecting previously unselected package libcairo-gobject2:arm64. 1008s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_arm64.deb ... 1008s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 1009s Selecting previously unselected package libstdlib-ocaml. 1009s Preparing to unpack .../54-libstdlib-ocaml_5.3.0-2_arm64.deb ... 1009s Unpacking libstdlib-ocaml (5.3.0-2) ... 1009s Selecting previously unselected package ocaml-base. 1009s Preparing to unpack .../55-ocaml-base_5.3.0-2_arm64.deb ... 1009s Unpacking ocaml-base (5.3.0-2) ... 1009s Selecting previously unselected package libcairo2-ocaml. 1009s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2build1_arm64.deb ... 1009s Unpacking libcairo2-ocaml (0.6.5-2build1) ... 1009s Selecting previously unselected package liblcms2-2:arm64. 1009s Preparing to unpack .../57-liblcms2-2_2.16-2_arm64.deb ... 1009s Unpacking liblcms2-2:arm64 (2.16-2) ... 1009s Selecting previously unselected package libcolord2:arm64. 1009s Preparing to unpack .../58-libcolord2_1.4.7-1build2_arm64.deb ... 1009s Unpacking libcolord2:arm64 (1.4.7-1build2) ... 1009s Selecting previously unselected package libstdlib-ocaml-dev. 1009s Preparing to unpack .../59-libstdlib-ocaml-dev_5.3.0-2_arm64.deb ... 1009s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 1009s Selecting previously unselected package libcompiler-libs-ocaml-dev. 1009s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.3.0-2_arm64.deb ... 1009s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 1009s Selecting previously unselected package libcups2t64:arm64. 1009s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 1009s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 1010s Selecting previously unselected package libdatrie1:arm64. 1010s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_arm64.deb ... 1010s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 1010s Selecting previously unselected package libepoxy0:arm64. 1010s Preparing to unpack .../63-libepoxy0_1.5.10-2_arm64.deb ... 1010s Unpacking libepoxy0:arm64 (1.5.10-2) ... 1010s Selecting previously unselected package libgraphite2-3:arm64. 1010s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 1010s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 1010s Selecting previously unselected package libharfbuzz0b:arm64. 1010s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_arm64.deb ... 1010s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 1010s Selecting previously unselected package libthai-data. 1010s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 1010s Unpacking libthai-data (0.1.29-2build1) ... 1010s Selecting previously unselected package libthai0:arm64. 1010s Preparing to unpack .../67-libthai0_0.1.29-2build1_arm64.deb ... 1010s Unpacking libthai0:arm64 (0.1.29-2build1) ... 1010s Selecting previously unselected package libpango-1.0-0:arm64. 1010s Preparing to unpack .../68-libpango-1.0-0_1.56.1-1_arm64.deb ... 1010s Unpacking libpango-1.0-0:arm64 (1.56.1-1) ... 1010s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1010s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.1-1_arm64.deb ... 1010s Unpacking libpangoft2-1.0-0:arm64 (1.56.1-1) ... 1010s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1010s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.1-1_arm64.deb ... 1010s Unpacking libpangocairo-1.0-0:arm64 (1.56.1-1) ... 1010s Selecting previously unselected package libwayland-client0:arm64. 1010s Preparing to unpack .../71-libwayland-client0_1.23.1-3_arm64.deb ... 1010s Unpacking libwayland-client0:arm64 (1.23.1-3) ... 1010s Selecting previously unselected package libwayland-cursor0:arm64. 1010s Preparing to unpack .../72-libwayland-cursor0_1.23.1-3_arm64.deb ... 1010s Unpacking libwayland-cursor0:arm64 (1.23.1-3) ... 1010s Selecting previously unselected package libwayland-egl1:arm64. 1010s Preparing to unpack .../73-libwayland-egl1_1.23.1-3_arm64.deb ... 1010s Unpacking libwayland-egl1:arm64 (1.23.1-3) ... 1010s Selecting previously unselected package libxcomposite1:arm64. 1010s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 1010s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 1010s Selecting previously unselected package libxfixes3:arm64. 1010s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 1010s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 1010s Selecting previously unselected package libxcursor1:arm64. 1010s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_arm64.deb ... 1010s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 1010s Selecting previously unselected package libxdamage1:arm64. 1010s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 1010s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 1010s Selecting previously unselected package libxinerama1:arm64. 1010s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 1010s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 1010s Selecting previously unselected package libxrandr2:arm64. 1010s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_arm64.deb ... 1010s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 1010s Selecting previously unselected package libgtk-3-common. 1010s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 1010s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 1010s Selecting previously unselected package libgtk-3-0t64:arm64. 1010s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 1010s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 1010s Selecting previously unselected package libgtksourceview-3.0-common. 1010s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 1010s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 1011s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1011s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 1011s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 1011s Selecting previously unselected package liblablgtk3-ocaml. 1011s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build2_arm64.deb ... 1011s Unpacking liblablgtk3-ocaml (3.1.5-1build2) ... 1011s Selecting previously unselected package liblablgtksourceview3-ocaml. 1011s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build2_arm64.deb ... 1011s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build2) ... 1011s Selecting previously unselected package libncurses-dev:arm64. 1011s Preparing to unpack .../86-libncurses-dev_6.5+20250125-2_arm64.deb ... 1011s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 1011s Selecting previously unselected package libzstd-dev:arm64. 1011s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 1011s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 1011s Selecting previously unselected package ocaml-interp. 1011s Preparing to unpack .../88-ocaml-interp_5.3.0-2_arm64.deb ... 1011s Unpacking ocaml-interp (5.3.0-2) ... 1011s Selecting previously unselected package ocaml. 1011s Preparing to unpack .../89-ocaml_5.3.0-2_arm64.deb ... 1011s Unpacking ocaml (5.3.0-2) ... 1012s Selecting previously unselected package tex-common. 1012s Preparing to unpack .../90-tex-common_6.18_all.deb ... 1012s Unpacking tex-common (6.18) ... 1012s Selecting previously unselected package why3. 1012s Preparing to unpack .../91-why3_1.8.0-2_arm64.deb ... 1012s Unpacking why3 (1.8.0-2) ... 1012s Selecting previously unselected package z3. 1012s Preparing to unpack .../92-z3_4.13.3-1_arm64.deb ... 1012s Unpacking z3 (4.13.3-1) ... 1012s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 1012s Setting up liblcms2-2:arm64 (2.16-2) ... 1012s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 1012s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 1012s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 1012s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 1012s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 1012s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 1012s Setting up hicolor-icon-theme (0.18-2) ... 1012s Setting up libxi6:arm64 (2:1.8.2-1) ... 1012s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 1012s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 1012s Setting up libxcb-render0:arm64 (1.17.0-2) ... 1012s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 1012s Setting up libdeflate0:arm64 (1.23-1) ... 1012s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 1012s Setting up libgomp1:arm64 (15-20250213-1ubuntu1) ... 1012s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 1012s Setting up z3 (4.13.3-1) ... 1012s Setting up libcolord2:arm64 (1.4.7-1build2) ... 1012s Setting up libdconf1:arm64 (0.40.0-5) ... 1012s Setting up tex-common (6.18) ... 1013s update-language: texlive-base not installed and configured, doing nothing! 1013s Setting up libepoxy0:arm64 (1.5.10-2) ... 1013s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 1013s Setting up libavahi-common-data:arm64 (0.8-14ubuntu1) ... 1013s Setting up libatspi2.0-0t64:arm64 (2.55.2-1) ... 1013s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 1013s Setting up libstdlib-ocaml (5.3.0-2) ... 1013s Setting up fonts-dejavu-mono (2.37-8) ... 1013s Setting up libmpc3:arm64 (1.3.1-1build2) ... 1013s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 1013s Setting up ocaml-base (5.3.0-2) ... 1013s Setting up fonts-dejavu-core (2.37-8) ... 1013s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 1013s Setting up libwebp7:arm64 (1.5.0-0.1) ... 1013s Setting up libubsan1:arm64 (15-20250213-1ubuntu1) ... 1013s Setting up libhwasan0:arm64 (15-20250213-1ubuntu1) ... 1013s Setting up at-spi2-common (2.55.2-1) ... 1013s Setting up libasan8:arm64 (15-20250213-1ubuntu1) ... 1013s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 1013s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 1013s Setting up libthai-data (0.1.29-2build1) ... 1013s Setting up libwayland-egl1:arm64 (1.23.1-3) ... 1013s Setting up libtsan2:arm64 (15-20250213-1ubuntu1) ... 1013s Setting up libisl23:arm64 (0.27-1) ... 1013s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 1013s Setting up libcc1-0:arm64 (15-20250213-1ubuntu1) ... 1013s Setting up liblsan0:arm64 (15-20250213-1ubuntu1) ... 1013s Setting up libitm1:arm64 (15-20250213-1ubuntu1) ... 1013s Setting up libwayland-client0:arm64 (1.23.1-3) ... 1013s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 1013s Setting up libatk1.0-0t64:arm64 (2.55.2-1) ... 1013s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 1013s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 1013s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 1013s Setting up libavahi-common3:arm64 (0.8-14ubuntu1) ... 1013s Setting up dconf-service (0.40.0-5) ... 1013s Setting up libthai0:arm64 (0.1.29-2build1) ... 1013s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 1013s Setting up ocaml-interp (5.3.0-2) ... 1013s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1013s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 1013s Setting up libwayland-cursor0:arm64 (1.23.1-3) ... 1013s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 1013s Setting up libfontconfig1:arm64 (2.15.0-2ubuntu1) ... 1013s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ... 1013s Setting up libavahi-client3:arm64 (0.8-14ubuntu1) ... 1013s Setting up libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 1013s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 1013s Setting up fontconfig (2.15.0-2ubuntu1) ... 1015s Regenerating fonts cache... done. 1015s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 1015s Setting up libpango-1.0-0:arm64 (1.56.1-1) ... 1015s Setting up libcairo2:arm64 (1.18.2-2) ... 1015s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1015s Setting up adwaita-icon-theme (48~beta-3) ... 1015s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1015s Setting up cpp-14 (14.2.0-17ubuntu3) ... 1015s Setting up cpp (4:14.2.0-1ubuntu1) ... 1015s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 1015s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ... 1015s Setting up libpangoft2-1.0-0:arm64 (1.56.1-1) ... 1015s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 1015s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 1015s Setting up libpangocairo-1.0-0:arm64 (1.56.1-1) ... 1015s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 1015s Setting up libcairo2-ocaml (0.6.5-2build1) ... 1015s Setting up gcc-14 (14.2.0-17ubuntu3) ... 1015s Setting up gcc (4:14.2.0-1ubuntu1) ... 1015s Setting up ocaml (5.3.0-2) ... 1015s Processing triggers for libc-bin (2.40-4ubuntu1) ... 1015s Processing triggers for man-db (2.13.0-1) ... 1016s Processing triggers for libglib2.0-0t64:arm64 (2.83.4-1) ... 1016s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 1016s Setting up liblablgtk3-ocaml (3.1.5-1build2) ... 1016s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 1016s Setting up liblablgtksourceview3-ocaml (3.1.5-1build2) ... 1016s Setting up why3 (1.8.0-2) ... 1016s Processing triggers for libc-bin (2.40-4ubuntu1) ... 1025s autopkgtest [05:36:29]: test why3+z3: [----------------------- 1027s autopkgtest [05:36:30]: test why3+z3: -----------------------] 1027s autopkgtest [05:36:31]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1027s why3+z3 PASS 1027s autopkgtest [05:36:31]: @@@@@@@@@@@@@@@@@@@@ summary 1027s why3+cvc4 PASS 1027s why3+cvc5 PASS 1027s why3+spass PASS 1027s why3+z3 PASS 1032s nova [W] Using flock in prodstack6-arm64 1032s Creating nova instance adt-plucky-arm64-why3-20250222-051923-juju-7f2275-prod-proposed-migration-environment-20-971203b5-3c73-4966-80e6-2ef50cdbb7bd from image adt/ubuntu-plucky-arm64-server-20250221.img (UUID 7cc4cd7e-6f5b-4658-9b17-e38e7fa05fb0)... 1032s nova [W] Timed out waiting for 7eeff83c-bae1-40d0-9319-29dee90201d7 to get deleted. 1032s nova [W] Using flock in prodstack6-arm64 1032s Creating nova instance adt-plucky-arm64-why3-20250222-051923-juju-7f2275-prod-proposed-migration-environment-20-971203b5-3c73-4966-80e6-2ef50cdbb7bd from image adt/ubuntu-plucky-arm64-server-20250221.img (UUID 7cc4cd7e-6f5b-4658-9b17-e38e7fa05fb0)... 1032s nova [W] Timed out waiting for 7ab9e21b-9efd-4e33-82d6-487b7f060996 to get deleted. 1032s nova [W] Using flock in prodstack6-arm64 1032s Creating nova instance adt-plucky-arm64-why3-20250222-051923-juju-7f2275-prod-proposed-migration-environment-20-971203b5-3c73-4966-80e6-2ef50cdbb7bd from image adt/ubuntu-plucky-arm64-server-20250221.img (UUID 7cc4cd7e-6f5b-4658-9b17-e38e7fa05fb0)... 1032s nova [W] Timed out waiting for b8f20bce-ef7b-465e-9dc8-cc8e69206cd4 to get deleted. 1032s nova [W] Using flock in prodstack6-arm64 1032s Creating nova instance adt-plucky-arm64-why3-20250222-051923-juju-7f2275-prod-proposed-migration-environment-20-971203b5-3c73-4966-80e6-2ef50cdbb7bd from image adt/ubuntu-plucky-arm64-server-20250221.img (UUID 7cc4cd7e-6f5b-4658-9b17-e38e7fa05fb0)... 1032s nova [W] Timed out waiting for ff9441d8-d660-448e-886f-cc0f52d800cf to get deleted.