0s autopkgtest [20:36:43]: starting date and time: 2025-02-20 20:36:43+0000 0s autopkgtest [20:36:43]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [20:36:43]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.ub6d5ven/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gmp --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=gmp/2:6.3.0+dfsg-3ubuntu1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@lcy02-7.secgroup --name adt-plucky-amd64-why3-20250220-203643-juju-7f2275-prod-proposed-migration-environment-20-4f701c8b-59a3-43b6-88b4-999ab448f1fb --image adt/ubuntu-plucky-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 43s autopkgtest [20:37:26]: testbed dpkg architecture: amd64 43s autopkgtest [20:37:26]: testbed apt version: 2.9.30 43s autopkgtest [20:37:26]: @@@@@@@@@@@@@@@@@@@@ test bed setup 43s autopkgtest [20:37:26]: testbed release detected to be: None 43s autopkgtest [20:37:26]: updating testbed package index (apt update) 43s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 43s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 43s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 43s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 43s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 43s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 43s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 43s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 43s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [130 kB] 43s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [105 kB] 43s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 43s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 43s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [267 kB] 43s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [703 kB] 43s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [9128 B] 43s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [22.5 kB] 43s Fetched 2210 kB in 0s (6145 kB/s) 44s Reading package lists... 45s Reading package lists... 45s Building dependency tree... 45s Reading state information... 45s Calculating upgrade... 46s The following package was automatically installed and is no longer required: 46s libapt-pkg6.0t64 46s Use 'sudo apt autoremove' to remove it. 46s The following packages will be upgraded: 46s cryptsetup-bin fwupd inetutils-telnet kbd libcbor0.10 libcryptsetup12 46s libfwupd3 libssl3t64 lto-disabled-list openssl openssl-provider-legacy 46s python3-requests telnet ubuntu-pro-client ubuntu-pro-client-l10n 46s 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 46s Need to get 10.4 MB of archives. 46s After this operation, 194 kB of additional disk space will be used. 46s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 openssl-provider-legacy amd64 3.4.1-1ubuntu1 [38.8 kB] 46s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libssl3t64 amd64 3.4.1-1ubuntu1 [2334 kB] 46s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 kbd amd64 2.7.1-2ubuntu1 [242 kB] 46s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 openssl amd64 3.4.1-1ubuntu1 [1189 kB] 46s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 ubuntu-pro-client-l10n amd64 34.1.3 [18.3 kB] 46s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 ubuntu-pro-client amd64 34.1.3 [241 kB] 46s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 inetutils-telnet amd64 2:2.5-6ubuntu1 [116 kB] 46s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 libcbor0.10 amd64 0.10.2-2ubuntu1 [26.0 kB] 46s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 telnet all 0.17+2.5-6ubuntu1 [3694 B] 46s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libcryptsetup12 amd64 2:2.7.5-1ubuntu2 [321 kB] 46s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 cryptsetup-bin amd64 2:2.7.5-1ubuntu2 [222 kB] 46s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 fwupd amd64 2.0.6-3 [5408 kB] 46s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 libfwupd3 amd64 2.0.6-3 [136 kB] 46s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 lto-disabled-list all 56 [12.4 kB] 46s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 46s Fetched 10.4 MB in 0s (59.1 MB/s) 46s (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 ... 109023 files and directories currently installed.) 46s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_amd64.deb ... 46s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 46s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 46s (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 ... 109023 files and directories currently installed.) 46s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_amd64.deb ... 46s Unpacking libssl3t64:amd64 (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 47s Setting up libssl3t64:amd64 (3.4.1-1ubuntu1) ... 47s (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 ... 109023 files and directories currently installed.) 47s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_amd64.deb ... 47s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 47s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_amd64.deb ... 47s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 47s Preparing to unpack .../02-ubuntu-pro-client-l10n_34.1.3_amd64.deb ... 47s Unpacking ubuntu-pro-client-l10n (34.1.3) over (34.1.2) ... 47s Preparing to unpack .../03-ubuntu-pro-client_34.1.3_amd64.deb ... 47s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 47s for fn in glob1(directory, "%s.*" % fname): 47s Unpacking ubuntu-pro-client (34.1.3) over (34.1.2) ... 47s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_amd64.deb ... 47s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 47s Preparing to unpack .../05-libcbor0.10_0.10.2-2ubuntu1_amd64.deb ... 47s Unpacking libcbor0.10:amd64 (0.10.2-2ubuntu1) over (0.10.2-1.2ubuntu2) ... 47s Preparing to unpack .../06-telnet_0.17+2.5-6ubuntu1_all.deb ... 47s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 47s Preparing to unpack .../07-libcryptsetup12_2%3a2.7.5-1ubuntu2_amd64.deb ... 47s Unpacking libcryptsetup12:amd64 (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 47s Preparing to unpack .../08-cryptsetup-bin_2%3a2.7.5-1ubuntu2_amd64.deb ... 47s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 47s Preparing to unpack .../09-fwupd_2.0.6-3_amd64.deb ... 48s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 48s Preparing to unpack .../10-libfwupd3_2.0.6-3_amd64.deb ... 48s Unpacking libfwupd3:amd64 (2.0.6-3) over (2.0.5-1) ... 48s Preparing to unpack .../11-lto-disabled-list_56_all.deb ... 48s Unpacking lto-disabled-list (56) over (55) ... 48s Preparing to unpack .../12-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 48s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 48s for fn in glob1(directory, "%s.*" % fname): 48s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 48s Setting up lto-disabled-list (56) ... 48s Setting up libcbor0.10:amd64 (0.10.2-2ubuntu1) ... 48s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 48s Setting up libfwupd3:amd64 (2.0.6-3) ... 48s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 48s Setting up libcryptsetup12:amd64 (2:2.7.5-1ubuntu2) ... 48s Setting up kbd (2.7.1-2ubuntu1) ... 48s Setting up openssl (3.4.1-1ubuntu1) ... 48s Setting up ubuntu-pro-client (34.1.3) ... 50s Setting up fwupd (2.0.6-3) ... 50s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 50s fwupd.service is a disabled or a static unit not running, not starting it. 50s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 50s Setting up ubuntu-pro-client-l10n (34.1.3) ... 50s Setting up telnet (0.17+2.5-6ubuntu1) ... 50s Processing triggers for libc-bin (2.40-4ubuntu1) ... 50s Processing triggers for man-db (2.13.0-1) ... 52s Processing triggers for dbus (1.16.0-1ubuntu1) ... 52s Processing triggers for initramfs-tools (0.145ubuntu2) ... 52s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 52s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 62s Reading package lists... 62s Building dependency tree... 62s Reading state information... 63s The following packages will be REMOVED: 63s libapt-pkg6.0t64* 63s 0 upgraded, 0 newly installed, 1 to remove and 1 not upgraded. 63s After this operation, 3725 kB disk space will be freed. 63s (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 ... 109020 files and directories currently installed.) 63s Removing libapt-pkg6.0t64:amd64 (2.9.29) ... 63s Processing triggers for libc-bin (2.40-4ubuntu1) ... 63s autopkgtest [20:37:46]: upgrading testbed (apt dist-upgrade and autopurge) 63s Reading package lists... 64s Building dependency tree... 64s Reading state information... 64s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 64s Starting 2 pkgProblemResolver with broken count: 0 64s Done 65s Entering ResolveByKeep 65s 65s The following packages will be upgraded: 65s libgmp10 65s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 65s Need to get 256 kB of archives. 65s After this operation, 0 B of additional disk space will be used. 65s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libgmp10 amd64 2:6.3.0+dfsg-3ubuntu1 [256 kB] 65s Fetched 256 kB in 0s (4886 kB/s) 65s (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 ... 108970 files and directories currently installed.) 65s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_amd64.deb ... 65s Unpacking libgmp10:amd64 (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 66s Setting up libgmp10:amd64 (2:6.3.0+dfsg-3ubuntu1) ... 66s Processing triggers for libc-bin (2.40-4ubuntu1) ... 66s Reading package lists... 66s Building dependency tree... 66s Reading state information... 66s Starting pkgProblemResolver with broken count: 0 66s Starting 2 pkgProblemResolver with broken count: 0 66s Done 67s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 67s autopkgtest [20:37:50]: rebooting testbed after setup commands that affected boot 71s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 83s autopkgtest [20:38:06]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 16:02:16 UTC 2025 84s autopkgtest [20:38:07]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 86s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 86s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 86s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 86s gpgv: Signature made Fri Sep 6 15:04:31 2024 UTC 86s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 86s gpgv: Can't check signature: No public key 86s dpkg-source: warning: cannot verify inline signature for ./why3_1.7.2-2build1.dsc: no acceptable signature found 87s autopkgtest [20:38:10]: testing package why3 version 1.7.2-2build1 88s autopkgtest [20:38:11]: build not needed 88s autopkgtest [20:38:11]: test why3+cvc4: preparing testbed 88s Reading package lists... 89s Building dependency tree... 89s Reading state information... 89s Starting pkgProblemResolver with broken count: 0 89s Starting 2 pkgProblemResolver with broken count: 0 89s Done 90s The following NEW packages will be installed: 90s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-x86-64-linux-gnu 90s cpp-x86-64-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 90s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 90s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu gtk-update-icon-cache 90s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 90s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 90s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 90s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 90s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 90s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 90s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 90s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 90s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 90s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 90s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 90s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 90s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 90s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 90s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 90s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common 90s why3 90s 0 upgraded, 98 newly installed, 0 to remove and 0 not upgraded. 90s Need to get 171 MB of archives. 90s After this operation, 528 MB of additional disk space will be used. 90s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 90s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libjpeg-turbo8 amd64 2.1.5-3ubuntu2 [179 kB] 90s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 libjpeg8 amd64 8c-2ubuntu11 [2148 B] 90s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 libdeflate0 amd64 1.23-1 [64.1 kB] 90s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 libjbig0 amd64 2.1-6.1ubuntu2 [29.7 kB] 90s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 liblerc4 amd64 4.0.0+ds-5ubuntu1 [271 kB] 90s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [25.9 kB] 90s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 libwebp7 amd64 1.5.0-0.1 [378 kB] 90s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 libtiff6 amd64 4.5.1+git230720-4ubuntu4 [200 kB] 90s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.12+dfsg-2 [161 kB] 90s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 gtk-update-icon-cache amd64 4.17.4+ds-4 [53.9 kB] 90s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 hicolor-icon-theme all 0.18-2 [13.3 kB] 90s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 adwaita-icon-theme all 48~beta-3 [578 kB] 90s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 at-spi2-common all 2.55.2-1 [8916 B] 90s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 90s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 90s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [11.9 MB] 90s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-17ubuntu1 [1032 B] 90s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [5586 B] 90s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.2.0-1ubuntu1 [22.4 kB] 90s Get:21 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcln6 amd64 1.3.7-1 [504 kB] 90s Get:22 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcvc4-7 amd64 1.8-3build2 [4735 kB] 90s Get:23 http://ftpmaster.internal/ubuntu plucky/universe amd64 libantlr3c-3.4-0 amd64 3.4+dfsg-4build2 [44.9 kB] 90s Get:24 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcvc4parser7 amd64 1.8-3build2 [374 kB] 90s Get:25 http://ftpmaster.internal/ubuntu plucky/universe amd64 cvc4 amd64 1.8-3build2 [75.4 kB] 90s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 libdconf1 amd64 0.40.0-5 [39.8 kB] 90s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 dconf-service amd64 0.40.0-5 [28.4 kB] 90s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 dconf-gsettings-backend amd64 0.40.0-5 [22.7 kB] 90s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 fonts-dejavu-mono all 2.37-8 [502 kB] 90s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 fonts-dejavu-core all 2.37-8 [835 kB] 90s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 fontconfig-config amd64 2.15.0-2ubuntu1 [37.4 kB] 90s Get:32 http://ftpmaster.internal/ubuntu plucky/main amd64 libfontconfig1 amd64 2.15.0-2ubuntu1 [164 kB] 90s Get:33 http://ftpmaster.internal/ubuntu plucky/main amd64 fontconfig amd64 2.15.0-2ubuntu1 [180 kB] 90s Get:34 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 15-20250213-1ubuntu1 [47.0 kB] 90s Get:35 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 15-20250213-1ubuntu1 [148 kB] 90s Get:36 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 15-20250213-1ubuntu1 [28.5 kB] 90s Get:37 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 15-20250213-1ubuntu1 [3059 kB] 90s Get:38 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 15-20250213-1ubuntu1 [1356 kB] 90s Get:39 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 15-20250213-1ubuntu1 [2757 kB] 90s Get:40 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 15-20250213-1ubuntu1 [1206 kB] 90s Get:41 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 15-20250213-1ubuntu1 [1678 kB] 90s Get:42 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 15-20250213-1ubuntu1 [152 kB] 90s Get:43 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB] 90s Get:44 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB] 90s Get:45 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB] 90s Get:46 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B] 90s Get:47 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B] 90s Get:48 http://ftpmaster.internal/ubuntu plucky/main amd64 libatk1.0-0t64 amd64 2.55.2-1 [55.2 kB] 90s Get:49 http://ftpmaster.internal/ubuntu plucky/main amd64 libxi6 amd64 2:1.8.2-1 [32.4 kB] 90s Get:50 http://ftpmaster.internal/ubuntu plucky/main amd64 libatspi2.0-0t64 amd64 2.55.2-1 [87.6 kB] 90s Get:51 http://ftpmaster.internal/ubuntu plucky/main amd64 libatk-bridge2.0-0t64 amd64 2.55.2-1 [69.0 kB] 90s Get:52 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-common-data amd64 0.8-14ubuntu1 [30.5 kB] 90s Get:53 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-common3 amd64 0.8-14ubuntu1 [23.3 kB] 90s Get:54 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-client3 amd64 0.8-14ubuntu1 [27.5 kB] 90s Get:55 http://ftpmaster.internal/ubuntu plucky/main amd64 libpixman-1-0 amd64 0.44.0-3 [427 kB] 90s Get:56 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcb-render0 amd64 1.17.0-2 [16.2 kB] 90s Get:57 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcb-shm0 amd64 1.17.0-2 [5758 B] 90s Get:58 http://ftpmaster.internal/ubuntu plucky/main amd64 libxrender1 amd64 1:0.9.10-1.1build1 [19.0 kB] 90s Get:59 http://ftpmaster.internal/ubuntu plucky/main amd64 libcairo2 amd64 1.18.2-2 [569 kB] 90s Get:60 http://ftpmaster.internal/ubuntu plucky/main amd64 libcairo-gobject2 amd64 1.18.2-2 [127 kB] 90s Get:61 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB] 90s Get:62 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB] 90s Get:63 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcairo2-ocaml amd64 0.6.5-2 [29.4 kB] 90s Get:64 http://ftpmaster.internal/ubuntu plucky/main amd64 liblcms2-2 amd64 2.16-2 [212 kB] 90s Get:65 http://ftpmaster.internal/ubuntu plucky/main amd64 libcolord2 amd64 1.4.7-1build2 [149 kB] 90s Get:66 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] 91s Get:67 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB] 91s Get:68 http://ftpmaster.internal/ubuntu plucky/main amd64 libcups2t64 amd64 2.4.11-0ubuntu2 [292 kB] 91s Get:69 http://ftpmaster.internal/ubuntu plucky/main amd64 libdatrie1 amd64 0.2.13-3build1 [19.0 kB] 91s Get:70 http://ftpmaster.internal/ubuntu plucky/main amd64 libepoxy0 amd64 1.5.10-2 [218 kB] 91s Get:71 http://ftpmaster.internal/ubuntu plucky/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 91s Get:72 http://ftpmaster.internal/ubuntu plucky/main amd64 libharfbuzz0b amd64 10.2.0-1 [543 kB] 91s Get:73 http://ftpmaster.internal/ubuntu plucky/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 91s Get:74 http://ftpmaster.internal/ubuntu plucky/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 91s Get:75 http://ftpmaster.internal/ubuntu plucky/main amd64 libpango-1.0-0 amd64 1.56.1-1 [255 kB] 91s Get:76 http://ftpmaster.internal/ubuntu plucky/main amd64 libpangoft2-1.0-0 amd64 1.56.1-1 [52.6 kB] 91s Get:77 http://ftpmaster.internal/ubuntu plucky/main amd64 libpangocairo-1.0-0 amd64 1.56.1-1 [29.1 kB] 91s Get:78 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-client0 amd64 1.23.1-1 [29.1 kB] 91s Get:79 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-cursor0 amd64 1.23.1-1 [10.9 kB] 91s Get:80 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-egl1 amd64 1.23.1-1 [5744 B] 91s Get:81 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcomposite1 amd64 1:0.4.6-1 [6642 B] 91s Get:82 http://ftpmaster.internal/ubuntu plucky/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 91s Get:83 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcursor1 amd64 1:1.2.3-1 [23.1 kB] 91s Get:84 http://ftpmaster.internal/ubuntu plucky/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 92s Get:85 http://ftpmaster.internal/ubuntu plucky/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 92s Get:86 http://ftpmaster.internal/ubuntu plucky/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 92s Get:87 http://ftpmaster.internal/ubuntu plucky/main amd64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 92s Get:88 http://ftpmaster.internal/ubuntu plucky/main amd64 libgtk-3-0t64 amd64 3.24.48-3ubuntu1 [3169 kB] 92s Get:89 http://ftpmaster.internal/ubuntu plucky/universe amd64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 92s Get:90 http://ftpmaster.internal/ubuntu plucky/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-3 [234 kB] 92s Get:91 http://ftpmaster.internal/ubuntu plucky/universe amd64 liblablgtk3-ocaml amd64 3.1.5-1build1 [3526 kB] 92s Get:92 http://ftpmaster.internal/ubuntu plucky/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.5-1build1 [327 kB] 92s Get:93 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB] 92s Get:94 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB] 92s Get:95 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB] 92s Get:96 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB] 92s Get:97 http://ftpmaster.internal/ubuntu plucky/universe amd64 tex-common all 6.18 [32.8 kB] 92s Get:98 http://ftpmaster.internal/ubuntu plucky/universe amd64 why3 amd64 1.7.2-2build1 [11.9 MB] 92s Fetched 171 MB in 2s (69.9 MB/s) 93s Selecting previously unselected package libgdk-pixbuf2.0-common. 93s (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 ... 108970 files and directories currently installed.) 93s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 93s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 93s Selecting previously unselected package libjpeg-turbo8:amd64. 93s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_amd64.deb ... 93s Unpacking libjpeg-turbo8:amd64 (2.1.5-3ubuntu2) ... 93s Selecting previously unselected package libjpeg8:amd64. 93s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_amd64.deb ... 93s Unpacking libjpeg8:amd64 (8c-2ubuntu11) ... 93s Selecting previously unselected package libdeflate0:amd64. 93s Preparing to unpack .../03-libdeflate0_1.23-1_amd64.deb ... 93s Unpacking libdeflate0:amd64 (1.23-1) ... 93s Selecting previously unselected package libjbig0:amd64. 93s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_amd64.deb ... 93s Unpacking libjbig0:amd64 (2.1-6.1ubuntu2) ... 93s Selecting previously unselected package liblerc4:amd64. 93s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_amd64.deb ... 93s Unpacking liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 93s Selecting previously unselected package libsharpyuv0:amd64. 93s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_amd64.deb ... 93s Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... 93s Selecting previously unselected package libwebp7:amd64. 93s Preparing to unpack .../07-libwebp7_1.5.0-0.1_amd64.deb ... 93s Unpacking libwebp7:amd64 (1.5.0-0.1) ... 93s Selecting previously unselected package libtiff6:amd64. 93s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_amd64.deb ... 93s Unpacking libtiff6:amd64 (4.5.1+git230720-4ubuntu4) ... 93s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 93s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_amd64.deb ... 93s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-2) ... 93s Selecting previously unselected package gtk-update-icon-cache. 93s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_amd64.deb ... 93s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 93s 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. 93s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 93s Selecting previously unselected package hicolor-icon-theme. 93s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 93s Unpacking hicolor-icon-theme (0.18-2) ... 93s Selecting previously unselected package adwaita-icon-theme. 93s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 93s Unpacking adwaita-icon-theme (48~beta-3) ... 93s Selecting previously unselected package at-spi2-common. 93s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 93s Unpacking at-spi2-common (2.55.2-1) ... 93s Selecting previously unselected package libisl23:amd64. 93s Preparing to unpack .../14-libisl23_0.27-1_amd64.deb ... 93s Unpacking libisl23:amd64 (0.27-1) ... 93s Selecting previously unselected package libmpc3:amd64. 93s Preparing to unpack .../15-libmpc3_1.3.1-1build2_amd64.deb ... 93s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 93s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 93s Preparing to unpack .../16-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 93s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package cpp-14. 94s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_amd64.deb ... 94s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 94s Selecting previously unselected package cpp-x86-64-linux-gnu. 94s Preparing to unpack .../18-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 94s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 94s Selecting previously unselected package cpp. 94s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ... 94s Unpacking cpp (4:14.2.0-1ubuntu1) ... 94s Selecting previously unselected package libcln6:amd64. 94s Preparing to unpack .../20-libcln6_1.3.7-1_amd64.deb ... 94s Unpacking libcln6:amd64 (1.3.7-1) ... 94s Selecting previously unselected package libcvc4-7:amd64. 94s Preparing to unpack .../21-libcvc4-7_1.8-3build2_amd64.deb ... 94s Unpacking libcvc4-7:amd64 (1.8-3build2) ... 94s Selecting previously unselected package libantlr3c-3.4-0:amd64. 94s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_amd64.deb ... 94s Unpacking libantlr3c-3.4-0:amd64 (3.4+dfsg-4build2) ... 94s Selecting previously unselected package libcvc4parser7:amd64. 94s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_amd64.deb ... 94s Unpacking libcvc4parser7:amd64 (1.8-3build2) ... 94s Selecting previously unselected package cvc4. 94s Preparing to unpack .../24-cvc4_1.8-3build2_amd64.deb ... 94s Unpacking cvc4 (1.8-3build2) ... 94s Selecting previously unselected package libdconf1:amd64. 94s Preparing to unpack .../25-libdconf1_0.40.0-5_amd64.deb ... 94s Unpacking libdconf1:amd64 (0.40.0-5) ... 94s Selecting previously unselected package dconf-service. 94s Preparing to unpack .../26-dconf-service_0.40.0-5_amd64.deb ... 94s Unpacking dconf-service (0.40.0-5) ... 94s Selecting previously unselected package dconf-gsettings-backend:amd64. 94s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_amd64.deb ... 94s Unpacking dconf-gsettings-backend:amd64 (0.40.0-5) ... 94s Selecting previously unselected package fonts-dejavu-mono. 94s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 94s Unpacking fonts-dejavu-mono (2.37-8) ... 94s Selecting previously unselected package fonts-dejavu-core. 94s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 94s Unpacking fonts-dejavu-core (2.37-8) ... 94s Selecting previously unselected package fontconfig-config. 94s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_amd64.deb ... 94s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 94s Selecting previously unselected package libfontconfig1:amd64. 94s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_amd64.deb ... 94s Unpacking libfontconfig1:amd64 (2.15.0-2ubuntu1) ... 94s Selecting previously unselected package fontconfig. 94s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_amd64.deb ... 94s Unpacking fontconfig (2.15.0-2ubuntu1) ... 94s Selecting previously unselected package libcc1-0:amd64. 94s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_amd64.deb ... 94s Unpacking libcc1-0:amd64 (15-20250213-1ubuntu1) ... 94s Selecting previously unselected package libgomp1:amd64. 94s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_amd64.deb ... 94s Unpacking libgomp1:amd64 (15-20250213-1ubuntu1) ... 95s Selecting previously unselected package libitm1:amd64. 95s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_amd64.deb ... 95s Unpacking libitm1:amd64 (15-20250213-1ubuntu1) ... 95s Selecting previously unselected package libasan8:amd64. 95s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_amd64.deb ... 95s Unpacking libasan8:amd64 (15-20250213-1ubuntu1) ... 95s Selecting previously unselected package liblsan0:amd64. 95s Preparing to unpack .../37-liblsan0_15-20250213-1ubuntu1_amd64.deb ... 95s Unpacking liblsan0:amd64 (15-20250213-1ubuntu1) ... 95s Selecting previously unselected package libtsan2:amd64. 95s Preparing to unpack .../38-libtsan2_15-20250213-1ubuntu1_amd64.deb ... 95s Unpacking libtsan2:amd64 (15-20250213-1ubuntu1) ... 95s Selecting previously unselected package libubsan1:amd64. 95s Preparing to unpack .../39-libubsan1_15-20250213-1ubuntu1_amd64.deb ... 95s Unpacking libubsan1:amd64 (15-20250213-1ubuntu1) ... 95s Selecting previously unselected package libhwasan0:amd64. 95s Preparing to unpack .../40-libhwasan0_15-20250213-1ubuntu1_amd64.deb ... 95s Unpacking libhwasan0:amd64 (15-20250213-1ubuntu1) ... 95s Selecting previously unselected package libquadmath0:amd64. 95s Preparing to unpack .../41-libquadmath0_15-20250213-1ubuntu1_amd64.deb ... 95s Unpacking libquadmath0:amd64 (15-20250213-1ubuntu1) ... 95s Selecting previously unselected package libgcc-14-dev:amd64. 95s Preparing to unpack .../42-libgcc-14-dev_14.2.0-17ubuntu1_amd64.deb ... 95s Unpacking libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 95s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 95s Preparing to unpack .../43-gcc-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 95s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 95s Selecting previously unselected package gcc-14. 95s Preparing to unpack .../44-gcc-14_14.2.0-17ubuntu1_amd64.deb ... 95s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 95s Selecting previously unselected package gcc-x86-64-linux-gnu. 95s Preparing to unpack .../45-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 95s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 95s Selecting previously unselected package gcc. 95s Preparing to unpack .../46-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ... 95s Unpacking gcc (4:14.2.0-1ubuntu1) ... 95s Selecting previously unselected package libatk1.0-0t64:amd64. 95s Preparing to unpack .../47-libatk1.0-0t64_2.55.2-1_amd64.deb ... 95s Unpacking libatk1.0-0t64:amd64 (2.55.2-1) ... 95s Selecting previously unselected package libxi6:amd64. 95s Preparing to unpack .../48-libxi6_2%3a1.8.2-1_amd64.deb ... 95s Unpacking libxi6:amd64 (2:1.8.2-1) ... 96s Selecting previously unselected package libatspi2.0-0t64:amd64. 96s Preparing to unpack .../49-libatspi2.0-0t64_2.55.2-1_amd64.deb ... 96s Unpacking libatspi2.0-0t64:amd64 (2.55.2-1) ... 96s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 96s Preparing to unpack .../50-libatk-bridge2.0-0t64_2.55.2-1_amd64.deb ... 96s Unpacking libatk-bridge2.0-0t64:amd64 (2.55.2-1) ... 96s Selecting previously unselected package libavahi-common-data:amd64. 96s Preparing to unpack .../51-libavahi-common-data_0.8-14ubuntu1_amd64.deb ... 96s Unpacking libavahi-common-data:amd64 (0.8-14ubuntu1) ... 96s Selecting previously unselected package libavahi-common3:amd64. 96s Preparing to unpack .../52-libavahi-common3_0.8-14ubuntu1_amd64.deb ... 96s Unpacking libavahi-common3:amd64 (0.8-14ubuntu1) ... 96s Selecting previously unselected package libavahi-client3:amd64. 96s Preparing to unpack .../53-libavahi-client3_0.8-14ubuntu1_amd64.deb ... 96s Unpacking libavahi-client3:amd64 (0.8-14ubuntu1) ... 99s Selecting previously unselected package libpixman-1-0:amd64. 99s Preparing to unpack .../54-libpixman-1-0_0.44.0-3_amd64.deb ... 99s Unpacking libpixman-1-0:amd64 (0.44.0-3) ... 99s Selecting previously unselected package libxcb-render0:amd64. 99s Preparing to unpack .../55-libxcb-render0_1.17.0-2_amd64.deb ... 99s Unpacking libxcb-render0:amd64 (1.17.0-2) ... 99s Selecting previously unselected package libxcb-shm0:amd64. 99s Preparing to unpack .../56-libxcb-shm0_1.17.0-2_amd64.deb ... 99s Unpacking libxcb-shm0:amd64 (1.17.0-2) ... 99s Selecting previously unselected package libxrender1:amd64. 99s Preparing to unpack .../57-libxrender1_1%3a0.9.10-1.1build1_amd64.deb ... 99s Unpacking libxrender1:amd64 (1:0.9.10-1.1build1) ... 99s Selecting previously unselected package libcairo2:amd64. 99s Preparing to unpack .../58-libcairo2_1.18.2-2_amd64.deb ... 99s Unpacking libcairo2:amd64 (1.18.2-2) ... 99s Selecting previously unselected package libcairo-gobject2:amd64. 99s Preparing to unpack .../59-libcairo-gobject2_1.18.2-2_amd64.deb ... 99s Unpacking libcairo-gobject2:amd64 (1.18.2-2) ... 99s Selecting previously unselected package libstdlib-ocaml. 99s Preparing to unpack .../60-libstdlib-ocaml_5.2.0-3_amd64.deb ... 99s Unpacking libstdlib-ocaml (5.2.0-3) ... 99s Selecting previously unselected package ocaml-base. 99s Preparing to unpack .../61-ocaml-base_5.2.0-3_amd64.deb ... 99s Unpacking ocaml-base (5.2.0-3) ... 99s Selecting previously unselected package libcairo2-ocaml. 99s Preparing to unpack .../62-libcairo2-ocaml_0.6.5-2_amd64.deb ... 99s Unpacking libcairo2-ocaml (0.6.5-2) ... 99s Selecting previously unselected package liblcms2-2:amd64. 99s Preparing to unpack .../63-liblcms2-2_2.16-2_amd64.deb ... 99s Unpacking liblcms2-2:amd64 (2.16-2) ... 99s Selecting previously unselected package libcolord2:amd64. 99s Preparing to unpack .../64-libcolord2_1.4.7-1build2_amd64.deb ... 99s Unpacking libcolord2:amd64 (1.4.7-1build2) ... 99s Selecting previously unselected package libstdlib-ocaml-dev. 99s Preparing to unpack .../65-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... 99s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 99s Selecting previously unselected package libcompiler-libs-ocaml-dev. 99s Preparing to unpack .../66-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... 99s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 99s Selecting previously unselected package libcups2t64:amd64. 99s Preparing to unpack .../67-libcups2t64_2.4.11-0ubuntu2_amd64.deb ... 99s Unpacking libcups2t64:amd64 (2.4.11-0ubuntu2) ... 99s Selecting previously unselected package libdatrie1:amd64. 99s Preparing to unpack .../68-libdatrie1_0.2.13-3build1_amd64.deb ... 99s Unpacking libdatrie1:amd64 (0.2.13-3build1) ... 99s Selecting previously unselected package libepoxy0:amd64. 99s Preparing to unpack .../69-libepoxy0_1.5.10-2_amd64.deb ... 99s Unpacking libepoxy0:amd64 (1.5.10-2) ... 99s Selecting previously unselected package libgraphite2-3:amd64. 99s Preparing to unpack .../70-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 99s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 99s Selecting previously unselected package libharfbuzz0b:amd64. 99s Preparing to unpack .../71-libharfbuzz0b_10.2.0-1_amd64.deb ... 99s Unpacking libharfbuzz0b:amd64 (10.2.0-1) ... 99s Selecting previously unselected package libthai-data. 99s Preparing to unpack .../72-libthai-data_0.1.29-2build1_all.deb ... 99s Unpacking libthai-data (0.1.29-2build1) ... 99s Selecting previously unselected package libthai0:amd64. 99s Preparing to unpack .../73-libthai0_0.1.29-2build1_amd64.deb ... 99s Unpacking libthai0:amd64 (0.1.29-2build1) ... 99s Selecting previously unselected package libpango-1.0-0:amd64. 99s Preparing to unpack .../74-libpango-1.0-0_1.56.1-1_amd64.deb ... 99s Unpacking libpango-1.0-0:amd64 (1.56.1-1) ... 99s Selecting previously unselected package libpangoft2-1.0-0:amd64. 99s Preparing to unpack .../75-libpangoft2-1.0-0_1.56.1-1_amd64.deb ... 99s Unpacking libpangoft2-1.0-0:amd64 (1.56.1-1) ... 99s Selecting previously unselected package libpangocairo-1.0-0:amd64. 99s Preparing to unpack .../76-libpangocairo-1.0-0_1.56.1-1_amd64.deb ... 99s Unpacking libpangocairo-1.0-0:amd64 (1.56.1-1) ... 99s Selecting previously unselected package libwayland-client0:amd64. 99s Preparing to unpack .../77-libwayland-client0_1.23.1-1_amd64.deb ... 99s Unpacking libwayland-client0:amd64 (1.23.1-1) ... 99s Selecting previously unselected package libwayland-cursor0:amd64. 99s Preparing to unpack .../78-libwayland-cursor0_1.23.1-1_amd64.deb ... 99s Unpacking libwayland-cursor0:amd64 (1.23.1-1) ... 99s Selecting previously unselected package libwayland-egl1:amd64. 99s Preparing to unpack .../79-libwayland-egl1_1.23.1-1_amd64.deb ... 99s Unpacking libwayland-egl1:amd64 (1.23.1-1) ... 99s Selecting previously unselected package libxcomposite1:amd64. 99s Preparing to unpack .../80-libxcomposite1_1%3a0.4.6-1_amd64.deb ... 99s Unpacking libxcomposite1:amd64 (1:0.4.6-1) ... 99s Selecting previously unselected package libxfixes3:amd64. 99s Preparing to unpack .../81-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 99s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 99s Selecting previously unselected package libxcursor1:amd64. 99s Preparing to unpack .../82-libxcursor1_1%3a1.2.3-1_amd64.deb ... 99s Unpacking libxcursor1:amd64 (1:1.2.3-1) ... 99s Selecting previously unselected package libxdamage1:amd64. 99s Preparing to unpack .../83-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 99s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 99s Selecting previously unselected package libxinerama1:amd64. 99s Preparing to unpack .../84-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 99s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 99s Selecting previously unselected package libxrandr2:amd64. 99s Preparing to unpack .../85-libxrandr2_2%3a1.5.4-1_amd64.deb ... 99s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 99s Selecting previously unselected package libgtk-3-common. 99s Preparing to unpack .../86-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 99s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 99s Selecting previously unselected package libgtk-3-0t64:amd64. 99s Preparing to unpack .../87-libgtk-3-0t64_3.24.48-3ubuntu1_amd64.deb ... 99s Unpacking libgtk-3-0t64:amd64 (3.24.48-3ubuntu1) ... 99s Selecting previously unselected package libgtksourceview-3.0-common. 99s Preparing to unpack .../88-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 99s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 99s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 99s Preparing to unpack .../89-libgtksourceview-3.0-1_3.24.11-3_amd64.deb ... 99s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-3) ... 99s Selecting previously unselected package liblablgtk3-ocaml. 99s Preparing to unpack .../90-liblablgtk3-ocaml_3.1.5-1build1_amd64.deb ... 99s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 99s Selecting previously unselected package liblablgtksourceview3-ocaml. 99s Preparing to unpack .../91-liblablgtksourceview3-ocaml_3.1.5-1build1_amd64.deb ... 99s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 99s Selecting previously unselected package libncurses-dev:amd64. 99s Preparing to unpack .../92-libncurses-dev_6.5+20250125-2_amd64.deb ... 99s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ... 99s Selecting previously unselected package libzstd-dev:amd64. 99s Preparing to unpack .../93-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... 99s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... 99s Selecting previously unselected package ocaml-interp. 99s Preparing to unpack .../94-ocaml-interp_5.2.0-3_amd64.deb ... 99s Unpacking ocaml-interp (5.2.0-3) ... 99s Selecting previously unselected package ocaml. 99s Preparing to unpack .../95-ocaml_5.2.0-3_amd64.deb ... 99s Unpacking ocaml (5.2.0-3) ... 99s Selecting previously unselected package tex-common. 99s Preparing to unpack .../96-tex-common_6.18_all.deb ... 99s Unpacking tex-common (6.18) ... 99s Selecting previously unselected package why3. 99s Preparing to unpack .../97-why3_1.7.2-2build1_amd64.deb ... 99s Unpacking why3 (1.7.2-2build1) ... 99s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 99s Setting up liblcms2-2:amd64 (2.16-2) ... 99s Setting up libpixman-1-0:amd64 (0.44.0-3) ... 99s Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... 99s Setting up libcln6:amd64 (1.3.7-1) ... 99s Setting up libncurses-dev:amd64 (6.5+20250125-2) ... 99s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 99s Setting up liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 99s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... 99s Setting up libantlr3c-3.4-0:amd64 (3.4+dfsg-4build2) ... 99s Setting up hicolor-icon-theme (0.18-2) ... 99s Setting up libxi6:amd64 (2:1.8.2-1) ... 99s Setting up libxrender1:amd64 (1:0.9.10-1.1build1) ... 99s Setting up libdatrie1:amd64 (0.2.13-3build1) ... 99s Setting up libxcb-render0:amd64 (1.17.0-2) ... 99s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 99s Setting up libdeflate0:amd64 (1.23-1) ... 99s Setting up libxcb-shm0:amd64 (1.17.0-2) ... 99s Setting up libgomp1:amd64 (15-20250213-1ubuntu1) ... 99s Setting up libjbig0:amd64 (2.1-6.1ubuntu2) ... 99s Setting up libcolord2:amd64 (1.4.7-1build2) ... 99s Setting up libdconf1:amd64 (0.40.0-5) ... 99s Setting up tex-common (6.18) ... 99s update-language: texlive-base not installed and configured, doing nothing! 99s Setting up libepoxy0:amd64 (1.5.10-2) ... 99s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 99s Setting up libavahi-common-data:amd64 (0.8-14ubuntu1) ... 99s Setting up libatspi2.0-0t64:amd64 (2.55.2-1) ... 99s Setting up libquadmath0:amd64 (15-20250213-1ubuntu1) ... 99s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 99s Setting up libstdlib-ocaml (5.2.0-3) ... 99s Setting up fonts-dejavu-mono (2.37-8) ... 99s Setting up libmpc3:amd64 (1.3.1-1build2) ... 99s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 99s Setting up ocaml-base (5.2.0-3) ... 99s Setting up fonts-dejavu-core (2.37-8) ... 99s Setting up libjpeg-turbo8:amd64 (2.1.5-3ubuntu2) ... 99s Setting up libwebp7:amd64 (1.5.0-0.1) ... 99s Setting up libubsan1:amd64 (15-20250213-1ubuntu1) ... 99s Setting up libhwasan0:amd64 (15-20250213-1ubuntu1) ... 99s Setting up at-spi2-common (2.55.2-1) ... 99s Setting up libasan8:amd64 (15-20250213-1ubuntu1) ... 99s Setting up libcvc4-7:amd64 (1.8-3build2) ... 99s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 99s Setting up libharfbuzz0b:amd64 (10.2.0-1) ... 99s Setting up libthai-data (0.1.29-2build1) ... 99s Setting up libwayland-egl1:amd64 (1.23.1-1) ... 99s Setting up libtsan2:amd64 (15-20250213-1ubuntu1) ... 99s Setting up libisl23:amd64 (0.27-1) ... 99s Setting up libxcomposite1:amd64 (1:0.4.6-1) ... 99s Setting up libcc1-0:amd64 (15-20250213-1ubuntu1) ... 99s Setting up liblsan0:amd64 (15-20250213-1ubuntu1) ... 99s Setting up libitm1:amd64 (15-20250213-1ubuntu1) ... 99s Setting up libwayland-client0:amd64 (1.23.1-1) ... 99s Setting up libjpeg8:amd64 (8c-2ubuntu11) ... 99s Setting up libatk1.0-0t64:amd64 (2.55.2-1) ... 99s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 99s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 100s Setting up libxcursor1:amd64 (1:1.2.3-1) ... 100s Setting up libavahi-common3:amd64 (0.8-14ubuntu1) ... 100s Setting up dconf-service (0.40.0-5) ... 100s Setting up libthai0:amd64 (0.1.29-2build1) ... 100s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 100s Setting up ocaml-interp (5.2.0-3) ... 100s Setting up libcvc4parser7:amd64 (1.8-3build2) ... 100s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 100s Setting up cpp-14 (14.2.0-17ubuntu1) ... 100s Setting up libtiff6:amd64 (4.5.1+git230720-4ubuntu4) ... 100s Setting up libwayland-cursor0:amd64 (1.23.1-1) ... 100s Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-2) ... 100s Setting up cvc4 (1.8-3build2) ... 100s Setting up libfontconfig1:amd64 (2.15.0-2ubuntu1) ... 100s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 100s Setting up libavahi-client3:amd64 (0.8-14ubuntu1) ... 100s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 100s Setting up libatk-bridge2.0-0t64:amd64 (2.55.2-1) ... 100s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 100s Setting up fontconfig (2.15.0-2ubuntu1) ... 102s Regenerating fonts cache... done. 102s Setting up dconf-gsettings-backend:amd64 (0.40.0-5) ... 102s Setting up libpango-1.0-0:amd64 (1.56.1-1) ... 102s Setting up libcairo2:amd64 (1.18.2-2) ... 102s Setting up adwaita-icon-theme (48~beta-3) ... 102s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 102s Setting up cpp (4:14.2.0-1ubuntu1) ... 102s Setting up libcairo-gobject2:amd64 (1.18.2-2) ... 102s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 102s Setting up libpangoft2-1.0-0:amd64 (1.56.1-1) ... 102s Setting up libcups2t64:amd64 (2.4.11-0ubuntu2) ... 102s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 102s Setting up libpangocairo-1.0-0:amd64 (1.56.1-1) ... 102s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 102s Setting up libcairo2-ocaml (0.6.5-2) ... 102s Setting up gcc-14 (14.2.0-17ubuntu1) ... 102s Setting up gcc (4:14.2.0-1ubuntu1) ... 102s Setting up ocaml (5.2.0-3) ... 102s Processing triggers for libc-bin (2.40-4ubuntu1) ... 102s Processing triggers for man-db (2.13.0-1) ... 103s Processing triggers for libglib2.0-0t64:amd64 (2.83.3-2) ... 103s Setting up libgtk-3-0t64:amd64 (3.24.48-3ubuntu1) ... 103s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 103s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-3) ... 103s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 103s Setting up why3 (1.7.2-2build1) ... 103s Processing triggers for libc-bin (2.40-4ubuntu1) ... 104s autopkgtest [20:38:27]: test why3+cvc4: [----------------------- 104s autopkgtest [20:38:27]: test why3+cvc4: -----------------------] 105s why3+cvc4 PASS 105s autopkgtest [20:38:28]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 105s autopkgtest [20:38:28]: test why3+spass: preparing testbed 164s autopkgtest [20:39:27]: testbed dpkg architecture: amd64 164s autopkgtest [20:39:27]: testbed apt version: 2.9.30 165s autopkgtest [20:39:28]: @@@@@@@@@@@@@@@@@@@@ test bed setup 165s autopkgtest [20:39:28]: testbed release detected to be: plucky 165s autopkgtest [20:39:28]: updating testbed package index (apt update) 165s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 165s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 165s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 165s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 165s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 165s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 165s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 165s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 165s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [105 kB] 165s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [130 kB] 165s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 165s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 165s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [703 kB] 165s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [267 kB] 165s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [22.5 kB] 165s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [9128 B] 165s Fetched 2210 kB in 0s (5660 kB/s) 166s Reading package lists... 167s Reading package lists... 167s Building dependency tree... 167s Reading state information... 167s Calculating upgrade... 168s The following package was automatically installed and is no longer required: 168s libapt-pkg6.0t64 168s Use 'sudo apt autoremove' to remove it. 168s The following packages will be upgraded: 168s cryptsetup-bin fwupd inetutils-telnet kbd libcbor0.10 libcryptsetup12 168s libfwupd3 libssl3t64 lto-disabled-list openssl openssl-provider-legacy 168s python3-requests telnet ubuntu-pro-client ubuntu-pro-client-l10n 168s 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 168s Need to get 10.4 MB of archives. 168s After this operation, 194 kB of additional disk space will be used. 168s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 openssl-provider-legacy amd64 3.4.1-1ubuntu1 [38.8 kB] 168s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libssl3t64 amd64 3.4.1-1ubuntu1 [2334 kB] 168s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 kbd amd64 2.7.1-2ubuntu1 [242 kB] 168s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 openssl amd64 3.4.1-1ubuntu1 [1189 kB] 168s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 ubuntu-pro-client-l10n amd64 34.1.3 [18.3 kB] 168s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 ubuntu-pro-client amd64 34.1.3 [241 kB] 168s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 inetutils-telnet amd64 2:2.5-6ubuntu1 [116 kB] 168s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 libcbor0.10 amd64 0.10.2-2ubuntu1 [26.0 kB] 168s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 telnet all 0.17+2.5-6ubuntu1 [3694 B] 168s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libcryptsetup12 amd64 2:2.7.5-1ubuntu2 [321 kB] 168s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 cryptsetup-bin amd64 2:2.7.5-1ubuntu2 [222 kB] 168s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 fwupd amd64 2.0.6-3 [5408 kB] 168s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 libfwupd3 amd64 2.0.6-3 [136 kB] 168s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 lto-disabled-list all 56 [12.4 kB] 168s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 168s Fetched 10.4 MB in 0s (50.5 MB/s) 168s (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 ... 109023 files and directories currently installed.) 168s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_amd64.deb ... 168s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 168s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 169s (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 ... 109023 files and directories currently installed.) 169s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_amd64.deb ... 169s Unpacking libssl3t64:amd64 (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 169s Setting up libssl3t64:amd64 (3.4.1-1ubuntu1) ... 169s (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 ... 109023 files and directories currently installed.) 169s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_amd64.deb ... 169s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 169s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_amd64.deb ... 169s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 169s Preparing to unpack .../02-ubuntu-pro-client-l10n_34.1.3_amd64.deb ... 169s Unpacking ubuntu-pro-client-l10n (34.1.3) over (34.1.2) ... 169s Preparing to unpack .../03-ubuntu-pro-client_34.1.3_amd64.deb ... 169s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 169s for fn in glob1(directory, "%s.*" % fname): 169s Unpacking ubuntu-pro-client (34.1.3) over (34.1.2) ... 169s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_amd64.deb ... 169s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 169s Preparing to unpack .../05-libcbor0.10_0.10.2-2ubuntu1_amd64.deb ... 169s Unpacking libcbor0.10:amd64 (0.10.2-2ubuntu1) over (0.10.2-1.2ubuntu2) ... 169s Preparing to unpack .../06-telnet_0.17+2.5-6ubuntu1_all.deb ... 169s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 169s Preparing to unpack .../07-libcryptsetup12_2%3a2.7.5-1ubuntu2_amd64.deb ... 169s Unpacking libcryptsetup12:amd64 (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 169s Preparing to unpack .../08-cryptsetup-bin_2%3a2.7.5-1ubuntu2_amd64.deb ... 169s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 169s Preparing to unpack .../09-fwupd_2.0.6-3_amd64.deb ... 169s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 170s Preparing to unpack .../10-libfwupd3_2.0.6-3_amd64.deb ... 170s Unpacking libfwupd3:amd64 (2.0.6-3) over (2.0.5-1) ... 170s Preparing to unpack .../11-lto-disabled-list_56_all.deb ... 170s Unpacking lto-disabled-list (56) over (55) ... 170s Preparing to unpack .../12-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 170s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 170s for fn in glob1(directory, "%s.*" % fname): 170s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 170s Setting up lto-disabled-list (56) ... 170s Setting up libcbor0.10:amd64 (0.10.2-2ubuntu1) ... 170s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 170s Setting up libfwupd3:amd64 (2.0.6-3) ... 170s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 170s Setting up libcryptsetup12:amd64 (2:2.7.5-1ubuntu2) ... 170s Setting up kbd (2.7.1-2ubuntu1) ... 170s Setting up openssl (3.4.1-1ubuntu1) ... 170s Setting up ubuntu-pro-client (34.1.3) ... 172s Setting up fwupd (2.0.6-3) ... 172s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 172s fwupd.service is a disabled or a static unit not running, not starting it. 172s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 172s Setting up ubuntu-pro-client-l10n (34.1.3) ... 172s Setting up telnet (0.17+2.5-6ubuntu1) ... 172s Processing triggers for libc-bin (2.40-4ubuntu1) ... 172s Processing triggers for man-db (2.13.0-1) ... 174s Processing triggers for dbus (1.16.0-1ubuntu1) ... 174s Processing triggers for initramfs-tools (0.145ubuntu2) ... 174s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 174s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 185s Reading package lists... 185s Building dependency tree... 185s Reading state information... 185s The following packages will be REMOVED: 185s libapt-pkg6.0t64* 186s 0 upgraded, 0 newly installed, 1 to remove and 1 not upgraded. 186s After this operation, 3725 kB disk space will be freed. 186s (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 ... 109020 files and directories currently installed.) 186s Removing libapt-pkg6.0t64:amd64 (2.9.29) ... 186s Processing triggers for libc-bin (2.40-4ubuntu1) ... 186s autopkgtest [20:39:49]: upgrading testbed (apt dist-upgrade and autopurge) 186s Reading package lists... 186s Building dependency tree... 186s Reading state information... 187s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 187s Starting 2 pkgProblemResolver with broken count: 0 187s Done 188s Entering ResolveByKeep 188s 188s The following packages will be upgraded: 188s libgmp10 188s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 188s Need to get 256 kB of archives. 188s After this operation, 0 B of additional disk space will be used. 188s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libgmp10 amd64 2:6.3.0+dfsg-3ubuntu1 [256 kB] 188s Fetched 256 kB in 0s (5744 kB/s) 189s (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 ... 108970 files and directories currently installed.) 189s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_amd64.deb ... 189s Unpacking libgmp10:amd64 (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 189s Setting up libgmp10:amd64 (2:6.3.0+dfsg-3ubuntu1) ... 189s Processing triggers for libc-bin (2.40-4ubuntu1) ... 189s Reading package lists... 189s Building dependency tree... 189s Reading state information... 190s Starting pkgProblemResolver with broken count: 0 190s Starting 2 pkgProblemResolver with broken count: 0 190s Done 190s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 190s autopkgtest [20:39:53]: rebooting testbed after setup commands that affected boot 194s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 206s Reading package lists... 207s Building dependency tree... 207s Reading state information... 207s Starting pkgProblemResolver with broken count: 0 207s Starting 2 pkgProblemResolver with broken count: 0 207s Done 208s The following NEW packages will be installed: 208s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-x86-64-linux-gnu 208s cpp-x86-64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 208s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 208s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu gtk-update-icon-cache 208s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 208s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 208s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 208s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 208s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 208s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 208s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 208s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 208s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 208s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 208s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 208s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 208s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 208s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 208s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass 208s tex-common why3 208s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 208s Need to get 166 MB of archives. 208s After this operation, 509 MB of additional disk space will be used. 208s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 208s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libjpeg-turbo8 amd64 2.1.5-3ubuntu2 [179 kB] 208s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 libjpeg8 amd64 8c-2ubuntu11 [2148 B] 208s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 libdeflate0 amd64 1.23-1 [64.1 kB] 208s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 libjbig0 amd64 2.1-6.1ubuntu2 [29.7 kB] 208s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 liblerc4 amd64 4.0.0+ds-5ubuntu1 [271 kB] 208s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [25.9 kB] 208s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 libwebp7 amd64 1.5.0-0.1 [378 kB] 208s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 libtiff6 amd64 4.5.1+git230720-4ubuntu4 [200 kB] 208s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.12+dfsg-2 [161 kB] 208s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 gtk-update-icon-cache amd64 4.17.4+ds-4 [53.9 kB] 208s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 hicolor-icon-theme all 0.18-2 [13.3 kB] 208s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 adwaita-icon-theme all 48~beta-3 [578 kB] 208s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 at-spi2-common all 2.55.2-1 [8916 B] 208s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 208s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 208s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [11.9 MB] 208s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-17ubuntu1 [1032 B] 208s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [5586 B] 208s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.2.0-1ubuntu1 [22.4 kB] 208s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 libdconf1 amd64 0.40.0-5 [39.8 kB] 208s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 dconf-service amd64 0.40.0-5 [28.4 kB] 208s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 dconf-gsettings-backend amd64 0.40.0-5 [22.7 kB] 208s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 fonts-dejavu-mono all 2.37-8 [502 kB] 208s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 fonts-dejavu-core all 2.37-8 [835 kB] 208s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 fontconfig-config amd64 2.15.0-2ubuntu1 [37.4 kB] 208s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 libfontconfig1 amd64 2.15.0-2ubuntu1 [164 kB] 208s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 fontconfig amd64 2.15.0-2ubuntu1 [180 kB] 208s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 15-20250213-1ubuntu1 [47.0 kB] 208s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 15-20250213-1ubuntu1 [148 kB] 208s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 15-20250213-1ubuntu1 [28.5 kB] 208s Get:32 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 15-20250213-1ubuntu1 [3059 kB] 208s Get:33 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 15-20250213-1ubuntu1 [1356 kB] 208s Get:34 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 15-20250213-1ubuntu1 [2757 kB] 208s Get:35 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 15-20250213-1ubuntu1 [1206 kB] 208s Get:36 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 15-20250213-1ubuntu1 [1678 kB] 208s Get:37 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 15-20250213-1ubuntu1 [152 kB] 208s Get:38 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB] 208s Get:39 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB] 209s Get:40 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB] 209s Get:41 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B] 209s Get:42 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B] 209s Get:43 http://ftpmaster.internal/ubuntu plucky/main amd64 libatk1.0-0t64 amd64 2.55.2-1 [55.2 kB] 209s Get:44 http://ftpmaster.internal/ubuntu plucky/main amd64 libxi6 amd64 2:1.8.2-1 [32.4 kB] 209s Get:45 http://ftpmaster.internal/ubuntu plucky/main amd64 libatspi2.0-0t64 amd64 2.55.2-1 [87.6 kB] 209s Get:46 http://ftpmaster.internal/ubuntu plucky/main amd64 libatk-bridge2.0-0t64 amd64 2.55.2-1 [69.0 kB] 209s Get:47 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-common-data amd64 0.8-14ubuntu1 [30.5 kB] 209s Get:48 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-common3 amd64 0.8-14ubuntu1 [23.3 kB] 209s Get:49 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-client3 amd64 0.8-14ubuntu1 [27.5 kB] 209s Get:50 http://ftpmaster.internal/ubuntu plucky/main amd64 libpixman-1-0 amd64 0.44.0-3 [427 kB] 209s Get:51 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcb-render0 amd64 1.17.0-2 [16.2 kB] 209s Get:52 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcb-shm0 amd64 1.17.0-2 [5758 B] 209s Get:53 http://ftpmaster.internal/ubuntu plucky/main amd64 libxrender1 amd64 1:0.9.10-1.1build1 [19.0 kB] 209s Get:54 http://ftpmaster.internal/ubuntu plucky/main amd64 libcairo2 amd64 1.18.2-2 [569 kB] 209s Get:55 http://ftpmaster.internal/ubuntu plucky/main amd64 libcairo-gobject2 amd64 1.18.2-2 [127 kB] 209s Get:56 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB] 209s Get:57 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB] 209s Get:58 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcairo2-ocaml amd64 0.6.5-2 [29.4 kB] 209s Get:59 http://ftpmaster.internal/ubuntu plucky/main amd64 liblcms2-2 amd64 2.16-2 [212 kB] 209s Get:60 http://ftpmaster.internal/ubuntu plucky/main amd64 libcolord2 amd64 1.4.7-1build2 [149 kB] 209s Get:61 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] 209s Get:62 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB] 209s Get:63 http://ftpmaster.internal/ubuntu plucky/main amd64 libcups2t64 amd64 2.4.11-0ubuntu2 [292 kB] 209s Get:64 http://ftpmaster.internal/ubuntu plucky/main amd64 libdatrie1 amd64 0.2.13-3build1 [19.0 kB] 209s Get:65 http://ftpmaster.internal/ubuntu plucky/main amd64 libepoxy0 amd64 1.5.10-2 [218 kB] 209s Get:66 http://ftpmaster.internal/ubuntu plucky/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 209s Get:67 http://ftpmaster.internal/ubuntu plucky/main amd64 libharfbuzz0b amd64 10.2.0-1 [543 kB] 209s Get:68 http://ftpmaster.internal/ubuntu plucky/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 209s Get:69 http://ftpmaster.internal/ubuntu plucky/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 209s Get:70 http://ftpmaster.internal/ubuntu plucky/main amd64 libpango-1.0-0 amd64 1.56.1-1 [255 kB] 209s Get:71 http://ftpmaster.internal/ubuntu plucky/main amd64 libpangoft2-1.0-0 amd64 1.56.1-1 [52.6 kB] 209s Get:72 http://ftpmaster.internal/ubuntu plucky/main amd64 libpangocairo-1.0-0 amd64 1.56.1-1 [29.1 kB] 209s Get:73 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-client0 amd64 1.23.1-1 [29.1 kB] 209s Get:74 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-cursor0 amd64 1.23.1-1 [10.9 kB] 209s Get:75 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-egl1 amd64 1.23.1-1 [5744 B] 209s Get:76 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcomposite1 amd64 1:0.4.6-1 [6642 B] 209s Get:77 http://ftpmaster.internal/ubuntu plucky/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 209s Get:78 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcursor1 amd64 1:1.2.3-1 [23.1 kB] 209s Get:79 http://ftpmaster.internal/ubuntu plucky/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 209s Get:80 http://ftpmaster.internal/ubuntu plucky/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 209s Get:81 http://ftpmaster.internal/ubuntu plucky/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 209s Get:82 http://ftpmaster.internal/ubuntu plucky/main amd64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 209s Get:83 http://ftpmaster.internal/ubuntu plucky/main amd64 libgtk-3-0t64 amd64 3.24.48-3ubuntu1 [3169 kB] 209s Get:84 http://ftpmaster.internal/ubuntu plucky/universe amd64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 209s Get:85 http://ftpmaster.internal/ubuntu plucky/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-3 [234 kB] 209s Get:86 http://ftpmaster.internal/ubuntu plucky/universe amd64 liblablgtk3-ocaml amd64 3.1.5-1build1 [3526 kB] 209s Get:87 http://ftpmaster.internal/ubuntu plucky/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.5-1build1 [327 kB] 209s Get:88 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB] 209s Get:89 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB] 209s Get:90 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB] 209s Get:91 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB] 209s Get:92 http://ftpmaster.internal/ubuntu plucky/universe amd64 spass amd64 3.9-1.1 [296 kB] 209s Get:93 http://ftpmaster.internal/ubuntu plucky/universe amd64 tex-common all 6.18 [32.8 kB] 209s Get:94 http://ftpmaster.internal/ubuntu plucky/universe amd64 why3 amd64 1.7.2-2build1 [11.9 MB] 210s Fetched 166 MB in 1s (113 MB/s) 210s Selecting previously unselected package libgdk-pixbuf2.0-common. 210s (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 ... 108970 files and directories currently installed.) 210s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 210s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 210s Selecting previously unselected package libjpeg-turbo8:amd64. 210s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_amd64.deb ... 210s Unpacking libjpeg-turbo8:amd64 (2.1.5-3ubuntu2) ... 210s Selecting previously unselected package libjpeg8:amd64. 210s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_amd64.deb ... 210s Unpacking libjpeg8:amd64 (8c-2ubuntu11) ... 210s Selecting previously unselected package libdeflate0:amd64. 210s Preparing to unpack .../03-libdeflate0_1.23-1_amd64.deb ... 210s Unpacking libdeflate0:amd64 (1.23-1) ... 210s Selecting previously unselected package libjbig0:amd64. 210s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_amd64.deb ... 210s Unpacking libjbig0:amd64 (2.1-6.1ubuntu2) ... 210s Selecting previously unselected package liblerc4:amd64. 210s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_amd64.deb ... 210s Unpacking liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 210s Selecting previously unselected package libsharpyuv0:amd64. 210s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_amd64.deb ... 210s Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... 210s Selecting previously unselected package libwebp7:amd64. 210s Preparing to unpack .../07-libwebp7_1.5.0-0.1_amd64.deb ... 210s Unpacking libwebp7:amd64 (1.5.0-0.1) ... 211s Selecting previously unselected package libtiff6:amd64. 211s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_amd64.deb ... 211s Unpacking libtiff6:amd64 (4.5.1+git230720-4ubuntu4) ... 211s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 211s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_amd64.deb ... 211s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-2) ... 211s Selecting previously unselected package gtk-update-icon-cache. 211s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_amd64.deb ... 211s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 211s 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. 211s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 211s Selecting previously unselected package hicolor-icon-theme. 211s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 211s Unpacking hicolor-icon-theme (0.18-2) ... 211s Selecting previously unselected package adwaita-icon-theme. 211s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 211s Unpacking adwaita-icon-theme (48~beta-3) ... 211s Selecting previously unselected package at-spi2-common. 211s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 211s Unpacking at-spi2-common (2.55.2-1) ... 211s Selecting previously unselected package libisl23:amd64. 211s Preparing to unpack .../14-libisl23_0.27-1_amd64.deb ... 211s Unpacking libisl23:amd64 (0.27-1) ... 211s Selecting previously unselected package libmpc3:amd64. 211s Preparing to unpack .../15-libmpc3_1.3.1-1build2_amd64.deb ... 211s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 211s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 211s Preparing to unpack .../16-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 211s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 211s Selecting previously unselected package cpp-14. 211s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_amd64.deb ... 211s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 211s Selecting previously unselected package cpp-x86-64-linux-gnu. 211s Preparing to unpack .../18-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 211s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 211s Selecting previously unselected package cpp. 211s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ... 211s Unpacking cpp (4:14.2.0-1ubuntu1) ... 211s Selecting previously unselected package libdconf1:amd64. 211s Preparing to unpack .../20-libdconf1_0.40.0-5_amd64.deb ... 211s Unpacking libdconf1:amd64 (0.40.0-5) ... 211s Selecting previously unselected package dconf-service. 211s Preparing to unpack .../21-dconf-service_0.40.0-5_amd64.deb ... 211s Unpacking dconf-service (0.40.0-5) ... 211s Selecting previously unselected package dconf-gsettings-backend:amd64. 211s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_amd64.deb ... 211s Unpacking dconf-gsettings-backend:amd64 (0.40.0-5) ... 212s Selecting previously unselected package fonts-dejavu-mono. 212s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 212s Unpacking fonts-dejavu-mono (2.37-8) ... 212s Selecting previously unselected package fonts-dejavu-core. 212s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 212s Unpacking fonts-dejavu-core (2.37-8) ... 212s Selecting previously unselected package fontconfig-config. 212s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_amd64.deb ... 212s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 212s Selecting previously unselected package libfontconfig1:amd64. 212s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_amd64.deb ... 212s Unpacking libfontconfig1:amd64 (2.15.0-2ubuntu1) ... 212s Selecting previously unselected package fontconfig. 212s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_amd64.deb ... 212s Unpacking fontconfig (2.15.0-2ubuntu1) ... 212s Selecting previously unselected package libcc1-0:amd64. 212s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_amd64.deb ... 212s Unpacking libcc1-0:amd64 (15-20250213-1ubuntu1) ... 212s Selecting previously unselected package libgomp1:amd64. 212s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_amd64.deb ... 212s Unpacking libgomp1:amd64 (15-20250213-1ubuntu1) ... 212s Selecting previously unselected package libitm1:amd64. 212s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_amd64.deb ... 212s Unpacking libitm1:amd64 (15-20250213-1ubuntu1) ... 212s Selecting previously unselected package libasan8:amd64. 212s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_amd64.deb ... 212s Unpacking libasan8:amd64 (15-20250213-1ubuntu1) ... 212s Selecting previously unselected package liblsan0:amd64. 212s Preparing to unpack .../32-liblsan0_15-20250213-1ubuntu1_amd64.deb ... 212s Unpacking liblsan0:amd64 (15-20250213-1ubuntu1) ... 212s Selecting previously unselected package libtsan2:amd64. 212s Preparing to unpack .../33-libtsan2_15-20250213-1ubuntu1_amd64.deb ... 212s Unpacking libtsan2:amd64 (15-20250213-1ubuntu1) ... 212s Selecting previously unselected package libubsan1:amd64. 212s Preparing to unpack .../34-libubsan1_15-20250213-1ubuntu1_amd64.deb ... 212s Unpacking libubsan1:amd64 (15-20250213-1ubuntu1) ... 212s Selecting previously unselected package libhwasan0:amd64. 212s Preparing to unpack .../35-libhwasan0_15-20250213-1ubuntu1_amd64.deb ... 212s Unpacking libhwasan0:amd64 (15-20250213-1ubuntu1) ... 212s Selecting previously unselected package libquadmath0:amd64. 212s Preparing to unpack .../36-libquadmath0_15-20250213-1ubuntu1_amd64.deb ... 212s Unpacking libquadmath0:amd64 (15-20250213-1ubuntu1) ... 212s Selecting previously unselected package libgcc-14-dev:amd64. 212s Preparing to unpack .../37-libgcc-14-dev_14.2.0-17ubuntu1_amd64.deb ... 212s Unpacking libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 212s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 213s Preparing to unpack .../38-gcc-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 213s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 213s Selecting previously unselected package gcc-14. 213s Preparing to unpack .../39-gcc-14_14.2.0-17ubuntu1_amd64.deb ... 213s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 213s Selecting previously unselected package gcc-x86-64-linux-gnu. 213s Preparing to unpack .../40-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 213s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 213s Selecting previously unselected package gcc. 213s Preparing to unpack .../41-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ... 213s Unpacking gcc (4:14.2.0-1ubuntu1) ... 213s Selecting previously unselected package libatk1.0-0t64:amd64. 213s Preparing to unpack .../42-libatk1.0-0t64_2.55.2-1_amd64.deb ... 213s Unpacking libatk1.0-0t64:amd64 (2.55.2-1) ... 213s Selecting previously unselected package libxi6:amd64. 213s Preparing to unpack .../43-libxi6_2%3a1.8.2-1_amd64.deb ... 213s Unpacking libxi6:amd64 (2:1.8.2-1) ... 213s Selecting previously unselected package libatspi2.0-0t64:amd64. 213s Preparing to unpack .../44-libatspi2.0-0t64_2.55.2-1_amd64.deb ... 213s Unpacking libatspi2.0-0t64:amd64 (2.55.2-1) ... 213s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 213s Preparing to unpack .../45-libatk-bridge2.0-0t64_2.55.2-1_amd64.deb ... 213s Unpacking libatk-bridge2.0-0t64:amd64 (2.55.2-1) ... 213s Selecting previously unselected package libavahi-common-data:amd64. 213s Preparing to unpack .../46-libavahi-common-data_0.8-14ubuntu1_amd64.deb ... 213s Unpacking libavahi-common-data:amd64 (0.8-14ubuntu1) ... 213s Selecting previously unselected package libavahi-common3:amd64. 213s Preparing to unpack .../47-libavahi-common3_0.8-14ubuntu1_amd64.deb ... 213s Unpacking libavahi-common3:amd64 (0.8-14ubuntu1) ... 213s Selecting previously unselected package libavahi-client3:amd64. 213s Preparing to unpack .../48-libavahi-client3_0.8-14ubuntu1_amd64.deb ... 213s Unpacking libavahi-client3:amd64 (0.8-14ubuntu1) ... 213s Selecting previously unselected package libpixman-1-0:amd64. 213s Preparing to unpack .../49-libpixman-1-0_0.44.0-3_amd64.deb ... 213s Unpacking libpixman-1-0:amd64 (0.44.0-3) ... 213s Selecting previously unselected package libxcb-render0:amd64. 213s Preparing to unpack .../50-libxcb-render0_1.17.0-2_amd64.deb ... 213s Unpacking libxcb-render0:amd64 (1.17.0-2) ... 213s Selecting previously unselected package libxcb-shm0:amd64. 213s Preparing to unpack .../51-libxcb-shm0_1.17.0-2_amd64.deb ... 213s Unpacking libxcb-shm0:amd64 (1.17.0-2) ... 213s Selecting previously unselected package libxrender1:amd64. 213s Preparing to unpack .../52-libxrender1_1%3a0.9.10-1.1build1_amd64.deb ... 213s Unpacking libxrender1:amd64 (1:0.9.10-1.1build1) ... 213s Selecting previously unselected package libcairo2:amd64. 213s Preparing to unpack .../53-libcairo2_1.18.2-2_amd64.deb ... 213s Unpacking libcairo2:amd64 (1.18.2-2) ... 213s Selecting previously unselected package libcairo-gobject2:amd64. 213s Preparing to unpack .../54-libcairo-gobject2_1.18.2-2_amd64.deb ... 213s Unpacking libcairo-gobject2:amd64 (1.18.2-2) ... 213s Selecting previously unselected package libstdlib-ocaml. 213s Preparing to unpack .../55-libstdlib-ocaml_5.2.0-3_amd64.deb ... 213s Unpacking libstdlib-ocaml (5.2.0-3) ... 213s Selecting previously unselected package ocaml-base. 213s Preparing to unpack .../56-ocaml-base_5.2.0-3_amd64.deb ... 213s Unpacking ocaml-base (5.2.0-3) ... 214s Selecting previously unselected package libcairo2-ocaml. 214s Preparing to unpack .../57-libcairo2-ocaml_0.6.5-2_amd64.deb ... 214s Unpacking libcairo2-ocaml (0.6.5-2) ... 214s Selecting previously unselected package liblcms2-2:amd64. 214s Preparing to unpack .../58-liblcms2-2_2.16-2_amd64.deb ... 214s Unpacking liblcms2-2:amd64 (2.16-2) ... 214s Selecting previously unselected package libcolord2:amd64. 214s Preparing to unpack .../59-libcolord2_1.4.7-1build2_amd64.deb ... 214s Unpacking libcolord2:amd64 (1.4.7-1build2) ... 214s Selecting previously unselected package libstdlib-ocaml-dev. 214s Preparing to unpack .../60-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... 214s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 214s Selecting previously unselected package libcompiler-libs-ocaml-dev. 214s Preparing to unpack .../61-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... 214s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 214s Selecting previously unselected package libcups2t64:amd64. 214s Preparing to unpack .../62-libcups2t64_2.4.11-0ubuntu2_amd64.deb ... 214s Unpacking libcups2t64:amd64 (2.4.11-0ubuntu2) ... 214s Selecting previously unselected package libdatrie1:amd64. 214s Preparing to unpack .../63-libdatrie1_0.2.13-3build1_amd64.deb ... 214s Unpacking libdatrie1:amd64 (0.2.13-3build1) ... 214s Selecting previously unselected package libepoxy0:amd64. 214s Preparing to unpack .../64-libepoxy0_1.5.10-2_amd64.deb ... 214s Unpacking libepoxy0:amd64 (1.5.10-2) ... 215s Selecting previously unselected package libgraphite2-3:amd64. 215s Preparing to unpack .../65-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 215s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 215s Selecting previously unselected package libharfbuzz0b:amd64. 215s Preparing to unpack .../66-libharfbuzz0b_10.2.0-1_amd64.deb ... 215s Unpacking libharfbuzz0b:amd64 (10.2.0-1) ... 215s Selecting previously unselected package libthai-data. 215s Preparing to unpack .../67-libthai-data_0.1.29-2build1_all.deb ... 215s Unpacking libthai-data (0.1.29-2build1) ... 215s Selecting previously unselected package libthai0:amd64. 215s Preparing to unpack .../68-libthai0_0.1.29-2build1_amd64.deb ... 215s Unpacking libthai0:amd64 (0.1.29-2build1) ... 215s Selecting previously unselected package libpango-1.0-0:amd64. 215s Preparing to unpack .../69-libpango-1.0-0_1.56.1-1_amd64.deb ... 215s Unpacking libpango-1.0-0:amd64 (1.56.1-1) ... 215s Selecting previously unselected package libpangoft2-1.0-0:amd64. 215s Preparing to unpack .../70-libpangoft2-1.0-0_1.56.1-1_amd64.deb ... 215s Unpacking libpangoft2-1.0-0:amd64 (1.56.1-1) ... 215s Selecting previously unselected package libpangocairo-1.0-0:amd64. 215s Preparing to unpack .../71-libpangocairo-1.0-0_1.56.1-1_amd64.deb ... 215s Unpacking libpangocairo-1.0-0:amd64 (1.56.1-1) ... 215s Selecting previously unselected package libwayland-client0:amd64. 215s Preparing to unpack .../72-libwayland-client0_1.23.1-1_amd64.deb ... 215s Unpacking libwayland-client0:amd64 (1.23.1-1) ... 215s Selecting previously unselected package libwayland-cursor0:amd64. 215s Preparing to unpack .../73-libwayland-cursor0_1.23.1-1_amd64.deb ... 215s Unpacking libwayland-cursor0:amd64 (1.23.1-1) ... 215s Selecting previously unselected package libwayland-egl1:amd64. 215s Preparing to unpack .../74-libwayland-egl1_1.23.1-1_amd64.deb ... 215s Unpacking libwayland-egl1:amd64 (1.23.1-1) ... 215s Selecting previously unselected package libxcomposite1:amd64. 215s Preparing to unpack .../75-libxcomposite1_1%3a0.4.6-1_amd64.deb ... 215s Unpacking libxcomposite1:amd64 (1:0.4.6-1) ... 215s Selecting previously unselected package libxfixes3:amd64. 215s Preparing to unpack .../76-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 215s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 215s Selecting previously unselected package libxcursor1:amd64. 215s Preparing to unpack .../77-libxcursor1_1%3a1.2.3-1_amd64.deb ... 215s Unpacking libxcursor1:amd64 (1:1.2.3-1) ... 215s Selecting previously unselected package libxdamage1:amd64. 215s Preparing to unpack .../78-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 215s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 215s Selecting previously unselected package libxinerama1:amd64. 215s Preparing to unpack .../79-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 215s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 215s Selecting previously unselected package libxrandr2:amd64. 215s Preparing to unpack .../80-libxrandr2_2%3a1.5.4-1_amd64.deb ... 215s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 215s Selecting previously unselected package libgtk-3-common. 215s Preparing to unpack .../81-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 215s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 215s Selecting previously unselected package libgtk-3-0t64:amd64. 215s Preparing to unpack .../82-libgtk-3-0t64_3.24.48-3ubuntu1_amd64.deb ... 215s Unpacking libgtk-3-0t64:amd64 (3.24.48-3ubuntu1) ... 215s Selecting previously unselected package libgtksourceview-3.0-common. 215s Preparing to unpack .../83-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 215s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 215s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 215s Preparing to unpack .../84-libgtksourceview-3.0-1_3.24.11-3_amd64.deb ... 215s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-3) ... 215s Selecting previously unselected package liblablgtk3-ocaml. 215s Preparing to unpack .../85-liblablgtk3-ocaml_3.1.5-1build1_amd64.deb ... 215s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 216s Selecting previously unselected package liblablgtksourceview3-ocaml. 216s Preparing to unpack .../86-liblablgtksourceview3-ocaml_3.1.5-1build1_amd64.deb ... 216s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 216s Selecting previously unselected package libncurses-dev:amd64. 216s Preparing to unpack .../87-libncurses-dev_6.5+20250125-2_amd64.deb ... 216s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ... 216s Selecting previously unselected package libzstd-dev:amd64. 216s Preparing to unpack .../88-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... 216s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... 216s Selecting previously unselected package ocaml-interp. 216s Preparing to unpack .../89-ocaml-interp_5.2.0-3_amd64.deb ... 216s Unpacking ocaml-interp (5.2.0-3) ... 216s Selecting previously unselected package ocaml. 216s Preparing to unpack .../90-ocaml_5.2.0-3_amd64.deb ... 216s Unpacking ocaml (5.2.0-3) ... 216s Selecting previously unselected package spass. 216s Preparing to unpack .../91-spass_3.9-1.1_amd64.deb ... 216s Unpacking spass (3.9-1.1) ... 216s Selecting previously unselected package tex-common. 216s Preparing to unpack .../92-tex-common_6.18_all.deb ... 216s Unpacking tex-common (6.18) ... 216s Selecting previously unselected package why3. 216s Preparing to unpack .../93-why3_1.7.2-2build1_amd64.deb ... 216s Unpacking why3 (1.7.2-2build1) ... 217s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 217s Setting up liblcms2-2:amd64 (2.16-2) ... 217s Setting up libpixman-1-0:amd64 (0.44.0-3) ... 217s Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... 217s Setting up libncurses-dev:amd64 (6.5+20250125-2) ... 217s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 217s Setting up liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 217s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... 217s Setting up hicolor-icon-theme (0.18-2) ... 217s Setting up libxi6:amd64 (2:1.8.2-1) ... 217s Setting up libxrender1:amd64 (1:0.9.10-1.1build1) ... 217s Setting up libdatrie1:amd64 (0.2.13-3build1) ... 217s Setting up libxcb-render0:amd64 (1.17.0-2) ... 217s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 217s Setting up libdeflate0:amd64 (1.23-1) ... 217s Setting up libxcb-shm0:amd64 (1.17.0-2) ... 217s Setting up libgomp1:amd64 (15-20250213-1ubuntu1) ... 217s Setting up libjbig0:amd64 (2.1-6.1ubuntu2) ... 217s Setting up libcolord2:amd64 (1.4.7-1build2) ... 217s Setting up libdconf1:amd64 (0.40.0-5) ... 217s Setting up tex-common (6.18) ... 217s update-language: texlive-base not installed and configured, doing nothing! 217s Setting up libepoxy0:amd64 (1.5.10-2) ... 217s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 217s Setting up spass (3.9-1.1) ... 217s Setting up libavahi-common-data:amd64 (0.8-14ubuntu1) ... 217s Setting up libatspi2.0-0t64:amd64 (2.55.2-1) ... 217s Setting up libquadmath0:amd64 (15-20250213-1ubuntu1) ... 217s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 217s Setting up libstdlib-ocaml (5.2.0-3) ... 217s Setting up fonts-dejavu-mono (2.37-8) ... 217s Setting up libmpc3:amd64 (1.3.1-1build2) ... 217s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 217s Setting up ocaml-base (5.2.0-3) ... 217s Setting up fonts-dejavu-core (2.37-8) ... 217s Setting up libjpeg-turbo8:amd64 (2.1.5-3ubuntu2) ... 217s Setting up libwebp7:amd64 (1.5.0-0.1) ... 217s Setting up libubsan1:amd64 (15-20250213-1ubuntu1) ... 217s Setting up libhwasan0:amd64 (15-20250213-1ubuntu1) ... 217s Setting up at-spi2-common (2.55.2-1) ... 217s Setting up libasan8:amd64 (15-20250213-1ubuntu1) ... 217s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 217s Setting up libharfbuzz0b:amd64 (10.2.0-1) ... 217s Setting up libthai-data (0.1.29-2build1) ... 217s Setting up libwayland-egl1:amd64 (1.23.1-1) ... 217s Setting up libtsan2:amd64 (15-20250213-1ubuntu1) ... 217s Setting up libisl23:amd64 (0.27-1) ... 217s Setting up libxcomposite1:amd64 (1:0.4.6-1) ... 217s Setting up libcc1-0:amd64 (15-20250213-1ubuntu1) ... 217s Setting up liblsan0:amd64 (15-20250213-1ubuntu1) ... 217s Setting up libitm1:amd64 (15-20250213-1ubuntu1) ... 217s Setting up libwayland-client0:amd64 (1.23.1-1) ... 217s Setting up libjpeg8:amd64 (8c-2ubuntu11) ... 217s Setting up libatk1.0-0t64:amd64 (2.55.2-1) ... 217s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 217s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 217s Setting up libxcursor1:amd64 (1:1.2.3-1) ... 217s Setting up libavahi-common3:amd64 (0.8-14ubuntu1) ... 217s Setting up dconf-service (0.40.0-5) ... 217s Setting up libthai0:amd64 (0.1.29-2build1) ... 217s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 217s Setting up ocaml-interp (5.2.0-3) ... 217s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 217s Setting up cpp-14 (14.2.0-17ubuntu1) ... 217s Setting up libtiff6:amd64 (4.5.1+git230720-4ubuntu4) ... 217s Setting up libwayland-cursor0:amd64 (1.23.1-1) ... 217s Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-2) ... 217s Setting up libfontconfig1:amd64 (2.15.0-2ubuntu1) ... 217s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 217s Setting up libavahi-client3:amd64 (0.8-14ubuntu1) ... 217s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 217s Setting up libatk-bridge2.0-0t64:amd64 (2.55.2-1) ... 217s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 217s Setting up fontconfig (2.15.0-2ubuntu1) ... 219s Regenerating fonts cache... done. 219s Setting up dconf-gsettings-backend:amd64 (0.40.0-5) ... 219s Setting up libpango-1.0-0:amd64 (1.56.1-1) ... 219s Setting up libcairo2:amd64 (1.18.2-2) ... 219s Setting up adwaita-icon-theme (48~beta-3) ... 219s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 219s Setting up cpp (4:14.2.0-1ubuntu1) ... 219s Setting up libcairo-gobject2:amd64 (1.18.2-2) ... 219s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 219s Setting up libpangoft2-1.0-0:amd64 (1.56.1-1) ... 219s Setting up libcups2t64:amd64 (2.4.11-0ubuntu2) ... 219s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 219s Setting up libpangocairo-1.0-0:amd64 (1.56.1-1) ... 219s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 219s Setting up libcairo2-ocaml (0.6.5-2) ... 219s Setting up gcc-14 (14.2.0-17ubuntu1) ... 219s Setting up gcc (4:14.2.0-1ubuntu1) ... 219s Setting up ocaml (5.2.0-3) ... 219s Processing triggers for libc-bin (2.40-4ubuntu1) ... 219s Processing triggers for man-db (2.13.0-1) ... 221s Processing triggers for libglib2.0-0t64:amd64 (2.83.3-2) ... 221s Setting up libgtk-3-0t64:amd64 (3.24.48-3ubuntu1) ... 221s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 221s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-3) ... 221s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 221s Setting up why3 (1.7.2-2build1) ... 221s Processing triggers for libc-bin (2.40-4ubuntu1) ... 228s autopkgtest [20:40:31]: test why3+spass: [----------------------- 229s autopkgtest [20:40:32]: test why3+spass: -----------------------] 229s autopkgtest [20:40:32]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 229s why3+spass PASS 229s autopkgtest [20:40:32]: test why3+z3: preparing testbed 290s autopkgtest [20:41:33]: testbed dpkg architecture: amd64 290s autopkgtest [20:41:33]: testbed apt version: 2.9.30 290s autopkgtest [20:41:33]: @@@@@@@@@@@@@@@@@@@@ test bed setup 290s autopkgtest [20:41:33]: testbed release detected to be: plucky 290s autopkgtest [20:41:33]: updating testbed package index (apt update) 290s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 290s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 290s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 290s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 290s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 291s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 291s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 291s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 291s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [105 kB] 291s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [130 kB] 291s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 291s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 291s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [703 kB] 291s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [267 kB] 291s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [9128 B] 291s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [22.5 kB] 291s Fetched 2210 kB in 0s (4718 kB/s) 292s Reading package lists... 292s Reading package lists... 293s Building dependency tree... 293s Reading state information... 293s Calculating upgrade... 293s The following package was automatically installed and is no longer required: 293s libapt-pkg6.0t64 293s Use 'sudo apt autoremove' to remove it. 294s The following packages will be upgraded: 294s cryptsetup-bin fwupd inetutils-telnet kbd libcbor0.10 libcryptsetup12 294s libfwupd3 libssl3t64 lto-disabled-list openssl openssl-provider-legacy 294s python3-requests telnet ubuntu-pro-client ubuntu-pro-client-l10n 294s 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 294s Need to get 10.4 MB of archives. 294s After this operation, 194 kB of additional disk space will be used. 294s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 openssl-provider-legacy amd64 3.4.1-1ubuntu1 [38.8 kB] 294s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libssl3t64 amd64 3.4.1-1ubuntu1 [2334 kB] 294s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 kbd amd64 2.7.1-2ubuntu1 [242 kB] 294s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 openssl amd64 3.4.1-1ubuntu1 [1189 kB] 294s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 ubuntu-pro-client-l10n amd64 34.1.3 [18.3 kB] 294s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 ubuntu-pro-client amd64 34.1.3 [241 kB] 294s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 inetutils-telnet amd64 2:2.5-6ubuntu1 [116 kB] 294s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 libcbor0.10 amd64 0.10.2-2ubuntu1 [26.0 kB] 294s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 telnet all 0.17+2.5-6ubuntu1 [3694 B] 294s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libcryptsetup12 amd64 2:2.7.5-1ubuntu2 [321 kB] 294s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 cryptsetup-bin amd64 2:2.7.5-1ubuntu2 [222 kB] 294s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 fwupd amd64 2.0.6-3 [5408 kB] 294s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 libfwupd3 amd64 2.0.6-3 [136 kB] 294s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 lto-disabled-list all 56 [12.4 kB] 294s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 294s Fetched 10.4 MB in 0s (45.2 MB/s) 294s (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 ... 109023 files and directories currently installed.) 294s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_amd64.deb ... 294s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 294s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 295s (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 ... 109023 files and directories currently installed.) 295s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_amd64.deb ... 295s Unpacking libssl3t64:amd64 (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 295s Setting up libssl3t64:amd64 (3.4.1-1ubuntu1) ... 295s (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 ... 109023 files and directories currently installed.) 295s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_amd64.deb ... 295s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 295s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_amd64.deb ... 295s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 295s Preparing to unpack .../02-ubuntu-pro-client-l10n_34.1.3_amd64.deb ... 295s Unpacking ubuntu-pro-client-l10n (34.1.3) over (34.1.2) ... 295s Preparing to unpack .../03-ubuntu-pro-client_34.1.3_amd64.deb ... 295s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 295s for fn in glob1(directory, "%s.*" % fname): 295s Unpacking ubuntu-pro-client (34.1.3) over (34.1.2) ... 295s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_amd64.deb ... 295s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 295s Preparing to unpack .../05-libcbor0.10_0.10.2-2ubuntu1_amd64.deb ... 295s Unpacking libcbor0.10:amd64 (0.10.2-2ubuntu1) over (0.10.2-1.2ubuntu2) ... 295s Preparing to unpack .../06-telnet_0.17+2.5-6ubuntu1_all.deb ... 295s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 295s Preparing to unpack .../07-libcryptsetup12_2%3a2.7.5-1ubuntu2_amd64.deb ... 295s Unpacking libcryptsetup12:amd64 (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 295s Preparing to unpack .../08-cryptsetup-bin_2%3a2.7.5-1ubuntu2_amd64.deb ... 295s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 295s Preparing to unpack .../09-fwupd_2.0.6-3_amd64.deb ... 296s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 296s Preparing to unpack .../10-libfwupd3_2.0.6-3_amd64.deb ... 296s Unpacking libfwupd3:amd64 (2.0.6-3) over (2.0.5-1) ... 296s Preparing to unpack .../11-lto-disabled-list_56_all.deb ... 296s Unpacking lto-disabled-list (56) over (55) ... 296s Preparing to unpack .../12-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 296s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 296s for fn in glob1(directory, "%s.*" % fname): 296s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 296s Setting up lto-disabled-list (56) ... 296s Setting up libcbor0.10:amd64 (0.10.2-2ubuntu1) ... 296s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 296s Setting up libfwupd3:amd64 (2.0.6-3) ... 296s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 296s Setting up libcryptsetup12:amd64 (2:2.7.5-1ubuntu2) ... 296s Setting up kbd (2.7.1-2ubuntu1) ... 296s Setting up openssl (3.4.1-1ubuntu1) ... 296s Setting up ubuntu-pro-client (34.1.3) ... 298s Setting up fwupd (2.0.6-3) ... 299s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 299s fwupd.service is a disabled or a static unit not running, not starting it. 299s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 299s Setting up ubuntu-pro-client-l10n (34.1.3) ... 299s Setting up telnet (0.17+2.5-6ubuntu1) ... 299s Processing triggers for libc-bin (2.40-4ubuntu1) ... 299s Processing triggers for man-db (2.13.0-1) ... 300s Processing triggers for dbus (1.16.0-1ubuntu1) ... 300s Processing triggers for initramfs-tools (0.145ubuntu2) ... 300s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 300s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 313s Reading package lists... 314s Building dependency tree... 314s Reading state information... 314s The following packages will be REMOVED: 314s libapt-pkg6.0t64* 314s 0 upgraded, 0 newly installed, 1 to remove and 1 not upgraded. 314s After this operation, 3725 kB disk space will be freed. 315s (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 ... 109020 files and directories currently installed.) 315s Removing libapt-pkg6.0t64:amd64 (2.9.29) ... 315s Processing triggers for libc-bin (2.40-4ubuntu1) ... 315s autopkgtest [20:41:58]: upgrading testbed (apt dist-upgrade and autopurge) 315s Reading package lists... 315s Building dependency tree... 315s Reading state information... 316s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 316s Starting 2 pkgProblemResolver with broken count: 0 316s Done 317s Entering ResolveByKeep 317s 318s The following packages will be upgraded: 318s libgmp10 318s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 318s Need to get 256 kB of archives. 318s After this operation, 0 B of additional disk space will be used. 318s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libgmp10 amd64 2:6.3.0+dfsg-3ubuntu1 [256 kB] 318s Fetched 256 kB in 0s (4039 kB/s) 318s (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 ... 108970 files and directories currently installed.) 318s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_amd64.deb ... 318s Unpacking libgmp10:amd64 (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 318s Setting up libgmp10:amd64 (2:6.3.0+dfsg-3ubuntu1) ... 318s Processing triggers for libc-bin (2.40-4ubuntu1) ... 319s Reading package lists... 319s Building dependency tree... 319s Reading state information... 320s Starting pkgProblemResolver with broken count: 0 320s Starting 2 pkgProblemResolver with broken count: 0 320s Done 320s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 320s autopkgtest [20:42:03]: rebooting testbed after setup commands that affected boot 324s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 338s Reading package lists... 339s Building dependency tree... 339s Reading state information... 339s Starting pkgProblemResolver with broken count: 1 339s Starting 2 pkgProblemResolver with broken count: 1 339s Investigating (0) satisfy:command-line:amd64 < none -> 1 @un puN Ib > 339s Broken satisfy:command-line:amd64 Depends on why3:amd64 < none | 1.7.2-2build1 @un uH > 339s Considering why3:amd64 1 as a solution to satisfy:command-line:amd64 9998 339s Re-Instated fonts-dejavu-mono:amd64 339s Re-Instated fonts-dejavu-core:amd64 339s Re-Instated fontconfig-config:amd64 339s Re-Instated libfontconfig1:amd64 339s Re-Instated libpixman-1-0:amd64 339s Re-Instated libxcb-render0:amd64 339s Re-Instated libxcb-shm0:amd64 339s Re-Instated libxrender1:amd64 339s Re-Instated libcairo2:amd64 339s Re-Instated libgdk-pixbuf2.0-common:amd64 339s Re-Instated libjpeg-turbo8:amd64 339s Re-Instated libjpeg8:amd64 339s Re-Instated libdeflate0:amd64 339s Re-Instated libjbig0:amd64 339s Re-Instated liblerc4:amd64 339s Re-Instated libsharpyuv0:amd64 339s Re-Instated libwebp7:amd64 339s Re-Instated libtiff6:amd64 339s Re-Instated libgdk-pixbuf-2.0-0:amd64 339s Re-Instated gtk-update-icon-cache:amd64 339s Re-Instated hicolor-icon-theme:amd64 339s Re-Instated adwaita-icon-theme:amd64 339s Re-Instated at-spi2-common:amd64 339s Re-Instated libatk1.0-0t64:amd64 339s Re-Instated libxi6:amd64 339s Re-Instated libatspi2.0-0t64:amd64 339s Re-Instated libatk-bridge2.0-0t64:amd64 339s Re-Instated libcairo-gobject2:amd64 339s Re-Instated liblcms2-2:amd64 339s Re-Instated libcolord2:amd64 339s Re-Instated libavahi-common-data:amd64 339s Re-Instated libavahi-common3:amd64 339s Re-Instated libavahi-client3:amd64 339s Re-Instated libcups2t64:amd64 339s Re-Instated libepoxy0:amd64 339s Re-Instated libgraphite2-3:amd64 339s Re-Instated libharfbuzz0b:amd64 339s Re-Instated fontconfig:amd64 339s Re-Instated libthai-data:amd64 339s Re-Instated libdatrie1:amd64 339s Re-Instated libthai0:amd64 339s Re-Instated libpango-1.0-0:amd64 339s Re-Instated libpangoft2-1.0-0:amd64 339s Re-Instated libpangocairo-1.0-0:amd64 339s Re-Instated libwayland-client0:amd64 339s Re-Instated libwayland-cursor0:amd64 339s Re-Instated libwayland-egl1:amd64 339s Re-Instated libxcomposite1:amd64 339s Re-Instated libxfixes3:amd64 339s Re-Instated libxcursor1:amd64 339s Re-Instated libxdamage1:amd64 339s Re-Instated libxinerama1:amd64 339s Re-Instated libxrandr2:amd64 339s Re-Instated libdconf1:amd64 339s Re-Instated dconf-service:amd64 339s Re-Instated dconf-gsettings-backend:amd64 339s Re-Instated libgtk-3-common:amd64 339s Re-Instated libgtk-3-0t64:amd64 339s Re-Instated libgtksourceview-3.0-common:amd64 339s Re-Instated libgtksourceview-3.0-1:amd64 339s Re-Instated libstdlib-ocaml:amd64 339s Re-Instated ocaml-base:amd64 339s Re-Instated libcairo2-ocaml:amd64 339s Re-Instated liblablgtk3-ocaml:amd64 339s Re-Instated liblablgtksourceview3-ocaml:amd64 339s Re-Instated tex-common:amd64 339s Re-Instated why3:amd64 339s Broken satisfy:command-line:amd64 Depends on z3:amd64 < none | 4.13.3-1 @un uH > (< 4.11.1) 339s Broken satisfy:command-line:amd64 Depends on ocaml-native-compilers:amd64 < none @un H > 339s Considering ocaml:amd64 0 as a solution to satisfy:command-line:amd64 9998 339s Re-Instated libstdlib-ocaml-dev:amd64 339s Re-Instated libcompiler-libs-ocaml-dev:amd64 339s Re-Instated ocaml-interp:amd64 339s Re-Instated libncurses-dev:amd64 339s Re-Instated libisl23:amd64 339s Re-Instated libmpc3:amd64 339s Re-Instated cpp-14-x86-64-linux-gnu:amd64 339s Re-Instated cpp-14:amd64 339s Re-Instated cpp-x86-64-linux-gnu:amd64 339s Re-Instated cpp:amd64 339s Re-Instated libcc1-0:amd64 339s Re-Instated libgomp1:amd64 339s Re-Instated libitm1:amd64 339s Re-Instated libasan8:amd64 339s Re-Instated liblsan0:amd64 339s Re-Instated libtsan2:amd64 339s Re-Instated libubsan1:amd64 339s Re-Instated libhwasan0:amd64 339s Re-Instated libquadmath0:amd64 339s Re-Instated libgcc-14-dev:amd64 339s Re-Instated gcc-14-x86-64-linux-gnu:amd64 339s Re-Instated gcc-14:amd64 339s Re-Instated gcc-x86-64-linux-gnu:amd64 339s Re-Instated gcc:amd64 339s Re-Instated libzstd-dev:amd64 339s Re-Instated ocaml:amd64 339s Done 339s Some packages could not be installed. This may mean that you have 339s requested an impossible situation or if you are using the unstable 339s distribution that some required packages have not yet been created 339s or been moved out of Incoming. 339s The following information may help to resolve the situation: 339s 339s The following packages have unmet dependencies: 339s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 339s E: Unable to correct problems, you have held broken packages. 339s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 339s Reading package lists... 340s Building dependency tree... 340s Reading state information... 340s Starting pkgProblemResolver with broken count: 1 340s Starting 2 pkgProblemResolver with broken count: 1 340s Investigating (0) satisfy:command-line:amd64 < none -> 1 @un puN Ib > 340s Broken satisfy:command-line:amd64 Depends on why3:amd64 < none | 1.8.0-2 @un uH > 340s Considering why3:amd64 1 as a solution to satisfy:command-line:amd64 9998 340s Re-Instated fonts-dejavu-mono:amd64 340s Re-Instated fonts-dejavu-core:amd64 340s Re-Instated fontconfig-config:amd64 340s Re-Instated libfontconfig1:amd64 340s Re-Instated libpixman-1-0:amd64 340s Re-Instated libxcb-render0:amd64 340s Re-Instated libxcb-shm0:amd64 340s Re-Instated libxrender1:amd64 340s Re-Instated libcairo2:amd64 340s Re-Instated libgdk-pixbuf2.0-common:amd64 340s Re-Instated libjpeg-turbo8:amd64 340s Re-Instated libjpeg8:amd64 340s Re-Instated libdeflate0:amd64 340s Re-Instated libjbig0:amd64 340s Re-Instated liblerc4:amd64 340s Re-Instated libsharpyuv0:amd64 340s Re-Instated libwebp7:amd64 340s Re-Instated libtiff6:amd64 340s Re-Instated libgdk-pixbuf-2.0-0:amd64 340s Re-Instated gtk-update-icon-cache:amd64 340s Re-Instated hicolor-icon-theme:amd64 340s Re-Instated adwaita-icon-theme:amd64 340s Re-Instated at-spi2-common:amd64 340s Re-Instated libatk1.0-0t64:amd64 340s Re-Instated libxi6:amd64 340s Re-Instated libatspi2.0-0t64:amd64 340s Re-Instated libatk-bridge2.0-0t64:amd64 340s Re-Instated libcairo-gobject2:amd64 340s Re-Instated liblcms2-2:amd64 340s Re-Instated libcolord2:amd64 340s Re-Instated libavahi-common-data:amd64 340s Re-Instated libavahi-common3:amd64 340s Re-Instated libavahi-client3:amd64 340s Re-Instated libcups2t64:amd64 340s Re-Instated libepoxy0:amd64 340s Re-Instated libgraphite2-3:amd64 340s Re-Instated libharfbuzz0b:amd64 340s Re-Instated fontconfig:amd64 340s Re-Instated libthai-data:amd64 340s Re-Instated libdatrie1:amd64 340s Re-Instated libthai0:amd64 340s Re-Instated libpango-1.0-0:amd64 340s Re-Instated libpangoft2-1.0-0:amd64 340s Re-Instated libpangocairo-1.0-0:amd64 340s Re-Instated libwayland-client0:amd64 340s Re-Instated libwayland-cursor0:amd64 340s Re-Instated libwayland-egl1:amd64 340s Re-Instated libxcomposite1:amd64 340s Re-Instated libxfixes3:amd64 340s Re-Instated libxcursor1:amd64 340s Re-Instated libxdamage1:amd64 340s Re-Instated libxinerama1:amd64 340s Re-Instated libxrandr2:amd64 340s Re-Instated libdconf1:amd64 340s Re-Instated dconf-service:amd64 340s Re-Instated dconf-gsettings-backend:amd64 340s Re-Instated libgtk-3-common:amd64 340s Re-Instated libgtk-3-0t64:amd64 340s Re-Instated libgtksourceview-3.0-common:amd64 340s Re-Instated libgtksourceview-3.0-1:amd64 340s Re-Instated libstdlib-ocaml:amd64 340s Re-Instated ocaml-base:amd64 340s Re-Instated libcairo2-ocaml:amd64 340s Re-Instated liblablgtk3-ocaml:amd64 340s Re-Instated liblablgtksourceview3-ocaml:amd64 340s Re-Instated tex-common:amd64 340s Re-Instated why3:amd64 340s Broken satisfy:command-line:amd64 Depends on z3:amd64 < none | 4.13.3-1 @un uH > (< 4.11.1) 340s Broken satisfy:command-line:amd64 Depends on ocaml-native-compilers:amd64 < none @un H > 340s Considering ocaml:amd64 0 as a solution to satisfy:command-line:amd64 9998 340s Re-Instated libstdlib-ocaml-dev:amd64 340s Re-Instated libcompiler-libs-ocaml-dev:amd64 340s Re-Instated ocaml-interp:amd64 340s Re-Instated libtinfo6:amd64 340s Re-Instated libncurses6:amd64 340s Re-Instated libncursesw6:amd64 340s Re-Instated libncurses-dev:amd64 340s Re-Instated gcc-14-base:amd64 340s Re-Instated libisl23:amd64 340s Re-Instated libmpc3:amd64 340s Re-Instated cpp-14-x86-64-linux-gnu:amd64 340s Re-Instated cpp-14:amd64 340s Re-Instated cpp-x86-64-linux-gnu:amd64 340s Re-Instated cpp:amd64 340s Re-Instated libcc1-0:amd64 340s Re-Instated libgomp1:amd64 340s Re-Instated libitm1:amd64 340s Re-Instated libasan8:amd64 340s Re-Instated liblsan0:amd64 340s Re-Instated libtsan2:amd64 340s Re-Instated libubsan1:amd64 340s Re-Instated libhwasan0:amd64 340s Re-Instated libquadmath0:amd64 340s Re-Instated libgcc-14-dev:amd64 340s Re-Instated gcc-14-x86-64-linux-gnu:amd64 340s Re-Instated gcc-14:amd64 340s Re-Instated gcc-x86-64-linux-gnu:amd64 340s Re-Instated gcc:amd64 340s Re-Instated libzstd-dev:amd64 340s Re-Instated ocaml:amd64 340s Done 340s Some packages could not be installed. This may mean that you have 340s requested an impossible situation or if you are using the unstable 340s distribution that some required packages have not yet been created 340s or been moved out of Incoming. 340s The following information may help to resolve the situation: 340s 340s The following packages have unmet dependencies: 340s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 340s E: Unable to correct problems, you have held broken packages. 340s why3+z3 SKIP installation fails and skip-not-installable set 340s autopkgtest [20:42:23]: @@@@@@@@@@@@@@@@@@@@ summary 340s why3+cvc4 PASS 340s why3+spass PASS 340s why3+z3 SKIP installation fails and skip-not-installable set 356s nova [W] Skipping flock for amd64 356s Creating nova instance adt-plucky-amd64-why3-20250220-203643-juju-7f2275-prod-proposed-migration-environment-20-4f701c8b-59a3-43b6-88b4-999ab448f1fb from image adt/ubuntu-plucky-amd64-server-20250220.img (UUID 0ec9a92a-064a-4cac-a94d-46a889669cdf)... 356s nova [W] Timed out waiting for 5a93c78a-eebb-478c-afbd-15d5cec388e7 to get deleted. 356s nova [W] Skipping flock for amd64 356s Creating nova instance adt-plucky-amd64-why3-20250220-203643-juju-7f2275-prod-proposed-migration-environment-20-4f701c8b-59a3-43b6-88b4-999ab448f1fb from image adt/ubuntu-plucky-amd64-server-20250220.img (UUID 0ec9a92a-064a-4cac-a94d-46a889669cdf)... 356s nova [W] Timed out waiting for 95247f16-d896-4bc7-a52d-083b63f16eff to get deleted. 356s nova [W] Skipping flock for amd64 356s Creating nova instance adt-plucky-amd64-why3-20250220-203643-juju-7f2275-prod-proposed-migration-environment-20-4f701c8b-59a3-43b6-88b4-999ab448f1fb from image adt/ubuntu-plucky-amd64-server-20250220.img (UUID 0ec9a92a-064a-4cac-a94d-46a889669cdf)... 356s nova [W] Timed out waiting for a324ad32-d9d6-496e-a1c0-c9f4c5e1e0a6 to get deleted.