0s autopkgtest [12:20:42]: starting date and time: 2025-10-26 12:20:42+0000 0s autopkgtest [12:20:42]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [12:20:42]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.g7sfhl0g/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:node-jquery --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=node-jquery/3.7.1+dfsg+~3.5.33-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-cpu2-ram4-disk20-amd64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@sto01-6.secgroup --name adt-resolute-amd64-why3-20251026-122042-juju-7f2275-prod-proposed-migration-environment-20-af6ff95c-ac65-460c-929a-b5c2053d9a8e --image adt/ubuntu-resolute-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-autopkgtest-workers-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 3s Creating nova instance adt-resolute-amd64-why3-20251026-122042-juju-7f2275-prod-proposed-migration-environment-20-af6ff95c-ac65-460c-929a-b5c2053d9a8e from image adt/ubuntu-resolute-amd64-server-20251026.img (UUID 08b4d2da-572c-4a3f-82f9-021e099dc3d7)... 31s autopkgtest [12:21:13]: testbed dpkg architecture: amd64 32s autopkgtest [12:21:14]: testbed apt version: 3.1.8ubuntu1 32s autopkgtest [12:21:14]: @@@@@@@@@@@@@@@@@@@@ test bed setup 32s autopkgtest [12:21:14]: testbed release detected to be: None 33s autopkgtest [12:21:15]: updating testbed package index (apt update) 33s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [87.8 kB] 33s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 33s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 33s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 33s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 33s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [422 kB] 33s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [16.5 kB] 33s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [61.7 kB] 33s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 Packages [162 kB] 33s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/main i386 Packages [111 kB] 33s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 c-n-f Metadata [3356 B] 33s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 Packages [28.6 kB] 33s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/restricted i386 Packages [3744 B] 33s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 c-n-f Metadata [336 B] 33s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/universe i386 Packages [137 kB] 33s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 Packages [312 kB] 33s Get:17 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 c-n-f Metadata [11.1 kB] 33s Get:18 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse i386 Packages [2476 B] 33s Get:19 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 Packages [6132 B] 33s Get:20 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 c-n-f Metadata [492 B] 34s Fetched 1373 kB in 1s (1837 kB/s) 34s Reading package lists... 35s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 35s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 35s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 35s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 36s Reading package lists... 36s Reading package lists... 36s Building dependency tree... 36s Reading state information... 36s Calculating upgrade... 36s The following packages will be upgraded: 36s binutils binutils-common binutils-x86-64-linux-gnu gir1.2-glib-2.0 36s libbinutils libctf-nobfd0 libctf0 libglib2.0-0t64 libglib2.0-data 36s libgprofng0 libsframe2 36s 11 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 36s Need to get 5322 kB of archives. 36s After this operation, 728 kB of additional disk space will be used. 36s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 gir1.2-glib-2.0 amd64 2.86.1-1 [182 kB] 36s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 libglib2.0-0t64 amd64 2.86.1-1 [1692 kB] 36s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 libglib2.0-data all 2.86.1-1 [56.7 kB] 36s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libgprofng0 amd64 2.45-8ubuntu1 [930 kB] 36s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 libctf0 amd64 2.45-8ubuntu1 [104 kB] 36s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 libctf-nobfd0 amd64 2.45-8ubuntu1 [106 kB] 36s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils-x86-64-linux-gnu amd64 2.45-8ubuntu1 [1177 kB] 36s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 libbinutils amd64 2.45-8ubuntu1 [624 kB] 36s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils amd64 2.45-8ubuntu1 [211 kB] 36s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils-common amd64 2.45-8ubuntu1 [221 kB] 36s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 libsframe2 amd64 2.45-8ubuntu1 [17.0 kB] 36s dpkg-preconfigure: unable to re-open stdin: No such file or directory 36s Fetched 5322 kB in 0s (12.4 MB/s) 37s (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 ... 78454 files and directories currently installed.) 37s Preparing to unpack .../00-gir1.2-glib-2.0_2.86.1-1_amd64.deb ... 37s Unpacking gir1.2-glib-2.0:amd64 (2.86.1-1) over (2.86.0-2) ... 37s Preparing to unpack .../01-libglib2.0-0t64_2.86.1-1_amd64.deb ... 37s Unpacking libglib2.0-0t64:amd64 (2.86.1-1) over (2.86.0-2) ... 37s Preparing to unpack .../02-libglib2.0-data_2.86.1-1_all.deb ... 37s Unpacking libglib2.0-data (2.86.1-1) over (2.86.0-2) ... 37s Preparing to unpack .../03-libgprofng0_2.45-8ubuntu1_amd64.deb ... 37s Unpacking libgprofng0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 37s Preparing to unpack .../04-libctf0_2.45-8ubuntu1_amd64.deb ... 37s Unpacking libctf0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 37s Preparing to unpack .../05-libctf-nobfd0_2.45-8ubuntu1_amd64.deb ... 37s Unpacking libctf-nobfd0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 37s Preparing to unpack .../06-binutils-x86-64-linux-gnu_2.45-8ubuntu1_amd64.deb ... 37s Unpacking binutils-x86-64-linux-gnu (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 37s Preparing to unpack .../07-libbinutils_2.45-8ubuntu1_amd64.deb ... 37s Unpacking libbinutils:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 37s Preparing to unpack .../08-binutils_2.45-8ubuntu1_amd64.deb ... 37s Unpacking binutils (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 37s Preparing to unpack .../09-binutils-common_2.45-8ubuntu1_amd64.deb ... 37s Unpacking binutils-common:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 37s Preparing to unpack .../10-libsframe2_2.45-8ubuntu1_amd64.deb ... 37s Unpacking libsframe2:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 37s Setting up libsframe2:amd64 (2.45-8ubuntu1) ... 37s Setting up binutils-common:amd64 (2.45-8ubuntu1) ... 37s Setting up libctf-nobfd0:amd64 (2.45-8ubuntu1) ... 37s Setting up libglib2.0-0t64:amd64 (2.86.1-1) ... 37s No schema files found: doing nothing. 37s Setting up libglib2.0-data (2.86.1-1) ... 37s Setting up gir1.2-glib-2.0:amd64 (2.86.1-1) ... 37s Setting up libbinutils:amd64 (2.45-8ubuntu1) ... 37s Setting up libctf0:amd64 (2.45-8ubuntu1) ... 37s Setting up libgprofng0:amd64 (2.45-8ubuntu1) ... 37s Setting up binutils-x86-64-linux-gnu (2.45-8ubuntu1) ... 37s Setting up binutils (2.45-8ubuntu1) ... 37s Processing triggers for libc-bin (2.42-0ubuntu3) ... 37s Processing triggers for man-db (2.13.1-1) ... 38s autopkgtest [12:21:20]: upgrading testbed (apt dist-upgrade and autopurge) 38s Reading package lists... 38s Building dependency tree... 38s Reading state information... 38s Calculating upgrade... 38s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 38s Reading package lists... 38s Building dependency tree... 38s Reading state information... 38s Solving dependencies... 38s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 40s autopkgtest [12:21:22]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 22 10:00:33 UTC 2025 40s autopkgtest [12:21:22]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 43s Get:1 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (dsc) [2671 B] 43s Get:2 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (tar) [6645 kB] 43s Get:3 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-1 (diff) [19.5 kB] 43s gpgv: Signature made Tue Sep 23 20:42:25 2025 UTC 43s gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF 43s gpgv: Can't check signature: No public key 43s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.2-1.dsc: no acceptable signature found 44s autopkgtest [12:21:26]: testing package why3 version 1.8.2-1 44s autopkgtest [12:21:26]: build not needed 46s autopkgtest [12:21:28]: test why3+cvc4: preparing testbed 46s Reading package lists... 46s Building dependency tree... 46s Reading state information... 46s Solving dependencies... 47s The following NEW packages will be installed: 47s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-x86-64-linux-gnu 47s cpp-x86-64-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 47s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 47s gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu gtk-update-icon-cache 47s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 47s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 47s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 47s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 47s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 47s libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 47s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 47s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 47s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 47s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 47s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 47s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 47s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 47s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 47s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 47s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common 47s why3 47s 0 upgraded, 98 newly installed, 0 to remove and 0 not upgraded. 47s Need to get 174 MB of archives. 47s After this operation, 541 MB of additional disk space will be used. 47s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 libgdk-pixbuf2.0-common all 2.44.4+dfsg-1 [8584 B] 47s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 libjpeg-turbo8 amd64 2.1.5-4ubuntu2 [152 kB] 47s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 libjpeg8 amd64 8c-2ubuntu11 [2148 B] 47s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libdeflate0 amd64 1.23-2 [49.9 kB] 47s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 libjbig0 amd64 2.1-6.1ubuntu2 [29.7 kB] 47s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 liblerc4 amd64 4.0.0+ds-5ubuntu1 [271 kB] 47s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [25.9 kB] 47s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 libwebp7 amd64 1.5.0-0.1 [378 kB] 47s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 libtiff6 amd64 4.7.0-3ubuntu3 [209 kB] 47s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 libgdk-pixbuf-2.0-0 amd64 2.44.4+dfsg-1 [153 kB] 47s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 gtk-update-icon-cache amd64 4.20.2+ds-1 [54.6 kB] 47s Get:12 http://ftpmaster.internal/ubuntu resolute/main amd64 hicolor-icon-theme all 0.18-2 [13.3 kB] 47s Get:13 http://ftpmaster.internal/ubuntu resolute/main amd64 adwaita-icon-theme all 49.0-1 [581 kB] 47s Get:14 http://ftpmaster.internal/ubuntu resolute/main amd64 at-spi2-common all 2.57.1-1 [9432 B] 47s Get:15 http://ftpmaster.internal/ubuntu resolute/main amd64 libisl23 amd64 0.27-1 [685 kB] 47s Get:16 http://ftpmaster.internal/ubuntu resolute/main amd64 libmpc3 amd64 1.3.1-1build3 [57.0 kB] 47s Get:17 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [12.9 MB] 47s Get:18 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15 amd64 15.2.0-5ubuntu1 [1028 B] 47s Get:19 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [5746 B] 47s Get:20 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp amd64 4:15.2.0-4ubuntu1 [22.4 kB] 47s Get:21 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcln6 amd64 1.3.7-1 [504 kB] 47s Get:22 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcvc4-7 amd64 1.8-3build2 [4735 kB] 47s Get:23 http://ftpmaster.internal/ubuntu resolute/universe amd64 libantlr3c-3.4-0 amd64 3.4+dfsg-4build2 [44.9 kB] 47s Get:24 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcvc4parser7 amd64 1.8-3build2 [374 kB] 47s Get:25 http://ftpmaster.internal/ubuntu resolute/universe amd64 cvc4 amd64 1.8-3build2 [75.4 kB] 47s Get:26 http://ftpmaster.internal/ubuntu resolute/main amd64 libdconf1 amd64 0.49.0-1 [40.2 kB] 47s Get:27 http://ftpmaster.internal/ubuntu resolute/main amd64 dconf-service amd64 0.49.0-1 [27.7 kB] 47s Get:28 http://ftpmaster.internal/ubuntu resolute/main amd64 dconf-gsettings-backend amd64 0.49.0-1 [22.2 kB] 47s Get:29 http://ftpmaster.internal/ubuntu resolute/main amd64 fonts-dejavu-mono all 2.37-8 [502 kB] 47s Get:30 http://ftpmaster.internal/ubuntu resolute/main amd64 fonts-dejavu-core all 2.37-8 [835 kB] 47s Get:31 http://ftpmaster.internal/ubuntu resolute/main amd64 fontconfig-config amd64 2.15.0-2.3ubuntu1 [38.0 kB] 47s Get:32 http://ftpmaster.internal/ubuntu resolute/main amd64 libfontconfig1 amd64 2.15.0-2.3ubuntu1 [141 kB] 47s Get:33 http://ftpmaster.internal/ubuntu resolute/main amd64 fontconfig amd64 2.15.0-2.3ubuntu1 [180 kB] 47s Get:34 http://ftpmaster.internal/ubuntu resolute/main amd64 libcc1-0 amd64 15.2.0-5ubuntu1 [47.4 kB] 47s Get:35 http://ftpmaster.internal/ubuntu resolute/main amd64 libgomp1 amd64 15.2.0-5ubuntu1 [151 kB] 47s Get:36 http://ftpmaster.internal/ubuntu resolute/main amd64 libitm1 amd64 15.2.0-5ubuntu1 [29.3 kB] 47s Get:37 http://ftpmaster.internal/ubuntu resolute/main amd64 libasan8 amd64 15.2.0-5ubuntu1 [3071 kB] 47s Get:38 http://ftpmaster.internal/ubuntu resolute/main amd64 liblsan0 amd64 15.2.0-5ubuntu1 [1360 kB] 47s Get:39 http://ftpmaster.internal/ubuntu resolute/main amd64 libtsan2 amd64 15.2.0-5ubuntu1 [2757 kB] 48s Get:40 http://ftpmaster.internal/ubuntu resolute/main amd64 libubsan1 amd64 15.2.0-5ubuntu1 [1210 kB] 48s Get:41 http://ftpmaster.internal/ubuntu resolute/main amd64 libhwasan0 amd64 15.2.0-5ubuntu1 [1685 kB] 48s Get:42 http://ftpmaster.internal/ubuntu resolute/main amd64 libquadmath0 amd64 15.2.0-5ubuntu1 [153 kB] 48s Get:43 http://ftpmaster.internal/ubuntu resolute/main amd64 libgcc-15-dev amd64 15.2.0-5ubuntu1 [2863 kB] 48s Get:44 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [25.4 MB] 49s Get:45 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15 amd64 15.2.0-5ubuntu1 [523 kB] 49s Get:46 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [1208 B] 49s Get:47 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc amd64 4:15.2.0-4ubuntu1 [5024 B] 49s Get:48 http://ftpmaster.internal/ubuntu resolute/main amd64 libatk1.0-0t64 amd64 2.57.1-1 [56.3 kB] 49s Get:49 http://ftpmaster.internal/ubuntu resolute/main amd64 libxi6 amd64 2:1.8.2-1 [32.4 kB] 49s Get:50 http://ftpmaster.internal/ubuntu resolute/main amd64 libatspi2.0-0t64 amd64 2.57.1-1 [85.3 kB] 49s Get:51 http://ftpmaster.internal/ubuntu resolute/main amd64 libatk-bridge2.0-0t64 amd64 2.57.1-1 [66.7 kB] 49s Get:52 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-common-data amd64 0.8-16ubuntu3 [31.1 kB] 49s Get:53 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-common3 amd64 0.8-16ubuntu3 [25.3 kB] 49s Get:54 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-client3 amd64 0.8-16ubuntu3 [28.8 kB] 49s Get:55 http://ftpmaster.internal/ubuntu resolute/main amd64 libpixman-1-0 amd64 0.44.0-3 [427 kB] 49s Get:56 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcb-render0 amd64 1.17.0-2build1 [17.4 kB] 49s Get:57 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcb-shm0 amd64 1.17.0-2build1 [6120 B] 49s Get:58 http://ftpmaster.internal/ubuntu resolute/main amd64 libxrender1 amd64 1:0.9.12-1 [19.8 kB] 49s Get:59 http://ftpmaster.internal/ubuntu resolute/main amd64 libcairo2 amd64 1.18.4-1build1 [611 kB] 49s Get:60 http://ftpmaster.internal/ubuntu resolute/main amd64 libcairo-gobject2 amd64 1.18.4-1build1 [128 kB] 49s Get:61 http://ftpmaster.internal/ubuntu resolute/universe amd64 libstdlib-ocaml amd64 5.3.0-3 [419 kB] 49s Get:62 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml-base amd64 5.3.0-3 [312 kB] 49s Get:63 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcairo2-ocaml amd64 0.6.5-2build2 [29.1 kB] 49s Get:64 http://ftpmaster.internal/ubuntu resolute/main amd64 liblcms2-2 amd64 2.16-2 [212 kB] 49s Get:65 http://ftpmaster.internal/ubuntu resolute/main amd64 libcolord2 amd64 1.4.7-3build1 [149 kB] 49s Get:66 http://ftpmaster.internal/ubuntu resolute/universe amd64 libstdlib-ocaml-dev amd64 5.3.0-3 [7828 kB] 49s Get:67 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-3 [48.2 MB] 51s Get:68 http://ftpmaster.internal/ubuntu resolute/main amd64 libcups2t64 amd64 2.4.12-0ubuntu3 [272 kB] 51s Get:69 http://ftpmaster.internal/ubuntu resolute/main amd64 libdatrie1 amd64 0.2.13-4 [19.3 kB] 51s Get:70 http://ftpmaster.internal/ubuntu resolute/main amd64 libepoxy0 amd64 1.5.10-2 [218 kB] 51s Get:71 http://ftpmaster.internal/ubuntu resolute/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 52s Get:72 http://ftpmaster.internal/ubuntu resolute/main amd64 libharfbuzz0b amd64 12.1.0-1 [535 kB] 52s Get:73 http://ftpmaster.internal/ubuntu resolute/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 52s Get:74 http://ftpmaster.internal/ubuntu resolute/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 52s Get:75 http://ftpmaster.internal/ubuntu resolute/main amd64 libpango-1.0-0 amd64 1.56.3-2 [239 kB] 52s Get:76 http://ftpmaster.internal/ubuntu resolute/main amd64 libpangoft2-1.0-0 amd64 1.56.3-2 [52.5 kB] 52s Get:77 http://ftpmaster.internal/ubuntu resolute/main amd64 libpangocairo-1.0-0 amd64 1.56.3-2 [29.0 kB] 52s Get:78 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-client0 amd64 1.24.0-1build1 [29.6 kB] 52s Get:79 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-cursor0 amd64 1.24.0-1build1 [11.1 kB] 52s Get:80 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-egl1 amd64 1.24.0-1build1 [6474 B] 52s Get:81 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcomposite1 amd64 1:0.4.6-1 [6642 B] 52s Get:82 http://ftpmaster.internal/ubuntu resolute/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 52s Get:83 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcursor1 amd64 1:1.2.3-1 [23.1 kB] 52s Get:84 http://ftpmaster.internal/ubuntu resolute/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 52s Get:85 http://ftpmaster.internal/ubuntu resolute/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 52s Get:86 http://ftpmaster.internal/ubuntu resolute/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 52s Get:87 http://ftpmaster.internal/ubuntu resolute/main amd64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 52s Get:88 http://ftpmaster.internal/ubuntu resolute/main amd64 libgtk-3-0t64 amd64 3.24.50-1ubuntu2 [3263 kB] 52s Get:89 http://ftpmaster.internal/ubuntu resolute/universe amd64 libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 52s Get:90 http://ftpmaster.internal/ubuntu resolute/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-5 [249 kB] 52s Get:91 http://ftpmaster.internal/ubuntu resolute/universe amd64 liblablgtk3-ocaml amd64 3.1.5-1build4 [3538 kB] 52s Get:92 http://ftpmaster.internal/ubuntu resolute/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.5-1build4 [326 kB] 52s Get:93 http://ftpmaster.internal/ubuntu resolute/main amd64 libncurses-dev amd64 6.5+20250216-2build1 [408 kB] 52s Get:94 http://ftpmaster.internal/ubuntu resolute/main amd64 libzstd-dev amd64 1.5.7+dfsg-1build2 [387 kB] 52s Get:95 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml-interp amd64 5.3.0-3 [8365 kB] 52s Get:96 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml amd64 5.3.0-3 [19.9 MB] 53s Get:97 http://ftpmaster.internal/ubuntu resolute/universe amd64 tex-common all 6.19 [29.8 kB] 53s Get:98 http://ftpmaster.internal/ubuntu resolute/universe amd64 why3 amd64 1.8.2-1 [13.3 MB] 54s Fetched 174 MB in 8s (22.9 MB/s) 54s Selecting previously unselected package libgdk-pixbuf2.0-common. 54s (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 ... 78454 files and directories currently installed.) 54s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.44.4+dfsg-1_all.deb ... 54s Unpacking libgdk-pixbuf2.0-common (2.44.4+dfsg-1) ... 54s Selecting previously unselected package libjpeg-turbo8:amd64. 54s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_amd64.deb ... 54s Unpacking libjpeg-turbo8:amd64 (2.1.5-4ubuntu2) ... 54s Selecting previously unselected package libjpeg8:amd64. 54s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_amd64.deb ... 54s Unpacking libjpeg8:amd64 (8c-2ubuntu11) ... 54s Selecting previously unselected package libdeflate0:amd64. 54s Preparing to unpack .../03-libdeflate0_1.23-2_amd64.deb ... 54s Unpacking libdeflate0:amd64 (1.23-2) ... 54s Selecting previously unselected package libjbig0:amd64. 54s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_amd64.deb ... 54s Unpacking libjbig0:amd64 (2.1-6.1ubuntu2) ... 54s Selecting previously unselected package liblerc4:amd64. 54s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_amd64.deb ... 54s Unpacking liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 54s Selecting previously unselected package libsharpyuv0:amd64. 54s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_amd64.deb ... 54s Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... 54s Selecting previously unselected package libwebp7:amd64. 54s Preparing to unpack .../07-libwebp7_1.5.0-0.1_amd64.deb ... 54s Unpacking libwebp7:amd64 (1.5.0-0.1) ... 54s Selecting previously unselected package libtiff6:amd64. 54s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_amd64.deb ... 54s Unpacking libtiff6:amd64 (4.7.0-3ubuntu3) ... 54s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 54s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.44.4+dfsg-1_amd64.deb ... 54s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.44.4+dfsg-1) ... 54s Selecting previously unselected package gtk-update-icon-cache. 54s Preparing to unpack .../10-gtk-update-icon-cache_4.20.2+ds-1_amd64.deb ... 54s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 55s 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. 55s Unpacking gtk-update-icon-cache (4.20.2+ds-1) ... 55s Selecting previously unselected package hicolor-icon-theme. 55s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 55s Unpacking hicolor-icon-theme (0.18-2) ... 55s Selecting previously unselected package adwaita-icon-theme. 55s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 55s Unpacking adwaita-icon-theme (49.0-1) ... 55s Selecting previously unselected package at-spi2-common. 55s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 55s Unpacking at-spi2-common (2.57.1-1) ... 55s Selecting previously unselected package libisl23:amd64. 55s Preparing to unpack .../14-libisl23_0.27-1_amd64.deb ... 55s Unpacking libisl23:amd64 (0.27-1) ... 55s Selecting previously unselected package libmpc3:amd64. 55s Preparing to unpack .../15-libmpc3_1.3.1-1build3_amd64.deb ... 55s Unpacking libmpc3:amd64 (1.3.1-1build3) ... 55s Selecting previously unselected package cpp-15-x86-64-linux-gnu. 55s Preparing to unpack .../16-cpp-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking cpp-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package cpp-15. 55s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package cpp-x86-64-linux-gnu. 55s Preparing to unpack .../18-cpp-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 55s Unpacking cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 55s Selecting previously unselected package cpp. 55s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_amd64.deb ... 55s Unpacking cpp (4:15.2.0-4ubuntu1) ... 55s Selecting previously unselected package libcln6:amd64. 55s Preparing to unpack .../20-libcln6_1.3.7-1_amd64.deb ... 55s Unpacking libcln6:amd64 (1.3.7-1) ... 55s Selecting previously unselected package libcvc4-7:amd64. 55s Preparing to unpack .../21-libcvc4-7_1.8-3build2_amd64.deb ... 55s Unpacking libcvc4-7:amd64 (1.8-3build2) ... 55s Selecting previously unselected package libantlr3c-3.4-0:amd64. 55s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_amd64.deb ... 55s Unpacking libantlr3c-3.4-0:amd64 (3.4+dfsg-4build2) ... 55s Selecting previously unselected package libcvc4parser7:amd64. 55s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_amd64.deb ... 55s Unpacking libcvc4parser7:amd64 (1.8-3build2) ... 55s Selecting previously unselected package cvc4. 55s Preparing to unpack .../24-cvc4_1.8-3build2_amd64.deb ... 55s Unpacking cvc4 (1.8-3build2) ... 55s Selecting previously unselected package libdconf1:amd64. 55s Preparing to unpack .../25-libdconf1_0.49.0-1_amd64.deb ... 55s Unpacking libdconf1:amd64 (0.49.0-1) ... 55s Selecting previously unselected package dconf-service. 55s Preparing to unpack .../26-dconf-service_0.49.0-1_amd64.deb ... 55s Unpacking dconf-service (0.49.0-1) ... 55s Selecting previously unselected package dconf-gsettings-backend:amd64. 55s Preparing to unpack .../27-dconf-gsettings-backend_0.49.0-1_amd64.deb ... 55s Unpacking dconf-gsettings-backend:amd64 (0.49.0-1) ... 55s Selecting previously unselected package fonts-dejavu-mono. 55s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 55s Unpacking fonts-dejavu-mono (2.37-8) ... 55s Selecting previously unselected package fonts-dejavu-core. 55s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 55s Unpacking fonts-dejavu-core (2.37-8) ... 55s Selecting previously unselected package fontconfig-config. 55s Preparing to unpack .../30-fontconfig-config_2.15.0-2.3ubuntu1_amd64.deb ... 55s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 55s Selecting previously unselected package libfontconfig1:amd64. 55s Preparing to unpack .../31-libfontconfig1_2.15.0-2.3ubuntu1_amd64.deb ... 55s Unpacking libfontconfig1:amd64 (2.15.0-2.3ubuntu1) ... 55s Selecting previously unselected package fontconfig. 55s Preparing to unpack .../32-fontconfig_2.15.0-2.3ubuntu1_amd64.deb ... 55s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 55s Selecting previously unselected package libcc1-0:amd64. 55s Preparing to unpack .../33-libcc1-0_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking libcc1-0:amd64 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package libgomp1:amd64. 55s Preparing to unpack .../34-libgomp1_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking libgomp1:amd64 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package libitm1:amd64. 55s Preparing to unpack .../35-libitm1_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking libitm1:amd64 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package libasan8:amd64. 55s Preparing to unpack .../36-libasan8_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking libasan8:amd64 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package liblsan0:amd64. 55s Preparing to unpack .../37-liblsan0_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking liblsan0:amd64 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package libtsan2:amd64. 55s Preparing to unpack .../38-libtsan2_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking libtsan2:amd64 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package libubsan1:amd64. 55s Preparing to unpack .../39-libubsan1_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking libubsan1:amd64 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package libhwasan0:amd64. 55s Preparing to unpack .../40-libhwasan0_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking libhwasan0:amd64 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package libquadmath0:amd64. 55s Preparing to unpack .../41-libquadmath0_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking libquadmath0:amd64 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package libgcc-15-dev:amd64. 55s Preparing to unpack .../42-libgcc-15-dev_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking libgcc-15-dev:amd64 (15.2.0-5ubuntu1) ... 55s Selecting previously unselected package gcc-15-x86-64-linux-gnu. 55s Preparing to unpack .../43-gcc-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 55s Unpacking gcc-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 56s Selecting previously unselected package gcc-15. 56s Preparing to unpack .../44-gcc-15_15.2.0-5ubuntu1_amd64.deb ... 56s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 56s Selecting previously unselected package gcc-x86-64-linux-gnu. 56s Preparing to unpack .../45-gcc-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 56s Unpacking gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 56s Selecting previously unselected package gcc. 56s Preparing to unpack .../46-gcc_4%3a15.2.0-4ubuntu1_amd64.deb ... 56s Unpacking gcc (4:15.2.0-4ubuntu1) ... 56s Selecting previously unselected package libatk1.0-0t64:amd64. 56s Preparing to unpack .../47-libatk1.0-0t64_2.57.1-1_amd64.deb ... 56s Unpacking libatk1.0-0t64:amd64 (2.57.1-1) ... 56s Selecting previously unselected package libxi6:amd64. 56s Preparing to unpack .../48-libxi6_2%3a1.8.2-1_amd64.deb ... 56s Unpacking libxi6:amd64 (2:1.8.2-1) ... 56s Selecting previously unselected package libatspi2.0-0t64:amd64. 56s Preparing to unpack .../49-libatspi2.0-0t64_2.57.1-1_amd64.deb ... 56s Unpacking libatspi2.0-0t64:amd64 (2.57.1-1) ... 56s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 56s Preparing to unpack .../50-libatk-bridge2.0-0t64_2.57.1-1_amd64.deb ... 56s Unpacking libatk-bridge2.0-0t64:amd64 (2.57.1-1) ... 56s Selecting previously unselected package libavahi-common-data:amd64. 56s Preparing to unpack .../51-libavahi-common-data_0.8-16ubuntu3_amd64.deb ... 56s Unpacking libavahi-common-data:amd64 (0.8-16ubuntu3) ... 56s Selecting previously unselected package libavahi-common3:amd64. 56s Preparing to unpack .../52-libavahi-common3_0.8-16ubuntu3_amd64.deb ... 56s Unpacking libavahi-common3:amd64 (0.8-16ubuntu3) ... 56s Selecting previously unselected package libavahi-client3:amd64. 56s Preparing to unpack .../53-libavahi-client3_0.8-16ubuntu3_amd64.deb ... 56s Unpacking libavahi-client3:amd64 (0.8-16ubuntu3) ... 56s Selecting previously unselected package libpixman-1-0:amd64. 56s Preparing to unpack .../54-libpixman-1-0_0.44.0-3_amd64.deb ... 56s Unpacking libpixman-1-0:amd64 (0.44.0-3) ... 56s Selecting previously unselected package libxcb-render0:amd64. 56s Preparing to unpack .../55-libxcb-render0_1.17.0-2build1_amd64.deb ... 56s Unpacking libxcb-render0:amd64 (1.17.0-2build1) ... 56s Selecting previously unselected package libxcb-shm0:amd64. 56s Preparing to unpack .../56-libxcb-shm0_1.17.0-2build1_amd64.deb ... 56s Unpacking libxcb-shm0:amd64 (1.17.0-2build1) ... 56s Selecting previously unselected package libxrender1:amd64. 56s Preparing to unpack .../57-libxrender1_1%3a0.9.12-1_amd64.deb ... 56s Unpacking libxrender1:amd64 (1:0.9.12-1) ... 56s Selecting previously unselected package libcairo2:amd64. 56s Preparing to unpack .../58-libcairo2_1.18.4-1build1_amd64.deb ... 56s Unpacking libcairo2:amd64 (1.18.4-1build1) ... 56s Selecting previously unselected package libcairo-gobject2:amd64. 56s Preparing to unpack .../59-libcairo-gobject2_1.18.4-1build1_amd64.deb ... 56s Unpacking libcairo-gobject2:amd64 (1.18.4-1build1) ... 56s Selecting previously unselected package libstdlib-ocaml. 56s Preparing to unpack .../60-libstdlib-ocaml_5.3.0-3_amd64.deb ... 56s Unpacking libstdlib-ocaml (5.3.0-3) ... 56s Selecting previously unselected package ocaml-base. 56s Preparing to unpack .../61-ocaml-base_5.3.0-3_amd64.deb ... 56s Unpacking ocaml-base (5.3.0-3) ... 56s Selecting previously unselected package libcairo2-ocaml. 56s Preparing to unpack .../62-libcairo2-ocaml_0.6.5-2build2_amd64.deb ... 56s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 56s Selecting previously unselected package liblcms2-2:amd64. 56s Preparing to unpack .../63-liblcms2-2_2.16-2_amd64.deb ... 56s Unpacking liblcms2-2:amd64 (2.16-2) ... 56s Selecting previously unselected package libcolord2:amd64. 56s Preparing to unpack .../64-libcolord2_1.4.7-3build1_amd64.deb ... 56s Unpacking libcolord2:amd64 (1.4.7-3build1) ... 56s Selecting previously unselected package libstdlib-ocaml-dev. 56s Preparing to unpack .../65-libstdlib-ocaml-dev_5.3.0-3_amd64.deb ... 56s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 56s Selecting previously unselected package libcompiler-libs-ocaml-dev. 56s Preparing to unpack .../66-libcompiler-libs-ocaml-dev_5.3.0-3_amd64.deb ... 56s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 56s Selecting previously unselected package libcups2t64:amd64. 56s Preparing to unpack .../67-libcups2t64_2.4.12-0ubuntu3_amd64.deb ... 56s Unpacking libcups2t64:amd64 (2.4.12-0ubuntu3) ... 56s Selecting previously unselected package libdatrie1:amd64. 56s Preparing to unpack .../68-libdatrie1_0.2.13-4_amd64.deb ... 56s Unpacking libdatrie1:amd64 (0.2.13-4) ... 56s Selecting previously unselected package libepoxy0:amd64. 56s Preparing to unpack .../69-libepoxy0_1.5.10-2_amd64.deb ... 56s Unpacking libepoxy0:amd64 (1.5.10-2) ... 56s Selecting previously unselected package libgraphite2-3:amd64. 56s Preparing to unpack .../70-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 56s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 56s Selecting previously unselected package libharfbuzz0b:amd64. 56s Preparing to unpack .../71-libharfbuzz0b_12.1.0-1_amd64.deb ... 56s Unpacking libharfbuzz0b:amd64 (12.1.0-1) ... 56s Selecting previously unselected package libthai-data. 56s Preparing to unpack .../72-libthai-data_0.1.29-2build1_all.deb ... 56s Unpacking libthai-data (0.1.29-2build1) ... 56s Selecting previously unselected package libthai0:amd64. 56s Preparing to unpack .../73-libthai0_0.1.29-2build1_amd64.deb ... 56s Unpacking libthai0:amd64 (0.1.29-2build1) ... 56s Selecting previously unselected package libpango-1.0-0:amd64. 56s Preparing to unpack .../74-libpango-1.0-0_1.56.3-2_amd64.deb ... 56s Unpacking libpango-1.0-0:amd64 (1.56.3-2) ... 56s Selecting previously unselected package libpangoft2-1.0-0:amd64. 56s Preparing to unpack .../75-libpangoft2-1.0-0_1.56.3-2_amd64.deb ... 56s Unpacking libpangoft2-1.0-0:amd64 (1.56.3-2) ... 56s Selecting previously unselected package libpangocairo-1.0-0:amd64. 56s Preparing to unpack .../76-libpangocairo-1.0-0_1.56.3-2_amd64.deb ... 56s Unpacking libpangocairo-1.0-0:amd64 (1.56.3-2) ... 56s Selecting previously unselected package libwayland-client0:amd64. 56s Preparing to unpack .../77-libwayland-client0_1.24.0-1build1_amd64.deb ... 56s Unpacking libwayland-client0:amd64 (1.24.0-1build1) ... 56s Selecting previously unselected package libwayland-cursor0:amd64. 56s Preparing to unpack .../78-libwayland-cursor0_1.24.0-1build1_amd64.deb ... 56s Unpacking libwayland-cursor0:amd64 (1.24.0-1build1) ... 56s Selecting previously unselected package libwayland-egl1:amd64. 56s Preparing to unpack .../79-libwayland-egl1_1.24.0-1build1_amd64.deb ... 56s Unpacking libwayland-egl1:amd64 (1.24.0-1build1) ... 56s Selecting previously unselected package libxcomposite1:amd64. 56s Preparing to unpack .../80-libxcomposite1_1%3a0.4.6-1_amd64.deb ... 56s Unpacking libxcomposite1:amd64 (1:0.4.6-1) ... 56s Selecting previously unselected package libxfixes3:amd64. 56s Preparing to unpack .../81-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 56s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 56s Selecting previously unselected package libxcursor1:amd64. 56s Preparing to unpack .../82-libxcursor1_1%3a1.2.3-1_amd64.deb ... 56s Unpacking libxcursor1:amd64 (1:1.2.3-1) ... 56s Selecting previously unselected package libxdamage1:amd64. 56s Preparing to unpack .../83-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 56s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 56s Selecting previously unselected package libxinerama1:amd64. 56s Preparing to unpack .../84-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 56s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 56s Selecting previously unselected package libxrandr2:amd64. 56s Preparing to unpack .../85-libxrandr2_2%3a1.5.4-1_amd64.deb ... 56s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 56s Selecting previously unselected package libgtk-3-common. 56s Preparing to unpack .../86-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 56s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 57s Selecting previously unselected package libgtk-3-0t64:amd64. 57s Preparing to unpack .../87-libgtk-3-0t64_3.24.50-1ubuntu2_amd64.deb ... 57s Unpacking libgtk-3-0t64:amd64 (3.24.50-1ubuntu2) ... 57s Selecting previously unselected package libgtksourceview-3.0-common. 57s Preparing to unpack .../88-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 57s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 57s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 57s Preparing to unpack .../89-libgtksourceview-3.0-1_3.24.11-5_amd64.deb ... 57s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-5) ... 57s Selecting previously unselected package liblablgtk3-ocaml. 57s Preparing to unpack .../90-liblablgtk3-ocaml_3.1.5-1build4_amd64.deb ... 57s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 57s Selecting previously unselected package liblablgtksourceview3-ocaml. 57s Preparing to unpack .../91-liblablgtksourceview3-ocaml_3.1.5-1build4_amd64.deb ... 57s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 57s Selecting previously unselected package libncurses-dev:amd64. 57s Preparing to unpack .../92-libncurses-dev_6.5+20250216-2build1_amd64.deb ... 57s Unpacking libncurses-dev:amd64 (6.5+20250216-2build1) ... 57s Selecting previously unselected package libzstd-dev:amd64. 57s Preparing to unpack .../93-libzstd-dev_1.5.7+dfsg-1build2_amd64.deb ... 57s Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1build2) ... 57s Selecting previously unselected package ocaml-interp. 57s Preparing to unpack .../94-ocaml-interp_5.3.0-3_amd64.deb ... 57s Unpacking ocaml-interp (5.3.0-3) ... 57s Selecting previously unselected package ocaml. 57s Preparing to unpack .../95-ocaml_5.3.0-3_amd64.deb ... 57s Unpacking ocaml (5.3.0-3) ... 57s Selecting previously unselected package tex-common. 57s Preparing to unpack .../96-tex-common_6.19_all.deb ... 57s Unpacking tex-common (6.19) ... 57s Selecting previously unselected package why3. 57s Preparing to unpack .../97-why3_1.8.2-1_amd64.deb ... 57s Unpacking why3 (1.8.2-1) ... 57s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 57s Setting up liblcms2-2:amd64 (2.16-2) ... 57s Setting up libpixman-1-0:amd64 (0.44.0-3) ... 57s Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... 57s Setting up libcln6:amd64 (1.3.7-1) ... 57s Setting up libncurses-dev:amd64 (6.5+20250216-2build1) ... 57s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 57s Setting up liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 57s Setting up libzstd-dev:amd64 (1.5.7+dfsg-1build2) ... 57s Setting up libantlr3c-3.4-0:amd64 (3.4+dfsg-4build2) ... 57s Setting up hicolor-icon-theme (0.18-2) ... 57s Setting up libxi6:amd64 (2:1.8.2-1) ... 57s Setting up libxrender1:amd64 (1:0.9.12-1) ... 57s Setting up libdatrie1:amd64 (0.2.13-4) ... 57s Setting up libxcb-render0:amd64 (1.17.0-2build1) ... 57s Setting up libgdk-pixbuf2.0-common (2.44.4+dfsg-1) ... 57s Setting up libdeflate0:amd64 (1.23-2) ... 57s Setting up libxcb-shm0:amd64 (1.17.0-2build1) ... 57s Setting up libgomp1:amd64 (15.2.0-5ubuntu1) ... 57s Setting up libjbig0:amd64 (2.1-6.1ubuntu2) ... 57s Setting up libcolord2:amd64 (1.4.7-3build1) ... 57s Setting up libdconf1:amd64 (0.49.0-1) ... 57s Setting up tex-common (6.19) ... 57s update-language: texlive-base not installed and configured, doing nothing! 57s Setting up libepoxy0:amd64 (1.5.10-2) ... 57s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 57s Setting up libavahi-common-data:amd64 (0.8-16ubuntu3) ... 57s Setting up libatspi2.0-0t64:amd64 (2.57.1-1) ... 57s Setting up libquadmath0:amd64 (15.2.0-5ubuntu1) ... 57s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 57s Setting up libstdlib-ocaml (5.3.0-3) ... 57s Setting up fonts-dejavu-mono (2.37-8) ... 57s Setting up libmpc3:amd64 (1.3.1-1build3) ... 57s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 57s Setting up ocaml-base (5.3.0-3) ... 57s Setting up fonts-dejavu-core (2.37-8) ... 57s Setting up libjpeg-turbo8:amd64 (2.1.5-4ubuntu2) ... 57s Setting up libwebp7:amd64 (1.5.0-0.1) ... 57s Setting up libubsan1:amd64 (15.2.0-5ubuntu1) ... 57s Setting up libhwasan0:amd64 (15.2.0-5ubuntu1) ... 57s Setting up at-spi2-common (2.57.1-1) ... 57s Setting up libasan8:amd64 (15.2.0-5ubuntu1) ... 57s Setting up libcvc4-7:amd64 (1.8-3build2) ... 57s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 57s Setting up libharfbuzz0b:amd64 (12.1.0-1) ... 57s Setting up libthai-data (0.1.29-2build1) ... 57s Setting up libwayland-egl1:amd64 (1.24.0-1build1) ... 57s Setting up libtsan2:amd64 (15.2.0-5ubuntu1) ... 57s Setting up libisl23:amd64 (0.27-1) ... 57s Setting up libxcomposite1:amd64 (1:0.4.6-1) ... 57s Setting up libcc1-0:amd64 (15.2.0-5ubuntu1) ... 57s Setting up liblsan0:amd64 (15.2.0-5ubuntu1) ... 57s Setting up libitm1:amd64 (15.2.0-5ubuntu1) ... 57s Setting up libwayland-client0:amd64 (1.24.0-1build1) ... 57s Setting up libjpeg8:amd64 (8c-2ubuntu11) ... 57s Setting up libgcc-15-dev:amd64 (15.2.0-5ubuntu1) ... 57s Setting up libatk1.0-0t64:amd64 (2.57.1-1) ... 57s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 57s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 58s Setting up libxcursor1:amd64 (1:1.2.3-1) ... 58s Setting up libavahi-common3:amd64 (0.8-16ubuntu3) ... 58s Setting up dconf-service (0.49.0-1) ... 58s Setting up cpp-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 58s Setting up gcc-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 58s Setting up libthai0:amd64 (0.1.29-2build1) ... 58s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 58s Setting up ocaml-interp (5.3.0-3) ... 58s Setting up libcvc4parser7:amd64 (1.8-3build2) ... 58s Setting up cpp-15 (15.2.0-5ubuntu1) ... 58s Setting up libtiff6:amd64 (4.7.0-3ubuntu3) ... 58s Setting up libwayland-cursor0:amd64 (1.24.0-1build1) ... 58s Setting up libgdk-pixbuf-2.0-0:amd64 (2.44.4+dfsg-1) ... 58s Setting up cvc4 (1.8-3build2) ... 58s Setting up libfontconfig1:amd64 (2.15.0-2.3ubuntu1) ... 58s Setting up libavahi-client3:amd64 (0.8-16ubuntu3) ... 58s Setting up cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 58s Setting up libatk-bridge2.0-0t64:amd64 (2.57.1-1) ... 58s Setting up gtk-update-icon-cache (4.20.2+ds-1) ... 58s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 60s Regenerating fonts cache... done. 60s Setting up gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 60s Setting up dconf-gsettings-backend:amd64 (0.49.0-1) ... 60s Setting up libpango-1.0-0:amd64 (1.56.3-2) ... 60s Setting up libcairo2:amd64 (1.18.4-1build1) ... 60s Setting up gcc-15 (15.2.0-5ubuntu1) ... 60s Setting up adwaita-icon-theme (49.0-1) ... 60s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 60s Setting up cpp (4:15.2.0-4ubuntu1) ... 60s Setting up libcairo-gobject2:amd64 (1.18.4-1build1) ... 60s Setting up libpangoft2-1.0-0:amd64 (1.56.3-2) ... 60s Setting up libcups2t64:amd64 (2.4.12-0ubuntu3) ... 60s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 60s Setting up libpangocairo-1.0-0:amd64 (1.56.3-2) ... 60s Setting up libcairo2-ocaml (0.6.5-2build2) ... 60s Setting up gcc (4:15.2.0-4ubuntu1) ... 60s Setting up ocaml (5.3.0-3) ... 60s Processing triggers for libc-bin (2.42-0ubuntu3) ... 60s Processing triggers for man-db (2.13.1-1) ... 60s Processing triggers for libglib2.0-0t64:amd64 (2.86.1-1) ... 60s Setting up libgtk-3-0t64:amd64 (3.24.50-1ubuntu2) ... 60s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 60s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-5) ... 60s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 60s Setting up why3 (1.8.2-1) ... 60s Processing triggers for libc-bin (2.42-0ubuntu3) ... 61s autopkgtest [12:21:43]: test why3+cvc4: [----------------------- 62s autopkgtest [12:21:44]: test why3+cvc4: -----------------------] 63s autopkgtest [12:21:44]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 63s why3+cvc4 PASS 63s autopkgtest [12:21:44]: test why3+cvc5: preparing testbed 80s Creating nova instance adt-resolute-amd64-why3-20251026-122042-juju-7f2275-prod-proposed-migration-environment-20-af6ff95c-ac65-460c-929a-b5c2053d9a8e from image adt/ubuntu-resolute-amd64-server-20251026.img (UUID 08b4d2da-572c-4a3f-82f9-021e099dc3d7)... 111s autopkgtest [12:22:33]: testbed dpkg architecture: amd64 111s autopkgtest [12:22:33]: testbed apt version: 3.1.8ubuntu1 112s autopkgtest [12:22:34]: @@@@@@@@@@@@@@@@@@@@ test bed setup 112s autopkgtest [12:22:34]: testbed release detected to be: resolute 112s autopkgtest [12:22:34]: updating testbed package index (apt update) 113s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [87.8 kB] 113s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 113s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 113s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 113s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 113s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [422 kB] 113s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [16.5 kB] 113s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [61.7 kB] 113s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main i386 Packages [111 kB] 113s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 Packages [162 kB] 113s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 c-n-f Metadata [3356 B] 113s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 Packages [28.6 kB] 113s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/restricted i386 Packages [3744 B] 113s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 c-n-f Metadata [336 B] 113s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/universe i386 Packages [137 kB] 113s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 Packages [312 kB] 113s Get:17 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 c-n-f Metadata [11.1 kB] 113s Get:18 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 Packages [6132 B] 113s Get:19 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse i386 Packages [2476 B] 113s Get:20 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 c-n-f Metadata [492 B] 114s Fetched 1373 kB in 1s (1616 kB/s) 114s Reading package lists... 115s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 115s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 115s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 115s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 116s Reading package lists... 116s Reading package lists... 116s Building dependency tree... 116s Reading state information... 116s Calculating upgrade... 116s The following packages will be upgraded: 116s binutils binutils-common binutils-x86-64-linux-gnu gir1.2-glib-2.0 116s libbinutils libctf-nobfd0 libctf0 libglib2.0-0t64 libglib2.0-data 116s libgprofng0 libsframe2 116s 11 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 116s Need to get 5322 kB of archives. 116s After this operation, 728 kB of additional disk space will be used. 116s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 gir1.2-glib-2.0 amd64 2.86.1-1 [182 kB] 116s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 libglib2.0-0t64 amd64 2.86.1-1 [1692 kB] 116s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 libglib2.0-data all 2.86.1-1 [56.7 kB] 116s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libgprofng0 amd64 2.45-8ubuntu1 [930 kB] 116s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 libctf0 amd64 2.45-8ubuntu1 [104 kB] 116s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 libctf-nobfd0 amd64 2.45-8ubuntu1 [106 kB] 116s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils-x86-64-linux-gnu amd64 2.45-8ubuntu1 [1177 kB] 116s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 libbinutils amd64 2.45-8ubuntu1 [624 kB] 116s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils amd64 2.45-8ubuntu1 [211 kB] 116s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils-common amd64 2.45-8ubuntu1 [221 kB] 116s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 libsframe2 amd64 2.45-8ubuntu1 [17.0 kB] 117s dpkg-preconfigure: unable to re-open stdin: No such file or directory 117s Fetched 5322 kB in 0s (13.0 MB/s) 117s (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 ... 78454 files and directories currently installed.) 117s Preparing to unpack .../00-gir1.2-glib-2.0_2.86.1-1_amd64.deb ... 117s Unpacking gir1.2-glib-2.0:amd64 (2.86.1-1) over (2.86.0-2) ... 117s Preparing to unpack .../01-libglib2.0-0t64_2.86.1-1_amd64.deb ... 117s Unpacking libglib2.0-0t64:amd64 (2.86.1-1) over (2.86.0-2) ... 117s Preparing to unpack .../02-libglib2.0-data_2.86.1-1_all.deb ... 117s Unpacking libglib2.0-data (2.86.1-1) over (2.86.0-2) ... 117s Preparing to unpack .../03-libgprofng0_2.45-8ubuntu1_amd64.deb ... 117s Unpacking libgprofng0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 117s Preparing to unpack .../04-libctf0_2.45-8ubuntu1_amd64.deb ... 117s Unpacking libctf0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 117s Preparing to unpack .../05-libctf-nobfd0_2.45-8ubuntu1_amd64.deb ... 117s Unpacking libctf-nobfd0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 117s Preparing to unpack .../06-binutils-x86-64-linux-gnu_2.45-8ubuntu1_amd64.deb ... 117s Unpacking binutils-x86-64-linux-gnu (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 117s Preparing to unpack .../07-libbinutils_2.45-8ubuntu1_amd64.deb ... 117s Unpacking libbinutils:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 117s Preparing to unpack .../08-binutils_2.45-8ubuntu1_amd64.deb ... 117s Unpacking binutils (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 117s Preparing to unpack .../09-binutils-common_2.45-8ubuntu1_amd64.deb ... 117s Unpacking binutils-common:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 117s Preparing to unpack .../10-libsframe2_2.45-8ubuntu1_amd64.deb ... 117s Unpacking libsframe2:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 117s Setting up libsframe2:amd64 (2.45-8ubuntu1) ... 117s Setting up binutils-common:amd64 (2.45-8ubuntu1) ... 117s Setting up libctf-nobfd0:amd64 (2.45-8ubuntu1) ... 117s Setting up libglib2.0-0t64:amd64 (2.86.1-1) ... 117s No schema files found: doing nothing. 117s Setting up libglib2.0-data (2.86.1-1) ... 117s Setting up gir1.2-glib-2.0:amd64 (2.86.1-1) ... 117s Setting up libbinutils:amd64 (2.45-8ubuntu1) ... 117s Setting up libctf0:amd64 (2.45-8ubuntu1) ... 117s Setting up libgprofng0:amd64 (2.45-8ubuntu1) ... 117s Setting up binutils-x86-64-linux-gnu (2.45-8ubuntu1) ... 117s Setting up binutils (2.45-8ubuntu1) ... 117s Processing triggers for libc-bin (2.42-0ubuntu3) ... 117s Processing triggers for man-db (2.13.1-1) ... 118s autopkgtest [12:22:40]: upgrading testbed (apt dist-upgrade and autopurge) 118s Reading package lists... 118s Building dependency tree... 118s Reading state information... 118s Calculating upgrade... 118s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 118s Reading package lists... 118s Building dependency tree... 118s Reading state information... 118s Solving dependencies... 118s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 121s Reading package lists... 121s Building dependency tree... 121s Reading state information... 121s Solving dependencies... 121s The following NEW packages will be installed: 121s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-x86-64-linux-gnu 121s cpp-x86-64-linux-gnu cvc5 dconf-gsettings-backend dconf-service fontconfig 121s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 121s gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu gtk-update-icon-cache 121s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 121s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 121s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcln6 libcolord2 121s libcompiler-libs-ocaml-dev libcryptominisat5-5.11t64 libcups2t64 libcvc5-1 121s libcvc5parser1 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 121s libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 121s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 121s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 121s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 121s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 121s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 121s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 121s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 121s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 121s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 121s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common 121s why3 121s 0 upgraded, 98 newly installed, 0 to remove and 0 not upgraded. 121s Need to get 175 MB of archives. 121s After this operation, 541 MB of additional disk space will be used. 121s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 libgdk-pixbuf2.0-common all 2.44.4+dfsg-1 [8584 B] 121s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 libjpeg-turbo8 amd64 2.1.5-4ubuntu2 [152 kB] 121s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 libjpeg8 amd64 8c-2ubuntu11 [2148 B] 121s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libdeflate0 amd64 1.23-2 [49.9 kB] 121s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 libjbig0 amd64 2.1-6.1ubuntu2 [29.7 kB] 121s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 liblerc4 amd64 4.0.0+ds-5ubuntu1 [271 kB] 121s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [25.9 kB] 121s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 libwebp7 amd64 1.5.0-0.1 [378 kB] 121s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 libtiff6 amd64 4.7.0-3ubuntu3 [209 kB] 121s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 libgdk-pixbuf-2.0-0 amd64 2.44.4+dfsg-1 [153 kB] 121s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 gtk-update-icon-cache amd64 4.20.2+ds-1 [54.6 kB] 121s Get:12 http://ftpmaster.internal/ubuntu resolute/main amd64 hicolor-icon-theme all 0.18-2 [13.3 kB] 121s Get:13 http://ftpmaster.internal/ubuntu resolute/main amd64 adwaita-icon-theme all 49.0-1 [581 kB] 121s Get:14 http://ftpmaster.internal/ubuntu resolute/main amd64 at-spi2-common all 2.57.1-1 [9432 B] 121s Get:15 http://ftpmaster.internal/ubuntu resolute/main amd64 libisl23 amd64 0.27-1 [685 kB] 121s Get:16 http://ftpmaster.internal/ubuntu resolute/main amd64 libmpc3 amd64 1.3.1-1build3 [57.0 kB] 121s Get:17 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [12.9 MB] 122s Get:18 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15 amd64 15.2.0-5ubuntu1 [1028 B] 122s Get:19 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [5746 B] 122s Get:20 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp amd64 4:15.2.0-4ubuntu1 [22.4 kB] 122s Get:21 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcln6 amd64 1.3.7-1 [504 kB] 122s Get:22 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcryptominisat5-5.11t64 amd64 5.11.21+dfsg1-2 [457 kB] 122s Get:23 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcvc5-1 amd64 1.1.2-2build1 [5286 kB] 122s Get:24 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcvc5parser1 amd64 1.1.2-2build1 [211 kB] 122s Get:25 http://ftpmaster.internal/ubuntu resolute/universe amd64 cvc5 amd64 1.1.2-2build1 [91.9 kB] 122s Get:26 http://ftpmaster.internal/ubuntu resolute/main amd64 libdconf1 amd64 0.49.0-1 [40.2 kB] 122s Get:27 http://ftpmaster.internal/ubuntu resolute/main amd64 dconf-service amd64 0.49.0-1 [27.7 kB] 122s Get:28 http://ftpmaster.internal/ubuntu resolute/main amd64 dconf-gsettings-backend amd64 0.49.0-1 [22.2 kB] 122s Get:29 http://ftpmaster.internal/ubuntu resolute/main amd64 fonts-dejavu-mono all 2.37-8 [502 kB] 122s Get:30 http://ftpmaster.internal/ubuntu resolute/main amd64 fonts-dejavu-core all 2.37-8 [835 kB] 122s Get:31 http://ftpmaster.internal/ubuntu resolute/main amd64 fontconfig-config amd64 2.15.0-2.3ubuntu1 [38.0 kB] 122s Get:32 http://ftpmaster.internal/ubuntu resolute/main amd64 libfontconfig1 amd64 2.15.0-2.3ubuntu1 [141 kB] 122s Get:33 http://ftpmaster.internal/ubuntu resolute/main amd64 fontconfig amd64 2.15.0-2.3ubuntu1 [180 kB] 122s Get:34 http://ftpmaster.internal/ubuntu resolute/main amd64 libcc1-0 amd64 15.2.0-5ubuntu1 [47.4 kB] 122s Get:35 http://ftpmaster.internal/ubuntu resolute/main amd64 libgomp1 amd64 15.2.0-5ubuntu1 [151 kB] 122s Get:36 http://ftpmaster.internal/ubuntu resolute/main amd64 libitm1 amd64 15.2.0-5ubuntu1 [29.3 kB] 122s Get:37 http://ftpmaster.internal/ubuntu resolute/main amd64 libasan8 amd64 15.2.0-5ubuntu1 [3071 kB] 122s Get:38 http://ftpmaster.internal/ubuntu resolute/main amd64 liblsan0 amd64 15.2.0-5ubuntu1 [1360 kB] 122s Get:39 http://ftpmaster.internal/ubuntu resolute/main amd64 libtsan2 amd64 15.2.0-5ubuntu1 [2757 kB] 122s Get:40 http://ftpmaster.internal/ubuntu resolute/main amd64 libubsan1 amd64 15.2.0-5ubuntu1 [1210 kB] 122s Get:41 http://ftpmaster.internal/ubuntu resolute/main amd64 libhwasan0 amd64 15.2.0-5ubuntu1 [1685 kB] 122s Get:42 http://ftpmaster.internal/ubuntu resolute/main amd64 libquadmath0 amd64 15.2.0-5ubuntu1 [153 kB] 122s Get:43 http://ftpmaster.internal/ubuntu resolute/main amd64 libgcc-15-dev amd64 15.2.0-5ubuntu1 [2863 kB] 123s Get:44 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [25.4 MB] 123s Get:45 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15 amd64 15.2.0-5ubuntu1 [523 kB] 123s Get:46 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [1208 B] 123s Get:47 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc amd64 4:15.2.0-4ubuntu1 [5024 B] 123s Get:48 http://ftpmaster.internal/ubuntu resolute/main amd64 libatk1.0-0t64 amd64 2.57.1-1 [56.3 kB] 123s Get:49 http://ftpmaster.internal/ubuntu resolute/main amd64 libxi6 amd64 2:1.8.2-1 [32.4 kB] 123s Get:50 http://ftpmaster.internal/ubuntu resolute/main amd64 libatspi2.0-0t64 amd64 2.57.1-1 [85.3 kB] 123s Get:51 http://ftpmaster.internal/ubuntu resolute/main amd64 libatk-bridge2.0-0t64 amd64 2.57.1-1 [66.7 kB] 123s Get:52 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-common-data amd64 0.8-16ubuntu3 [31.1 kB] 123s Get:53 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-common3 amd64 0.8-16ubuntu3 [25.3 kB] 123s Get:54 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-client3 amd64 0.8-16ubuntu3 [28.8 kB] 123s Get:55 http://ftpmaster.internal/ubuntu resolute/main amd64 libpixman-1-0 amd64 0.44.0-3 [427 kB] 123s Get:56 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcb-render0 amd64 1.17.0-2build1 [17.4 kB] 123s Get:57 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcb-shm0 amd64 1.17.0-2build1 [6120 B] 123s Get:58 http://ftpmaster.internal/ubuntu resolute/main amd64 libxrender1 amd64 1:0.9.12-1 [19.8 kB] 123s Get:59 http://ftpmaster.internal/ubuntu resolute/main amd64 libcairo2 amd64 1.18.4-1build1 [611 kB] 123s Get:60 http://ftpmaster.internal/ubuntu resolute/main amd64 libcairo-gobject2 amd64 1.18.4-1build1 [128 kB] 123s Get:61 http://ftpmaster.internal/ubuntu resolute/universe amd64 libstdlib-ocaml amd64 5.3.0-3 [419 kB] 123s Get:62 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml-base amd64 5.3.0-3 [312 kB] 123s Get:63 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcairo2-ocaml amd64 0.6.5-2build2 [29.1 kB] 123s Get:64 http://ftpmaster.internal/ubuntu resolute/main amd64 liblcms2-2 amd64 2.16-2 [212 kB] 123s Get:65 http://ftpmaster.internal/ubuntu resolute/main amd64 libcolord2 amd64 1.4.7-3build1 [149 kB] 123s Get:66 http://ftpmaster.internal/ubuntu resolute/universe amd64 libstdlib-ocaml-dev amd64 5.3.0-3 [7828 kB] 123s Get:67 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-3 [48.2 MB] 124s Get:68 http://ftpmaster.internal/ubuntu resolute/main amd64 libcups2t64 amd64 2.4.12-0ubuntu3 [272 kB] 124s Get:69 http://ftpmaster.internal/ubuntu resolute/main amd64 libdatrie1 amd64 0.2.13-4 [19.3 kB] 124s Get:70 http://ftpmaster.internal/ubuntu resolute/main amd64 libepoxy0 amd64 1.5.10-2 [218 kB] 124s Get:71 http://ftpmaster.internal/ubuntu resolute/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 124s Get:72 http://ftpmaster.internal/ubuntu resolute/main amd64 libharfbuzz0b amd64 12.1.0-1 [535 kB] 124s Get:73 http://ftpmaster.internal/ubuntu resolute/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 124s Get:74 http://ftpmaster.internal/ubuntu resolute/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 124s Get:75 http://ftpmaster.internal/ubuntu resolute/main amd64 libpango-1.0-0 amd64 1.56.3-2 [239 kB] 124s Get:76 http://ftpmaster.internal/ubuntu resolute/main amd64 libpangoft2-1.0-0 amd64 1.56.3-2 [52.5 kB] 124s Get:77 http://ftpmaster.internal/ubuntu resolute/main amd64 libpangocairo-1.0-0 amd64 1.56.3-2 [29.0 kB] 124s Get:78 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-client0 amd64 1.24.0-1build1 [29.6 kB] 124s Get:79 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-cursor0 amd64 1.24.0-1build1 [11.1 kB] 124s Get:80 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-egl1 amd64 1.24.0-1build1 [6474 B] 124s Get:81 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcomposite1 amd64 1:0.4.6-1 [6642 B] 124s Get:82 http://ftpmaster.internal/ubuntu resolute/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 124s Get:83 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcursor1 amd64 1:1.2.3-1 [23.1 kB] 124s Get:84 http://ftpmaster.internal/ubuntu resolute/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 124s Get:85 http://ftpmaster.internal/ubuntu resolute/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 124s Get:86 http://ftpmaster.internal/ubuntu resolute/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 124s Get:87 http://ftpmaster.internal/ubuntu resolute/main amd64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 124s Get:88 http://ftpmaster.internal/ubuntu resolute/main amd64 libgtk-3-0t64 amd64 3.24.50-1ubuntu2 [3263 kB] 124s Get:89 http://ftpmaster.internal/ubuntu resolute/universe amd64 libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 124s Get:90 http://ftpmaster.internal/ubuntu resolute/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-5 [249 kB] 124s Get:91 http://ftpmaster.internal/ubuntu resolute/universe amd64 liblablgtk3-ocaml amd64 3.1.5-1build4 [3538 kB] 124s Get:92 http://ftpmaster.internal/ubuntu resolute/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.5-1build4 [326 kB] 124s Get:93 http://ftpmaster.internal/ubuntu resolute/main amd64 libncurses-dev amd64 6.5+20250216-2build1 [408 kB] 124s Get:94 http://ftpmaster.internal/ubuntu resolute/main amd64 libzstd-dev amd64 1.5.7+dfsg-1build2 [387 kB] 124s Get:95 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml-interp amd64 5.3.0-3 [8365 kB] 124s Get:96 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml amd64 5.3.0-3 [19.9 MB] 125s Get:97 http://ftpmaster.internal/ubuntu resolute/universe amd64 tex-common all 6.19 [29.8 kB] 125s Get:98 http://ftpmaster.internal/ubuntu resolute/universe amd64 why3 amd64 1.8.2-1 [13.3 MB] 125s Fetched 175 MB in 4s (42.7 MB/s) 125s Selecting previously unselected package libgdk-pixbuf2.0-common. 125s (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 ... 78454 files and directories currently installed.) 125s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.44.4+dfsg-1_all.deb ... 125s Unpacking libgdk-pixbuf2.0-common (2.44.4+dfsg-1) ... 125s Selecting previously unselected package libjpeg-turbo8:amd64. 125s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_amd64.deb ... 125s Unpacking libjpeg-turbo8:amd64 (2.1.5-4ubuntu2) ... 125s Selecting previously unselected package libjpeg8:amd64. 125s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_amd64.deb ... 125s Unpacking libjpeg8:amd64 (8c-2ubuntu11) ... 125s Selecting previously unselected package libdeflate0:amd64. 125s Preparing to unpack .../03-libdeflate0_1.23-2_amd64.deb ... 125s Unpacking libdeflate0:amd64 (1.23-2) ... 125s Selecting previously unselected package libjbig0:amd64. 125s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_amd64.deb ... 125s Unpacking libjbig0:amd64 (2.1-6.1ubuntu2) ... 125s Selecting previously unselected package liblerc4:amd64. 125s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_amd64.deb ... 125s Unpacking liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 125s Selecting previously unselected package libsharpyuv0:amd64. 125s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_amd64.deb ... 125s Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... 125s Selecting previously unselected package libwebp7:amd64. 125s Preparing to unpack .../07-libwebp7_1.5.0-0.1_amd64.deb ... 125s Unpacking libwebp7:amd64 (1.5.0-0.1) ... 125s Selecting previously unselected package libtiff6:amd64. 125s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_amd64.deb ... 125s Unpacking libtiff6:amd64 (4.7.0-3ubuntu3) ... 125s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 125s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.44.4+dfsg-1_amd64.deb ... 125s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.44.4+dfsg-1) ... 125s Selecting previously unselected package gtk-update-icon-cache. 125s Preparing to unpack .../10-gtk-update-icon-cache_4.20.2+ds-1_amd64.deb ... 125s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 125s 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. 125s Unpacking gtk-update-icon-cache (4.20.2+ds-1) ... 125s Selecting previously unselected package hicolor-icon-theme. 125s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 125s Unpacking hicolor-icon-theme (0.18-2) ... 125s Selecting previously unselected package adwaita-icon-theme. 125s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 125s Unpacking adwaita-icon-theme (49.0-1) ... 126s Selecting previously unselected package at-spi2-common. 126s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 126s Unpacking at-spi2-common (2.57.1-1) ... 126s Selecting previously unselected package libisl23:amd64. 126s Preparing to unpack .../14-libisl23_0.27-1_amd64.deb ... 126s Unpacking libisl23:amd64 (0.27-1) ... 126s Selecting previously unselected package libmpc3:amd64. 126s Preparing to unpack .../15-libmpc3_1.3.1-1build3_amd64.deb ... 126s Unpacking libmpc3:amd64 (1.3.1-1build3) ... 126s Selecting previously unselected package cpp-15-x86-64-linux-gnu. 126s Preparing to unpack .../16-cpp-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking cpp-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package cpp-15. 126s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package cpp-x86-64-linux-gnu. 126s Preparing to unpack .../18-cpp-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 126s Unpacking cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 126s Selecting previously unselected package cpp. 126s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_amd64.deb ... 126s Unpacking cpp (4:15.2.0-4ubuntu1) ... 126s Selecting previously unselected package libcln6:amd64. 126s Preparing to unpack .../20-libcln6_1.3.7-1_amd64.deb ... 126s Unpacking libcln6:amd64 (1.3.7-1) ... 126s Selecting previously unselected package libcryptominisat5-5.11t64:amd64. 126s Preparing to unpack .../21-libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb ... 126s Unpacking libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-2) ... 126s Selecting previously unselected package libcvc5-1:amd64. 126s Preparing to unpack .../22-libcvc5-1_1.1.2-2build1_amd64.deb ... 126s Unpacking libcvc5-1:amd64 (1.1.2-2build1) ... 126s Selecting previously unselected package libcvc5parser1:amd64. 126s Preparing to unpack .../23-libcvc5parser1_1.1.2-2build1_amd64.deb ... 126s Unpacking libcvc5parser1:amd64 (1.1.2-2build1) ... 126s Selecting previously unselected package cvc5. 126s Preparing to unpack .../24-cvc5_1.1.2-2build1_amd64.deb ... 126s Unpacking cvc5 (1.1.2-2build1) ... 126s Selecting previously unselected package libdconf1:amd64. 126s Preparing to unpack .../25-libdconf1_0.49.0-1_amd64.deb ... 126s Unpacking libdconf1:amd64 (0.49.0-1) ... 126s Selecting previously unselected package dconf-service. 126s Preparing to unpack .../26-dconf-service_0.49.0-1_amd64.deb ... 126s Unpacking dconf-service (0.49.0-1) ... 126s Selecting previously unselected package dconf-gsettings-backend:amd64. 126s Preparing to unpack .../27-dconf-gsettings-backend_0.49.0-1_amd64.deb ... 126s Unpacking dconf-gsettings-backend:amd64 (0.49.0-1) ... 126s Selecting previously unselected package fonts-dejavu-mono. 126s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 126s Unpacking fonts-dejavu-mono (2.37-8) ... 126s Selecting previously unselected package fonts-dejavu-core. 126s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 126s Unpacking fonts-dejavu-core (2.37-8) ... 126s Selecting previously unselected package fontconfig-config. 126s Preparing to unpack .../30-fontconfig-config_2.15.0-2.3ubuntu1_amd64.deb ... 126s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 126s Selecting previously unselected package libfontconfig1:amd64. 126s Preparing to unpack .../31-libfontconfig1_2.15.0-2.3ubuntu1_amd64.deb ... 126s Unpacking libfontconfig1:amd64 (2.15.0-2.3ubuntu1) ... 126s Selecting previously unselected package fontconfig. 126s Preparing to unpack .../32-fontconfig_2.15.0-2.3ubuntu1_amd64.deb ... 126s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 126s Selecting previously unselected package libcc1-0:amd64. 126s Preparing to unpack .../33-libcc1-0_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking libcc1-0:amd64 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package libgomp1:amd64. 126s Preparing to unpack .../34-libgomp1_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking libgomp1:amd64 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package libitm1:amd64. 126s Preparing to unpack .../35-libitm1_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking libitm1:amd64 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package libasan8:amd64. 126s Preparing to unpack .../36-libasan8_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking libasan8:amd64 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package liblsan0:amd64. 126s Preparing to unpack .../37-liblsan0_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking liblsan0:amd64 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package libtsan2:amd64. 126s Preparing to unpack .../38-libtsan2_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking libtsan2:amd64 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package libubsan1:amd64. 126s Preparing to unpack .../39-libubsan1_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking libubsan1:amd64 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package libhwasan0:amd64. 126s Preparing to unpack .../40-libhwasan0_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking libhwasan0:amd64 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package libquadmath0:amd64. 126s Preparing to unpack .../41-libquadmath0_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking libquadmath0:amd64 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package libgcc-15-dev:amd64. 126s Preparing to unpack .../42-libgcc-15-dev_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking libgcc-15-dev:amd64 (15.2.0-5ubuntu1) ... 126s Selecting previously unselected package gcc-15-x86-64-linux-gnu. 126s Preparing to unpack .../43-gcc-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 126s Unpacking gcc-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 127s Selecting previously unselected package gcc-15. 127s Preparing to unpack .../44-gcc-15_15.2.0-5ubuntu1_amd64.deb ... 127s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 127s Selecting previously unselected package gcc-x86-64-linux-gnu. 127s Preparing to unpack .../45-gcc-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 127s Unpacking gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 127s Selecting previously unselected package gcc. 127s Preparing to unpack .../46-gcc_4%3a15.2.0-4ubuntu1_amd64.deb ... 127s Unpacking gcc (4:15.2.0-4ubuntu1) ... 127s Selecting previously unselected package libatk1.0-0t64:amd64. 127s Preparing to unpack .../47-libatk1.0-0t64_2.57.1-1_amd64.deb ... 127s Unpacking libatk1.0-0t64:amd64 (2.57.1-1) ... 127s Selecting previously unselected package libxi6:amd64. 127s Preparing to unpack .../48-libxi6_2%3a1.8.2-1_amd64.deb ... 127s Unpacking libxi6:amd64 (2:1.8.2-1) ... 127s Selecting previously unselected package libatspi2.0-0t64:amd64. 127s Preparing to unpack .../49-libatspi2.0-0t64_2.57.1-1_amd64.deb ... 127s Unpacking libatspi2.0-0t64:amd64 (2.57.1-1) ... 127s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 127s Preparing to unpack .../50-libatk-bridge2.0-0t64_2.57.1-1_amd64.deb ... 127s Unpacking libatk-bridge2.0-0t64:amd64 (2.57.1-1) ... 127s Selecting previously unselected package libavahi-common-data:amd64. 127s Preparing to unpack .../51-libavahi-common-data_0.8-16ubuntu3_amd64.deb ... 127s Unpacking libavahi-common-data:amd64 (0.8-16ubuntu3) ... 127s Selecting previously unselected package libavahi-common3:amd64. 127s Preparing to unpack .../52-libavahi-common3_0.8-16ubuntu3_amd64.deb ... 127s Unpacking libavahi-common3:amd64 (0.8-16ubuntu3) ... 127s Selecting previously unselected package libavahi-client3:amd64. 127s Preparing to unpack .../53-libavahi-client3_0.8-16ubuntu3_amd64.deb ... 127s Unpacking libavahi-client3:amd64 (0.8-16ubuntu3) ... 127s Selecting previously unselected package libpixman-1-0:amd64. 127s Preparing to unpack .../54-libpixman-1-0_0.44.0-3_amd64.deb ... 127s Unpacking libpixman-1-0:amd64 (0.44.0-3) ... 127s Selecting previously unselected package libxcb-render0:amd64. 127s Preparing to unpack .../55-libxcb-render0_1.17.0-2build1_amd64.deb ... 127s Unpacking libxcb-render0:amd64 (1.17.0-2build1) ... 127s Selecting previously unselected package libxcb-shm0:amd64. 127s Preparing to unpack .../56-libxcb-shm0_1.17.0-2build1_amd64.deb ... 127s Unpacking libxcb-shm0:amd64 (1.17.0-2build1) ... 127s Selecting previously unselected package libxrender1:amd64. 127s Preparing to unpack .../57-libxrender1_1%3a0.9.12-1_amd64.deb ... 127s Unpacking libxrender1:amd64 (1:0.9.12-1) ... 127s Selecting previously unselected package libcairo2:amd64. 127s Preparing to unpack .../58-libcairo2_1.18.4-1build1_amd64.deb ... 127s Unpacking libcairo2:amd64 (1.18.4-1build1) ... 127s Selecting previously unselected package libcairo-gobject2:amd64. 127s Preparing to unpack .../59-libcairo-gobject2_1.18.4-1build1_amd64.deb ... 127s Unpacking libcairo-gobject2:amd64 (1.18.4-1build1) ... 127s Selecting previously unselected package libstdlib-ocaml. 127s Preparing to unpack .../60-libstdlib-ocaml_5.3.0-3_amd64.deb ... 127s Unpacking libstdlib-ocaml (5.3.0-3) ... 127s Selecting previously unselected package ocaml-base. 127s Preparing to unpack .../61-ocaml-base_5.3.0-3_amd64.deb ... 127s Unpacking ocaml-base (5.3.0-3) ... 127s Selecting previously unselected package libcairo2-ocaml. 127s Preparing to unpack .../62-libcairo2-ocaml_0.6.5-2build2_amd64.deb ... 127s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 127s Selecting previously unselected package liblcms2-2:amd64. 127s Preparing to unpack .../63-liblcms2-2_2.16-2_amd64.deb ... 127s Unpacking liblcms2-2:amd64 (2.16-2) ... 127s Selecting previously unselected package libcolord2:amd64. 127s Preparing to unpack .../64-libcolord2_1.4.7-3build1_amd64.deb ... 127s Unpacking libcolord2:amd64 (1.4.7-3build1) ... 127s Selecting previously unselected package libstdlib-ocaml-dev. 127s Preparing to unpack .../65-libstdlib-ocaml-dev_5.3.0-3_amd64.deb ... 127s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 127s Selecting previously unselected package libcompiler-libs-ocaml-dev. 127s Preparing to unpack .../66-libcompiler-libs-ocaml-dev_5.3.0-3_amd64.deb ... 127s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 127s Selecting previously unselected package libcups2t64:amd64. 127s Preparing to unpack .../67-libcups2t64_2.4.12-0ubuntu3_amd64.deb ... 127s Unpacking libcups2t64:amd64 (2.4.12-0ubuntu3) ... 127s Selecting previously unselected package libdatrie1:amd64. 127s Preparing to unpack .../68-libdatrie1_0.2.13-4_amd64.deb ... 127s Unpacking libdatrie1:amd64 (0.2.13-4) ... 127s Selecting previously unselected package libepoxy0:amd64. 127s Preparing to unpack .../69-libepoxy0_1.5.10-2_amd64.deb ... 127s Unpacking libepoxy0:amd64 (1.5.10-2) ... 127s Selecting previously unselected package libgraphite2-3:amd64. 127s Preparing to unpack .../70-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 127s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 127s Selecting previously unselected package libharfbuzz0b:amd64. 127s Preparing to unpack .../71-libharfbuzz0b_12.1.0-1_amd64.deb ... 127s Unpacking libharfbuzz0b:amd64 (12.1.0-1) ... 127s Selecting previously unselected package libthai-data. 127s Preparing to unpack .../72-libthai-data_0.1.29-2build1_all.deb ... 127s Unpacking libthai-data (0.1.29-2build1) ... 127s Selecting previously unselected package libthai0:amd64. 127s Preparing to unpack .../73-libthai0_0.1.29-2build1_amd64.deb ... 127s Unpacking libthai0:amd64 (0.1.29-2build1) ... 127s Selecting previously unselected package libpango-1.0-0:amd64. 127s Preparing to unpack .../74-libpango-1.0-0_1.56.3-2_amd64.deb ... 127s Unpacking libpango-1.0-0:amd64 (1.56.3-2) ... 127s Selecting previously unselected package libpangoft2-1.0-0:amd64. 127s Preparing to unpack .../75-libpangoft2-1.0-0_1.56.3-2_amd64.deb ... 127s Unpacking libpangoft2-1.0-0:amd64 (1.56.3-2) ... 127s Selecting previously unselected package libpangocairo-1.0-0:amd64. 127s Preparing to unpack .../76-libpangocairo-1.0-0_1.56.3-2_amd64.deb ... 127s Unpacking libpangocairo-1.0-0:amd64 (1.56.3-2) ... 127s Selecting previously unselected package libwayland-client0:amd64. 127s Preparing to unpack .../77-libwayland-client0_1.24.0-1build1_amd64.deb ... 127s Unpacking libwayland-client0:amd64 (1.24.0-1build1) ... 127s Selecting previously unselected package libwayland-cursor0:amd64. 127s Preparing to unpack .../78-libwayland-cursor0_1.24.0-1build1_amd64.deb ... 127s Unpacking libwayland-cursor0:amd64 (1.24.0-1build1) ... 127s Selecting previously unselected package libwayland-egl1:amd64. 127s Preparing to unpack .../79-libwayland-egl1_1.24.0-1build1_amd64.deb ... 127s Unpacking libwayland-egl1:amd64 (1.24.0-1build1) ... 127s Selecting previously unselected package libxcomposite1:amd64. 127s Preparing to unpack .../80-libxcomposite1_1%3a0.4.6-1_amd64.deb ... 127s Unpacking libxcomposite1:amd64 (1:0.4.6-1) ... 127s Selecting previously unselected package libxfixes3:amd64. 127s Preparing to unpack .../81-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 127s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 127s Selecting previously unselected package libxcursor1:amd64. 127s Preparing to unpack .../82-libxcursor1_1%3a1.2.3-1_amd64.deb ... 127s Unpacking libxcursor1:amd64 (1:1.2.3-1) ... 127s Selecting previously unselected package libxdamage1:amd64. 127s Preparing to unpack .../83-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 127s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 127s Selecting previously unselected package libxinerama1:amd64. 127s Preparing to unpack .../84-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 127s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 127s Selecting previously unselected package libxrandr2:amd64. 127s Preparing to unpack .../85-libxrandr2_2%3a1.5.4-1_amd64.deb ... 127s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 127s Selecting previously unselected package libgtk-3-common. 127s Preparing to unpack .../86-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 127s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 128s Selecting previously unselected package libgtk-3-0t64:amd64. 128s Preparing to unpack .../87-libgtk-3-0t64_3.24.50-1ubuntu2_amd64.deb ... 128s Unpacking libgtk-3-0t64:amd64 (3.24.50-1ubuntu2) ... 128s Selecting previously unselected package libgtksourceview-3.0-common. 128s Preparing to unpack .../88-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 128s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 128s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 128s Preparing to unpack .../89-libgtksourceview-3.0-1_3.24.11-5_amd64.deb ... 128s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-5) ... 128s Selecting previously unselected package liblablgtk3-ocaml. 128s Preparing to unpack .../90-liblablgtk3-ocaml_3.1.5-1build4_amd64.deb ... 128s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 128s Selecting previously unselected package liblablgtksourceview3-ocaml. 128s Preparing to unpack .../91-liblablgtksourceview3-ocaml_3.1.5-1build4_amd64.deb ... 128s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 128s Selecting previously unselected package libncurses-dev:amd64. 128s Preparing to unpack .../92-libncurses-dev_6.5+20250216-2build1_amd64.deb ... 128s Unpacking libncurses-dev:amd64 (6.5+20250216-2build1) ... 128s Selecting previously unselected package libzstd-dev:amd64. 128s Preparing to unpack .../93-libzstd-dev_1.5.7+dfsg-1build2_amd64.deb ... 128s Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1build2) ... 128s Selecting previously unselected package ocaml-interp. 128s Preparing to unpack .../94-ocaml-interp_5.3.0-3_amd64.deb ... 128s Unpacking ocaml-interp (5.3.0-3) ... 128s Selecting previously unselected package ocaml. 128s Preparing to unpack .../95-ocaml_5.3.0-3_amd64.deb ... 128s Unpacking ocaml (5.3.0-3) ... 128s Selecting previously unselected package tex-common. 128s Preparing to unpack .../96-tex-common_6.19_all.deb ... 128s Unpacking tex-common (6.19) ... 128s Selecting previously unselected package why3. 128s Preparing to unpack .../97-why3_1.8.2-1_amd64.deb ... 128s Unpacking why3 (1.8.2-1) ... 128s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 128s Setting up liblcms2-2:amd64 (2.16-2) ... 128s Setting up libpixman-1-0:amd64 (0.44.0-3) ... 128s Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... 128s Setting up libcln6:amd64 (1.3.7-1) ... 128s Setting up libncurses-dev:amd64 (6.5+20250216-2build1) ... 128s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 128s Setting up liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 128s Setting up libzstd-dev:amd64 (1.5.7+dfsg-1build2) ... 128s Setting up hicolor-icon-theme (0.18-2) ... 128s Setting up libxi6:amd64 (2:1.8.2-1) ... 128s Setting up libxrender1:amd64 (1:0.9.12-1) ... 128s Setting up libdatrie1:amd64 (0.2.13-4) ... 128s Setting up libxcb-render0:amd64 (1.17.0-2build1) ... 128s Setting up libgdk-pixbuf2.0-common (2.44.4+dfsg-1) ... 128s Setting up libdeflate0:amd64 (1.23-2) ... 128s Setting up libxcb-shm0:amd64 (1.17.0-2build1) ... 128s Setting up libgomp1:amd64 (15.2.0-5ubuntu1) ... 128s Setting up libjbig0:amd64 (2.1-6.1ubuntu2) ... 128s Setting up libcryptominisat5-5.11t64:amd64 (5.11.21+dfsg1-2) ... 128s Setting up libcolord2:amd64 (1.4.7-3build1) ... 128s Setting up libdconf1:amd64 (0.49.0-1) ... 128s Setting up tex-common (6.19) ... 128s update-language: texlive-base not installed and configured, doing nothing! 128s Setting up libepoxy0:amd64 (1.5.10-2) ... 128s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 128s Setting up libavahi-common-data:amd64 (0.8-16ubuntu3) ... 128s Setting up libatspi2.0-0t64:amd64 (2.57.1-1) ... 128s Setting up libquadmath0:amd64 (15.2.0-5ubuntu1) ... 128s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 128s Setting up libstdlib-ocaml (5.3.0-3) ... 128s Setting up fonts-dejavu-mono (2.37-8) ... 128s Setting up libmpc3:amd64 (1.3.1-1build3) ... 128s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 128s Setting up ocaml-base (5.3.0-3) ... 128s Setting up fonts-dejavu-core (2.37-8) ... 128s Setting up libjpeg-turbo8:amd64 (2.1.5-4ubuntu2) ... 128s Setting up libwebp7:amd64 (1.5.0-0.1) ... 128s Setting up libubsan1:amd64 (15.2.0-5ubuntu1) ... 128s Setting up libhwasan0:amd64 (15.2.0-5ubuntu1) ... 128s Setting up at-spi2-common (2.57.1-1) ... 128s Setting up libasan8:amd64 (15.2.0-5ubuntu1) ... 128s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 128s Setting up libharfbuzz0b:amd64 (12.1.0-1) ... 128s Setting up libthai-data (0.1.29-2build1) ... 128s Setting up libwayland-egl1:amd64 (1.24.0-1build1) ... 128s Setting up libtsan2:amd64 (15.2.0-5ubuntu1) ... 128s Setting up libisl23:amd64 (0.27-1) ... 128s Setting up libxcomposite1:amd64 (1:0.4.6-1) ... 128s Setting up libcc1-0:amd64 (15.2.0-5ubuntu1) ... 128s Setting up liblsan0:amd64 (15.2.0-5ubuntu1) ... 128s Setting up libitm1:amd64 (15.2.0-5ubuntu1) ... 128s Setting up libwayland-client0:amd64 (1.24.0-1build1) ... 128s Setting up libjpeg8:amd64 (8c-2ubuntu11) ... 128s Setting up libcvc5-1:amd64 (1.1.2-2build1) ... 128s Setting up libgcc-15-dev:amd64 (15.2.0-5ubuntu1) ... 128s Setting up libatk1.0-0t64:amd64 (2.57.1-1) ... 128s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 128s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 129s Setting up libxcursor1:amd64 (1:1.2.3-1) ... 129s Setting up libavahi-common3:amd64 (0.8-16ubuntu3) ... 129s Setting up dconf-service (0.49.0-1) ... 129s Setting up cpp-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 129s Setting up gcc-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 129s Setting up libthai0:amd64 (0.1.29-2build1) ... 129s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 129s Setting up ocaml-interp (5.3.0-3) ... 129s Setting up libcvc5parser1:amd64 (1.1.2-2build1) ... 129s Setting up cpp-15 (15.2.0-5ubuntu1) ... 129s Setting up cvc5 (1.1.2-2build1) ... 129s Setting up libtiff6:amd64 (4.7.0-3ubuntu3) ... 129s Setting up libwayland-cursor0:amd64 (1.24.0-1build1) ... 129s Setting up libgdk-pixbuf-2.0-0:amd64 (2.44.4+dfsg-1) ... 129s Setting up libfontconfig1:amd64 (2.15.0-2.3ubuntu1) ... 129s Setting up libavahi-client3:amd64 (0.8-16ubuntu3) ... 129s Setting up cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 129s Setting up libatk-bridge2.0-0t64:amd64 (2.57.1-1) ... 129s Setting up gtk-update-icon-cache (4.20.2+ds-1) ... 129s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 131s Regenerating fonts cache... done. 131s Setting up gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 131s Setting up dconf-gsettings-backend:amd64 (0.49.0-1) ... 131s Setting up libpango-1.0-0:amd64 (1.56.3-2) ... 131s Setting up libcairo2:amd64 (1.18.4-1build1) ... 131s Setting up gcc-15 (15.2.0-5ubuntu1) ... 131s Setting up adwaita-icon-theme (49.0-1) ... 131s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 131s Setting up cpp (4:15.2.0-4ubuntu1) ... 131s Setting up libcairo-gobject2:amd64 (1.18.4-1build1) ... 131s Setting up libpangoft2-1.0-0:amd64 (1.56.3-2) ... 131s Setting up libcups2t64:amd64 (2.4.12-0ubuntu3) ... 131s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 131s Setting up libpangocairo-1.0-0:amd64 (1.56.3-2) ... 131s Setting up libcairo2-ocaml (0.6.5-2build2) ... 131s Setting up gcc (4:15.2.0-4ubuntu1) ... 131s Setting up ocaml (5.3.0-3) ... 131s Processing triggers for libc-bin (2.42-0ubuntu3) ... 131s Processing triggers for man-db (2.13.1-1) ... 131s Processing triggers for libglib2.0-0t64:amd64 (2.86.1-1) ... 131s Setting up libgtk-3-0t64:amd64 (3.24.50-1ubuntu2) ... 131s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 131s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-5) ... 131s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 131s Setting up why3 (1.8.2-1) ... 131s Processing triggers for libc-bin (2.42-0ubuntu3) ... 133s autopkgtest [12:22:55]: test why3+cvc5: [----------------------- 134s autopkgtest [12:22:56]: test why3+cvc5: -----------------------] 134s autopkgtest [12:22:56]: test why3+cvc5: - - - - - - - - - - results - - - - - - - - - - 134s why3+cvc5 PASS 135s autopkgtest [12:22:57]: test why3+spass: preparing testbed 152s Creating nova instance adt-resolute-amd64-why3-20251026-122042-juju-7f2275-prod-proposed-migration-environment-20-af6ff95c-ac65-460c-929a-b5c2053d9a8e from image adt/ubuntu-resolute-amd64-server-20251026.img (UUID 08b4d2da-572c-4a3f-82f9-021e099dc3d7)... 192s autopkgtest [12:23:54]: testbed dpkg architecture: amd64 192s autopkgtest [12:23:54]: testbed apt version: 3.1.8ubuntu1 193s autopkgtest [12:23:55]: @@@@@@@@@@@@@@@@@@@@ test bed setup 193s autopkgtest [12:23:55]: testbed release detected to be: resolute 193s autopkgtest [12:23:55]: updating testbed package index (apt update) 194s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [87.8 kB] 194s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 194s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 194s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 194s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [16.5 kB] 194s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 194s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [61.7 kB] 194s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [422 kB] 194s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 Packages [162 kB] 194s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/main i386 Packages [111 kB] 194s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 c-n-f Metadata [3356 B] 194s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 Packages [28.6 kB] 194s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/restricted i386 Packages [3744 B] 194s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 c-n-f Metadata [336 B] 194s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 Packages [312 kB] 194s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/universe i386 Packages [137 kB] 194s Get:17 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 c-n-f Metadata [11.1 kB] 194s Get:18 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 Packages [6132 B] 194s Get:19 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse i386 Packages [2476 B] 194s Get:20 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 c-n-f Metadata [492 B] 195s Fetched 1373 kB in 1s (1666 kB/s) 196s Reading package lists... 197s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 197s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 197s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 197s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 198s Reading package lists... 198s Reading package lists... 198s Building dependency tree... 198s Reading state information... 198s Calculating upgrade... 198s The following packages will be upgraded: 198s binutils binutils-common binutils-x86-64-linux-gnu gir1.2-glib-2.0 198s libbinutils libctf-nobfd0 libctf0 libglib2.0-0t64 libglib2.0-data 198s libgprofng0 libsframe2 198s 11 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 198s Need to get 5322 kB of archives. 198s After this operation, 728 kB of additional disk space will be used. 198s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 gir1.2-glib-2.0 amd64 2.86.1-1 [182 kB] 199s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 libglib2.0-0t64 amd64 2.86.1-1 [1692 kB] 199s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 libglib2.0-data all 2.86.1-1 [56.7 kB] 199s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libgprofng0 amd64 2.45-8ubuntu1 [930 kB] 199s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 libctf0 amd64 2.45-8ubuntu1 [104 kB] 199s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 libctf-nobfd0 amd64 2.45-8ubuntu1 [106 kB] 199s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils-x86-64-linux-gnu amd64 2.45-8ubuntu1 [1177 kB] 199s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 libbinutils amd64 2.45-8ubuntu1 [624 kB] 199s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils amd64 2.45-8ubuntu1 [211 kB] 199s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils-common amd64 2.45-8ubuntu1 [221 kB] 199s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 libsframe2 amd64 2.45-8ubuntu1 [17.0 kB] 199s dpkg-preconfigure: unable to re-open stdin: No such file or directory 199s Fetched 5322 kB in 1s (9977 kB/s) 200s (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 ... 78454 files and directories currently installed.) 200s Preparing to unpack .../00-gir1.2-glib-2.0_2.86.1-1_amd64.deb ... 200s Unpacking gir1.2-glib-2.0:amd64 (2.86.1-1) over (2.86.0-2) ... 200s Preparing to unpack .../01-libglib2.0-0t64_2.86.1-1_amd64.deb ... 200s Unpacking libglib2.0-0t64:amd64 (2.86.1-1) over (2.86.0-2) ... 200s Preparing to unpack .../02-libglib2.0-data_2.86.1-1_all.deb ... 200s Unpacking libglib2.0-data (2.86.1-1) over (2.86.0-2) ... 200s Preparing to unpack .../03-libgprofng0_2.45-8ubuntu1_amd64.deb ... 200s Unpacking libgprofng0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 200s Preparing to unpack .../04-libctf0_2.45-8ubuntu1_amd64.deb ... 200s Unpacking libctf0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 200s Preparing to unpack .../05-libctf-nobfd0_2.45-8ubuntu1_amd64.deb ... 200s Unpacking libctf-nobfd0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 200s Preparing to unpack .../06-binutils-x86-64-linux-gnu_2.45-8ubuntu1_amd64.deb ... 200s Unpacking binutils-x86-64-linux-gnu (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 200s Preparing to unpack .../07-libbinutils_2.45-8ubuntu1_amd64.deb ... 200s Unpacking libbinutils:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 200s Preparing to unpack .../08-binutils_2.45-8ubuntu1_amd64.deb ... 200s Unpacking binutils (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 200s Preparing to unpack .../09-binutils-common_2.45-8ubuntu1_amd64.deb ... 200s Unpacking binutils-common:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 200s Preparing to unpack .../10-libsframe2_2.45-8ubuntu1_amd64.deb ... 200s Unpacking libsframe2:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 200s Setting up libsframe2:amd64 (2.45-8ubuntu1) ... 200s Setting up binutils-common:amd64 (2.45-8ubuntu1) ... 200s Setting up libctf-nobfd0:amd64 (2.45-8ubuntu1) ... 200s Setting up libglib2.0-0t64:amd64 (2.86.1-1) ... 200s No schema files found: doing nothing. 200s Setting up libglib2.0-data (2.86.1-1) ... 200s Setting up gir1.2-glib-2.0:amd64 (2.86.1-1) ... 200s Setting up libbinutils:amd64 (2.45-8ubuntu1) ... 200s Setting up libctf0:amd64 (2.45-8ubuntu1) ... 200s Setting up libgprofng0:amd64 (2.45-8ubuntu1) ... 200s Setting up binutils-x86-64-linux-gnu (2.45-8ubuntu1) ... 200s Setting up binutils (2.45-8ubuntu1) ... 200s Processing triggers for libc-bin (2.42-0ubuntu3) ... 200s Processing triggers for man-db (2.13.1-1) ... 201s autopkgtest [12:24:03]: upgrading testbed (apt dist-upgrade and autopurge) 201s Reading package lists... 201s Building dependency tree... 201s Reading state information... 202s Calculating upgrade... 202s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 202s Reading package lists... 202s Building dependency tree... 202s Reading state information... 202s Solving dependencies... 202s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 205s Reading package lists... 205s Building dependency tree... 205s Reading state information... 205s Solving dependencies... 205s The following NEW packages will be installed: 205s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-x86-64-linux-gnu 205s cpp-x86-64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 205s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 205s gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu gtk-update-icon-cache 205s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 205s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 205s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 205s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 205s libepoxy0 libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 205s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 205s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 205s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 205s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 205s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 205s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 205s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 205s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 205s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 205s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass 205s tex-common why3 205s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 205s Need to get 169 MB of archives. 205s After this operation, 522 MB of additional disk space will be used. 205s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 libgdk-pixbuf2.0-common all 2.44.4+dfsg-1 [8584 B] 205s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 libjpeg-turbo8 amd64 2.1.5-4ubuntu2 [152 kB] 205s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 libjpeg8 amd64 8c-2ubuntu11 [2148 B] 205s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libdeflate0 amd64 1.23-2 [49.9 kB] 205s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 libjbig0 amd64 2.1-6.1ubuntu2 [29.7 kB] 205s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 liblerc4 amd64 4.0.0+ds-5ubuntu1 [271 kB] 205s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [25.9 kB] 205s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 libwebp7 amd64 1.5.0-0.1 [378 kB] 205s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 libtiff6 amd64 4.7.0-3ubuntu3 [209 kB] 205s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 libgdk-pixbuf-2.0-0 amd64 2.44.4+dfsg-1 [153 kB] 205s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 gtk-update-icon-cache amd64 4.20.2+ds-1 [54.6 kB] 205s Get:12 http://ftpmaster.internal/ubuntu resolute/main amd64 hicolor-icon-theme all 0.18-2 [13.3 kB] 205s Get:13 http://ftpmaster.internal/ubuntu resolute/main amd64 adwaita-icon-theme all 49.0-1 [581 kB] 205s Get:14 http://ftpmaster.internal/ubuntu resolute/main amd64 at-spi2-common all 2.57.1-1 [9432 B] 205s Get:15 http://ftpmaster.internal/ubuntu resolute/main amd64 libisl23 amd64 0.27-1 [685 kB] 205s Get:16 http://ftpmaster.internal/ubuntu resolute/main amd64 libmpc3 amd64 1.3.1-1build3 [57.0 kB] 206s Get:17 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [12.9 MB] 206s Get:18 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15 amd64 15.2.0-5ubuntu1 [1028 B] 206s Get:19 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [5746 B] 206s Get:20 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp amd64 4:15.2.0-4ubuntu1 [22.4 kB] 206s Get:21 http://ftpmaster.internal/ubuntu resolute/main amd64 libdconf1 amd64 0.49.0-1 [40.2 kB] 206s Get:22 http://ftpmaster.internal/ubuntu resolute/main amd64 dconf-service amd64 0.49.0-1 [27.7 kB] 206s Get:23 http://ftpmaster.internal/ubuntu resolute/main amd64 dconf-gsettings-backend amd64 0.49.0-1 [22.2 kB] 206s Get:24 http://ftpmaster.internal/ubuntu resolute/main amd64 fonts-dejavu-mono all 2.37-8 [502 kB] 206s Get:25 http://ftpmaster.internal/ubuntu resolute/main amd64 fonts-dejavu-core all 2.37-8 [835 kB] 206s Get:26 http://ftpmaster.internal/ubuntu resolute/main amd64 fontconfig-config amd64 2.15.0-2.3ubuntu1 [38.0 kB] 206s Get:27 http://ftpmaster.internal/ubuntu resolute/main amd64 libfontconfig1 amd64 2.15.0-2.3ubuntu1 [141 kB] 206s Get:28 http://ftpmaster.internal/ubuntu resolute/main amd64 fontconfig amd64 2.15.0-2.3ubuntu1 [180 kB] 206s Get:29 http://ftpmaster.internal/ubuntu resolute/main amd64 libcc1-0 amd64 15.2.0-5ubuntu1 [47.4 kB] 206s Get:30 http://ftpmaster.internal/ubuntu resolute/main amd64 libgomp1 amd64 15.2.0-5ubuntu1 [151 kB] 206s Get:31 http://ftpmaster.internal/ubuntu resolute/main amd64 libitm1 amd64 15.2.0-5ubuntu1 [29.3 kB] 206s Get:32 http://ftpmaster.internal/ubuntu resolute/main amd64 libasan8 amd64 15.2.0-5ubuntu1 [3071 kB] 206s Get:33 http://ftpmaster.internal/ubuntu resolute/main amd64 liblsan0 amd64 15.2.0-5ubuntu1 [1360 kB] 206s Get:34 http://ftpmaster.internal/ubuntu resolute/main amd64 libtsan2 amd64 15.2.0-5ubuntu1 [2757 kB] 206s Get:35 http://ftpmaster.internal/ubuntu resolute/main amd64 libubsan1 amd64 15.2.0-5ubuntu1 [1210 kB] 206s Get:36 http://ftpmaster.internal/ubuntu resolute/main amd64 libhwasan0 amd64 15.2.0-5ubuntu1 [1685 kB] 206s Get:37 http://ftpmaster.internal/ubuntu resolute/main amd64 libquadmath0 amd64 15.2.0-5ubuntu1 [153 kB] 206s Get:38 http://ftpmaster.internal/ubuntu resolute/main amd64 libgcc-15-dev amd64 15.2.0-5ubuntu1 [2863 kB] 206s Get:39 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [25.4 MB] 207s Get:40 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15 amd64 15.2.0-5ubuntu1 [523 kB] 207s Get:41 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [1208 B] 207s Get:42 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc amd64 4:15.2.0-4ubuntu1 [5024 B] 207s Get:43 http://ftpmaster.internal/ubuntu resolute/main amd64 libatk1.0-0t64 amd64 2.57.1-1 [56.3 kB] 207s Get:44 http://ftpmaster.internal/ubuntu resolute/main amd64 libxi6 amd64 2:1.8.2-1 [32.4 kB] 207s Get:45 http://ftpmaster.internal/ubuntu resolute/main amd64 libatspi2.0-0t64 amd64 2.57.1-1 [85.3 kB] 207s Get:46 http://ftpmaster.internal/ubuntu resolute/main amd64 libatk-bridge2.0-0t64 amd64 2.57.1-1 [66.7 kB] 207s Get:47 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-common-data amd64 0.8-16ubuntu3 [31.1 kB] 207s Get:48 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-common3 amd64 0.8-16ubuntu3 [25.3 kB] 207s Get:49 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-client3 amd64 0.8-16ubuntu3 [28.8 kB] 207s Get:50 http://ftpmaster.internal/ubuntu resolute/main amd64 libpixman-1-0 amd64 0.44.0-3 [427 kB] 207s Get:51 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcb-render0 amd64 1.17.0-2build1 [17.4 kB] 207s Get:52 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcb-shm0 amd64 1.17.0-2build1 [6120 B] 207s Get:53 http://ftpmaster.internal/ubuntu resolute/main amd64 libxrender1 amd64 1:0.9.12-1 [19.8 kB] 207s Get:54 http://ftpmaster.internal/ubuntu resolute/main amd64 libcairo2 amd64 1.18.4-1build1 [611 kB] 207s Get:55 http://ftpmaster.internal/ubuntu resolute/main amd64 libcairo-gobject2 amd64 1.18.4-1build1 [128 kB] 207s Get:56 http://ftpmaster.internal/ubuntu resolute/universe amd64 libstdlib-ocaml amd64 5.3.0-3 [419 kB] 207s Get:57 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml-base amd64 5.3.0-3 [312 kB] 207s Get:58 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcairo2-ocaml amd64 0.6.5-2build2 [29.1 kB] 207s Get:59 http://ftpmaster.internal/ubuntu resolute/main amd64 liblcms2-2 amd64 2.16-2 [212 kB] 207s Get:60 http://ftpmaster.internal/ubuntu resolute/main amd64 libcolord2 amd64 1.4.7-3build1 [149 kB] 207s Get:61 http://ftpmaster.internal/ubuntu resolute/universe amd64 libstdlib-ocaml-dev amd64 5.3.0-3 [7828 kB] 207s Get:62 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-3 [48.2 MB] 208s Get:63 http://ftpmaster.internal/ubuntu resolute/main amd64 libcups2t64 amd64 2.4.12-0ubuntu3 [272 kB] 208s Get:64 http://ftpmaster.internal/ubuntu resolute/main amd64 libdatrie1 amd64 0.2.13-4 [19.3 kB] 208s Get:65 http://ftpmaster.internal/ubuntu resolute/main amd64 libepoxy0 amd64 1.5.10-2 [218 kB] 208s Get:66 http://ftpmaster.internal/ubuntu resolute/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 208s Get:67 http://ftpmaster.internal/ubuntu resolute/main amd64 libharfbuzz0b amd64 12.1.0-1 [535 kB] 208s Get:68 http://ftpmaster.internal/ubuntu resolute/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 208s Get:69 http://ftpmaster.internal/ubuntu resolute/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 208s Get:70 http://ftpmaster.internal/ubuntu resolute/main amd64 libpango-1.0-0 amd64 1.56.3-2 [239 kB] 208s Get:71 http://ftpmaster.internal/ubuntu resolute/main amd64 libpangoft2-1.0-0 amd64 1.56.3-2 [52.5 kB] 208s Get:72 http://ftpmaster.internal/ubuntu resolute/main amd64 libpangocairo-1.0-0 amd64 1.56.3-2 [29.0 kB] 208s Get:73 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-client0 amd64 1.24.0-1build1 [29.6 kB] 208s Get:74 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-cursor0 amd64 1.24.0-1build1 [11.1 kB] 208s Get:75 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-egl1 amd64 1.24.0-1build1 [6474 B] 208s Get:76 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcomposite1 amd64 1:0.4.6-1 [6642 B] 208s Get:77 http://ftpmaster.internal/ubuntu resolute/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 208s Get:78 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcursor1 amd64 1:1.2.3-1 [23.1 kB] 208s Get:79 http://ftpmaster.internal/ubuntu resolute/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 208s Get:80 http://ftpmaster.internal/ubuntu resolute/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 208s Get:81 http://ftpmaster.internal/ubuntu resolute/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 208s Get:82 http://ftpmaster.internal/ubuntu resolute/main amd64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 208s Get:83 http://ftpmaster.internal/ubuntu resolute/main amd64 libgtk-3-0t64 amd64 3.24.50-1ubuntu2 [3263 kB] 208s Get:84 http://ftpmaster.internal/ubuntu resolute/universe amd64 libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 208s Get:85 http://ftpmaster.internal/ubuntu resolute/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-5 [249 kB] 208s Get:86 http://ftpmaster.internal/ubuntu resolute/universe amd64 liblablgtk3-ocaml amd64 3.1.5-1build4 [3538 kB] 208s Get:87 http://ftpmaster.internal/ubuntu resolute/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.5-1build4 [326 kB] 208s Get:88 http://ftpmaster.internal/ubuntu resolute/main amd64 libncurses-dev amd64 6.5+20250216-2build1 [408 kB] 208s Get:89 http://ftpmaster.internal/ubuntu resolute/main amd64 libzstd-dev amd64 1.5.7+dfsg-1build2 [387 kB] 208s Get:90 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml-interp amd64 5.3.0-3 [8365 kB] 208s Get:91 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml amd64 5.3.0-3 [19.9 MB] 208s Get:92 http://ftpmaster.internal/ubuntu resolute/universe amd64 spass amd64 3.9-1.1 [296 kB] 208s Get:93 http://ftpmaster.internal/ubuntu resolute/universe amd64 tex-common all 6.19 [29.8 kB] 208s Get:94 http://ftpmaster.internal/ubuntu resolute/universe amd64 why3 amd64 1.8.2-1 [13.3 MB] 209s Fetched 169 MB in 4s (47.4 MB/s) 209s Selecting previously unselected package libgdk-pixbuf2.0-common. 209s (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 ... 78454 files and directories currently installed.) 209s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.44.4+dfsg-1_all.deb ... 209s Unpacking libgdk-pixbuf2.0-common (2.44.4+dfsg-1) ... 209s Selecting previously unselected package libjpeg-turbo8:amd64. 209s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_amd64.deb ... 209s Unpacking libjpeg-turbo8:amd64 (2.1.5-4ubuntu2) ... 209s Selecting previously unselected package libjpeg8:amd64. 209s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_amd64.deb ... 209s Unpacking libjpeg8:amd64 (8c-2ubuntu11) ... 209s Selecting previously unselected package libdeflate0:amd64. 209s Preparing to unpack .../03-libdeflate0_1.23-2_amd64.deb ... 209s Unpacking libdeflate0:amd64 (1.23-2) ... 209s Selecting previously unselected package libjbig0:amd64. 209s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_amd64.deb ... 209s Unpacking libjbig0:amd64 (2.1-6.1ubuntu2) ... 209s Selecting previously unselected package liblerc4:amd64. 209s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_amd64.deb ... 209s Unpacking liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 209s Selecting previously unselected package libsharpyuv0:amd64. 209s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_amd64.deb ... 209s Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... 209s Selecting previously unselected package libwebp7:amd64. 209s Preparing to unpack .../07-libwebp7_1.5.0-0.1_amd64.deb ... 209s Unpacking libwebp7:amd64 (1.5.0-0.1) ... 209s Selecting previously unselected package libtiff6:amd64. 209s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_amd64.deb ... 209s Unpacking libtiff6:amd64 (4.7.0-3ubuntu3) ... 209s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 209s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.44.4+dfsg-1_amd64.deb ... 209s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.44.4+dfsg-1) ... 209s Selecting previously unselected package gtk-update-icon-cache. 209s Preparing to unpack .../10-gtk-update-icon-cache_4.20.2+ds-1_amd64.deb ... 209s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 209s 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. 209s Unpacking gtk-update-icon-cache (4.20.2+ds-1) ... 209s Selecting previously unselected package hicolor-icon-theme. 209s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 209s Unpacking hicolor-icon-theme (0.18-2) ... 209s Selecting previously unselected package adwaita-icon-theme. 209s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 209s Unpacking adwaita-icon-theme (49.0-1) ... 209s Selecting previously unselected package at-spi2-common. 209s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 209s Unpacking at-spi2-common (2.57.1-1) ... 209s Selecting previously unselected package libisl23:amd64. 209s Preparing to unpack .../14-libisl23_0.27-1_amd64.deb ... 209s Unpacking libisl23:amd64 (0.27-1) ... 209s Selecting previously unselected package libmpc3:amd64. 209s Preparing to unpack .../15-libmpc3_1.3.1-1build3_amd64.deb ... 209s Unpacking libmpc3:amd64 (1.3.1-1build3) ... 209s Selecting previously unselected package cpp-15-x86-64-linux-gnu. 209s Preparing to unpack .../16-cpp-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 209s Unpacking cpp-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package cpp-15. 210s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_amd64.deb ... 210s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package cpp-x86-64-linux-gnu. 210s Preparing to unpack .../18-cpp-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 210s Unpacking cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 210s Selecting previously unselected package cpp. 210s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_amd64.deb ... 210s Unpacking cpp (4:15.2.0-4ubuntu1) ... 210s Selecting previously unselected package libdconf1:amd64. 210s Preparing to unpack .../20-libdconf1_0.49.0-1_amd64.deb ... 210s Unpacking libdconf1:amd64 (0.49.0-1) ... 210s Selecting previously unselected package dconf-service. 210s Preparing to unpack .../21-dconf-service_0.49.0-1_amd64.deb ... 210s Unpacking dconf-service (0.49.0-1) ... 210s Selecting previously unselected package dconf-gsettings-backend:amd64. 210s Preparing to unpack .../22-dconf-gsettings-backend_0.49.0-1_amd64.deb ... 210s Unpacking dconf-gsettings-backend:amd64 (0.49.0-1) ... 210s Selecting previously unselected package fonts-dejavu-mono. 210s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 210s Unpacking fonts-dejavu-mono (2.37-8) ... 210s Selecting previously unselected package fonts-dejavu-core. 210s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 210s Unpacking fonts-dejavu-core (2.37-8) ... 210s Selecting previously unselected package fontconfig-config. 210s Preparing to unpack .../25-fontconfig-config_2.15.0-2.3ubuntu1_amd64.deb ... 210s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 210s Selecting previously unselected package libfontconfig1:amd64. 210s Preparing to unpack .../26-libfontconfig1_2.15.0-2.3ubuntu1_amd64.deb ... 210s Unpacking libfontconfig1:amd64 (2.15.0-2.3ubuntu1) ... 210s Selecting previously unselected package fontconfig. 210s Preparing to unpack .../27-fontconfig_2.15.0-2.3ubuntu1_amd64.deb ... 210s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 210s Selecting previously unselected package libcc1-0:amd64. 210s Preparing to unpack .../28-libcc1-0_15.2.0-5ubuntu1_amd64.deb ... 210s Unpacking libcc1-0:amd64 (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package libgomp1:amd64. 210s Preparing to unpack .../29-libgomp1_15.2.0-5ubuntu1_amd64.deb ... 210s Unpacking libgomp1:amd64 (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package libitm1:amd64. 210s Preparing to unpack .../30-libitm1_15.2.0-5ubuntu1_amd64.deb ... 210s Unpacking libitm1:amd64 (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package libasan8:amd64. 210s Preparing to unpack .../31-libasan8_15.2.0-5ubuntu1_amd64.deb ... 210s Unpacking libasan8:amd64 (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package liblsan0:amd64. 210s Preparing to unpack .../32-liblsan0_15.2.0-5ubuntu1_amd64.deb ... 210s Unpacking liblsan0:amd64 (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package libtsan2:amd64. 210s Preparing to unpack .../33-libtsan2_15.2.0-5ubuntu1_amd64.deb ... 210s Unpacking libtsan2:amd64 (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package libubsan1:amd64. 210s Preparing to unpack .../34-libubsan1_15.2.0-5ubuntu1_amd64.deb ... 210s Unpacking libubsan1:amd64 (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package libhwasan0:amd64. 210s Preparing to unpack .../35-libhwasan0_15.2.0-5ubuntu1_amd64.deb ... 210s Unpacking libhwasan0:amd64 (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package libquadmath0:amd64. 210s Preparing to unpack .../36-libquadmath0_15.2.0-5ubuntu1_amd64.deb ... 210s Unpacking libquadmath0:amd64 (15.2.0-5ubuntu1) ... 210s Selecting previously unselected package libgcc-15-dev:amd64. 211s Preparing to unpack .../37-libgcc-15-dev_15.2.0-5ubuntu1_amd64.deb ... 211s Unpacking libgcc-15-dev:amd64 (15.2.0-5ubuntu1) ... 211s Selecting previously unselected package gcc-15-x86-64-linux-gnu. 211s Preparing to unpack .../38-gcc-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 211s Unpacking gcc-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 211s Selecting previously unselected package gcc-15. 211s Preparing to unpack .../39-gcc-15_15.2.0-5ubuntu1_amd64.deb ... 211s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 211s Selecting previously unselected package gcc-x86-64-linux-gnu. 211s Preparing to unpack .../40-gcc-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 211s Unpacking gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 211s Selecting previously unselected package gcc. 211s Preparing to unpack .../41-gcc_4%3a15.2.0-4ubuntu1_amd64.deb ... 211s Unpacking gcc (4:15.2.0-4ubuntu1) ... 211s Selecting previously unselected package libatk1.0-0t64:amd64. 211s Preparing to unpack .../42-libatk1.0-0t64_2.57.1-1_amd64.deb ... 211s Unpacking libatk1.0-0t64:amd64 (2.57.1-1) ... 211s Selecting previously unselected package libxi6:amd64. 211s Preparing to unpack .../43-libxi6_2%3a1.8.2-1_amd64.deb ... 211s Unpacking libxi6:amd64 (2:1.8.2-1) ... 211s Selecting previously unselected package libatspi2.0-0t64:amd64. 211s Preparing to unpack .../44-libatspi2.0-0t64_2.57.1-1_amd64.deb ... 211s Unpacking libatspi2.0-0t64:amd64 (2.57.1-1) ... 211s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 211s Preparing to unpack .../45-libatk-bridge2.0-0t64_2.57.1-1_amd64.deb ... 211s Unpacking libatk-bridge2.0-0t64:amd64 (2.57.1-1) ... 211s Selecting previously unselected package libavahi-common-data:amd64. 211s Preparing to unpack .../46-libavahi-common-data_0.8-16ubuntu3_amd64.deb ... 211s Unpacking libavahi-common-data:amd64 (0.8-16ubuntu3) ... 211s Selecting previously unselected package libavahi-common3:amd64. 211s Preparing to unpack .../47-libavahi-common3_0.8-16ubuntu3_amd64.deb ... 211s Unpacking libavahi-common3:amd64 (0.8-16ubuntu3) ... 211s Selecting previously unselected package libavahi-client3:amd64. 211s Preparing to unpack .../48-libavahi-client3_0.8-16ubuntu3_amd64.deb ... 211s Unpacking libavahi-client3:amd64 (0.8-16ubuntu3) ... 211s Selecting previously unselected package libpixman-1-0:amd64. 211s Preparing to unpack .../49-libpixman-1-0_0.44.0-3_amd64.deb ... 211s Unpacking libpixman-1-0:amd64 (0.44.0-3) ... 211s Selecting previously unselected package libxcb-render0:amd64. 211s Preparing to unpack .../50-libxcb-render0_1.17.0-2build1_amd64.deb ... 211s Unpacking libxcb-render0:amd64 (1.17.0-2build1) ... 211s Selecting previously unselected package libxcb-shm0:amd64. 211s Preparing to unpack .../51-libxcb-shm0_1.17.0-2build1_amd64.deb ... 211s Unpacking libxcb-shm0:amd64 (1.17.0-2build1) ... 211s Selecting previously unselected package libxrender1:amd64. 211s Preparing to unpack .../52-libxrender1_1%3a0.9.12-1_amd64.deb ... 211s Unpacking libxrender1:amd64 (1:0.9.12-1) ... 211s Selecting previously unselected package libcairo2:amd64. 211s Preparing to unpack .../53-libcairo2_1.18.4-1build1_amd64.deb ... 211s Unpacking libcairo2:amd64 (1.18.4-1build1) ... 211s Selecting previously unselected package libcairo-gobject2:amd64. 211s Preparing to unpack .../54-libcairo-gobject2_1.18.4-1build1_amd64.deb ... 211s Unpacking libcairo-gobject2:amd64 (1.18.4-1build1) ... 211s Selecting previously unselected package libstdlib-ocaml. 211s Preparing to unpack .../55-libstdlib-ocaml_5.3.0-3_amd64.deb ... 211s Unpacking libstdlib-ocaml (5.3.0-3) ... 211s Selecting previously unselected package ocaml-base. 211s Preparing to unpack .../56-ocaml-base_5.3.0-3_amd64.deb ... 211s Unpacking ocaml-base (5.3.0-3) ... 211s Selecting previously unselected package libcairo2-ocaml. 211s Preparing to unpack .../57-libcairo2-ocaml_0.6.5-2build2_amd64.deb ... 211s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 211s Selecting previously unselected package liblcms2-2:amd64. 211s Preparing to unpack .../58-liblcms2-2_2.16-2_amd64.deb ... 211s Unpacking liblcms2-2:amd64 (2.16-2) ... 211s Selecting previously unselected package libcolord2:amd64. 211s Preparing to unpack .../59-libcolord2_1.4.7-3build1_amd64.deb ... 211s Unpacking libcolord2:amd64 (1.4.7-3build1) ... 211s Selecting previously unselected package libstdlib-ocaml-dev. 211s Preparing to unpack .../60-libstdlib-ocaml-dev_5.3.0-3_amd64.deb ... 211s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 212s Selecting previously unselected package libcompiler-libs-ocaml-dev. 212s Preparing to unpack .../61-libcompiler-libs-ocaml-dev_5.3.0-3_amd64.deb ... 212s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 212s Selecting previously unselected package libcups2t64:amd64. 212s Preparing to unpack .../62-libcups2t64_2.4.12-0ubuntu3_amd64.deb ... 212s Unpacking libcups2t64:amd64 (2.4.12-0ubuntu3) ... 212s Selecting previously unselected package libdatrie1:amd64. 212s Preparing to unpack .../63-libdatrie1_0.2.13-4_amd64.deb ... 212s Unpacking libdatrie1:amd64 (0.2.13-4) ... 212s Selecting previously unselected package libepoxy0:amd64. 212s Preparing to unpack .../64-libepoxy0_1.5.10-2_amd64.deb ... 212s Unpacking libepoxy0:amd64 (1.5.10-2) ... 212s Selecting previously unselected package libgraphite2-3:amd64. 212s Preparing to unpack .../65-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 212s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 212s Selecting previously unselected package libharfbuzz0b:amd64. 212s Preparing to unpack .../66-libharfbuzz0b_12.1.0-1_amd64.deb ... 212s Unpacking libharfbuzz0b:amd64 (12.1.0-1) ... 212s Selecting previously unselected package libthai-data. 212s Preparing to unpack .../67-libthai-data_0.1.29-2build1_all.deb ... 212s Unpacking libthai-data (0.1.29-2build1) ... 212s Selecting previously unselected package libthai0:amd64. 212s Preparing to unpack .../68-libthai0_0.1.29-2build1_amd64.deb ... 212s Unpacking libthai0:amd64 (0.1.29-2build1) ... 212s Selecting previously unselected package libpango-1.0-0:amd64. 212s Preparing to unpack .../69-libpango-1.0-0_1.56.3-2_amd64.deb ... 212s Unpacking libpango-1.0-0:amd64 (1.56.3-2) ... 212s Selecting previously unselected package libpangoft2-1.0-0:amd64. 212s Preparing to unpack .../70-libpangoft2-1.0-0_1.56.3-2_amd64.deb ... 212s Unpacking libpangoft2-1.0-0:amd64 (1.56.3-2) ... 212s Selecting previously unselected package libpangocairo-1.0-0:amd64. 212s Preparing to unpack .../71-libpangocairo-1.0-0_1.56.3-2_amd64.deb ... 212s Unpacking libpangocairo-1.0-0:amd64 (1.56.3-2) ... 212s Selecting previously unselected package libwayland-client0:amd64. 212s Preparing to unpack .../72-libwayland-client0_1.24.0-1build1_amd64.deb ... 212s Unpacking libwayland-client0:amd64 (1.24.0-1build1) ... 212s Selecting previously unselected package libwayland-cursor0:amd64. 212s Preparing to unpack .../73-libwayland-cursor0_1.24.0-1build1_amd64.deb ... 212s Unpacking libwayland-cursor0:amd64 (1.24.0-1build1) ... 212s Selecting previously unselected package libwayland-egl1:amd64. 212s Preparing to unpack .../74-libwayland-egl1_1.24.0-1build1_amd64.deb ... 212s Unpacking libwayland-egl1:amd64 (1.24.0-1build1) ... 212s Selecting previously unselected package libxcomposite1:amd64. 212s Preparing to unpack .../75-libxcomposite1_1%3a0.4.6-1_amd64.deb ... 212s Unpacking libxcomposite1:amd64 (1:0.4.6-1) ... 212s Selecting previously unselected package libxfixes3:amd64. 212s Preparing to unpack .../76-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 212s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 212s Selecting previously unselected package libxcursor1:amd64. 212s Preparing to unpack .../77-libxcursor1_1%3a1.2.3-1_amd64.deb ... 212s Unpacking libxcursor1:amd64 (1:1.2.3-1) ... 212s Selecting previously unselected package libxdamage1:amd64. 212s Preparing to unpack .../78-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 212s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 212s Selecting previously unselected package libxinerama1:amd64. 212s Preparing to unpack .../79-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 212s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 212s Selecting previously unselected package libxrandr2:amd64. 212s Preparing to unpack .../80-libxrandr2_2%3a1.5.4-1_amd64.deb ... 212s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 212s Selecting previously unselected package libgtk-3-common. 212s Preparing to unpack .../81-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 212s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 212s Selecting previously unselected package libgtk-3-0t64:amd64. 212s Preparing to unpack .../82-libgtk-3-0t64_3.24.50-1ubuntu2_amd64.deb ... 212s Unpacking libgtk-3-0t64:amd64 (3.24.50-1ubuntu2) ... 212s Selecting previously unselected package libgtksourceview-3.0-common. 212s Preparing to unpack .../83-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 212s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 213s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 213s Preparing to unpack .../84-libgtksourceview-3.0-1_3.24.11-5_amd64.deb ... 213s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-5) ... 213s Selecting previously unselected package liblablgtk3-ocaml. 213s Preparing to unpack .../85-liblablgtk3-ocaml_3.1.5-1build4_amd64.deb ... 213s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 213s Selecting previously unselected package liblablgtksourceview3-ocaml. 213s Preparing to unpack .../86-liblablgtksourceview3-ocaml_3.1.5-1build4_amd64.deb ... 213s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 213s Selecting previously unselected package libncurses-dev:amd64. 213s Preparing to unpack .../87-libncurses-dev_6.5+20250216-2build1_amd64.deb ... 213s Unpacking libncurses-dev:amd64 (6.5+20250216-2build1) ... 213s Selecting previously unselected package libzstd-dev:amd64. 213s Preparing to unpack .../88-libzstd-dev_1.5.7+dfsg-1build2_amd64.deb ... 213s Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1build2) ... 213s Selecting previously unselected package ocaml-interp. 213s Preparing to unpack .../89-ocaml-interp_5.3.0-3_amd64.deb ... 213s Unpacking ocaml-interp (5.3.0-3) ... 213s Selecting previously unselected package ocaml. 213s Preparing to unpack .../90-ocaml_5.3.0-3_amd64.deb ... 213s Unpacking ocaml (5.3.0-3) ... 213s Selecting previously unselected package spass. 213s Preparing to unpack .../91-spass_3.9-1.1_amd64.deb ... 213s Unpacking spass (3.9-1.1) ... 213s Selecting previously unselected package tex-common. 213s Preparing to unpack .../92-tex-common_6.19_all.deb ... 213s Unpacking tex-common (6.19) ... 213s Selecting previously unselected package why3. 213s Preparing to unpack .../93-why3_1.8.2-1_amd64.deb ... 213s Unpacking why3 (1.8.2-1) ... 214s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 214s Setting up liblcms2-2:amd64 (2.16-2) ... 214s Setting up libpixman-1-0:amd64 (0.44.0-3) ... 214s Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... 214s Setting up libncurses-dev:amd64 (6.5+20250216-2build1) ... 214s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 214s Setting up liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 214s Setting up libzstd-dev:amd64 (1.5.7+dfsg-1build2) ... 214s Setting up hicolor-icon-theme (0.18-2) ... 214s Setting up libxi6:amd64 (2:1.8.2-1) ... 214s Setting up libxrender1:amd64 (1:0.9.12-1) ... 214s Setting up libdatrie1:amd64 (0.2.13-4) ... 214s Setting up libxcb-render0:amd64 (1.17.0-2build1) ... 214s Setting up libgdk-pixbuf2.0-common (2.44.4+dfsg-1) ... 214s Setting up libdeflate0:amd64 (1.23-2) ... 214s Setting up libxcb-shm0:amd64 (1.17.0-2build1) ... 214s Setting up libgomp1:amd64 (15.2.0-5ubuntu1) ... 214s Setting up libjbig0:amd64 (2.1-6.1ubuntu2) ... 214s Setting up libcolord2:amd64 (1.4.7-3build1) ... 214s Setting up libdconf1:amd64 (0.49.0-1) ... 214s Setting up tex-common (6.19) ... 214s update-language: texlive-base not installed and configured, doing nothing! 214s Setting up libepoxy0:amd64 (1.5.10-2) ... 214s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 214s Setting up spass (3.9-1.1) ... 214s Setting up libavahi-common-data:amd64 (0.8-16ubuntu3) ... 214s Setting up libatspi2.0-0t64:amd64 (2.57.1-1) ... 214s Setting up libquadmath0:amd64 (15.2.0-5ubuntu1) ... 214s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 214s Setting up libstdlib-ocaml (5.3.0-3) ... 214s Setting up fonts-dejavu-mono (2.37-8) ... 214s Setting up libmpc3:amd64 (1.3.1-1build3) ... 214s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 214s Setting up ocaml-base (5.3.0-3) ... 214s Setting up fonts-dejavu-core (2.37-8) ... 214s Setting up libjpeg-turbo8:amd64 (2.1.5-4ubuntu2) ... 214s Setting up libwebp7:amd64 (1.5.0-0.1) ... 214s Setting up libubsan1:amd64 (15.2.0-5ubuntu1) ... 214s Setting up libhwasan0:amd64 (15.2.0-5ubuntu1) ... 214s Setting up at-spi2-common (2.57.1-1) ... 214s Setting up libasan8:amd64 (15.2.0-5ubuntu1) ... 214s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 214s Setting up libharfbuzz0b:amd64 (12.1.0-1) ... 214s Setting up libthai-data (0.1.29-2build1) ... 214s Setting up libwayland-egl1:amd64 (1.24.0-1build1) ... 214s Setting up libtsan2:amd64 (15.2.0-5ubuntu1) ... 214s Setting up libisl23:amd64 (0.27-1) ... 214s Setting up libxcomposite1:amd64 (1:0.4.6-1) ... 214s Setting up libcc1-0:amd64 (15.2.0-5ubuntu1) ... 214s Setting up liblsan0:amd64 (15.2.0-5ubuntu1) ... 214s Setting up libitm1:amd64 (15.2.0-5ubuntu1) ... 214s Setting up libwayland-client0:amd64 (1.24.0-1build1) ... 214s Setting up libjpeg8:amd64 (8c-2ubuntu11) ... 214s Setting up libgcc-15-dev:amd64 (15.2.0-5ubuntu1) ... 214s Setting up libatk1.0-0t64:amd64 (2.57.1-1) ... 214s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 214s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 214s Setting up libxcursor1:amd64 (1:1.2.3-1) ... 214s Setting up libavahi-common3:amd64 (0.8-16ubuntu3) ... 214s Setting up dconf-service (0.49.0-1) ... 214s Setting up cpp-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 214s Setting up gcc-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 214s Setting up libthai0:amd64 (0.1.29-2build1) ... 214s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 214s Setting up ocaml-interp (5.3.0-3) ... 214s Setting up cpp-15 (15.2.0-5ubuntu1) ... 214s Setting up libtiff6:amd64 (4.7.0-3ubuntu3) ... 214s Setting up libwayland-cursor0:amd64 (1.24.0-1build1) ... 214s Setting up libgdk-pixbuf-2.0-0:amd64 (2.44.4+dfsg-1) ... 214s Setting up libfontconfig1:amd64 (2.15.0-2.3ubuntu1) ... 214s Setting up libavahi-client3:amd64 (0.8-16ubuntu3) ... 214s Setting up cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 214s Setting up libatk-bridge2.0-0t64:amd64 (2.57.1-1) ... 214s Setting up gtk-update-icon-cache (4.20.2+ds-1) ... 214s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 216s Regenerating fonts cache... done. 216s Setting up gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 216s Setting up dconf-gsettings-backend:amd64 (0.49.0-1) ... 216s Setting up libpango-1.0-0:amd64 (1.56.3-2) ... 216s Setting up libcairo2:amd64 (1.18.4-1build1) ... 216s Setting up gcc-15 (15.2.0-5ubuntu1) ... 216s Setting up adwaita-icon-theme (49.0-1) ... 216s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 216s Setting up cpp (4:15.2.0-4ubuntu1) ... 216s Setting up libcairo-gobject2:amd64 (1.18.4-1build1) ... 216s Setting up libpangoft2-1.0-0:amd64 (1.56.3-2) ... 216s Setting up libcups2t64:amd64 (2.4.12-0ubuntu3) ... 216s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 216s Setting up libpangocairo-1.0-0:amd64 (1.56.3-2) ... 216s Setting up libcairo2-ocaml (0.6.5-2build2) ... 216s Setting up gcc (4:15.2.0-4ubuntu1) ... 216s Setting up ocaml (5.3.0-3) ... 216s Processing triggers for libc-bin (2.42-0ubuntu3) ... 216s Processing triggers for man-db (2.13.1-1) ... 217s Processing triggers for libglib2.0-0t64:amd64 (2.86.1-1) ... 217s Setting up libgtk-3-0t64:amd64 (3.24.50-1ubuntu2) ... 217s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 217s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-5) ... 217s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 217s Setting up why3 (1.8.2-1) ... 217s Processing triggers for libc-bin (2.42-0ubuntu3) ... 220s autopkgtest [12:24:22]: test why3+spass: [----------------------- 221s autopkgtest [12:24:23]: test why3+spass: -----------------------] 221s why3+spass PASS 221s autopkgtest [12:24:23]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 221s autopkgtest [12:24:23]: test why3+z3: preparing testbed 239s Creating nova instance adt-resolute-amd64-why3-20251026-122042-juju-7f2275-prod-proposed-migration-environment-20-af6ff95c-ac65-460c-929a-b5c2053d9a8e from image adt/ubuntu-resolute-amd64-server-20251026.img (UUID 08b4d2da-572c-4a3f-82f9-021e099dc3d7)... 270s autopkgtest [12:25:12]: testbed dpkg architecture: amd64 270s autopkgtest [12:25:12]: testbed apt version: 3.1.8ubuntu1 271s autopkgtest [12:25:13]: @@@@@@@@@@@@@@@@@@@@ test bed setup 271s autopkgtest [12:25:13]: testbed release detected to be: resolute 271s autopkgtest [12:25:13]: updating testbed package index (apt update) 272s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [87.8 kB] 272s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 272s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 272s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 272s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [5028 B] 272s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [422 kB] 272s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [16.5 kB] 272s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [61.7 kB] 272s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main i386 Packages [111 kB] 272s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 Packages [162 kB] 272s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 c-n-f Metadata [3356 B] 272s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 Packages [28.6 kB] 272s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/restricted i386 Packages [3744 B] 272s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 c-n-f Metadata [336 B] 272s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/universe i386 Packages [137 kB] 272s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 Packages [312 kB] 272s Get:17 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 c-n-f Metadata [11.1 kB] 272s Get:18 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 Packages [6132 B] 272s Get:19 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse i386 Packages [2476 B] 272s Get:20 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 c-n-f Metadata [492 B] 273s Fetched 1373 kB in 1s (1537 kB/s) 273s Reading package lists... 274s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 274s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 274s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 274s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 274s Reading package lists... 274s Reading package lists... 275s Building dependency tree... 275s Reading state information... 275s Calculating upgrade... 275s The following packages will be upgraded: 275s binutils binutils-common binutils-x86-64-linux-gnu gir1.2-glib-2.0 275s libbinutils libctf-nobfd0 libctf0 libglib2.0-0t64 libglib2.0-data 275s libgprofng0 libsframe2 275s 11 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 275s Need to get 5322 kB of archives. 275s After this operation, 728 kB of additional disk space will be used. 275s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 gir1.2-glib-2.0 amd64 2.86.1-1 [182 kB] 275s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 libglib2.0-0t64 amd64 2.86.1-1 [1692 kB] 275s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 libglib2.0-data all 2.86.1-1 [56.7 kB] 275s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libgprofng0 amd64 2.45-8ubuntu1 [930 kB] 275s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 libctf0 amd64 2.45-8ubuntu1 [104 kB] 275s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 libctf-nobfd0 amd64 2.45-8ubuntu1 [106 kB] 275s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils-x86-64-linux-gnu amd64 2.45-8ubuntu1 [1177 kB] 275s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 libbinutils amd64 2.45-8ubuntu1 [624 kB] 275s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils amd64 2.45-8ubuntu1 [211 kB] 275s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 binutils-common amd64 2.45-8ubuntu1 [221 kB] 275s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 libsframe2 amd64 2.45-8ubuntu1 [17.0 kB] 276s dpkg-preconfigure: unable to re-open stdin: No such file or directory 276s Fetched 5322 kB in 1s (8265 kB/s) 276s (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 ... 78454 files and directories currently installed.) 276s Preparing to unpack .../00-gir1.2-glib-2.0_2.86.1-1_amd64.deb ... 276s Unpacking gir1.2-glib-2.0:amd64 (2.86.1-1) over (2.86.0-2) ... 276s Preparing to unpack .../01-libglib2.0-0t64_2.86.1-1_amd64.deb ... 276s Unpacking libglib2.0-0t64:amd64 (2.86.1-1) over (2.86.0-2) ... 276s Preparing to unpack .../02-libglib2.0-data_2.86.1-1_all.deb ... 276s Unpacking libglib2.0-data (2.86.1-1) over (2.86.0-2) ... 276s Preparing to unpack .../03-libgprofng0_2.45-8ubuntu1_amd64.deb ... 276s Unpacking libgprofng0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 276s Preparing to unpack .../04-libctf0_2.45-8ubuntu1_amd64.deb ... 276s Unpacking libctf0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 276s Preparing to unpack .../05-libctf-nobfd0_2.45-8ubuntu1_amd64.deb ... 276s Unpacking libctf-nobfd0:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 276s Preparing to unpack .../06-binutils-x86-64-linux-gnu_2.45-8ubuntu1_amd64.deb ... 276s Unpacking binutils-x86-64-linux-gnu (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 276s Preparing to unpack .../07-libbinutils_2.45-8ubuntu1_amd64.deb ... 276s Unpacking libbinutils:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 276s Preparing to unpack .../08-binutils_2.45-8ubuntu1_amd64.deb ... 276s Unpacking binutils (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 276s Preparing to unpack .../09-binutils-common_2.45-8ubuntu1_amd64.deb ... 276s Unpacking binutils-common:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 276s Preparing to unpack .../10-libsframe2_2.45-8ubuntu1_amd64.deb ... 276s Unpacking libsframe2:amd64 (2.45-8ubuntu1) over (2.45-7ubuntu2) ... 276s Setting up libsframe2:amd64 (2.45-8ubuntu1) ... 276s Setting up binutils-common:amd64 (2.45-8ubuntu1) ... 276s Setting up libctf-nobfd0:amd64 (2.45-8ubuntu1) ... 276s Setting up libglib2.0-0t64:amd64 (2.86.1-1) ... 276s No schema files found: doing nothing. 276s Setting up libglib2.0-data (2.86.1-1) ... 276s Setting up gir1.2-glib-2.0:amd64 (2.86.1-1) ... 276s Setting up libbinutils:amd64 (2.45-8ubuntu1) ... 276s Setting up libctf0:amd64 (2.45-8ubuntu1) ... 276s Setting up libgprofng0:amd64 (2.45-8ubuntu1) ... 276s Setting up binutils-x86-64-linux-gnu (2.45-8ubuntu1) ... 276s Setting up binutils (2.45-8ubuntu1) ... 276s Processing triggers for libc-bin (2.42-0ubuntu3) ... 276s Processing triggers for man-db (2.13.1-1) ... 277s autopkgtest [12:25:19]: upgrading testbed (apt dist-upgrade and autopurge) 277s Reading package lists... 277s Building dependency tree... 277s Reading state information... 277s Calculating upgrade... 277s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 277s Reading package lists... 277s Building dependency tree... 277s Reading state information... 277s Solving dependencies... 277s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 280s Reading package lists... 280s Building dependency tree... 280s Reading state information... 280s Solving dependencies... 280s The following NEW packages will be installed: 280s adwaita-icon-theme at-spi2-common cpp cpp-15 cpp-15-x86-64-linux-gnu 280s cpp-x86-64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 280s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 280s gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu gtk-update-icon-cache 280s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 280s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 280s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 280s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 280s libepoxy0 libfontconfig1 libgcc-15-dev libgdk-pixbuf-2.0-0 280s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 280s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 280s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 280s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 280s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 280s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 280s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 280s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 280s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 280s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common 280s why3 z3 280s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 280s Need to get 176 MB of archives. 280s After this operation, 541 MB of additional disk space will be used. 280s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 libgdk-pixbuf2.0-common all 2.44.4+dfsg-1 [8584 B] 280s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 libjpeg-turbo8 amd64 2.1.5-4ubuntu2 [152 kB] 280s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 libjpeg8 amd64 8c-2ubuntu11 [2148 B] 280s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libdeflate0 amd64 1.23-2 [49.9 kB] 280s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 libjbig0 amd64 2.1-6.1ubuntu2 [29.7 kB] 280s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 liblerc4 amd64 4.0.0+ds-5ubuntu1 [271 kB] 280s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [25.9 kB] 280s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 libwebp7 amd64 1.5.0-0.1 [378 kB] 280s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 libtiff6 amd64 4.7.0-3ubuntu3 [209 kB] 280s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 libgdk-pixbuf-2.0-0 amd64 2.44.4+dfsg-1 [153 kB] 280s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 gtk-update-icon-cache amd64 4.20.2+ds-1 [54.6 kB] 280s Get:12 http://ftpmaster.internal/ubuntu resolute/main amd64 hicolor-icon-theme all 0.18-2 [13.3 kB] 280s Get:13 http://ftpmaster.internal/ubuntu resolute/main amd64 adwaita-icon-theme all 49.0-1 [581 kB] 280s Get:14 http://ftpmaster.internal/ubuntu resolute/main amd64 at-spi2-common all 2.57.1-1 [9432 B] 280s Get:15 http://ftpmaster.internal/ubuntu resolute/main amd64 libisl23 amd64 0.27-1 [685 kB] 280s Get:16 http://ftpmaster.internal/ubuntu resolute/main amd64 libmpc3 amd64 1.3.1-1build3 [57.0 kB] 280s Get:17 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [12.9 MB] 282s Get:18 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-15 amd64 15.2.0-5ubuntu1 [1028 B] 282s Get:19 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [5746 B] 282s Get:20 http://ftpmaster.internal/ubuntu resolute/main amd64 cpp amd64 4:15.2.0-4ubuntu1 [22.4 kB] 282s Get:21 http://ftpmaster.internal/ubuntu resolute/main amd64 libdconf1 amd64 0.49.0-1 [40.2 kB] 282s Get:22 http://ftpmaster.internal/ubuntu resolute/main amd64 dconf-service amd64 0.49.0-1 [27.7 kB] 282s Get:23 http://ftpmaster.internal/ubuntu resolute/main amd64 dconf-gsettings-backend amd64 0.49.0-1 [22.2 kB] 282s Get:24 http://ftpmaster.internal/ubuntu resolute/main amd64 fonts-dejavu-mono all 2.37-8 [502 kB] 282s Get:25 http://ftpmaster.internal/ubuntu resolute/main amd64 fonts-dejavu-core all 2.37-8 [835 kB] 282s Get:26 http://ftpmaster.internal/ubuntu resolute/main amd64 fontconfig-config amd64 2.15.0-2.3ubuntu1 [38.0 kB] 282s Get:27 http://ftpmaster.internal/ubuntu resolute/main amd64 libfontconfig1 amd64 2.15.0-2.3ubuntu1 [141 kB] 282s Get:28 http://ftpmaster.internal/ubuntu resolute/main amd64 fontconfig amd64 2.15.0-2.3ubuntu1 [180 kB] 282s Get:29 http://ftpmaster.internal/ubuntu resolute/main amd64 libcc1-0 amd64 15.2.0-5ubuntu1 [47.4 kB] 282s Get:30 http://ftpmaster.internal/ubuntu resolute/main amd64 libgomp1 amd64 15.2.0-5ubuntu1 [151 kB] 282s Get:31 http://ftpmaster.internal/ubuntu resolute/main amd64 libitm1 amd64 15.2.0-5ubuntu1 [29.3 kB] 282s Get:32 http://ftpmaster.internal/ubuntu resolute/main amd64 libasan8 amd64 15.2.0-5ubuntu1 [3071 kB] 282s Get:33 http://ftpmaster.internal/ubuntu resolute/main amd64 liblsan0 amd64 15.2.0-5ubuntu1 [1360 kB] 282s Get:34 http://ftpmaster.internal/ubuntu resolute/main amd64 libtsan2 amd64 15.2.0-5ubuntu1 [2757 kB] 282s Get:35 http://ftpmaster.internal/ubuntu resolute/main amd64 libubsan1 amd64 15.2.0-5ubuntu1 [1210 kB] 283s Get:36 http://ftpmaster.internal/ubuntu resolute/main amd64 libhwasan0 amd64 15.2.0-5ubuntu1 [1685 kB] 283s Get:37 http://ftpmaster.internal/ubuntu resolute/main amd64 libquadmath0 amd64 15.2.0-5ubuntu1 [153 kB] 283s Get:38 http://ftpmaster.internal/ubuntu resolute/main amd64 libgcc-15-dev amd64 15.2.0-5ubuntu1 [2863 kB] 283s Get:39 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15-x86-64-linux-gnu amd64 15.2.0-5ubuntu1 [25.4 MB] 284s Get:40 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-15 amd64 15.2.0-5ubuntu1 [523 kB] 284s Get:41 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc-x86-64-linux-gnu amd64 4:15.2.0-4ubuntu1 [1208 B] 284s Get:42 http://ftpmaster.internal/ubuntu resolute/main amd64 gcc amd64 4:15.2.0-4ubuntu1 [5024 B] 284s Get:43 http://ftpmaster.internal/ubuntu resolute/main amd64 libatk1.0-0t64 amd64 2.57.1-1 [56.3 kB] 284s Get:44 http://ftpmaster.internal/ubuntu resolute/main amd64 libxi6 amd64 2:1.8.2-1 [32.4 kB] 284s Get:45 http://ftpmaster.internal/ubuntu resolute/main amd64 libatspi2.0-0t64 amd64 2.57.1-1 [85.3 kB] 284s Get:46 http://ftpmaster.internal/ubuntu resolute/main amd64 libatk-bridge2.0-0t64 amd64 2.57.1-1 [66.7 kB] 284s Get:47 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-common-data amd64 0.8-16ubuntu3 [31.1 kB] 284s Get:48 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-common3 amd64 0.8-16ubuntu3 [25.3 kB] 284s Get:49 http://ftpmaster.internal/ubuntu resolute/main amd64 libavahi-client3 amd64 0.8-16ubuntu3 [28.8 kB] 284s Get:50 http://ftpmaster.internal/ubuntu resolute/main amd64 libpixman-1-0 amd64 0.44.0-3 [427 kB] 284s Get:51 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcb-render0 amd64 1.17.0-2build1 [17.4 kB] 284s Get:52 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcb-shm0 amd64 1.17.0-2build1 [6120 B] 284s Get:53 http://ftpmaster.internal/ubuntu resolute/main amd64 libxrender1 amd64 1:0.9.12-1 [19.8 kB] 284s Get:54 http://ftpmaster.internal/ubuntu resolute/main amd64 libcairo2 amd64 1.18.4-1build1 [611 kB] 284s Get:55 http://ftpmaster.internal/ubuntu resolute/main amd64 libcairo-gobject2 amd64 1.18.4-1build1 [128 kB] 284s Get:56 http://ftpmaster.internal/ubuntu resolute/universe amd64 libstdlib-ocaml amd64 5.3.0-3 [419 kB] 284s Get:57 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml-base amd64 5.3.0-3 [312 kB] 284s Get:58 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcairo2-ocaml amd64 0.6.5-2build2 [29.1 kB] 284s Get:59 http://ftpmaster.internal/ubuntu resolute/main amd64 liblcms2-2 amd64 2.16-2 [212 kB] 284s Get:60 http://ftpmaster.internal/ubuntu resolute/main amd64 libcolord2 amd64 1.4.7-3build1 [149 kB] 284s Get:61 http://ftpmaster.internal/ubuntu resolute/universe amd64 libstdlib-ocaml-dev amd64 5.3.0-3 [7828 kB] 284s Get:62 http://ftpmaster.internal/ubuntu resolute/universe amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-3 [48.2 MB] 286s Get:63 http://ftpmaster.internal/ubuntu resolute/main amd64 libcups2t64 amd64 2.4.12-0ubuntu3 [272 kB] 286s Get:64 http://ftpmaster.internal/ubuntu resolute/main amd64 libdatrie1 amd64 0.2.13-4 [19.3 kB] 286s Get:65 http://ftpmaster.internal/ubuntu resolute/main amd64 libepoxy0 amd64 1.5.10-2 [218 kB] 286s Get:66 http://ftpmaster.internal/ubuntu resolute/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 286s Get:67 http://ftpmaster.internal/ubuntu resolute/main amd64 libharfbuzz0b amd64 12.1.0-1 [535 kB] 286s Get:68 http://ftpmaster.internal/ubuntu resolute/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 286s Get:69 http://ftpmaster.internal/ubuntu resolute/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 286s Get:70 http://ftpmaster.internal/ubuntu resolute/main amd64 libpango-1.0-0 amd64 1.56.3-2 [239 kB] 286s Get:71 http://ftpmaster.internal/ubuntu resolute/main amd64 libpangoft2-1.0-0 amd64 1.56.3-2 [52.5 kB] 286s Get:72 http://ftpmaster.internal/ubuntu resolute/main amd64 libpangocairo-1.0-0 amd64 1.56.3-2 [29.0 kB] 286s Get:73 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-client0 amd64 1.24.0-1build1 [29.6 kB] 286s Get:74 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-cursor0 amd64 1.24.0-1build1 [11.1 kB] 286s Get:75 http://ftpmaster.internal/ubuntu resolute/main amd64 libwayland-egl1 amd64 1.24.0-1build1 [6474 B] 286s Get:76 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcomposite1 amd64 1:0.4.6-1 [6642 B] 286s Get:77 http://ftpmaster.internal/ubuntu resolute/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 286s Get:78 http://ftpmaster.internal/ubuntu resolute/main amd64 libxcursor1 amd64 1:1.2.3-1 [23.1 kB] 286s Get:79 http://ftpmaster.internal/ubuntu resolute/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 286s Get:80 http://ftpmaster.internal/ubuntu resolute/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 286s Get:81 http://ftpmaster.internal/ubuntu resolute/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 286s Get:82 http://ftpmaster.internal/ubuntu resolute/main amd64 libgtk-3-common all 3.24.50-1ubuntu2 [1425 kB] 286s Get:83 http://ftpmaster.internal/ubuntu resolute/main amd64 libgtk-3-0t64 amd64 3.24.50-1ubuntu2 [3263 kB] 286s Get:84 http://ftpmaster.internal/ubuntu resolute/universe amd64 libgtksourceview-3.0-common all 3.24.11-5 [294 kB] 286s Get:85 http://ftpmaster.internal/ubuntu resolute/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-5 [249 kB] 286s Get:86 http://ftpmaster.internal/ubuntu resolute/universe amd64 liblablgtk3-ocaml amd64 3.1.5-1build4 [3538 kB] 286s Get:87 http://ftpmaster.internal/ubuntu resolute/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.5-1build4 [326 kB] 286s Get:88 http://ftpmaster.internal/ubuntu resolute/main amd64 libncurses-dev amd64 6.5+20250216-2build1 [408 kB] 286s Get:89 http://ftpmaster.internal/ubuntu resolute/main amd64 libzstd-dev amd64 1.5.7+dfsg-1build2 [387 kB] 286s Get:90 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml-interp amd64 5.3.0-3 [8365 kB] 286s Get:91 http://ftpmaster.internal/ubuntu resolute/universe amd64 ocaml amd64 5.3.0-3 [19.9 MB] 287s Get:92 http://ftpmaster.internal/ubuntu resolute/universe amd64 tex-common all 6.19 [29.8 kB] 287s Get:93 http://ftpmaster.internal/ubuntu resolute/universe amd64 why3 amd64 1.8.2-1 [13.3 MB] 287s Get:94 http://ftpmaster.internal/ubuntu resolute/universe amd64 z3 amd64 4.13.3-1 [6954 kB] 291s Fetched 176 MB in 8s (22.9 MB/s) 291s Selecting previously unselected package libgdk-pixbuf2.0-common. 291s (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 ... 78454 files and directories currently installed.) 291s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.44.4+dfsg-1_all.deb ... 291s Unpacking libgdk-pixbuf2.0-common (2.44.4+dfsg-1) ... 291s Selecting previously unselected package libjpeg-turbo8:amd64. 291s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-4ubuntu2_amd64.deb ... 291s Unpacking libjpeg-turbo8:amd64 (2.1.5-4ubuntu2) ... 291s Selecting previously unselected package libjpeg8:amd64. 291s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_amd64.deb ... 291s Unpacking libjpeg8:amd64 (8c-2ubuntu11) ... 291s Selecting previously unselected package libdeflate0:amd64. 291s Preparing to unpack .../03-libdeflate0_1.23-2_amd64.deb ... 291s Unpacking libdeflate0:amd64 (1.23-2) ... 291s Selecting previously unselected package libjbig0:amd64. 291s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_amd64.deb ... 291s Unpacking libjbig0:amd64 (2.1-6.1ubuntu2) ... 291s Selecting previously unselected package liblerc4:amd64. 291s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_amd64.deb ... 291s Unpacking liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 291s Selecting previously unselected package libsharpyuv0:amd64. 291s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_amd64.deb ... 291s Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... 291s Selecting previously unselected package libwebp7:amd64. 291s Preparing to unpack .../07-libwebp7_1.5.0-0.1_amd64.deb ... 291s Unpacking libwebp7:amd64 (1.5.0-0.1) ... 291s Selecting previously unselected package libtiff6:amd64. 291s Preparing to unpack .../08-libtiff6_4.7.0-3ubuntu3_amd64.deb ... 291s Unpacking libtiff6:amd64 (4.7.0-3ubuntu3) ... 291s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 291s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.44.4+dfsg-1_amd64.deb ... 291s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.44.4+dfsg-1) ... 291s Selecting previously unselected package gtk-update-icon-cache. 291s Preparing to unpack .../10-gtk-update-icon-cache_4.20.2+ds-1_amd64.deb ... 291s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 291s 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. 291s Unpacking gtk-update-icon-cache (4.20.2+ds-1) ... 291s Selecting previously unselected package hicolor-icon-theme. 291s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 291s Unpacking hicolor-icon-theme (0.18-2) ... 291s Selecting previously unselected package adwaita-icon-theme. 291s Preparing to unpack .../12-adwaita-icon-theme_49.0-1_all.deb ... 291s Unpacking adwaita-icon-theme (49.0-1) ... 291s Selecting previously unselected package at-spi2-common. 291s Preparing to unpack .../13-at-spi2-common_2.57.1-1_all.deb ... 291s Unpacking at-spi2-common (2.57.1-1) ... 291s Selecting previously unselected package libisl23:amd64. 291s Preparing to unpack .../14-libisl23_0.27-1_amd64.deb ... 291s Unpacking libisl23:amd64 (0.27-1) ... 291s Selecting previously unselected package libmpc3:amd64. 291s Preparing to unpack .../15-libmpc3_1.3.1-1build3_amd64.deb ... 291s Unpacking libmpc3:amd64 (1.3.1-1build3) ... 291s Selecting previously unselected package cpp-15-x86-64-linux-gnu. 291s Preparing to unpack .../16-cpp-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking cpp-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package cpp-15. 291s Preparing to unpack .../17-cpp-15_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking cpp-15 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package cpp-x86-64-linux-gnu. 291s Preparing to unpack .../18-cpp-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 291s Unpacking cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 291s Selecting previously unselected package cpp. 291s Preparing to unpack .../19-cpp_4%3a15.2.0-4ubuntu1_amd64.deb ... 291s Unpacking cpp (4:15.2.0-4ubuntu1) ... 291s Selecting previously unselected package libdconf1:amd64. 291s Preparing to unpack .../20-libdconf1_0.49.0-1_amd64.deb ... 291s Unpacking libdconf1:amd64 (0.49.0-1) ... 291s Selecting previously unselected package dconf-service. 291s Preparing to unpack .../21-dconf-service_0.49.0-1_amd64.deb ... 291s Unpacking dconf-service (0.49.0-1) ... 291s Selecting previously unselected package dconf-gsettings-backend:amd64. 291s Preparing to unpack .../22-dconf-gsettings-backend_0.49.0-1_amd64.deb ... 291s Unpacking dconf-gsettings-backend:amd64 (0.49.0-1) ... 291s Selecting previously unselected package fonts-dejavu-mono. 291s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 291s Unpacking fonts-dejavu-mono (2.37-8) ... 291s Selecting previously unselected package fonts-dejavu-core. 291s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 291s Unpacking fonts-dejavu-core (2.37-8) ... 291s Selecting previously unselected package fontconfig-config. 291s Preparing to unpack .../25-fontconfig-config_2.15.0-2.3ubuntu1_amd64.deb ... 291s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 291s Selecting previously unselected package libfontconfig1:amd64. 291s Preparing to unpack .../26-libfontconfig1_2.15.0-2.3ubuntu1_amd64.deb ... 291s Unpacking libfontconfig1:amd64 (2.15.0-2.3ubuntu1) ... 291s Selecting previously unselected package fontconfig. 291s Preparing to unpack .../27-fontconfig_2.15.0-2.3ubuntu1_amd64.deb ... 291s Unpacking fontconfig (2.15.0-2.3ubuntu1) ... 291s Selecting previously unselected package libcc1-0:amd64. 291s Preparing to unpack .../28-libcc1-0_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking libcc1-0:amd64 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package libgomp1:amd64. 291s Preparing to unpack .../29-libgomp1_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking libgomp1:amd64 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package libitm1:amd64. 291s Preparing to unpack .../30-libitm1_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking libitm1:amd64 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package libasan8:amd64. 291s Preparing to unpack .../31-libasan8_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking libasan8:amd64 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package liblsan0:amd64. 291s Preparing to unpack .../32-liblsan0_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking liblsan0:amd64 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package libtsan2:amd64. 291s Preparing to unpack .../33-libtsan2_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking libtsan2:amd64 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package libubsan1:amd64. 291s Preparing to unpack .../34-libubsan1_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking libubsan1:amd64 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package libhwasan0:amd64. 291s Preparing to unpack .../35-libhwasan0_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking libhwasan0:amd64 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package libquadmath0:amd64. 291s Preparing to unpack .../36-libquadmath0_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking libquadmath0:amd64 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package libgcc-15-dev:amd64. 291s Preparing to unpack .../37-libgcc-15-dev_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking libgcc-15-dev:amd64 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package gcc-15-x86-64-linux-gnu. 291s Preparing to unpack .../38-gcc-15-x86-64-linux-gnu_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking gcc-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package gcc-15. 291s Preparing to unpack .../39-gcc-15_15.2.0-5ubuntu1_amd64.deb ... 291s Unpacking gcc-15 (15.2.0-5ubuntu1) ... 291s Selecting previously unselected package gcc-x86-64-linux-gnu. 291s Preparing to unpack .../40-gcc-x86-64-linux-gnu_4%3a15.2.0-4ubuntu1_amd64.deb ... 291s Unpacking gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 291s Selecting previously unselected package gcc. 291s Preparing to unpack .../41-gcc_4%3a15.2.0-4ubuntu1_amd64.deb ... 291s Unpacking gcc (4:15.2.0-4ubuntu1) ... 291s Selecting previously unselected package libatk1.0-0t64:amd64. 291s Preparing to unpack .../42-libatk1.0-0t64_2.57.1-1_amd64.deb ... 291s Unpacking libatk1.0-0t64:amd64 (2.57.1-1) ... 291s Selecting previously unselected package libxi6:amd64. 291s Preparing to unpack .../43-libxi6_2%3a1.8.2-1_amd64.deb ... 291s Unpacking libxi6:amd64 (2:1.8.2-1) ... 291s Selecting previously unselected package libatspi2.0-0t64:amd64. 291s Preparing to unpack .../44-libatspi2.0-0t64_2.57.1-1_amd64.deb ... 291s Unpacking libatspi2.0-0t64:amd64 (2.57.1-1) ... 291s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 291s Preparing to unpack .../45-libatk-bridge2.0-0t64_2.57.1-1_amd64.deb ... 291s Unpacking libatk-bridge2.0-0t64:amd64 (2.57.1-1) ... 291s Selecting previously unselected package libavahi-common-data:amd64. 291s Preparing to unpack .../46-libavahi-common-data_0.8-16ubuntu3_amd64.deb ... 291s Unpacking libavahi-common-data:amd64 (0.8-16ubuntu3) ... 291s Selecting previously unselected package libavahi-common3:amd64. 291s Preparing to unpack .../47-libavahi-common3_0.8-16ubuntu3_amd64.deb ... 291s Unpacking libavahi-common3:amd64 (0.8-16ubuntu3) ... 291s Selecting previously unselected package libavahi-client3:amd64. 291s Preparing to unpack .../48-libavahi-client3_0.8-16ubuntu3_amd64.deb ... 291s Unpacking libavahi-client3:amd64 (0.8-16ubuntu3) ... 291s Selecting previously unselected package libpixman-1-0:amd64. 291s Preparing to unpack .../49-libpixman-1-0_0.44.0-3_amd64.deb ... 291s Unpacking libpixman-1-0:amd64 (0.44.0-3) ... 291s Selecting previously unselected package libxcb-render0:amd64. 291s Preparing to unpack .../50-libxcb-render0_1.17.0-2build1_amd64.deb ... 291s Unpacking libxcb-render0:amd64 (1.17.0-2build1) ... 291s Selecting previously unselected package libxcb-shm0:amd64. 291s Preparing to unpack .../51-libxcb-shm0_1.17.0-2build1_amd64.deb ... 291s Unpacking libxcb-shm0:amd64 (1.17.0-2build1) ... 291s Selecting previously unselected package libxrender1:amd64. 291s Preparing to unpack .../52-libxrender1_1%3a0.9.12-1_amd64.deb ... 291s Unpacking libxrender1:amd64 (1:0.9.12-1) ... 291s Selecting previously unselected package libcairo2:amd64. 291s Preparing to unpack .../53-libcairo2_1.18.4-1build1_amd64.deb ... 291s Unpacking libcairo2:amd64 (1.18.4-1build1) ... 291s Selecting previously unselected package libcairo-gobject2:amd64. 291s Preparing to unpack .../54-libcairo-gobject2_1.18.4-1build1_amd64.deb ... 291s Unpacking libcairo-gobject2:amd64 (1.18.4-1build1) ... 291s Selecting previously unselected package libstdlib-ocaml. 291s Preparing to unpack .../55-libstdlib-ocaml_5.3.0-3_amd64.deb ... 291s Unpacking libstdlib-ocaml (5.3.0-3) ... 291s Selecting previously unselected package ocaml-base. 291s Preparing to unpack .../56-ocaml-base_5.3.0-3_amd64.deb ... 291s Unpacking ocaml-base (5.3.0-3) ... 291s Selecting previously unselected package libcairo2-ocaml. 291s Preparing to unpack .../57-libcairo2-ocaml_0.6.5-2build2_amd64.deb ... 291s Unpacking libcairo2-ocaml (0.6.5-2build2) ... 291s Selecting previously unselected package liblcms2-2:amd64. 291s Preparing to unpack .../58-liblcms2-2_2.16-2_amd64.deb ... 291s Unpacking liblcms2-2:amd64 (2.16-2) ... 291s Selecting previously unselected package libcolord2:amd64. 291s Preparing to unpack .../59-libcolord2_1.4.7-3build1_amd64.deb ... 291s Unpacking libcolord2:amd64 (1.4.7-3build1) ... 291s Selecting previously unselected package libstdlib-ocaml-dev. 291s Preparing to unpack .../60-libstdlib-ocaml-dev_5.3.0-3_amd64.deb ... 291s Unpacking libstdlib-ocaml-dev (5.3.0-3) ... 291s Selecting previously unselected package libcompiler-libs-ocaml-dev. 291s Preparing to unpack .../61-libcompiler-libs-ocaml-dev_5.3.0-3_amd64.deb ... 291s Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... 291s Selecting previously unselected package libcups2t64:amd64. 291s Preparing to unpack .../62-libcups2t64_2.4.12-0ubuntu3_amd64.deb ... 291s Unpacking libcups2t64:amd64 (2.4.12-0ubuntu3) ... 291s Selecting previously unselected package libdatrie1:amd64. 291s Preparing to unpack .../63-libdatrie1_0.2.13-4_amd64.deb ... 291s Unpacking libdatrie1:amd64 (0.2.13-4) ... 291s Selecting previously unselected package libepoxy0:amd64. 291s Preparing to unpack .../64-libepoxy0_1.5.10-2_amd64.deb ... 291s Unpacking libepoxy0:amd64 (1.5.10-2) ... 291s Selecting previously unselected package libgraphite2-3:amd64. 291s Preparing to unpack .../65-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 291s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 291s Selecting previously unselected package libharfbuzz0b:amd64. 291s Preparing to unpack .../66-libharfbuzz0b_12.1.0-1_amd64.deb ... 291s Unpacking libharfbuzz0b:amd64 (12.1.0-1) ... 291s Selecting previously unselected package libthai-data. 291s Preparing to unpack .../67-libthai-data_0.1.29-2build1_all.deb ... 291s Unpacking libthai-data (0.1.29-2build1) ... 291s Selecting previously unselected package libthai0:amd64. 291s Preparing to unpack .../68-libthai0_0.1.29-2build1_amd64.deb ... 291s Unpacking libthai0:amd64 (0.1.29-2build1) ... 291s Selecting previously unselected package libpango-1.0-0:amd64. 291s Preparing to unpack .../69-libpango-1.0-0_1.56.3-2_amd64.deb ... 291s Unpacking libpango-1.0-0:amd64 (1.56.3-2) ... 291s Selecting previously unselected package libpangoft2-1.0-0:amd64. 291s Preparing to unpack .../70-libpangoft2-1.0-0_1.56.3-2_amd64.deb ... 291s Unpacking libpangoft2-1.0-0:amd64 (1.56.3-2) ... 291s Selecting previously unselected package libpangocairo-1.0-0:amd64. 291s Preparing to unpack .../71-libpangocairo-1.0-0_1.56.3-2_amd64.deb ... 291s Unpacking libpangocairo-1.0-0:amd64 (1.56.3-2) ... 291s Selecting previously unselected package libwayland-client0:amd64. 291s Preparing to unpack .../72-libwayland-client0_1.24.0-1build1_amd64.deb ... 291s Unpacking libwayland-client0:amd64 (1.24.0-1build1) ... 291s Selecting previously unselected package libwayland-cursor0:amd64. 291s Preparing to unpack .../73-libwayland-cursor0_1.24.0-1build1_amd64.deb ... 291s Unpacking libwayland-cursor0:amd64 (1.24.0-1build1) ... 291s Selecting previously unselected package libwayland-egl1:amd64. 291s Preparing to unpack .../74-libwayland-egl1_1.24.0-1build1_amd64.deb ... 291s Unpacking libwayland-egl1:amd64 (1.24.0-1build1) ... 291s Selecting previously unselected package libxcomposite1:amd64. 291s Preparing to unpack .../75-libxcomposite1_1%3a0.4.6-1_amd64.deb ... 291s Unpacking libxcomposite1:amd64 (1:0.4.6-1) ... 291s Selecting previously unselected package libxfixes3:amd64. 291s Preparing to unpack .../76-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 291s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 291s Selecting previously unselected package libxcursor1:amd64. 291s Preparing to unpack .../77-libxcursor1_1%3a1.2.3-1_amd64.deb ... 291s Unpacking libxcursor1:amd64 (1:1.2.3-1) ... 291s Selecting previously unselected package libxdamage1:amd64. 291s Preparing to unpack .../78-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 291s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 291s Selecting previously unselected package libxinerama1:amd64. 291s Preparing to unpack .../79-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 291s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 291s Selecting previously unselected package libxrandr2:amd64. 291s Preparing to unpack .../80-libxrandr2_2%3a1.5.4-1_amd64.deb ... 291s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 291s Selecting previously unselected package libgtk-3-common. 291s Preparing to unpack .../81-libgtk-3-common_3.24.50-1ubuntu2_all.deb ... 291s Unpacking libgtk-3-common (3.24.50-1ubuntu2) ... 291s Selecting previously unselected package libgtk-3-0t64:amd64. 291s Preparing to unpack .../82-libgtk-3-0t64_3.24.50-1ubuntu2_amd64.deb ... 291s Unpacking libgtk-3-0t64:amd64 (3.24.50-1ubuntu2) ... 291s Selecting previously unselected package libgtksourceview-3.0-common. 291s Preparing to unpack .../83-libgtksourceview-3.0-common_3.24.11-5_all.deb ... 291s Unpacking libgtksourceview-3.0-common (3.24.11-5) ... 291s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 291s Preparing to unpack .../84-libgtksourceview-3.0-1_3.24.11-5_amd64.deb ... 291s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-5) ... 291s Selecting previously unselected package liblablgtk3-ocaml. 291s Preparing to unpack .../85-liblablgtk3-ocaml_3.1.5-1build4_amd64.deb ... 291s Unpacking liblablgtk3-ocaml (3.1.5-1build4) ... 291s Selecting previously unselected package liblablgtksourceview3-ocaml. 291s Preparing to unpack .../86-liblablgtksourceview3-ocaml_3.1.5-1build4_amd64.deb ... 291s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build4) ... 291s Selecting previously unselected package libncurses-dev:amd64. 291s Preparing to unpack .../87-libncurses-dev_6.5+20250216-2build1_amd64.deb ... 291s Unpacking libncurses-dev:amd64 (6.5+20250216-2build1) ... 291s Selecting previously unselected package libzstd-dev:amd64. 291s Preparing to unpack .../88-libzstd-dev_1.5.7+dfsg-1build2_amd64.deb ... 291s Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1build2) ... 291s Selecting previously unselected package ocaml-interp. 291s Preparing to unpack .../89-ocaml-interp_5.3.0-3_amd64.deb ... 291s Unpacking ocaml-interp (5.3.0-3) ... 291s Selecting previously unselected package ocaml. 291s Preparing to unpack .../90-ocaml_5.3.0-3_amd64.deb ... 291s Unpacking ocaml (5.3.0-3) ... 291s Selecting previously unselected package tex-common. 291s Preparing to unpack .../91-tex-common_6.19_all.deb ... 291s Unpacking tex-common (6.19) ... 291s Selecting previously unselected package why3. 291s Preparing to unpack .../92-why3_1.8.2-1_amd64.deb ... 291s Unpacking why3 (1.8.2-1) ... 291s Selecting previously unselected package z3. 291s Preparing to unpack .../93-z3_4.13.3-1_amd64.deb ... 291s Unpacking z3 (4.13.3-1) ... 291s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 291s Setting up liblcms2-2:amd64 (2.16-2) ... 291s Setting up libpixman-1-0:amd64 (0.44.0-3) ... 291s Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... 291s Setting up libncurses-dev:amd64 (6.5+20250216-2build1) ... 291s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 291s Setting up liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 291s Setting up libzstd-dev:amd64 (1.5.7+dfsg-1build2) ... 291s Setting up hicolor-icon-theme (0.18-2) ... 291s Setting up libxi6:amd64 (2:1.8.2-1) ... 291s Setting up libxrender1:amd64 (1:0.9.12-1) ... 291s Setting up libdatrie1:amd64 (0.2.13-4) ... 291s Setting up libxcb-render0:amd64 (1.17.0-2build1) ... 291s Setting up libgdk-pixbuf2.0-common (2.44.4+dfsg-1) ... 291s Setting up libdeflate0:amd64 (1.23-2) ... 291s Setting up libxcb-shm0:amd64 (1.17.0-2build1) ... 291s Setting up libgomp1:amd64 (15.2.0-5ubuntu1) ... 291s Setting up libjbig0:amd64 (2.1-6.1ubuntu2) ... 291s Setting up z3 (4.13.3-1) ... 291s Setting up libcolord2:amd64 (1.4.7-3build1) ... 291s Setting up libdconf1:amd64 (0.49.0-1) ... 291s Setting up tex-common (6.19) ... 291s update-language: texlive-base not installed and configured, doing nothing! 291s Setting up libepoxy0:amd64 (1.5.10-2) ... 291s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 291s Setting up libavahi-common-data:amd64 (0.8-16ubuntu3) ... 291s Setting up libatspi2.0-0t64:amd64 (2.57.1-1) ... 291s Setting up libquadmath0:amd64 (15.2.0-5ubuntu1) ... 291s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 291s Setting up libstdlib-ocaml (5.3.0-3) ... 291s Setting up fonts-dejavu-mono (2.37-8) ... 291s Setting up libmpc3:amd64 (1.3.1-1build3) ... 291s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 291s Setting up ocaml-base (5.3.0-3) ... 291s Setting up fonts-dejavu-core (2.37-8) ... 291s Setting up libjpeg-turbo8:amd64 (2.1.5-4ubuntu2) ... 291s Setting up libwebp7:amd64 (1.5.0-0.1) ... 291s Setting up libubsan1:amd64 (15.2.0-5ubuntu1) ... 291s Setting up libhwasan0:amd64 (15.2.0-5ubuntu1) ... 291s Setting up at-spi2-common (2.57.1-1) ... 291s Setting up libasan8:amd64 (15.2.0-5ubuntu1) ... 291s Setting up libgtksourceview-3.0-common (3.24.11-5) ... 291s Setting up libharfbuzz0b:amd64 (12.1.0-1) ... 291s Setting up libthai-data (0.1.29-2build1) ... 291s Setting up libwayland-egl1:amd64 (1.24.0-1build1) ... 291s Setting up libtsan2:amd64 (15.2.0-5ubuntu1) ... 291s Setting up libisl23:amd64 (0.27-1) ... 291s Setting up libxcomposite1:amd64 (1:0.4.6-1) ... 291s Setting up libcc1-0:amd64 (15.2.0-5ubuntu1) ... 291s Setting up liblsan0:amd64 (15.2.0-5ubuntu1) ... 291s Setting up libitm1:amd64 (15.2.0-5ubuntu1) ... 291s Setting up libwayland-client0:amd64 (1.24.0-1build1) ... 291s Setting up libjpeg8:amd64 (8c-2ubuntu11) ... 291s Setting up libgcc-15-dev:amd64 (15.2.0-5ubuntu1) ... 291s Setting up libatk1.0-0t64:amd64 (2.57.1-1) ... 291s Setting up libstdlib-ocaml-dev (5.3.0-3) ... 291s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 291s Setting up libxcursor1:amd64 (1:1.2.3-1) ... 291s Setting up libavahi-common3:amd64 (0.8-16ubuntu3) ... 291s Setting up dconf-service (0.49.0-1) ... 291s Setting up cpp-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 291s Setting up gcc-15-x86-64-linux-gnu (15.2.0-5ubuntu1) ... 291s Setting up libthai0:amd64 (0.1.29-2build1) ... 291s Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... 291s Setting up ocaml-interp (5.3.0-3) ... 291s Setting up cpp-15 (15.2.0-5ubuntu1) ... 291s Setting up libtiff6:amd64 (4.7.0-3ubuntu3) ... 291s Setting up libwayland-cursor0:amd64 (1.24.0-1build1) ... 291s Setting up libgdk-pixbuf-2.0-0:amd64 (2.44.4+dfsg-1) ... 291s Setting up libfontconfig1:amd64 (2.15.0-2.3ubuntu1) ... 291s Setting up libavahi-client3:amd64 (0.8-16ubuntu3) ... 291s Setting up cpp-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 291s Setting up libatk-bridge2.0-0t64:amd64 (2.57.1-1) ... 291s Setting up gtk-update-icon-cache (4.20.2+ds-1) ... 291s Setting up fontconfig (2.15.0-2.3ubuntu1) ... 293s Regenerating fonts cache... done. 293s Setting up gcc-x86-64-linux-gnu (4:15.2.0-4ubuntu1) ... 293s Setting up dconf-gsettings-backend:amd64 (0.49.0-1) ... 293s Setting up libpango-1.0-0:amd64 (1.56.3-2) ... 293s Setting up libcairo2:amd64 (1.18.4-1build1) ... 293s Setting up gcc-15 (15.2.0-5ubuntu1) ... 293s Setting up adwaita-icon-theme (49.0-1) ... 293s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 293s Setting up cpp (4:15.2.0-4ubuntu1) ... 293s Setting up libcairo-gobject2:amd64 (1.18.4-1build1) ... 293s Setting up libpangoft2-1.0-0:amd64 (1.56.3-2) ... 293s Setting up libcups2t64:amd64 (2.4.12-0ubuntu3) ... 293s Setting up libgtk-3-common (3.24.50-1ubuntu2) ... 293s Setting up libpangocairo-1.0-0:amd64 (1.56.3-2) ... 293s Setting up libcairo2-ocaml (0.6.5-2build2) ... 293s Setting up gcc (4:15.2.0-4ubuntu1) ... 293s Setting up ocaml (5.3.0-3) ... 293s Processing triggers for libc-bin (2.42-0ubuntu3) ... 293s Processing triggers for man-db (2.13.1-1) ... 293s Processing triggers for libglib2.0-0t64:amd64 (2.86.1-1) ... 293s Setting up libgtk-3-0t64:amd64 (3.24.50-1ubuntu2) ... 293s Setting up liblablgtk3-ocaml (3.1.5-1build4) ... 293s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-5) ... 293s Setting up liblablgtksourceview3-ocaml (3.1.5-1build4) ... 293s Setting up why3 (1.8.2-1) ... 293s Processing triggers for libc-bin (2.42-0ubuntu3) ... 295s autopkgtest [12:25:37]: test why3+z3: [----------------------- 296s autopkgtest [12:25:38]: test why3+z3: -----------------------] 297s autopkgtest [12:25:39]: test why3+z3: - - - - - - - - - - results - - - - - - - - - - 297s why3+z3 PASS 297s autopkgtest [12:25:39]: @@@@@@@@@@@@@@@@@@@@ summary 297s why3+cvc4 PASS 297s why3+cvc5 PASS 297s why3+spass PASS 297s why3+z3 PASS