0s autopkgtest [18:21:03]: starting date and time: 2025-03-15 18:21:03+0000 0s autopkgtest [18:21:03]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [18:21:03]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.g285tao3/out --timeout-copy=6000 --setup-commands 'ln -s /dev/null /etc/systemd/system/bluetooth.service; printf "http_proxy=http://squid.internal:3128\nhttps_proxy=http://squid.internal:3128\nno_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\n" >> /etc/environment' --apt-pocket=proposed=src:glibc --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- lxd -r lxd-armhf-10.145.243.46 lxd-armhf-10.145.243.46:autopkgtest/ubuntu/plucky/armhf 22s autopkgtest [18:21:25]: testbed dpkg architecture: armhf 24s autopkgtest [18:21:27]: testbed apt version: 2.9.33 28s autopkgtest [18:21:31]: @@@@@@@@@@@@@@@@@@@@ test bed setup 30s autopkgtest [18:21:33]: testbed release detected to be: None 38s autopkgtest [18:21:41]: updating testbed package index (apt update) 41s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 41s Get:2 http://ftpmaster.internal/ubuntu plucky InRelease [257 kB] 41s Get:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease [126 kB] 42s Get:4 http://ftpmaster.internal/ubuntu plucky-security InRelease [126 kB] 42s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 42s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 42s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 42s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [114 kB] 42s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf c-n-f Metadata [1832 B] 42s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted armhf c-n-f Metadata [116 B] 42s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [312 kB] 42s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf c-n-f Metadata [11.1 kB] 42s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf Packages [3472 B] 42s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf c-n-f Metadata [240 B] 42s Get:15 http://ftpmaster.internal/ubuntu plucky/multiverse Sources [299 kB] 43s Get:16 http://ftpmaster.internal/ubuntu plucky/main Sources [1394 kB] 43s Get:17 http://ftpmaster.internal/ubuntu plucky/universe Sources [21.0 MB] 55s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf Packages [1378 kB] 56s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf c-n-f Metadata [29.4 kB] 56s Get:20 http://ftpmaster.internal/ubuntu plucky/restricted armhf c-n-f Metadata [108 B] 56s Get:21 http://ftpmaster.internal/ubuntu plucky/universe armhf Packages [15.1 MB] 65s Get:22 http://ftpmaster.internal/ubuntu plucky/multiverse armhf Packages [172 kB] 67s Fetched 41.0 MB in 26s (1570 kB/s) 69s Reading package lists... 75s autopkgtest [18:22:18]: upgrading testbed (apt dist-upgrade and autopurge) 77s Reading package lists... 77s Building dependency tree... 77s Reading state information... 78s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 79s Starting 2 pkgProblemResolver with broken count: 0 80s Done 80s Entering ResolveByKeep 81s 81s Calculating upgrade... 82s The following packages will be upgraded: 82s libc-bin libc6 locales pinentry-curses python3-jinja2 sos strace 82s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 82s Need to get 8683 kB of archives. 82s After this operation, 23.6 kB of additional disk space will be used. 82s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6 armhf 2.41-1ubuntu2 [2932 kB] 83s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-bin armhf 2.41-1ubuntu2 [545 kB] 83s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf locales all 2.41-1ubuntu2 [4246 kB] 84s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf strace armhf 6.13+ds-1ubuntu1 [445 kB] 84s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf pinentry-curses armhf 1.3.1-2ubuntu3 [40.6 kB] 84s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 84s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf sos all 4.9.0-5 [365 kB] 85s Preconfiguring packages ... 85s Fetched 8683 kB in 2s (4981 kB/s) 85s (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 ... 64655 files and directories currently installed.) 85s Preparing to unpack .../libc6_2.41-1ubuntu2_armhf.deb ... 85s Unpacking libc6:armhf (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 86s Setting up libc6:armhf (2.41-1ubuntu2) ... 86s (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 ... 64655 files and directories currently installed.) 86s Preparing to unpack .../libc-bin_2.41-1ubuntu2_armhf.deb ... 86s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 86s Setting up libc-bin (2.41-1ubuntu2) ... 86s (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 ... 64655 files and directories currently installed.) 86s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 86s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 87s Preparing to unpack .../strace_6.13+ds-1ubuntu1_armhf.deb ... 87s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 87s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_armhf.deb ... 87s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 87s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 87s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 87s Preparing to unpack .../archives/sos_4.9.0-5_all.deb ... 87s Unpacking sos (4.9.0-5) over (4.9.0-4) ... 88s Setting up sos (4.9.0-5) ... 88s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 88s Setting up locales (2.41-1ubuntu2) ... 90s Generating locales (this might take a while)... 93s en_US.UTF-8... done 93s Generation complete. 93s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 93s Setting up strace (6.13+ds-1ubuntu1) ... 93s Processing triggers for man-db (2.13.0-1) ... 95s Processing triggers for systemd (257.3-1ubuntu3) ... 97s Reading package lists... 98s Building dependency tree... 98s Reading state information... 99s Starting pkgProblemResolver with broken count: 0 99s Starting 2 pkgProblemResolver with broken count: 0 99s Done 100s Solving dependencies... 101s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 103s autopkgtest [18:22:46]: rebooting testbed after setup commands that affected boot 145s autopkgtest [18:23:28]: testbed running kernel: Linux 6.8.0-52-generic #53~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Wed Jan 15 18:10:51 UTC 2 173s autopkgtest [18:23:56]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 193s Get:1 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (dsc) [2140 B] 193s Get:2 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (tar) [6637 kB] 193s Get:3 http://ftpmaster.internal/ubuntu plucky/universe why3 1.8.0-2 (diff) [18.9 kB] 194s gpgv: Signature made Sun Feb 2 06:48:51 2025 UTC 194s gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 194s gpgv: issuer "glondu@debian.org" 194s gpgv: Can't check signature: No public key 194s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.0-2.dsc: no acceptable signature found 197s autopkgtest [18:24:20]: testing package why3 version 1.8.0-2 200s autopkgtest [18:24:23]: build not needed 206s autopkgtest [18:24:29]: test why3+cvc4: preparing testbed 208s Reading package lists... 209s Building dependency tree... 209s Reading state information... 209s Starting pkgProblemResolver with broken count: 1 210s Starting 2 pkgProblemResolver with broken count: 1 210s Investigating (0) satisfy:command-line:armhf < none -> 1 @un puN Ib > 210s Broken satisfy:command-line:armhf Depends on why3:armhf < none | 1.8.0-2 @un uH > 210s Considering why3:armhf 1 as a solution to satisfy:command-line:armhf 9998 210s Re-Instated libstdlib-ocaml:armhf 210s Re-Instated ocaml-base:armhf 210s Re-Instated libfreetype6:armhf 210s Re-Instated fonts-dejavu-mono:armhf 210s Re-Instated fonts-dejavu-core:armhf 210s Re-Instated fontconfig-config:armhf 210s Re-Instated libfontconfig1:armhf 210s Re-Instated libpixman-1-0:armhf 210s Re-Instated libxcb-render0:armhf 210s Re-Instated libxcb-shm0:armhf 210s Re-Instated libxrender1:armhf 210s Re-Instated libcairo2:armhf 210s Re-Instated libcairo2-ocaml:armhf 210s Re-Instated libgdk-pixbuf2.0-common:armhf 210s Re-Instated libjpeg-turbo8:armhf 210s Re-Instated libjpeg8:armhf 210s Re-Instated libdeflate0:armhf 210s Re-Instated libjbig0:armhf 210s Re-Instated liblerc4:armhf 210s Re-Instated libsharpyuv0:armhf 210s Re-Instated libwebp7:armhf 210s Re-Instated libtiff6:armhf 210s Re-Instated libgdk-pixbuf-2.0-0:armhf 210s Re-Instated gtk-update-icon-cache:armhf 210s Re-Instated hicolor-icon-theme:armhf 210s Re-Instated adwaita-icon-theme:armhf 210s Re-Instated at-spi2-common:armhf 210s Re-Instated libatk1.0-0t64:armhf 210s Re-Instated libxi6:armhf 210s Re-Instated libatspi2.0-0t64:armhf 210s Re-Instated libatk-bridge2.0-0t64:armhf 210s Re-Instated libcairo-gobject2:armhf 210s Re-Instated liblcms2-2:armhf 210s Re-Instated libcolord2:armhf 210s Re-Instated libavahi-common-data:armhf 210s Re-Instated libavahi-common3:armhf 210s Re-Instated libavahi-client3:armhf 210s Re-Instated libcups2t64:armhf 210s Re-Instated libepoxy0:armhf 210s Re-Instated libgraphite2-3:armhf 210s Re-Instated libharfbuzz0b:armhf 210s Re-Instated fontconfig:armhf 210s Re-Instated libthai-data:armhf 210s Re-Instated libdatrie1:armhf 210s Re-Instated libthai0:armhf 210s Re-Instated libpango-1.0-0:armhf 210s Re-Instated libpangoft2-1.0-0:armhf 210s Re-Instated libpangocairo-1.0-0:armhf 210s Re-Instated libwayland-client0:armhf 210s Re-Instated libwayland-cursor0:armhf 210s Re-Instated libwayland-egl1:armhf 210s Re-Instated libxcomposite1:armhf 210s Re-Instated libxfixes3:armhf 210s Re-Instated libxcursor1:armhf 210s Re-Instated libxdamage1:armhf 210s Re-Instated libxinerama1:armhf 210s Re-Instated libxrandr2:armhf 210s Re-Instated libdconf1:armhf 210s Re-Instated dconf-service:armhf 210s Re-Instated dconf-gsettings-backend:armhf 210s Re-Instated libgtk-3-common:armhf 210s Re-Instated libgtk-3-0t64:armhf 210s Re-Instated liblablgtk3-ocaml:armhf 210s Re-Instated libgtksourceview-3.0-common:armhf 210s Re-Instated libgtksourceview-3.0-1:armhf 210s Re-Instated liblablgtksourceview3-ocaml:armhf 210s Re-Instated libzarith-ocaml:armhf 210s Re-Instated libzip-ocaml:armhf 210s Re-Instated tex-common:armhf 210s Re-Instated why3:armhf 210s Broken satisfy:command-line:armhf Depends on cvc4:armhf < none | 1.8-3build2 @un uH > (< 1.9) 210s Considering cvc4:armhf 0 as a solution to satisfy:command-line:armhf 9998 210s Re-Instated libcln6:armhf 210s Re-Instated libcvc4-7:armhf 210s Re-Instated libantlr3c-3.4-0:armhf 210s Re-Instated libcvc4parser7:armhf 210s Re-Instated cvc4:armhf 210s Broken satisfy:command-line:armhf Depends on ocaml-native-compilers:armhf < none @un H > 210s Done 210s Some packages could not be installed. This may mean that you have 210s requested an impossible situation or if you are using the unstable 210s distribution that some required packages have not yet been created 210s or been moved out of Incoming. 210s The following information may help to resolve the situation: 210s 210s The following packages have unmet dependencies: 210s satisfy:command-line : Depends: ocaml-native-compilers but it is not installable 210s E: Unable to correct problems, you have held broken packages. 210s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 215s Reading package lists... 215s Building dependency tree... 215s Reading state information... 216s Starting pkgProblemResolver with broken count: 1 216s Starting 2 pkgProblemResolver with broken count: 1 216s Investigating (0) satisfy:command-line:armhf < none -> 1 @un puN Ib > 216s Broken satisfy:command-line:armhf Depends on why3:armhf < none | 1.8.0-2 @un uH > 216s Considering why3:armhf 1 as a solution to satisfy:command-line:armhf 9998 216s Re-Instated libstdlib-ocaml:armhf 216s Re-Instated ocaml-base:armhf 216s Re-Instated libfreetype6:armhf 216s Re-Instated fonts-dejavu-mono:armhf 216s Re-Instated fonts-dejavu-core:armhf 216s Re-Instated fontconfig-config:armhf 216s Re-Instated libfontconfig1:armhf 216s Re-Instated libpixman-1-0:armhf 216s Re-Instated libxcb-render0:armhf 216s Re-Instated libxcb-shm0:armhf 216s Re-Instated libxrender1:armhf 216s Re-Instated libcairo2:armhf 216s Re-Instated libcairo2-ocaml:armhf 216s Re-Instated libgdk-pixbuf2.0-common:armhf 216s Re-Instated libjpeg-turbo8:armhf 216s Re-Instated libjpeg8:armhf 216s Re-Instated libdeflate0:armhf 216s Re-Instated libjbig0:armhf 216s Re-Instated liblerc4:armhf 216s Re-Instated libsharpyuv0:armhf 216s Re-Instated libwebp7:armhf 216s Re-Instated libtiff6:armhf 216s Re-Instated libgdk-pixbuf-2.0-0:armhf 216s Re-Instated gtk-update-icon-cache:armhf 216s Re-Instated hicolor-icon-theme:armhf 216s Re-Instated adwaita-icon-theme:armhf 216s Re-Instated at-spi2-common:armhf 216s Re-Instated libatk1.0-0t64:armhf 216s Re-Instated libxi6:armhf 216s Re-Instated libatspi2.0-0t64:armhf 216s Re-Instated libatk-bridge2.0-0t64:armhf 216s Re-Instated libcairo-gobject2:armhf 216s Re-Instated liblcms2-2:armhf 216s Re-Instated libcolord2:armhf 216s Re-Instated libavahi-common-data:armhf 216s Re-Instated libavahi-common3:armhf 216s Re-Instated libavahi-client3:armhf 216s Re-Instated libcups2t64:armhf 216s Re-Instated libepoxy0:armhf 216s Re-Instated libgraphite2-3:armhf 216s Re-Instated libharfbuzz0b:armhf 216s Re-Instated fontconfig:armhf 216s Re-Instated libthai-data:armhf 216s Re-Instated libdatrie1:armhf 216s Re-Instated libthai0:armhf 216s Re-Instated libpango-1.0-0:armhf 216s Re-Instated libpangoft2-1.0-0:armhf 216s Re-Instated libpangocairo-1.0-0:armhf 216s Re-Instated libwayland-client0:armhf 216s Re-Instated libwayland-cursor0:armhf 216s Re-Instated libwayland-egl1:armhf 216s Re-Instated libxcomposite1:armhf 216s Re-Instated libxfixes3:armhf 216s Re-Instated libxcursor1:armhf 216s Re-Instated libxdamage1:armhf 216s Re-Instated libxinerama1:armhf 216s Re-Instated libxrandr2:armhf 216s Re-Instated libdconf1:armhf 216s Re-Instated dconf-service:armhf 216s Re-Instated dconf-gsettings-backend:armhf 216s Re-Instated libgtk-3-common:armhf 216s Re-Instated libgtk-3-0t64:armhf 216s Re-Instated liblablgtk3-ocaml:armhf 216s Re-Instated libgtksourceview-3.0-common:armhf 216s Re-Instated libgtksourceview-3.0-1:armhf 216s Re-Instated liblablgtksourceview3-ocaml:armhf 216s Re-Instated libzarith-ocaml:armhf 216s Re-Instated libzip-ocaml:armhf 216s Re-Instated tex-common:armhf 216s Re-Instated why3:armhf 216s Broken satisfy:command-line:armhf Depends on cvc4:armhf < none | 1.8-3build2 @un uH > (< 1.9) 216s Considering cvc4:armhf 0 as a solution to satisfy:command-line:armhf 9998 216s Re-Instated libcln6:armhf 216s Re-Instated libcvc4-7:armhf 216s Re-Instated libantlr3c-3.4-0:armhf 216s Re-Instated libcvc4parser7:armhf 216s Re-Instated cvc4:armhf 216s Broken satisfy:command-line:armhf Depends on ocaml-native-compilers:armhf < none @un H > 216s Done 216s Some packages could not be installed. This may mean that you have 216s requested an impossible situation or if you are using the unstable 216s distribution that some required packages have not yet been created 216s or been moved out of Incoming. 216s The following information may help to resolve the situation: 216s 216s The following packages have unmet dependencies: 217s satisfy:command-line : Depends: ocaml-native-compilers but it is not installable 217s E: Unable to correct problems, you have held broken packages. 217s autopkgtest [18:24:40]: test why3+cvc5: preparing testbed 217s why3+cvc4 SKIP installation fails and skip-not-installable set 250s autopkgtest [18:25:13]: testbed dpkg architecture: armhf 252s autopkgtest [18:25:15]: testbed apt version: 2.9.33 256s autopkgtest [18:25:19]: @@@@@@@@@@@@@@@@@@@@ test bed setup 258s autopkgtest [18:25:21]: testbed release detected to be: plucky 267s autopkgtest [18:25:30]: updating testbed package index (apt update) 269s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 270s Get:2 http://ftpmaster.internal/ubuntu plucky InRelease [257 kB] 271s Get:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease [126 kB] 271s Get:4 http://ftpmaster.internal/ubuntu plucky-security InRelease [126 kB] 271s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 271s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 271s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 271s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [114 kB] 271s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf c-n-f Metadata [1832 B] 271s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted armhf c-n-f Metadata [116 B] 271s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [312 kB] 271s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf c-n-f Metadata [11.1 kB] 271s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf Packages [3472 B] 271s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf c-n-f Metadata [240 B] 271s Get:15 http://ftpmaster.internal/ubuntu plucky/multiverse Sources [299 kB] 271s Get:16 http://ftpmaster.internal/ubuntu plucky/main Sources [1394 kB] 271s Get:17 http://ftpmaster.internal/ubuntu plucky/universe Sources [21.0 MB] 274s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf Packages [1378 kB] 274s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf c-n-f Metadata [29.4 kB] 274s Get:20 http://ftpmaster.internal/ubuntu plucky/restricted armhf c-n-f Metadata [108 B] 274s Get:21 http://ftpmaster.internal/ubuntu plucky/universe armhf Packages [15.1 MB] 277s Get:22 http://ftpmaster.internal/ubuntu plucky/multiverse armhf Packages [172 kB] 279s Fetched 41.0 MB in 9s (4434 kB/s) 280s Reading package lists... 286s autopkgtest [18:25:49]: upgrading testbed (apt dist-upgrade and autopurge) 288s Reading package lists... 288s Building dependency tree... 288s Reading state information... 289s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 290s Starting 2 pkgProblemResolver with broken count: 0 290s Done 291s Entering ResolveByKeep 292s 292s Calculating upgrade... 293s The following packages will be upgraded: 293s libc-bin libc6 locales pinentry-curses python3-jinja2 sos strace 293s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 293s Need to get 8683 kB of archives. 293s After this operation, 23.6 kB of additional disk space will be used. 293s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6 armhf 2.41-1ubuntu2 [2932 kB] 294s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-bin armhf 2.41-1ubuntu2 [545 kB] 295s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf locales all 2.41-1ubuntu2 [4246 kB] 296s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf strace armhf 6.13+ds-1ubuntu1 [445 kB] 297s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf pinentry-curses armhf 1.3.1-2ubuntu3 [40.6 kB] 297s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 297s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf sos all 4.9.0-5 [365 kB] 297s Preconfiguring packages ... 298s Fetched 8683 kB in 4s (2264 kB/s) 298s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 64655 files and directories currently installed.) 298s Preparing to unpack .../libc6_2.41-1ubuntu2_armhf.deb ... 298s Unpacking libc6:armhf (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 298s Setting up libc6:armhf (2.41-1ubuntu2) ... 298s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 64655 files and directories currently installed.) 298s Preparing to unpack .../libc-bin_2.41-1ubuntu2_armhf.deb ... 298s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 298s Setting up libc-bin (2.41-1ubuntu2) ... 299s (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 ... 64655 files and directories currently installed.) 299s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 299s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 299s Preparing to unpack .../strace_6.13+ds-1ubuntu1_armhf.deb ... 299s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 299s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_armhf.deb ... 299s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 299s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 299s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 299s Preparing to unpack .../archives/sos_4.9.0-5_all.deb ... 300s Unpacking sos (4.9.0-5) over (4.9.0-4) ... 300s Setting up sos (4.9.0-5) ... 301s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 301s Setting up locales (2.41-1ubuntu2) ... 302s Generating locales (this might take a while)... 305s en_US.UTF-8... done 305s Generation complete. 305s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 305s Setting up strace (6.13+ds-1ubuntu1) ... 305s Processing triggers for man-db (2.13.0-1) ... 306s Processing triggers for systemd (257.3-1ubuntu3) ... 309s Reading package lists... 309s Building dependency tree... 309s Reading state information... 310s Starting pkgProblemResolver with broken count: 0 310s Starting 2 pkgProblemResolver with broken count: 0 310s Done 311s Solving dependencies... 312s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 314s autopkgtest [18:26:17]: rebooting testbed after setup commands that affected boot 381s Reading package lists... 381s Building dependency tree... 381s Reading state information... 382s Starting pkgProblemResolver with broken count: 1 382s Starting 2 pkgProblemResolver with broken count: 1 382s Investigating (0) satisfy:command-line:armhf < none -> 1 @un puN Ib > 382s Broken satisfy:command-line:armhf Depends on why3:armhf < none | 1.8.0-2 @un uH > 382s Considering why3:armhf 1 as a solution to satisfy:command-line:armhf 9998 382s Re-Instated libstdlib-ocaml:armhf 382s Re-Instated ocaml-base:armhf 382s Re-Instated libfreetype6:armhf 382s Re-Instated fonts-dejavu-mono:armhf 382s Re-Instated fonts-dejavu-core:armhf 382s Re-Instated fontconfig-config:armhf 382s Re-Instated libfontconfig1:armhf 382s Re-Instated libpixman-1-0:armhf 382s Re-Instated libxcb-render0:armhf 382s Re-Instated libxcb-shm0:armhf 382s Re-Instated libxrender1:armhf 382s Re-Instated libcairo2:armhf 382s Re-Instated libcairo2-ocaml:armhf 382s Re-Instated libgdk-pixbuf2.0-common:armhf 382s Re-Instated libjpeg-turbo8:armhf 382s Re-Instated libjpeg8:armhf 382s Re-Instated libdeflate0:armhf 382s Re-Instated libjbig0:armhf 382s Re-Instated liblerc4:armhf 382s Re-Instated libsharpyuv0:armhf 382s Re-Instated libwebp7:armhf 382s Re-Instated libtiff6:armhf 382s Re-Instated libgdk-pixbuf-2.0-0:armhf 382s Re-Instated gtk-update-icon-cache:armhf 382s Re-Instated hicolor-icon-theme:armhf 382s Re-Instated adwaita-icon-theme:armhf 382s Re-Instated at-spi2-common:armhf 382s Re-Instated libatk1.0-0t64:armhf 382s Re-Instated libxi6:armhf 382s Re-Instated libatspi2.0-0t64:armhf 382s Re-Instated libatk-bridge2.0-0t64:armhf 382s Re-Instated libcairo-gobject2:armhf 382s Re-Instated liblcms2-2:armhf 382s Re-Instated libcolord2:armhf 382s Re-Instated libavahi-common-data:armhf 382s Re-Instated libavahi-common3:armhf 382s Re-Instated libavahi-client3:armhf 382s Re-Instated libcups2t64:armhf 382s Re-Instated libepoxy0:armhf 382s Re-Instated libgraphite2-3:armhf 382s Re-Instated libharfbuzz0b:armhf 382s Re-Instated fontconfig:armhf 382s Re-Instated libthai-data:armhf 382s Re-Instated libdatrie1:armhf 382s Re-Instated libthai0:armhf 382s Re-Instated libpango-1.0-0:armhf 382s Re-Instated libpangoft2-1.0-0:armhf 382s Re-Instated libpangocairo-1.0-0:armhf 382s Re-Instated libwayland-client0:armhf 382s Re-Instated libwayland-cursor0:armhf 382s Re-Instated libwayland-egl1:armhf 382s Re-Instated libxcomposite1:armhf 382s Re-Instated libxfixes3:armhf 382s Re-Instated libxcursor1:armhf 382s Re-Instated libxdamage1:armhf 382s Re-Instated libxinerama1:armhf 382s Re-Instated libxrandr2:armhf 382s Re-Instated libdconf1:armhf 382s Re-Instated dconf-service:armhf 382s Re-Instated dconf-gsettings-backend:armhf 382s Re-Instated libgtk-3-common:armhf 382s Re-Instated libgtk-3-0t64:armhf 382s Re-Instated liblablgtk3-ocaml:armhf 382s Re-Instated libgtksourceview-3.0-common:armhf 382s Re-Instated libgtksourceview-3.0-1:armhf 382s Re-Instated liblablgtksourceview3-ocaml:armhf 382s Re-Instated libzarith-ocaml:armhf 382s Re-Instated libzip-ocaml:armhf 382s Re-Instated tex-common:armhf 382s Re-Instated why3:armhf 382s Broken satisfy:command-line:armhf Depends on cvc5:armhf < none | 1.1.2-2build1 @un uH > (< 1.3) 382s Considering cvc5:armhf 0 as a solution to satisfy:command-line:armhf 9998 382s Re-Instated libcln6:armhf 382s Re-Instated libcryptominisat5-5.11t64:armhf 382s Re-Instated libcvc5-1:armhf 382s Re-Instated libcvc5parser1:armhf 382s Re-Instated cvc5:armhf 382s Broken satisfy:command-line:armhf Depends on ocaml-native-compilers:armhf < none @un H > 382s Done 382s Some packages could not be installed. This may mean that you have 382s requested an impossible situation or if you are using the unstable 382s distribution that some required packages have not yet been created 382s or been moved out of Incoming. 382s The following information may help to resolve the situation: 382s 382s The following packages have unmet dependencies: 383s satisfy:command-line : Depends: ocaml-native-compilers but it is not installable 383s E: Unable to correct problems, you have held broken packages. 383s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 387s Reading package lists... 387s Building dependency tree... 387s Reading state information... 388s Starting pkgProblemResolver with broken count: 1 388s Starting 2 pkgProblemResolver with broken count: 1 388s Investigating (0) satisfy:command-line:armhf < none -> 1 @un puN Ib > 388s Broken satisfy:command-line:armhf Depends on why3:armhf < none | 1.8.0-2 @un uH > 388s Considering why3:armhf 1 as a solution to satisfy:command-line:armhf 9998 388s Re-Instated libstdlib-ocaml:armhf 388s Re-Instated ocaml-base:armhf 388s Re-Instated libfreetype6:armhf 388s Re-Instated fonts-dejavu-mono:armhf 388s Re-Instated fonts-dejavu-core:armhf 388s Re-Instated fontconfig-config:armhf 388s Re-Instated libfontconfig1:armhf 388s Re-Instated libpixman-1-0:armhf 388s Re-Instated libxcb-render0:armhf 388s Re-Instated libxcb-shm0:armhf 388s Re-Instated libxrender1:armhf 388s Re-Instated libcairo2:armhf 388s Re-Instated libcairo2-ocaml:armhf 388s Re-Instated libgdk-pixbuf2.0-common:armhf 388s Re-Instated libjpeg-turbo8:armhf 388s Re-Instated libjpeg8:armhf 388s Re-Instated libdeflate0:armhf 388s Re-Instated libjbig0:armhf 388s Re-Instated liblerc4:armhf 388s Re-Instated libsharpyuv0:armhf 388s Re-Instated libwebp7:armhf 388s Re-Instated libtiff6:armhf 388s Re-Instated libgdk-pixbuf-2.0-0:armhf 388s Re-Instated gtk-update-icon-cache:armhf 388s Re-Instated hicolor-icon-theme:armhf 388s Re-Instated adwaita-icon-theme:armhf 388s Re-Instated at-spi2-common:armhf 388s Re-Instated libatk1.0-0t64:armhf 388s Re-Instated libxi6:armhf 388s Re-Instated libatspi2.0-0t64:armhf 388s Re-Instated libatk-bridge2.0-0t64:armhf 388s Re-Instated libcairo-gobject2:armhf 388s Re-Instated liblcms2-2:armhf 388s Re-Instated libcolord2:armhf 388s Re-Instated libavahi-common-data:armhf 388s Re-Instated libavahi-common3:armhf 388s Re-Instated libavahi-client3:armhf 388s Re-Instated libcups2t64:armhf 388s Re-Instated libepoxy0:armhf 388s Re-Instated libgraphite2-3:armhf 388s Re-Instated libharfbuzz0b:armhf 388s Re-Instated fontconfig:armhf 388s Re-Instated libthai-data:armhf 388s Re-Instated libdatrie1:armhf 388s Re-Instated libthai0:armhf 388s Re-Instated libpango-1.0-0:armhf 388s Re-Instated libpangoft2-1.0-0:armhf 388s Re-Instated libpangocairo-1.0-0:armhf 388s Re-Instated libwayland-client0:armhf 388s Re-Instated libwayland-cursor0:armhf 388s Re-Instated libwayland-egl1:armhf 388s Re-Instated libxcomposite1:armhf 388s Re-Instated libxfixes3:armhf 388s Re-Instated libxcursor1:armhf 388s Re-Instated libxdamage1:armhf 388s Re-Instated libxinerama1:armhf 388s Re-Instated libxrandr2:armhf 388s Re-Instated libdconf1:armhf 388s Re-Instated dconf-service:armhf 388s Re-Instated dconf-gsettings-backend:armhf 388s Re-Instated libgtk-3-common:armhf 388s Re-Instated libgtk-3-0t64:armhf 388s Re-Instated liblablgtk3-ocaml:armhf 388s Re-Instated libgtksourceview-3.0-common:armhf 388s Re-Instated libgtksourceview-3.0-1:armhf 388s Re-Instated liblablgtksourceview3-ocaml:armhf 388s Re-Instated libzarith-ocaml:armhf 388s Re-Instated libzip-ocaml:armhf 388s Re-Instated tex-common:armhf 388s Re-Instated why3:armhf 388s Broken satisfy:command-line:armhf Depends on cvc5:armhf < none | 1.1.2-2build1 @un uH > (< 1.3) 388s Considering cvc5:armhf 0 as a solution to satisfy:command-line:armhf 9998 388s Re-Instated libcln6:armhf 388s Re-Instated libcryptominisat5-5.11t64:armhf 388s Re-Instated libcvc5-1:armhf 388s Re-Instated libcvc5parser1:armhf 388s Re-Instated cvc5:armhf 388s Broken satisfy:command-line:armhf Depends on ocaml-native-compilers:armhf < none @un H > 388s Done 388s Some packages could not be installed. This may mean that you have 388s requested an impossible situation or if you are using the unstable 388s distribution that some required packages have not yet been created 388s or been moved out of Incoming. 388s The following information may help to resolve the situation: 388s 388s The following packages have unmet dependencies: 389s satisfy:command-line : Depends: ocaml-native-compilers but it is not installable 389s E: Unable to correct problems, you have held broken packages. 389s why3+cvc5 SKIP installation fails and skip-not-installable set 389s autopkgtest [18:27:32]: test why3+spass: preparing testbed 413s autopkgtest [18:27:56]: testbed dpkg architecture: armhf 415s autopkgtest [18:27:58]: testbed apt version: 2.9.33 418s autopkgtest [18:28:01]: @@@@@@@@@@@@@@@@@@@@ test bed setup 420s autopkgtest [18:28:03]: testbed release detected to be: plucky 428s autopkgtest [18:28:11]: updating testbed package index (apt update) 430s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 430s Get:2 http://ftpmaster.internal/ubuntu plucky InRelease [257 kB] 431s Get:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease [126 kB] 431s Get:4 http://ftpmaster.internal/ubuntu plucky-security InRelease [126 kB] 431s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 431s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 431s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 431s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [114 kB] 432s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf c-n-f Metadata [1832 B] 432s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted armhf c-n-f Metadata [116 B] 432s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [312 kB] 432s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf c-n-f Metadata [11.1 kB] 432s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf Packages [3472 B] 432s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf c-n-f Metadata [240 B] 432s Get:15 http://ftpmaster.internal/ubuntu plucky/main Sources [1394 kB] 432s Get:16 http://ftpmaster.internal/ubuntu plucky/universe Sources [21.0 MB] 443s Get:17 http://ftpmaster.internal/ubuntu plucky/multiverse Sources [299 kB] 443s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf Packages [1378 kB] 444s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf c-n-f Metadata [29.4 kB] 444s Get:20 http://ftpmaster.internal/ubuntu plucky/restricted armhf c-n-f Metadata [108 B] 444s Get:21 http://ftpmaster.internal/ubuntu plucky/universe armhf Packages [15.1 MB] 450s Get:22 http://ftpmaster.internal/ubuntu plucky/multiverse armhf Packages [172 kB] 452s Fetched 41.0 MB in 22s (1861 kB/s) 454s Reading package lists... 460s autopkgtest [18:28:43]: upgrading testbed (apt dist-upgrade and autopurge) 462s Reading package lists... 462s Building dependency tree... 462s Reading state information... 463s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 463s Starting 2 pkgProblemResolver with broken count: 0 463s Done 464s Entering ResolveByKeep 465s 465s Calculating upgrade... 466s The following packages will be upgraded: 466s libc-bin libc6 locales pinentry-curses python3-jinja2 sos strace 466s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 466s Need to get 8683 kB of archives. 466s After this operation, 23.6 kB of additional disk space will be used. 466s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6 armhf 2.41-1ubuntu2 [2932 kB] 467s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-bin armhf 2.41-1ubuntu2 [545 kB] 467s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf locales all 2.41-1ubuntu2 [4246 kB] 468s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf strace armhf 6.13+ds-1ubuntu1 [445 kB] 468s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf pinentry-curses armhf 1.3.1-2ubuntu3 [40.6 kB] 468s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 468s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf sos all 4.9.0-5 [365 kB] 469s Preconfiguring packages ... 469s Fetched 8683 kB in 3s (3330 kB/s) 469s (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 ... 64655 files and directories currently installed.) 469s Preparing to unpack .../libc6_2.41-1ubuntu2_armhf.deb ... 470s Unpacking libc6:armhf (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 470s Setting up libc6:armhf (2.41-1ubuntu2) ... 470s (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 ... 64655 files and directories currently installed.) 470s Preparing to unpack .../libc-bin_2.41-1ubuntu2_armhf.deb ... 470s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 470s Setting up libc-bin (2.41-1ubuntu2) ... 471s (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 ... 64655 files and directories currently installed.) 471s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 471s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 471s Preparing to unpack .../strace_6.13+ds-1ubuntu1_armhf.deb ... 471s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 471s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_armhf.deb ... 471s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 471s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 471s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 471s Preparing to unpack .../archives/sos_4.9.0-5_all.deb ... 472s Unpacking sos (4.9.0-5) over (4.9.0-4) ... 472s Setting up sos (4.9.0-5) ... 473s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 473s Setting up locales (2.41-1ubuntu2) ... 474s Generating locales (this might take a while)... 478s en_US.UTF-8... done 478s Generation complete. 478s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 479s Setting up strace (6.13+ds-1ubuntu1) ... 479s Processing triggers for man-db (2.13.0-1) ... 480s Processing triggers for systemd (257.3-1ubuntu3) ... 483s Reading package lists... 483s Building dependency tree... 483s Reading state information... 484s Starting pkgProblemResolver with broken count: 0 485s Starting 2 pkgProblemResolver with broken count: 0 485s Done 485s Solving dependencies... 487s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 489s autopkgtest [18:29:12]: rebooting testbed after setup commands that affected boot 566s Reading package lists... 566s Building dependency tree... 566s Reading state information... 567s Starting pkgProblemResolver with broken count: 1 567s Starting 2 pkgProblemResolver with broken count: 1 567s Investigating (0) satisfy:command-line:armhf < none -> 1 @un puN Ib > 567s Broken satisfy:command-line:armhf Depends on why3:armhf < none | 1.8.0-2 @un uH > 567s Considering why3:armhf 1 as a solution to satisfy:command-line:armhf 9998 567s Re-Instated libstdlib-ocaml:armhf 567s Re-Instated ocaml-base:armhf 567s Re-Instated libfreetype6:armhf 567s Re-Instated fonts-dejavu-mono:armhf 567s Re-Instated fonts-dejavu-core:armhf 567s Re-Instated fontconfig-config:armhf 567s Re-Instated libfontconfig1:armhf 567s Re-Instated libpixman-1-0:armhf 567s Re-Instated libxcb-render0:armhf 567s Re-Instated libxcb-shm0:armhf 567s Re-Instated libxrender1:armhf 567s Re-Instated libcairo2:armhf 567s Re-Instated libcairo2-ocaml:armhf 567s Re-Instated libgdk-pixbuf2.0-common:armhf 567s Re-Instated libjpeg-turbo8:armhf 567s Re-Instated libjpeg8:armhf 567s Re-Instated libdeflate0:armhf 567s Re-Instated libjbig0:armhf 567s Re-Instated liblerc4:armhf 567s Re-Instated libsharpyuv0:armhf 567s Re-Instated libwebp7:armhf 567s Re-Instated libtiff6:armhf 567s Re-Instated libgdk-pixbuf-2.0-0:armhf 567s Re-Instated gtk-update-icon-cache:armhf 567s Re-Instated hicolor-icon-theme:armhf 567s Re-Instated adwaita-icon-theme:armhf 567s Re-Instated at-spi2-common:armhf 567s Re-Instated libatk1.0-0t64:armhf 567s Re-Instated libxi6:armhf 567s Re-Instated libatspi2.0-0t64:armhf 567s Re-Instated libatk-bridge2.0-0t64:armhf 567s Re-Instated libcairo-gobject2:armhf 567s Re-Instated liblcms2-2:armhf 567s Re-Instated libcolord2:armhf 567s Re-Instated libavahi-common-data:armhf 567s Re-Instated libavahi-common3:armhf 567s Re-Instated libavahi-client3:armhf 567s Re-Instated libcups2t64:armhf 567s Re-Instated libepoxy0:armhf 567s Re-Instated libgraphite2-3:armhf 567s Re-Instated libharfbuzz0b:armhf 567s Re-Instated fontconfig:armhf 567s Re-Instated libthai-data:armhf 567s Re-Instated libdatrie1:armhf 567s Re-Instated libthai0:armhf 567s Re-Instated libpango-1.0-0:armhf 567s Re-Instated libpangoft2-1.0-0:armhf 567s Re-Instated libpangocairo-1.0-0:armhf 567s Re-Instated libwayland-client0:armhf 567s Re-Instated libwayland-cursor0:armhf 567s Re-Instated libwayland-egl1:armhf 567s Re-Instated libxcomposite1:armhf 567s Re-Instated libxfixes3:armhf 567s Re-Instated libxcursor1:armhf 567s Re-Instated libxdamage1:armhf 567s Re-Instated libxinerama1:armhf 567s Re-Instated libxrandr2:armhf 567s Re-Instated libdconf1:armhf 567s Re-Instated dconf-service:armhf 567s Re-Instated dconf-gsettings-backend:armhf 567s Re-Instated libgtk-3-common:armhf 567s Re-Instated libgtk-3-0t64:armhf 567s Re-Instated liblablgtk3-ocaml:armhf 567s Re-Instated libgtksourceview-3.0-common:armhf 567s Re-Instated libgtksourceview-3.0-1:armhf 567s Re-Instated liblablgtksourceview3-ocaml:armhf 567s Re-Instated libzarith-ocaml:armhf 567s Re-Instated libzip-ocaml:armhf 567s Re-Instated tex-common:armhf 567s Re-Instated why3:armhf 567s Broken satisfy:command-line:armhf Depends on spass:armhf < none | 3.9-1.1 @un uH > 567s Considering spass:armhf 1 as a solution to satisfy:command-line:armhf 9998 567s Re-Instated spass:armhf 567s Broken satisfy:command-line:armhf Depends on ocaml-native-compilers:armhf < none @un H > 567s Done 567s Some packages could not be installed. This may mean that you have 567s requested an impossible situation or if you are using the unstable 567s distribution that some required packages have not yet been created 567s or been moved out of Incoming. 567s The following information may help to resolve the situation: 567s 567s The following packages have unmet dependencies: 568s satisfy:command-line : Depends: ocaml-native-compilers but it is not installable 568s E: Unable to correct problems, you have held broken packages. 568s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 572s Reading package lists... 572s Building dependency tree... 572s Reading state information... 573s Starting pkgProblemResolver with broken count: 1 574s Starting 2 pkgProblemResolver with broken count: 1 574s Investigating (0) satisfy:command-line:armhf < none -> 1 @un puN Ib > 574s Broken satisfy:command-line:armhf Depends on why3:armhf < none | 1.8.0-2 @un uH > 574s Considering why3:armhf 1 as a solution to satisfy:command-line:armhf 9998 574s Re-Instated libstdlib-ocaml:armhf 574s Re-Instated ocaml-base:armhf 574s Re-Instated libfreetype6:armhf 574s Re-Instated fonts-dejavu-mono:armhf 574s Re-Instated fonts-dejavu-core:armhf 574s Re-Instated fontconfig-config:armhf 574s Re-Instated libfontconfig1:armhf 574s Re-Instated libpixman-1-0:armhf 574s Re-Instated libxcb-render0:armhf 574s Re-Instated libxcb-shm0:armhf 574s Re-Instated libxrender1:armhf 574s Re-Instated libcairo2:armhf 574s Re-Instated libcairo2-ocaml:armhf 574s Re-Instated libgdk-pixbuf2.0-common:armhf 574s Re-Instated libjpeg-turbo8:armhf 574s Re-Instated libjpeg8:armhf 574s Re-Instated libdeflate0:armhf 574s Re-Instated libjbig0:armhf 574s Re-Instated liblerc4:armhf 574s Re-Instated libsharpyuv0:armhf 574s Re-Instated libwebp7:armhf 574s Re-Instated libtiff6:armhf 574s Re-Instated libgdk-pixbuf-2.0-0:armhf 574s Re-Instated gtk-update-icon-cache:armhf 574s Re-Instated hicolor-icon-theme:armhf 574s Re-Instated adwaita-icon-theme:armhf 574s Re-Instated at-spi2-common:armhf 574s Re-Instated libatk1.0-0t64:armhf 574s Re-Instated libxi6:armhf 574s Re-Instated libatspi2.0-0t64:armhf 574s Re-Instated libatk-bridge2.0-0t64:armhf 574s Re-Instated libcairo-gobject2:armhf 574s Re-Instated liblcms2-2:armhf 574s Re-Instated libcolord2:armhf 574s Re-Instated libavahi-common-data:armhf 574s Re-Instated libavahi-common3:armhf 574s Re-Instated libavahi-client3:armhf 574s Re-Instated libcups2t64:armhf 574s Re-Instated libepoxy0:armhf 574s Re-Instated libgraphite2-3:armhf 574s Re-Instated libharfbuzz0b:armhf 574s Re-Instated fontconfig:armhf 574s Re-Instated libthai-data:armhf 574s Re-Instated libdatrie1:armhf 574s Re-Instated libthai0:armhf 574s Re-Instated libpango-1.0-0:armhf 574s Re-Instated libpangoft2-1.0-0:armhf 574s Re-Instated libpangocairo-1.0-0:armhf 574s Re-Instated libwayland-client0:armhf 574s Re-Instated libwayland-cursor0:armhf 574s Re-Instated libwayland-egl1:armhf 574s Re-Instated libxcomposite1:armhf 574s Re-Instated libxfixes3:armhf 574s Re-Instated libxcursor1:armhf 574s Re-Instated libxdamage1:armhf 574s Re-Instated libxinerama1:armhf 574s Re-Instated libxrandr2:armhf 574s Re-Instated libdconf1:armhf 574s Re-Instated dconf-service:armhf 574s Re-Instated dconf-gsettings-backend:armhf 574s Re-Instated libgtk-3-common:armhf 574s Re-Instated libgtk-3-0t64:armhf 574s Re-Instated liblablgtk3-ocaml:armhf 574s Re-Instated libgtksourceview-3.0-common:armhf 574s Re-Instated libgtksourceview-3.0-1:armhf 574s Re-Instated liblablgtksourceview3-ocaml:armhf 574s Re-Instated libzarith-ocaml:armhf 574s Re-Instated libzip-ocaml:armhf 574s Re-Instated tex-common:armhf 574s Re-Instated why3:armhf 574s Broken satisfy:command-line:armhf Depends on spass:armhf < none | 3.9-1.1 @un uH > 574s Considering spass:armhf 1 as a solution to satisfy:command-line:armhf 9998 574s Re-Instated spass:armhf 574s Broken satisfy:command-line:armhf Depends on ocaml-native-compilers:armhf < none @un H > 574s Done 574s Some packages could not be installed. This may mean that you have 574s requested an impossible situation or if you are using the unstable 574s distribution that some required packages have not yet been created 574s or been moved out of Incoming. 574s The following information may help to resolve the situation: 574s 574s The following packages have unmet dependencies: 575s satisfy:command-line : Depends: ocaml-native-compilers but it is not installable 575s E: Unable to correct problems, you have held broken packages. 575s why3+spass SKIP installation fails and skip-not-installable set 575s autopkgtest [18:30:38]: test why3+z3: preparing testbed 598s autopkgtest [18:31:01]: testbed dpkg architecture: armhf 600s autopkgtest [18:31:03]: testbed apt version: 2.9.33 604s autopkgtest [18:31:07]: @@@@@@@@@@@@@@@@@@@@ test bed setup 606s autopkgtest [18:31:09]: testbed release detected to be: plucky 613s autopkgtest [18:31:16]: updating testbed package index (apt update) 615s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 616s Get:2 http://ftpmaster.internal/ubuntu plucky InRelease [257 kB] 616s Get:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease [126 kB] 616s Get:4 http://ftpmaster.internal/ubuntu plucky-security InRelease [126 kB] 616s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 616s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 616s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 617s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [114 kB] 617s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf c-n-f Metadata [1832 B] 617s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted armhf c-n-f Metadata [116 B] 617s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [312 kB] 617s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf c-n-f Metadata [11.1 kB] 617s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf Packages [3472 B] 617s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf c-n-f Metadata [240 B] 617s Get:15 http://ftpmaster.internal/ubuntu plucky/multiverse Sources [299 kB] 618s Get:16 http://ftpmaster.internal/ubuntu plucky/main Sources [1394 kB] 619s Get:17 http://ftpmaster.internal/ubuntu plucky/universe Sources [21.0 MB] 640s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf Packages [1378 kB] 642s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf c-n-f Metadata [29.4 kB] 642s Get:20 http://ftpmaster.internal/ubuntu plucky/restricted armhf c-n-f Metadata [108 B] 642s Get:21 http://ftpmaster.internal/ubuntu plucky/universe armhf Packages [15.1 MB] 659s Get:22 http://ftpmaster.internal/ubuntu plucky/multiverse armhf Packages [172 kB] 661s Fetched 41.0 MB in 46s (895 kB/s) 663s Reading package lists... 668s autopkgtest [18:32:11]: upgrading testbed (apt dist-upgrade and autopurge) 670s Reading package lists... 670s Building dependency tree... 670s Reading state information... 671s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 672s Starting 2 pkgProblemResolver with broken count: 0 672s Done 673s Entering ResolveByKeep 673s 673s Calculating upgrade... 674s The following packages will be upgraded: 674s libc-bin libc6 locales pinentry-curses python3-jinja2 sos strace 674s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 674s Need to get 8683 kB of archives. 674s After this operation, 23.6 kB of additional disk space will be used. 674s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6 armhf 2.41-1ubuntu2 [2932 kB] 678s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-bin armhf 2.41-1ubuntu2 [545 kB] 679s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf locales all 2.41-1ubuntu2 [4246 kB] 684s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf strace armhf 6.13+ds-1ubuntu1 [445 kB] 684s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf pinentry-curses armhf 1.3.1-2ubuntu3 [40.6 kB] 684s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 684s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf sos all 4.9.0-5 [365 kB] 685s Preconfiguring packages ... 686s Fetched 8683 kB in 11s (817 kB/s) 686s (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 ... 64655 files and directories currently installed.) 686s Preparing to unpack .../libc6_2.41-1ubuntu2_armhf.deb ... 686s Unpacking libc6:armhf (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 686s Setting up libc6:armhf (2.41-1ubuntu2) ... 686s (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 ... 64655 files and directories currently installed.) 686s Preparing to unpack .../libc-bin_2.41-1ubuntu2_armhf.deb ... 686s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 686s Setting up libc-bin (2.41-1ubuntu2) ... 687s (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 ... 64655 files and directories currently installed.) 687s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 687s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 687s Preparing to unpack .../strace_6.13+ds-1ubuntu1_armhf.deb ... 687s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 687s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_armhf.deb ... 687s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 687s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 687s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 687s Preparing to unpack .../archives/sos_4.9.0-5_all.deb ... 688s Unpacking sos (4.9.0-5) over (4.9.0-4) ... 688s Setting up sos (4.9.0-5) ... 689s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 689s Setting up locales (2.41-1ubuntu2) ... 690s Generating locales (this might take a while)... 694s en_US.UTF-8... done 694s Generation complete. 694s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 694s Setting up strace (6.13+ds-1ubuntu1) ... 694s Processing triggers for man-db (2.13.0-1) ... 695s Processing triggers for systemd (257.3-1ubuntu3) ... 698s Reading package lists... 699s Building dependency tree... 699s Reading state information... 699s Starting pkgProblemResolver with broken count: 0 700s Starting 2 pkgProblemResolver with broken count: 0 700s Done 700s Solving dependencies... 701s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 703s autopkgtest [18:32:46]: rebooting testbed after setup commands that affected boot 773s Reading package lists... 774s Building dependency tree... 774s Reading state information... 775s Starting pkgProblemResolver with broken count: 1 775s Starting 2 pkgProblemResolver with broken count: 1 775s Investigating (0) satisfy:command-line:armhf < none -> 1 @un puN Ib > 775s Broken satisfy:command-line:armhf Depends on why3:armhf < none | 1.8.0-2 @un uH > 775s Considering why3:armhf 1 as a solution to satisfy:command-line:armhf 9998 775s Re-Instated libstdlib-ocaml:armhf 775s Re-Instated ocaml-base:armhf 775s Re-Instated libfreetype6:armhf 775s Re-Instated fonts-dejavu-mono:armhf 775s Re-Instated fonts-dejavu-core:armhf 775s Re-Instated fontconfig-config:armhf 775s Re-Instated libfontconfig1:armhf 775s Re-Instated libpixman-1-0:armhf 775s Re-Instated libxcb-render0:armhf 775s Re-Instated libxcb-shm0:armhf 775s Re-Instated libxrender1:armhf 775s Re-Instated libcairo2:armhf 775s Re-Instated libcairo2-ocaml:armhf 775s Re-Instated libgdk-pixbuf2.0-common:armhf 775s Re-Instated libjpeg-turbo8:armhf 775s Re-Instated libjpeg8:armhf 775s Re-Instated libdeflate0:armhf 775s Re-Instated libjbig0:armhf 775s Re-Instated liblerc4:armhf 775s Re-Instated libsharpyuv0:armhf 775s Re-Instated libwebp7:armhf 775s Re-Instated libtiff6:armhf 775s Re-Instated libgdk-pixbuf-2.0-0:armhf 775s Re-Instated gtk-update-icon-cache:armhf 775s Re-Instated hicolor-icon-theme:armhf 775s Re-Instated adwaita-icon-theme:armhf 775s Re-Instated at-spi2-common:armhf 775s Re-Instated libatk1.0-0t64:armhf 775s Re-Instated libxi6:armhf 775s Re-Instated libatspi2.0-0t64:armhf 775s Re-Instated libatk-bridge2.0-0t64:armhf 775s Re-Instated libcairo-gobject2:armhf 775s Re-Instated liblcms2-2:armhf 775s Re-Instated libcolord2:armhf 775s Re-Instated libavahi-common-data:armhf 775s Re-Instated libavahi-common3:armhf 775s Re-Instated libavahi-client3:armhf 775s Re-Instated libcups2t64:armhf 775s Re-Instated libepoxy0:armhf 775s Re-Instated libgraphite2-3:armhf 775s Re-Instated libharfbuzz0b:armhf 775s Re-Instated fontconfig:armhf 775s Re-Instated libthai-data:armhf 775s Re-Instated libdatrie1:armhf 775s Re-Instated libthai0:armhf 775s Re-Instated libpango-1.0-0:armhf 775s Re-Instated libpangoft2-1.0-0:armhf 775s Re-Instated libpangocairo-1.0-0:armhf 775s Re-Instated libwayland-client0:armhf 775s Re-Instated libwayland-cursor0:armhf 775s Re-Instated libwayland-egl1:armhf 775s Re-Instated libxcomposite1:armhf 775s Re-Instated libxfixes3:armhf 775s Re-Instated libxcursor1:armhf 775s Re-Instated libxdamage1:armhf 775s Re-Instated libxinerama1:armhf 775s Re-Instated libxrandr2:armhf 775s Re-Instated libdconf1:armhf 775s Re-Instated dconf-service:armhf 775s Re-Instated dconf-gsettings-backend:armhf 775s Re-Instated libgtk-3-common:armhf 775s Re-Instated libgtk-3-0t64:armhf 775s Re-Instated liblablgtk3-ocaml:armhf 775s Re-Instated libgtksourceview-3.0-common:armhf 775s Re-Instated libgtksourceview-3.0-1:armhf 775s Re-Instated liblablgtksourceview3-ocaml:armhf 775s Re-Instated libzarith-ocaml:armhf 775s Re-Instated libzip-ocaml:armhf 775s Re-Instated tex-common:armhf 775s Re-Instated why3:armhf 775s Broken satisfy:command-line:armhf Depends on z3:armhf < none | 4.13.3-1 @un uH > (< 4.14) 775s Considering z3:armhf 0 as a solution to satisfy:command-line:armhf 9998 775s Re-Instated z3:armhf 775s Broken satisfy:command-line:armhf Depends on ocaml-native-compilers:armhf < none @un H > 775s Done 775s Some packages could not be installed. This may mean that you have 775s requested an impossible situation or if you are using the unstable 775s distribution that some required packages have not yet been created 775s or been moved out of Incoming. 775s The following information may help to resolve the situation: 775s 775s The following packages have unmet dependencies: 776s satisfy:command-line : Depends: ocaml-native-compilers but it is not installable 776s E: Unable to correct problems, you have held broken packages. 776s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from plucky-proposed 779s Reading package lists... 780s Building dependency tree... 780s Reading state information... 780s Starting pkgProblemResolver with broken count: 1 780s Starting 2 pkgProblemResolver with broken count: 1 780s Investigating (0) satisfy:command-line:armhf < none -> 1 @un puN Ib > 780s Broken satisfy:command-line:armhf Depends on why3:armhf < none | 1.8.0-2 @un uH > 780s Considering why3:armhf 1 as a solution to satisfy:command-line:armhf 9998 780s Re-Instated libstdlib-ocaml:armhf 780s Re-Instated ocaml-base:armhf 780s Re-Instated libfreetype6:armhf 780s Re-Instated fonts-dejavu-mono:armhf 780s Re-Instated fonts-dejavu-core:armhf 780s Re-Instated fontconfig-config:armhf 780s Re-Instated libfontconfig1:armhf 780s Re-Instated libpixman-1-0:armhf 780s Re-Instated libxcb-render0:armhf 780s Re-Instated libxcb-shm0:armhf 780s Re-Instated libxrender1:armhf 780s Re-Instated libcairo2:armhf 780s Re-Instated libcairo2-ocaml:armhf 780s Re-Instated libgdk-pixbuf2.0-common:armhf 780s Re-Instated libjpeg-turbo8:armhf 780s Re-Instated libjpeg8:armhf 780s Re-Instated libdeflate0:armhf 780s Re-Instated libjbig0:armhf 780s Re-Instated liblerc4:armhf 780s Re-Instated libsharpyuv0:armhf 780s Re-Instated libwebp7:armhf 780s Re-Instated libtiff6:armhf 780s Re-Instated libgdk-pixbuf-2.0-0:armhf 780s Re-Instated gtk-update-icon-cache:armhf 780s Re-Instated hicolor-icon-theme:armhf 780s Re-Instated adwaita-icon-theme:armhf 780s Re-Instated at-spi2-common:armhf 780s Re-Instated libatk1.0-0t64:armhf 780s Re-Instated libxi6:armhf 780s Re-Instated libatspi2.0-0t64:armhf 780s Re-Instated libatk-bridge2.0-0t64:armhf 780s Re-Instated libcairo-gobject2:armhf 780s Re-Instated liblcms2-2:armhf 780s Re-Instated libcolord2:armhf 780s Re-Instated libavahi-common-data:armhf 780s Re-Instated libavahi-common3:armhf 780s Re-Instated libavahi-client3:armhf 780s Re-Instated libcups2t64:armhf 780s Re-Instated libepoxy0:armhf 780s Re-Instated libgraphite2-3:armhf 780s Re-Instated libharfbuzz0b:armhf 780s Re-Instated fontconfig:armhf 780s Re-Instated libthai-data:armhf 780s Re-Instated libdatrie1:armhf 780s Re-Instated libthai0:armhf 780s Re-Instated libpango-1.0-0:armhf 780s Re-Instated libpangoft2-1.0-0:armhf 780s Re-Instated libpangocairo-1.0-0:armhf 780s Re-Instated libwayland-client0:armhf 780s Re-Instated libwayland-cursor0:armhf 780s Re-Instated libwayland-egl1:armhf 780s Re-Instated libxcomposite1:armhf 780s Re-Instated libxfixes3:armhf 780s Re-Instated libxcursor1:armhf 780s Re-Instated libxdamage1:armhf 780s Re-Instated libxinerama1:armhf 780s Re-Instated libxrandr2:armhf 780s Re-Instated libdconf1:armhf 780s Re-Instated dconf-service:armhf 780s Re-Instated dconf-gsettings-backend:armhf 780s Re-Instated libgtk-3-common:armhf 780s Re-Instated libgtk-3-0t64:armhf 780s Re-Instated liblablgtk3-ocaml:armhf 780s Re-Instated libgtksourceview-3.0-common:armhf 780s Re-Instated libgtksourceview-3.0-1:armhf 780s Re-Instated liblablgtksourceview3-ocaml:armhf 780s Re-Instated libzarith-ocaml:armhf 780s Re-Instated libzip-ocaml:armhf 780s Re-Instated tex-common:armhf 780s Re-Instated why3:armhf 780s Broken satisfy:command-line:armhf Depends on z3:armhf < none | 4.13.3-1 @un uH > (< 4.14) 780s Considering z3:armhf 0 as a solution to satisfy:command-line:armhf 9998 780s Re-Instated z3:armhf 780s Broken satisfy:command-line:armhf Depends on ocaml-native-compilers:armhf < none @un H > 780s Done 780s Some packages could not be installed. This may mean that you have 780s requested an impossible situation or if you are using the unstable 780s distribution that some required packages have not yet been created 780s or been moved out of Incoming. 780s The following information may help to resolve the situation: 780s 780s The following packages have unmet dependencies: 781s satisfy:command-line : Depends: ocaml-native-compilers but it is not installable 781s E: Unable to correct problems, you have held broken packages. 781s autopkgtest [18:34:04]: @@@@@@@@@@@@@@@@@@@@ summary 781s why3+cvc4 SKIP installation fails and skip-not-installable set 781s why3+cvc5 SKIP installation fails and skip-not-installable set 781s why3+spass SKIP installation fails and skip-not-installable set 781s why3+z3 SKIP installation fails and skip-not-installable set 781s why3+z3 SKIP installation fails and skip-not-installable set