0s autopkgtest [14:10:42]: starting date and time: 2025-02-16 14:10:42+0000 0s autopkgtest [14:10:42]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [14:10:42]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.nk8qb6je/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc,src:iproute2,src:php-twig,src:postgresql-17,src:postgresql-common,src:roundcube --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-arm64-14.secgroup --name adt-plucky-arm64-why3-20250216-141042-juju-7f2275-prod-proposed-migration-environment-2-a76b034d-f3c4-4f7a-9d53-dd4ff11d4485 --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 106s autopkgtest [14:12:28]: testbed dpkg architecture: arm64 106s autopkgtest [14:12:28]: testbed apt version: 2.9.28 107s autopkgtest [14:12:29]: @@@@@@@@@@@@@@@@@@@@ test bed setup 107s autopkgtest [14:12:29]: testbed release detected to be: None 107s autopkgtest [14:12:29]: updating testbed package index (apt update) 108s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 108s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 108s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 108s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 108s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [789 kB] 108s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 108s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 108s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [72.9 kB] 108s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [93.2 kB] 108s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 108s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [982 kB] 108s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.0 kB] 109s Fetched 2082 kB in 1s (2178 kB/s) 110s Reading package lists... 110s Reading package lists... 111s Building dependency tree... 111s Reading state information... 111s Calculating upgrade... 112s The following packages will be upgraded: 112s pci.ids 112s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 112s Need to get 284 kB of archives. 112s After this operation, 1024 B of additional disk space will be used. 112s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 pci.ids all 0.0~2025.02.12-1 [284 kB] 113s Fetched 284 kB in 0s (630 kB/s) 113s (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 ... 116609 files and directories currently installed.) 113s Preparing to unpack .../pci.ids_0.0~2025.02.12-1_all.deb ... 113s Unpacking pci.ids (0.0~2025.02.12-1) over (0.0~2025.02.05-1) ... 113s Setting up pci.ids (0.0~2025.02.12-1) ... 113s Reading package lists... 113s Building dependency tree... 113s Reading state information... 114s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 114s autopkgtest [14:12:36]: upgrading testbed (apt dist-upgrade and autopurge) 114s Reading package lists... 115s Building dependency tree... 115s Reading state information... 115s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 115s Starting 2 pkgProblemResolver with broken count: 0 115s Done 116s Entering ResolveByKeep 116s 117s The following packages will be upgraded: 117s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 118s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 118s Need to get 10.7 MB of archives. 118s After this operation, 358 kB of additional disk space will be used. 118s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu1 [24.0 kB] 118s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu1 [1750 kB] 118s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu1 [4246 kB] 118s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu1 [2910 kB] 118s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu1 [600 kB] 118s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 iproute2 arm64 6.13.0-1ubuntu1 [1158 kB] 119s Preconfiguring packages ... 119s Fetched 10.7 MB in 1s (11.3 MB/s) 119s (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 ... 116609 files and directories currently installed.) 119s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_arm64.deb ... 119s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 119s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_arm64.deb ... 119s Unpacking libc6-dev:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 119s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 119s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 119s Preparing to unpack .../libc6_2.41-1ubuntu1_arm64.deb ... 120s Checking for services that may need to be restarted... 120s Checking init scripts... 120s Checking for services that may need to be restarted... 120s Checking init scripts... 120s Stopping some services possibly affected by the upgrade (will be restarted later): 120s cron: stopping...done. 120s 120s Unpacking libc6:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 120s Setting up libc6:arm64 (2.41-1ubuntu1) ... 120s Checking for services that may need to be restarted... 120s Checking init scripts... 120s Restarting services possibly affected by the upgrade: 120s cron: restarting...done. 120s 120s Services restarted successfully. 120s (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 ... 116610 files and directories currently installed.) 120s Preparing to unpack .../libc-bin_2.41-1ubuntu1_arm64.deb ... 120s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 120s Setting up libc-bin (2.41-1ubuntu1) ... 121s (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 ... 116610 files and directories currently installed.) 121s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_arm64.deb ... 121s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 121s Setting up iproute2 (6.13.0-1ubuntu1) ... 121s Setting up locales (2.41-1ubuntu1) ... 121s Installing new version of config file /etc/locale.alias ... 123s Generating locales (this might take a while)... 125s en_US.UTF-8... done 125s Generation complete. 125s Setting up libc-dev-bin (2.41-1ubuntu1) ... 125s Setting up libc6-dev:arm64 (2.41-1ubuntu1) ... 125s Processing triggers for man-db (2.13.0-1) ... 127s Processing triggers for systemd (257.2-3ubuntu1) ... 128s Reading package lists... 128s Building dependency tree... 128s Reading state information... 129s Starting pkgProblemResolver with broken count: 0 129s Starting 2 pkgProblemResolver with broken count: 0 129s Done 130s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 132s autopkgtest [14:12:54]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 15:49:33 UTC 2025 132s autopkgtest [14:12:54]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 136s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 136s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 136s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 137s gpgv: Signature made Fri Sep 6 15:04:31 2024 UTC 137s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 137s gpgv: Can't check signature: No public key 137s dpkg-source: warning: cannot verify inline signature for ./why3_1.7.2-2build1.dsc: no acceptable signature found 138s autopkgtest [14:13:00]: testing package why3 version 1.7.2-2build1 139s autopkgtest [14:13:01]: build not needed 142s autopkgtest [14:13:04]: test why3+cvc4: preparing testbed 142s Reading package lists... 142s Building dependency tree... 142s Reading state information... 143s Starting pkgProblemResolver with broken count: 0 143s Starting 2 pkgProblemResolver with broken count: 0 143s Done 144s The following NEW packages will be installed: 144s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 144s cpp-aarch64-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 144s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 144s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 144s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 144s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 144s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 144s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 144s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 144s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 144s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 144s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 144s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 144s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 144s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 144s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 144s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 144s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 144s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 144s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common why3 144s 0 upgraded, 97 newly installed, 0 to remove and 0 not upgraded. 144s Need to get 171 MB of archives. 144s After this operation, 542 MB of additional disk space will be used. 144s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 144s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 144s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 144s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 144s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 144s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 144s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 144s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 144s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 144s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 144s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.4+ds-4 [52.5 kB] 144s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 144s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48~beta-3 [578 kB] 144s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.2-1 [8916 B] 144s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 144s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 144s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [10.6 MB] 145s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu1 [1032 B] 145s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 145s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 145s Get:21 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcln6 arm64 1.3.7-1 [478 kB] 145s Get:22 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc4-7 arm64 1.8-3build2 [4343 kB] 145s Get:23 http://ftpmaster.internal/ubuntu plucky/universe arm64 libantlr3c-3.4-0 arm64 3.4+dfsg-4build2 [45.7 kB] 145s Get:24 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcvc4parser7 arm64 1.8-3build2 [354 kB] 145s Get:25 http://ftpmaster.internal/ubuntu plucky/universe arm64 cvc4 arm64 1.8-3build2 [71.6 kB] 145s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 145s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 145s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 145s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 145s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 145s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-1.1ubuntu2 [37.4 kB] 145s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-1.1ubuntu2 [142 kB] 145s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-1.1ubuntu2 [190 kB] 145s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 14.2.0-17ubuntu1 [49.6 kB] 145s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 14.2.0-17ubuntu1 [145 kB] 145s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 14.2.0-17ubuntu1 [27.8 kB] 145s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 14.2.0-17ubuntu1 [2892 kB] 145s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 14.2.0-17ubuntu1 [1283 kB] 145s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 14.2.0-17ubuntu1 [2686 kB] 145s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 14.2.0-17ubuntu1 [1152 kB] 145s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 14.2.0-17ubuntu1 [1599 kB] 145s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu1 [2593 kB] 145s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [20.9 MB] 146s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu1 [526 kB] 146s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 146s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 146s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.2-1 [55.2 kB] 146s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 146s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.2-1 [80.6 kB] 146s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.2-1 [66.7 kB] 146s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-14ubuntu1 [30.5 kB] 146s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-14ubuntu1 [23.1 kB] 146s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-14ubuntu1 [27.3 kB] 146s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 146s Get:55 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 146s Get:56 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 146s Get:57 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 146s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 146s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 146s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB] 146s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB] 146s Get:62 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2 [27.5 kB] 146s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 146s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-1build2 [149 kB] 146s Get:65 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB] 146s Get:66 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB] 147s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 147s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 147s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 147s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 147s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 147s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 147s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 147s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.1-1 [238 kB] 147s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.1-1 [49.6 kB] 147s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.1-1 [27.6 kB] 147s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-1 [26.8 kB] 147s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-1 [10.7 kB] 147s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-1 [5752 B] 147s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 147s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 147s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 147s Get:83 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 147s Get:84 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 148s Get:85 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 148s Get:86 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 148s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 148s Get:88 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 148s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 148s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build1 [3691 kB] 148s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build1 [343 kB] 148s Get:92 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 148s Get:93 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 148s Get:94 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB] 148s Get:95 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB] 149s Get:96 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.18 [32.8 kB] 149s Get:97 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.7.2-2build1 [13.8 MB] 150s Fetched 171 MB in 6s (28.1 MB/s) 150s Selecting previously unselected package libgdk-pixbuf2.0-common. 151s (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 ... 116611 files and directories currently installed.) 151s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 151s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 151s Selecting previously unselected package libjpeg-turbo8:arm64. 151s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 151s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 151s Selecting previously unselected package libjpeg8:arm64. 151s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 151s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 151s Selecting previously unselected package libdeflate0:arm64. 151s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 151s Unpacking libdeflate0:arm64 (1.23-1) ... 151s Selecting previously unselected package libjbig0:arm64. 151s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 151s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 151s Selecting previously unselected package liblerc4:arm64. 151s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 151s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 151s Selecting previously unselected package libsharpyuv0:arm64. 151s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 151s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 151s Selecting previously unselected package libwebp7:arm64. 151s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 151s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 151s Selecting previously unselected package libtiff6:arm64. 151s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 151s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 151s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 151s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 151s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 151s Selecting previously unselected package gtk-update-icon-cache. 151s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_arm64.deb ... 151s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 151s 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. 151s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 151s Selecting previously unselected package hicolor-icon-theme. 151s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 151s Unpacking hicolor-icon-theme (0.18-2) ... 151s Selecting previously unselected package adwaita-icon-theme. 151s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 151s Unpacking adwaita-icon-theme (48~beta-3) ... 151s Selecting previously unselected package at-spi2-common. 151s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 151s Unpacking at-spi2-common (2.55.2-1) ... 151s Selecting previously unselected package libisl23:arm64. 151s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 151s Unpacking libisl23:arm64 (0.27-1) ... 151s Selecting previously unselected package libmpc3:arm64. 151s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 151s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 152s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 152s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 152s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 152s Selecting previously unselected package cpp-14. 152s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_arm64.deb ... 152s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 152s Selecting previously unselected package cpp-aarch64-linux-gnu. 152s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 152s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 152s Selecting previously unselected package cpp. 152s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 152s Unpacking cpp (4:14.2.0-1ubuntu1) ... 152s Selecting previously unselected package libcln6:arm64. 152s Preparing to unpack .../20-libcln6_1.3.7-1_arm64.deb ... 152s Unpacking libcln6:arm64 (1.3.7-1) ... 152s Selecting previously unselected package libcvc4-7:arm64. 152s Preparing to unpack .../21-libcvc4-7_1.8-3build2_arm64.deb ... 152s Unpacking libcvc4-7:arm64 (1.8-3build2) ... 152s Selecting previously unselected package libantlr3c-3.4-0:arm64. 152s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_arm64.deb ... 152s Unpacking libantlr3c-3.4-0:arm64 (3.4+dfsg-4build2) ... 152s Selecting previously unselected package libcvc4parser7:arm64. 152s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_arm64.deb ... 152s Unpacking libcvc4parser7:arm64 (1.8-3build2) ... 152s Selecting previously unselected package cvc4. 152s Preparing to unpack .../24-cvc4_1.8-3build2_arm64.deb ... 152s Unpacking cvc4 (1.8-3build2) ... 152s Selecting previously unselected package libdconf1:arm64. 152s Preparing to unpack .../25-libdconf1_0.40.0-5_arm64.deb ... 152s Unpacking libdconf1:arm64 (0.40.0-5) ... 152s Selecting previously unselected package dconf-service. 152s Preparing to unpack .../26-dconf-service_0.40.0-5_arm64.deb ... 152s Unpacking dconf-service (0.40.0-5) ... 152s Selecting previously unselected package dconf-gsettings-backend:arm64. 152s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 152s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 152s Selecting previously unselected package fonts-dejavu-mono. 152s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 152s Unpacking fonts-dejavu-mono (2.37-8) ... 152s Selecting previously unselected package fonts-dejavu-core. 152s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 152s Unpacking fonts-dejavu-core (2.37-8) ... 153s Selecting previously unselected package fontconfig-config. 153s Preparing to unpack .../30-fontconfig-config_2.15.0-1.1ubuntu2_arm64.deb ... 153s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ... 153s Selecting previously unselected package libfontconfig1:arm64. 153s Preparing to unpack .../31-libfontconfig1_2.15.0-1.1ubuntu2_arm64.deb ... 153s Unpacking libfontconfig1:arm64 (2.15.0-1.1ubuntu2) ... 153s Selecting previously unselected package fontconfig. 153s Preparing to unpack .../32-fontconfig_2.15.0-1.1ubuntu2_arm64.deb ... 153s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 153s Selecting previously unselected package libcc1-0:arm64. 153s Preparing to unpack .../33-libcc1-0_14.2.0-17ubuntu1_arm64.deb ... 153s Unpacking libcc1-0:arm64 (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package libgomp1:arm64. 153s Preparing to unpack .../34-libgomp1_14.2.0-17ubuntu1_arm64.deb ... 153s Unpacking libgomp1:arm64 (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package libitm1:arm64. 153s Preparing to unpack .../35-libitm1_14.2.0-17ubuntu1_arm64.deb ... 153s Unpacking libitm1:arm64 (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package libasan8:arm64. 153s Preparing to unpack .../36-libasan8_14.2.0-17ubuntu1_arm64.deb ... 153s Unpacking libasan8:arm64 (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package liblsan0:arm64. 153s Preparing to unpack .../37-liblsan0_14.2.0-17ubuntu1_arm64.deb ... 153s Unpacking liblsan0:arm64 (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package libtsan2:arm64. 153s Preparing to unpack .../38-libtsan2_14.2.0-17ubuntu1_arm64.deb ... 153s Unpacking libtsan2:arm64 (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package libubsan1:arm64. 153s Preparing to unpack .../39-libubsan1_14.2.0-17ubuntu1_arm64.deb ... 153s Unpacking libubsan1:arm64 (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package libhwasan0:arm64. 153s Preparing to unpack .../40-libhwasan0_14.2.0-17ubuntu1_arm64.deb ... 153s Unpacking libhwasan0:arm64 (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package libgcc-14-dev:arm64. 153s Preparing to unpack .../41-libgcc-14-dev_14.2.0-17ubuntu1_arm64.deb ... 153s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 154s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 154s Preparing to unpack .../42-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 154s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 154s Selecting previously unselected package gcc-14. 154s Preparing to unpack .../43-gcc-14_14.2.0-17ubuntu1_arm64.deb ... 154s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 154s Selecting previously unselected package gcc-aarch64-linux-gnu. 154s Preparing to unpack .../44-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 154s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 154s Selecting previously unselected package gcc. 154s Preparing to unpack .../45-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 154s Unpacking gcc (4:14.2.0-1ubuntu1) ... 154s Selecting previously unselected package libatk1.0-0t64:arm64. 154s Preparing to unpack .../46-libatk1.0-0t64_2.55.2-1_arm64.deb ... 154s Unpacking libatk1.0-0t64:arm64 (2.55.2-1) ... 154s Selecting previously unselected package libxi6:arm64. 154s Preparing to unpack .../47-libxi6_2%3a1.8.2-1_arm64.deb ... 154s Unpacking libxi6:arm64 (2:1.8.2-1) ... 154s Selecting previously unselected package libatspi2.0-0t64:arm64. 154s Preparing to unpack .../48-libatspi2.0-0t64_2.55.2-1_arm64.deb ... 154s Unpacking libatspi2.0-0t64:arm64 (2.55.2-1) ... 154s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 154s Preparing to unpack .../49-libatk-bridge2.0-0t64_2.55.2-1_arm64.deb ... 154s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 154s Selecting previously unselected package libavahi-common-data:arm64. 154s Preparing to unpack .../50-libavahi-common-data_0.8-14ubuntu1_arm64.deb ... 154s Unpacking libavahi-common-data:arm64 (0.8-14ubuntu1) ... 154s Selecting previously unselected package libavahi-common3:arm64. 154s Preparing to unpack .../51-libavahi-common3_0.8-14ubuntu1_arm64.deb ... 154s Unpacking libavahi-common3:arm64 (0.8-14ubuntu1) ... 154s Selecting previously unselected package libavahi-client3:arm64. 154s Preparing to unpack .../52-libavahi-client3_0.8-14ubuntu1_arm64.deb ... 154s Unpacking libavahi-client3:arm64 (0.8-14ubuntu1) ... 154s Selecting previously unselected package libpixman-1-0:arm64. 154s Preparing to unpack .../53-libpixman-1-0_0.44.0-3_arm64.deb ... 154s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 155s Selecting previously unselected package libxcb-render0:arm64. 155s Preparing to unpack .../54-libxcb-render0_1.17.0-2_arm64.deb ... 155s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 155s Selecting previously unselected package libxcb-shm0:arm64. 155s Preparing to unpack .../55-libxcb-shm0_1.17.0-2_arm64.deb ... 155s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 155s Selecting previously unselected package libxrender1:arm64. 155s Preparing to unpack .../56-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 155s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 155s Selecting previously unselected package libcairo2:arm64. 155s Preparing to unpack .../57-libcairo2_1.18.2-2_arm64.deb ... 155s Unpacking libcairo2:arm64 (1.18.2-2) ... 155s Selecting previously unselected package libcairo-gobject2:arm64. 155s Preparing to unpack .../58-libcairo-gobject2_1.18.2-2_arm64.deb ... 155s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 155s Selecting previously unselected package libstdlib-ocaml. 155s Preparing to unpack .../59-libstdlib-ocaml_5.2.0-3_arm64.deb ... 155s Unpacking libstdlib-ocaml (5.2.0-3) ... 155s Selecting previously unselected package ocaml-base. 155s Preparing to unpack .../60-ocaml-base_5.2.0-3_arm64.deb ... 155s Unpacking ocaml-base (5.2.0-3) ... 155s Selecting previously unselected package libcairo2-ocaml. 155s Preparing to unpack .../61-libcairo2-ocaml_0.6.5-2_arm64.deb ... 155s Unpacking libcairo2-ocaml (0.6.5-2) ... 155s Selecting previously unselected package liblcms2-2:arm64. 155s Preparing to unpack .../62-liblcms2-2_2.16-2_arm64.deb ... 155s Unpacking liblcms2-2:arm64 (2.16-2) ... 155s Selecting previously unselected package libcolord2:arm64. 155s Preparing to unpack .../63-libcolord2_1.4.7-1build2_arm64.deb ... 155s Unpacking libcolord2:arm64 (1.4.7-1build2) ... 155s Selecting previously unselected package libstdlib-ocaml-dev. 155s Preparing to unpack .../64-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ... 155s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 155s Selecting previously unselected package libcompiler-libs-ocaml-dev. 155s Preparing to unpack .../65-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ... 155s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 156s Selecting previously unselected package libcups2t64:arm64. 156s Preparing to unpack .../66-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 156s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 156s Selecting previously unselected package libdatrie1:arm64. 156s Preparing to unpack .../67-libdatrie1_0.2.13-3build1_arm64.deb ... 156s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 156s Selecting previously unselected package libepoxy0:arm64. 156s Preparing to unpack .../68-libepoxy0_1.5.10-2_arm64.deb ... 156s Unpacking libepoxy0:arm64 (1.5.10-2) ... 156s Selecting previously unselected package libgraphite2-3:arm64. 156s Preparing to unpack .../69-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 156s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 156s Selecting previously unselected package libharfbuzz0b:arm64. 156s Preparing to unpack .../70-libharfbuzz0b_10.2.0-1_arm64.deb ... 156s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 156s Selecting previously unselected package libthai-data. 156s Preparing to unpack .../71-libthai-data_0.1.29-2build1_all.deb ... 156s Unpacking libthai-data (0.1.29-2build1) ... 156s Selecting previously unselected package libthai0:arm64. 156s Preparing to unpack .../72-libthai0_0.1.29-2build1_arm64.deb ... 156s Unpacking libthai0:arm64 (0.1.29-2build1) ... 156s Selecting previously unselected package libpango-1.0-0:arm64. 156s Preparing to unpack .../73-libpango-1.0-0_1.56.1-1_arm64.deb ... 156s Unpacking libpango-1.0-0:arm64 (1.56.1-1) ... 156s Selecting previously unselected package libpangoft2-1.0-0:arm64. 156s Preparing to unpack .../74-libpangoft2-1.0-0_1.56.1-1_arm64.deb ... 156s Unpacking libpangoft2-1.0-0:arm64 (1.56.1-1) ... 156s Selecting previously unselected package libpangocairo-1.0-0:arm64. 156s Preparing to unpack .../75-libpangocairo-1.0-0_1.56.1-1_arm64.deb ... 156s Unpacking libpangocairo-1.0-0:arm64 (1.56.1-1) ... 156s Selecting previously unselected package libwayland-client0:arm64. 156s Preparing to unpack .../76-libwayland-client0_1.23.1-1_arm64.deb ... 156s Unpacking libwayland-client0:arm64 (1.23.1-1) ... 156s Selecting previously unselected package libwayland-cursor0:arm64. 156s Preparing to unpack .../77-libwayland-cursor0_1.23.1-1_arm64.deb ... 156s Unpacking libwayland-cursor0:arm64 (1.23.1-1) ... 156s Selecting previously unselected package libwayland-egl1:arm64. 156s Preparing to unpack .../78-libwayland-egl1_1.23.1-1_arm64.deb ... 156s Unpacking libwayland-egl1:arm64 (1.23.1-1) ... 156s Selecting previously unselected package libxcomposite1:arm64. 156s Preparing to unpack .../79-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 156s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 156s Selecting previously unselected package libxfixes3:arm64. 156s Preparing to unpack .../80-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 156s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 156s Selecting previously unselected package libxcursor1:arm64. 156s Preparing to unpack .../81-libxcursor1_1%3a1.2.3-1_arm64.deb ... 156s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 156s Selecting previously unselected package libxdamage1:arm64. 157s Preparing to unpack .../82-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 157s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 157s Selecting previously unselected package libxinerama1:arm64. 157s Preparing to unpack .../83-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 157s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 157s Selecting previously unselected package libxrandr2:arm64. 157s Preparing to unpack .../84-libxrandr2_2%3a1.5.4-1_arm64.deb ... 157s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 157s Selecting previously unselected package libgtk-3-common. 157s Preparing to unpack .../85-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 157s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 157s Selecting previously unselected package libgtk-3-0t64:arm64. 157s Preparing to unpack .../86-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 157s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 157s Selecting previously unselected package libgtksourceview-3.0-common. 157s Preparing to unpack .../87-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 157s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 157s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 157s Preparing to unpack .../88-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 157s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 157s Selecting previously unselected package liblablgtk3-ocaml. 157s Preparing to unpack .../89-liblablgtk3-ocaml_3.1.5-1build1_arm64.deb ... 157s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 157s Selecting previously unselected package liblablgtksourceview3-ocaml. 157s Preparing to unpack .../90-liblablgtksourceview3-ocaml_3.1.5-1build1_arm64.deb ... 157s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 157s Selecting previously unselected package libncurses-dev:arm64. 157s Preparing to unpack .../91-libncurses-dev_6.5+20250125-2_arm64.deb ... 157s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 157s Selecting previously unselected package libzstd-dev:arm64. 157s Preparing to unpack .../92-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 157s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 157s Selecting previously unselected package ocaml-interp. 157s Preparing to unpack .../93-ocaml-interp_5.2.0-3_arm64.deb ... 157s Unpacking ocaml-interp (5.2.0-3) ... 157s Selecting previously unselected package ocaml. 158s Preparing to unpack .../94-ocaml_5.2.0-3_arm64.deb ... 158s Unpacking ocaml (5.2.0-3) ... 158s Selecting previously unselected package tex-common. 158s Preparing to unpack .../95-tex-common_6.18_all.deb ... 158s Unpacking tex-common (6.18) ... 158s Selecting previously unselected package why3. 158s Preparing to unpack .../96-why3_1.7.2-2build1_arm64.deb ... 158s Unpacking why3 (1.7.2-2build1) ... 159s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 159s Setting up liblcms2-2:arm64 (2.16-2) ... 159s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 159s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 159s Setting up libcln6:arm64 (1.3.7-1) ... 159s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 159s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 159s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 159s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 159s Setting up libantlr3c-3.4-0:arm64 (3.4+dfsg-4build2) ... 159s Setting up hicolor-icon-theme (0.18-2) ... 159s Setting up libxi6:arm64 (2:1.8.2-1) ... 159s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 159s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 159s Setting up libxcb-render0:arm64 (1.17.0-2) ... 159s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 159s Setting up libdeflate0:arm64 (1.23-1) ... 159s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 159s Setting up libgomp1:arm64 (14.2.0-17ubuntu1) ... 159s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 159s Setting up libcolord2:arm64 (1.4.7-1build2) ... 159s Setting up libdconf1:arm64 (0.40.0-5) ... 159s Setting up tex-common (6.18) ... 159s update-language: texlive-base not installed and configured, doing nothing! 159s Setting up libepoxy0:arm64 (1.5.10-2) ... 159s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 159s Setting up libavahi-common-data:arm64 (0.8-14ubuntu1) ... 159s Setting up libatspi2.0-0t64:arm64 (2.55.2-1) ... 159s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 159s Setting up libstdlib-ocaml (5.2.0-3) ... 159s Setting up fonts-dejavu-mono (2.37-8) ... 159s Setting up libmpc3:arm64 (1.3.1-1build2) ... 159s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 159s Setting up ocaml-base (5.2.0-3) ... 159s Setting up fonts-dejavu-core (2.37-8) ... 159s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 159s Setting up libwebp7:arm64 (1.5.0-0.1) ... 159s Setting up libubsan1:arm64 (14.2.0-17ubuntu1) ... 159s Setting up libhwasan0:arm64 (14.2.0-17ubuntu1) ... 159s Setting up at-spi2-common (2.55.2-1) ... 159s Setting up libasan8:arm64 (14.2.0-17ubuntu1) ... 159s Setting up libcvc4-7:arm64 (1.8-3build2) ... 159s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 159s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 159s Setting up libthai-data (0.1.29-2build1) ... 159s Setting up libwayland-egl1:arm64 (1.23.1-1) ... 159s Setting up libtsan2:arm64 (14.2.0-17ubuntu1) ... 159s Setting up libisl23:arm64 (0.27-1) ... 159s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 159s Setting up libcc1-0:arm64 (14.2.0-17ubuntu1) ... 159s Setting up liblsan0:arm64 (14.2.0-17ubuntu1) ... 159s Setting up libitm1:arm64 (14.2.0-17ubuntu1) ... 159s Setting up libwayland-client0:arm64 (1.23.1-1) ... 159s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 159s Setting up libatk1.0-0t64:arm64 (2.55.2-1) ... 159s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 159s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ... 159s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 159s Setting up libavahi-common3:arm64 (0.8-14ubuntu1) ... 159s Setting up dconf-service (0.40.0-5) ... 159s Setting up libthai0:arm64 (0.1.29-2build1) ... 159s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 159s Setting up ocaml-interp (5.2.0-3) ... 159s Setting up libcvc4parser7:arm64 (1.8-3build2) ... 159s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 159s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 159s Setting up libwayland-cursor0:arm64 (1.23.1-1) ... 159s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 159s Setting up cvc4 (1.8-3build2) ... 159s Setting up libfontconfig1:arm64 (2.15.0-1.1ubuntu2) ... 159s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 159s Setting up libavahi-client3:arm64 (0.8-14ubuntu1) ... 159s Setting up libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 159s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 159s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 161s Regenerating fonts cache... done. 161s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 161s Setting up libpango-1.0-0:arm64 (1.56.1-1) ... 161s Setting up libcairo2:arm64 (1.18.2-2) ... 161s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 161s Setting up adwaita-icon-theme (48~beta-3) ... 161s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 161s Setting up cpp-14 (14.2.0-17ubuntu1) ... 161s Setting up cpp (4:14.2.0-1ubuntu1) ... 161s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 161s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 161s Setting up libpangoft2-1.0-0:arm64 (1.56.1-1) ... 161s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 161s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 161s Setting up libpangocairo-1.0-0:arm64 (1.56.1-1) ... 161s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 161s Setting up libcairo2-ocaml (0.6.5-2) ... 161s Setting up gcc-14 (14.2.0-17ubuntu1) ... 161s Setting up gcc (4:14.2.0-1ubuntu1) ... 161s Setting up ocaml (5.2.0-3) ... 161s Processing triggers for libc-bin (2.41-1ubuntu1) ... 161s Processing triggers for man-db (2.13.0-1) ... 162s Processing triggers for libglib2.0-0t64:arm64 (2.83.3-2) ... 162s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 162s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 162s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 162s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 162s Setting up why3 (1.7.2-2build1) ... 162s Processing triggers for libc-bin (2.41-1ubuntu1) ... 163s autopkgtest [14:13:25]: test why3+cvc4: [----------------------- 164s autopkgtest [14:13:26]: test why3+cvc4: -----------------------] 165s autopkgtest [14:13:27]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 165s why3+cvc4 PASS 165s autopkgtest [14:13:27]: test why3+spass: preparing testbed 277s autopkgtest [14:15:19]: testbed dpkg architecture: arm64 277s autopkgtest [14:15:19]: testbed apt version: 2.9.28 277s autopkgtest [14:15:19]: @@@@@@@@@@@@@@@@@@@@ test bed setup 278s autopkgtest [14:15:20]: testbed release detected to be: plucky 279s autopkgtest [14:15:21]: updating testbed package index (apt update) 279s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 279s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 279s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 279s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 279s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 279s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 279s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [770 kB] 280s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [62.3 kB] 280s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [79.7 kB] 280s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 280s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [825 kB] 280s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.0 kB] 280s Fetched 1881 kB in 1s (2029 kB/s) 281s Reading package lists... 282s Reading package lists... 282s Building dependency tree... 282s Reading state information... 284s Calculating upgrade... 285s The following NEW packages will be installed: 285s gcc-15-base 285s The following packages will be upgraded: 285s libatomic1 libgcc-s1 libstdc++6 pci.ids 285s 4 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 285s Need to get 1163 kB of archives. 285s After this operation, 186 kB of additional disk space will be used. 285s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-15-base arm64 15-20250213-1ubuntu1 [53.2 kB] 285s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-s1 arm64 15-20250213-1ubuntu1 [61.1 kB] 285s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libstdc++6 arm64 15-20250213-1ubuntu1 [754 kB] 285s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libatomic1 arm64 15-20250213-1ubuntu1 [11.2 kB] 285s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 pci.ids all 0.0~2025.02.12-1 [284 kB] 286s Fetched 1163 kB in 1s (1863 kB/s) 286s Selecting previously unselected package gcc-15-base:arm64. 286s (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 ... 116609 files and directories currently installed.) 286s Preparing to unpack .../gcc-15-base_15-20250213-1ubuntu1_arm64.deb ... 286s Unpacking gcc-15-base:arm64 (15-20250213-1ubuntu1) ... 286s Setting up gcc-15-base:arm64 (15-20250213-1ubuntu1) ... 286s (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 ... 116614 files and directories currently installed.) 286s Preparing to unpack .../libgcc-s1_15-20250213-1ubuntu1_arm64.deb ... 286s Unpacking libgcc-s1:arm64 (15-20250213-1ubuntu1) over (14.2.0-17ubuntu1) ... 286s Setting up libgcc-s1:arm64 (15-20250213-1ubuntu1) ... 287s (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 ... 116614 files and directories currently installed.) 287s Preparing to unpack .../libstdc++6_15-20250213-1ubuntu1_arm64.deb ... 287s Unpacking libstdc++6:arm64 (15-20250213-1ubuntu1) over (14.2.0-17ubuntu1) ... 287s Setting up libstdc++6:arm64 (15-20250213-1ubuntu1) ... 287s (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 ... 116614 files and directories currently installed.) 287s Preparing to unpack .../libatomic1_15-20250213-1ubuntu1_arm64.deb ... 287s Unpacking libatomic1:arm64 (15-20250213-1ubuntu1) over (14.2.0-17ubuntu1) ... 287s Preparing to unpack .../pci.ids_0.0~2025.02.12-1_all.deb ... 287s Unpacking pci.ids (0.0~2025.02.12-1) over (0.0~2025.02.05-1) ... 287s Setting up pci.ids (0.0~2025.02.12-1) ... 287s Setting up libatomic1:arm64 (15-20250213-1ubuntu1) ... 287s Processing triggers for libc-bin (2.40-4ubuntu1) ... 287s Reading package lists... 288s Building dependency tree... 288s Reading state information... 289s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 289s autopkgtest [14:15:31]: upgrading testbed (apt dist-upgrade and autopurge) 289s Reading package lists... 290s Building dependency tree... 290s Reading state information... 291s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 291s Starting 2 pkgProblemResolver with broken count: 0 291s Done 293s Entering ResolveByKeep 293s 294s The following packages will be upgraded: 294s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 294s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 294s Need to get 10.7 MB of archives. 294s After this operation, 358 kB of additional disk space will be used. 294s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu1 [24.0 kB] 294s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu1 [1750 kB] 295s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu1 [4246 kB] 295s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu1 [2910 kB] 295s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu1 [600 kB] 295s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 iproute2 arm64 6.13.0-1ubuntu1 [1158 kB] 296s Preconfiguring packages ... 296s Fetched 10.7 MB in 1s (11.2 MB/s) 296s (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 ... 116614 files and directories currently installed.) 296s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_arm64.deb ... 296s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 296s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_arm64.deb ... 296s Unpacking libc6-dev:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 296s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 296s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 297s Preparing to unpack .../libc6_2.41-1ubuntu1_arm64.deb ... 297s Checking for services that may need to be restarted... 297s Checking init scripts... 297s Checking for services that may need to be restarted... 297s Checking init scripts... 297s Stopping some services possibly affected by the upgrade (will be restarted later): 297s cron: stopping...done. 297s 297s Unpacking libc6:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 297s Setting up libc6:arm64 (2.41-1ubuntu1) ... 297s Checking for services that may need to be restarted... 297s Checking init scripts... 297s Restarting services possibly affected by the upgrade: 297s cron: restarting...done. 297s 297s Services restarted successfully. 298s (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 ... 116615 files and directories currently installed.) 298s Preparing to unpack .../libc-bin_2.41-1ubuntu1_arm64.deb ... 298s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 298s Setting up libc-bin (2.41-1ubuntu1) ... 298s (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 ... 116615 files and directories currently installed.) 298s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_arm64.deb ... 298s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 298s Setting up iproute2 (6.13.0-1ubuntu1) ... 299s Setting up locales (2.41-1ubuntu1) ... 299s Installing new version of config file /etc/locale.alias ... 300s Generating locales (this might take a while)... 302s en_US.UTF-8... done 302s Generation complete. 302s Setting up libc-dev-bin (2.41-1ubuntu1) ... 302s Setting up libc6-dev:arm64 (2.41-1ubuntu1) ... 302s Processing triggers for man-db (2.13.0-1) ... 304s Processing triggers for systemd (257.2-3ubuntu1) ... 305s Reading package lists... 305s Building dependency tree... 305s Reading state information... 306s Starting pkgProblemResolver with broken count: 0 306s Starting 2 pkgProblemResolver with broken count: 0 306s Done 307s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 310s Reading package lists... 310s Building dependency tree... 310s Reading state information... 311s Starting pkgProblemResolver with broken count: 0 311s Starting 2 pkgProblemResolver with broken count: 0 311s Done 313s The following NEW packages will be installed: 313s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-aarch64-linux-gnu 313s cpp-aarch64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 313s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 313s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu gtk-update-icon-cache 313s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 313s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 313s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 313s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 313s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 313s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 313s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 313s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 313s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 313s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 313s libpixman-1-0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 313s libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 313s libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 libxcomposite1 313s libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 313s libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass tex-common why3 313s 0 upgraded, 93 newly installed, 0 to remove and 0 not upgraded. 313s Need to get 166 MB of archives. 313s After this operation, 524 MB of additional disk space will be used. 313s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 313s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg-turbo8 arm64 2.1.5-3ubuntu2 [165 kB] 313s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libjpeg8 arm64 8c-2ubuntu11 [2148 B] 313s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libdeflate0 arm64 1.23-1 [46.2 kB] 313s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libjbig0 arm64 2.1-6.1ubuntu2 [29.3 kB] 313s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 liblerc4 arm64 4.0.0+ds-5ubuntu1 [167 kB] 313s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libsharpyuv0 arm64 1.5.0-0.1 [16.9 kB] 313s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libwebp7 arm64 1.5.0-0.1 [194 kB] 313s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libtiff6 arm64 4.5.1+git230720-4ubuntu4 [193 kB] 313s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libgdk-pixbuf-2.0-0 arm64 2.42.12+dfsg-2 [147 kB] 313s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 gtk-update-icon-cache arm64 4.17.4+ds-4 [52.5 kB] 313s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 hicolor-icon-theme all 0.18-2 [13.3 kB] 313s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 adwaita-icon-theme all 48~beta-3 [578 kB] 313s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 at-spi2-common all 2.55.2-1 [8916 B] 313s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 313s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 313s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [10.6 MB] 314s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu1 [1032 B] 314s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 314s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 314s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libdconf1 arm64 0.40.0-5 [40.0 kB] 314s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-service arm64 0.40.0-5 [27.1 kB] 314s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 dconf-gsettings-backend arm64 0.40.0-5 [22.3 kB] 314s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-mono all 2.37-8 [502 kB] 314s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 fonts-dejavu-core all 2.37-8 [835 kB] 314s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig-config arm64 2.15.0-1.1ubuntu2 [37.4 kB] 314s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 libfontconfig1 arm64 2.15.0-1.1ubuntu2 [142 kB] 314s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 fontconfig arm64 2.15.0-1.1ubuntu2 [190 kB] 314s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250213-1ubuntu1 [44.2 kB] 314s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250213-1ubuntu1 [146 kB] 314s Get:31 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250213-1ubuntu1 [28.0 kB] 314s Get:32 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250213-1ubuntu1 [2928 kB] 314s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250213-1ubuntu1 [1319 kB] 314s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250213-1ubuntu1 [2695 kB] 314s Get:35 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250213-1ubuntu1 [1178 kB] 314s Get:36 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250213-1ubuntu1 [1642 kB] 314s Get:37 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu1 [2593 kB] 314s Get:38 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [20.9 MB] 315s Get:39 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu1 [526 kB] 315s Get:40 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 315s Get:41 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 315s Get:42 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk1.0-0t64 arm64 2.55.2-1 [55.2 kB] 315s Get:43 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 315s Get:44 http://ftpmaster.internal/ubuntu plucky/main arm64 libatspi2.0-0t64 arm64 2.55.2-1 [80.6 kB] 316s Get:45 http://ftpmaster.internal/ubuntu plucky/main arm64 libatk-bridge2.0-0t64 arm64 2.55.2-1 [66.7 kB] 316s Get:46 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common-data arm64 0.8-14ubuntu1 [30.5 kB] 316s Get:47 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-common3 arm64 0.8-14ubuntu1 [23.1 kB] 316s Get:48 http://ftpmaster.internal/ubuntu plucky/main arm64 libavahi-client3 arm64 0.8-14ubuntu1 [27.3 kB] 316s Get:49 http://ftpmaster.internal/ubuntu plucky/main arm64 libpixman-1-0 arm64 0.44.0-3 [197 kB] 316s Get:50 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-render0 arm64 1.17.0-2 [16.6 kB] 316s Get:51 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 316s Get:52 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrender1 arm64 1:0.9.10-1.1build1 [18.8 kB] 316s Get:53 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo2 arm64 1.18.2-2 [560 kB] 316s Get:54 http://ftpmaster.internal/ubuntu plucky/main arm64 libcairo-gobject2 arm64 1.18.2-2 [127 kB] 316s Get:55 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB] 316s Get:56 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB] 316s Get:57 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcairo2-ocaml arm64 0.6.5-2 [27.5 kB] 316s Get:58 http://ftpmaster.internal/ubuntu plucky/main arm64 liblcms2-2 arm64 2.16-2 [170 kB] 316s Get:59 http://ftpmaster.internal/ubuntu plucky/main arm64 libcolord2 arm64 1.4.7-1build2 [149 kB] 316s Get:60 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB] 316s Get:61 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB] 318s Get:62 http://ftpmaster.internal/ubuntu plucky/main arm64 libcups2t64 arm64 2.4.11-0ubuntu2 [274 kB] 318s Get:63 http://ftpmaster.internal/ubuntu plucky/main arm64 libdatrie1 arm64 0.2.13-3build1 [19.2 kB] 318s Get:64 http://ftpmaster.internal/ubuntu plucky/main arm64 libepoxy0 arm64 1.5.10-2 [236 kB] 318s Get:65 http://ftpmaster.internal/ubuntu plucky/main arm64 libgraphite2-3 arm64 1.3.14-2ubuntu1 [70.6 kB] 318s Get:66 http://ftpmaster.internal/ubuntu plucky/main arm64 libharfbuzz0b arm64 10.2.0-1 [490 kB] 318s Get:67 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai-data all 0.1.29-2build1 [158 kB] 318s Get:68 http://ftpmaster.internal/ubuntu plucky/main arm64 libthai0 arm64 0.1.29-2build1 [18.2 kB] 318s Get:69 http://ftpmaster.internal/ubuntu plucky/main arm64 libpango-1.0-0 arm64 1.56.1-1 [238 kB] 318s Get:70 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangoft2-1.0-0 arm64 1.56.1-1 [49.6 kB] 318s Get:71 http://ftpmaster.internal/ubuntu plucky/main arm64 libpangocairo-1.0-0 arm64 1.56.1-1 [27.6 kB] 318s Get:72 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-client0 arm64 1.23.1-1 [26.8 kB] 318s Get:73 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-cursor0 arm64 1.23.1-1 [10.7 kB] 318s Get:74 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-egl1 arm64 1.23.1-1 [5752 B] 318s Get:75 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcomposite1 arm64 1:0.4.6-1 [6626 B] 318s Get:76 http://ftpmaster.internal/ubuntu plucky/main arm64 libxfixes3 arm64 1:6.0.0-2build1 [11.2 kB] 318s Get:77 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcursor1 arm64 1:1.2.3-1 [22.2 kB] 318s Get:78 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdamage1 arm64 1:1.1.6-1build1 [6236 B] 318s Get:79 http://ftpmaster.internal/ubuntu plucky/main arm64 libxinerama1 arm64 2:1.1.4-3build1 [6394 B] 318s Get:80 http://ftpmaster.internal/ubuntu plucky/main arm64 libxrandr2 arm64 2:1.5.4-1 [19.6 kB] 318s Get:81 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 318s Get:82 http://ftpmaster.internal/ubuntu plucky/main arm64 libgtk-3-0t64 arm64 3.24.48-3ubuntu1 [2916 kB] 318s Get:83 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 318s Get:84 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-3 [230 kB] 318s Get:85 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build1 [3691 kB] 318s Get:86 http://ftpmaster.internal/ubuntu plucky/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build1 [343 kB] 318s Get:87 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 318s Get:88 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 318s Get:89 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB] 319s Get:90 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB] 319s Get:91 http://ftpmaster.internal/ubuntu plucky/universe arm64 spass arm64 3.9-1.1 [254 kB] 319s Get:92 http://ftpmaster.internal/ubuntu plucky/universe arm64 tex-common all 6.18 [32.8 kB] 319s Get:93 http://ftpmaster.internal/ubuntu plucky/universe arm64 why3 arm64 1.7.2-2build1 [13.8 MB] 321s Fetched 166 MB in 7s (23.4 MB/s) 321s Selecting previously unselected package libgdk-pixbuf2.0-common. 321s (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 ... 116616 files and directories currently installed.) 321s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 321s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 321s Selecting previously unselected package libjpeg-turbo8:arm64. 321s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_arm64.deb ... 321s Unpacking libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 321s Selecting previously unselected package libjpeg8:arm64. 321s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_arm64.deb ... 321s Unpacking libjpeg8:arm64 (8c-2ubuntu11) ... 321s Selecting previously unselected package libdeflate0:arm64. 321s Preparing to unpack .../03-libdeflate0_1.23-1_arm64.deb ... 321s Unpacking libdeflate0:arm64 (1.23-1) ... 321s Selecting previously unselected package libjbig0:arm64. 321s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_arm64.deb ... 321s Unpacking libjbig0:arm64 (2.1-6.1ubuntu2) ... 321s Selecting previously unselected package liblerc4:arm64. 321s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_arm64.deb ... 321s Unpacking liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 321s Selecting previously unselected package libsharpyuv0:arm64. 321s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_arm64.deb ... 321s Unpacking libsharpyuv0:arm64 (1.5.0-0.1) ... 321s Selecting previously unselected package libwebp7:arm64. 321s Preparing to unpack .../07-libwebp7_1.5.0-0.1_arm64.deb ... 321s Unpacking libwebp7:arm64 (1.5.0-0.1) ... 321s Selecting previously unselected package libtiff6:arm64. 321s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_arm64.deb ... 321s Unpacking libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 321s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 321s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_arm64.deb ... 321s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 321s Selecting previously unselected package gtk-update-icon-cache. 321s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_arm64.deb ... 321s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 321s 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. 321s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 321s Selecting previously unselected package hicolor-icon-theme. 321s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 321s Unpacking hicolor-icon-theme (0.18-2) ... 321s Selecting previously unselected package adwaita-icon-theme. 321s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 321s Unpacking adwaita-icon-theme (48~beta-3) ... 322s Selecting previously unselected package at-spi2-common. 322s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 322s Unpacking at-spi2-common (2.55.2-1) ... 322s Selecting previously unselected package libisl23:arm64. 322s Preparing to unpack .../14-libisl23_0.27-1_arm64.deb ... 322s Unpacking libisl23:arm64 (0.27-1) ... 322s Selecting previously unselected package libmpc3:arm64. 322s Preparing to unpack .../15-libmpc3_1.3.1-1build2_arm64.deb ... 322s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 322s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 322s Preparing to unpack .../16-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 322s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 322s Selecting previously unselected package cpp-14. 322s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_arm64.deb ... 322s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 322s Selecting previously unselected package cpp-aarch64-linux-gnu. 322s Preparing to unpack .../18-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 322s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 322s Selecting previously unselected package cpp. 322s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 322s Unpacking cpp (4:14.2.0-1ubuntu1) ... 322s Selecting previously unselected package libdconf1:arm64. 322s Preparing to unpack .../20-libdconf1_0.40.0-5_arm64.deb ... 322s Unpacking libdconf1:arm64 (0.40.0-5) ... 322s Selecting previously unselected package dconf-service. 322s Preparing to unpack .../21-dconf-service_0.40.0-5_arm64.deb ... 322s Unpacking dconf-service (0.40.0-5) ... 323s Selecting previously unselected package dconf-gsettings-backend:arm64. 323s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_arm64.deb ... 323s Unpacking dconf-gsettings-backend:arm64 (0.40.0-5) ... 323s Selecting previously unselected package fonts-dejavu-mono. 323s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 323s Unpacking fonts-dejavu-mono (2.37-8) ... 323s Selecting previously unselected package fonts-dejavu-core. 323s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 323s Unpacking fonts-dejavu-core (2.37-8) ... 323s Selecting previously unselected package fontconfig-config. 323s Preparing to unpack .../25-fontconfig-config_2.15.0-1.1ubuntu2_arm64.deb ... 323s Unpacking fontconfig-config (2.15.0-1.1ubuntu2) ... 323s Selecting previously unselected package libfontconfig1:arm64. 323s Preparing to unpack .../26-libfontconfig1_2.15.0-1.1ubuntu2_arm64.deb ... 323s Unpacking libfontconfig1:arm64 (2.15.0-1.1ubuntu2) ... 323s Selecting previously unselected package fontconfig. 323s Preparing to unpack .../27-fontconfig_2.15.0-1.1ubuntu2_arm64.deb ... 323s Unpacking fontconfig (2.15.0-1.1ubuntu2) ... 323s Selecting previously unselected package libcc1-0:arm64. 323s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_arm64.deb ... 323s Unpacking libcc1-0:arm64 (15-20250213-1ubuntu1) ... 323s Selecting previously unselected package libgomp1:arm64. 323s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_arm64.deb ... 323s Unpacking libgomp1:arm64 (15-20250213-1ubuntu1) ... 323s Selecting previously unselected package libitm1:arm64. 323s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_arm64.deb ... 323s Unpacking libitm1:arm64 (15-20250213-1ubuntu1) ... 323s Selecting previously unselected package libasan8:arm64. 323s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_arm64.deb ... 323s Unpacking libasan8:arm64 (15-20250213-1ubuntu1) ... 324s Selecting previously unselected package liblsan0:arm64. 324s Preparing to unpack .../32-liblsan0_15-20250213-1ubuntu1_arm64.deb ... 324s Unpacking liblsan0:arm64 (15-20250213-1ubuntu1) ... 324s Selecting previously unselected package libtsan2:arm64. 324s Preparing to unpack .../33-libtsan2_15-20250213-1ubuntu1_arm64.deb ... 324s Unpacking libtsan2:arm64 (15-20250213-1ubuntu1) ... 324s Selecting previously unselected package libubsan1:arm64. 324s Preparing to unpack .../34-libubsan1_15-20250213-1ubuntu1_arm64.deb ... 324s Unpacking libubsan1:arm64 (15-20250213-1ubuntu1) ... 324s Selecting previously unselected package libhwasan0:arm64. 324s Preparing to unpack .../35-libhwasan0_15-20250213-1ubuntu1_arm64.deb ... 324s Unpacking libhwasan0:arm64 (15-20250213-1ubuntu1) ... 324s Selecting previously unselected package libgcc-14-dev:arm64. 324s Preparing to unpack .../36-libgcc-14-dev_14.2.0-17ubuntu1_arm64.deb ... 324s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 324s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 324s Preparing to unpack .../37-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 324s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 325s Selecting previously unselected package gcc-14. 325s Preparing to unpack .../38-gcc-14_14.2.0-17ubuntu1_arm64.deb ... 325s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 325s Selecting previously unselected package gcc-aarch64-linux-gnu. 325s Preparing to unpack .../39-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 325s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 325s Selecting previously unselected package gcc. 325s Preparing to unpack .../40-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 325s Unpacking gcc (4:14.2.0-1ubuntu1) ... 325s Selecting previously unselected package libatk1.0-0t64:arm64. 325s Preparing to unpack .../41-libatk1.0-0t64_2.55.2-1_arm64.deb ... 325s Unpacking libatk1.0-0t64:arm64 (2.55.2-1) ... 325s Selecting previously unselected package libxi6:arm64. 325s Preparing to unpack .../42-libxi6_2%3a1.8.2-1_arm64.deb ... 325s Unpacking libxi6:arm64 (2:1.8.2-1) ... 325s Selecting previously unselected package libatspi2.0-0t64:arm64. 325s Preparing to unpack .../43-libatspi2.0-0t64_2.55.2-1_arm64.deb ... 325s Unpacking libatspi2.0-0t64:arm64 (2.55.2-1) ... 325s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 325s Preparing to unpack .../44-libatk-bridge2.0-0t64_2.55.2-1_arm64.deb ... 325s Unpacking libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 325s Selecting previously unselected package libavahi-common-data:arm64. 325s Preparing to unpack .../45-libavahi-common-data_0.8-14ubuntu1_arm64.deb ... 325s Unpacking libavahi-common-data:arm64 (0.8-14ubuntu1) ... 325s Selecting previously unselected package libavahi-common3:arm64. 325s Preparing to unpack .../46-libavahi-common3_0.8-14ubuntu1_arm64.deb ... 325s Unpacking libavahi-common3:arm64 (0.8-14ubuntu1) ... 325s Selecting previously unselected package libavahi-client3:arm64. 325s Preparing to unpack .../47-libavahi-client3_0.8-14ubuntu1_arm64.deb ... 325s Unpacking libavahi-client3:arm64 (0.8-14ubuntu1) ... 325s Selecting previously unselected package libpixman-1-0:arm64. 325s Preparing to unpack .../48-libpixman-1-0_0.44.0-3_arm64.deb ... 325s Unpacking libpixman-1-0:arm64 (0.44.0-3) ... 325s Selecting previously unselected package libxcb-render0:arm64. 325s Preparing to unpack .../49-libxcb-render0_1.17.0-2_arm64.deb ... 325s Unpacking libxcb-render0:arm64 (1.17.0-2) ... 326s Selecting previously unselected package libxcb-shm0:arm64. 326s Preparing to unpack .../50-libxcb-shm0_1.17.0-2_arm64.deb ... 326s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 326s Selecting previously unselected package libxrender1:arm64. 326s Preparing to unpack .../51-libxrender1_1%3a0.9.10-1.1build1_arm64.deb ... 326s Unpacking libxrender1:arm64 (1:0.9.10-1.1build1) ... 326s Selecting previously unselected package libcairo2:arm64. 326s Preparing to unpack .../52-libcairo2_1.18.2-2_arm64.deb ... 326s Unpacking libcairo2:arm64 (1.18.2-2) ... 326s Selecting previously unselected package libcairo-gobject2:arm64. 326s Preparing to unpack .../53-libcairo-gobject2_1.18.2-2_arm64.deb ... 326s Unpacking libcairo-gobject2:arm64 (1.18.2-2) ... 326s Selecting previously unselected package libstdlib-ocaml. 326s Preparing to unpack .../54-libstdlib-ocaml_5.2.0-3_arm64.deb ... 326s Unpacking libstdlib-ocaml (5.2.0-3) ... 326s Selecting previously unselected package ocaml-base. 326s Preparing to unpack .../55-ocaml-base_5.2.0-3_arm64.deb ... 326s Unpacking ocaml-base (5.2.0-3) ... 326s Selecting previously unselected package libcairo2-ocaml. 326s Preparing to unpack .../56-libcairo2-ocaml_0.6.5-2_arm64.deb ... 326s Unpacking libcairo2-ocaml (0.6.5-2) ... 326s Selecting previously unselected package liblcms2-2:arm64. 326s Preparing to unpack .../57-liblcms2-2_2.16-2_arm64.deb ... 326s Unpacking liblcms2-2:arm64 (2.16-2) ... 326s Selecting previously unselected package libcolord2:arm64. 326s Preparing to unpack .../58-libcolord2_1.4.7-1build2_arm64.deb ... 326s Unpacking libcolord2:arm64 (1.4.7-1build2) ... 326s Selecting previously unselected package libstdlib-ocaml-dev. 326s Preparing to unpack .../59-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ... 326s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 326s Selecting previously unselected package libcompiler-libs-ocaml-dev. 326s Preparing to unpack .../60-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ... 326s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 327s Selecting previously unselected package libcups2t64:arm64. 327s Preparing to unpack .../61-libcups2t64_2.4.11-0ubuntu2_arm64.deb ... 327s Unpacking libcups2t64:arm64 (2.4.11-0ubuntu2) ... 327s Selecting previously unselected package libdatrie1:arm64. 327s Preparing to unpack .../62-libdatrie1_0.2.13-3build1_arm64.deb ... 327s Unpacking libdatrie1:arm64 (0.2.13-3build1) ... 327s Selecting previously unselected package libepoxy0:arm64. 327s Preparing to unpack .../63-libepoxy0_1.5.10-2_arm64.deb ... 327s Unpacking libepoxy0:arm64 (1.5.10-2) ... 327s Selecting previously unselected package libgraphite2-3:arm64. 327s Preparing to unpack .../64-libgraphite2-3_1.3.14-2ubuntu1_arm64.deb ... 327s Unpacking libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 327s Selecting previously unselected package libharfbuzz0b:arm64. 327s Preparing to unpack .../65-libharfbuzz0b_10.2.0-1_arm64.deb ... 327s Unpacking libharfbuzz0b:arm64 (10.2.0-1) ... 327s Selecting previously unselected package libthai-data. 328s Preparing to unpack .../66-libthai-data_0.1.29-2build1_all.deb ... 328s Unpacking libthai-data (0.1.29-2build1) ... 328s Selecting previously unselected package libthai0:arm64. 328s Preparing to unpack .../67-libthai0_0.1.29-2build1_arm64.deb ... 328s Unpacking libthai0:arm64 (0.1.29-2build1) ... 328s Selecting previously unselected package libpango-1.0-0:arm64. 328s Preparing to unpack .../68-libpango-1.0-0_1.56.1-1_arm64.deb ... 328s Unpacking libpango-1.0-0:arm64 (1.56.1-1) ... 328s Selecting previously unselected package libpangoft2-1.0-0:arm64. 328s Preparing to unpack .../69-libpangoft2-1.0-0_1.56.1-1_arm64.deb ... 328s Unpacking libpangoft2-1.0-0:arm64 (1.56.1-1) ... 328s Selecting previously unselected package libpangocairo-1.0-0:arm64. 328s Preparing to unpack .../70-libpangocairo-1.0-0_1.56.1-1_arm64.deb ... 328s Unpacking libpangocairo-1.0-0:arm64 (1.56.1-1) ... 328s Selecting previously unselected package libwayland-client0:arm64. 328s Preparing to unpack .../71-libwayland-client0_1.23.1-1_arm64.deb ... 328s Unpacking libwayland-client0:arm64 (1.23.1-1) ... 328s Selecting previously unselected package libwayland-cursor0:arm64. 328s Preparing to unpack .../72-libwayland-cursor0_1.23.1-1_arm64.deb ... 328s Unpacking libwayland-cursor0:arm64 (1.23.1-1) ... 328s Selecting previously unselected package libwayland-egl1:arm64. 328s Preparing to unpack .../73-libwayland-egl1_1.23.1-1_arm64.deb ... 328s Unpacking libwayland-egl1:arm64 (1.23.1-1) ... 328s Selecting previously unselected package libxcomposite1:arm64. 328s Preparing to unpack .../74-libxcomposite1_1%3a0.4.6-1_arm64.deb ... 328s Unpacking libxcomposite1:arm64 (1:0.4.6-1) ... 328s Selecting previously unselected package libxfixes3:arm64. 328s Preparing to unpack .../75-libxfixes3_1%3a6.0.0-2build1_arm64.deb ... 328s Unpacking libxfixes3:arm64 (1:6.0.0-2build1) ... 328s Selecting previously unselected package libxcursor1:arm64. 328s Preparing to unpack .../76-libxcursor1_1%3a1.2.3-1_arm64.deb ... 328s Unpacking libxcursor1:arm64 (1:1.2.3-1) ... 328s Selecting previously unselected package libxdamage1:arm64. 328s Preparing to unpack .../77-libxdamage1_1%3a1.1.6-1build1_arm64.deb ... 328s Unpacking libxdamage1:arm64 (1:1.1.6-1build1) ... 328s Selecting previously unselected package libxinerama1:arm64. 328s Preparing to unpack .../78-libxinerama1_2%3a1.1.4-3build1_arm64.deb ... 328s Unpacking libxinerama1:arm64 (2:1.1.4-3build1) ... 328s Selecting previously unselected package libxrandr2:arm64. 328s Preparing to unpack .../79-libxrandr2_2%3a1.5.4-1_arm64.deb ... 328s Unpacking libxrandr2:arm64 (2:1.5.4-1) ... 328s Selecting previously unselected package libgtk-3-common. 328s Preparing to unpack .../80-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 328s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 328s Selecting previously unselected package libgtk-3-0t64:arm64. 328s Preparing to unpack .../81-libgtk-3-0t64_3.24.48-3ubuntu1_arm64.deb ... 328s Unpacking libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 329s Selecting previously unselected package libgtksourceview-3.0-common. 329s Preparing to unpack .../82-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 329s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 329s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 329s Preparing to unpack .../83-libgtksourceview-3.0-1_3.24.11-3_arm64.deb ... 329s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 329s Selecting previously unselected package liblablgtk3-ocaml. 329s Preparing to unpack .../84-liblablgtk3-ocaml_3.1.5-1build1_arm64.deb ... 329s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 329s Selecting previously unselected package liblablgtksourceview3-ocaml. 329s Preparing to unpack .../85-liblablgtksourceview3-ocaml_3.1.5-1build1_arm64.deb ... 329s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 329s Selecting previously unselected package libncurses-dev:arm64. 329s Preparing to unpack .../86-libncurses-dev_6.5+20250125-2_arm64.deb ... 329s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 329s Selecting previously unselected package libzstd-dev:arm64. 329s Preparing to unpack .../87-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 329s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 329s Selecting previously unselected package ocaml-interp. 329s Preparing to unpack .../88-ocaml-interp_5.2.0-3_arm64.deb ... 329s Unpacking ocaml-interp (5.2.0-3) ... 329s Selecting previously unselected package ocaml. 329s Preparing to unpack .../89-ocaml_5.2.0-3_arm64.deb ... 329s Unpacking ocaml (5.2.0-3) ... 330s Selecting previously unselected package spass. 330s Preparing to unpack .../90-spass_3.9-1.1_arm64.deb ... 330s Unpacking spass (3.9-1.1) ... 330s Selecting previously unselected package tex-common. 330s Preparing to unpack .../91-tex-common_6.18_all.deb ... 330s Unpacking tex-common (6.18) ... 330s Selecting previously unselected package why3. 330s Preparing to unpack .../92-why3_1.7.2-2build1_arm64.deb ... 330s Unpacking why3 (1.7.2-2build1) ... 331s Setting up libgraphite2-3:arm64 (1.3.14-2ubuntu1) ... 331s Setting up liblcms2-2:arm64 (2.16-2) ... 331s Setting up libpixman-1-0:arm64 (0.44.0-3) ... 331s Setting up libsharpyuv0:arm64 (1.5.0-0.1) ... 331s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 331s Setting up libxdamage1:arm64 (1:1.1.6-1build1) ... 331s Setting up liblerc4:arm64 (4.0.0+ds-5ubuntu1) ... 331s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 331s Setting up hicolor-icon-theme (0.18-2) ... 331s Setting up libxi6:arm64 (2:1.8.2-1) ... 331s Setting up libxrender1:arm64 (1:0.9.10-1.1build1) ... 331s Setting up libdatrie1:arm64 (0.2.13-3build1) ... 331s Setting up libxcb-render0:arm64 (1.17.0-2) ... 331s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 331s Setting up libdeflate0:arm64 (1.23-1) ... 331s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 331s Setting up libgomp1:arm64 (15-20250213-1ubuntu1) ... 331s Setting up libjbig0:arm64 (2.1-6.1ubuntu2) ... 331s Setting up libcolord2:arm64 (1.4.7-1build2) ... 331s Setting up libdconf1:arm64 (0.40.0-5) ... 331s Setting up tex-common (6.18) ... 331s update-language: texlive-base not installed and configured, doing nothing! 331s Setting up libepoxy0:arm64 (1.5.10-2) ... 331s Setting up libxfixes3:arm64 (1:6.0.0-2build1) ... 331s Setting up spass (3.9-1.1) ... 331s Setting up libavahi-common-data:arm64 (0.8-14ubuntu1) ... 331s Setting up libatspi2.0-0t64:arm64 (2.55.2-1) ... 331s Setting up libxinerama1:arm64 (2:1.1.4-3build1) ... 331s Setting up libstdlib-ocaml (5.2.0-3) ... 331s Setting up fonts-dejavu-mono (2.37-8) ... 331s Setting up libmpc3:arm64 (1.3.1-1build2) ... 331s Setting up libxrandr2:arm64 (2:1.5.4-1) ... 331s Setting up ocaml-base (5.2.0-3) ... 331s Setting up fonts-dejavu-core (2.37-8) ... 331s Setting up libjpeg-turbo8:arm64 (2.1.5-3ubuntu2) ... 331s Setting up libwebp7:arm64 (1.5.0-0.1) ... 331s Setting up libubsan1:arm64 (15-20250213-1ubuntu1) ... 331s Setting up libhwasan0:arm64 (15-20250213-1ubuntu1) ... 331s Setting up at-spi2-common (2.55.2-1) ... 331s Setting up libasan8:arm64 (15-20250213-1ubuntu1) ... 331s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 331s Setting up libharfbuzz0b:arm64 (10.2.0-1) ... 331s Setting up libthai-data (0.1.29-2build1) ... 331s Setting up libwayland-egl1:arm64 (1.23.1-1) ... 331s Setting up libtsan2:arm64 (15-20250213-1ubuntu1) ... 331s Setting up libisl23:arm64 (0.27-1) ... 331s Setting up libxcomposite1:arm64 (1:0.4.6-1) ... 331s Setting up libcc1-0:arm64 (15-20250213-1ubuntu1) ... 331s Setting up liblsan0:arm64 (15-20250213-1ubuntu1) ... 331s Setting up libitm1:arm64 (15-20250213-1ubuntu1) ... 331s Setting up libwayland-client0:arm64 (1.23.1-1) ... 331s Setting up libjpeg8:arm64 (8c-2ubuntu11) ... 331s Setting up libatk1.0-0t64:arm64 (2.55.2-1) ... 331s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 331s Setting up fontconfig-config (2.15.0-1.1ubuntu2) ... 332s Setting up libxcursor1:arm64 (1:1.2.3-1) ... 332s Setting up libavahi-common3:arm64 (0.8-14ubuntu1) ... 332s Setting up dconf-service (0.40.0-5) ... 332s Setting up libthai0:arm64 (0.1.29-2build1) ... 332s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 332s Setting up ocaml-interp (5.2.0-3) ... 332s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 332s Setting up libtiff6:arm64 (4.5.1+git230720-4ubuntu4) ... 332s Setting up libwayland-cursor0:arm64 (1.23.1-1) ... 332s Setting up libgdk-pixbuf-2.0-0:arm64 (2.42.12+dfsg-2) ... 332s Setting up libfontconfig1:arm64 (2.15.0-1.1ubuntu2) ... 332s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 332s Setting up libavahi-client3:arm64 (0.8-14ubuntu1) ... 332s Setting up libatk-bridge2.0-0t64:arm64 (2.55.2-1) ... 332s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 332s Setting up fontconfig (2.15.0-1.1ubuntu2) ... 334s Regenerating fonts cache... done. 334s Setting up dconf-gsettings-backend:arm64 (0.40.0-5) ... 334s Setting up libpango-1.0-0:arm64 (1.56.1-1) ... 334s Setting up libcairo2:arm64 (1.18.2-2) ... 334s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 334s Setting up adwaita-icon-theme (48~beta-3) ... 334s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 334s Setting up cpp-14 (14.2.0-17ubuntu1) ... 334s Setting up cpp (4:14.2.0-1ubuntu1) ... 334s Setting up libcairo-gobject2:arm64 (1.18.2-2) ... 334s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 334s Setting up libpangoft2-1.0-0:arm64 (1.56.1-1) ... 334s Setting up libcups2t64:arm64 (2.4.11-0ubuntu2) ... 334s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 334s Setting up libpangocairo-1.0-0:arm64 (1.56.1-1) ... 334s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 334s Setting up libcairo2-ocaml (0.6.5-2) ... 334s Setting up gcc-14 (14.2.0-17ubuntu1) ... 334s Setting up gcc (4:14.2.0-1ubuntu1) ... 334s Setting up ocaml (5.2.0-3) ... 334s Processing triggers for libc-bin (2.41-1ubuntu1) ... 334s Processing triggers for man-db (2.13.0-1) ... 335s Processing triggers for libglib2.0-0t64:arm64 (2.83.3-2) ... 335s Setting up libgtk-3-0t64:arm64 (3.24.48-3ubuntu1) ... 335s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 335s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-3) ... 335s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 335s Setting up why3 (1.7.2-2build1) ... 335s Processing triggers for libc-bin (2.41-1ubuntu1) ... 340s autopkgtest [14:16:22]: test why3+spass: [----------------------- 341s autopkgtest [14:16:23]: test why3+spass: -----------------------] 341s why3+spass PASS 341s autopkgtest [14:16:23]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 342s autopkgtest [14:16:24]: test why3+z3: preparing testbed 484s autopkgtest [14:18:46]: testbed dpkg architecture: arm64 485s autopkgtest [14:18:47]: testbed apt version: 2.9.28 485s autopkgtest [14:18:47]: @@@@@@@@@@@@@@@@@@@@ test bed setup 485s autopkgtest [14:18:47]: testbed release detected to be: plucky 486s autopkgtest [14:18:48]: updating testbed package index (apt update) 486s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 486s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 487s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 487s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 487s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [770 kB] 487s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 487s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [62.3 kB] 487s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 487s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [79.7 kB] 487s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 487s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [825 kB] 487s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.0 kB] 487s Fetched 1881 kB in 1s (2054 kB/s) 488s Reading package lists... 488s Reading package lists... 489s Building dependency tree... 489s Reading state information... 489s Calculating upgrade... 490s The following NEW packages will be installed: 490s gcc-15-base 490s The following packages will be upgraded: 490s libatomic1 libgcc-s1 libstdc++6 pci.ids 490s 4 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 490s Need to get 1163 kB of archives. 490s After this operation, 186 kB of additional disk space will be used. 490s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-15-base arm64 15-20250213-1ubuntu1 [53.2 kB] 490s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-s1 arm64 15-20250213-1ubuntu1 [61.1 kB] 490s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libstdc++6 arm64 15-20250213-1ubuntu1 [754 kB] 490s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 libatomic1 arm64 15-20250213-1ubuntu1 [11.2 kB] 490s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 pci.ids all 0.0~2025.02.12-1 [284 kB] 491s Fetched 1163 kB in 1s (1901 kB/s) 491s Selecting previously unselected package gcc-15-base:arm64. 491s (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 ... 116609 files and directories currently installed.) 491s Preparing to unpack .../gcc-15-base_15-20250213-1ubuntu1_arm64.deb ... 491s Unpacking gcc-15-base:arm64 (15-20250213-1ubuntu1) ... 491s Setting up gcc-15-base:arm64 (15-20250213-1ubuntu1) ... 491s (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 ... 116614 files and directories currently installed.) 491s Preparing to unpack .../libgcc-s1_15-20250213-1ubuntu1_arm64.deb ... 491s Unpacking libgcc-s1:arm64 (15-20250213-1ubuntu1) over (14.2.0-17ubuntu1) ... 491s Setting up libgcc-s1:arm64 (15-20250213-1ubuntu1) ... 491s (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 ... 116614 files and directories currently installed.) 491s Preparing to unpack .../libstdc++6_15-20250213-1ubuntu1_arm64.deb ... 491s Unpacking libstdc++6:arm64 (15-20250213-1ubuntu1) over (14.2.0-17ubuntu1) ... 491s Setting up libstdc++6:arm64 (15-20250213-1ubuntu1) ... 492s (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 ... 116614 files and directories currently installed.) 492s Preparing to unpack .../libatomic1_15-20250213-1ubuntu1_arm64.deb ... 492s Unpacking libatomic1:arm64 (15-20250213-1ubuntu1) over (14.2.0-17ubuntu1) ... 492s Preparing to unpack .../pci.ids_0.0~2025.02.12-1_all.deb ... 492s Unpacking pci.ids (0.0~2025.02.12-1) over (0.0~2025.02.05-1) ... 492s Setting up pci.ids (0.0~2025.02.12-1) ... 492s Setting up libatomic1:arm64 (15-20250213-1ubuntu1) ... 492s Processing triggers for libc-bin (2.40-4ubuntu1) ... 492s Reading package lists... 492s Building dependency tree... 492s Reading state information... 493s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 493s autopkgtest [14:18:55]: upgrading testbed (apt dist-upgrade and autopurge) 493s Reading package lists... 493s Building dependency tree... 493s Reading state information... 494s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 494s Starting 2 pkgProblemResolver with broken count: 0 494s Done 495s Entering ResolveByKeep 495s 495s The following packages will be upgraded: 495s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 496s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 496s Need to get 10.7 MB of archives. 496s After this operation, 358 kB of additional disk space will be used. 496s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu1 [24.0 kB] 496s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu1 [1750 kB] 496s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu1 [4246 kB] 496s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu1 [2910 kB] 496s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu1 [600 kB] 496s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 iproute2 arm64 6.13.0-1ubuntu1 [1158 kB] 497s Preconfiguring packages ... 497s Fetched 10.7 MB in 1s (11.0 MB/s) 497s (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 ... 116614 files and directories currently installed.) 497s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_arm64.deb ... 497s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 497s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_arm64.deb ... 497s Unpacking libc6-dev:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 497s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 497s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 497s Preparing to unpack .../libc6_2.41-1ubuntu1_arm64.deb ... 497s Checking for services that may need to be restarted... 497s Checking init scripts... 497s Checking for services that may need to be restarted... 497s Checking init scripts... 498s Stopping some services possibly affected by the upgrade (will be restarted later): 498s cron: stopping...done. 498s 498s Unpacking libc6:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 498s Setting up libc6:arm64 (2.41-1ubuntu1) ... 498s Checking for services that may need to be restarted... 498s Checking init scripts... 498s Restarting services possibly affected by the upgrade: 498s cron: restarting...done. 498s 498s Services restarted successfully. 498s (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 ... 116615 files and directories currently installed.) 498s Preparing to unpack .../libc-bin_2.41-1ubuntu1_arm64.deb ... 498s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 498s Setting up libc-bin (2.41-1ubuntu1) ... 499s (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 ... 116615 files and directories currently installed.) 499s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_arm64.deb ... 499s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 499s Setting up iproute2 (6.13.0-1ubuntu1) ... 499s Setting up locales (2.41-1ubuntu1) ... 499s Installing new version of config file /etc/locale.alias ... 500s Generating locales (this might take a while)... 502s en_US.UTF-8... done 502s Generation complete. 502s Setting up libc-dev-bin (2.41-1ubuntu1) ... 502s Setting up libc6-dev:arm64 (2.41-1ubuntu1) ... 502s Processing triggers for man-db (2.13.0-1) ... 503s Processing triggers for systemd (257.2-3ubuntu1) ... 504s Reading package lists... 504s Building dependency tree... 504s Reading state information... 505s Starting pkgProblemResolver with broken count: 0 505s Starting 2 pkgProblemResolver with broken count: 0 505s Done 505s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 508s Reading package lists... 508s Building dependency tree... 508s Reading state information... 509s Starting pkgProblemResolver with broken count: 1 509s Starting 2 pkgProblemResolver with broken count: 1 509s Investigating (0) satisfy:command-line:arm64 < none -> 1 @un puN Ib > 509s Broken satisfy:command-line:arm64 Depends on why3:arm64 < none | 1.7.2-2build1 @un uH > 509s Considering why3:arm64 1 as a solution to satisfy:command-line:arm64 9998 509s Re-Instated fonts-dejavu-mono:arm64 509s Re-Instated fonts-dejavu-core:arm64 509s Re-Instated fontconfig-config:arm64 509s Re-Instated libfontconfig1:arm64 509s Re-Instated libpixman-1-0:arm64 509s Re-Instated libxcb-render0:arm64 509s Re-Instated libxcb-shm0:arm64 509s Re-Instated libxrender1:arm64 509s Re-Instated libcairo2:arm64 509s Re-Instated libgdk-pixbuf2.0-common:arm64 509s Re-Instated libjpeg-turbo8:arm64 509s Re-Instated libjpeg8:arm64 509s Re-Instated libdeflate0:arm64 509s Re-Instated libjbig0:arm64 509s Re-Instated liblerc4:arm64 509s Re-Instated libsharpyuv0:arm64 509s Re-Instated libwebp7:arm64 509s Re-Instated libtiff6:arm64 509s Re-Instated libgdk-pixbuf-2.0-0:arm64 509s Re-Instated gtk-update-icon-cache:arm64 509s Re-Instated hicolor-icon-theme:arm64 509s Re-Instated adwaita-icon-theme:arm64 509s Re-Instated at-spi2-common:arm64 509s Re-Instated libatk1.0-0t64:arm64 509s Re-Instated libxi6:arm64 509s Re-Instated libatspi2.0-0t64:arm64 509s Re-Instated libatk-bridge2.0-0t64:arm64 509s Re-Instated libcairo-gobject2:arm64 509s Re-Instated liblcms2-2:arm64 509s Re-Instated libcolord2:arm64 509s Re-Instated libavahi-common-data:arm64 509s Re-Instated libavahi-common3:arm64 509s Re-Instated libavahi-client3:arm64 509s Re-Instated libcups2t64:arm64 509s Re-Instated libepoxy0:arm64 509s Re-Instated libgraphite2-3:arm64 509s Re-Instated libharfbuzz0b:arm64 509s Re-Instated fontconfig:arm64 509s Re-Instated libthai-data:arm64 509s Re-Instated libdatrie1:arm64 509s Re-Instated libthai0:arm64 509s Re-Instated libpango-1.0-0:arm64 509s Re-Instated libpangoft2-1.0-0:arm64 509s Re-Instated libpangocairo-1.0-0:arm64 509s Re-Instated libwayland-client0:arm64 509s Re-Instated libwayland-cursor0:arm64 509s Re-Instated libwayland-egl1:arm64 509s Re-Instated libxcomposite1:arm64 509s Re-Instated libxfixes3:arm64 509s Re-Instated libxcursor1:arm64 509s Re-Instated libxdamage1:arm64 509s Re-Instated libxinerama1:arm64 509s Re-Instated libxrandr2:arm64 509s Re-Instated libdconf1:arm64 509s Re-Instated dconf-service:arm64 509s Re-Instated dconf-gsettings-backend:arm64 509s Re-Instated libgtk-3-common:arm64 509s Re-Instated libgtk-3-0t64:arm64 509s Re-Instated libgtksourceview-3.0-common:arm64 509s Re-Instated libgtksourceview-3.0-1:arm64 509s Re-Instated libstdlib-ocaml:arm64 509s Re-Instated ocaml-base:arm64 509s Re-Instated libcairo2-ocaml:arm64 509s Re-Instated liblablgtk3-ocaml:arm64 509s Re-Instated liblablgtksourceview3-ocaml:arm64 509s Re-Instated tex-common:arm64 509s Re-Instated why3:arm64 509s Broken satisfy:command-line:arm64 Depends on z3:arm64 < none | 4.13.3-1 @un uH > (< 4.11.1) 509s Broken satisfy:command-line:arm64 Depends on ocaml-native-compilers:arm64 < none @un H > 509s Considering ocaml:arm64 0 as a solution to satisfy:command-line:arm64 9998 509s Re-Instated libstdlib-ocaml-dev:arm64 509s Re-Instated libcompiler-libs-ocaml-dev:arm64 509s Re-Instated ocaml-interp:arm64 509s Re-Instated libncurses-dev:arm64 509s Re-Instated libisl23:arm64 509s Re-Instated libmpc3:arm64 509s Re-Instated cpp-14-aarch64-linux-gnu:arm64 509s Re-Instated cpp-14:arm64 509s Re-Instated cpp-aarch64-linux-gnu:arm64 509s Re-Instated cpp:arm64 509s Re-Instated libcc1-0:arm64 509s Re-Instated libgomp1:arm64 509s Re-Instated libitm1:arm64 509s Re-Instated libasan8:arm64 509s Re-Instated liblsan0:arm64 509s Re-Instated libtsan2:arm64 509s Re-Instated libubsan1:arm64 509s Re-Instated libhwasan0:arm64 509s Re-Instated libgcc-14-dev:arm64 509s Re-Instated gcc-14-aarch64-linux-gnu:arm64 509s Re-Instated gcc-14:arm64 509s Re-Instated gcc-aarch64-linux-gnu:arm64 509s Re-Instated gcc:arm64 509s Re-Instated libzstd-dev:arm64 509s Re-Instated ocaml:arm64 509s Done 509s Some packages could not be installed. This may mean that you have 509s requested an impossible situation or if you are using the unstable 509s distribution that some required packages have not yet been created 509s or been moved out of Incoming. 509s The following information may help to resolve the situation: 509s 509s The following packages have unmet dependencies: 509s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 509s E: Unable to correct problems, you have held broken packages. 509s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 510s Reading package lists... 510s Building dependency tree... 510s Reading state information... 510s Starting pkgProblemResolver with broken count: 1 510s Starting 2 pkgProblemResolver with broken count: 1 510s Investigating (0) satisfy:command-line:arm64 < none -> 1 @un puN Ib > 510s Broken satisfy:command-line:arm64 Depends on why3:arm64 < none | 1.8.0-2 @un uH > 510s Considering why3:arm64 1 as a solution to satisfy:command-line:arm64 9998 510s Re-Instated fonts-dejavu-mono:arm64 510s Re-Instated fonts-dejavu-core:arm64 510s Re-Instated fontconfig-config:arm64 510s Re-Instated libfontconfig1:arm64 510s Re-Instated libpixman-1-0:arm64 510s Re-Instated libxcb-render0:arm64 510s Re-Instated libxcb-shm0:arm64 510s Re-Instated libxrender1:arm64 510s Re-Instated libcairo2:arm64 510s Re-Instated libgdk-pixbuf2.0-common:arm64 510s Re-Instated libjpeg-turbo8:arm64 510s Re-Instated libjpeg8:arm64 510s Re-Instated libdeflate0:arm64 510s Re-Instated libjbig0:arm64 510s Re-Instated liblerc4:arm64 510s Re-Instated libsharpyuv0:arm64 510s Re-Instated libwebp7:arm64 510s Re-Instated libtiff6:arm64 510s Re-Instated libgdk-pixbuf-2.0-0:arm64 510s Re-Instated gtk-update-icon-cache:arm64 510s Re-Instated hicolor-icon-theme:arm64 510s Re-Instated adwaita-icon-theme:arm64 510s Re-Instated at-spi2-common:arm64 510s Re-Instated libatk1.0-0t64:arm64 510s Re-Instated libxi6:arm64 510s Re-Instated libatspi2.0-0t64:arm64 510s Re-Instated libatk-bridge2.0-0t64:arm64 510s Re-Instated libcairo-gobject2:arm64 510s Re-Instated liblcms2-2:arm64 510s Re-Instated libcolord2:arm64 510s Re-Instated libavahi-common-data:arm64 510s Re-Instated libavahi-common3:arm64 510s Re-Instated libavahi-client3:arm64 510s Re-Instated libcups2t64:arm64 510s Re-Instated libepoxy0:arm64 510s Re-Instated libgraphite2-3:arm64 510s Re-Instated libharfbuzz0b:arm64 510s Re-Instated fontconfig:arm64 510s Re-Instated libthai-data:arm64 510s Re-Instated libdatrie1:arm64 510s Re-Instated libthai0:arm64 510s Re-Instated libpango-1.0-0:arm64 510s Re-Instated libpangoft2-1.0-0:arm64 510s Re-Instated libpangocairo-1.0-0:arm64 510s Re-Instated libwayland-client0:arm64 510s Re-Instated libwayland-cursor0:arm64 510s Re-Instated libwayland-egl1:arm64 510s Re-Instated libxcomposite1:arm64 510s Re-Instated libxfixes3:arm64 510s Re-Instated libxcursor1:arm64 510s Re-Instated libxdamage1:arm64 510s Re-Instated libxinerama1:arm64 510s Re-Instated libxrandr2:arm64 510s Re-Instated libdconf1:arm64 510s Re-Instated dconf-service:arm64 510s Re-Instated dconf-gsettings-backend:arm64 510s Re-Instated libgtk-3-common:arm64 510s Re-Instated libgtk-3-0t64:arm64 510s Re-Instated libgtksourceview-3.0-common:arm64 510s Re-Instated libgtksourceview-3.0-1:arm64 510s Re-Instated libstdlib-ocaml:arm64 510s Re-Instated ocaml-base:arm64 510s Re-Instated libcairo2-ocaml:arm64 510s Re-Instated liblablgtk3-ocaml:arm64 510s Re-Instated liblablgtksourceview3-ocaml:arm64 510s Re-Instated tex-common:arm64 510s Re-Instated why3:arm64 510s Broken satisfy:command-line:arm64 Depends on z3:arm64 < none | 4.13.3-1 @un uH > (< 4.11.1) 510s Broken satisfy:command-line:arm64 Depends on ocaml-native-compilers:arm64 < none @un H > 510s Considering ocaml:arm64 0 as a solution to satisfy:command-line:arm64 9998 510s Re-Instated libstdlib-ocaml-dev:arm64 510s Re-Instated libcompiler-libs-ocaml-dev:arm64 510s Re-Instated ocaml-interp:arm64 510s Re-Instated libncurses-dev:arm64 510s Re-Instated libisl23:arm64 510s Re-Instated libmpc3:arm64 510s Re-Instated cpp-14-aarch64-linux-gnu:arm64 510s Re-Instated cpp-14:arm64 510s Re-Instated cpp-aarch64-linux-gnu:arm64 510s Re-Instated cpp:arm64 510s Re-Instated libcc1-0:arm64 510s Re-Instated libgomp1:arm64 510s Re-Instated libitm1:arm64 510s Re-Instated libasan8:arm64 510s Re-Instated liblsan0:arm64 510s Re-Instated libtsan2:arm64 510s Re-Instated libubsan1:arm64 510s Re-Instated libhwasan0:arm64 510s Re-Instated libgcc-14-dev:arm64 510s Re-Instated gcc-14-aarch64-linux-gnu:arm64 510s Re-Instated gcc-14:arm64 510s Re-Instated gcc-aarch64-linux-gnu:arm64 510s Re-Instated gcc:arm64 510s Re-Instated libzstd-dev:arm64 510s Re-Instated ocaml:arm64 510s Done 510s Some packages could not be installed. This may mean that you have 510s requested an impossible situation or if you are using the unstable 510s distribution that some required packages have not yet been created 510s or been moved out of Incoming. 510s The following information may help to resolve the situation: 510s 510s The following packages have unmet dependencies: 511s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 511s E: Unable to correct problems, you have held broken packages. 511s why3+z3 SKIP installation fails and skip-not-installable set 511s autopkgtest [14:19:13]: @@@@@@@@@@@@@@@@@@@@ summary 511s why3+cvc4 PASS 511s why3+spass PASS 511s why3+z3 SKIP installation fails and skip-not-installable set 528s nova [W] Using flock in prodstack6-arm64 528s Creating nova instance adt-plucky-arm64-why3-20250216-141042-juju-7f2275-prod-proposed-migration-environment-2-a76b034d-f3c4-4f7a-9d53-dd4ff11d4485 from image adt/ubuntu-plucky-arm64-server-20250216.img (UUID a098a761-c895-418e-827f-00d410a1ece9)... 528s nova [W] Timed out waiting for c99ad485-f5dd-45ba-bcb8-4796a621c96d to get deleted. 528s nova [W] Using flock in prodstack6-arm64 528s Creating nova instance adt-plucky-arm64-why3-20250216-141042-juju-7f2275-prod-proposed-migration-environment-2-a76b034d-f3c4-4f7a-9d53-dd4ff11d4485 from image adt/ubuntu-plucky-arm64-server-20250216.img (UUID a098a761-c895-418e-827f-00d410a1ece9)... 528s nova [W] Timed out waiting for a808c260-cff2-49e5-a10b-f65da2f62d22 to get deleted. 528s nova [W] Using flock in prodstack6-arm64 528s Creating nova instance adt-plucky-arm64-why3-20250216-141042-juju-7f2275-prod-proposed-migration-environment-2-a76b034d-f3c4-4f7a-9d53-dd4ff11d4485 from image adt/ubuntu-plucky-arm64-server-20250216.img (UUID a098a761-c895-418e-827f-00d410a1ece9)... 528s nova [W] Timed out waiting for 48009544-44b8-48fd-a1af-7bc76a8c0e35 to get deleted.