0s autopkgtest [13:05:28]: starting date and time: 2025-02-19 13:05:28+0000 0s autopkgtest [13:05:28]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [13:05:28]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.1qa57yzh/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:sphinx --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=sphinx/8.1.3-5 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@lcy02-10.secgroup --name adt-plucky-amd64-why3-20250219-130528-juju-7f2275-prod-proposed-migration-environment-15-cbf6eb1b-6d14-4c06-a1c0-6ea7a241c831 --image adt/ubuntu-plucky-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --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/ 36s autopkgtest [13:06:04]: testbed dpkg architecture: amd64 36s autopkgtest [13:06:04]: testbed apt version: 2.9.29 36s autopkgtest [13:06:04]: @@@@@@@@@@@@@@@@@@@@ test bed setup 36s autopkgtest [13:06:04]: testbed release detected to be: None 36s autopkgtest [13:06:04]: updating testbed package index (apt update) 36s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 37s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 37s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 37s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 37s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [744 kB] 37s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.9 kB] 37s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [76.1 kB] 37s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 37s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [92.7 kB] 37s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [111 kB] 37s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 37s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 37s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [711 kB] 37s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [262 kB] 37s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [3128 B] 37s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [11.5 kB] 37s Fetched 2150 kB in 0s (5416 kB/s) 38s Reading package lists... 38s + lsb_release --codename --short 38s + RELEASE=plucky 38s + cat 38s + [ plucky != trusty ] 38s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 38s Reading package lists... 38s Building dependency tree... 38s Reading state information... 39s Calculating upgrade... 39s The following NEW packages will be installed: 39s libapt-pkg7.0 39s The following packages will be upgraded: 39s apt apt-utils iproute2 libgpgme11t64 liblsof0 libp11-kit0 lsof rsyslog 39s sysvinit-utils 39s 9 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 39s Need to get 5425 kB of archives. 39s After this operation, 4076 kB of additional disk space will be used. 39s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 sysvinit-utils amd64 3.14-1ubuntu1 [35.7 kB] 39s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libapt-pkg7.0 amd64 2.9.30 [1131 kB] 39s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 apt amd64 2.9.30 [1434 kB] 39s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 apt-utils amd64 2.9.30 [222 kB] 39s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 iproute2 amd64 6.13.0-1ubuntu1 [1277 kB] 39s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 libp11-kit0 amd64 0.25.5-2ubuntu3 [311 kB] 39s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 rsyslog amd64 8.2412.0-2ubuntu1 [555 kB] 39s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 lsof amd64 4.99.4+dfsg-1 [245 kB] 39s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsof0 amd64 4.99.4+dfsg-1 [59.6 kB] 39s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libgpgme11t64 amd64 1.24.2-1ubuntu1 [155 kB] 39s Preconfiguring packages ... 39s Fetched 5425 kB in 0s (21.0 MB/s) 40s (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 ... 108925 files and directories currently installed.) 40s Preparing to unpack .../sysvinit-utils_3.14-1ubuntu1_amd64.deb ... 40s Unpacking sysvinit-utils (3.14-1ubuntu1) over (3.08-6ubuntu3) ... 40s Setting up sysvinit-utils (3.14-1ubuntu1) ... 40s Selecting previously unselected package libapt-pkg7.0:amd64. 40s (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 ... 108925 files and directories currently installed.) 40s Preparing to unpack .../libapt-pkg7.0_2.9.30_amd64.deb ... 40s Unpacking libapt-pkg7.0:amd64 (2.9.30) ... 40s Setting up libapt-pkg7.0:amd64 (2.9.30) ... 40s (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 ... 108974 files and directories currently installed.) 40s Preparing to unpack .../archives/apt_2.9.30_amd64.deb ... 40s Unpacking apt (2.9.30) over (2.9.29) ... 40s Setting up apt (2.9.30) ... 41s (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 ... 108974 files and directories currently installed.) 41s Preparing to unpack .../0-apt-utils_2.9.30_amd64.deb ... 41s Unpacking apt-utils (2.9.30) over (2.9.29) ... 41s Preparing to unpack .../1-iproute2_6.13.0-1ubuntu1_amd64.deb ... 41s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 41s Preparing to unpack .../2-libp11-kit0_0.25.5-2ubuntu3_amd64.deb ... 41s Unpacking libp11-kit0:amd64 (0.25.5-2ubuntu3) over (0.25.5-2ubuntu2) ... 41s Preparing to unpack .../3-rsyslog_8.2412.0-2ubuntu1_amd64.deb ... 41s Unpacking rsyslog (8.2412.0-2ubuntu1) over (8.2412.0-1ubuntu1) ... 41s Preparing to unpack .../4-lsof_4.99.4+dfsg-1_amd64.deb ... 41s Unpacking lsof (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 41s Preparing to unpack .../5-liblsof0_4.99.4+dfsg-1_amd64.deb ... 41s Unpacking liblsof0 (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 41s Preparing to unpack .../6-libgpgme11t64_1.24.2-1ubuntu1_amd64.deb ... 41s Unpacking libgpgme11t64:amd64 (1.24.2-1ubuntu1) over (1.24.1-4ubuntu1) ... 41s Setting up apt-utils (2.9.30) ... 41s Setting up liblsof0 (4.99.4+dfsg-1) ... 41s Setting up iproute2 (6.13.0-1ubuntu1) ... 41s Setting up rsyslog (8.2412.0-2ubuntu1) ... 42s info: The user `syslog' is already a member of `adm'. 43s Setting up libp11-kit0:amd64 (0.25.5-2ubuntu3) ... 43s Setting up lsof (4.99.4+dfsg-1) ... 43s Setting up libgpgme11t64:amd64 (1.24.2-1ubuntu1) ... 43s Processing triggers for man-db (2.13.0-1) ... 44s Processing triggers for libc-bin (2.40-4ubuntu1) ... 44s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 44s + /usr/lib/apt/apt-helper analyze-pattern ?true 44s + uname -r 44s + sed s/\./\\./g 44s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 44s + apt list ?obsolete 44s + tail -n+2 44s + cut -d/ -f1 44s + grep -v ^linux-.*6\.12\.0-15-generic.* 46s + true 46s + obsolete_pkgs= 46s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove 46s Reading package lists... 46s Building dependency tree... 46s Reading state information... 47s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 47s + grep -q trusty /etc/lsb-release 47s + [ ! -d /usr/share/doc/unattended-upgrades ] 47s + [ ! -d /usr/share/doc/lxd ] 47s + [ ! -d /usr/share/doc/lxd-client ] 47s + [ ! -d /usr/share/doc/snapd ] 47s + type iptables 47s + cat 47s + chmod 755 /etc/rc.local 47s + . /etc/rc.local 47s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 47s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 47s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 47s + uname -m 47s + [ x86_64 = ppc64le ] 47s + [ -d /run/systemd/system ] 47s + systemd-detect-virt --quiet --vm 47s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 47s + cat 47s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 47s + echo COMPRESS=lz4 47s autopkgtest [13:06:15]: upgrading testbed (apt dist-upgrade and autopurge) 47s Reading package lists... 47s Building dependency tree... 47s Reading state information... 47s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 47s Starting 2 pkgProblemResolver with broken count: 0 47s Done 48s Entering ResolveByKeep 48s 48s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 48s Reading package lists... 48s Building dependency tree... 48s Reading state information... 49s Starting pkgProblemResolver with broken count: 0 49s Starting 2 pkgProblemResolver with broken count: 0 49s Done 49s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 49s autopkgtest [13:06:17]: rebooting testbed after setup commands that affected boot 53s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 64s autopkgtest [13:06:32]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 16:02:16 UTC 2025 65s autopkgtest [13:06:33]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 67s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (dsc) [2687 B] 67s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (tar) [6322 kB] 67s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.7.2-2build1 (diff) [18.7 kB] 67s gpgv: Signature made Fri Sep 6 15:04:31 2024 UTC 67s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 67s gpgv: Can't check signature: No public key 67s dpkg-source: warning: cannot verify inline signature for ./why3_1.7.2-2build1.dsc: no acceptable signature found 68s autopkgtest [13:06:36]: testing package why3 version 1.7.2-2build1 69s autopkgtest [13:06:37]: build not needed 70s autopkgtest [13:06:38]: test why3+cvc4: preparing testbed 70s Reading package lists... 70s Building dependency tree... 70s Reading state information... 71s Starting pkgProblemResolver with broken count: 0 71s Starting 2 pkgProblemResolver with broken count: 0 71s Done 71s The following NEW packages will be installed: 71s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-x86-64-linux-gnu 71s cpp-x86-64-linux-gnu cvc4 dconf-gsettings-backend dconf-service fontconfig 71s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 71s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu gtk-update-icon-cache 71s hicolor-icon-theme libantlr3c-3.4-0 libasan8 libatk-bridge2.0-0t64 71s libatk1.0-0t64 libatspi2.0-0t64 libavahi-client3 libavahi-common-data 71s libavahi-common3 libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 71s libcln6 libcolord2 libcompiler-libs-ocaml-dev libcups2t64 libcvc4-7 71s libcvc4parser7 libdatrie1 libdconf1 libdeflate0 libepoxy0 libfontconfig1 71s libgcc-14-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgomp1 71s libgraphite2-3 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 71s libgtksourceview-3.0-common libharfbuzz0b libhwasan0 libisl23 libitm1 71s libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk3-ocaml 71s liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 libmpc3 71s libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 71s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 71s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 71s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 71s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 71s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp tex-common 71s why3 71s 0 upgraded, 98 newly installed, 0 to remove and 0 not upgraded. 71s Need to get 171 MB of archives. 71s After this operation, 528 MB of additional disk space will be used. 71s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 71s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libjpeg-turbo8 amd64 2.1.5-3ubuntu2 [179 kB] 71s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 libjpeg8 amd64 8c-2ubuntu11 [2148 B] 71s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 libdeflate0 amd64 1.23-1 [64.1 kB] 71s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 libjbig0 amd64 2.1-6.1ubuntu2 [29.7 kB] 71s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 liblerc4 amd64 4.0.0+ds-5ubuntu1 [271 kB] 71s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [25.9 kB] 71s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 libwebp7 amd64 1.5.0-0.1 [378 kB] 71s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 libtiff6 amd64 4.5.1+git230720-4ubuntu4 [200 kB] 71s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.12+dfsg-2 [161 kB] 71s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 gtk-update-icon-cache amd64 4.17.4+ds-4 [53.9 kB] 71s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 hicolor-icon-theme all 0.18-2 [13.3 kB] 71s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 adwaita-icon-theme all 48~beta-3 [578 kB] 71s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 at-spi2-common all 2.55.2-1 [8916 B] 71s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 71s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 71s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [11.9 MB] 72s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-17ubuntu1 [1032 B] 72s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [5586 B] 72s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.2.0-1ubuntu1 [22.4 kB] 72s Get:21 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcln6 amd64 1.3.7-1 [504 kB] 72s Get:22 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcvc4-7 amd64 1.8-3build2 [4735 kB] 72s Get:23 http://ftpmaster.internal/ubuntu plucky/universe amd64 libantlr3c-3.4-0 amd64 3.4+dfsg-4build2 [44.9 kB] 72s Get:24 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcvc4parser7 amd64 1.8-3build2 [374 kB] 72s Get:25 http://ftpmaster.internal/ubuntu plucky/universe amd64 cvc4 amd64 1.8-3build2 [75.4 kB] 72s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 libdconf1 amd64 0.40.0-5 [39.8 kB] 72s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 dconf-service amd64 0.40.0-5 [28.4 kB] 72s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 dconf-gsettings-backend amd64 0.40.0-5 [22.7 kB] 72s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 fonts-dejavu-mono all 2.37-8 [502 kB] 72s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 fonts-dejavu-core all 2.37-8 [835 kB] 72s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 fontconfig-config amd64 2.15.0-2ubuntu1 [37.4 kB] 72s Get:32 http://ftpmaster.internal/ubuntu plucky/main amd64 libfontconfig1 amd64 2.15.0-2ubuntu1 [164 kB] 72s Get:33 http://ftpmaster.internal/ubuntu plucky/main amd64 fontconfig amd64 2.15.0-2ubuntu1 [180 kB] 72s Get:34 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 15-20250213-1ubuntu1 [47.0 kB] 72s Get:35 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 15-20250213-1ubuntu1 [148 kB] 72s Get:36 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 15-20250213-1ubuntu1 [28.5 kB] 72s Get:37 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 15-20250213-1ubuntu1 [3059 kB] 72s Get:38 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 15-20250213-1ubuntu1 [1356 kB] 72s Get:39 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 15-20250213-1ubuntu1 [2757 kB] 72s Get:40 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 15-20250213-1ubuntu1 [1206 kB] 72s Get:41 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 15-20250213-1ubuntu1 [1678 kB] 72s Get:42 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 15-20250213-1ubuntu1 [152 kB] 72s Get:43 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB] 72s Get:44 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB] 72s Get:45 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB] 72s Get:46 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B] 72s Get:47 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B] 72s Get:48 http://ftpmaster.internal/ubuntu plucky/main amd64 libatk1.0-0t64 amd64 2.55.2-1 [55.2 kB] 72s Get:49 http://ftpmaster.internal/ubuntu plucky/main amd64 libxi6 amd64 2:1.8.2-1 [32.4 kB] 72s Get:50 http://ftpmaster.internal/ubuntu plucky/main amd64 libatspi2.0-0t64 amd64 2.55.2-1 [87.6 kB] 72s Get:51 http://ftpmaster.internal/ubuntu plucky/main amd64 libatk-bridge2.0-0t64 amd64 2.55.2-1 [69.0 kB] 72s Get:52 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-common-data amd64 0.8-14ubuntu1 [30.5 kB] 72s Get:53 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-common3 amd64 0.8-14ubuntu1 [23.3 kB] 72s Get:54 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-client3 amd64 0.8-14ubuntu1 [27.5 kB] 72s Get:55 http://ftpmaster.internal/ubuntu plucky/main amd64 libpixman-1-0 amd64 0.44.0-3 [427 kB] 72s Get:56 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcb-render0 amd64 1.17.0-2 [16.2 kB] 72s Get:57 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcb-shm0 amd64 1.17.0-2 [5758 B] 72s Get:58 http://ftpmaster.internal/ubuntu plucky/main amd64 libxrender1 amd64 1:0.9.10-1.1build1 [19.0 kB] 72s Get:59 http://ftpmaster.internal/ubuntu plucky/main amd64 libcairo2 amd64 1.18.2-2 [569 kB] 72s Get:60 http://ftpmaster.internal/ubuntu plucky/main amd64 libcairo-gobject2 amd64 1.18.2-2 [127 kB] 72s Get:61 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB] 72s Get:62 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB] 72s Get:63 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcairo2-ocaml amd64 0.6.5-2 [29.4 kB] 72s Get:64 http://ftpmaster.internal/ubuntu plucky/main amd64 liblcms2-2 amd64 2.16-2 [212 kB] 72s Get:65 http://ftpmaster.internal/ubuntu plucky/main amd64 libcolord2 amd64 1.4.7-1build2 [149 kB] 72s Get:66 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] 72s Get:67 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB] 74s Get:68 http://ftpmaster.internal/ubuntu plucky/main amd64 libcups2t64 amd64 2.4.11-0ubuntu2 [292 kB] 74s Get:69 http://ftpmaster.internal/ubuntu plucky/main amd64 libdatrie1 amd64 0.2.13-3build1 [19.0 kB] 74s Get:70 http://ftpmaster.internal/ubuntu plucky/main amd64 libepoxy0 amd64 1.5.10-2 [218 kB] 74s Get:71 http://ftpmaster.internal/ubuntu plucky/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 74s Get:72 http://ftpmaster.internal/ubuntu plucky/main amd64 libharfbuzz0b amd64 10.2.0-1 [543 kB] 74s Get:73 http://ftpmaster.internal/ubuntu plucky/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 74s Get:74 http://ftpmaster.internal/ubuntu plucky/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 74s Get:75 http://ftpmaster.internal/ubuntu plucky/main amd64 libpango-1.0-0 amd64 1.56.1-1 [255 kB] 74s Get:76 http://ftpmaster.internal/ubuntu plucky/main amd64 libpangoft2-1.0-0 amd64 1.56.1-1 [52.6 kB] 74s Get:77 http://ftpmaster.internal/ubuntu plucky/main amd64 libpangocairo-1.0-0 amd64 1.56.1-1 [29.1 kB] 74s Get:78 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-client0 amd64 1.23.1-1 [29.1 kB] 74s Get:79 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-cursor0 amd64 1.23.1-1 [10.9 kB] 74s Get:80 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-egl1 amd64 1.23.1-1 [5744 B] 74s Get:81 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcomposite1 amd64 1:0.4.6-1 [6642 B] 74s Get:82 http://ftpmaster.internal/ubuntu plucky/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 74s Get:83 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcursor1 amd64 1:1.2.3-1 [23.1 kB] 74s Get:84 http://ftpmaster.internal/ubuntu plucky/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 74s Get:85 http://ftpmaster.internal/ubuntu plucky/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 74s Get:86 http://ftpmaster.internal/ubuntu plucky/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 74s Get:87 http://ftpmaster.internal/ubuntu plucky/main amd64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 74s Get:88 http://ftpmaster.internal/ubuntu plucky/main amd64 libgtk-3-0t64 amd64 3.24.48-3ubuntu1 [3169 kB] 74s Get:89 http://ftpmaster.internal/ubuntu plucky/universe amd64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 74s Get:90 http://ftpmaster.internal/ubuntu plucky/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-3 [234 kB] 74s Get:91 http://ftpmaster.internal/ubuntu plucky/universe amd64 liblablgtk3-ocaml amd64 3.1.5-1build1 [3526 kB] 74s Get:92 http://ftpmaster.internal/ubuntu plucky/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.5-1build1 [327 kB] 74s Get:93 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB] 74s Get:94 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB] 74s Get:95 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB] 74s Get:96 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB] 75s Get:97 http://ftpmaster.internal/ubuntu plucky/universe amd64 tex-common all 6.18 [32.8 kB] 75s Get:98 http://ftpmaster.internal/ubuntu plucky/universe amd64 why3 amd64 1.7.2-2build1 [11.9 MB] 76s Fetched 171 MB in 4s (45.9 MB/s) 76s Selecting previously unselected package libgdk-pixbuf2.0-common. 76s (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 ... 108975 files and directories currently installed.) 76s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 76s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 76s Selecting previously unselected package libjpeg-turbo8:amd64. 76s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_amd64.deb ... 76s Unpacking libjpeg-turbo8:amd64 (2.1.5-3ubuntu2) ... 76s Selecting previously unselected package libjpeg8:amd64. 76s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_amd64.deb ... 76s Unpacking libjpeg8:amd64 (8c-2ubuntu11) ... 76s Selecting previously unselected package libdeflate0:amd64. 76s Preparing to unpack .../03-libdeflate0_1.23-1_amd64.deb ... 76s Unpacking libdeflate0:amd64 (1.23-1) ... 76s Selecting previously unselected package libjbig0:amd64. 76s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_amd64.deb ... 76s Unpacking libjbig0:amd64 (2.1-6.1ubuntu2) ... 76s Selecting previously unselected package liblerc4:amd64. 76s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_amd64.deb ... 76s Unpacking liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 76s Selecting previously unselected package libsharpyuv0:amd64. 76s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_amd64.deb ... 76s Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... 76s Selecting previously unselected package libwebp7:amd64. 76s Preparing to unpack .../07-libwebp7_1.5.0-0.1_amd64.deb ... 76s Unpacking libwebp7:amd64 (1.5.0-0.1) ... 76s Selecting previously unselected package libtiff6:amd64. 76s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_amd64.deb ... 76s Unpacking libtiff6:amd64 (4.5.1+git230720-4ubuntu4) ... 76s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 76s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_amd64.deb ... 76s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-2) ... 76s Selecting previously unselected package gtk-update-icon-cache. 76s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_amd64.deb ... 76s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 76s 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. 76s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 76s Selecting previously unselected package hicolor-icon-theme. 76s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 76s Unpacking hicolor-icon-theme (0.18-2) ... 76s Selecting previously unselected package adwaita-icon-theme. 77s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 77s Unpacking adwaita-icon-theme (48~beta-3) ... 77s Selecting previously unselected package at-spi2-common. 77s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 77s Unpacking at-spi2-common (2.55.2-1) ... 77s Selecting previously unselected package libisl23:amd64. 77s Preparing to unpack .../14-libisl23_0.27-1_amd64.deb ... 77s Unpacking libisl23:amd64 (0.27-1) ... 77s Selecting previously unselected package libmpc3:amd64. 77s Preparing to unpack .../15-libmpc3_1.3.1-1build2_amd64.deb ... 77s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 77s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 77s Preparing to unpack .../16-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 77s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 77s Selecting previously unselected package cpp-14. 77s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_amd64.deb ... 77s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 77s Selecting previously unselected package cpp-x86-64-linux-gnu. 77s Preparing to unpack .../18-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 77s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 77s Selecting previously unselected package cpp. 77s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ... 77s Unpacking cpp (4:14.2.0-1ubuntu1) ... 77s Selecting previously unselected package libcln6:amd64. 77s Preparing to unpack .../20-libcln6_1.3.7-1_amd64.deb ... 77s Unpacking libcln6:amd64 (1.3.7-1) ... 77s Selecting previously unselected package libcvc4-7:amd64. 77s Preparing to unpack .../21-libcvc4-7_1.8-3build2_amd64.deb ... 77s Unpacking libcvc4-7:amd64 (1.8-3build2) ... 77s Selecting previously unselected package libantlr3c-3.4-0:amd64. 77s Preparing to unpack .../22-libantlr3c-3.4-0_3.4+dfsg-4build2_amd64.deb ... 77s Unpacking libantlr3c-3.4-0:amd64 (3.4+dfsg-4build2) ... 77s Selecting previously unselected package libcvc4parser7:amd64. 77s Preparing to unpack .../23-libcvc4parser7_1.8-3build2_amd64.deb ... 77s Unpacking libcvc4parser7:amd64 (1.8-3build2) ... 77s Selecting previously unselected package cvc4. 77s Preparing to unpack .../24-cvc4_1.8-3build2_amd64.deb ... 77s Unpacking cvc4 (1.8-3build2) ... 77s Selecting previously unselected package libdconf1:amd64. 77s Preparing to unpack .../25-libdconf1_0.40.0-5_amd64.deb ... 77s Unpacking libdconf1:amd64 (0.40.0-5) ... 77s Selecting previously unselected package dconf-service. 77s Preparing to unpack .../26-dconf-service_0.40.0-5_amd64.deb ... 77s Unpacking dconf-service (0.40.0-5) ... 77s Selecting previously unselected package dconf-gsettings-backend:amd64. 77s Preparing to unpack .../27-dconf-gsettings-backend_0.40.0-5_amd64.deb ... 77s Unpacking dconf-gsettings-backend:amd64 (0.40.0-5) ... 77s Selecting previously unselected package fonts-dejavu-mono. 77s Preparing to unpack .../28-fonts-dejavu-mono_2.37-8_all.deb ... 77s Unpacking fonts-dejavu-mono (2.37-8) ... 77s Selecting previously unselected package fonts-dejavu-core. 77s Preparing to unpack .../29-fonts-dejavu-core_2.37-8_all.deb ... 77s Unpacking fonts-dejavu-core (2.37-8) ... 77s Selecting previously unselected package fontconfig-config. 77s Preparing to unpack .../30-fontconfig-config_2.15.0-2ubuntu1_amd64.deb ... 78s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 78s Selecting previously unselected package libfontconfig1:amd64. 78s Preparing to unpack .../31-libfontconfig1_2.15.0-2ubuntu1_amd64.deb ... 78s Unpacking libfontconfig1:amd64 (2.15.0-2ubuntu1) ... 78s Selecting previously unselected package fontconfig. 78s Preparing to unpack .../32-fontconfig_2.15.0-2ubuntu1_amd64.deb ... 78s Unpacking fontconfig (2.15.0-2ubuntu1) ... 78s Selecting previously unselected package libcc1-0:amd64. 78s Preparing to unpack .../33-libcc1-0_15-20250213-1ubuntu1_amd64.deb ... 78s Unpacking libcc1-0:amd64 (15-20250213-1ubuntu1) ... 78s Selecting previously unselected package libgomp1:amd64. 78s Preparing to unpack .../34-libgomp1_15-20250213-1ubuntu1_amd64.deb ... 78s Unpacking libgomp1:amd64 (15-20250213-1ubuntu1) ... 78s Selecting previously unselected package libitm1:amd64. 78s Preparing to unpack .../35-libitm1_15-20250213-1ubuntu1_amd64.deb ... 78s Unpacking libitm1:amd64 (15-20250213-1ubuntu1) ... 78s Selecting previously unselected package libasan8:amd64. 78s Preparing to unpack .../36-libasan8_15-20250213-1ubuntu1_amd64.deb ... 78s Unpacking libasan8:amd64 (15-20250213-1ubuntu1) ... 78s Selecting previously unselected package liblsan0:amd64. 78s Preparing to unpack .../37-liblsan0_15-20250213-1ubuntu1_amd64.deb ... 78s Unpacking liblsan0:amd64 (15-20250213-1ubuntu1) ... 78s Selecting previously unselected package libtsan2:amd64. 78s Preparing to unpack .../38-libtsan2_15-20250213-1ubuntu1_amd64.deb ... 78s Unpacking libtsan2:amd64 (15-20250213-1ubuntu1) ... 78s Selecting previously unselected package libubsan1:amd64. 78s Preparing to unpack .../39-libubsan1_15-20250213-1ubuntu1_amd64.deb ... 78s Unpacking libubsan1:amd64 (15-20250213-1ubuntu1) ... 78s Selecting previously unselected package libhwasan0:amd64. 78s Preparing to unpack .../40-libhwasan0_15-20250213-1ubuntu1_amd64.deb ... 78s Unpacking libhwasan0:amd64 (15-20250213-1ubuntu1) ... 78s Selecting previously unselected package libquadmath0:amd64. 78s Preparing to unpack .../41-libquadmath0_15-20250213-1ubuntu1_amd64.deb ... 78s Unpacking libquadmath0:amd64 (15-20250213-1ubuntu1) ... 78s Selecting previously unselected package libgcc-14-dev:amd64. 78s Preparing to unpack .../42-libgcc-14-dev_14.2.0-17ubuntu1_amd64.deb ... 78s Unpacking libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 78s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 78s Preparing to unpack .../43-gcc-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 78s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 79s Selecting previously unselected package gcc-14. 79s Preparing to unpack .../44-gcc-14_14.2.0-17ubuntu1_amd64.deb ... 79s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 79s Selecting previously unselected package gcc-x86-64-linux-gnu. 79s Preparing to unpack .../45-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 79s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 79s Selecting previously unselected package gcc. 79s Preparing to unpack .../46-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ... 79s Unpacking gcc (4:14.2.0-1ubuntu1) ... 79s Selecting previously unselected package libatk1.0-0t64:amd64. 79s Preparing to unpack .../47-libatk1.0-0t64_2.55.2-1_amd64.deb ... 79s Unpacking libatk1.0-0t64:amd64 (2.55.2-1) ... 79s Selecting previously unselected package libxi6:amd64. 79s Preparing to unpack .../48-libxi6_2%3a1.8.2-1_amd64.deb ... 79s Unpacking libxi6:amd64 (2:1.8.2-1) ... 79s Selecting previously unselected package libatspi2.0-0t64:amd64. 79s Preparing to unpack .../49-libatspi2.0-0t64_2.55.2-1_amd64.deb ... 79s Unpacking libatspi2.0-0t64:amd64 (2.55.2-1) ... 79s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 79s Preparing to unpack .../50-libatk-bridge2.0-0t64_2.55.2-1_amd64.deb ... 79s Unpacking libatk-bridge2.0-0t64:amd64 (2.55.2-1) ... 79s Selecting previously unselected package libavahi-common-data:amd64. 79s Preparing to unpack .../51-libavahi-common-data_0.8-14ubuntu1_amd64.deb ... 79s Unpacking libavahi-common-data:amd64 (0.8-14ubuntu1) ... 79s Selecting previously unselected package libavahi-common3:amd64. 79s Preparing to unpack .../52-libavahi-common3_0.8-14ubuntu1_amd64.deb ... 79s Unpacking libavahi-common3:amd64 (0.8-14ubuntu1) ... 79s Selecting previously unselected package libavahi-client3:amd64. 79s Preparing to unpack .../53-libavahi-client3_0.8-14ubuntu1_amd64.deb ... 79s Unpacking libavahi-client3:amd64 (0.8-14ubuntu1) ... 79s Selecting previously unselected package libpixman-1-0:amd64. 79s Preparing to unpack .../54-libpixman-1-0_0.44.0-3_amd64.deb ... 79s Unpacking libpixman-1-0:amd64 (0.44.0-3) ... 79s Selecting previously unselected package libxcb-render0:amd64. 79s Preparing to unpack .../55-libxcb-render0_1.17.0-2_amd64.deb ... 79s Unpacking libxcb-render0:amd64 (1.17.0-2) ... 79s Selecting previously unselected package libxcb-shm0:amd64. 79s Preparing to unpack .../56-libxcb-shm0_1.17.0-2_amd64.deb ... 79s Unpacking libxcb-shm0:amd64 (1.17.0-2) ... 79s Selecting previously unselected package libxrender1:amd64. 79s Preparing to unpack .../57-libxrender1_1%3a0.9.10-1.1build1_amd64.deb ... 79s Unpacking libxrender1:amd64 (1:0.9.10-1.1build1) ... 79s Selecting previously unselected package libcairo2:amd64. 79s Preparing to unpack .../58-libcairo2_1.18.2-2_amd64.deb ... 79s Unpacking libcairo2:amd64 (1.18.2-2) ... 79s Selecting previously unselected package libcairo-gobject2:amd64. 79s Preparing to unpack .../59-libcairo-gobject2_1.18.2-2_amd64.deb ... 79s Unpacking libcairo-gobject2:amd64 (1.18.2-2) ... 79s Selecting previously unselected package libstdlib-ocaml. 79s Preparing to unpack .../60-libstdlib-ocaml_5.2.0-3_amd64.deb ... 79s Unpacking libstdlib-ocaml (5.2.0-3) ... 79s Selecting previously unselected package ocaml-base. 79s Preparing to unpack .../61-ocaml-base_5.2.0-3_amd64.deb ... 79s Unpacking ocaml-base (5.2.0-3) ... 79s Selecting previously unselected package libcairo2-ocaml. 79s Preparing to unpack .../62-libcairo2-ocaml_0.6.5-2_amd64.deb ... 79s Unpacking libcairo2-ocaml (0.6.5-2) ... 79s Selecting previously unselected package liblcms2-2:amd64. 79s Preparing to unpack .../63-liblcms2-2_2.16-2_amd64.deb ... 79s Unpacking liblcms2-2:amd64 (2.16-2) ... 79s Selecting previously unselected package libcolord2:amd64. 79s Preparing to unpack .../64-libcolord2_1.4.7-1build2_amd64.deb ... 79s Unpacking libcolord2:amd64 (1.4.7-1build2) ... 79s Selecting previously unselected package libstdlib-ocaml-dev. 80s Preparing to unpack .../65-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... 80s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 80s Selecting previously unselected package libcompiler-libs-ocaml-dev. 80s Preparing to unpack .../66-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... 80s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 80s Selecting previously unselected package libcups2t64:amd64. 80s Preparing to unpack .../67-libcups2t64_2.4.11-0ubuntu2_amd64.deb ... 80s Unpacking libcups2t64:amd64 (2.4.11-0ubuntu2) ... 80s Selecting previously unselected package libdatrie1:amd64. 80s Preparing to unpack .../68-libdatrie1_0.2.13-3build1_amd64.deb ... 80s Unpacking libdatrie1:amd64 (0.2.13-3build1) ... 80s Selecting previously unselected package libepoxy0:amd64. 80s Preparing to unpack .../69-libepoxy0_1.5.10-2_amd64.deb ... 80s Unpacking libepoxy0:amd64 (1.5.10-2) ... 80s Selecting previously unselected package libgraphite2-3:amd64. 80s Preparing to unpack .../70-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 80s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 80s Selecting previously unselected package libharfbuzz0b:amd64. 80s Preparing to unpack .../71-libharfbuzz0b_10.2.0-1_amd64.deb ... 80s Unpacking libharfbuzz0b:amd64 (10.2.0-1) ... 80s Selecting previously unselected package libthai-data. 80s Preparing to unpack .../72-libthai-data_0.1.29-2build1_all.deb ... 80s Unpacking libthai-data (0.1.29-2build1) ... 80s Selecting previously unselected package libthai0:amd64. 81s Preparing to unpack .../73-libthai0_0.1.29-2build1_amd64.deb ... 81s Unpacking libthai0:amd64 (0.1.29-2build1) ... 81s Selecting previously unselected package libpango-1.0-0:amd64. 81s Preparing to unpack .../74-libpango-1.0-0_1.56.1-1_amd64.deb ... 81s Unpacking libpango-1.0-0:amd64 (1.56.1-1) ... 81s Selecting previously unselected package libpangoft2-1.0-0:amd64. 81s Preparing to unpack .../75-libpangoft2-1.0-0_1.56.1-1_amd64.deb ... 81s Unpacking libpangoft2-1.0-0:amd64 (1.56.1-1) ... 81s Selecting previously unselected package libpangocairo-1.0-0:amd64. 81s Preparing to unpack .../76-libpangocairo-1.0-0_1.56.1-1_amd64.deb ... 81s Unpacking libpangocairo-1.0-0:amd64 (1.56.1-1) ... 81s Selecting previously unselected package libwayland-client0:amd64. 81s Preparing to unpack .../77-libwayland-client0_1.23.1-1_amd64.deb ... 81s Unpacking libwayland-client0:amd64 (1.23.1-1) ... 81s Selecting previously unselected package libwayland-cursor0:amd64. 81s Preparing to unpack .../78-libwayland-cursor0_1.23.1-1_amd64.deb ... 81s Unpacking libwayland-cursor0:amd64 (1.23.1-1) ... 81s Selecting previously unselected package libwayland-egl1:amd64. 81s Preparing to unpack .../79-libwayland-egl1_1.23.1-1_amd64.deb ... 81s Unpacking libwayland-egl1:amd64 (1.23.1-1) ... 81s Selecting previously unselected package libxcomposite1:amd64. 81s Preparing to unpack .../80-libxcomposite1_1%3a0.4.6-1_amd64.deb ... 81s Unpacking libxcomposite1:amd64 (1:0.4.6-1) ... 81s Selecting previously unselected package libxfixes3:amd64. 81s Preparing to unpack .../81-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 81s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 81s Selecting previously unselected package libxcursor1:amd64. 81s Preparing to unpack .../82-libxcursor1_1%3a1.2.3-1_amd64.deb ... 81s Unpacking libxcursor1:amd64 (1:1.2.3-1) ... 81s Selecting previously unselected package libxdamage1:amd64. 81s Preparing to unpack .../83-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 81s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 81s Selecting previously unselected package libxinerama1:amd64. 81s Preparing to unpack .../84-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 81s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 81s Selecting previously unselected package libxrandr2:amd64. 81s Preparing to unpack .../85-libxrandr2_2%3a1.5.4-1_amd64.deb ... 81s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 81s Selecting previously unselected package libgtk-3-common. 81s Preparing to unpack .../86-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 81s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 81s Selecting previously unselected package libgtk-3-0t64:amd64. 81s Preparing to unpack .../87-libgtk-3-0t64_3.24.48-3ubuntu1_amd64.deb ... 81s Unpacking libgtk-3-0t64:amd64 (3.24.48-3ubuntu1) ... 81s Selecting previously unselected package libgtksourceview-3.0-common. 81s Preparing to unpack .../88-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 81s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 81s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 81s Preparing to unpack .../89-libgtksourceview-3.0-1_3.24.11-3_amd64.deb ... 81s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-3) ... 81s Selecting previously unselected package liblablgtk3-ocaml. 81s Preparing to unpack .../90-liblablgtk3-ocaml_3.1.5-1build1_amd64.deb ... 81s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 81s Selecting previously unselected package liblablgtksourceview3-ocaml. 81s Preparing to unpack .../91-liblablgtksourceview3-ocaml_3.1.5-1build1_amd64.deb ... 81s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 81s Selecting previously unselected package libncurses-dev:amd64. 82s Preparing to unpack .../92-libncurses-dev_6.5+20250125-2_amd64.deb ... 82s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ... 82s Selecting previously unselected package libzstd-dev:amd64. 82s Preparing to unpack .../93-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... 82s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... 82s Selecting previously unselected package ocaml-interp. 82s Preparing to unpack .../94-ocaml-interp_5.2.0-3_amd64.deb ... 82s Unpacking ocaml-interp (5.2.0-3) ... 82s Selecting previously unselected package ocaml. 82s Preparing to unpack .../95-ocaml_5.2.0-3_amd64.deb ... 82s Unpacking ocaml (5.2.0-3) ... 82s Selecting previously unselected package tex-common. 82s Preparing to unpack .../96-tex-common_6.18_all.deb ... 82s Unpacking tex-common (6.18) ... 82s Selecting previously unselected package why3. 82s Preparing to unpack .../97-why3_1.7.2-2build1_amd64.deb ... 82s Unpacking why3 (1.7.2-2build1) ... 83s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 83s Setting up liblcms2-2:amd64 (2.16-2) ... 83s Setting up libpixman-1-0:amd64 (0.44.0-3) ... 83s Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... 83s Setting up libcln6:amd64 (1.3.7-1) ... 83s Setting up libncurses-dev:amd64 (6.5+20250125-2) ... 83s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 83s Setting up liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 83s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... 83s Setting up libantlr3c-3.4-0:amd64 (3.4+dfsg-4build2) ... 83s Setting up hicolor-icon-theme (0.18-2) ... 83s Setting up libxi6:amd64 (2:1.8.2-1) ... 83s Setting up libxrender1:amd64 (1:0.9.10-1.1build1) ... 83s Setting up libdatrie1:amd64 (0.2.13-3build1) ... 83s Setting up libxcb-render0:amd64 (1.17.0-2) ... 83s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 83s Setting up libdeflate0:amd64 (1.23-1) ... 83s Setting up libxcb-shm0:amd64 (1.17.0-2) ... 83s Setting up libgomp1:amd64 (15-20250213-1ubuntu1) ... 83s Setting up libjbig0:amd64 (2.1-6.1ubuntu2) ... 83s Setting up libcolord2:amd64 (1.4.7-1build2) ... 83s Setting up libdconf1:amd64 (0.40.0-5) ... 83s Setting up tex-common (6.18) ... 83s update-language: texlive-base not installed and configured, doing nothing! 83s Setting up libepoxy0:amd64 (1.5.10-2) ... 83s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 83s Setting up libavahi-common-data:amd64 (0.8-14ubuntu1) ... 83s Setting up libatspi2.0-0t64:amd64 (2.55.2-1) ... 83s Setting up libquadmath0:amd64 (15-20250213-1ubuntu1) ... 83s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 83s Setting up libstdlib-ocaml (5.2.0-3) ... 83s Setting up fonts-dejavu-mono (2.37-8) ... 83s Setting up libmpc3:amd64 (1.3.1-1build2) ... 83s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 83s Setting up ocaml-base (5.2.0-3) ... 83s Setting up fonts-dejavu-core (2.37-8) ... 83s Setting up libjpeg-turbo8:amd64 (2.1.5-3ubuntu2) ... 83s Setting up libwebp7:amd64 (1.5.0-0.1) ... 83s Setting up libubsan1:amd64 (15-20250213-1ubuntu1) ... 83s Setting up libhwasan0:amd64 (15-20250213-1ubuntu1) ... 83s Setting up at-spi2-common (2.55.2-1) ... 83s Setting up libasan8:amd64 (15-20250213-1ubuntu1) ... 83s Setting up libcvc4-7:amd64 (1.8-3build2) ... 83s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 83s Setting up libharfbuzz0b:amd64 (10.2.0-1) ... 83s Setting up libthai-data (0.1.29-2build1) ... 83s Setting up libwayland-egl1:amd64 (1.23.1-1) ... 83s Setting up libtsan2:amd64 (15-20250213-1ubuntu1) ... 83s Setting up libisl23:amd64 (0.27-1) ... 83s Setting up libxcomposite1:amd64 (1:0.4.6-1) ... 83s Setting up libcc1-0:amd64 (15-20250213-1ubuntu1) ... 83s Setting up liblsan0:amd64 (15-20250213-1ubuntu1) ... 83s Setting up libitm1:amd64 (15-20250213-1ubuntu1) ... 83s Setting up libwayland-client0:amd64 (1.23.1-1) ... 83s Setting up libjpeg8:amd64 (8c-2ubuntu11) ... 83s Setting up libatk1.0-0t64:amd64 (2.55.2-1) ... 83s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 83s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 83s Setting up libxcursor1:amd64 (1:1.2.3-1) ... 83s Setting up libavahi-common3:amd64 (0.8-14ubuntu1) ... 83s Setting up dconf-service (0.40.0-5) ... 83s Setting up libthai0:amd64 (0.1.29-2build1) ... 83s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 83s Setting up ocaml-interp (5.2.0-3) ... 83s Setting up libcvc4parser7:amd64 (1.8-3build2) ... 83s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 83s Setting up cpp-14 (14.2.0-17ubuntu1) ... 83s Setting up libtiff6:amd64 (4.5.1+git230720-4ubuntu4) ... 83s Setting up libwayland-cursor0:amd64 (1.23.1-1) ... 83s Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-2) ... 83s Setting up cvc4 (1.8-3build2) ... 83s Setting up libfontconfig1:amd64 (2.15.0-2ubuntu1) ... 83s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 83s Setting up libavahi-client3:amd64 (0.8-14ubuntu1) ... 83s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 83s Setting up libatk-bridge2.0-0t64:amd64 (2.55.2-1) ... 83s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 83s Setting up fontconfig (2.15.0-2ubuntu1) ... 85s Regenerating fonts cache... done. 85s Setting up dconf-gsettings-backend:amd64 (0.40.0-5) ... 85s Setting up libpango-1.0-0:amd64 (1.56.1-1) ... 85s Setting up libcairo2:amd64 (1.18.2-2) ... 85s Setting up adwaita-icon-theme (48~beta-3) ... 85s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 85s Setting up cpp (4:14.2.0-1ubuntu1) ... 85s Setting up libcairo-gobject2:amd64 (1.18.2-2) ... 85s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 85s Setting up libpangoft2-1.0-0:amd64 (1.56.1-1) ... 85s Setting up libcups2t64:amd64 (2.4.11-0ubuntu2) ... 85s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 85s Setting up libpangocairo-1.0-0:amd64 (1.56.1-1) ... 85s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 85s Setting up libcairo2-ocaml (0.6.5-2) ... 85s Setting up gcc-14 (14.2.0-17ubuntu1) ... 85s Setting up gcc (4:14.2.0-1ubuntu1) ... 85s Setting up ocaml (5.2.0-3) ... 85s Processing triggers for libc-bin (2.40-4ubuntu1) ... 85s Processing triggers for man-db (2.13.0-1) ... 87s Processing triggers for libglib2.0-0t64:amd64 (2.83.3-2) ... 87s Setting up libgtk-3-0t64:amd64 (3.24.48-3ubuntu1) ... 87s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 87s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-3) ... 87s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 87s Setting up why3 (1.7.2-2build1) ... 87s Processing triggers for libc-bin (2.40-4ubuntu1) ... 87s autopkgtest [13:06:55]: test why3+cvc4: [----------------------- 88s autopkgtest [13:06:56]: test why3+cvc4: -----------------------] 88s autopkgtest [13:06:56]: test why3+cvc4: - - - - - - - - - - results - - - - - - - - - - 88s why3+cvc4 PASS 89s autopkgtest [13:06:57]: test why3+spass: preparing testbed 147s autopkgtest [13:07:55]: testbed dpkg architecture: amd64 147s autopkgtest [13:07:55]: testbed apt version: 2.9.29 147s autopkgtest [13:07:55]: @@@@@@@@@@@@@@@@@@@@ test bed setup 147s autopkgtest [13:07:55]: testbed release detected to be: plucky 147s autopkgtest [13:07:55]: updating testbed package index (apt update) 147s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 147s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 147s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 147s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 147s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [744 kB] 147s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [76.1 kB] 147s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 147s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.9 kB] 147s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [111 kB] 147s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [92.7 kB] 148s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 148s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 148s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [711 kB] 148s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [262 kB] 148s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [3128 B] 148s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [11.5 kB] 148s Fetched 2150 kB in 0s (6433 kB/s) 149s Reading package lists... 149s + lsb_release --codename --short 149s + RELEASE=plucky 149s + cat 149s + [ plucky != trusty ] 149s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 149s Reading package lists... 149s Building dependency tree... 149s Reading state information... 149s Calculating upgrade... 150s The following NEW packages will be installed: 150s libapt-pkg7.0 150s The following packages will be upgraded: 150s apt apt-utils iproute2 libgpgme11t64 liblsof0 libp11-kit0 lsof rsyslog 150s sysvinit-utils 150s 9 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 150s Need to get 5425 kB of archives. 150s After this operation, 4076 kB of additional disk space will be used. 150s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 sysvinit-utils amd64 3.14-1ubuntu1 [35.7 kB] 150s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libapt-pkg7.0 amd64 2.9.30 [1131 kB] 150s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 apt amd64 2.9.30 [1434 kB] 150s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 apt-utils amd64 2.9.30 [222 kB] 150s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 iproute2 amd64 6.13.0-1ubuntu1 [1277 kB] 150s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 libp11-kit0 amd64 0.25.5-2ubuntu3 [311 kB] 150s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 rsyslog amd64 8.2412.0-2ubuntu1 [555 kB] 150s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 lsof amd64 4.99.4+dfsg-1 [245 kB] 150s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsof0 amd64 4.99.4+dfsg-1 [59.6 kB] 150s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libgpgme11t64 amd64 1.24.2-1ubuntu1 [155 kB] 150s Preconfiguring packages ... 150s Fetched 5425 kB in 0s (60.8 MB/s) 150s (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 ... 108925 files and directories currently installed.) 150s Preparing to unpack .../sysvinit-utils_3.14-1ubuntu1_amd64.deb ... 150s Unpacking sysvinit-utils (3.14-1ubuntu1) over (3.08-6ubuntu3) ... 150s Setting up sysvinit-utils (3.14-1ubuntu1) ... 151s Selecting previously unselected package libapt-pkg7.0:amd64. 151s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 108925 files and directories currently installed.) 151s Preparing to unpack .../libapt-pkg7.0_2.9.30_amd64.deb ... 151s Unpacking libapt-pkg7.0:amd64 (2.9.30) ... 151s Setting up libapt-pkg7.0:amd64 (2.9.30) ... 151s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 108974 files and directories currently installed.) 151s Preparing to unpack .../archives/apt_2.9.30_amd64.deb ... 151s Unpacking apt (2.9.30) over (2.9.29) ... 151s Setting up apt (2.9.30) ... 152s (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 ... 108974 files and directories currently installed.) 152s Preparing to unpack .../0-apt-utils_2.9.30_amd64.deb ... 152s Unpacking apt-utils (2.9.30) over (2.9.29) ... 152s Preparing to unpack .../1-iproute2_6.13.0-1ubuntu1_amd64.deb ... 152s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 152s Preparing to unpack .../2-libp11-kit0_0.25.5-2ubuntu3_amd64.deb ... 152s Unpacking libp11-kit0:amd64 (0.25.5-2ubuntu3) over (0.25.5-2ubuntu2) ... 152s Preparing to unpack .../3-rsyslog_8.2412.0-2ubuntu1_amd64.deb ... 152s Unpacking rsyslog (8.2412.0-2ubuntu1) over (8.2412.0-1ubuntu1) ... 152s Preparing to unpack .../4-lsof_4.99.4+dfsg-1_amd64.deb ... 152s Unpacking lsof (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 152s Preparing to unpack .../5-liblsof0_4.99.4+dfsg-1_amd64.deb ... 152s Unpacking liblsof0 (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 152s Preparing to unpack .../6-libgpgme11t64_1.24.2-1ubuntu1_amd64.deb ... 152s Unpacking libgpgme11t64:amd64 (1.24.2-1ubuntu1) over (1.24.1-4ubuntu1) ... 152s Setting up apt-utils (2.9.30) ... 152s Setting up liblsof0 (4.99.4+dfsg-1) ... 152s Setting up iproute2 (6.13.0-1ubuntu1) ... 152s Setting up rsyslog (8.2412.0-2ubuntu1) ... 153s info: The user `syslog' is already a member of `adm'. 154s Setting up libp11-kit0:amd64 (0.25.5-2ubuntu3) ... 154s Setting up lsof (4.99.4+dfsg-1) ... 154s Setting up libgpgme11t64:amd64 (1.24.2-1ubuntu1) ... 154s Processing triggers for man-db (2.13.0-1) ... 155s Processing triggers for libc-bin (2.40-4ubuntu1) ... 156s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 156s + /usr/lib/apt/apt-helper analyze-pattern ?true 156s + uname -r 156s + sed s/\./\\./g 156s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 156s + apt list ?obsolete 156s + grep -v ^linux-.*6\.12\.0-15-generic.* 156s + tail -n+2 156s + cut -d/ -f1 157s + true 157s + obsolete_pkgs= 157s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove 157s Reading package lists... 157s Building dependency tree... 157s Reading state information... 158s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 158s + grep -q trusty /etc/lsb-release 158s + [ ! -d /usr/share/doc/unattended-upgrades ] 158s + [ ! -d /usr/share/doc/lxd ] 158s + [ ! -d /usr/share/doc/lxd-client ] 158s + [ ! -d /usr/share/doc/snapd ] 158s + type iptables 158s + cat 158s + chmod 755 /etc/rc.local 158s + . /etc/rc.local 158s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 158s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 158s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 158s + uname -m 158s + [ x86_64 = ppc64le ] 158s + [ -d /run/systemd/system ] 158s + systemd-detect-virt --quiet --vm 158s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 158s + cat 158s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 158s + echo COMPRESS=lz4 158s autopkgtest [13:08:06]: upgrading testbed (apt dist-upgrade and autopurge) 158s Reading package lists... 158s Building dependency tree... 158s Reading state information... 159s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 159s Starting 2 pkgProblemResolver with broken count: 0 159s Done 159s Entering ResolveByKeep 159s 160s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 160s Reading package lists... 160s Building dependency tree... 160s Reading state information... 160s Starting pkgProblemResolver with broken count: 0 161s Starting 2 pkgProblemResolver with broken count: 0 161s Done 161s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 161s autopkgtest [13:08:09]: rebooting testbed after setup commands that affected boot 165s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 177s Reading package lists... 177s Building dependency tree... 177s Reading state information... 178s Starting pkgProblemResolver with broken count: 0 178s Starting 2 pkgProblemResolver with broken count: 0 178s Done 178s The following NEW packages will be installed: 178s adwaita-icon-theme at-spi2-common cpp cpp-14 cpp-14-x86-64-linux-gnu 178s cpp-x86-64-linux-gnu dconf-gsettings-backend dconf-service fontconfig 178s fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-14 178s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu gtk-update-icon-cache 178s hicolor-icon-theme libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 178s libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 178s libcairo-gobject2 libcairo2 libcairo2-ocaml libcc1-0 libcolord2 178s libcompiler-libs-ocaml-dev libcups2t64 libdatrie1 libdconf1 libdeflate0 178s libepoxy0 libfontconfig1 libgcc-14-dev libgdk-pixbuf-2.0-0 178s libgdk-pixbuf2.0-common libgomp1 libgraphite2-3 libgtk-3-0t64 178s libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common 178s libharfbuzz0b libhwasan0 libisl23 libitm1 libjbig0 libjpeg-turbo8 libjpeg8 178s liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblerc4 liblsan0 178s libmpc3 libncurses-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 178s libpixman-1-0 libquadmath0 libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev 178s libthai-data libthai0 libtiff6 libtsan2 libubsan1 libwayland-client0 178s libwayland-cursor0 libwayland-egl1 libwebp7 libxcb-render0 libxcb-shm0 178s libxcomposite1 libxcursor1 libxdamage1 libxfixes3 libxi6 libxinerama1 178s libxrandr2 libxrender1 libzstd-dev ocaml ocaml-base ocaml-interp spass 178s tex-common why3 179s 0 upgraded, 94 newly installed, 0 to remove and 0 not upgraded. 179s Need to get 166 MB of archives. 179s After this operation, 509 MB of additional disk space will be used. 179s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 libgdk-pixbuf2.0-common all 2.42.12+dfsg-2 [8004 B] 179s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libjpeg-turbo8 amd64 2.1.5-3ubuntu2 [179 kB] 179s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 libjpeg8 amd64 8c-2ubuntu11 [2148 B] 179s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 libdeflate0 amd64 1.23-1 [64.1 kB] 179s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 libjbig0 amd64 2.1-6.1ubuntu2 [29.7 kB] 179s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 liblerc4 amd64 4.0.0+ds-5ubuntu1 [271 kB] 179s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [25.9 kB] 179s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 libwebp7 amd64 1.5.0-0.1 [378 kB] 179s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 libtiff6 amd64 4.5.1+git230720-4ubuntu4 [200 kB] 179s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.12+dfsg-2 [161 kB] 179s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 gtk-update-icon-cache amd64 4.17.4+ds-4 [53.9 kB] 179s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 hicolor-icon-theme all 0.18-2 [13.3 kB] 179s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 adwaita-icon-theme all 48~beta-3 [578 kB] 179s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 at-spi2-common all 2.55.2-1 [8916 B] 179s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 179s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 179s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [11.9 MB] 179s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-17ubuntu1 [1032 B] 179s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [5586 B] 179s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.2.0-1ubuntu1 [22.4 kB] 179s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 libdconf1 amd64 0.40.0-5 [39.8 kB] 179s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 dconf-service amd64 0.40.0-5 [28.4 kB] 179s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 dconf-gsettings-backend amd64 0.40.0-5 [22.7 kB] 179s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 fonts-dejavu-mono all 2.37-8 [502 kB] 179s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 fonts-dejavu-core all 2.37-8 [835 kB] 179s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 fontconfig-config amd64 2.15.0-2ubuntu1 [37.4 kB] 179s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 libfontconfig1 amd64 2.15.0-2ubuntu1 [164 kB] 179s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 fontconfig amd64 2.15.0-2ubuntu1 [180 kB] 179s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 15-20250213-1ubuntu1 [47.0 kB] 179s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 15-20250213-1ubuntu1 [148 kB] 179s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 15-20250213-1ubuntu1 [28.5 kB] 179s Get:32 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 15-20250213-1ubuntu1 [3059 kB] 179s Get:33 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 15-20250213-1ubuntu1 [1356 kB] 179s Get:34 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 15-20250213-1ubuntu1 [2757 kB] 179s Get:35 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 15-20250213-1ubuntu1 [1206 kB] 179s Get:36 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 15-20250213-1ubuntu1 [1678 kB] 179s Get:37 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 15-20250213-1ubuntu1 [152 kB] 179s Get:38 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB] 179s Get:39 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB] 179s Get:40 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB] 179s Get:41 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B] 179s Get:42 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B] 179s Get:43 http://ftpmaster.internal/ubuntu plucky/main amd64 libatk1.0-0t64 amd64 2.55.2-1 [55.2 kB] 179s Get:44 http://ftpmaster.internal/ubuntu plucky/main amd64 libxi6 amd64 2:1.8.2-1 [32.4 kB] 179s Get:45 http://ftpmaster.internal/ubuntu plucky/main amd64 libatspi2.0-0t64 amd64 2.55.2-1 [87.6 kB] 179s Get:46 http://ftpmaster.internal/ubuntu plucky/main amd64 libatk-bridge2.0-0t64 amd64 2.55.2-1 [69.0 kB] 179s Get:47 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-common-data amd64 0.8-14ubuntu1 [30.5 kB] 179s Get:48 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-common3 amd64 0.8-14ubuntu1 [23.3 kB] 179s Get:49 http://ftpmaster.internal/ubuntu plucky/main amd64 libavahi-client3 amd64 0.8-14ubuntu1 [27.5 kB] 179s Get:50 http://ftpmaster.internal/ubuntu plucky/main amd64 libpixman-1-0 amd64 0.44.0-3 [427 kB] 179s Get:51 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcb-render0 amd64 1.17.0-2 [16.2 kB] 179s Get:52 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcb-shm0 amd64 1.17.0-2 [5758 B] 179s Get:53 http://ftpmaster.internal/ubuntu plucky/main amd64 libxrender1 amd64 1:0.9.10-1.1build1 [19.0 kB] 179s Get:54 http://ftpmaster.internal/ubuntu plucky/main amd64 libcairo2 amd64 1.18.2-2 [569 kB] 179s Get:55 http://ftpmaster.internal/ubuntu plucky/main amd64 libcairo-gobject2 amd64 1.18.2-2 [127 kB] 179s Get:56 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB] 179s Get:57 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB] 179s Get:58 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcairo2-ocaml amd64 0.6.5-2 [29.4 kB] 179s Get:59 http://ftpmaster.internal/ubuntu plucky/main amd64 liblcms2-2 amd64 2.16-2 [212 kB] 179s Get:60 http://ftpmaster.internal/ubuntu plucky/main amd64 libcolord2 amd64 1.4.7-1build2 [149 kB] 179s Get:61 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] 179s Get:62 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB] 179s Get:63 http://ftpmaster.internal/ubuntu plucky/main amd64 libcups2t64 amd64 2.4.11-0ubuntu2 [292 kB] 179s Get:64 http://ftpmaster.internal/ubuntu plucky/main amd64 libdatrie1 amd64 0.2.13-3build1 [19.0 kB] 179s Get:65 http://ftpmaster.internal/ubuntu plucky/main amd64 libepoxy0 amd64 1.5.10-2 [218 kB] 179s Get:66 http://ftpmaster.internal/ubuntu plucky/main amd64 libgraphite2-3 amd64 1.3.14-2ubuntu1 [73.1 kB] 179s Get:67 http://ftpmaster.internal/ubuntu plucky/main amd64 libharfbuzz0b amd64 10.2.0-1 [543 kB] 179s Get:68 http://ftpmaster.internal/ubuntu plucky/main amd64 libthai-data all 0.1.29-2build1 [158 kB] 179s Get:69 http://ftpmaster.internal/ubuntu plucky/main amd64 libthai0 amd64 0.1.29-2build1 [18.9 kB] 179s Get:70 http://ftpmaster.internal/ubuntu plucky/main amd64 libpango-1.0-0 amd64 1.56.1-1 [255 kB] 179s Get:71 http://ftpmaster.internal/ubuntu plucky/main amd64 libpangoft2-1.0-0 amd64 1.56.1-1 [52.6 kB] 179s Get:72 http://ftpmaster.internal/ubuntu plucky/main amd64 libpangocairo-1.0-0 amd64 1.56.1-1 [29.1 kB] 179s Get:73 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-client0 amd64 1.23.1-1 [29.1 kB] 179s Get:74 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-cursor0 amd64 1.23.1-1 [10.9 kB] 179s Get:75 http://ftpmaster.internal/ubuntu plucky/main amd64 libwayland-egl1 amd64 1.23.1-1 [5744 B] 179s Get:76 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcomposite1 amd64 1:0.4.6-1 [6642 B] 179s Get:77 http://ftpmaster.internal/ubuntu plucky/main amd64 libxfixes3 amd64 1:6.0.0-2build1 [10.8 kB] 179s Get:78 http://ftpmaster.internal/ubuntu plucky/main amd64 libxcursor1 amd64 1:1.2.3-1 [23.1 kB] 179s Get:79 http://ftpmaster.internal/ubuntu plucky/main amd64 libxdamage1 amd64 1:1.1.6-1build1 [6150 B] 179s Get:80 http://ftpmaster.internal/ubuntu plucky/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 179s Get:81 http://ftpmaster.internal/ubuntu plucky/main amd64 libxrandr2 amd64 2:1.5.4-1 [19.6 kB] 179s Get:82 http://ftpmaster.internal/ubuntu plucky/main amd64 libgtk-3-common all 3.24.48-3ubuntu1 [1424 kB] 179s Get:83 http://ftpmaster.internal/ubuntu plucky/main amd64 libgtk-3-0t64 amd64 3.24.48-3ubuntu1 [3169 kB] 180s Get:84 http://ftpmaster.internal/ubuntu plucky/universe amd64 libgtksourceview-3.0-common all 3.24.11-3 [294 kB] 180s Get:85 http://ftpmaster.internal/ubuntu plucky/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-3 [234 kB] 180s Get:86 http://ftpmaster.internal/ubuntu plucky/universe amd64 liblablgtk3-ocaml amd64 3.1.5-1build1 [3526 kB] 180s Get:87 http://ftpmaster.internal/ubuntu plucky/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.5-1build1 [327 kB] 180s Get:88 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB] 180s Get:89 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB] 180s Get:90 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB] 180s Get:91 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB] 180s Get:92 http://ftpmaster.internal/ubuntu plucky/universe amd64 spass amd64 3.9-1.1 [296 kB] 180s Get:93 http://ftpmaster.internal/ubuntu plucky/universe amd64 tex-common all 6.18 [32.8 kB] 180s Get:94 http://ftpmaster.internal/ubuntu plucky/universe amd64 why3 amd64 1.7.2-2build1 [11.9 MB] 180s Fetched 166 MB in 1s (112 MB/s) 180s Selecting previously unselected package libgdk-pixbuf2.0-common. 181s (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 ... 108975 files and directories currently installed.) 181s Preparing to unpack .../00-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ... 181s Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 181s Selecting previously unselected package libjpeg-turbo8:amd64. 181s Preparing to unpack .../01-libjpeg-turbo8_2.1.5-3ubuntu2_amd64.deb ... 181s Unpacking libjpeg-turbo8:amd64 (2.1.5-3ubuntu2) ... 181s Selecting previously unselected package libjpeg8:amd64. 181s Preparing to unpack .../02-libjpeg8_8c-2ubuntu11_amd64.deb ... 181s Unpacking libjpeg8:amd64 (8c-2ubuntu11) ... 181s Selecting previously unselected package libdeflate0:amd64. 181s Preparing to unpack .../03-libdeflate0_1.23-1_amd64.deb ... 181s Unpacking libdeflate0:amd64 (1.23-1) ... 181s Selecting previously unselected package libjbig0:amd64. 181s Preparing to unpack .../04-libjbig0_2.1-6.1ubuntu2_amd64.deb ... 181s Unpacking libjbig0:amd64 (2.1-6.1ubuntu2) ... 181s Selecting previously unselected package liblerc4:amd64. 181s Preparing to unpack .../05-liblerc4_4.0.0+ds-5ubuntu1_amd64.deb ... 181s Unpacking liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 181s Selecting previously unselected package libsharpyuv0:amd64. 181s Preparing to unpack .../06-libsharpyuv0_1.5.0-0.1_amd64.deb ... 181s Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... 181s Selecting previously unselected package libwebp7:amd64. 181s Preparing to unpack .../07-libwebp7_1.5.0-0.1_amd64.deb ... 181s Unpacking libwebp7:amd64 (1.5.0-0.1) ... 181s Selecting previously unselected package libtiff6:amd64. 181s Preparing to unpack .../08-libtiff6_4.5.1+git230720-4ubuntu4_amd64.deb ... 181s Unpacking libtiff6:amd64 (4.5.1+git230720-4ubuntu4) ... 181s Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. 181s Preparing to unpack .../09-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_amd64.deb ... 181s Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-2) ... 181s Selecting previously unselected package gtk-update-icon-cache. 181s Preparing to unpack .../10-gtk-update-icon-cache_4.17.4+ds-4_amd64.deb ... 181s No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. 181s 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. 181s Unpacking gtk-update-icon-cache (4.17.4+ds-4) ... 181s Selecting previously unselected package hicolor-icon-theme. 181s Preparing to unpack .../11-hicolor-icon-theme_0.18-2_all.deb ... 181s Unpacking hicolor-icon-theme (0.18-2) ... 181s Selecting previously unselected package adwaita-icon-theme. 181s Preparing to unpack .../12-adwaita-icon-theme_48~beta-3_all.deb ... 181s Unpacking adwaita-icon-theme (48~beta-3) ... 181s Selecting previously unselected package at-spi2-common. 181s Preparing to unpack .../13-at-spi2-common_2.55.2-1_all.deb ... 181s Unpacking at-spi2-common (2.55.2-1) ... 181s Selecting previously unselected package libisl23:amd64. 181s Preparing to unpack .../14-libisl23_0.27-1_amd64.deb ... 181s Unpacking libisl23:amd64 (0.27-1) ... 181s Selecting previously unselected package libmpc3:amd64. 181s Preparing to unpack .../15-libmpc3_1.3.1-1build2_amd64.deb ... 181s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 181s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 181s Preparing to unpack .../16-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 181s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 182s Selecting previously unselected package cpp-14. 182s Preparing to unpack .../17-cpp-14_14.2.0-17ubuntu1_amd64.deb ... 182s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 182s Selecting previously unselected package cpp-x86-64-linux-gnu. 182s Preparing to unpack .../18-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 182s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 182s Selecting previously unselected package cpp. 182s Preparing to unpack .../19-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ... 182s Unpacking cpp (4:14.2.0-1ubuntu1) ... 182s Selecting previously unselected package libdconf1:amd64. 182s Preparing to unpack .../20-libdconf1_0.40.0-5_amd64.deb ... 182s Unpacking libdconf1:amd64 (0.40.0-5) ... 182s Selecting previously unselected package dconf-service. 182s Preparing to unpack .../21-dconf-service_0.40.0-5_amd64.deb ... 182s Unpacking dconf-service (0.40.0-5) ... 182s Selecting previously unselected package dconf-gsettings-backend:amd64. 182s Preparing to unpack .../22-dconf-gsettings-backend_0.40.0-5_amd64.deb ... 182s Unpacking dconf-gsettings-backend:amd64 (0.40.0-5) ... 182s Selecting previously unselected package fonts-dejavu-mono. 182s Preparing to unpack .../23-fonts-dejavu-mono_2.37-8_all.deb ... 182s Unpacking fonts-dejavu-mono (2.37-8) ... 182s Selecting previously unselected package fonts-dejavu-core. 182s Preparing to unpack .../24-fonts-dejavu-core_2.37-8_all.deb ... 182s Unpacking fonts-dejavu-core (2.37-8) ... 182s Selecting previously unselected package fontconfig-config. 182s Preparing to unpack .../25-fontconfig-config_2.15.0-2ubuntu1_amd64.deb ... 182s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 182s Selecting previously unselected package libfontconfig1:amd64. 182s Preparing to unpack .../26-libfontconfig1_2.15.0-2ubuntu1_amd64.deb ... 182s Unpacking libfontconfig1:amd64 (2.15.0-2ubuntu1) ... 182s Selecting previously unselected package fontconfig. 182s Preparing to unpack .../27-fontconfig_2.15.0-2ubuntu1_amd64.deb ... 182s Unpacking fontconfig (2.15.0-2ubuntu1) ... 182s Selecting previously unselected package libcc1-0:amd64. 182s Preparing to unpack .../28-libcc1-0_15-20250213-1ubuntu1_amd64.deb ... 182s Unpacking libcc1-0:amd64 (15-20250213-1ubuntu1) ... 182s Selecting previously unselected package libgomp1:amd64. 182s Preparing to unpack .../29-libgomp1_15-20250213-1ubuntu1_amd64.deb ... 182s Unpacking libgomp1:amd64 (15-20250213-1ubuntu1) ... 182s Selecting previously unselected package libitm1:amd64. 182s Preparing to unpack .../30-libitm1_15-20250213-1ubuntu1_amd64.deb ... 182s Unpacking libitm1:amd64 (15-20250213-1ubuntu1) ... 182s Selecting previously unselected package libasan8:amd64. 182s Preparing to unpack .../31-libasan8_15-20250213-1ubuntu1_amd64.deb ... 182s Unpacking libasan8:amd64 (15-20250213-1ubuntu1) ... 182s Selecting previously unselected package liblsan0:amd64. 182s Preparing to unpack .../32-liblsan0_15-20250213-1ubuntu1_amd64.deb ... 182s Unpacking liblsan0:amd64 (15-20250213-1ubuntu1) ... 182s Selecting previously unselected package libtsan2:amd64. 182s Preparing to unpack .../33-libtsan2_15-20250213-1ubuntu1_amd64.deb ... 182s Unpacking libtsan2:amd64 (15-20250213-1ubuntu1) ... 183s Selecting previously unselected package libubsan1:amd64. 183s Preparing to unpack .../34-libubsan1_15-20250213-1ubuntu1_amd64.deb ... 183s Unpacking libubsan1:amd64 (15-20250213-1ubuntu1) ... 183s Selecting previously unselected package libhwasan0:amd64. 183s Preparing to unpack .../35-libhwasan0_15-20250213-1ubuntu1_amd64.deb ... 183s Unpacking libhwasan0:amd64 (15-20250213-1ubuntu1) ... 183s Selecting previously unselected package libquadmath0:amd64. 183s Preparing to unpack .../36-libquadmath0_15-20250213-1ubuntu1_amd64.deb ... 183s Unpacking libquadmath0:amd64 (15-20250213-1ubuntu1) ... 183s Selecting previously unselected package libgcc-14-dev:amd64. 183s Preparing to unpack .../37-libgcc-14-dev_14.2.0-17ubuntu1_amd64.deb ... 183s Unpacking libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 183s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 183s Preparing to unpack .../38-gcc-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 183s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 183s Selecting previously unselected package gcc-14. 183s Preparing to unpack .../39-gcc-14_14.2.0-17ubuntu1_amd64.deb ... 183s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 183s Selecting previously unselected package gcc-x86-64-linux-gnu. 183s Preparing to unpack .../40-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 183s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 183s Selecting previously unselected package gcc. 183s Preparing to unpack .../41-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ... 183s Unpacking gcc (4:14.2.0-1ubuntu1) ... 183s Selecting previously unselected package libatk1.0-0t64:amd64. 183s Preparing to unpack .../42-libatk1.0-0t64_2.55.2-1_amd64.deb ... 183s Unpacking libatk1.0-0t64:amd64 (2.55.2-1) ... 183s Selecting previously unselected package libxi6:amd64. 183s Preparing to unpack .../43-libxi6_2%3a1.8.2-1_amd64.deb ... 183s Unpacking libxi6:amd64 (2:1.8.2-1) ... 183s Selecting previously unselected package libatspi2.0-0t64:amd64. 183s Preparing to unpack .../44-libatspi2.0-0t64_2.55.2-1_amd64.deb ... 183s Unpacking libatspi2.0-0t64:amd64 (2.55.2-1) ... 183s Selecting previously unselected package libatk-bridge2.0-0t64:amd64. 183s Preparing to unpack .../45-libatk-bridge2.0-0t64_2.55.2-1_amd64.deb ... 183s Unpacking libatk-bridge2.0-0t64:amd64 (2.55.2-1) ... 183s Selecting previously unselected package libavahi-common-data:amd64. 183s Preparing to unpack .../46-libavahi-common-data_0.8-14ubuntu1_amd64.deb ... 183s Unpacking libavahi-common-data:amd64 (0.8-14ubuntu1) ... 183s Selecting previously unselected package libavahi-common3:amd64. 183s Preparing to unpack .../47-libavahi-common3_0.8-14ubuntu1_amd64.deb ... 183s Unpacking libavahi-common3:amd64 (0.8-14ubuntu1) ... 183s Selecting previously unselected package libavahi-client3:amd64. 183s Preparing to unpack .../48-libavahi-client3_0.8-14ubuntu1_amd64.deb ... 183s Unpacking libavahi-client3:amd64 (0.8-14ubuntu1) ... 183s Selecting previously unselected package libpixman-1-0:amd64. 183s Preparing to unpack .../49-libpixman-1-0_0.44.0-3_amd64.deb ... 183s Unpacking libpixman-1-0:amd64 (0.44.0-3) ... 184s Selecting previously unselected package libxcb-render0:amd64. 184s Preparing to unpack .../50-libxcb-render0_1.17.0-2_amd64.deb ... 184s Unpacking libxcb-render0:amd64 (1.17.0-2) ... 184s Selecting previously unselected package libxcb-shm0:amd64. 184s Preparing to unpack .../51-libxcb-shm0_1.17.0-2_amd64.deb ... 184s Unpacking libxcb-shm0:amd64 (1.17.0-2) ... 184s Selecting previously unselected package libxrender1:amd64. 184s Preparing to unpack .../52-libxrender1_1%3a0.9.10-1.1build1_amd64.deb ... 184s Unpacking libxrender1:amd64 (1:0.9.10-1.1build1) ... 184s Selecting previously unselected package libcairo2:amd64. 184s Preparing to unpack .../53-libcairo2_1.18.2-2_amd64.deb ... 184s Unpacking libcairo2:amd64 (1.18.2-2) ... 184s Selecting previously unselected package libcairo-gobject2:amd64. 184s Preparing to unpack .../54-libcairo-gobject2_1.18.2-2_amd64.deb ... 184s Unpacking libcairo-gobject2:amd64 (1.18.2-2) ... 184s Selecting previously unselected package libstdlib-ocaml. 184s Preparing to unpack .../55-libstdlib-ocaml_5.2.0-3_amd64.deb ... 184s Unpacking libstdlib-ocaml (5.2.0-3) ... 184s Selecting previously unselected package ocaml-base. 184s Preparing to unpack .../56-ocaml-base_5.2.0-3_amd64.deb ... 184s Unpacking ocaml-base (5.2.0-3) ... 184s Selecting previously unselected package libcairo2-ocaml. 184s Preparing to unpack .../57-libcairo2-ocaml_0.6.5-2_amd64.deb ... 184s Unpacking libcairo2-ocaml (0.6.5-2) ... 184s Selecting previously unselected package liblcms2-2:amd64. 184s Preparing to unpack .../58-liblcms2-2_2.16-2_amd64.deb ... 184s Unpacking liblcms2-2:amd64 (2.16-2) ... 184s Selecting previously unselected package libcolord2:amd64. 184s Preparing to unpack .../59-libcolord2_1.4.7-1build2_amd64.deb ... 184s Unpacking libcolord2:amd64 (1.4.7-1build2) ... 184s Selecting previously unselected package libstdlib-ocaml-dev. 184s Preparing to unpack .../60-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... 184s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 184s Selecting previously unselected package libcompiler-libs-ocaml-dev. 184s Preparing to unpack .../61-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... 184s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 184s Selecting previously unselected package libcups2t64:amd64. 184s Preparing to unpack .../62-libcups2t64_2.4.11-0ubuntu2_amd64.deb ... 185s Unpacking libcups2t64:amd64 (2.4.11-0ubuntu2) ... 185s Selecting previously unselected package libdatrie1:amd64. 185s Preparing to unpack .../63-libdatrie1_0.2.13-3build1_amd64.deb ... 185s Unpacking libdatrie1:amd64 (0.2.13-3build1) ... 185s Selecting previously unselected package libepoxy0:amd64. 185s Preparing to unpack .../64-libepoxy0_1.5.10-2_amd64.deb ... 185s Unpacking libepoxy0:amd64 (1.5.10-2) ... 185s Selecting previously unselected package libgraphite2-3:amd64. 185s Preparing to unpack .../65-libgraphite2-3_1.3.14-2ubuntu1_amd64.deb ... 185s Unpacking libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 185s Selecting previously unselected package libharfbuzz0b:amd64. 185s Preparing to unpack .../66-libharfbuzz0b_10.2.0-1_amd64.deb ... 185s Unpacking libharfbuzz0b:amd64 (10.2.0-1) ... 185s Selecting previously unselected package libthai-data. 185s Preparing to unpack .../67-libthai-data_0.1.29-2build1_all.deb ... 185s Unpacking libthai-data (0.1.29-2build1) ... 185s Selecting previously unselected package libthai0:amd64. 185s Preparing to unpack .../68-libthai0_0.1.29-2build1_amd64.deb ... 185s Unpacking libthai0:amd64 (0.1.29-2build1) ... 185s Selecting previously unselected package libpango-1.0-0:amd64. 185s Preparing to unpack .../69-libpango-1.0-0_1.56.1-1_amd64.deb ... 185s Unpacking libpango-1.0-0:amd64 (1.56.1-1) ... 185s Selecting previously unselected package libpangoft2-1.0-0:amd64. 185s Preparing to unpack .../70-libpangoft2-1.0-0_1.56.1-1_amd64.deb ... 185s Unpacking libpangoft2-1.0-0:amd64 (1.56.1-1) ... 185s Selecting previously unselected package libpangocairo-1.0-0:amd64. 185s Preparing to unpack .../71-libpangocairo-1.0-0_1.56.1-1_amd64.deb ... 185s Unpacking libpangocairo-1.0-0:amd64 (1.56.1-1) ... 185s Selecting previously unselected package libwayland-client0:amd64. 185s Preparing to unpack .../72-libwayland-client0_1.23.1-1_amd64.deb ... 185s Unpacking libwayland-client0:amd64 (1.23.1-1) ... 185s Selecting previously unselected package libwayland-cursor0:amd64. 185s Preparing to unpack .../73-libwayland-cursor0_1.23.1-1_amd64.deb ... 185s Unpacking libwayland-cursor0:amd64 (1.23.1-1) ... 185s Selecting previously unselected package libwayland-egl1:amd64. 185s Preparing to unpack .../74-libwayland-egl1_1.23.1-1_amd64.deb ... 185s Unpacking libwayland-egl1:amd64 (1.23.1-1) ... 185s Selecting previously unselected package libxcomposite1:amd64. 185s Preparing to unpack .../75-libxcomposite1_1%3a0.4.6-1_amd64.deb ... 185s Unpacking libxcomposite1:amd64 (1:0.4.6-1) ... 185s Selecting previously unselected package libxfixes3:amd64. 185s Preparing to unpack .../76-libxfixes3_1%3a6.0.0-2build1_amd64.deb ... 185s Unpacking libxfixes3:amd64 (1:6.0.0-2build1) ... 185s Selecting previously unselected package libxcursor1:amd64. 185s Preparing to unpack .../77-libxcursor1_1%3a1.2.3-1_amd64.deb ... 185s Unpacking libxcursor1:amd64 (1:1.2.3-1) ... 185s Selecting previously unselected package libxdamage1:amd64. 185s Preparing to unpack .../78-libxdamage1_1%3a1.1.6-1build1_amd64.deb ... 185s Unpacking libxdamage1:amd64 (1:1.1.6-1build1) ... 185s Selecting previously unselected package libxinerama1:amd64. 185s Preparing to unpack .../79-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 185s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 185s Selecting previously unselected package libxrandr2:amd64. 185s Preparing to unpack .../80-libxrandr2_2%3a1.5.4-1_amd64.deb ... 185s Unpacking libxrandr2:amd64 (2:1.5.4-1) ... 185s Selecting previously unselected package libgtk-3-common. 185s Preparing to unpack .../81-libgtk-3-common_3.24.48-3ubuntu1_all.deb ... 185s Unpacking libgtk-3-common (3.24.48-3ubuntu1) ... 185s Selecting previously unselected package libgtk-3-0t64:amd64. 185s Preparing to unpack .../82-libgtk-3-0t64_3.24.48-3ubuntu1_amd64.deb ... 185s Unpacking libgtk-3-0t64:amd64 (3.24.48-3ubuntu1) ... 185s Selecting previously unselected package libgtksourceview-3.0-common. 185s Preparing to unpack .../83-libgtksourceview-3.0-common_3.24.11-3_all.deb ... 185s Unpacking libgtksourceview-3.0-common (3.24.11-3) ... 185s Selecting previously unselected package libgtksourceview-3.0-1:amd64. 185s Preparing to unpack .../84-libgtksourceview-3.0-1_3.24.11-3_amd64.deb ... 185s Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-3) ... 185s Selecting previously unselected package liblablgtk3-ocaml. 185s Preparing to unpack .../85-liblablgtk3-ocaml_3.1.5-1build1_amd64.deb ... 185s Unpacking liblablgtk3-ocaml (3.1.5-1build1) ... 186s Selecting previously unselected package liblablgtksourceview3-ocaml. 186s Preparing to unpack .../86-liblablgtksourceview3-ocaml_3.1.5-1build1_amd64.deb ... 186s Unpacking liblablgtksourceview3-ocaml (3.1.5-1build1) ... 186s Selecting previously unselected package libncurses-dev:amd64. 186s Preparing to unpack .../87-libncurses-dev_6.5+20250125-2_amd64.deb ... 186s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ... 186s Selecting previously unselected package libzstd-dev:amd64. 186s Preparing to unpack .../88-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... 186s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... 186s Selecting previously unselected package ocaml-interp. 186s Preparing to unpack .../89-ocaml-interp_5.2.0-3_amd64.deb ... 186s Unpacking ocaml-interp (5.2.0-3) ... 186s Selecting previously unselected package ocaml. 186s Preparing to unpack .../90-ocaml_5.2.0-3_amd64.deb ... 186s Unpacking ocaml (5.2.0-3) ... 186s Selecting previously unselected package spass. 186s Preparing to unpack .../91-spass_3.9-1.1_amd64.deb ... 186s Unpacking spass (3.9-1.1) ... 186s Selecting previously unselected package tex-common. 186s Preparing to unpack .../92-tex-common_6.18_all.deb ... 186s Unpacking tex-common (6.18) ... 186s Selecting previously unselected package why3. 186s Preparing to unpack .../93-why3_1.7.2-2build1_amd64.deb ... 186s Unpacking why3 (1.7.2-2build1) ... 187s Setting up libgraphite2-3:amd64 (1.3.14-2ubuntu1) ... 187s Setting up liblcms2-2:amd64 (2.16-2) ... 187s Setting up libpixman-1-0:amd64 (0.44.0-3) ... 187s Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... 187s Setting up libncurses-dev:amd64 (6.5+20250125-2) ... 187s Setting up libxdamage1:amd64 (1:1.1.6-1build1) ... 187s Setting up liblerc4:amd64 (4.0.0+ds-5ubuntu1) ... 187s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... 187s Setting up hicolor-icon-theme (0.18-2) ... 187s Setting up libxi6:amd64 (2:1.8.2-1) ... 187s Setting up libxrender1:amd64 (1:0.9.10-1.1build1) ... 187s Setting up libdatrie1:amd64 (0.2.13-3build1) ... 187s Setting up libxcb-render0:amd64 (1.17.0-2) ... 187s Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ... 187s Setting up libdeflate0:amd64 (1.23-1) ... 187s Setting up libxcb-shm0:amd64 (1.17.0-2) ... 187s Setting up libgomp1:amd64 (15-20250213-1ubuntu1) ... 187s Setting up libjbig0:amd64 (2.1-6.1ubuntu2) ... 187s Setting up libcolord2:amd64 (1.4.7-1build2) ... 187s Setting up libdconf1:amd64 (0.40.0-5) ... 187s Setting up tex-common (6.18) ... 187s update-language: texlive-base not installed and configured, doing nothing! 187s Setting up libepoxy0:amd64 (1.5.10-2) ... 187s Setting up libxfixes3:amd64 (1:6.0.0-2build1) ... 187s Setting up spass (3.9-1.1) ... 187s Setting up libavahi-common-data:amd64 (0.8-14ubuntu1) ... 187s Setting up libatspi2.0-0t64:amd64 (2.55.2-1) ... 187s Setting up libquadmath0:amd64 (15-20250213-1ubuntu1) ... 187s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 187s Setting up libstdlib-ocaml (5.2.0-3) ... 187s Setting up fonts-dejavu-mono (2.37-8) ... 187s Setting up libmpc3:amd64 (1.3.1-1build2) ... 187s Setting up libxrandr2:amd64 (2:1.5.4-1) ... 187s Setting up ocaml-base (5.2.0-3) ... 187s Setting up fonts-dejavu-core (2.37-8) ... 187s Setting up libjpeg-turbo8:amd64 (2.1.5-3ubuntu2) ... 187s Setting up libwebp7:amd64 (1.5.0-0.1) ... 187s Setting up libubsan1:amd64 (15-20250213-1ubuntu1) ... 187s Setting up libhwasan0:amd64 (15-20250213-1ubuntu1) ... 187s Setting up at-spi2-common (2.55.2-1) ... 187s Setting up libasan8:amd64 (15-20250213-1ubuntu1) ... 187s Setting up libgtksourceview-3.0-common (3.24.11-3) ... 187s Setting up libharfbuzz0b:amd64 (10.2.0-1) ... 187s Setting up libthai-data (0.1.29-2build1) ... 187s Setting up libwayland-egl1:amd64 (1.23.1-1) ... 187s Setting up libtsan2:amd64 (15-20250213-1ubuntu1) ... 187s Setting up libisl23:amd64 (0.27-1) ... 187s Setting up libxcomposite1:amd64 (1:0.4.6-1) ... 187s Setting up libcc1-0:amd64 (15-20250213-1ubuntu1) ... 187s Setting up liblsan0:amd64 (15-20250213-1ubuntu1) ... 187s Setting up libitm1:amd64 (15-20250213-1ubuntu1) ... 187s Setting up libwayland-client0:amd64 (1.23.1-1) ... 187s Setting up libjpeg8:amd64 (8c-2ubuntu11) ... 187s Setting up libatk1.0-0t64:amd64 (2.55.2-1) ... 187s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 187s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 187s Setting up libxcursor1:amd64 (1:1.2.3-1) ... 187s Setting up libavahi-common3:amd64 (0.8-14ubuntu1) ... 187s Setting up dconf-service (0.40.0-5) ... 187s Setting up libthai0:amd64 (0.1.29-2build1) ... 187s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 187s Setting up ocaml-interp (5.2.0-3) ... 187s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 187s Setting up cpp-14 (14.2.0-17ubuntu1) ... 187s Setting up libtiff6:amd64 (4.5.1+git230720-4ubuntu4) ... 187s Setting up libwayland-cursor0:amd64 (1.23.1-1) ... 187s Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-2) ... 187s Setting up libfontconfig1:amd64 (2.15.0-2ubuntu1) ... 187s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 187s Setting up libavahi-client3:amd64 (0.8-14ubuntu1) ... 187s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 187s Setting up libatk-bridge2.0-0t64:amd64 (2.55.2-1) ... 187s Setting up gtk-update-icon-cache (4.17.4+ds-4) ... 187s Setting up fontconfig (2.15.0-2ubuntu1) ... 189s Regenerating fonts cache... done. 189s Setting up dconf-gsettings-backend:amd64 (0.40.0-5) ... 189s Setting up libpango-1.0-0:amd64 (1.56.1-1) ... 189s Setting up libcairo2:amd64 (1.18.2-2) ... 189s Setting up adwaita-icon-theme (48~beta-3) ... 189s update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode 189s Setting up cpp (4:14.2.0-1ubuntu1) ... 189s Setting up libcairo-gobject2:amd64 (1.18.2-2) ... 189s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 189s Setting up libpangoft2-1.0-0:amd64 (1.56.1-1) ... 189s Setting up libcups2t64:amd64 (2.4.11-0ubuntu2) ... 189s Setting up libgtk-3-common (3.24.48-3ubuntu1) ... 189s Setting up libpangocairo-1.0-0:amd64 (1.56.1-1) ... 189s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 189s Setting up libcairo2-ocaml (0.6.5-2) ... 189s Setting up gcc-14 (14.2.0-17ubuntu1) ... 189s Setting up gcc (4:14.2.0-1ubuntu1) ... 189s Setting up ocaml (5.2.0-3) ... 189s Processing triggers for libc-bin (2.40-4ubuntu1) ... 189s Processing triggers for man-db (2.13.0-1) ... 191s Processing triggers for libglib2.0-0t64:amd64 (2.83.3-2) ... 191s Setting up libgtk-3-0t64:amd64 (3.24.48-3ubuntu1) ... 191s Setting up liblablgtk3-ocaml (3.1.5-1build1) ... 191s Setting up libgtksourceview-3.0-1:amd64 (3.24.11-3) ... 191s Setting up liblablgtksourceview3-ocaml (3.1.5-1build1) ... 191s Setting up why3 (1.7.2-2build1) ... 191s Processing triggers for libc-bin (2.40-4ubuntu1) ... 201s autopkgtest [13:08:49]: test why3+spass: [----------------------- 202s autopkgtest [13:08:50]: test why3+spass: -----------------------] 202s why3+spass PASS 202s autopkgtest [13:08:50]: test why3+spass: - - - - - - - - - - results - - - - - - - - - - 202s autopkgtest [13:08:50]: test why3+z3: preparing testbed 260s autopkgtest [13:09:48]: testbed dpkg architecture: amd64 260s autopkgtest [13:09:48]: testbed apt version: 2.9.29 260s autopkgtest [13:09:48]: @@@@@@@@@@@@@@@@@@@@ test bed setup 260s autopkgtest [13:09:48]: testbed release detected to be: plucky 260s autopkgtest [13:09:48]: updating testbed package index (apt update) 260s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 260s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 260s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 260s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 260s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [744 kB] 260s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 260s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.9 kB] 260s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [76.1 kB] 260s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [92.7 kB] 260s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [111 kB] 260s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 260s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 260s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [711 kB] 261s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [262 kB] 261s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [3128 B] 261s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [11.5 kB] 261s Fetched 2150 kB in 0s (5066 kB/s) 262s Reading package lists... 262s + lsb_release --codename --short 262s + RELEASE=plucky 262s + cat 262s + [ plucky != trusty ] 262s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 262s Reading package lists... 262s Building dependency tree... 262s Reading state information... 263s Calculating upgrade... 263s The following NEW packages will be installed: 263s libapt-pkg7.0 263s The following packages will be upgraded: 263s apt apt-utils iproute2 libgpgme11t64 liblsof0 libp11-kit0 lsof rsyslog 263s sysvinit-utils 263s 9 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 263s Need to get 5425 kB of archives. 263s After this operation, 4076 kB of additional disk space will be used. 263s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 sysvinit-utils amd64 3.14-1ubuntu1 [35.7 kB] 263s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libapt-pkg7.0 amd64 2.9.30 [1131 kB] 263s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 apt amd64 2.9.30 [1434 kB] 263s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 apt-utils amd64 2.9.30 [222 kB] 263s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 iproute2 amd64 6.13.0-1ubuntu1 [1277 kB] 263s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 libp11-kit0 amd64 0.25.5-2ubuntu3 [311 kB] 263s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 rsyslog amd64 8.2412.0-2ubuntu1 [555 kB] 263s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 lsof amd64 4.99.4+dfsg-1 [245 kB] 263s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsof0 amd64 4.99.4+dfsg-1 [59.6 kB] 263s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libgpgme11t64 amd64 1.24.2-1ubuntu1 [155 kB] 264s Preconfiguring packages ... 264s Fetched 5425 kB in 0s (29.1 MB/s) 264s (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 ... 108925 files and directories currently installed.) 264s Preparing to unpack .../sysvinit-utils_3.14-1ubuntu1_amd64.deb ... 264s Unpacking sysvinit-utils (3.14-1ubuntu1) over (3.08-6ubuntu3) ... 264s Setting up sysvinit-utils (3.14-1ubuntu1) ... 264s Selecting previously unselected package libapt-pkg7.0:amd64. 264s (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 ... 108925 files and directories currently installed.) 264s Preparing to unpack .../libapt-pkg7.0_2.9.30_amd64.deb ... 264s Unpacking libapt-pkg7.0:amd64 (2.9.30) ... 264s Setting up libapt-pkg7.0:amd64 (2.9.30) ... 264s (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 ... 108974 files and directories currently installed.) 264s Preparing to unpack .../archives/apt_2.9.30_amd64.deb ... 264s Unpacking apt (2.9.30) over (2.9.29) ... 264s Setting up apt (2.9.30) ... 265s (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 ... 108974 files and directories currently installed.) 265s Preparing to unpack .../0-apt-utils_2.9.30_amd64.deb ... 265s Unpacking apt-utils (2.9.30) over (2.9.29) ... 265s Preparing to unpack .../1-iproute2_6.13.0-1ubuntu1_amd64.deb ... 265s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 266s Preparing to unpack .../2-libp11-kit0_0.25.5-2ubuntu3_amd64.deb ... 266s Unpacking libp11-kit0:amd64 (0.25.5-2ubuntu3) over (0.25.5-2ubuntu2) ... 266s Preparing to unpack .../3-rsyslog_8.2412.0-2ubuntu1_amd64.deb ... 266s Unpacking rsyslog (8.2412.0-2ubuntu1) over (8.2412.0-1ubuntu1) ... 266s Preparing to unpack .../4-lsof_4.99.4+dfsg-1_amd64.deb ... 266s Unpacking lsof (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 266s Preparing to unpack .../5-liblsof0_4.99.4+dfsg-1_amd64.deb ... 266s Unpacking liblsof0 (4.99.4+dfsg-1) over (4.99.3+dfsg-2) ... 266s Preparing to unpack .../6-libgpgme11t64_1.24.2-1ubuntu1_amd64.deb ... 266s Unpacking libgpgme11t64:amd64 (1.24.2-1ubuntu1) over (1.24.1-4ubuntu1) ... 266s Setting up apt-utils (2.9.30) ... 266s Setting up liblsof0 (4.99.4+dfsg-1) ... 266s Setting up iproute2 (6.13.0-1ubuntu1) ... 266s Setting up rsyslog (8.2412.0-2ubuntu1) ... 266s info: The user `syslog' is already a member of `adm'. 267s Setting up libp11-kit0:amd64 (0.25.5-2ubuntu3) ... 267s Setting up lsof (4.99.4+dfsg-1) ... 267s Setting up libgpgme11t64:amd64 (1.24.2-1ubuntu1) ... 267s Processing triggers for man-db (2.13.0-1) ... 269s Processing triggers for libc-bin (2.40-4ubuntu1) ... 270s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 270s + /usr/lib/apt/apt-helper analyze-pattern ?true 270s + uname -r 270s + sed s/\./\\./g 270s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 270s + apt list ?obsolete 270s + tail -n+2 270s + grep -v ^linux-.*6\.12\.0-15-generic.* 270s + cut -d/ -f1 271s + true 271s + obsolete_pkgs= 271s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove 271s Reading package lists... 272s Building dependency tree... 272s Reading state information... 272s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 272s + grep -q trusty /etc/lsb-release 272s + [ ! -d /usr/share/doc/unattended-upgrades ] 272s + [ ! -d /usr/share/doc/lxd ] 272s + [ ! -d /usr/share/doc/lxd-client ] 272s + [ ! -d /usr/share/doc/snapd ] 272s + type iptables 272s + cat 272s + chmod 755 /etc/rc.local 272s + . /etc/rc.local 272s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 272s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 272s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 272s + uname -m 272s + [ x86_64 = ppc64le ] 272s + [ -d /run/systemd/system ] 272s + systemd-detect-virt --quiet --vm 272s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 272s + cat 272s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 272s + echo COMPRESS=lz4 272s autopkgtest [13:10:00]: upgrading testbed (apt dist-upgrade and autopurge) 272s Reading package lists... 272s Building dependency tree... 272s Reading state information... 273s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 273s Starting 2 pkgProblemResolver with broken count: 0 273s Done 274s Entering ResolveByKeep 274s 274s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 274s Reading package lists... 275s Building dependency tree... 275s Reading state information... 275s Starting pkgProblemResolver with broken count: 0 275s Starting 2 pkgProblemResolver with broken count: 0 275s Done 276s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 276s autopkgtest [13:10:04]: rebooting testbed after setup commands that affected boot 279s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 293s Reading package lists... 293s Building dependency tree... 293s Reading state information... 294s Starting pkgProblemResolver with broken count: 1 294s Starting 2 pkgProblemResolver with broken count: 1 294s Investigating (0) satisfy:command-line:amd64 < none -> 1 @un puN Ib > 294s Broken satisfy:command-line:amd64 Depends on why3:amd64 < none | 1.7.2-2build1 @un uH > 294s Considering why3:amd64 1 as a solution to satisfy:command-line:amd64 9998 294s Re-Instated fonts-dejavu-mono:amd64 294s Re-Instated fonts-dejavu-core:amd64 294s Re-Instated fontconfig-config:amd64 294s Re-Instated libfontconfig1:amd64 294s Re-Instated libpixman-1-0:amd64 294s Re-Instated libxcb-render0:amd64 294s Re-Instated libxcb-shm0:amd64 294s Re-Instated libxrender1:amd64 294s Re-Instated libcairo2:amd64 294s Re-Instated libgdk-pixbuf2.0-common:amd64 294s Re-Instated libjpeg-turbo8:amd64 294s Re-Instated libjpeg8:amd64 294s Re-Instated libdeflate0:amd64 294s Re-Instated libjbig0:amd64 294s Re-Instated liblerc4:amd64 294s Re-Instated libsharpyuv0:amd64 294s Re-Instated libwebp7:amd64 294s Re-Instated libtiff6:amd64 294s Re-Instated libgdk-pixbuf-2.0-0:amd64 294s Re-Instated gtk-update-icon-cache:amd64 294s Re-Instated hicolor-icon-theme:amd64 294s Re-Instated adwaita-icon-theme:amd64 294s Re-Instated at-spi2-common:amd64 294s Re-Instated libatk1.0-0t64:amd64 294s Re-Instated libxi6:amd64 294s Re-Instated libatspi2.0-0t64:amd64 294s Re-Instated libatk-bridge2.0-0t64:amd64 294s Re-Instated libcairo-gobject2:amd64 294s Re-Instated liblcms2-2:amd64 294s Re-Instated libcolord2:amd64 294s Re-Instated libavahi-common-data:amd64 294s Re-Instated libavahi-common3:amd64 294s Re-Instated libavahi-client3:amd64 294s Re-Instated libcups2t64:amd64 294s Re-Instated libepoxy0:amd64 294s Re-Instated libgraphite2-3:amd64 294s Re-Instated libharfbuzz0b:amd64 294s Re-Instated fontconfig:amd64 294s Re-Instated libthai-data:amd64 294s Re-Instated libdatrie1:amd64 294s Re-Instated libthai0:amd64 294s Re-Instated libpango-1.0-0:amd64 294s Re-Instated libpangoft2-1.0-0:amd64 294s Re-Instated libpangocairo-1.0-0:amd64 294s Re-Instated libwayland-client0:amd64 294s Re-Instated libwayland-cursor0:amd64 294s Re-Instated libwayland-egl1:amd64 294s Re-Instated libxcomposite1:amd64 294s Re-Instated libxfixes3:amd64 294s Re-Instated libxcursor1:amd64 294s Re-Instated libxdamage1:amd64 294s Re-Instated libxinerama1:amd64 294s Re-Instated libxrandr2:amd64 294s Re-Instated libdconf1:amd64 294s Re-Instated dconf-service:amd64 294s Re-Instated dconf-gsettings-backend:amd64 294s Re-Instated libgtk-3-common:amd64 294s Re-Instated libgtk-3-0t64:amd64 294s Re-Instated libgtksourceview-3.0-common:amd64 294s Re-Instated libgtksourceview-3.0-1:amd64 294s Re-Instated libstdlib-ocaml:amd64 294s Re-Instated ocaml-base:amd64 294s Re-Instated libcairo2-ocaml:amd64 294s Re-Instated liblablgtk3-ocaml:amd64 294s Re-Instated liblablgtksourceview3-ocaml:amd64 294s Re-Instated tex-common:amd64 294s Re-Instated why3:amd64 294s Broken satisfy:command-line:amd64 Depends on z3:amd64 < none | 4.13.3-1 @un uH > (< 4.11.1) 294s Broken satisfy:command-line:amd64 Depends on ocaml-native-compilers:amd64 < none @un H > 294s Considering ocaml:amd64 0 as a solution to satisfy:command-line:amd64 9998 294s Re-Instated libstdlib-ocaml-dev:amd64 294s Re-Instated libcompiler-libs-ocaml-dev:amd64 294s Re-Instated ocaml-interp:amd64 294s Re-Instated libncurses-dev:amd64 294s Re-Instated libisl23:amd64 294s Re-Instated libmpc3:amd64 294s Re-Instated cpp-14-x86-64-linux-gnu:amd64 294s Re-Instated cpp-14:amd64 294s Re-Instated cpp-x86-64-linux-gnu:amd64 294s Re-Instated cpp:amd64 294s Re-Instated libcc1-0:amd64 294s Re-Instated libgomp1:amd64 294s Re-Instated libitm1:amd64 294s Re-Instated libasan8:amd64 294s Re-Instated liblsan0:amd64 294s Re-Instated libtsan2:amd64 294s Re-Instated libubsan1:amd64 294s Re-Instated libhwasan0:amd64 294s Re-Instated libquadmath0:amd64 294s Re-Instated libgcc-14-dev:amd64 294s Re-Instated gcc-14-x86-64-linux-gnu:amd64 294s Re-Instated gcc-14:amd64 294s Re-Instated gcc-x86-64-linux-gnu:amd64 294s Re-Instated gcc:amd64 294s Re-Instated libzstd-dev:amd64 294s Re-Instated ocaml:amd64 294s Done 294s Some packages could not be installed. This may mean that you have 294s requested an impossible situation or if you are using the unstable 294s distribution that some required packages have not yet been created 294s or been moved out of Incoming. 294s The following information may help to resolve the situation: 294s 294s The following packages have unmet dependencies: 294s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 294s E: Unable to correct problems, you have held broken packages. 294s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 294s Reading package lists... 294s Building dependency tree... 294s Reading state information... 295s Starting pkgProblemResolver with broken count: 1 295s Starting 2 pkgProblemResolver with broken count: 1 295s Investigating (0) satisfy:command-line:amd64 < none -> 1 @un puN Ib > 295s Broken satisfy:command-line:amd64 Depends on why3:amd64 < none | 1.8.0-2 @un uH > 295s Considering why3:amd64 1 as a solution to satisfy:command-line:amd64 9998 295s Re-Instated fonts-dejavu-mono:amd64 295s Re-Instated fonts-dejavu-core:amd64 295s Re-Instated fontconfig-config:amd64 295s Re-Instated libfontconfig1:amd64 295s Re-Instated libpixman-1-0:amd64 295s Re-Instated libxcb-render0:amd64 295s Re-Instated libxcb-shm0:amd64 295s Re-Instated libxrender1:amd64 295s Re-Instated libcairo2:amd64 295s Re-Instated libgdk-pixbuf2.0-common:amd64 295s Re-Instated libjpeg-turbo8:amd64 295s Re-Instated libjpeg8:amd64 295s Re-Instated libdeflate0:amd64 295s Re-Instated libjbig0:amd64 295s Re-Instated liblerc4:amd64 295s Re-Instated libsharpyuv0:amd64 295s Re-Instated libwebp7:amd64 295s Re-Instated libtiff6:amd64 295s Re-Instated libgdk-pixbuf-2.0-0:amd64 295s Re-Instated gtk-update-icon-cache:amd64 295s Re-Instated hicolor-icon-theme:amd64 295s Re-Instated adwaita-icon-theme:amd64 295s Re-Instated at-spi2-common:amd64 295s Re-Instated libatk1.0-0t64:amd64 295s Re-Instated libxi6:amd64 295s Re-Instated libatspi2.0-0t64:amd64 295s Re-Instated libatk-bridge2.0-0t64:amd64 295s Re-Instated libcairo-gobject2:amd64 295s Re-Instated liblcms2-2:amd64 295s Re-Instated libcolord2:amd64 295s Re-Instated libavahi-common-data:amd64 295s Re-Instated libavahi-common3:amd64 295s Re-Instated libavahi-client3:amd64 295s Re-Instated libcups2t64:amd64 295s Re-Instated libepoxy0:amd64 295s Re-Instated libgraphite2-3:amd64 295s Re-Instated libharfbuzz0b:amd64 295s Re-Instated fontconfig:amd64 295s Re-Instated libthai-data:amd64 295s Re-Instated libdatrie1:amd64 295s Re-Instated libthai0:amd64 295s Re-Instated libpango-1.0-0:amd64 295s Re-Instated libpangoft2-1.0-0:amd64 295s Re-Instated libpangocairo-1.0-0:amd64 295s Re-Instated libwayland-client0:amd64 295s Re-Instated libwayland-cursor0:amd64 295s Re-Instated libwayland-egl1:amd64 295s Re-Instated libxcomposite1:amd64 295s Re-Instated libxfixes3:amd64 295s Re-Instated libxcursor1:amd64 295s Re-Instated libxdamage1:amd64 295s Re-Instated libxinerama1:amd64 295s Re-Instated libxrandr2:amd64 295s Re-Instated libdconf1:amd64 295s Re-Instated dconf-service:amd64 295s Re-Instated dconf-gsettings-backend:amd64 295s Re-Instated libgtk-3-common:amd64 295s Re-Instated libgtk-3-0t64:amd64 295s Re-Instated libgtksourceview-3.0-common:amd64 295s Re-Instated libgtksourceview-3.0-1:amd64 295s Re-Instated libstdlib-ocaml:amd64 295s Re-Instated ocaml-base:amd64 295s Re-Instated libcairo2-ocaml:amd64 295s Re-Instated liblablgtk3-ocaml:amd64 295s Re-Instated liblablgtksourceview3-ocaml:amd64 295s Re-Instated tex-common:amd64 295s Re-Instated why3:amd64 295s Broken satisfy:command-line:amd64 Depends on z3:amd64 < none | 4.13.3-1 @un uH > (< 4.11.1) 295s Broken satisfy:command-line:amd64 Depends on ocaml-native-compilers:amd64 < none @un H > 295s Considering ocaml:amd64 0 as a solution to satisfy:command-line:amd64 9998 295s Re-Instated libstdlib-ocaml-dev:amd64 295s Re-Instated libcompiler-libs-ocaml-dev:amd64 295s Re-Instated ocaml-interp:amd64 295s Re-Instated libtinfo6:amd64 295s Re-Instated libncurses6:amd64 295s Re-Instated libncursesw6:amd64 295s Re-Instated libncurses-dev:amd64 295s Re-Instated gcc-14-base:amd64 295s Re-Instated libisl23:amd64 295s Re-Instated libmpc3:amd64 295s Re-Instated cpp-14-x86-64-linux-gnu:amd64 295s Re-Instated cpp-14:amd64 295s Re-Instated cpp-x86-64-linux-gnu:amd64 295s Re-Instated cpp:amd64 295s Re-Instated libcc1-0:amd64 295s Re-Instated libgomp1:amd64 295s Re-Instated libitm1:amd64 295s Re-Instated libasan8:amd64 295s Re-Instated liblsan0:amd64 295s Re-Instated libtsan2:amd64 295s Re-Instated libubsan1:amd64 295s Re-Instated libhwasan0:amd64 295s Re-Instated libquadmath0:amd64 295s Re-Instated libgcc-14-dev:amd64 295s Re-Instated gcc-14-x86-64-linux-gnu:amd64 295s Re-Instated gcc-14:amd64 295s Re-Instated gcc-x86-64-linux-gnu:amd64 295s Re-Instated gcc:amd64 295s Re-Instated libzstd-dev:amd64 295s Re-Instated ocaml:amd64 295s Done 295s Some packages could not be installed. This may mean that you have 295s requested an impossible situation or if you are using the unstable 295s distribution that some required packages have not yet been created 295s or been moved out of Incoming. 295s The following information may help to resolve the situation: 295s 295s The following packages have unmet dependencies: 295s satisfy:command-line : Depends: z3 (< 4.11.1) but it is not going to be installed 295s E: Unable to correct problems, you have held broken packages. 295s why3+z3 SKIP installation fails and skip-not-installable set 295s autopkgtest [13:10:23]: @@@@@@@@@@@@@@@@@@@@ summary 295s why3+cvc4 PASS 295s why3+spass PASS 295s why3+z3 SKIP installation fails and skip-not-installable set 311s nova [W] Skipping flock for amd64 311s Creating nova instance adt-plucky-amd64-why3-20250219-130528-juju-7f2275-prod-proposed-migration-environment-15-cbf6eb1b-6d14-4c06-a1c0-6ea7a241c831 from image adt/ubuntu-plucky-amd64-server-20250218.img (UUID 0c5f6311-785d-4524-a0d8-db541aaf5c09)... 311s nova [W] Timed out waiting for 3e0c41eb-596d-4f04-a7bd-38230f5cb7dd to get deleted. 311s nova [W] Skipping flock for amd64 311s Creating nova instance adt-plucky-amd64-why3-20250219-130528-juju-7f2275-prod-proposed-migration-environment-15-cbf6eb1b-6d14-4c06-a1c0-6ea7a241c831 from image adt/ubuntu-plucky-amd64-server-20250218.img (UUID 0c5f6311-785d-4524-a0d8-db541aaf5c09)... 311s nova [W] Timed out waiting for 7cdffbdc-0dd6-49ac-bc45-a5a3393fe361 to get deleted. 311s nova [W] Skipping flock for amd64 311s Creating nova instance adt-plucky-amd64-why3-20250219-130528-juju-7f2275-prod-proposed-migration-environment-15-cbf6eb1b-6d14-4c06-a1c0-6ea7a241c831 from image adt/ubuntu-plucky-amd64-server-20250218.img (UUID 0c5f6311-785d-4524-a0d8-db541aaf5c09)... 311s nova [W] Timed out waiting for 1b9e661c-9aae-4496-a642-9108a9dd2c24 to get deleted.