0s autopkgtest [21:55:59]: starting date and time: 2026-02-09 21:55:59+0000 0s autopkgtest [21:55:59]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [21:55:59]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.a28tqlpb/out --timeout-copy=6000 --needs-internet=try --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gdk-pixbuf --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=gdk-pixbuf/2.44.5+dfsg-3 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-cpu2-ram4-disk20-arm64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@sto01-arm64-14.secgroup --name adt-resolute-arm64-why3-20260209-215559-juju-7f2275-prod-proposed-migration-environment-2-5c4d16a1-30fb-478b-a223-7923f9d897dc --image adt/ubuntu-resolute-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-autopkgtest-workers-arm64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 3s Creating nova instance adt-resolute-arm64-why3-20260209-215559-juju-7f2275-prod-proposed-migration-environment-2-5c4d16a1-30fb-478b-a223-7923f9d897dc from image adt/ubuntu-resolute-arm64-server-20260209.img (UUID 793037ca-75af-461b-82de-f8081300b2e3)... 120s autopkgtest [21:57:59]: testbed dpkg architecture: arm64 121s autopkgtest [21:58:00]: testbed apt version: 3.1.15 121s autopkgtest [21:58:00]: @@@@@@@@@@@@@@@@@@@@ test bed setup 121s autopkgtest [21:58:00]: testbed release detected to be: None 122s autopkgtest [21:58:01]: updating testbed package index (apt update) 122s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 122s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 122s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 122s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 122s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 122s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 125s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 125s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [246 kB] 125s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 c-n-f Metadata [6216 B] 125s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 c-n-f Metadata [304 B] 125s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [1580 kB] 128s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 c-n-f Metadata [32.0 kB] 128s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [21.7 kB] 128s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 c-n-f Metadata [688 B] 129s Fetched 3862 kB in 6s (636 kB/s) 130s Reading package lists... 131s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 131s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 131s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 131s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 132s Reading package lists... 132s Reading package lists... 132s Building dependency tree... 132s Reading state information... 132s Calculating upgrade... 133s The following packages will be upgraded: 133s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 133s libip6tc2 libxtables12 wget 133s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 133s Need to get 2534 kB of archives. 133s After this operation, 18.4 kB of additional disk space will be used. 133s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 iptables arm64 1.8.11-2ubuntu3 [386 kB] 133s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libip4tc2 arm64 1.8.11-2ubuntu3 [24.3 kB] 133s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libip6tc2 arm64 1.8.11-2ubuntu3 [24.7 kB] 133s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libxtables12 arm64 1.8.11-2ubuntu3 [36.7 kB] 133s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 iproute2 arm64 6.18.0-1ubuntu1 [1171 kB] 135s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libcryptsetup12 arm64 2:2.8.0-1ubuntu3 [274 kB] 135s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 wget arm64 1.25.0-2ubuntu4 [344 kB] 136s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 cryptsetup-bin arm64 2:2.8.0-1ubuntu3 [227 kB] 136s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 dracut-install arm64 109-11ubuntu1 [45.3 kB] 136s dpkg-preconfigure: unable to re-open stdin: No such file or directory 137s Fetched 2534 kB in 3s (739 kB/s) 137s (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 ... 136597 files and directories currently installed.) 137s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_arm64.deb ... 137s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 137s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_arm64.deb ... 137s Unpacking libip4tc2:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 137s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_arm64.deb ... 137s Unpacking libip6tc2:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 137s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_arm64.deb ... 137s Unpacking libxtables12:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 137s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_arm64.deb ... 137s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 137s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_arm64.deb ... 137s Unpacking libcryptsetup12:arm64 (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 138s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_arm64.deb ... 138s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 138s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_arm64.deb ... 138s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 138s Preparing to unpack .../8-dracut-install_109-11ubuntu1_arm64.deb ... 138s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 138s Setting up libip4tc2:arm64 (1.8.11-2ubuntu3) ... 138s Setting up wget (1.25.0-2ubuntu4) ... 138s Setting up libip6tc2:arm64 (1.8.11-2ubuntu3) ... 138s Setting up libxtables12:arm64 (1.8.11-2ubuntu3) ... 138s Setting up dracut-install (109-11ubuntu1) ... 138s Setting up libcryptsetup12:arm64 (2:2.8.0-1ubuntu3) ... 138s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 138s Setting up iptables (1.8.11-2ubuntu3) ... 138s Setting up iproute2 (6.18.0-1ubuntu1) ... 138s Processing triggers for man-db (2.13.1-1build1) ... 139s Processing triggers for install-info (7.2-5) ... 139s Processing triggers for libc-bin (2.42-2ubuntu4) ... 139s autopkgtest [21:58:18]: upgrading testbed (apt dist-upgrade and autopurge) 140s Reading package lists... 140s Building dependency tree... 140s Reading state information... 140s Calculating upgrade... 140s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 141s Reading package lists... 141s Building dependency tree... 141s Reading state information... 141s Solving dependencies... 141s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 144s autopkgtest [21:58:23]: testbed running kernel: Linux 6.19.0-3-generic #3-Ubuntu SMP PREEMPT_DYNAMIC Fri Jan 23 19:46:27 UTC 2026 145s autopkgtest [21:58:24]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 165s Get:1 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (dsc) [2677 B] 165s Get:2 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (tar) [6645 kB] 165s Get:3 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (diff) [19.6 kB] 165s gpgv: Signature made Tue Jan 6 09:14:00 2026 UTC 165s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 165s gpgv: Can't check signature: No public key 165s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.2-3.dsc: no acceptable signature found 166s autopkgtest [21:58:45]: testing package why3 version 1.8.2-3 167s autopkgtest [21:58:46]: build not needed 170s autopkgtest [21:58:49]: test why3+cvc4: preparing testbed 170s Reading package lists... 170s Building dependency tree... 170s Reading state information... 170s Solving dependencies... 171s The following NEW packages will be installed: 171s adwaita-icon-theme at-spi2-common bubblewrap cpp cpp-15 171s cpp-15-aarch64-linux-gnu cpp-aarch64-linux-gnu cvc4 dconf-gsettings-backend 171s dconf-service fontconfig fontconfig-config fonts-dejavu-core 171s fonts-dejavu-mono gcc gcc-15 gcc-15-aarch64-linux-gnu gcc-aarch64-linux-gnu 171s glycin-loaders glycin-thumbnailers gtk-update-icon-cache hicolor-icon-theme 171s libantlr3c-3.4-0 libaom3 libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 171s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 171s libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 171s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcrypt-dev libcups2t64 171s libcvc4-7 libcvc4parser7 libdatrie1 libdconf1 libde265-0 libepoxy0 171s libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common 171s libglycin-2-0 libgomp1 libgraphite2-3 libgtk-3-0t64 libgtk-3-common 171s libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b 171s libheif-plugin-aomdec libheif-plugin-libde265 libheif1 libhwasan0 libhwy1t64 171s libisl23 libitm1 libjxl0.11 liblablgtk3-ocaml liblablgtksourceview3-ocaml 171s liblcms2-2 liblsan0 libmpc3 libncurses-dev libpango-1.0-0 171s libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 librsvg2-2 libsharpyuv0 171s libstdlib-ocaml libstdlib-ocaml-dev libthai-data libthai0 libtsan2 libubsan1 171s libwayland-client0 libwayland-cursor0 libwayland-egl1 libxcb-render0 171s libxcb-shm0 libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 171s libxinerama1 libxrandr2 libxrender1 libzstd-dev linux-libc-dev ocaml 171s ocaml-base ocaml-interp rpcsvc-proto tex-common why3 171s 0 upgraded, 107 newly installed, 0 to remove and 0 not upgraded. 171s Need to get 189 MB of archives. 171s After this operation, 737 MB of additional disk space will be used. 171s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 bubblewrap arm64 0.11.0-2build1 [52.9 kB] 171s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-mono all 2.37-8build1 [502 kB] 171s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-core all 2.37-8build1 [834 kB] 173s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig-config arm64 2.17.1-3ubuntu1 [38.5 kB] 173s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libfontconfig1 arm64 2.17.1-3ubuntu1 [144 kB] 173s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libpixman-1-0 arm64 0.46.4-1 [204 kB] 173s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-render0 arm64 1.17.0-2ubuntu1 [16.4 kB] 173s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-shm0 arm64 1.17.0-2ubuntu1 [5938 B] 173s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrender1 arm64 1:0.9.12-1 [19.5 kB] 173s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo2 arm64 1.18.4-3 [556 kB] 175s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 libsharpyuv0 arm64 1.5.0-0.1build1 [16.7 kB] 175s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 libaom3 arm64 3.13.1-2 [1773 kB] 179s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 libheif-plugin-aomdec arm64 1.21.2-1 [13.9 kB] 179s Get:14 http://ftpmaster.internal/ubuntu resolute/main arm64 libde265-0 arm64 1.0.16-1build1 [148 kB] 179s Get:15 http://ftpmaster.internal/ubuntu resolute/main arm64 libheif-plugin-libde265 arm64 1.21.2-1 [9696 B] 179s Get:16 http://ftpmaster.internal/ubuntu resolute/main arm64 libheif1 arm64 1.21.2-1 [502 kB] 179s Get:17 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwy1t64 arm64 1.3.0-2 [513 kB] 180s Get:18 http://ftpmaster.internal/ubuntu resolute/main arm64 liblcms2-2 arm64 2.17-1 [170 kB] 180s Get:19 http://ftpmaster.internal/ubuntu resolute/main arm64 libjxl0.11 arm64 0.11.1-6ubuntu1 [909 kB] 182s Get:20 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo-gobject2 arm64 1.18.4-3 [127 kB] 182s Get:21 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig arm64 2.17.1-3ubuntu1 [181 kB] 182s Get:22 http://ftpmaster.internal/ubuntu resolute/main arm64 libgraphite2-3 arm64 1.3.14-11ubuntu1 [72.1 kB] 182s Get:23 http://ftpmaster.internal/ubuntu resolute/main arm64 libharfbuzz0b arm64 12.3.2-1 [510 kB] 182s Get:24 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai-data all 0.1.30-1 [155 kB] 182s Get:25 http://ftpmaster.internal/ubuntu resolute/main arm64 libdatrie1 arm64 0.2.14-1 [19.6 kB] 182s Get:26 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai0 arm64 0.1.30-1 [18.3 kB] 182s Get:27 http://ftpmaster.internal/ubuntu resolute/main arm64 libpango-1.0-0 arm64 1.57.0-1 [238 kB] 182s Get:28 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangoft2-1.0-0 arm64 1.57.0-1 [51.5 kB] 182s Get:29 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangocairo-1.0-0 arm64 1.57.0-1 [27.9 kB] 182s Get:30 http://ftpmaster.internal/ubuntu resolute/main arm64 librsvg2-2 arm64 2.61.3+dfsg-3 [1754 kB] 187s Get:31 http://ftpmaster.internal/ubuntu resolute/main arm64 glycin-loaders arm64 2.0.7+ds-3ubuntu1 [2654 kB] 194s Get:32 http://ftpmaster.internal/ubuntu resolute/main arm64 glycin-thumbnailers arm64 2.0.7+ds-3ubuntu1 [1105 kB] 197s Get:33 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libgdk-pixbuf2.0-common all 2.44.5+dfsg-3 [9206 B] 197s Get:34 http://ftpmaster.internal/ubuntu resolute/main arm64 libglycin-2-0 arm64 2.0.7+ds-3ubuntu1 [1495 kB] 201s Get:35 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libgdk-pixbuf-2.0-0 arm64 2.44.5+dfsg-3 [103 kB] 201s Get:36 http://ftpmaster.internal/ubuntu resolute/main arm64 gtk-update-icon-cache arm64 4.20.3+ds-3 [54.7 kB] 201s Get:37 http://ftpmaster.internal/ubuntu resolute/main arm64 hicolor-icon-theme all 0.18-2build1 [13.2 kB] 201s Get:38 http://ftpmaster.internal/ubuntu resolute/main arm64 adwaita-icon-theme all 49.0-1 [581 kB] 202s Get:39 http://ftpmaster.internal/ubuntu resolute/main arm64 at-spi2-common all 2.59.0-1 [9774 B] 203s Get:40 http://ftpmaster.internal/ubuntu resolute/main arm64 libisl23 arm64 0.27-1build1 [676 kB] 204s Get:41 http://ftpmaster.internal/ubuntu resolute/main arm64 libmpc3 arm64 1.3.1-2 [55.6 kB] 204s Get:42 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15-aarch64-linux-gnu arm64 15.2.0-12ubuntu1 [11.7 MB] 224s Get:43 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15 arm64 15.2.0-12ubuntu1 [1030 B] 224s Get:44 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [5736 B] 224s Get:45 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp arm64 4:15.2.0-4ubuntu1 [22.4 kB] 224s Get:46 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcln6 arm64 1.3.7-1build1 [484 kB] 225s Get:47 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc4-7 arm64 1.8-5 [4494 kB] 233s Get:48 http://ftpmaster.internal/ubuntu resolute/universe arm64 libantlr3c-3.4-0 arm64 3.4+dfsg-4build3 [45.0 kB] 233s Get:49 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcvc4parser7 arm64 1.8-5 [367 kB] 234s Get:50 http://ftpmaster.internal/ubuntu resolute/universe arm64 cvc4 arm64 1.8-5 [66.6 kB] 234s Get:51 http://ftpmaster.internal/ubuntu resolute/main arm64 libdconf1 arm64 0.49.0-4 [40.9 kB] 234s Get:52 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-service arm64 0.49.0-4 [27.2 kB] 234s Get:53 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-gsettings-backend arm64 0.49.0-4 [22.0 kB] 234s Get:54 http://ftpmaster.internal/ubuntu resolute/main arm64 libcc1-0 arm64 15.2.0-12ubuntu1 [49.0 kB] 234s Get:55 http://ftpmaster.internal/ubuntu resolute/main arm64 libgomp1 arm64 15.2.0-12ubuntu1 [147 kB] 234s Get:56 http://ftpmaster.internal/ubuntu resolute/main arm64 libitm1 arm64 15.2.0-12ubuntu1 [27.8 kB] 234s Get:57 http://ftpmaster.internal/ubuntu resolute/main arm64 libasan8 arm64 15.2.0-12ubuntu1 [2920 kB] 240s Get:58 http://ftpmaster.internal/ubuntu resolute/main arm64 liblsan0 arm64 15.2.0-12ubuntu1 [1316 kB] 244s Get:59 http://ftpmaster.internal/ubuntu resolute/main arm64 libtsan2 arm64 15.2.0-12ubuntu1 [2688 kB] 248s Get:60 http://ftpmaster.internal/ubuntu resolute/main arm64 libubsan1 arm64 15.2.0-12ubuntu1 [1175 kB] 250s Get:61 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwasan0 arm64 15.2.0-12ubuntu1 [1638 kB] 253s Get:62 http://ftpmaster.internal/ubuntu resolute/main arm64 libgcc-15-dev arm64 15.2.0-12ubuntu1 [2600 kB] 257s Get:63 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15-aarch64-linux-gnu arm64 15.2.0-12ubuntu1 [23.1 MB] 295s Get:64 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15 arm64 15.2.0-12ubuntu1 [519 kB] 295s Get:65 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [1206 B] 295s Get:66 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc arm64 4:15.2.0-4ubuntu1 [5016 B] 295s Get:67 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk1.0-0t64 arm64 2.59.0-1 [55.9 kB] 295s Get:68 http://ftpmaster.internal/ubuntu resolute/main arm64 libxi6 arm64 2:1.8.2-2 [32.4 kB] 295s Get:69 http://ftpmaster.internal/ubuntu resolute/main arm64 libatspi2.0-0t64 arm64 2.59.0-1 [85.4 kB] 295s Get:70 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk-bridge2.0-0t64 arm64 2.59.0-1 [66.9 kB] 295s Get:71 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common-data arm64 0.8-17ubuntu2 [31.5 kB] 295s Get:72 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common3 arm64 0.8-17ubuntu2 [22.6 kB] 295s Get:73 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-client3 arm64 0.8-17ubuntu2 [26.7 kB] 295s Get:74 http://ftpmaster.internal/ubuntu resolute/main arm64 libc-dev-bin arm64 2.42-2ubuntu4 [22.5 kB] 295s Get:75 http://ftpmaster.internal/ubuntu resolute/main arm64 linux-libc-dev arm64 6.19.0-3.3 [1819 kB] 297s Get:76 http://ftpmaster.internal/ubuntu resolute/main arm64 libcrypt-dev arm64 1:4.5.1-1 [123 kB] 297s Get:77 http://ftpmaster.internal/ubuntu resolute/main arm64 rpcsvc-proto arm64 1.4.3-1build1 [65.6 kB] 297s Get:78 http://ftpmaster.internal/ubuntu resolute/main arm64 libc6-dev arm64 2.42-2ubuntu4 [1765 kB] 300s Get:79 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml arm64 5.4.0-1ubuntu1 [436 kB] 300s Get:80 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-base arm64 5.4.0-1ubuntu1 [325 kB] 300s Get:81 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcairo2-ocaml arm64 0.6.5-2build3 [26.3 kB] 300s Get:82 http://ftpmaster.internal/ubuntu resolute/main arm64 libcolord2 arm64 1.4.8-2build1 [147 kB] 300s Get:83 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml-dev arm64 5.4.0-1ubuntu1 [7269 kB] 313s Get:84 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcompiler-libs-ocaml-dev arm64 5.4.0-1ubuntu1 [45.8 MB] 399s Get:85 http://ftpmaster.internal/ubuntu resolute/main arm64 libcups2t64 arm64 2.4.16-1ubuntu1 [271 kB] 399s Get:86 http://ftpmaster.internal/ubuntu resolute/main arm64 libepoxy0 arm64 1.5.10-2build1 [238 kB] 399s Get:87 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-client0 arm64 1.24.0-2 [27.6 kB] 399s Get:88 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-cursor0 arm64 1.24.0-2 [10.6 kB] 399s Get:89 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-egl1 arm64 1.24.0-2 [6172 B] 399s Get:90 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcomposite1 arm64 1:0.4.6-1build1 [6728 B] 399s Get:91 http://ftpmaster.internal/ubuntu resolute/main arm64 libxfixes3 arm64 1:6.0.0-2build2 [11.4 kB] 399s Get:92 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcursor1 arm64 1:1.2.3-1build1 [22.0 kB] 399s Get:93 http://ftpmaster.internal/ubuntu resolute/main arm64 libxdamage1 arm64 1:1.1.7-1 [6688 B] 399s Get:94 http://ftpmaster.internal/ubuntu resolute/main arm64 libxinerama1 arm64 2:1.1.4-3build2 [6486 B] 399s Get:95 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrandr2 arm64 2:1.5.4-1build1 [19.1 kB] 399s Get:96 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 403s Get:97 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-0t64 arm64 3.24.50-1ubuntu2 [3229 kB] 409s Get:98 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-common all 3.24.11-7 [294 kB] 409s Get:99 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-7 [229 kB] 409s Get:100 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build5 [3925 kB] 416s Get:101 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build5 [350 kB] 417s Get:102 http://ftpmaster.internal/ubuntu resolute/main arm64 libncurses-dev arm64 6.6+20251231-1 [391 kB] 417s Get:103 http://ftpmaster.internal/ubuntu resolute/main arm64 libzstd-dev arm64 1.5.7+dfsg-3 [349 kB] 417s Get:104 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-interp arm64 5.4.0-1ubuntu1 [8772 kB] 431s Get:105 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml arm64 5.4.0-1ubuntu1 [24.2 MB] 489s Get:106 http://ftpmaster.internal/ubuntu resolute/universe arm64 tex-common all 6.20 [30.0 kB] 489s Get:107 http://ftpmaster.internal/ubuntu resolute/universe arm64 why3 arm64 1.8.2-3 [16.9 MB] 517s Fetched 189 MB in 5min 46s (545 kB/s) 517s Selecting previously unselected package bubblewrap. 517s (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 ... 136600 files and directories currently installed.) 517s Preparing to unpack .../000-bubblewrap_0.11.0-2build1_arm64.deb ... 517s Unpacking bubblewrap (0.11.0-2build1) ... 517s Selecting previously unselected package fonts-dejavu-mono. 517s Preparing to unpack .../001-fonts-dejavu-mono_2.37-8build1_all.deb ... 517s Unpacking fonts-dejavu-mono (2.37-8build1) ... 517s Selecting previously unselected package fonts-dejavu-core. 517s Preparing to unpack .../002-fonts-dejavu-core_2.37-8build1_all.deb ... 517s Unpacking fonts-dejavu-core (2.37-8build1) ... 517s Selecting previously unselected package fontconfig-config. 517s Preparing to unpack .../003-fontconfig-config_2.17.1-3ubuntu1_arm64.deb ... 518s Unpacking fontconfig-config (2.17.1-3ubuntu1) ... 518s Selecting previously unselected package libfontconfig1:arm64. 518s Preparing to unpack .../004-libfontconfig1_2.17.1-3ubuntu1_arm64.deb ... 518s Unpacking libfontconfig1:arm64 (2.17.1-3ubuntu1) ... 518s Selecting previously unselected package libpixman-1-0:arm64. 518s Preparing to unpack .../005-libpixman-1-0_0.46.4-1_arm64.deb ... 518s Unpacking libpixman-1-0:arm64 (0.46.4-1) ... 518s Selecting previously unselected package libxcb-render0:arm64. 518s Preparing to unpack .../006-libxcb-render0_1.17.0-2ubuntu1_arm64.deb ... 518s Unpacking libxcb-render0:arm64 (1.17.0-2ubuntu1) ... 518s Selecting previously unselected package libxcb-shm0:arm64. 518s Preparing to unpack .../007-libxcb-shm0_1.17.0-2ubuntu1_arm64.deb ... 518s Unpacking libxcb-shm0:arm64 (1.17.0-2ubuntu1) ... 518s Selecting previously unselected package libxrender1:arm64. 518s Preparing to unpack .../008-libxrender1_1%3a0.9.12-1_arm64.deb ... 518s Unpacking libxrender1:arm64 (1:0.9.12-1) ... 518s Selecting previously unselected package libcairo2:arm64. 518s Preparing to unpack .../009-libcairo2_1.18.4-3_arm64.deb ... 518s Unpacking libcairo2:arm64 (1.18.4-3) ... 518s Selecting previously unselected package libsharpyuv0:arm64. 518s Preparing to unpack .../010-libsharpyuv0_1.5.0-0.1build1_arm64.deb ... 518s Unpacking libsharpyuv0:arm64 (1.5.0-0.1build1) ... 518s Selecting previously unselected package libaom3:arm64. 518s Preparing to unpack .../011-libaom3_3.13.1-2_arm64.deb ... 518s Unpacking libaom3:arm64 (3.13.1-2) ... 518s Selecting previously unselected package libheif-plugin-aomdec:arm64. 518s Preparing to unpack .../012-libheif-plugin-aomdec_1.21.2-1_arm64.deb ... 518s Unpacking libheif-plugin-aomdec:arm64 (1.21.2-1) ... 518s Selecting previously unselected package libde265-0:arm64. 518s Preparing to unpack .../013-libde265-0_1.0.16-1build1_arm64.deb ... 518s Unpacking libde265-0:arm64 (1.0.16-1build1) ... 518s Selecting previously unselected package libheif-plugin-libde265:arm64. 518s Preparing to unpack .../014-libheif-plugin-libde265_1.21.2-1_arm64.deb ... 518s Unpacking libheif-plugin-libde265:arm64 (1.21.2-1) ... 518s Selecting previously unselected package libheif1:arm64. 518s Preparing to unpack .../015-libheif1_1.21.2-1_arm64.deb ... 518s Unpacking libheif1:arm64 (1.21.2-1) ... 518s Selecting previously unselected package libhwy1t64:arm64. 518s Preparing to unpack .../016-libhwy1t64_1.3.0-2_arm64.deb ... 518s Unpacking libhwy1t64:arm64 (1.3.0-2) ... 518s Selecting previously unselected package liblcms2-2:arm64. 518s Preparing to unpack .../017-liblcms2-2_2.17-1_arm64.deb ... 518s Unpacking liblcms2-2:arm64 (2.17-1) ... 518s Selecting previously unselected package libjxl0.11:arm64. 518s Preparing to unpack .../018-libjxl0.11_0.11.1-6ubuntu1_arm64.deb ... 518s Unpacking libjxl0.11:arm64 (0.11.1-6ubuntu1) ... 518s Selecting previously unselected package libcairo-gobject2:arm64. 518s Preparing to unpack .../019-libcairo-gobject2_1.18.4-3_arm64.deb ... 518s Unpacking libcairo-gobject2:arm64 (1.18.4-3) ... 518s Selecting previously unselected package fontconfig. 518s Preparing to unpack .../020-fontconfig_2.17.1-3ubuntu1_arm64.deb ... 518s Unpacking fontconfig (2.17.1-3ubuntu1) ... 518s Selecting previously unselected package libgraphite2-3:arm64. 518s Preparing to unpack .../021-libgraphite2-3_1.3.14-11ubuntu1_arm64.deb ... 518s Unpacking libgraphite2-3:arm64 (1.3.14-11ubuntu1) ... 518s Selecting previously unselected package libharfbuzz0b:arm64. 518s Preparing to unpack .../022-libharfbuzz0b_12.3.2-1_arm64.deb ... 518s Unpacking libharfbuzz0b:arm64 (12.3.2-1) ... 519s Selecting previously unselected package libthai-data. 519s Preparing to unpack .../023-libthai-data_0.1.30-1_all.deb ... 519s Unpacking libthai-data (0.1.30-1) ... 519s Selecting previously unselected package libdatrie1:arm64. 519s Preparing to unpack .../024-libdatrie1_0.2.14-1_arm64.deb ... 519s Unpacking libdatrie1:arm64 (0.2.14-1) ... 519s Selecting previously unselected package libthai0:arm64. 519s Preparing to unpack .../025-libthai0_0.1.30-1_arm64.deb ... 519s Unpacking libthai0:arm64 (0.1.30-1) ... 519s Selecting previously unselected package libpango-1.0-0:arm64. 519s Preparing to unpack .../026-libpango-1.0-0_1.57.0-1_arm64.deb ... 519s Unpacking libpango-1.0-0:arm64 (1.57.0-1) ... 519s Selecting previously unselected package libpangoft2-1.0-0:arm64. 519s Preparing to unpack .../027-libpangoft2-1.0-0_1.57.0-1_arm64.deb ... 519s Unpacking libpangoft2-1.0-0:arm64 (1.57.0-1) ... 519s Selecting previously unselected package libpangocairo-1.0-0:arm64. 519s Preparing to unpack .../028-libpangocairo-1.0-0_1.57.0-1_arm64.deb ... 519s Unpacking libpangocairo-1.0-0:arm64 (1.57.0-1) ... 519s Selecting previously unselected package librsvg2-2:arm64. 519s Preparing to unpack .../029-librsvg2-2_2.61.3+dfsg-3_arm64.deb ... 519s Unpacking librsvg2-2:arm64 (2.61.3+dfsg-3) ... 519s Selecting previously unselected package glycin-loaders. 519s Preparing to unpack .../030-glycin-loaders_2.0.7+ds-3ubuntu1_arm64.deb ... 519s Unpacking glycin-loaders (2.0.7+ds-3ubuntu1) ... 519s Selecting previously unselected package glycin-thumbnailers. 519s Preparing to unpack .../031-glycin-thumbnailers_2.0.7+ds-3ubuntu1_arm64.deb ... 519s Unpacking glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 519s Selecting previously unselected package libgdk-pixbuf2.0-common. 519s Preparing to unpack .../032-libgdk-pixbuf2.0-common_2.44.5+dfsg-3_all.deb ... 519s Unpacking libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 519s Selecting previously unselected package libglycin-2-0:arm64. 519s Preparing to unpack .../033-libglycin-2-0_2.0.7+ds-3ubuntu1_arm64.deb ... 519s Unpacking libglycin-2-0:arm64 (2.0.7+ds-3ubuntu1) ... 519s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 519s Preparing to unpack .../034-libgdk-pixbuf-2.0-0_2.44.5+dfsg-3_arm64.deb ... 519s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.44.5+dfsg-3) ... 519s Selecting previously unselected package gtk-update-icon-cache. 519s Preparing to unpack .../035-gtk-update-icon-cache_4.20.3+ds-3_arm64.deb ... 519s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 519s No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. 519s Unpacking gtk-update-icon-cache (4.20.3+ds-3) ... 519s Selecting previously unselected package hicolor-icon-theme. 519s Preparing to unpack .../036-hicolor-icon-theme_0.18-2build1_all.deb ... 519s Unpacking hicolor-icon-theme (0.18-2build1) ... 519s Selecting previously unselected package adwaita-icon-theme. 519s Preparing to unpack .../037-adwaita-icon-theme_49.0-1_all.deb ... 519s Unpacking adwaita-icon-theme (49.0-1) ... 519s Selecting previously unselected package at-spi2-common. 519s Preparing to unpack .../038-at-spi2-common_2.59.0-1_all.deb ... 519s Unpacking at-spi2-common (2.59.0-1) ... 519s Selecting previously unselected package libisl23:arm64. 519s Preparing to unpack .../039-libisl23_0.27-1build1_arm64.deb ... 519s Unpacking libisl23:arm64 (0.27-1build1) ... 519s Selecting previously unselected package libmpc3:arm64. 519s Preparing to unpack .../040-libmpc3_1.3.1-2_arm64.deb ... 519s Unpacking libmpc3:arm64 (1.3.1-2) ... 519s Selecting previously unselected package cpp-15-aarch64-linux-gnu. 519s Preparing to unpack .../041-cpp-15-aarch64-linux-gnu_15.2.0-12ubuntu1_arm64.deb ... 519s Unpacking cpp-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 520s Selecting previously unselected package cpp-15. 520s Preparing to unpack .../042-cpp-15_15.2.0-12ubuntu1_arm64.deb ... 520s Unpacking cpp-15 (15.2.0-12ubuntu1) ... 520s Selecting previously unselected package cpp-aarch64-linux-gnu. 520s Preparing to unpack .../043-cpp-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 520s Unpacking cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 520s Selecting previously unselected package cpp. 520s Preparing to unpack .../044-cpp_4%3a15.2.0-4ubuntu1_arm64.deb ... 520s Unpacking cpp (4:15.2.0-4ubuntu1) ... 520s Selecting previously unselected package libcln6:arm64. 520s Preparing to unpack .../045-libcln6_1.3.7-1build1_arm64.deb ... 520s Unpacking libcln6:arm64 (1.3.7-1build1) ... 520s Selecting previously unselected package libcvc4-7:arm64. 520s Preparing to unpack .../046-libcvc4-7_1.8-5_arm64.deb ... 520s Unpacking libcvc4-7:arm64 (1.8-5) ... 520s Selecting previously unselected package libantlr3c-3.4-0:arm64. 520s Preparing to unpack .../047-libantlr3c-3.4-0_3.4+dfsg-4build3_arm64.deb ... 520s Unpacking libantlr3c-3.4-0:arm64 (3.4+dfsg-4build3) ... 520s Selecting previously unselected package libcvc4parser7:arm64. 520s Preparing to unpack .../048-libcvc4parser7_1.8-5_arm64.deb ... 520s Unpacking libcvc4parser7:arm64 (1.8-5) ... 520s Selecting previously unselected package cvc4. 520s Preparing to unpack .../049-cvc4_1.8-5_arm64.deb ... 520s Unpacking cvc4 (1.8-5) ... 520s Selecting previously unselected package libdconf1:arm64. 520s Preparing to unpack .../050-libdconf1_0.49.0-4_arm64.deb ... 520s Unpacking libdconf1:arm64 (0.49.0-4) ... 520s Selecting previously unselected package dconf-service. 520s Preparing to unpack .../051-dconf-service_0.49.0-4_arm64.deb ... 520s Unpacking dconf-service (0.49.0-4) ... 520s Selecting previously unselected package dconf-gsettings-backend:arm64. 520s Preparing to unpack .../052-dconf-gsettings-backend_0.49.0-4_arm64.deb ... 520s Unpacking dconf-gsettings-backend:arm64 (0.49.0-4) ... 520s Selecting previously unselected package libcc1-0:arm64. 520s Preparing to unpack .../053-libcc1-0_15.2.0-12ubuntu1_arm64.deb ... 520s Unpacking libcc1-0:arm64 (15.2.0-12ubuntu1) ... 520s Selecting previously unselected package libgomp1:arm64. 520s Preparing to unpack .../054-libgomp1_15.2.0-12ubuntu1_arm64.deb ... 520s Unpacking libgomp1:arm64 (15.2.0-12ubuntu1) ... 520s Selecting previously unselected package libitm1:arm64. 520s Preparing to unpack .../055-libitm1_15.2.0-12ubuntu1_arm64.deb ... 520s Unpacking libitm1:arm64 (15.2.0-12ubuntu1) ... 520s Selecting previously unselected package libasan8:arm64. 520s Preparing to unpack .../056-libasan8_15.2.0-12ubuntu1_arm64.deb ... 520s Unpacking libasan8:arm64 (15.2.0-12ubuntu1) ... 520s Selecting previously unselected package liblsan0:arm64. 520s Preparing to unpack .../057-liblsan0_15.2.0-12ubuntu1_arm64.deb ... 520s Unpacking liblsan0:arm64 (15.2.0-12ubuntu1) ... 520s Selecting previously unselected package libtsan2:arm64. 520s Preparing to unpack .../058-libtsan2_15.2.0-12ubuntu1_arm64.deb ... 520s Unpacking libtsan2:arm64 (15.2.0-12ubuntu1) ... 521s Selecting previously unselected package libubsan1:arm64. 521s Preparing to unpack .../059-libubsan1_15.2.0-12ubuntu1_arm64.deb ... 521s Unpacking libubsan1:arm64 (15.2.0-12ubuntu1) ... 521s Selecting previously unselected package libhwasan0:arm64. 521s Preparing to unpack .../060-libhwasan0_15.2.0-12ubuntu1_arm64.deb ... 521s Unpacking libhwasan0:arm64 (15.2.0-12ubuntu1) ... 521s Selecting previously unselected package libgcc-15-dev:arm64. 521s Preparing to unpack .../061-libgcc-15-dev_15.2.0-12ubuntu1_arm64.deb ... 521s Unpacking libgcc-15-dev:arm64 (15.2.0-12ubuntu1) ... 521s Selecting previously unselected package gcc-15-aarch64-linux-gnu. 521s Preparing to unpack .../062-gcc-15-aarch64-linux-gnu_15.2.0-12ubuntu1_arm64.deb ... 521s Unpacking gcc-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 521s Selecting previously unselected package gcc-15. 521s Preparing to unpack .../063-gcc-15_15.2.0-12ubuntu1_arm64.deb ... 521s Unpacking gcc-15 (15.2.0-12ubuntu1) ... 521s Selecting previously unselected package gcc-aarch64-linux-gnu. 521s Preparing to unpack .../064-gcc-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 521s Unpacking gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 521s Selecting previously unselected package gcc. 521s Preparing to unpack .../065-gcc_4%3a15.2.0-4ubuntu1_arm64.deb ... 521s Unpacking gcc (4:15.2.0-4ubuntu1) ... 521s Selecting previously unselected package libatk1.0-0t64:arm64. 521s Preparing to unpack .../066-libatk1.0-0t64_2.59.0-1_arm64.deb ... 521s Unpacking libatk1.0-0t64:arm64 (2.59.0-1) ... 521s Selecting previously unselected package libxi6:arm64. 521s Preparing to unpack .../067-libxi6_2%3a1.8.2-2_arm64.deb ... 521s Unpacking libxi6:arm64 (2:1.8.2-2) ... 521s Selecting previously unselected package libatspi2.0-0t64:arm64. 521s Preparing to unpack .../068-libatspi2.0-0t64_2.59.0-1_arm64.deb ... 521s Unpacking libatspi2.0-0t64:arm64 (2.59.0-1) ... 521s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 521s Preparing to unpack .../069-libatk-bridge2.0-0t64_2.59.0-1_arm64.deb ... 521s Unpacking libatk-bridge2.0-0t64:arm64 (2.59.0-1) ... 521s Selecting previously unselected package libavahi-common-data:arm64. 521s Preparing to unpack .../070-libavahi-common-data_0.8-17ubuntu2_arm64.deb ... 521s Unpacking libavahi-common-data:arm64 (0.8-17ubuntu2) ... 521s Selecting previously unselected package libavahi-common3:arm64. 522s Preparing to unpack .../071-libavahi-common3_0.8-17ubuntu2_arm64.deb ... 522s Unpacking libavahi-common3:arm64 (0.8-17ubuntu2) ... 522s Selecting previously unselected package libavahi-client3:arm64. 522s Preparing to unpack .../072-libavahi-client3_0.8-17ubuntu2_arm64.deb ... 522s Unpacking libavahi-client3:arm64 (0.8-17ubuntu2) ... 522s Selecting previously unselected package libc-dev-bin. 522s Preparing to unpack .../073-libc-dev-bin_2.42-2ubuntu4_arm64.deb ... 522s Unpacking libc-dev-bin (2.42-2ubuntu4) ... 522s Selecting previously unselected package linux-libc-dev:arm64. 522s Preparing to unpack .../074-linux-libc-dev_6.19.0-3.3_arm64.deb ... 522s Unpacking linux-libc-dev:arm64 (6.19.0-3.3) ... 522s Selecting previously unselected package libcrypt-dev:arm64. 522s Preparing to unpack .../075-libcrypt-dev_1%3a4.5.1-1_arm64.deb ... 522s Unpacking libcrypt-dev:arm64 (1:4.5.1-1) ... 522s Selecting previously unselected package rpcsvc-proto. 522s Preparing to unpack .../076-rpcsvc-proto_1.4.3-1build1_arm64.deb ... 522s Unpacking rpcsvc-proto (1.4.3-1build1) ... 522s Selecting previously unselected package libc6-dev:arm64. 522s Preparing to unpack .../077-libc6-dev_2.42-2ubuntu4_arm64.deb ... 522s Unpacking libc6-dev:arm64 (2.42-2ubuntu4) ... 522s Selecting previously unselected package libstdlib-ocaml. 522s Preparing to unpack .../078-libstdlib-ocaml_5.4.0-1ubuntu1_arm64.deb ... 522s Unpacking libstdlib-ocaml (5.4.0-1ubuntu1) ... 522s Selecting previously unselected package ocaml-base. 522s Preparing to unpack .../079-ocaml-base_5.4.0-1ubuntu1_arm64.deb ... 522s Unpacking ocaml-base (5.4.0-1ubuntu1) ... 522s Selecting previously unselected package libcairo2-ocaml. 522s Preparing to unpack .../080-libcairo2-ocaml_0.6.5-2build3_arm64.deb ... 522s Unpacking libcairo2-ocaml (0.6.5-2build3) ... 522s Selecting previously unselected package libcolord2:arm64. 522s Preparing to unpack .../081-libcolord2_1.4.8-2build1_arm64.deb ... 522s Unpacking libcolord2:arm64 (1.4.8-2build1) ... 522s Selecting previously unselected package libstdlib-ocaml-dev. 522s Preparing to unpack .../082-libstdlib-ocaml-dev_5.4.0-1ubuntu1_arm64.deb ... 522s Unpacking libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 522s Selecting previously unselected package libcompiler-libs-ocaml-dev. 522s Preparing to unpack .../083-libcompiler-libs-ocaml-dev_5.4.0-1ubuntu1_arm64.deb ... 522s Unpacking libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 523s Selecting previously unselected package libcups2t64:arm64. 523s Preparing to unpack .../084-libcups2t64_2.4.16-1ubuntu1_arm64.deb ... 523s Unpacking libcups2t64:arm64 (2.4.16-1ubuntu1) ... 523s Selecting previously unselected package libepoxy0:arm64. 523s Preparing to unpack .../085-libepoxy0_1.5.10-2build1_arm64.deb ... 523s Unpacking libepoxy0:arm64 (1.5.10-2build1) ... 523s Selecting previously unselected package libwayland-client0:arm64. 523s Preparing to unpack .../086-libwayland-client0_1.24.0-2_arm64.deb ... 523s Unpacking libwayland-client0:arm64 (1.24.0-2) ... 523s Selecting previously unselected package libwayland-cursor0:arm64. 524s Preparing to unpack .../087-libwayland-cursor0_1.24.0-2_arm64.deb ... 524s Unpacking libwayland-cursor0:arm64 (1.24.0-2) ... 524s Selecting previously unselected package libwayland-egl1:arm64. 524s Preparing to unpack .../088-libwayland-egl1_1.24.0-2_arm64.deb ... 524s Unpacking libwayland-egl1:arm64 (1.24.0-2) ... 524s Selecting previously unselected package libxcomposite1:arm64. 524s Preparing to unpack .../089-libxcomposite1_1%3a0.4.6-1build1_arm64.deb ... 524s Unpacking libxcomposite1:arm64 (1:0.4.6-1build1) ... 524s Selecting previously unselected package libxfixes3:arm64. 524s Preparing to unpack .../090-libxfixes3_1%3a6.0.0-2build2_arm64.deb ... 524s Unpacking libxfixes3:arm64 (1:6.0.0-2build2) ... 524s Selecting previously unselected package libxcursor1:arm64. 524s Preparing to unpack .../091-libxcursor1_1%3a1.2.3-1build1_arm64.deb ... 524s Unpacking libxcursor1:arm64 (1:1.2.3-1build1) ... 524s Selecting previously unselected package libxdamage1:arm64. 524s Preparing to unpack .../092-libxdamage1_1%3a1.1.7-1_arm64.deb ... 524s Unpacking libxdamage1:arm64 (1:1.1.7-1) ... 524s Selecting previously unselected package libxinerama1:arm64. 524s Preparing to unpack .../093-libxinerama1_2%3a1.1.4-3build2_arm64.deb ... 524s Unpacking libxinerama1:arm64 (2:1.1.4-3build2) ... 524s Selecting previously unselected package libxrandr2:arm64. 524s Preparing to unpack .../094-libxrandr2_2%3a1.5.4-1build1_arm64.deb ... 524s Unpacking libxrandr2:arm64 (2:1.5.4-1build1) ... 524s Selecting previously unselected package libgtk-3-common. 524s Preparing to unpack .../095-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 524s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 524s Selecting previously unselected package libgtk-3-0t64:arm64. 524s Preparing to unpack .../096-libgtk-3-0t64_3.24.50-1ubuntu2_arm64.deb ... 524s Unpacking libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 524s Selecting previously unselected package libgtksourceview-3.0-common. 524s Preparing to unpack .../097-libgtksourceview-3.0-common_3.24.11-7_all.deb ... 524s Unpacking libgtksourceview-3.0-common (3.24.11-7) ... 524s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 524s Preparing to unpack .../098-libgtksourceview-3.0-1_3.24.11-7_arm64.deb ... 524s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-7) ... 524s Selecting previously unselected package liblablgtk3-ocaml. 524s Preparing to unpack .../099-liblablgtk3-ocaml_3.1.5-1build5_arm64.deb ... 524s Unpacking liblablgtk3-ocaml (3.1.5-1build5) ... 524s Selecting previously unselected package liblablgtksourceview3-ocaml. 524s Preparing to unpack .../100-liblablgtksourceview3-ocaml_3.1.5-1build5_arm64.deb ... 524s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build5) ... 524s Selecting previously unselected package libncurses-dev:arm64. 524s Preparing to unpack .../101-libncurses-dev_6.6+20251231-1_arm64.deb ... 524s Unpacking libncurses-dev:arm64 (6.6+20251231-1) ... 524s Selecting previously unselected package libzstd-dev:arm64. 524s Preparing to unpack .../102-libzstd-dev_1.5.7+dfsg-3_arm64.deb ... 524s Unpacking libzstd-dev:arm64 (1.5.7+dfsg-3) ... 524s Selecting previously unselected package ocaml-interp. 524s Preparing to unpack .../103-ocaml-interp_5.4.0-1ubuntu1_arm64.deb ... 524s Unpacking ocaml-interp (5.4.0-1ubuntu1) ... 525s Selecting previously unselected package ocaml. 525s Preparing to unpack .../104-ocaml_5.4.0-1ubuntu1_arm64.deb ... 525s Unpacking ocaml (5.4.0-1ubuntu1) ... 525s Selecting previously unselected package tex-common. 525s Preparing to unpack .../105-tex-common_6.20_all.deb ... 525s Unpacking tex-common (6.20) ... 525s Selecting previously unselected package why3. 525s Preparing to unpack .../106-why3_1.8.2-3_arm64.deb ... 525s Unpacking why3 (1.8.2-3) ... 526s Setting up libhwy1t64:arm64 (1.3.0-2) ... 526s Setting up bubblewrap (0.11.0-2build1) ... 526s Setting up libgraphite2-3:arm64 (1.3.14-11ubuntu1) ... 526s Setting up liblcms2-2:arm64 (2.17-1) ... 526s Setting up libpixman-1-0:arm64 (0.46.4-1) ... 526s Setting up libsharpyuv0:arm64 (1.5.0-0.1build1) ... 526s Setting up libaom3:arm64 (3.13.1-2) ... 526s Setting up libcln6:arm64 (1.3.7-1build1) ... 526s Setting up libxdamage1:arm64 (1:1.1.7-1) ... 526s Setting up libzstd-dev:arm64 (1.5.7+dfsg-3) ... 526s Setting up libantlr3c-3.4-0:arm64 (3.4+dfsg-4build3) ... 526s Setting up hicolor-icon-theme (0.18-2build1) ... 526s Setting up libxi6:arm64 (2:1.8.2-2) ... 526s Setting up libxrender1:arm64 (1:0.9.12-1) ... 526s Setting up libdatrie1:arm64 (0.2.14-1) ... 526s Setting up libxcb-render0:arm64 (1.17.0-2ubuntu1) ... 526s Setting up libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 526s Setting up linux-libc-dev:arm64 (6.19.0-3.3) ... 526s Setting up libxcb-shm0:arm64 (1.17.0-2ubuntu1) ... 526s Setting up libgomp1:arm64 (15.2.0-12ubuntu1) ... 526s Setting up libcolord2:arm64 (1.4.8-2build1) ... 526s Setting up libdconf1:arm64 (0.49.0-4) ... 526s Setting up tex-common (6.20) ... 526s update-language: texlive-base not installed and configured, doing nothing! 526s Setting up rpcsvc-proto (1.4.3-1build1) ... 526s Setting up libepoxy0:arm64 (1.5.10-2build1) ... 526s Setting up libxfixes3:arm64 (1:6.0.0-2build2) ... 526s Setting up libavahi-common-data:arm64 (0.8-17ubuntu2) ... 526s Setting up libatspi2.0-0t64:arm64 (2.59.0-1) ... 526s Setting up libxinerama1:arm64 (2:1.1.4-3build2) ... 526s Setting up libstdlib-ocaml (5.4.0-1ubuntu1) ... 526s Setting up fonts-dejavu-mono (2.37-8build1) ... 526s Setting up libmpc3:arm64 (1.3.1-2) ... 526s Setting up libxrandr2:arm64 (2:1.5.4-1build1) ... 526s Setting up ocaml-base (5.4.0-1ubuntu1) ... 526s Setting up fonts-dejavu-core (2.37-8build1) ... 526s Setting up libubsan1:arm64 (15.2.0-12ubuntu1) ... 526s Setting up libhwasan0:arm64 (15.2.0-12ubuntu1) ... 526s Setting up at-spi2-common (2.59.0-1) ... 526s Setting up libcrypt-dev:arm64 (1:4.5.1-1) ... 526s Setting up libasan8:arm64 (15.2.0-12ubuntu1) ... 526s Setting up libcvc4-7:arm64 (1.8-5) ... 526s Setting up libgtksourceview-3.0-common (3.24.11-7) ... 526s Setting up libharfbuzz0b:arm64 (12.3.2-1) ... 526s Setting up libthai-data (0.1.30-1) ... 526s Setting up libwayland-egl1:arm64 (1.24.0-2) ... 526s Setting up libtsan2:arm64 (15.2.0-12ubuntu1) ... 526s Setting up libisl23:arm64 (0.27-1build1) ... 526s Setting up libde265-0:arm64 (1.0.16-1build1) ... 526s Setting up libc-dev-bin (2.42-2ubuntu4) ... 526s Setting up libxcomposite1:arm64 (1:0.4.6-1build1) ... 526s Setting up libjxl0.11:arm64 (0.11.1-6ubuntu1) ... 526s Setting up libcc1-0:arm64 (15.2.0-12ubuntu1) ... 526s Setting up liblsan0:arm64 (15.2.0-12ubuntu1) ... 526s Setting up libitm1:arm64 (15.2.0-12ubuntu1) ... 526s Setting up libwayland-client0:arm64 (1.24.0-2) ... 526s Setting up cpp-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 526s Setting up libgcc-15-dev:arm64 (15.2.0-12ubuntu1) ... 526s Setting up libatk1.0-0t64:arm64 (2.59.0-1) ... 526s Setting up libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 526s Setting up fontconfig-config (2.17.1-3ubuntu1) ... 526s Setting up libxcursor1:arm64 (1:1.2.3-1build1) ... 526s Setting up libavahi-common3:arm64 (0.8-17ubuntu2) ... 526s Setting up dconf-service (0.49.0-4) ... 526s Setting up libthai0:arm64 (0.1.30-1) ... 526s Setting up libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 526s Setting up cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 526s Setting up ocaml-interp (5.4.0-1ubuntu1) ... 526s Setting up libcvc4parser7:arm64 (1.8-5) ... 526s Setting up cpp-15 (15.2.0-12ubuntu1) ... 526s Setting up libwayland-cursor0:arm64 (1.24.0-2) ... 526s Setting up cpp (4:15.2.0-4ubuntu1) ... 526s Setting up libc6-dev:arm64 (2.42-2ubuntu4) ... 526s Setting up cvc4 (1.8-5) ... 526s Setting up libfontconfig1:arm64 (2.17.1-3ubuntu1) ... 526s Setting up libavahi-client3:arm64 (0.8-17ubuntu2) ... 526s Setting up libatk-bridge2.0-0t64:arm64 (2.59.0-1) ... 526s Setting up fontconfig (2.17.1-3ubuntu1) ... 528s Regenerating fonts cache... done. 528s Setting up libncurses-dev:arm64 (6.6+20251231-1) ... 528s Setting up gcc-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 528s Setting up dconf-gsettings-backend:arm64 (0.49.0-4) ... 528s Setting up libpango-1.0-0:arm64 (1.57.0-1) ... 528s Setting up libcairo2:arm64 (1.18.4-3) ... 528s Setting up gcc-15 (15.2.0-12ubuntu1) ... 528s Setting up libcairo-gobject2:arm64 (1.18.4-3) ... 528s Setting up libpangoft2-1.0-0:arm64 (1.57.0-1) ... 528s Setting up libcups2t64:arm64 (2.4.16-1ubuntu1) ... 528s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 528s Setting up libpangocairo-1.0-0:arm64 (1.57.0-1) ... 528s Setting up gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 528s Setting up libcairo2-ocaml (0.6.5-2build3) ... 528s Setting up gcc (4:15.2.0-4ubuntu1) ... 528s Setting up ocaml (5.4.0-1ubuntu1) ... 528s Setting up libheif-plugin-aomdec:arm64 (1.21.2-1) ... 528s Setting up libheif-plugin-libde265:arm64 (1.21.2-1) ... 528s Setting up libheif1:arm64 (1.21.2-1) ... 528s Setting up librsvg2-2:arm64 (2.61.3+dfsg-3) ... 528s Setting up glycin-loaders (2.0.7+ds-3ubuntu1) ... 528s Setting up libglycin-2-0:arm64 (2.0.7+ds-3ubuntu1) ... 528s Setting up glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 528s Setting up libgdk-pixbuf-2.0-0:arm64 (2.44.5+dfsg-3) ... 528s Setting up gtk-update-icon-cache (4.20.3+ds-3) ... 528s Setting up adwaita-icon-theme (49.0-1) ... 528s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 528s Processing triggers for procps (2:4.0.4-9ubuntu1) ... 528s Processing triggers for libc-bin (2.42-2ubuntu4) ... 528s Processing triggers for systemd (259-1ubuntu3) ... 528s Processing triggers for man-db (2.13.1-1build1) ... 529s Processing triggers for libglib2.0-0t64:arm64 (2.87.2-2) ... 529s Setting up libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 529s Setting up liblablgtk3-ocaml (3.1.5-1build5) ... 529s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-7) ... 529s Setting up liblablgtksourceview3-ocaml (3.1.5-1build5) ... 529s Setting up why3 (1.8.2-3) ... 529s Processing triggers for libc-bin (2.42-2ubuntu4) ... 530s autopkgtest [22:04:49]: test why3+cvc4: [----------------------- 531s autopkgtest [22:04:50]: test why3+cvc4: -----------------------] 532s why3+cvc4 PASS 532s autopkgtest [22:04:51]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 532s autopkgtest [22:04:51]: test why3+cvc5: preparing testbed 552s Creating nova instance adt-resolute-arm64-why3-20260209-215559-juju-7f2275-prod-proposed-migration-environment-2-5c4d16a1-30fb-478b-a223-7923f9d897dc from image adt/ubuntu-resolute-arm64-server-20260209.img (UUID 793037ca-75af-461b-82de-f8081300b2e3)... 658s autopkgtest [22:06:57]: testbed dpkg architecture: arm64 658s autopkgtest [22:06:57]: testbed apt version: 3.1.15 659s autopkgtest [22:06:58]: @@@@@@@@@@@@@@@@@@@@ test bed setup 659s autopkgtest [22:06:58]: testbed release detected to be: resolute 660s autopkgtest [22:06:59]: updating testbed package index (apt update) 660s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 660s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 660s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 660s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 660s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 660s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 660s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 662s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [246 kB] 662s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 c-n-f Metadata [6216 B] 662s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 c-n-f Metadata [304 B] 662s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [1580 kB] 665s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 c-n-f Metadata [32.0 kB] 665s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [21.7 kB] 665s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 c-n-f Metadata [688 B] 666s Fetched 3862 kB in 5s (740 kB/s) 667s Reading package lists... 668s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 668s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 668s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 668s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 669s Reading package lists... 669s Reading package lists... 669s Building dependency tree... 669s Reading state information... 669s Calculating upgrade... 670s The following packages will be upgraded: 670s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 670s libip6tc2 libxtables12 wget 670s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 670s Need to get 2534 kB of archives. 670s After this operation, 18.4 kB of additional disk space will be used. 670s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 iptables arm64 1.8.11-2ubuntu3 [386 kB] 670s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libip4tc2 arm64 1.8.11-2ubuntu3 [24.3 kB] 670s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libip6tc2 arm64 1.8.11-2ubuntu3 [24.7 kB] 670s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libxtables12 arm64 1.8.11-2ubuntu3 [36.7 kB] 670s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 iproute2 arm64 6.18.0-1ubuntu1 [1171 kB] 672s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libcryptsetup12 arm64 2:2.8.0-1ubuntu3 [274 kB] 672s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 wget arm64 1.25.0-2ubuntu4 [344 kB] 672s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 cryptsetup-bin arm64 2:2.8.0-1ubuntu3 [227 kB] 673s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 dracut-install arm64 109-11ubuntu1 [45.3 kB] 673s dpkg-preconfigure: unable to re-open stdin: No such file or directory 673s Fetched 2534 kB in 3s (828 kB/s) 674s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 136597 files and directories currently installed.) 674s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_arm64.deb ... 674s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 674s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_arm64.deb ... 674s Unpacking libip4tc2:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 674s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_arm64.deb ... 674s Unpacking libip6tc2:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 674s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_arm64.deb ... 674s Unpacking libxtables12:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 674s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_arm64.deb ... 674s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 674s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_arm64.deb ... 674s Unpacking libcryptsetup12:arm64 (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 674s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_arm64.deb ... 675s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 675s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_arm64.deb ... 675s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 675s Preparing to unpack .../8-dracut-install_109-11ubuntu1_arm64.deb ... 675s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 675s Setting up libip4tc2:arm64 (1.8.11-2ubuntu3) ... 675s Setting up wget (1.25.0-2ubuntu4) ... 675s Setting up libip6tc2:arm64 (1.8.11-2ubuntu3) ... 675s Setting up libxtables12:arm64 (1.8.11-2ubuntu3) ... 675s Setting up dracut-install (109-11ubuntu1) ... 675s Setting up libcryptsetup12:arm64 (2:2.8.0-1ubuntu3) ... 675s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 675s Setting up iptables (1.8.11-2ubuntu3) ... 675s Setting up iproute2 (6.18.0-1ubuntu1) ... 675s Processing triggers for man-db (2.13.1-1build1) ... 676s Processing triggers for install-info (7.2-5) ... 676s Processing triggers for libc-bin (2.42-2ubuntu4) ... 676s autopkgtest [22:07:15]: upgrading testbed (apt dist-upgrade and autopurge) 677s Reading package lists... 677s Building dependency tree... 677s Reading state information... 677s Calculating upgrade... 677s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 678s Reading package lists... 678s Building dependency tree... 678s Reading state information... 678s Solving dependencies... 679s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 681s Reading package lists... 681s Building dependency tree... 681s Reading state information... 682s Solving dependencies... 682s Some packages could not be installed. This may mean that you have 682s requested an impossible situation or if you are using the unstable 682s distribution that some required packages have not yet been created 682s or been moved out of Incoming. 682s The following information may help to resolve the situation: 682s 682s The following packages have unmet dependencies: 682s satisfy:command-line : Depends: why3 but it is not going to be installed 682s Depends: cvc5 (< 1.3) but it is not going to be installed 682s Depends: ocaml-native-compilers 682s E: Unable to satisfy dependencies. Reached two conflicting assignments: 682s 1. satisfy:command-line:arm64=1 is selected for install 682s 2. satisfy:command-line:arm64 Depends cvc5 (< 1.3) 682s but none of the choices are installable: 682s [no choices] 682s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from resolute-proposed 682s Reading package lists... 683s Building dependency tree... 683s Reading state information... 683s Solving dependencies... 683s Some packages could not be installed. This may mean that you have 683s requested an impossible situation or if you are using the unstable 683s distribution that some required packages have not yet been created 683s or been moved out of Incoming. 683s The following information may help to resolve the situation: 683s 683s The following packages have unmet dependencies: 683s satisfy:command-line : Depends: why3 but it is not going to be installed 683s Depends: cvc5 (< 1.3) but it is not going to be installed 683s Depends: ocaml-native-compilers 683s E: Unable to satisfy dependencies. Reached two conflicting assignments: 683s 1. satisfy:command-line:arm64=1 is selected for install 683s 2. satisfy:command-line:arm64 Depends cvc5 (< 1.3) 683s but none of the choices are installable: 683s [no choices] 683s why3+cvc5 SKIP installation fails and skip-not-installable set 683s autopkgtest [22:07:22]: test why3+spass: preparing testbed 702s Creating nova instance adt-resolute-arm64-why3-20260209-215559-juju-7f2275-prod-proposed-migration-environment-2-5c4d16a1-30fb-478b-a223-7923f9d897dc from image adt/ubuntu-resolute-arm64-server-20260209.img (UUID 793037ca-75af-461b-82de-f8081300b2e3)... 837s autopkgtest [22:09:56]: testbed dpkg architecture: arm64 838s autopkgtest [22:09:57]: testbed apt version: 3.1.15 838s autopkgtest [22:09:57]: @@@@@@@@@@@@@@@@@@@@ test bed setup 838s autopkgtest [22:09:57]: testbed release detected to be: resolute 839s autopkgtest [22:09:58]: updating testbed package index (apt update) 839s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 839s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 839s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 839s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 839s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 844s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 844s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 844s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [246 kB] 844s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 c-n-f Metadata [6216 B] 844s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 c-n-f Metadata [304 B] 844s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [1580 kB] 849s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 c-n-f Metadata [32.0 kB] 849s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [21.7 kB] 849s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 c-n-f Metadata [688 B] 850s Fetched 3862 kB in 10s (394 kB/s) 851s Reading package lists... 852s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 852s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 852s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 852s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 853s Reading package lists... 853s Reading package lists... 853s Building dependency tree... 853s Reading state information... 853s Calculating upgrade... 853s The following packages will be upgraded: 853s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 853s libip6tc2 libxtables12 wget 853s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 853s Need to get 2534 kB of archives. 853s After this operation, 18.4 kB of additional disk space will be used. 853s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 iptables arm64 1.8.11-2ubuntu3 [386 kB] 853s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libip4tc2 arm64 1.8.11-2ubuntu3 [24.3 kB] 853s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libip6tc2 arm64 1.8.11-2ubuntu3 [24.7 kB] 853s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libxtables12 arm64 1.8.11-2ubuntu3 [36.7 kB] 854s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 iproute2 arm64 6.18.0-1ubuntu1 [1171 kB] 857s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libcryptsetup12 arm64 2:2.8.0-1ubuntu3 [274 kB] 857s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 wget arm64 1.25.0-2ubuntu4 [344 kB] 857s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 cryptsetup-bin arm64 2:2.8.0-1ubuntu3 [227 kB] 857s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 dracut-install arm64 109-11ubuntu1 [45.3 kB] 857s dpkg-preconfigure: unable to re-open stdin: No such file or directory 858s Fetched 2534 kB in 4s (686 kB/s) 858s (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 ... 136597 files and directories currently installed.) 858s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_arm64.deb ... 858s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 858s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_arm64.deb ... 858s Unpacking libip4tc2:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 858s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_arm64.deb ... 858s Unpacking libip6tc2:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 858s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_arm64.deb ... 858s Unpacking libxtables12:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 858s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_arm64.deb ... 858s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 859s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_arm64.deb ... 859s Unpacking libcryptsetup12:arm64 (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 859s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_arm64.deb ... 859s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 859s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_arm64.deb ... 859s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 859s Preparing to unpack .../8-dracut-install_109-11ubuntu1_arm64.deb ... 859s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 859s Setting up libip4tc2:arm64 (1.8.11-2ubuntu3) ... 859s Setting up wget (1.25.0-2ubuntu4) ... 859s Setting up libip6tc2:arm64 (1.8.11-2ubuntu3) ... 859s Setting up libxtables12:arm64 (1.8.11-2ubuntu3) ... 859s Setting up dracut-install (109-11ubuntu1) ... 859s Setting up libcryptsetup12:arm64 (2:2.8.0-1ubuntu3) ... 859s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 859s Setting up iptables (1.8.11-2ubuntu3) ... 859s Setting up iproute2 (6.18.0-1ubuntu1) ... 859s Processing triggers for man-db (2.13.1-1build1) ... 860s Processing triggers for install-info (7.2-5) ... 860s Processing triggers for libc-bin (2.42-2ubuntu4) ... 861s autopkgtest [22:10:20]: upgrading testbed (apt dist-upgrade and autopurge) 861s Reading package lists... 861s Building dependency tree... 861s Reading state information... 861s Calculating upgrade... 861s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 862s Reading package lists... 862s Building dependency tree... 862s Reading state information... 862s Solving dependencies... 862s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 865s Reading package lists... 865s Building dependency tree... 865s Reading state information... 866s Solving dependencies... 866s The following NEW packages will be installed: 866s adwaita-icon-theme at-spi2-common bubblewrap cpp cpp-15 866s cpp-15-aarch64-linux-gnu cpp-aarch64-linux-gnu dconf-gsettings-backend 866s dconf-service fontconfig fontconfig-config fonts-dejavu-core 866s fonts-dejavu-mono gcc gcc-15 gcc-15-aarch64-linux-gnu gcc-aarch64-linux-gnu 866s glycin-loaders glycin-thumbnailers gtk-update-icon-cache hicolor-icon-theme 866s libaom3 libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 866s libavahi-client3 libavahi-common-data libavahi-common3 libc-dev-bin 866s libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 866s libcompiler-libs-ocaml-dev libcrypt-dev libcups2t64 libdatrie1 libdconf1 866s libde265-0 libepoxy0 libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 866s libgdk-pixbuf2.0-common libglycin-2-0 libgomp1 libgraphite2-3 libgtk-3-0t64 866s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 866s libharfbuzz0b libheif-plugin-aomdec libheif-plugin-libde265 libheif1 866s libhwasan0 libhwy1t64 libisl23 libitm1 libjxl0.11 liblablgtk3-ocaml 866s liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmpc3 libncurses-dev 866s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 866s librsvg2-2 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 866s libthai0 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 866s libwayland-egl1 libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 866s libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 libxrender1 866s libzstd-dev linux-libc-dev ocaml ocaml-base ocaml-interp rpcsvc-proto spass 866s tex-common why3 866s 0 upgraded, 103 newly installed, 0 to remove and 0 not upgraded. 866s Need to get 184 MB of archives. 866s After this operation, 719 MB of additional disk space will be used. 866s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 bubblewrap arm64 0.11.0-2build1 [52.9 kB] 866s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-mono all 2.37-8build1 [502 kB] 866s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-core all 2.37-8build1 [834 kB] 868s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig-config arm64 2.17.1-3ubuntu1 [38.5 kB] 868s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libfontconfig1 arm64 2.17.1-3ubuntu1 [144 kB] 868s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libpixman-1-0 arm64 0.46.4-1 [204 kB] 868s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-render0 arm64 1.17.0-2ubuntu1 [16.4 kB] 868s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-shm0 arm64 1.17.0-2ubuntu1 [5938 B] 868s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrender1 arm64 1:0.9.12-1 [19.5 kB] 868s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo2 arm64 1.18.4-3 [556 kB] 869s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 libsharpyuv0 arm64 1.5.0-0.1build1 [16.7 kB] 869s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 libaom3 arm64 3.13.1-2 [1773 kB] 872s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 libheif-plugin-aomdec arm64 1.21.2-1 [13.9 kB] 872s Get:14 http://ftpmaster.internal/ubuntu resolute/main arm64 libde265-0 arm64 1.0.16-1build1 [148 kB] 872s Get:15 http://ftpmaster.internal/ubuntu resolute/main arm64 libheif-plugin-libde265 arm64 1.21.2-1 [9696 B] 872s Get:16 http://ftpmaster.internal/ubuntu resolute/main arm64 libheif1 arm64 1.21.2-1 [502 kB] 872s Get:17 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwy1t64 arm64 1.3.0-2 [513 kB] 872s Get:18 http://ftpmaster.internal/ubuntu resolute/main arm64 liblcms2-2 arm64 2.17-1 [170 kB] 872s Get:19 http://ftpmaster.internal/ubuntu resolute/main arm64 libjxl0.11 arm64 0.11.1-6ubuntu1 [909 kB] 874s Get:20 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo-gobject2 arm64 1.18.4-3 [127 kB] 874s Get:21 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig arm64 2.17.1-3ubuntu1 [181 kB] 874s Get:22 http://ftpmaster.internal/ubuntu resolute/main arm64 libgraphite2-3 arm64 1.3.14-11ubuntu1 [72.1 kB] 874s Get:23 http://ftpmaster.internal/ubuntu resolute/main arm64 libharfbuzz0b arm64 12.3.2-1 [510 kB] 874s Get:24 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai-data all 0.1.30-1 [155 kB] 874s Get:25 http://ftpmaster.internal/ubuntu resolute/main arm64 libdatrie1 arm64 0.2.14-1 [19.6 kB] 874s Get:26 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai0 arm64 0.1.30-1 [18.3 kB] 874s Get:27 http://ftpmaster.internal/ubuntu resolute/main arm64 libpango-1.0-0 arm64 1.57.0-1 [238 kB] 874s Get:28 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangoft2-1.0-0 arm64 1.57.0-1 [51.5 kB] 874s Get:29 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangocairo-1.0-0 arm64 1.57.0-1 [27.9 kB] 874s Get:30 http://ftpmaster.internal/ubuntu resolute/main arm64 librsvg2-2 arm64 2.61.3+dfsg-3 [1754 kB] 877s Get:31 http://ftpmaster.internal/ubuntu resolute/main arm64 glycin-loaders arm64 2.0.7+ds-3ubuntu1 [2654 kB] 881s Get:32 http://ftpmaster.internal/ubuntu resolute/main arm64 glycin-thumbnailers arm64 2.0.7+ds-3ubuntu1 [1105 kB] 883s Get:33 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libgdk-pixbuf2.0-common all 2.44.5+dfsg-3 [9206 B] 883s Get:34 http://ftpmaster.internal/ubuntu resolute/main arm64 libglycin-2-0 arm64 2.0.7+ds-3ubuntu1 [1495 kB] 885s Get:35 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libgdk-pixbuf-2.0-0 arm64 2.44.5+dfsg-3 [103 kB] 885s Get:36 http://ftpmaster.internal/ubuntu resolute/main arm64 gtk-update-icon-cache arm64 4.20.3+ds-3 [54.7 kB] 885s Get:37 http://ftpmaster.internal/ubuntu resolute/main arm64 hicolor-icon-theme all 0.18-2build1 [13.2 kB] 885s Get:38 http://ftpmaster.internal/ubuntu resolute/main arm64 adwaita-icon-theme all 49.0-1 [581 kB] 886s Get:39 http://ftpmaster.internal/ubuntu resolute/main arm64 at-spi2-common all 2.59.0-1 [9774 B] 886s Get:40 http://ftpmaster.internal/ubuntu resolute/main arm64 libisl23 arm64 0.27-1build1 [676 kB] 887s Get:41 http://ftpmaster.internal/ubuntu resolute/main arm64 libmpc3 arm64 1.3.1-2 [55.6 kB] 887s Get:42 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15-aarch64-linux-gnu arm64 15.2.0-12ubuntu1 [11.7 MB] 908s Get:43 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15 arm64 15.2.0-12ubuntu1 [1030 B] 908s Get:44 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [5736 B] 908s Get:45 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp arm64 4:15.2.0-4ubuntu1 [22.4 kB] 908s Get:46 http://ftpmaster.internal/ubuntu resolute/main arm64 libdconf1 arm64 0.49.0-4 [40.9 kB] 908s Get:47 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-service arm64 0.49.0-4 [27.2 kB] 908s Get:48 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-gsettings-backend arm64 0.49.0-4 [22.0 kB] 908s Get:49 http://ftpmaster.internal/ubuntu resolute/main arm64 libcc1-0 arm64 15.2.0-12ubuntu1 [49.0 kB] 908s Get:50 http://ftpmaster.internal/ubuntu resolute/main arm64 libgomp1 arm64 15.2.0-12ubuntu1 [147 kB] 908s Get:51 http://ftpmaster.internal/ubuntu resolute/main arm64 libitm1 arm64 15.2.0-12ubuntu1 [27.8 kB] 908s Get:52 http://ftpmaster.internal/ubuntu resolute/main arm64 libasan8 arm64 15.2.0-12ubuntu1 [2920 kB] 913s Get:53 http://ftpmaster.internal/ubuntu resolute/main arm64 liblsan0 arm64 15.2.0-12ubuntu1 [1316 kB] 916s Get:54 http://ftpmaster.internal/ubuntu resolute/main arm64 libtsan2 arm64 15.2.0-12ubuntu1 [2688 kB] 920s Get:55 http://ftpmaster.internal/ubuntu resolute/main arm64 libubsan1 arm64 15.2.0-12ubuntu1 [1175 kB] 922s Get:56 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwasan0 arm64 15.2.0-12ubuntu1 [1638 kB] 925s Get:57 http://ftpmaster.internal/ubuntu resolute/main arm64 libgcc-15-dev arm64 15.2.0-12ubuntu1 [2600 kB] 929s Get:58 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15-aarch64-linux-gnu arm64 15.2.0-12ubuntu1 [23.1 MB] 967s Get:59 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15 arm64 15.2.0-12ubuntu1 [519 kB] 967s Get:60 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [1206 B] 967s Get:61 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc arm64 4:15.2.0-4ubuntu1 [5016 B] 967s Get:62 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk1.0-0t64 arm64 2.59.0-1 [55.9 kB] 967s Get:63 http://ftpmaster.internal/ubuntu resolute/main arm64 libxi6 arm64 2:1.8.2-2 [32.4 kB] 967s Get:64 http://ftpmaster.internal/ubuntu resolute/main arm64 libatspi2.0-0t64 arm64 2.59.0-1 [85.4 kB] 967s Get:65 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk-bridge2.0-0t64 arm64 2.59.0-1 [66.9 kB] 967s Get:66 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common-data arm64 0.8-17ubuntu2 [31.5 kB] 967s Get:67 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common3 arm64 0.8-17ubuntu2 [22.6 kB] 967s Get:68 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-client3 arm64 0.8-17ubuntu2 [26.7 kB] 967s Get:69 http://ftpmaster.internal/ubuntu resolute/main arm64 libc-dev-bin arm64 2.42-2ubuntu4 [22.5 kB] 967s Get:70 http://ftpmaster.internal/ubuntu resolute/main arm64 linux-libc-dev arm64 6.19.0-3.3 [1819 kB] 970s Get:71 http://ftpmaster.internal/ubuntu resolute/main arm64 libcrypt-dev arm64 1:4.5.1-1 [123 kB] 970s Get:72 http://ftpmaster.internal/ubuntu resolute/main arm64 rpcsvc-proto arm64 1.4.3-1build1 [65.6 kB] 970s Get:73 http://ftpmaster.internal/ubuntu resolute/main arm64 libc6-dev arm64 2.42-2ubuntu4 [1765 kB] 974s Get:74 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml arm64 5.4.0-1ubuntu1 [436 kB] 974s Get:75 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-base arm64 5.4.0-1ubuntu1 [325 kB] 974s Get:76 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcairo2-ocaml arm64 0.6.5-2build3 [26.3 kB] 974s Get:77 http://ftpmaster.internal/ubuntu resolute/main arm64 libcolord2 arm64 1.4.8-2build1 [147 kB] 974s Get:78 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml-dev arm64 5.4.0-1ubuntu1 [7269 kB] 992s Get:79 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcompiler-libs-ocaml-dev arm64 5.4.0-1ubuntu1 [45.8 MB] 1074s Get:80 http://ftpmaster.internal/ubuntu resolute/main arm64 libcups2t64 arm64 2.4.16-1ubuntu1 [271 kB] 1075s Get:81 http://ftpmaster.internal/ubuntu resolute/main arm64 libepoxy0 arm64 1.5.10-2build1 [238 kB] 1076s Get:82 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-client0 arm64 1.24.0-2 [27.6 kB] 1076s Get:83 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-cursor0 arm64 1.24.0-2 [10.6 kB] 1076s Get:84 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-egl1 arm64 1.24.0-2 [6172 B] 1076s Get:85 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcomposite1 arm64 1:0.4.6-1build1 [6728 B] 1076s Get:86 http://ftpmaster.internal/ubuntu resolute/main arm64 libxfixes3 arm64 1:6.0.0-2build2 [11.4 kB] 1076s Get:87 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcursor1 arm64 1:1.2.3-1build1 [22.0 kB] 1076s Get:88 http://ftpmaster.internal/ubuntu resolute/main arm64 libxdamage1 arm64 1:1.1.7-1 [6688 B] 1076s Get:89 http://ftpmaster.internal/ubuntu resolute/main arm64 libxinerama1 arm64 2:1.1.4-3build2 [6486 B] 1076s Get:90 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrandr2 arm64 2:1.5.4-1build1 [19.1 kB] 1076s Get:91 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 1078s Get:92 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-0t64 arm64 3.24.50-1ubuntu2 [3229 kB] 1084s Get:93 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-common all 3.24.11-7 [294 kB] 1084s Get:94 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-7 [229 kB] 1084s Get:95 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build5 [3925 kB] 1090s Get:96 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build5 [350 kB] 1090s Get:97 http://ftpmaster.internal/ubuntu resolute/main arm64 libncurses-dev arm64 6.6+20251231-1 [391 kB] 1090s Get:98 http://ftpmaster.internal/ubuntu resolute/main arm64 libzstd-dev arm64 1.5.7+dfsg-3 [349 kB] 1090s Get:99 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-interp arm64 5.4.0-1ubuntu1 [8772 kB] 1105s Get:100 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml arm64 5.4.0-1ubuntu1 [24.2 MB] 1144s Get:101 http://ftpmaster.internal/ubuntu resolute/universe arm64 spass arm64 3.9-1.1build1 [291 kB] 1145s Get:102 http://ftpmaster.internal/ubuntu resolute/universe arm64 tex-common all 6.20 [30.0 kB] 1145s Get:103 http://ftpmaster.internal/ubuntu resolute/universe arm64 why3 arm64 1.8.2-3 [16.9 MB] 1173s Fetched 184 MB in 5min 7s (598 kB/s) 1173s Selecting previously unselected package bubblewrap. 1174s (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 ... 136600 files and directories currently installed.) 1174s Preparing to unpack .../000-bubblewrap_0.11.0-2build1_arm64.deb ... 1174s Unpacking bubblewrap (0.11.0-2build1) ... 1174s Selecting previously unselected package fonts-dejavu-mono. 1174s Preparing to unpack .../001-fonts-dejavu-mono_2.37-8build1_all.deb ... 1174s Unpacking fonts-dejavu-mono (2.37-8build1) ... 1174s Selecting previously unselected package fonts-dejavu-core. 1174s Preparing to unpack .../002-fonts-dejavu-core_2.37-8build1_all.deb ... 1174s Unpacking fonts-dejavu-core (2.37-8build1) ... 1174s Selecting previously unselected package fontconfig-config. 1174s Preparing to unpack .../003-fontconfig-config_2.17.1-3ubuntu1_arm64.deb ... 1174s Unpacking fontconfig-config (2.17.1-3ubuntu1) ... 1174s Selecting previously unselected package libfontconfig1:arm64. 1174s Preparing to unpack .../004-libfontconfig1_2.17.1-3ubuntu1_arm64.deb ... 1174s Unpacking libfontconfig1:arm64 (2.17.1-3ubuntu1) ... 1174s Selecting previously unselected package libpixman-1-0:arm64. 1174s Preparing to unpack .../005-libpixman-1-0_0.46.4-1_arm64.deb ... 1174s Unpacking libpixman-1-0:arm64 (0.46.4-1) ... 1174s Selecting previously unselected package libxcb-render0:arm64. 1174s Preparing to unpack .../006-libxcb-render0_1.17.0-2ubuntu1_arm64.deb ... 1174s Unpacking libxcb-render0:arm64 (1.17.0-2ubuntu1) ... 1174s Selecting previously unselected package libxcb-shm0:arm64. 1174s Preparing to unpack .../007-libxcb-shm0_1.17.0-2ubuntu1_arm64.deb ... 1174s Unpacking libxcb-shm0:arm64 (1.17.0-2ubuntu1) ... 1174s Selecting previously unselected package libxrender1:arm64. 1174s Preparing to unpack .../008-libxrender1_1%3a0.9.12-1_arm64.deb ... 1174s Unpacking libxrender1:arm64 (1:0.9.12-1) ... 1174s Selecting previously unselected package libcairo2:arm64. 1174s Preparing to unpack .../009-libcairo2_1.18.4-3_arm64.deb ... 1174s Unpacking libcairo2:arm64 (1.18.4-3) ... 1174s Selecting previously unselected package libsharpyuv0:arm64. 1174s Preparing to unpack .../010-libsharpyuv0_1.5.0-0.1build1_arm64.deb ... 1174s Unpacking libsharpyuv0:arm64 (1.5.0-0.1build1) ... 1174s Selecting previously unselected package libaom3:arm64. 1174s Preparing to unpack .../011-libaom3_3.13.1-2_arm64.deb ... 1174s Unpacking libaom3:arm64 (3.13.1-2) ... 1174s Selecting previously unselected package libheif-plugin-aomdec:arm64. 1174s Preparing to unpack .../012-libheif-plugin-aomdec_1.21.2-1_arm64.deb ... 1174s Unpacking libheif-plugin-aomdec:arm64 (1.21.2-1) ... 1174s Selecting previously unselected package libde265-0:arm64. 1174s Preparing to unpack .../013-libde265-0_1.0.16-1build1_arm64.deb ... 1174s Unpacking libde265-0:arm64 (1.0.16-1build1) ... 1174s Selecting previously unselected package libheif-plugin-libde265:arm64. 1174s Preparing to unpack .../014-libheif-plugin-libde265_1.21.2-1_arm64.deb ... 1174s Unpacking libheif-plugin-libde265:arm64 (1.21.2-1) ... 1174s Selecting previously unselected package libheif1:arm64. 1174s Preparing to unpack .../015-libheif1_1.21.2-1_arm64.deb ... 1174s Unpacking libheif1:arm64 (1.21.2-1) ... 1174s Selecting previously unselected package libhwy1t64:arm64. 1174s Preparing to unpack .../016-libhwy1t64_1.3.0-2_arm64.deb ... 1174s Unpacking libhwy1t64:arm64 (1.3.0-2) ... 1174s Selecting previously unselected package liblcms2-2:arm64. 1175s Preparing to unpack .../017-liblcms2-2_2.17-1_arm64.deb ... 1175s Unpacking liblcms2-2:arm64 (2.17-1) ... 1175s Selecting previously unselected package libjxl0.11:arm64. 1175s Preparing to unpack .../018-libjxl0.11_0.11.1-6ubuntu1_arm64.deb ... 1175s Unpacking libjxl0.11:arm64 (0.11.1-6ubuntu1) ... 1175s Selecting previously unselected package libcairo-gobject2:arm64. 1175s Preparing to unpack .../019-libcairo-gobject2_1.18.4-3_arm64.deb ... 1175s Unpacking libcairo-gobject2:arm64 (1.18.4-3) ... 1175s Selecting previously unselected package fontconfig. 1175s Preparing to unpack .../020-fontconfig_2.17.1-3ubuntu1_arm64.deb ... 1175s Unpacking fontconfig (2.17.1-3ubuntu1) ... 1175s Selecting previously unselected package libgraphite2-3:arm64. 1175s Preparing to unpack .../021-libgraphite2-3_1.3.14-11ubuntu1_arm64.deb ... 1175s Unpacking libgraphite2-3:arm64 (1.3.14-11ubuntu1) ... 1175s Selecting previously unselected package libharfbuzz0b:arm64. 1175s Preparing to unpack .../022-libharfbuzz0b_12.3.2-1_arm64.deb ... 1175s Unpacking libharfbuzz0b:arm64 (12.3.2-1) ... 1175s Selecting previously unselected package libthai-data. 1175s Preparing to unpack .../023-libthai-data_0.1.30-1_all.deb ... 1175s Unpacking libthai-data (0.1.30-1) ... 1175s Selecting previously unselected package libdatrie1:arm64. 1175s Preparing to unpack .../024-libdatrie1_0.2.14-1_arm64.deb ... 1175s Unpacking libdatrie1:arm64 (0.2.14-1) ... 1175s Selecting previously unselected package libthai0:arm64. 1175s Preparing to unpack .../025-libthai0_0.1.30-1_arm64.deb ... 1175s Unpacking libthai0:arm64 (0.1.30-1) ... 1175s Selecting previously unselected package libpango-1.0-0:arm64. 1175s Preparing to unpack .../026-libpango-1.0-0_1.57.0-1_arm64.deb ... 1175s Unpacking libpango-1.0-0:arm64 (1.57.0-1) ... 1175s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1175s Preparing to unpack .../027-libpangoft2-1.0-0_1.57.0-1_arm64.deb ... 1175s Unpacking libpangoft2-1.0-0:arm64 (1.57.0-1) ... 1175s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1175s Preparing to unpack .../028-libpangocairo-1.0-0_1.57.0-1_arm64.deb ... 1175s Unpacking libpangocairo-1.0-0:arm64 (1.57.0-1) ... 1175s Selecting previously unselected package librsvg2-2:arm64. 1175s Preparing to unpack .../029-librsvg2-2_2.61.3+dfsg-3_arm64.deb ... 1175s Unpacking librsvg2-2:arm64 (2.61.3+dfsg-3) ... 1175s Selecting previously unselected package glycin-loaders. 1175s Preparing to unpack .../030-glycin-loaders_2.0.7+ds-3ubuntu1_arm64.deb ... 1175s Unpacking glycin-loaders (2.0.7+ds-3ubuntu1) ... 1175s Selecting previously unselected package glycin-thumbnailers. 1175s Preparing to unpack .../031-glycin-thumbnailers_2.0.7+ds-3ubuntu1_arm64.deb ... 1175s Unpacking glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 1175s Selecting previously unselected package libgdk-pixbuf2.0-common. 1175s Preparing to unpack .../032-libgdk-pixbuf2.0-common_2.44.5+dfsg-3_all.deb ... 1175s Unpacking libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 1175s Selecting previously unselected package libglycin-2-0:arm64. 1175s Preparing to unpack .../033-libglycin-2-0_2.0.7+ds-3ubuntu1_arm64.deb ... 1175s Unpacking libglycin-2-0:arm64 (2.0.7+ds-3ubuntu1) ... 1175s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1175s Preparing to unpack .../034-libgdk-pixbuf-2.0-0_2.44.5+dfsg-3_arm64.deb ... 1175s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.44.5+dfsg-3) ... 1175s Selecting previously unselected package gtk-update-icon-cache. 1175s Preparing to unpack .../035-gtk-update-icon-cache_4.20.3+ds-3_arm64.deb ... 1175s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 1175s 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. 1175s Unpacking gtk-update-icon-cache (4.20.3+ds-3) ... 1175s Selecting previously unselected package hicolor-icon-theme. 1175s Preparing to unpack .../036-hicolor-icon-theme_0.18-2build1_all.deb ... 1175s Unpacking hicolor-icon-theme (0.18-2build1) ... 1175s Selecting previously unselected package adwaita-icon-theme. 1176s Preparing to unpack .../037-adwaita-icon-theme_49.0-1_all.deb ... 1176s Unpacking adwaita-icon-theme (49.0-1) ... 1176s Selecting previously unselected package at-spi2-common. 1176s Preparing to unpack .../038-at-spi2-common_2.59.0-1_all.deb ... 1176s Unpacking at-spi2-common (2.59.0-1) ... 1176s Selecting previously unselected package libisl23:arm64. 1176s Preparing to unpack .../039-libisl23_0.27-1build1_arm64.deb ... 1176s Unpacking libisl23:arm64 (0.27-1build1) ... 1176s Selecting previously unselected package libmpc3:arm64. 1176s Preparing to unpack .../040-libmpc3_1.3.1-2_arm64.deb ... 1176s Unpacking libmpc3:arm64 (1.3.1-2) ... 1176s Selecting previously unselected package cpp-15-aarch64-linux-gnu. 1176s Preparing to unpack .../041-cpp-15-aarch64-linux-gnu_15.2.0-12ubuntu1_arm64.deb ... 1176s Unpacking cpp-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 1176s Selecting previously unselected package cpp-15. 1176s Preparing to unpack .../042-cpp-15_15.2.0-12ubuntu1_arm64.deb ... 1176s Unpacking cpp-15 (15.2.0-12ubuntu1) ... 1176s Selecting previously unselected package cpp-aarch64-linux-gnu. 1176s Preparing to unpack .../043-cpp-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 1176s Unpacking cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 1176s Selecting previously unselected package cpp. 1176s Preparing to unpack .../044-cpp_4%3a15.2.0-4ubuntu1_arm64.deb ... 1176s Unpacking cpp (4:15.2.0-4ubuntu1) ... 1176s Selecting previously unselected package libdconf1:arm64. 1176s Preparing to unpack .../045-libdconf1_0.49.0-4_arm64.deb ... 1176s Unpacking libdconf1:arm64 (0.49.0-4) ... 1176s Selecting previously unselected package dconf-service. 1176s Preparing to unpack .../046-dconf-service_0.49.0-4_arm64.deb ... 1176s Unpacking dconf-service (0.49.0-4) ... 1176s Selecting previously unselected package dconf-gsettings-backend:arm64. 1176s Preparing to unpack .../047-dconf-gsettings-backend_0.49.0-4_arm64.deb ... 1176s Unpacking dconf-gsettings-backend:arm64 (0.49.0-4) ... 1176s Selecting previously unselected package libcc1-0:arm64. 1176s Preparing to unpack .../048-libcc1-0_15.2.0-12ubuntu1_arm64.deb ... 1176s Unpacking libcc1-0:arm64 (15.2.0-12ubuntu1) ... 1176s Selecting previously unselected package libgomp1:arm64. 1176s Preparing to unpack .../049-libgomp1_15.2.0-12ubuntu1_arm64.deb ... 1176s Unpacking libgomp1:arm64 (15.2.0-12ubuntu1) ... 1176s Selecting previously unselected package libitm1:arm64. 1176s Preparing to unpack .../050-libitm1_15.2.0-12ubuntu1_arm64.deb ... 1176s Unpacking libitm1:arm64 (15.2.0-12ubuntu1) ... 1176s Selecting previously unselected package libasan8:arm64. 1176s Preparing to unpack .../051-libasan8_15.2.0-12ubuntu1_arm64.deb ... 1176s Unpacking libasan8:arm64 (15.2.0-12ubuntu1) ... 1176s Selecting previously unselected package liblsan0:arm64. 1176s Preparing to unpack .../052-liblsan0_15.2.0-12ubuntu1_arm64.deb ... 1176s Unpacking liblsan0:arm64 (15.2.0-12ubuntu1) ... 1176s Selecting previously unselected package libtsan2:arm64. 1176s Preparing to unpack .../053-libtsan2_15.2.0-12ubuntu1_arm64.deb ... 1176s Unpacking libtsan2:arm64 (15.2.0-12ubuntu1) ... 1177s Selecting previously unselected package libubsan1:arm64. 1177s Preparing to unpack .../054-libubsan1_15.2.0-12ubuntu1_arm64.deb ... 1177s Unpacking libubsan1:arm64 (15.2.0-12ubuntu1) ... 1177s Selecting previously unselected package libhwasan0:arm64. 1177s Preparing to unpack .../055-libhwasan0_15.2.0-12ubuntu1_arm64.deb ... 1177s Unpacking libhwasan0:arm64 (15.2.0-12ubuntu1) ... 1177s Selecting previously unselected package libgcc-15-dev:arm64. 1177s Preparing to unpack .../056-libgcc-15-dev_15.2.0-12ubuntu1_arm64.deb ... 1177s Unpacking libgcc-15-dev:arm64 (15.2.0-12ubuntu1) ... 1177s Selecting previously unselected package gcc-15-aarch64-linux-gnu. 1177s Preparing to unpack .../057-gcc-15-aarch64-linux-gnu_15.2.0-12ubuntu1_arm64.deb ... 1177s Unpacking gcc-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 1177s Selecting previously unselected package gcc-15. 1177s Preparing to unpack .../058-gcc-15_15.2.0-12ubuntu1_arm64.deb ... 1177s Unpacking gcc-15 (15.2.0-12ubuntu1) ... 1177s Selecting previously unselected package gcc-aarch64-linux-gnu. 1177s Preparing to unpack .../059-gcc-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 1177s Unpacking gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 1177s Selecting previously unselected package gcc. 1177s Preparing to unpack .../060-gcc_4%3a15.2.0-4ubuntu1_arm64.deb ... 1177s Unpacking gcc (4:15.2.0-4ubuntu1) ... 1177s Selecting previously unselected package libatk1.0-0t64:arm64. 1177s Preparing to unpack .../061-libatk1.0-0t64_2.59.0-1_arm64.deb ... 1177s Unpacking libatk1.0-0t64:arm64 (2.59.0-1) ... 1177s Selecting previously unselected package libxi6:arm64. 1177s Preparing to unpack .../062-libxi6_2%3a1.8.2-2_arm64.deb ... 1177s Unpacking libxi6:arm64 (2:1.8.2-2) ... 1177s Selecting previously unselected package libatspi2.0-0t64:arm64. 1177s Preparing to unpack .../063-libatspi2.0-0t64_2.59.0-1_arm64.deb ... 1177s Unpacking libatspi2.0-0t64:arm64 (2.59.0-1) ... 1177s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 1177s Preparing to unpack .../064-libatk-bridge2.0-0t64_2.59.0-1_arm64.deb ... 1177s Unpacking libatk-bridge2.0-0t64:arm64 (2.59.0-1) ... 1177s Selecting previously unselected package libavahi-common-data:arm64. 1177s Preparing to unpack .../065-libavahi-common-data_0.8-17ubuntu2_arm64.deb ... 1177s Unpacking libavahi-common-data:arm64 (0.8-17ubuntu2) ... 1177s Selecting previously unselected package libavahi-common3:arm64. 1177s Preparing to unpack .../066-libavahi-common3_0.8-17ubuntu2_arm64.deb ... 1177s Unpacking libavahi-common3:arm64 (0.8-17ubuntu2) ... 1177s Selecting previously unselected package libavahi-client3:arm64. 1178s Preparing to unpack .../067-libavahi-client3_0.8-17ubuntu2_arm64.deb ... 1178s Unpacking libavahi-client3:arm64 (0.8-17ubuntu2) ... 1178s Selecting previously unselected package libc-dev-bin. 1178s Preparing to unpack .../068-libc-dev-bin_2.42-2ubuntu4_arm64.deb ... 1178s Unpacking libc-dev-bin (2.42-2ubuntu4) ... 1178s Selecting previously unselected package linux-libc-dev:arm64. 1178s Preparing to unpack .../069-linux-libc-dev_6.19.0-3.3_arm64.deb ... 1178s Unpacking linux-libc-dev:arm64 (6.19.0-3.3) ... 1178s Selecting previously unselected package libcrypt-dev:arm64. 1178s Preparing to unpack .../070-libcrypt-dev_1%3a4.5.1-1_arm64.deb ... 1178s Unpacking libcrypt-dev:arm64 (1:4.5.1-1) ... 1178s Selecting previously unselected package rpcsvc-proto. 1178s Preparing to unpack .../071-rpcsvc-proto_1.4.3-1build1_arm64.deb ... 1178s Unpacking rpcsvc-proto (1.4.3-1build1) ... 1178s Selecting previously unselected package libc6-dev:arm64. 1178s Preparing to unpack .../072-libc6-dev_2.42-2ubuntu4_arm64.deb ... 1178s Unpacking libc6-dev:arm64 (2.42-2ubuntu4) ... 1178s Selecting previously unselected package libstdlib-ocaml. 1178s Preparing to unpack .../073-libstdlib-ocaml_5.4.0-1ubuntu1_arm64.deb ... 1178s Unpacking libstdlib-ocaml (5.4.0-1ubuntu1) ... 1178s Selecting previously unselected package ocaml-base. 1178s Preparing to unpack .../074-ocaml-base_5.4.0-1ubuntu1_arm64.deb ... 1178s Unpacking ocaml-base (5.4.0-1ubuntu1) ... 1178s Selecting previously unselected package libcairo2-ocaml. 1178s Preparing to unpack .../075-libcairo2-ocaml_0.6.5-2build3_arm64.deb ... 1178s Unpacking libcairo2-ocaml (0.6.5-2build3) ... 1178s Selecting previously unselected package libcolord2:arm64. 1178s Preparing to unpack .../076-libcolord2_1.4.8-2build1_arm64.deb ... 1178s Unpacking libcolord2:arm64 (1.4.8-2build1) ... 1178s Selecting previously unselected package libstdlib-ocaml-dev. 1178s Preparing to unpack .../077-libstdlib-ocaml-dev_5.4.0-1ubuntu1_arm64.deb ... 1178s Unpacking libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 1178s Selecting previously unselected package libcompiler-libs-ocaml-dev. 1178s Preparing to unpack .../078-libcompiler-libs-ocaml-dev_5.4.0-1ubuntu1_arm64.deb ... 1178s Unpacking libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 1179s Selecting previously unselected package libcups2t64:arm64. 1179s Preparing to unpack .../079-libcups2t64_2.4.16-1ubuntu1_arm64.deb ... 1179s Unpacking libcups2t64:arm64 (2.4.16-1ubuntu1) ... 1179s Selecting previously unselected package libepoxy0:arm64. 1179s Preparing to unpack .../080-libepoxy0_1.5.10-2build1_arm64.deb ... 1179s Unpacking libepoxy0:arm64 (1.5.10-2build1) ... 1179s Selecting previously unselected package libwayland-client0:arm64. 1179s Preparing to unpack .../081-libwayland-client0_1.24.0-2_arm64.deb ... 1179s Unpacking libwayland-client0:arm64 (1.24.0-2) ... 1179s Selecting previously unselected package libwayland-cursor0:arm64. 1179s Preparing to unpack .../082-libwayland-cursor0_1.24.0-2_arm64.deb ... 1179s Unpacking libwayland-cursor0:arm64 (1.24.0-2) ... 1179s Selecting previously unselected package libwayland-egl1:arm64. 1179s Preparing to unpack .../083-libwayland-egl1_1.24.0-2_arm64.deb ... 1179s Unpacking libwayland-egl1:arm64 (1.24.0-2) ... 1179s Selecting previously unselected package libxcomposite1:arm64. 1179s Preparing to unpack .../084-libxcomposite1_1%3a0.4.6-1build1_arm64.deb ... 1179s Unpacking libxcomposite1:arm64 (1:0.4.6-1build1) ... 1179s Selecting previously unselected package libxfixes3:arm64. 1179s Preparing to unpack .../085-libxfixes3_1%3a6.0.0-2build2_arm64.deb ... 1179s Unpacking libxfixes3:arm64 (1:6.0.0-2build2) ... 1180s Selecting previously unselected package libxcursor1:arm64. 1180s Preparing to unpack .../086-libxcursor1_1%3a1.2.3-1build1_arm64.deb ... 1180s Unpacking libxcursor1:arm64 (1:1.2.3-1build1) ... 1180s Selecting previously unselected package libxdamage1:arm64. 1180s Preparing to unpack .../087-libxdamage1_1%3a1.1.7-1_arm64.deb ... 1180s Unpacking libxdamage1:arm64 (1:1.1.7-1) ... 1180s Selecting previously unselected package libxinerama1:arm64. 1180s Preparing to unpack .../088-libxinerama1_2%3a1.1.4-3build2_arm64.deb ... 1180s Unpacking libxinerama1:arm64 (2:1.1.4-3build2) ... 1180s Selecting previously unselected package libxrandr2:arm64. 1180s Preparing to unpack .../089-libxrandr2_2%3a1.5.4-1build1_arm64.deb ... 1180s Unpacking libxrandr2:arm64 (2:1.5.4-1build1) ... 1180s Selecting previously unselected package libgtk-3-common. 1180s Preparing to unpack .../090-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 1180s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 1180s Selecting previously unselected package libgtk-3-0t64:arm64. 1180s Preparing to unpack .../091-libgtk-3-0t64_3.24.50-1ubuntu2_arm64.deb ... 1180s Unpacking libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 1180s Selecting previously unselected package libgtksourceview-3.0-common. 1180s Preparing to unpack .../092-libgtksourceview-3.0-common_3.24.11-7_all.deb ... 1180s Unpacking libgtksourceview-3.0-common (3.24.11-7) ... 1180s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1180s Preparing to unpack .../093-libgtksourceview-3.0-1_3.24.11-7_arm64.deb ... 1180s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-7) ... 1180s Selecting previously unselected package liblablgtk3-ocaml. 1180s Preparing to unpack .../094-liblablgtk3-ocaml_3.1.5-1build5_arm64.deb ... 1180s Unpacking liblablgtk3-ocaml (3.1.5-1build5) ... 1180s Selecting previously unselected package liblablgtksourceview3-ocaml. 1180s Preparing to unpack .../095-liblablgtksourceview3-ocaml_3.1.5-1build5_arm64.deb ... 1180s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build5) ... 1180s Selecting previously unselected package libncurses-dev:arm64. 1180s Preparing to unpack .../096-libncurses-dev_6.6+20251231-1_arm64.deb ... 1180s Unpacking libncurses-dev:arm64 (6.6+20251231-1) ... 1180s Selecting previously unselected package libzstd-dev:arm64. 1180s Preparing to unpack .../097-libzstd-dev_1.5.7+dfsg-3_arm64.deb ... 1180s Unpacking libzstd-dev:arm64 (1.5.7+dfsg-3) ... 1180s Selecting previously unselected package ocaml-interp. 1180s Preparing to unpack .../098-ocaml-interp_5.4.0-1ubuntu1_arm64.deb ... 1180s Unpacking ocaml-interp (5.4.0-1ubuntu1) ... 1180s Selecting previously unselected package ocaml. 1180s Preparing to unpack .../099-ocaml_5.4.0-1ubuntu1_arm64.deb ... 1180s Unpacking ocaml (5.4.0-1ubuntu1) ... 1181s Selecting previously unselected package spass. 1181s Preparing to unpack .../100-spass_3.9-1.1build1_arm64.deb ... 1181s Unpacking spass (3.9-1.1build1) ... 1181s Selecting previously unselected package tex-common. 1181s Preparing to unpack .../101-tex-common_6.20_all.deb ... 1181s Unpacking tex-common (6.20) ... 1181s Selecting previously unselected package why3. 1181s Preparing to unpack .../102-why3_1.8.2-3_arm64.deb ... 1181s Unpacking why3 (1.8.2-3) ... 1181s Setting up libhwy1t64:arm64 (1.3.0-2) ... 1181s Setting up bubblewrap (0.11.0-2build1) ... 1181s Setting up libgraphite2-3:arm64 (1.3.14-11ubuntu1) ... 1181s Setting up liblcms2-2:arm64 (2.17-1) ... 1181s Setting up libpixman-1-0:arm64 (0.46.4-1) ... 1181s Setting up libsharpyuv0:arm64 (1.5.0-0.1build1) ... 1181s Setting up libaom3:arm64 (3.13.1-2) ... 1181s Setting up libxdamage1:arm64 (1:1.1.7-1) ... 1181s Setting up libzstd-dev:arm64 (1.5.7+dfsg-3) ... 1181s Setting up hicolor-icon-theme (0.18-2build1) ... 1181s Setting up libxi6:arm64 (2:1.8.2-2) ... 1181s Setting up libxrender1:arm64 (1:0.9.12-1) ... 1181s Setting up libdatrie1:arm64 (0.2.14-1) ... 1181s Setting up libxcb-render0:arm64 (1.17.0-2ubuntu1) ... 1181s Setting up libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 1181s Setting up linux-libc-dev:arm64 (6.19.0-3.3) ... 1181s Setting up libxcb-shm0:arm64 (1.17.0-2ubuntu1) ... 1181s Setting up libgomp1:arm64 (15.2.0-12ubuntu1) ... 1181s Setting up libcolord2:arm64 (1.4.8-2build1) ... 1181s Setting up libdconf1:arm64 (0.49.0-4) ... 1181s Setting up tex-common (6.20) ... 1182s update-language: texlive-base not installed and configured, doing nothing! 1182s Setting up rpcsvc-proto (1.4.3-1build1) ... 1182s Setting up libepoxy0:arm64 (1.5.10-2build1) ... 1182s Setting up libxfixes3:arm64 (1:6.0.0-2build2) ... 1182s Setting up spass (3.9-1.1build1) ... 1182s Setting up libavahi-common-data:arm64 (0.8-17ubuntu2) ... 1182s Setting up libatspi2.0-0t64:arm64 (2.59.0-1) ... 1182s Setting up libxinerama1:arm64 (2:1.1.4-3build2) ... 1182s Setting up libstdlib-ocaml (5.4.0-1ubuntu1) ... 1182s Setting up fonts-dejavu-mono (2.37-8build1) ... 1182s Setting up libmpc3:arm64 (1.3.1-2) ... 1182s Setting up libxrandr2:arm64 (2:1.5.4-1build1) ... 1182s Setting up ocaml-base (5.4.0-1ubuntu1) ... 1182s Setting up fonts-dejavu-core (2.37-8build1) ... 1182s Setting up libubsan1:arm64 (15.2.0-12ubuntu1) ... 1182s Setting up libhwasan0:arm64 (15.2.0-12ubuntu1) ... 1182s Setting up at-spi2-common (2.59.0-1) ... 1182s Setting up libcrypt-dev:arm64 (1:4.5.1-1) ... 1182s Setting up libasan8:arm64 (15.2.0-12ubuntu1) ... 1182s Setting up libgtksourceview-3.0-common (3.24.11-7) ... 1182s Setting up libharfbuzz0b:arm64 (12.3.2-1) ... 1182s Setting up libthai-data (0.1.30-1) ... 1182s Setting up libwayland-egl1:arm64 (1.24.0-2) ... 1182s Setting up libtsan2:arm64 (15.2.0-12ubuntu1) ... 1182s Setting up libisl23:arm64 (0.27-1build1) ... 1182s Setting up libde265-0:arm64 (1.0.16-1build1) ... 1182s Setting up libc-dev-bin (2.42-2ubuntu4) ... 1182s Setting up libxcomposite1:arm64 (1:0.4.6-1build1) ... 1182s Setting up libjxl0.11:arm64 (0.11.1-6ubuntu1) ... 1182s Setting up libcc1-0:arm64 (15.2.0-12ubuntu1) ... 1182s Setting up liblsan0:arm64 (15.2.0-12ubuntu1) ... 1182s Setting up libitm1:arm64 (15.2.0-12ubuntu1) ... 1182s Setting up libwayland-client0:arm64 (1.24.0-2) ... 1182s Setting up cpp-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 1182s Setting up libgcc-15-dev:arm64 (15.2.0-12ubuntu1) ... 1182s Setting up libatk1.0-0t64:arm64 (2.59.0-1) ... 1182s Setting up libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 1182s Setting up fontconfig-config (2.17.1-3ubuntu1) ... 1182s Setting up libxcursor1:arm64 (1:1.2.3-1build1) ... 1182s Setting up libavahi-common3:arm64 (0.8-17ubuntu2) ... 1182s Setting up dconf-service (0.49.0-4) ... 1182s Setting up libthai0:arm64 (0.1.30-1) ... 1182s Setting up libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 1182s Setting up cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 1182s Setting up ocaml-interp (5.4.0-1ubuntu1) ... 1182s Setting up cpp-15 (15.2.0-12ubuntu1) ... 1182s Setting up libwayland-cursor0:arm64 (1.24.0-2) ... 1182s Setting up cpp (4:15.2.0-4ubuntu1) ... 1182s Setting up libc6-dev:arm64 (2.42-2ubuntu4) ... 1182s Setting up libfontconfig1:arm64 (2.17.1-3ubuntu1) ... 1182s Setting up libavahi-client3:arm64 (0.8-17ubuntu2) ... 1182s Setting up libatk-bridge2.0-0t64:arm64 (2.59.0-1) ... 1182s Setting up fontconfig (2.17.1-3ubuntu1) ... 1184s Regenerating fonts cache... done. 1184s Setting up libncurses-dev:arm64 (6.6+20251231-1) ... 1184s Setting up gcc-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 1184s Setting up dconf-gsettings-backend:arm64 (0.49.0-4) ... 1184s Setting up libpango-1.0-0:arm64 (1.57.0-1) ... 1184s Setting up libcairo2:arm64 (1.18.4-3) ... 1184s Setting up gcc-15 (15.2.0-12ubuntu1) ... 1184s Setting up libcairo-gobject2:arm64 (1.18.4-3) ... 1184s Setting up libpangoft2-1.0-0:arm64 (1.57.0-1) ... 1184s Setting up libcups2t64:arm64 (2.4.16-1ubuntu1) ... 1184s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 1184s Setting up libpangocairo-1.0-0:arm64 (1.57.0-1) ... 1184s Setting up gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 1184s Setting up libcairo2-ocaml (0.6.5-2build3) ... 1184s Setting up gcc (4:15.2.0-4ubuntu1) ... 1184s Setting up ocaml (5.4.0-1ubuntu1) ... 1184s Setting up libheif-plugin-aomdec:arm64 (1.21.2-1) ... 1184s Setting up libheif-plugin-libde265:arm64 (1.21.2-1) ... 1184s Setting up libheif1:arm64 (1.21.2-1) ... 1184s Setting up librsvg2-2:arm64 (2.61.3+dfsg-3) ... 1184s Setting up glycin-loaders (2.0.7+ds-3ubuntu1) ... 1184s Setting up libglycin-2-0:arm64 (2.0.7+ds-3ubuntu1) ... 1184s Setting up glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 1184s Setting up libgdk-pixbuf-2.0-0:arm64 (2.44.5+dfsg-3) ... 1184s Setting up gtk-update-icon-cache (4.20.3+ds-3) ... 1184s Setting up adwaita-icon-theme (49.0-1) ... 1184s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1184s Processing triggers for procps (2:4.0.4-9ubuntu1) ... 1184s Processing triggers for libc-bin (2.42-2ubuntu4) ... 1184s Processing triggers for systemd (259-1ubuntu3) ... 1184s Processing triggers for man-db (2.13.1-1build1) ... 1185s Processing triggers for libglib2.0-0t64:arm64 (2.87.2-2) ... 1185s Setting up libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 1185s Setting up liblablgtk3-ocaml (3.1.5-1build5) ... 1185s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-7) ... 1185s Setting up liblablgtksourceview3-ocaml (3.1.5-1build5) ... 1185s Setting up why3 (1.8.2-3) ... 1185s Processing triggers for libc-bin (2.42-2ubuntu4) ... 1194s autopkgtest [22:15:53]: test why3+spass: [----------------------- 1195s autopkgtest [22:15:54]: test why3+spass: -----------------------] 1196s why3+spass PASS 1196s autopkgtest [22:15:55]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 1196s autopkgtest [22:15:55]: test why3+z3: preparing testbed 1214s Creating nova instance adt-resolute-arm64-why3-20260209-215559-juju-7f2275-prod-proposed-migration-environment-2-5c4d16a1-30fb-478b-a223-7923f9d897dc from image adt/ubuntu-resolute-arm64-server-20260209.img (UUID 793037ca-75af-461b-82de-f8081300b2e3)... 1338s autopkgtest [22:18:17]: testbed dpkg architecture: arm64 1339s autopkgtest [22:18:18]: testbed apt version: 3.1.15 1339s autopkgtest [22:18:18]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1339s autopkgtest [22:18:18]: testbed release detected to be: resolute 1340s autopkgtest [22:18:19]: updating testbed package index (apt update) 1340s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 1340s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 1340s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 1340s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 1341s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 1344s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 1344s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 1344s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 Packages [246 kB] 1345s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 c-n-f Metadata [6216 B] 1345s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted arm64 c-n-f Metadata [304 B] 1346s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 Packages [1580 kB] 1352s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/universe arm64 c-n-f Metadata [32.0 kB] 1352s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 Packages [21.7 kB] 1352s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse arm64 c-n-f Metadata [688 B] 1354s Fetched 3862 kB in 12s (317 kB/s) 1354s Reading package lists... 1355s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 1355s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 1355s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 1355s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 1356s Reading package lists... 1356s Reading package lists... 1356s Building dependency tree... 1356s Reading state information... 1357s Calculating upgrade... 1357s The following packages will be upgraded: 1357s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 1357s libip6tc2 libxtables12 wget 1357s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1357s Need to get 2534 kB of archives. 1357s After this operation, 18.4 kB of additional disk space will be used. 1357s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 iptables arm64 1.8.11-2ubuntu3 [386 kB] 1357s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 libip4tc2 arm64 1.8.11-2ubuntu3 [24.3 kB] 1357s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 libip6tc2 arm64 1.8.11-2ubuntu3 [24.7 kB] 1357s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 libxtables12 arm64 1.8.11-2ubuntu3 [36.7 kB] 1357s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 iproute2 arm64 6.18.0-1ubuntu1 [1171 kB] 1359s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libcryptsetup12 arm64 2:2.8.0-1ubuntu3 [274 kB] 1359s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 wget arm64 1.25.0-2ubuntu4 [344 kB] 1359s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 cryptsetup-bin arm64 2:2.8.0-1ubuntu3 [227 kB] 1359s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 dracut-install arm64 109-11ubuntu1 [45.3 kB] 1360s dpkg-preconfigure: unable to re-open stdin: No such file or directory 1360s Fetched 2534 kB in 2s (1188 kB/s) 1360s (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 ... 136597 files and directories currently installed.) 1360s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_arm64.deb ... 1360s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 1360s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_arm64.deb ... 1360s Unpacking libip4tc2:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 1360s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_arm64.deb ... 1360s Unpacking libip6tc2:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 1360s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_arm64.deb ... 1360s Unpacking libxtables12:arm64 (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 1360s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_arm64.deb ... 1360s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 1361s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_arm64.deb ... 1361s Unpacking libcryptsetup12:arm64 (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 1361s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_arm64.deb ... 1361s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 1361s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_arm64.deb ... 1361s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 1361s Preparing to unpack .../8-dracut-install_109-11ubuntu1_arm64.deb ... 1361s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 1361s Setting up libip4tc2:arm64 (1.8.11-2ubuntu3) ... 1361s Setting up wget (1.25.0-2ubuntu4) ... 1361s Setting up libip6tc2:arm64 (1.8.11-2ubuntu3) ... 1361s Setting up libxtables12:arm64 (1.8.11-2ubuntu3) ... 1361s Setting up dracut-install (109-11ubuntu1) ... 1361s Setting up libcryptsetup12:arm64 (2:2.8.0-1ubuntu3) ... 1361s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 1361s Setting up iptables (1.8.11-2ubuntu3) ... 1361s Setting up iproute2 (6.18.0-1ubuntu1) ... 1361s Processing triggers for man-db (2.13.1-1build1) ... 1362s Processing triggers for install-info (7.2-5) ... 1362s Processing triggers for libc-bin (2.42-2ubuntu4) ... 1362s autopkgtest [22:18:41]: upgrading testbed (apt dist-upgrade and autopurge) 1363s Reading package lists... 1363s Building dependency tree... 1363s Reading state information... 1363s Calculating upgrade... 1363s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1364s Reading package lists... 1364s Building dependency tree... 1364s Reading state information... 1364s Solving dependencies... 1364s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1367s Reading package lists... 1367s Building dependency tree... 1367s Reading state information... 1368s Solving dependencies... 1368s The following NEW packages will be installed: 1368s adwaita-icon-theme at-spi2-common bubblewrap cpp cpp-15 1368s cpp-15-aarch64-linux-gnu cpp-aarch64-linux-gnu dconf-gsettings-backend 1368s dconf-service fontconfig fontconfig-config fonts-dejavu-core 1368s fonts-dejavu-mono gcc gcc-15 gcc-15-aarch64-linux-gnu gcc-aarch64-linux-gnu 1368s glycin-loaders glycin-thumbnailers gtk-update-icon-cache hicolor-icon-theme 1368s libaom3 libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 libatspi2.0-0t64 1368s libavahi-client3 libavahi-common-data libavahi-common3 libc-dev-bin 1368s libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 1368s libcompiler-libs-ocaml-dev libcrypt-dev libcups2t64 libdatrie1 libdconf1 1368s libde265-0 libepoxy0 libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 1368s libgdk-pixbuf2.0-common libglycin-2-0 libgomp1 libgraphite2-3 libgtk-3-0t64 1368s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 1368s libharfbuzz0b libheif-plugin-aomdec libheif-plugin-libde265 libheif1 1368s libhwasan0 libhwy1t64 libisl23 libitm1 libjxl0.11 liblablgtk3-ocaml 1368s liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmpc3 libncurses-dev 1368s libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 1368s librsvg2-2 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libthai-data 1368s libthai0 libtsan2 libubsan1 libwayland-client0 libwayland-cursor0 1368s libwayland-egl1 libxcb-render0 libxcb-shm0 libxcomposite1 libxcursor1 1368s libxdamage1 libxfixes3 libxi6 libxinerama1 libxrandr2 libxrender1 1368s libzstd-dev linux-libc-dev ocaml ocaml-base ocaml-interp rpcsvc-proto 1368s tex-common why3 z3 1368s 0 upgraded, 103 newly installed, 0 to remove and 0 not upgraded. 1368s Need to get 190 MB of archives. 1368s After this operation, 736 MB of additional disk space will be used. 1368s Get:1 http://ftpmaster.internal/ubuntu resolute/main arm64 bubblewrap arm64 0.11.0-2build1 [52.9 kB] 1368s Get:2 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-mono all 2.37-8build1 [502 kB] 1368s Get:3 http://ftpmaster.internal/ubuntu resolute/main arm64 fonts-dejavu-core all 2.37-8build1 [834 kB] 1371s Get:4 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig-config arm64 2.17.1-3ubuntu1 [38.5 kB] 1371s Get:5 http://ftpmaster.internal/ubuntu resolute/main arm64 libfontconfig1 arm64 2.17.1-3ubuntu1 [144 kB] 1371s Get:6 http://ftpmaster.internal/ubuntu resolute/main arm64 libpixman-1-0 arm64 0.46.4-1 [204 kB] 1371s Get:7 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-render0 arm64 1.17.0-2ubuntu1 [16.4 kB] 1371s Get:8 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcb-shm0 arm64 1.17.0-2ubuntu1 [5938 B] 1371s Get:9 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrender1 arm64 1:0.9.12-1 [19.5 kB] 1371s Get:10 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo2 arm64 1.18.4-3 [556 kB] 1373s Get:11 http://ftpmaster.internal/ubuntu resolute/main arm64 libsharpyuv0 arm64 1.5.0-0.1build1 [16.7 kB] 1373s Get:12 http://ftpmaster.internal/ubuntu resolute/main arm64 libaom3 arm64 3.13.1-2 [1773 kB] 1380s Get:13 http://ftpmaster.internal/ubuntu resolute/main arm64 libheif-plugin-aomdec arm64 1.21.2-1 [13.9 kB] 1380s Get:14 http://ftpmaster.internal/ubuntu resolute/main arm64 libde265-0 arm64 1.0.16-1build1 [148 kB] 1380s Get:15 http://ftpmaster.internal/ubuntu resolute/main arm64 libheif-plugin-libde265 arm64 1.21.2-1 [9696 B] 1380s Get:16 http://ftpmaster.internal/ubuntu resolute/main arm64 libheif1 arm64 1.21.2-1 [502 kB] 1380s Get:17 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwy1t64 arm64 1.3.0-2 [513 kB] 1380s Get:18 http://ftpmaster.internal/ubuntu resolute/main arm64 liblcms2-2 arm64 2.17-1 [170 kB] 1380s Get:19 http://ftpmaster.internal/ubuntu resolute/main arm64 libjxl0.11 arm64 0.11.1-6ubuntu1 [909 kB] 1382s Get:20 http://ftpmaster.internal/ubuntu resolute/main arm64 libcairo-gobject2 arm64 1.18.4-3 [127 kB] 1382s Get:21 http://ftpmaster.internal/ubuntu resolute/main arm64 fontconfig arm64 2.17.1-3ubuntu1 [181 kB] 1382s Get:22 http://ftpmaster.internal/ubuntu resolute/main arm64 libgraphite2-3 arm64 1.3.14-11ubuntu1 [72.1 kB] 1382s Get:23 http://ftpmaster.internal/ubuntu resolute/main arm64 libharfbuzz0b arm64 12.3.2-1 [510 kB] 1382s Get:24 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai-data all 0.1.30-1 [155 kB] 1382s Get:25 http://ftpmaster.internal/ubuntu resolute/main arm64 libdatrie1 arm64 0.2.14-1 [19.6 kB] 1382s Get:26 http://ftpmaster.internal/ubuntu resolute/main arm64 libthai0 arm64 0.1.30-1 [18.3 kB] 1382s Get:27 http://ftpmaster.internal/ubuntu resolute/main arm64 libpango-1.0-0 arm64 1.57.0-1 [238 kB] 1382s Get:28 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangoft2-1.0-0 arm64 1.57.0-1 [51.5 kB] 1382s Get:29 http://ftpmaster.internal/ubuntu resolute/main arm64 libpangocairo-1.0-0 arm64 1.57.0-1 [27.9 kB] 1382s Get:30 http://ftpmaster.internal/ubuntu resolute/main arm64 librsvg2-2 arm64 2.61.3+dfsg-3 [1754 kB] 1386s Get:31 http://ftpmaster.internal/ubuntu resolute/main arm64 glycin-loaders arm64 2.0.7+ds-3ubuntu1 [2654 kB] 1391s Get:32 http://ftpmaster.internal/ubuntu resolute/main arm64 glycin-thumbnailers arm64 2.0.7+ds-3ubuntu1 [1105 kB] 1395s Get:33 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libgdk-pixbuf2.0-common all 2.44.5+dfsg-3 [9206 B] 1395s Get:34 http://ftpmaster.internal/ubuntu resolute/main arm64 libglycin-2-0 arm64 2.0.7+ds-3ubuntu1 [1495 kB] 1399s Get:35 http://ftpmaster.internal/ubuntu resolute-proposed/main arm64 libgdk-pixbuf-2.0-0 arm64 2.44.5+dfsg-3 [103 kB] 1399s Get:36 http://ftpmaster.internal/ubuntu resolute/main arm64 gtk-update-icon-cache arm64 4.20.3+ds-3 [54.7 kB] 1399s Get:37 http://ftpmaster.internal/ubuntu resolute/main arm64 hicolor-icon-theme all 0.18-2build1 [13.2 kB] 1399s Get:38 http://ftpmaster.internal/ubuntu resolute/main arm64 adwaita-icon-theme all 49.0-1 [581 kB] 1400s Get:39 http://ftpmaster.internal/ubuntu resolute/main arm64 at-spi2-common all 2.59.0-1 [9774 B] 1400s Get:40 http://ftpmaster.internal/ubuntu resolute/main arm64 libisl23 arm64 0.27-1build1 [676 kB] 1401s Get:41 http://ftpmaster.internal/ubuntu resolute/main arm64 libmpc3 arm64 1.3.1-2 [55.6 kB] 1402s Get:42 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15-aarch64-linux-gnu arm64 15.2.0-12ubuntu1 [11.7 MB] 1427s Get:43 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-15 arm64 15.2.0-12ubuntu1 [1030 B] 1427s Get:44 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [5736 B] 1427s Get:45 http://ftpmaster.internal/ubuntu resolute/main arm64 cpp arm64 4:15.2.0-4ubuntu1 [22.4 kB] 1427s Get:46 http://ftpmaster.internal/ubuntu resolute/main arm64 libdconf1 arm64 0.49.0-4 [40.9 kB] 1427s Get:47 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-service arm64 0.49.0-4 [27.2 kB] 1427s Get:48 http://ftpmaster.internal/ubuntu resolute/main arm64 dconf-gsettings-backend arm64 0.49.0-4 [22.0 kB] 1427s Get:49 http://ftpmaster.internal/ubuntu resolute/main arm64 libcc1-0 arm64 15.2.0-12ubuntu1 [49.0 kB] 1427s Get:50 http://ftpmaster.internal/ubuntu resolute/main arm64 libgomp1 arm64 15.2.0-12ubuntu1 [147 kB] 1427s Get:51 http://ftpmaster.internal/ubuntu resolute/main arm64 libitm1 arm64 15.2.0-12ubuntu1 [27.8 kB] 1427s Get:52 http://ftpmaster.internal/ubuntu resolute/main arm64 libasan8 arm64 15.2.0-12ubuntu1 [2920 kB] 1433s Get:53 http://ftpmaster.internal/ubuntu resolute/main arm64 liblsan0 arm64 15.2.0-12ubuntu1 [1316 kB] 1438s Get:54 http://ftpmaster.internal/ubuntu resolute/main arm64 libtsan2 arm64 15.2.0-12ubuntu1 [2688 kB] 1444s Get:55 http://ftpmaster.internal/ubuntu resolute/main arm64 libubsan1 arm64 15.2.0-12ubuntu1 [1175 kB] 1446s Get:56 http://ftpmaster.internal/ubuntu resolute/main arm64 libhwasan0 arm64 15.2.0-12ubuntu1 [1638 kB] 1450s Get:57 http://ftpmaster.internal/ubuntu resolute/main arm64 libgcc-15-dev arm64 15.2.0-12ubuntu1 [2600 kB] 1455s Get:58 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15-aarch64-linux-gnu arm64 15.2.0-12ubuntu1 [23.1 MB] 1540s Get:59 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-15 arm64 15.2.0-12ubuntu1 [519 kB] 1540s Get:60 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc-aarch64-linux-gnu arm64 4:15.2.0-4ubuntu1 [1206 B] 1540s Get:61 http://ftpmaster.internal/ubuntu resolute/main arm64 gcc arm64 4:15.2.0-4ubuntu1 [5016 B] 1540s Get:62 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk1.0-0t64 arm64 2.59.0-1 [55.9 kB] 1540s Get:63 http://ftpmaster.internal/ubuntu resolute/main arm64 libxi6 arm64 2:1.8.2-2 [32.4 kB] 1540s Get:64 http://ftpmaster.internal/ubuntu resolute/main arm64 libatspi2.0-0t64 arm64 2.59.0-1 [85.4 kB] 1540s Get:65 http://ftpmaster.internal/ubuntu resolute/main arm64 libatk-bridge2.0-0t64 arm64 2.59.0-1 [66.9 kB] 1540s Get:66 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common-data arm64 0.8-17ubuntu2 [31.5 kB] 1540s Get:67 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-common3 arm64 0.8-17ubuntu2 [22.6 kB] 1540s Get:68 http://ftpmaster.internal/ubuntu resolute/main arm64 libavahi-client3 arm64 0.8-17ubuntu2 [26.7 kB] 1540s Get:69 http://ftpmaster.internal/ubuntu resolute/main arm64 libc-dev-bin arm64 2.42-2ubuntu4 [22.5 kB] 1540s Get:70 http://ftpmaster.internal/ubuntu resolute/main arm64 linux-libc-dev arm64 6.19.0-3.3 [1819 kB] 1548s Get:71 http://ftpmaster.internal/ubuntu resolute/main arm64 libcrypt-dev arm64 1:4.5.1-1 [123 kB] 1548s Get:72 http://ftpmaster.internal/ubuntu resolute/main arm64 rpcsvc-proto arm64 1.4.3-1build1 [65.6 kB] 1548s Get:73 http://ftpmaster.internal/ubuntu resolute/main arm64 libc6-dev arm64 2.42-2ubuntu4 [1765 kB] 1552s Get:74 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml arm64 5.4.0-1ubuntu1 [436 kB] 1552s Get:75 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-base arm64 5.4.0-1ubuntu1 [325 kB] 1553s Get:76 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcairo2-ocaml arm64 0.6.5-2build3 [26.3 kB] 1553s Get:77 http://ftpmaster.internal/ubuntu resolute/main arm64 libcolord2 arm64 1.4.8-2build1 [147 kB] 1553s Get:78 http://ftpmaster.internal/ubuntu resolute/universe arm64 libstdlib-ocaml-dev arm64 5.4.0-1ubuntu1 [7269 kB] 1568s Get:79 http://ftpmaster.internal/ubuntu resolute/universe arm64 libcompiler-libs-ocaml-dev arm64 5.4.0-1ubuntu1 [45.8 MB] 1701s Get:80 http://ftpmaster.internal/ubuntu resolute/main arm64 libcups2t64 arm64 2.4.16-1ubuntu1 [271 kB] 1701s Get:81 http://ftpmaster.internal/ubuntu resolute/main arm64 libepoxy0 arm64 1.5.10-2build1 [238 kB] 1701s Get:82 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-client0 arm64 1.24.0-2 [27.6 kB] 1701s Get:83 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-cursor0 arm64 1.24.0-2 [10.6 kB] 1701s Get:84 http://ftpmaster.internal/ubuntu resolute/main arm64 libwayland-egl1 arm64 1.24.0-2 [6172 B] 1701s Get:85 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcomposite1 arm64 1:0.4.6-1build1 [6728 B] 1701s Get:86 http://ftpmaster.internal/ubuntu resolute/main arm64 libxfixes3 arm64 1:6.0.0-2build2 [11.4 kB] 1701s Get:87 http://ftpmaster.internal/ubuntu resolute/main arm64 libxcursor1 arm64 1:1.2.3-1build1 [22.0 kB] 1701s Get:88 http://ftpmaster.internal/ubuntu resolute/main arm64 libxdamage1 arm64 1:1.1.7-1 [6688 B] 1701s Get:89 http://ftpmaster.internal/ubuntu resolute/main arm64 libxinerama1 arm64 2:1.1.4-3build2 [6486 B] 1701s Get:90 http://ftpmaster.internal/ubuntu resolute/main arm64 libxrandr2 arm64 2:1.5.4-1build1 [19.1 kB] 1701s Get:91 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 1703s Get:92 http://ftpmaster.internal/ubuntu resolute/main arm64 libgtk-3-0t64 arm64 3.24.50-1ubuntu2 [3229 kB] 1709s Get:93 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-common all 3.24.11-7 [294 kB] 1709s Get:94 http://ftpmaster.internal/ubuntu resolute/universe arm64 libgtksourceview-3.0-1 arm64 3.24.11-7 [229 kB] 1709s Get:95 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtk3-ocaml arm64 3.1.5-1build5 [3925 kB] 1716s Get:96 http://ftpmaster.internal/ubuntu resolute/universe arm64 liblablgtksourceview3-ocaml arm64 3.1.5-1build5 [350 kB] 1716s Get:97 http://ftpmaster.internal/ubuntu resolute/main arm64 libncurses-dev arm64 6.6+20251231-1 [391 kB] 1716s Get:98 http://ftpmaster.internal/ubuntu resolute/main arm64 libzstd-dev arm64 1.5.7+dfsg-3 [349 kB] 1716s Get:99 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml-interp arm64 5.4.0-1ubuntu1 [8772 kB] 1733s Get:100 http://ftpmaster.internal/ubuntu resolute/universe arm64 ocaml arm64 5.4.0-1ubuntu1 [24.2 MB] 1778s Get:101 http://ftpmaster.internal/ubuntu resolute/universe arm64 tex-common all 6.20 [30.0 kB] 1778s Get:102 http://ftpmaster.internal/ubuntu resolute/universe arm64 why3 arm64 1.8.2-3 [16.9 MB] 1806s Get:103 http://ftpmaster.internal/ubuntu resolute/universe arm64 z3 arm64 4.13.3-1build1 [6362 kB] 1818s Fetched 190 MB in 7min 30s (421 kB/s) 1818s Selecting previously unselected package bubblewrap. 1818s (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 ... 136600 files and directories currently installed.) 1818s Preparing to unpack .../000-bubblewrap_0.11.0-2build1_arm64.deb ... 1818s Unpacking bubblewrap (0.11.0-2build1) ... 1818s Selecting previously unselected package fonts-dejavu-mono. 1818s Preparing to unpack .../001-fonts-dejavu-mono_2.37-8build1_all.deb ... 1818s Unpacking fonts-dejavu-mono (2.37-8build1) ... 1819s Selecting previously unselected package fonts-dejavu-core. 1819s Preparing to unpack .../002-fonts-dejavu-core_2.37-8build1_all.deb ... 1819s Unpacking fonts-dejavu-core (2.37-8build1) ... 1819s Selecting previously unselected package fontconfig-config. 1819s Preparing to unpack .../003-fontconfig-config_2.17.1-3ubuntu1_arm64.deb ... 1819s Unpacking fontconfig-config (2.17.1-3ubuntu1) ... 1819s Selecting previously unselected package libfontconfig1:arm64. 1819s Preparing to unpack .../004-libfontconfig1_2.17.1-3ubuntu1_arm64.deb ... 1819s Unpacking libfontconfig1:arm64 (2.17.1-3ubuntu1) ... 1819s Selecting previously unselected package libpixman-1-0:arm64. 1819s Preparing to unpack .../005-libpixman-1-0_0.46.4-1_arm64.deb ... 1819s Unpacking libpixman-1-0:arm64 (0.46.4-1) ... 1819s Selecting previously unselected package libxcb-render0:arm64. 1819s Preparing to unpack .../006-libxcb-render0_1.17.0-2ubuntu1_arm64.deb ... 1819s Unpacking libxcb-render0:arm64 (1.17.0-2ubuntu1) ... 1819s Selecting previously unselected package libxcb-shm0:arm64. 1819s Preparing to unpack .../007-libxcb-shm0_1.17.0-2ubuntu1_arm64.deb ... 1819s Unpacking libxcb-shm0:arm64 (1.17.0-2ubuntu1) ... 1819s Selecting previously unselected package libxrender1:arm64. 1819s Preparing to unpack .../008-libxrender1_1%3a0.9.12-1_arm64.deb ... 1819s Unpacking libxrender1:arm64 (1:0.9.12-1) ... 1819s Selecting previously unselected package libcairo2:arm64. 1819s Preparing to unpack .../009-libcairo2_1.18.4-3_arm64.deb ... 1819s Unpacking libcairo2:arm64 (1.18.4-3) ... 1819s Selecting previously unselected package libsharpyuv0:arm64. 1819s Preparing to unpack .../010-libsharpyuv0_1.5.0-0.1build1_arm64.deb ... 1819s Unpacking libsharpyuv0:arm64 (1.5.0-0.1build1) ... 1819s Selecting previously unselected package libaom3:arm64. 1819s Preparing to unpack .../011-libaom3_3.13.1-2_arm64.deb ... 1819s Unpacking libaom3:arm64 (3.13.1-2) ... 1819s Selecting previously unselected package libheif-plugin-aomdec:arm64. 1819s Preparing to unpack .../012-libheif-plugin-aomdec_1.21.2-1_arm64.deb ... 1819s Unpacking libheif-plugin-aomdec:arm64 (1.21.2-1) ... 1819s Selecting previously unselected package libde265-0:arm64. 1819s Preparing to unpack .../013-libde265-0_1.0.16-1build1_arm64.deb ... 1819s Unpacking libde265-0:arm64 (1.0.16-1build1) ... 1819s Selecting previously unselected package libheif-plugin-libde265:arm64. 1819s Preparing to unpack .../014-libheif-plugin-libde265_1.21.2-1_arm64.deb ... 1819s Unpacking libheif-plugin-libde265:arm64 (1.21.2-1) ... 1819s Selecting previously unselected package libheif1:arm64. 1819s Preparing to unpack .../015-libheif1_1.21.2-1_arm64.deb ... 1819s Unpacking libheif1:arm64 (1.21.2-1) ... 1819s Selecting previously unselected package libhwy1t64:arm64. 1819s Preparing to unpack .../016-libhwy1t64_1.3.0-2_arm64.deb ... 1819s Unpacking libhwy1t64:arm64 (1.3.0-2) ... 1819s Selecting previously unselected package liblcms2-2:arm64. 1820s Preparing to unpack .../017-liblcms2-2_2.17-1_arm64.deb ... 1820s Unpacking liblcms2-2:arm64 (2.17-1) ... 1820s Selecting previously unselected package libjxl0.11:arm64. 1820s Preparing to unpack .../018-libjxl0.11_0.11.1-6ubuntu1_arm64.deb ... 1820s Unpacking libjxl0.11:arm64 (0.11.1-6ubuntu1) ... 1820s Selecting previously unselected package libcairo-gobject2:arm64. 1820s Preparing to unpack .../019-libcairo-gobject2_1.18.4-3_arm64.deb ... 1820s Unpacking libcairo-gobject2:arm64 (1.18.4-3) ... 1820s Selecting previously unselected package fontconfig. 1820s Preparing to unpack .../020-fontconfig_2.17.1-3ubuntu1_arm64.deb ... 1820s Unpacking fontconfig (2.17.1-3ubuntu1) ... 1820s Selecting previously unselected package libgraphite2-3:arm64. 1820s Preparing to unpack .../021-libgraphite2-3_1.3.14-11ubuntu1_arm64.deb ... 1820s Unpacking libgraphite2-3:arm64 (1.3.14-11ubuntu1) ... 1820s Selecting previously unselected package libharfbuzz0b:arm64. 1820s Preparing to unpack .../022-libharfbuzz0b_12.3.2-1_arm64.deb ... 1820s Unpacking libharfbuzz0b:arm64 (12.3.2-1) ... 1820s Selecting previously unselected package libthai-data. 1820s Preparing to unpack .../023-libthai-data_0.1.30-1_all.deb ... 1820s Unpacking libthai-data (0.1.30-1) ... 1820s Selecting previously unselected package libdatrie1:arm64. 1820s Preparing to unpack .../024-libdatrie1_0.2.14-1_arm64.deb ... 1820s Unpacking libdatrie1:arm64 (0.2.14-1) ... 1820s Selecting previously unselected package libthai0:arm64. 1820s Preparing to unpack .../025-libthai0_0.1.30-1_arm64.deb ... 1820s Unpacking libthai0:arm64 (0.1.30-1) ... 1820s Selecting previously unselected package libpango-1.0-0:arm64. 1820s Preparing to unpack .../026-libpango-1.0-0_1.57.0-1_arm64.deb ... 1820s Unpacking libpango-1.0-0:arm64 (1.57.0-1) ... 1820s Selecting previously unselected package libpangoft2-1.0-0:arm64. 1820s Preparing to unpack .../027-libpangoft2-1.0-0_1.57.0-1_arm64.deb ... 1820s Unpacking libpangoft2-1.0-0:arm64 (1.57.0-1) ... 1820s Selecting previously unselected package libpangocairo-1.0-0:arm64. 1820s Preparing to unpack .../028-libpangocairo-1.0-0_1.57.0-1_arm64.deb ... 1820s Unpacking libpangocairo-1.0-0:arm64 (1.57.0-1) ... 1820s Selecting previously unselected package librsvg2-2:arm64. 1820s Preparing to unpack .../029-librsvg2-2_2.61.3+dfsg-3_arm64.deb ... 1820s Unpacking librsvg2-2:arm64 (2.61.3+dfsg-3) ... 1820s Selecting previously unselected package glycin-loaders. 1820s Preparing to unpack .../030-glycin-loaders_2.0.7+ds-3ubuntu1_arm64.deb ... 1820s Unpacking glycin-loaders (2.0.7+ds-3ubuntu1) ... 1820s Selecting previously unselected package glycin-thumbnailers. 1820s Preparing to unpack .../031-glycin-thumbnailers_2.0.7+ds-3ubuntu1_arm64.deb ... 1820s Unpacking glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 1820s Selecting previously unselected package libgdk-pixbuf2.0-common. 1820s Preparing to unpack .../032-libgdk-pixbuf2.0-common_2.44.5+dfsg-3_all.deb ... 1820s Unpacking libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 1820s Selecting previously unselected package libglycin-2-0:arm64. 1820s Preparing to unpack .../033-libglycin-2-0_2.0.7+ds-3ubuntu1_arm64.deb ... 1820s Unpacking libglycin-2-0:arm64 (2.0.7+ds-3ubuntu1) ... 1820s Selecting previously unselected package libgdk-pixbuf-2.0-0:arm64. 1820s Preparing to unpack .../034-libgdk-pixbuf-2.0-0_2.44.5+dfsg-3_arm64.deb ... 1820s Unpacking libgdk-pixbuf-2.0-0:arm64 (2.44.5+dfsg-3) ... 1820s Selecting previously unselected package gtk-update-icon-cache. 1820s Preparing to unpack .../035-gtk-update-icon-cache_4.20.3+ds-3_arm64.deb ... 1820s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 1820s 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. 1820s Unpacking gtk-update-icon-cache (4.20.3+ds-3) ... 1820s Selecting previously unselected package hicolor-icon-theme. 1820s Preparing to unpack .../036-hicolor-icon-theme_0.18-2build1_all.deb ... 1820s Unpacking hicolor-icon-theme (0.18-2build1) ... 1821s Selecting previously unselected package adwaita-icon-theme. 1821s Preparing to unpack .../037-adwaita-icon-theme_49.0-1_all.deb ... 1821s Unpacking adwaita-icon-theme (49.0-1) ... 1821s Selecting previously unselected package at-spi2-common. 1821s Preparing to unpack .../038-at-spi2-common_2.59.0-1_all.deb ... 1821s Unpacking at-spi2-common (2.59.0-1) ... 1821s Selecting previously unselected package libisl23:arm64. 1821s Preparing to unpack .../039-libisl23_0.27-1build1_arm64.deb ... 1821s Unpacking libisl23:arm64 (0.27-1build1) ... 1821s Selecting previously unselected package libmpc3:arm64. 1821s Preparing to unpack .../040-libmpc3_1.3.1-2_arm64.deb ... 1821s Unpacking libmpc3:arm64 (1.3.1-2) ... 1821s Selecting previously unselected package cpp-15-aarch64-linux-gnu. 1821s Preparing to unpack .../041-cpp-15-aarch64-linux-gnu_15.2.0-12ubuntu1_arm64.deb ... 1821s Unpacking cpp-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 1821s Selecting previously unselected package cpp-15. 1821s Preparing to unpack .../042-cpp-15_15.2.0-12ubuntu1_arm64.deb ... 1821s Unpacking cpp-15 (15.2.0-12ubuntu1) ... 1821s Selecting previously unselected package cpp-aarch64-linux-gnu. 1821s Preparing to unpack .../043-cpp-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 1821s Unpacking cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 1821s Selecting previously unselected package cpp. 1821s Preparing to unpack .../044-cpp_4%3a15.2.0-4ubuntu1_arm64.deb ... 1821s Unpacking cpp (4:15.2.0-4ubuntu1) ... 1821s Selecting previously unselected package libdconf1:arm64. 1821s Preparing to unpack .../045-libdconf1_0.49.0-4_arm64.deb ... 1821s Unpacking libdconf1:arm64 (0.49.0-4) ... 1821s Selecting previously unselected package dconf-service. 1821s Preparing to unpack .../046-dconf-service_0.49.0-4_arm64.deb ... 1821s Unpacking dconf-service (0.49.0-4) ... 1821s Selecting previously unselected package dconf-gsettings-backend:arm64. 1821s Preparing to unpack .../047-dconf-gsettings-backend_0.49.0-4_arm64.deb ... 1821s Unpacking dconf-gsettings-backend:arm64 (0.49.0-4) ... 1821s Selecting previously unselected package libcc1-0:arm64. 1821s Preparing to unpack .../048-libcc1-0_15.2.0-12ubuntu1_arm64.deb ... 1821s Unpacking libcc1-0:arm64 (15.2.0-12ubuntu1) ... 1821s Selecting previously unselected package libgomp1:arm64. 1821s Preparing to unpack .../049-libgomp1_15.2.0-12ubuntu1_arm64.deb ... 1821s Unpacking libgomp1:arm64 (15.2.0-12ubuntu1) ... 1821s Selecting previously unselected package libitm1:arm64. 1821s Preparing to unpack .../050-libitm1_15.2.0-12ubuntu1_arm64.deb ... 1821s Unpacking libitm1:arm64 (15.2.0-12ubuntu1) ... 1822s Selecting previously unselected package libasan8:arm64. 1822s Preparing to unpack .../051-libasan8_15.2.0-12ubuntu1_arm64.deb ... 1822s Unpacking libasan8:arm64 (15.2.0-12ubuntu1) ... 1822s Selecting previously unselected package liblsan0:arm64. 1822s Preparing to unpack .../052-liblsan0_15.2.0-12ubuntu1_arm64.deb ... 1822s Unpacking liblsan0:arm64 (15.2.0-12ubuntu1) ... 1822s Selecting previously unselected package libtsan2:arm64. 1822s Preparing to unpack .../053-libtsan2_15.2.0-12ubuntu1_arm64.deb ... 1822s Unpacking libtsan2:arm64 (15.2.0-12ubuntu1) ... 1822s Selecting previously unselected package libubsan1:arm64. 1822s Preparing to unpack .../054-libubsan1_15.2.0-12ubuntu1_arm64.deb ... 1822s Unpacking libubsan1:arm64 (15.2.0-12ubuntu1) ... 1822s Selecting previously unselected package libhwasan0:arm64. 1822s Preparing to unpack .../055-libhwasan0_15.2.0-12ubuntu1_arm64.deb ... 1822s Unpacking libhwasan0:arm64 (15.2.0-12ubuntu1) ... 1822s Selecting previously unselected package libgcc-15-dev:arm64. 1822s Preparing to unpack .../056-libgcc-15-dev_15.2.0-12ubuntu1_arm64.deb ... 1822s Unpacking libgcc-15-dev:arm64 (15.2.0-12ubuntu1) ... 1822s Selecting previously unselected package gcc-15-aarch64-linux-gnu. 1822s Preparing to unpack .../057-gcc-15-aarch64-linux-gnu_15.2.0-12ubuntu1_arm64.deb ... 1822s Unpacking gcc-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 1822s Selecting previously unselected package gcc-15. 1823s Preparing to unpack .../058-gcc-15_15.2.0-12ubuntu1_arm64.deb ... 1823s Unpacking gcc-15 (15.2.0-12ubuntu1) ... 1823s Selecting previously unselected package gcc-aarch64-linux-gnu. 1823s Preparing to unpack .../059-gcc-aarch64-linux-gnu_4%3a15.2.0-4ubuntu1_arm64.deb ... 1823s Unpacking gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 1823s Selecting previously unselected package gcc. 1823s Preparing to unpack .../060-gcc_4%3a15.2.0-4ubuntu1_arm64.deb ... 1823s Unpacking gcc (4:15.2.0-4ubuntu1) ... 1823s Selecting previously unselected package libatk1.0-0t64:arm64. 1823s Preparing to unpack .../061-libatk1.0-0t64_2.59.0-1_arm64.deb ... 1823s Unpacking libatk1.0-0t64:arm64 (2.59.0-1) ... 1823s Selecting previously unselected package libxi6:arm64. 1823s Preparing to unpack .../062-libxi6_2%3a1.8.2-2_arm64.deb ... 1823s Unpacking libxi6:arm64 (2:1.8.2-2) ... 1823s Selecting previously unselected package libatspi2.0-0t64:arm64. 1823s Preparing to unpack .../063-libatspi2.0-0t64_2.59.0-1_arm64.deb ... 1823s Unpacking libatspi2.0-0t64:arm64 (2.59.0-1) ... 1823s Selecting previously unselected package libatk-bridge2.0-0t64:arm64. 1823s Preparing to unpack .../064-libatk-bridge2.0-0t64_2.59.0-1_arm64.deb ... 1823s Unpacking libatk-bridge2.0-0t64:arm64 (2.59.0-1) ... 1823s Selecting previously unselected package libavahi-common-data:arm64. 1823s Preparing to unpack .../065-libavahi-common-data_0.8-17ubuntu2_arm64.deb ... 1823s Unpacking libavahi-common-data:arm64 (0.8-17ubuntu2) ... 1823s Selecting previously unselected package libavahi-common3:arm64. 1823s Preparing to unpack .../066-libavahi-common3_0.8-17ubuntu2_arm64.deb ... 1823s Unpacking libavahi-common3:arm64 (0.8-17ubuntu2) ... 1823s Selecting previously unselected package libavahi-client3:arm64. 1823s Preparing to unpack .../067-libavahi-client3_0.8-17ubuntu2_arm64.deb ... 1823s Unpacking libavahi-client3:arm64 (0.8-17ubuntu2) ... 1823s Selecting previously unselected package libc-dev-bin. 1823s Preparing to unpack .../068-libc-dev-bin_2.42-2ubuntu4_arm64.deb ... 1823s Unpacking libc-dev-bin (2.42-2ubuntu4) ... 1823s Selecting previously unselected package linux-libc-dev:arm64. 1823s Preparing to unpack .../069-linux-libc-dev_6.19.0-3.3_arm64.deb ... 1823s Unpacking linux-libc-dev:arm64 (6.19.0-3.3) ... 1823s Selecting previously unselected package libcrypt-dev:arm64. 1823s Preparing to unpack .../070-libcrypt-dev_1%3a4.5.1-1_arm64.deb ... 1823s Unpacking libcrypt-dev:arm64 (1:4.5.1-1) ... 1823s Selecting previously unselected package rpcsvc-proto. 1823s Preparing to unpack .../071-rpcsvc-proto_1.4.3-1build1_arm64.deb ... 1823s Unpacking rpcsvc-proto (1.4.3-1build1) ... 1823s Selecting previously unselected package libc6-dev:arm64. 1823s Preparing to unpack .../072-libc6-dev_2.42-2ubuntu4_arm64.deb ... 1823s Unpacking libc6-dev:arm64 (2.42-2ubuntu4) ... 1823s Selecting previously unselected package libstdlib-ocaml. 1823s Preparing to unpack .../073-libstdlib-ocaml_5.4.0-1ubuntu1_arm64.deb ... 1823s Unpacking libstdlib-ocaml (5.4.0-1ubuntu1) ... 1823s Selecting previously unselected package ocaml-base. 1823s Preparing to unpack .../074-ocaml-base_5.4.0-1ubuntu1_arm64.deb ... 1823s Unpacking ocaml-base (5.4.0-1ubuntu1) ... 1824s Selecting previously unselected package libcairo2-ocaml. 1824s Preparing to unpack .../075-libcairo2-ocaml_0.6.5-2build3_arm64.deb ... 1824s Unpacking libcairo2-ocaml (0.6.5-2build3) ... 1824s Selecting previously unselected package libcolord2:arm64. 1824s Preparing to unpack .../076-libcolord2_1.4.8-2build1_arm64.deb ... 1824s Unpacking libcolord2:arm64 (1.4.8-2build1) ... 1824s Selecting previously unselected package libstdlib-ocaml-dev. 1824s Preparing to unpack .../077-libstdlib-ocaml-dev_5.4.0-1ubuntu1_arm64.deb ... 1824s Unpacking libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 1824s Selecting previously unselected package libcompiler-libs-ocaml-dev. 1824s Preparing to unpack .../078-libcompiler-libs-ocaml-dev_5.4.0-1ubuntu1_arm64.deb ... 1824s Unpacking libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 1825s Selecting previously unselected package libcups2t64:arm64. 1825s Preparing to unpack .../079-libcups2t64_2.4.16-1ubuntu1_arm64.deb ... 1825s Unpacking libcups2t64:arm64 (2.4.16-1ubuntu1) ... 1825s Selecting previously unselected package libepoxy0:arm64. 1825s Preparing to unpack .../080-libepoxy0_1.5.10-2build1_arm64.deb ... 1825s Unpacking libepoxy0:arm64 (1.5.10-2build1) ... 1825s Selecting previously unselected package libwayland-client0:arm64. 1825s Preparing to unpack .../081-libwayland-client0_1.24.0-2_arm64.deb ... 1825s Unpacking libwayland-client0:arm64 (1.24.0-2) ... 1825s Selecting previously unselected package libwayland-cursor0:arm64. 1825s Preparing to unpack .../082-libwayland-cursor0_1.24.0-2_arm64.deb ... 1825s Unpacking libwayland-cursor0:arm64 (1.24.0-2) ... 1825s Selecting previously unselected package libwayland-egl1:arm64. 1825s Preparing to unpack .../083-libwayland-egl1_1.24.0-2_arm64.deb ... 1825s Unpacking libwayland-egl1:arm64 (1.24.0-2) ... 1825s Selecting previously unselected package libxcomposite1:arm64. 1825s Preparing to unpack .../084-libxcomposite1_1%3a0.4.6-1build1_arm64.deb ... 1825s Unpacking libxcomposite1:arm64 (1:0.4.6-1build1) ... 1825s Selecting previously unselected package libxfixes3:arm64. 1825s Preparing to unpack .../085-libxfixes3_1%3a6.0.0-2build2_arm64.deb ... 1825s Unpacking libxfixes3:arm64 (1:6.0.0-2build2) ... 1825s Selecting previously unselected package libxcursor1:arm64. 1825s Preparing to unpack .../086-libxcursor1_1%3a1.2.3-1build1_arm64.deb ... 1825s Unpacking libxcursor1:arm64 (1:1.2.3-1build1) ... 1825s Selecting previously unselected package libxdamage1:arm64. 1825s Preparing to unpack .../087-libxdamage1_1%3a1.1.7-1_arm64.deb ... 1825s Unpacking libxdamage1:arm64 (1:1.1.7-1) ... 1825s Selecting previously unselected package libxinerama1:arm64. 1825s Preparing to unpack .../088-libxinerama1_2%3a1.1.4-3build2_arm64.deb ... 1825s Unpacking libxinerama1:arm64 (2:1.1.4-3build2) ... 1825s Selecting previously unselected package libxrandr2:arm64. 1825s Preparing to unpack .../089-libxrandr2_2%3a1.5.4-1build1_arm64.deb ... 1825s Unpacking libxrandr2:arm64 (2:1.5.4-1build1) ... 1825s Selecting previously unselected package libgtk-3-common. 1825s Preparing to unpack .../090-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 1825s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 1826s Selecting previously unselected package libgtk-3-0t64:arm64. 1826s Preparing to unpack .../091-libgtk-3-0t64_3.24.50-1ubuntu2_arm64.deb ... 1826s Unpacking libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 1826s Selecting previously unselected package libgtksourceview-3.0-common. 1826s Preparing to unpack .../092-libgtksourceview-3.0-common_3.24.11-7_all.deb ... 1826s Unpacking libgtksourceview-3.0-common (3.24.11-7) ... 1826s Selecting previously unselected package libgtksourceview-3.0-1:arm64. 1826s Preparing to unpack .../093-libgtksourceview-3.0-1_3.24.11-7_arm64.deb ... 1826s Unpacking libgtksourceview-3.0-1:arm64 (3.24.11-7) ... 1826s Selecting previously unselected package liblablgtk3-ocaml. 1826s Preparing to unpack .../094-liblablgtk3-ocaml_3.1.5-1build5_arm64.deb ... 1826s Unpacking liblablgtk3-ocaml (3.1.5-1build5) ... 1826s Selecting previously unselected package liblablgtksourceview3-ocaml. 1826s Preparing to unpack .../095-liblablgtksourceview3-ocaml_3.1.5-1build5_arm64.deb ... 1826s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build5) ... 1826s Selecting previously unselected package libncurses-dev:arm64. 1826s Preparing to unpack .../096-libncurses-dev_6.6+20251231-1_arm64.deb ... 1826s Unpacking libncurses-dev:arm64 (6.6+20251231-1) ... 1826s Selecting previously unselected package libzstd-dev:arm64. 1826s Preparing to unpack .../097-libzstd-dev_1.5.7+dfsg-3_arm64.deb ... 1826s Unpacking libzstd-dev:arm64 (1.5.7+dfsg-3) ... 1826s Selecting previously unselected package ocaml-interp. 1826s Preparing to unpack .../098-ocaml-interp_5.4.0-1ubuntu1_arm64.deb ... 1826s Unpacking ocaml-interp (5.4.0-1ubuntu1) ... 1826s Selecting previously unselected package ocaml. 1826s Preparing to unpack .../099-ocaml_5.4.0-1ubuntu1_arm64.deb ... 1826s Unpacking ocaml (5.4.0-1ubuntu1) ... 1827s Selecting previously unselected package tex-common. 1827s Preparing to unpack .../100-tex-common_6.20_all.deb ... 1827s Unpacking tex-common (6.20) ... 1827s Selecting previously unselected package why3. 1827s Preparing to unpack .../101-why3_1.8.2-3_arm64.deb ... 1827s Unpacking why3 (1.8.2-3) ... 1827s Selecting previously unselected package z3. 1827s Preparing to unpack .../102-z3_4.13.3-1build1_arm64.deb ... 1827s Unpacking z3 (4.13.3-1build1) ... 1828s Setting up libhwy1t64:arm64 (1.3.0-2) ... 1828s Setting up bubblewrap (0.11.0-2build1) ... 1828s Setting up libgraphite2-3:arm64 (1.3.14-11ubuntu1) ... 1828s Setting up liblcms2-2:arm64 (2.17-1) ... 1828s Setting up libpixman-1-0:arm64 (0.46.4-1) ... 1828s Setting up libsharpyuv0:arm64 (1.5.0-0.1build1) ... 1828s Setting up libaom3:arm64 (3.13.1-2) ... 1828s Setting up libxdamage1:arm64 (1:1.1.7-1) ... 1828s Setting up libzstd-dev:arm64 (1.5.7+dfsg-3) ... 1828s Setting up hicolor-icon-theme (0.18-2build1) ... 1828s Setting up libxi6:arm64 (2:1.8.2-2) ... 1828s Setting up libxrender1:arm64 (1:0.9.12-1) ... 1828s Setting up libdatrie1:arm64 (0.2.14-1) ... 1828s Setting up libxcb-render0:arm64 (1.17.0-2ubuntu1) ... 1828s Setting up libgdk-pixbuf2.0-common (2.44.5+dfsg-3) ... 1828s Setting up linux-libc-dev:arm64 (6.19.0-3.3) ... 1828s Setting up libxcb-shm0:arm64 (1.17.0-2ubuntu1) ... 1828s Setting up libgomp1:arm64 (15.2.0-12ubuntu1) ... 1828s Setting up z3 (4.13.3-1build1) ... 1828s Setting up libcolord2:arm64 (1.4.8-2build1) ... 1828s Setting up libdconf1:arm64 (0.49.0-4) ... 1828s Setting up tex-common (6.20) ... 1828s update-language: texlive-base not installed and configured, doing nothing! 1828s Setting up rpcsvc-proto (1.4.3-1build1) ... 1828s Setting up libepoxy0:arm64 (1.5.10-2build1) ... 1828s Setting up libxfixes3:arm64 (1:6.0.0-2build2) ... 1828s Setting up libavahi-common-data:arm64 (0.8-17ubuntu2) ... 1828s Setting up libatspi2.0-0t64:arm64 (2.59.0-1) ... 1828s Setting up libxinerama1:arm64 (2:1.1.4-3build2) ... 1828s Setting up libstdlib-ocaml (5.4.0-1ubuntu1) ... 1828s Setting up fonts-dejavu-mono (2.37-8build1) ... 1828s Setting up libmpc3:arm64 (1.3.1-2) ... 1828s Setting up libxrandr2:arm64 (2:1.5.4-1build1) ... 1828s Setting up ocaml-base (5.4.0-1ubuntu1) ... 1828s Setting up fonts-dejavu-core (2.37-8build1) ... 1828s Setting up libubsan1:arm64 (15.2.0-12ubuntu1) ... 1828s Setting up libhwasan0:arm64 (15.2.0-12ubuntu1) ... 1828s Setting up at-spi2-common (2.59.0-1) ... 1828s Setting up libcrypt-dev:arm64 (1:4.5.1-1) ... 1828s Setting up libasan8:arm64 (15.2.0-12ubuntu1) ... 1828s Setting up libgtksourceview-3.0-common (3.24.11-7) ... 1828s Setting up libharfbuzz0b:arm64 (12.3.2-1) ... 1828s Setting up libthai-data (0.1.30-1) ... 1828s Setting up libwayland-egl1:arm64 (1.24.0-2) ... 1828s Setting up libtsan2:arm64 (15.2.0-12ubuntu1) ... 1828s Setting up libisl23:arm64 (0.27-1build1) ... 1828s Setting up libde265-0:arm64 (1.0.16-1build1) ... 1828s Setting up libc-dev-bin (2.42-2ubuntu4) ... 1828s Setting up libxcomposite1:arm64 (1:0.4.6-1build1) ... 1828s Setting up libjxl0.11:arm64 (0.11.1-6ubuntu1) ... 1828s Setting up libcc1-0:arm64 (15.2.0-12ubuntu1) ... 1828s Setting up liblsan0:arm64 (15.2.0-12ubuntu1) ... 1828s Setting up libitm1:arm64 (15.2.0-12ubuntu1) ... 1828s Setting up libwayland-client0:arm64 (1.24.0-2) ... 1828s Setting up cpp-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 1828s Setting up libgcc-15-dev:arm64 (15.2.0-12ubuntu1) ... 1828s Setting up libatk1.0-0t64:arm64 (2.59.0-1) ... 1828s Setting up libstdlib-ocaml-dev (5.4.0-1ubuntu1) ... 1828s Setting up fontconfig-config (2.17.1-3ubuntu1) ... 1828s Setting up libxcursor1:arm64 (1:1.2.3-1build1) ... 1828s Setting up libavahi-common3:arm64 (0.8-17ubuntu2) ... 1828s Setting up dconf-service (0.49.0-4) ... 1828s Setting up libthai0:arm64 (0.1.30-1) ... 1828s Setting up libcompiler-libs-ocaml-dev (5.4.0-1ubuntu1) ... 1828s Setting up cpp-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 1828s Setting up ocaml-interp (5.4.0-1ubuntu1) ... 1828s Setting up cpp-15 (15.2.0-12ubuntu1) ... 1828s Setting up libwayland-cursor0:arm64 (1.24.0-2) ... 1828s Setting up cpp (4:15.2.0-4ubuntu1) ... 1828s Setting up libc6-dev:arm64 (2.42-2ubuntu4) ... 1828s Setting up libfontconfig1:arm64 (2.17.1-3ubuntu1) ... 1828s Setting up libavahi-client3:arm64 (0.8-17ubuntu2) ... 1828s Setting up libatk-bridge2.0-0t64:arm64 (2.59.0-1) ... 1828s Setting up fontconfig (2.17.1-3ubuntu1) ... 1830s Regenerating fonts cache... done. 1830s Setting up libncurses-dev:arm64 (6.6+20251231-1) ... 1830s Setting up gcc-15-aarch64-linux-gnu (15.2.0-12ubuntu1) ... 1830s Setting up dconf-gsettings-backend:arm64 (0.49.0-4) ... 1830s Setting up libpango-1.0-0:arm64 (1.57.0-1) ... 1830s Setting up libcairo2:arm64 (1.18.4-3) ... 1830s Setting up gcc-15 (15.2.0-12ubuntu1) ... 1830s Setting up libcairo-gobject2:arm64 (1.18.4-3) ... 1830s Setting up libpangoft2-1.0-0:arm64 (1.57.0-1) ... 1830s Setting up libcups2t64:arm64 (2.4.16-1ubuntu1) ... 1830s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 1830s Setting up libpangocairo-1.0-0:arm64 (1.57.0-1) ... 1830s Setting up gcc-aarch64-linux-gnu (4:15.2.0-4ubuntu1) ... 1830s Setting up libcairo2-ocaml (0.6.5-2build3) ... 1830s Setting up gcc (4:15.2.0-4ubuntu1) ... 1830s Setting up ocaml (5.4.0-1ubuntu1) ... 1830s Setting up libheif-plugin-aomdec:arm64 (1.21.2-1) ... 1830s Setting up libheif-plugin-libde265:arm64 (1.21.2-1) ... 1830s Setting up libheif1:arm64 (1.21.2-1) ... 1830s Setting up librsvg2-2:arm64 (2.61.3+dfsg-3) ... 1830s Setting up glycin-loaders (2.0.7+ds-3ubuntu1) ... 1830s Setting up libglycin-2-0:arm64 (2.0.7+ds-3ubuntu1) ... 1830s Setting up glycin-thumbnailers (2.0.7+ds-3ubuntu1) ... 1830s Setting up libgdk-pixbuf-2.0-0:arm64 (2.44.5+dfsg-3) ... 1830s Setting up gtk-update-icon-cache (4.20.3+ds-3) ... 1830s Setting up adwaita-icon-theme (49.0-1) ... 1830s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 1830s Processing triggers for procps (2:4.0.4-9ubuntu1) ... 1830s Processing triggers for libc-bin (2.42-2ubuntu4) ... 1830s Processing triggers for systemd (259-1ubuntu3) ... 1830s Processing triggers for man-db (2.13.1-1build1) ... 1831s Processing triggers for libglib2.0-0t64:arm64 (2.87.2-2) ... 1831s Setting up libgtk-3-0t64:arm64 (3.24.50-1ubuntu2) ... 1831s Setting up liblablgtk3-ocaml (3.1.5-1build5) ... 1831s Setting up libgtksourceview-3.0-1:arm64 (3.24.11-7) ... 1831s Setting up liblablgtksourceview3-ocaml (3.1.5-1build5) ... 1831s Setting up why3 (1.8.2-3) ... 1831s Processing triggers for libc-bin (2.42-2ubuntu4) ... 1841s autopkgtest [22:26:40]: test why3+z3: [----------------------- 1842s autopkgtest [22:26:41]: test why3+z3: -----------------------] 1843s autopkgtest [22:26:42]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 1843s why3+z3 PASS 1843s autopkgtest [22:26:42]: @@@@@@@@@@@@@@@@@@@@ summary 1843s why3+cvc4 PASS 1843s why3+cvc5 SKIP installation fails and skip-not-installable set 1843s why3+spass PASS 1843s why3+z3 PASS