0s autopkgtest [22:07:27]: starting date and time: 2026-02-09 22:07:27+0000 0s autopkgtest [22:07:27]: git checkout: 508d4a25 a-v-ssh wait_for_ssh: demote "ssh connection failed" to a debug message 0s autopkgtest [22:07:27]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.47c7fw8d/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,localhost,localdomain,internal,login.ubuntu.com,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com\n" >> /etc/environment' --apt-pocket=proposed=src:gdk-pixbuf --apt-upgrade why3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=gdk-pixbuf/2.44.5+dfsg-3 -- lxd -r lxd-armhf-10.145.243.171 lxd-armhf-10.145.243.171:autopkgtest/ubuntu/resolute/armhf 26s autopkgtest [22:07:53]: testbed dpkg architecture: armhf 28s autopkgtest [22:07:55]: testbed apt version: 3.1.15 32s autopkgtest [22:07:59]: @@@@@@@@@@@@@@@@@@@@ test bed setup 34s autopkgtest [22:08:01]: testbed release detected to be: None 42s autopkgtest [22:08:09]: updating testbed package index (apt update) 44s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 44s Get:2 http://ftpmaster.internal/ubuntu resolute InRelease [124 kB] 44s Get:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease [124 kB] 45s Get:4 http://ftpmaster.internal/ubuntu resolute-security InRelease [124 kB] 45s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 45s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 45s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 48s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf Packages [246 kB] 49s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/universe armhf Packages [1405 kB] 52s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse armhf Packages [7452 B] 52s Get:11 http://ftpmaster.internal/ubuntu resolute/restricted Sources [15.1 kB] 52s Get:12 http://ftpmaster.internal/ubuntu resolute/universe Sources [21.4 MB] 98s Get:13 http://ftpmaster.internal/ubuntu resolute/main Sources [1398 kB] 100s Get:14 http://ftpmaster.internal/ubuntu resolute/main armhf Packages [1374 kB] 102s Get:15 http://ftpmaster.internal/ubuntu resolute/universe armhf Packages [15.3 MB] 132s Fetched 43.5 MB in 1min 28s (493 kB/s) 133s Reading package lists... 139s autopkgtest [22:09:46]: upgrading testbed (apt dist-upgrade and autopurge) 141s Reading package lists... 141s Building dependency tree... 141s Reading state information... 142s Calculating upgrade... 143s The following packages will be upgraded: 143s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 143s libip6tc2 libxtables12 wget 143s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 143s Need to get 2407 kB of archives. 143s After this operation, 152 kB of additional disk space will be used. 143s Get:1 http://ftpmaster.internal/ubuntu resolute/main armhf iptables armhf 1.8.11-2ubuntu3 [345 kB] 144s Get:2 http://ftpmaster.internal/ubuntu resolute/main armhf libip4tc2 armhf 1.8.11-2ubuntu3 [22.0 kB] 144s Get:3 http://ftpmaster.internal/ubuntu resolute/main armhf libip6tc2 armhf 1.8.11-2ubuntu3 [22.3 kB] 144s Get:4 http://ftpmaster.internal/ubuntu resolute/main armhf libxtables12 armhf 1.8.11-2ubuntu3 [33.5 kB] 144s Get:5 http://ftpmaster.internal/ubuntu resolute/main armhf iproute2 armhf 6.18.0-1ubuntu1 [1123 kB] 146s Get:6 http://ftpmaster.internal/ubuntu resolute/main armhf libcryptsetup12 armhf 2:2.8.0-1ubuntu3 [254 kB] 146s Get:7 http://ftpmaster.internal/ubuntu resolute/main armhf wget armhf 1.25.0-2ubuntu4 [327 kB] 147s Get:8 http://ftpmaster.internal/ubuntu resolute/main armhf cryptsetup-bin armhf 2:2.8.0-1ubuntu3 [232 kB] 147s Get:9 http://ftpmaster.internal/ubuntu resolute/main armhf dracut-install armhf 109-11ubuntu1 [47.9 kB] 148s Preconfiguring packages ... 148s Fetched 2407 kB in 5s (493 kB/s) 148s (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 ... 68683 files and directories currently installed.) 148s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_armhf.deb ... 148s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 148s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_armhf.deb ... 148s Unpacking libip4tc2:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 149s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_armhf.deb ... 149s Unpacking libip6tc2:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 149s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_armhf.deb ... 149s Unpacking libxtables12:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 149s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_armhf.deb ... 149s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 149s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_armhf.deb ... 149s Unpacking libcryptsetup12:armhf (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 149s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_armhf.deb ... 149s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 149s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_armhf.deb ... 149s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 149s Preparing to unpack .../8-dracut-install_109-11ubuntu1_armhf.deb ... 149s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 149s Setting up libip4tc2:armhf (1.8.11-2ubuntu3) ... 149s Setting up wget (1.25.0-2ubuntu4) ... 149s Setting up libip6tc2:armhf (1.8.11-2ubuntu3) ... 149s Setting up libxtables12:armhf (1.8.11-2ubuntu3) ... 149s Setting up dracut-install (109-11ubuntu1) ... 149s Setting up libcryptsetup12:armhf (2:2.8.0-1ubuntu3) ... 149s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 149s Setting up iptables (1.8.11-2ubuntu3) ... 149s Setting up iproute2 (6.18.0-1ubuntu1) ... 150s Processing triggers for man-db (2.13.1-1build1) ... 151s Processing triggers for install-info (7.2-5) ... 151s Processing triggers for libc-bin (2.42-2ubuntu4) ... 153s Reading package lists... 154s Building dependency tree... 154s Reading state information... 154s Solving dependencies... 155s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 157s autopkgtest [22:10:04]: rebooting testbed after setup commands that affected boot 197s autopkgtest [22:10:44]: testbed running kernel: Linux 6.8.0-87-generic #88~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Tue Oct 14 14:00:09 UTC 2 222s autopkgtest [22:11:09]: @@@@@@@@@@@@@@@@@@@@ apt-source why3 258s Get:1 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (dsc) [2677 B] 258s Get:2 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (tar) [6645 kB] 258s Get:3 http://ftpmaster.internal/ubuntu resolute/universe why3 1.8.2-3 (diff) [19.6 kB] 259s gpgv: Signature made Tue Jan 6 09:14:00 2026 UTC 259s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 259s gpgv: Can't check signature: No public key 259s dpkg-source: warning: cannot verify inline signature for ./why3_1.8.2-3.dsc: no acceptable signature found 260s autopkgtest [22:11:47]: testing package why3 version 1.8.2-3 263s autopkgtest [22:11:50]: build not needed 267s autopkgtest [22:11:53]: test why3+cvc4: preparing testbed 268s Reading package lists... 269s Building dependency tree... 269s Reading state information... 269s Solving dependencies... 269s Some packages could not be installed. This may mean that you have 269s requested an impossible situation or if you are using the unstable 269s distribution that some required packages have not yet been created 269s or been moved out of Incoming. 269s The following information may help to resolve the situation: 269s 269s The following packages have unmet dependencies: 270s satisfy:command-line : Depends: why3 but it is not going to be installed 270s Depends: cvc4 (< 1.9) but it is not going to be installed 270s Depends: ocaml-native-compilers but it is not installable 270s E: Unable to satisfy dependencies. Reached two conflicting assignments: 270s 1. satisfy:command-line:armhf=1 is selected for install 270s 2. satisfy:command-line:armhf Depends ocaml-native-compilers 270s but none of the choices are installable: 270s [no choices] 270s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from resolute-proposed 273s Reading package lists... 274s Building dependency tree... 274s Reading state information... 274s Solving dependencies... 274s Some packages could not be installed. This may mean that you have 274s requested an impossible situation or if you are using the unstable 274s distribution that some required packages have not yet been created 274s or been moved out of Incoming. 274s The following information may help to resolve the situation: 274s 274s The following packages have unmet dependencies: 275s satisfy:command-line : Depends: why3 but it is not going to be installed 275s Depends: cvc4 (< 1.9) but it is not going to be installed 275s Depends: ocaml-native-compilers but it is not installable 275s E: Unable to satisfy dependencies. Reached two conflicting assignments: 275s 1. satisfy:command-line:armhf=1 is selected for install 275s 2. satisfy:command-line:armhf Depends ocaml-native-compilers 275s but none of the choices are installable: 275s [no choices] 275s why3+cvc4 SKIP installation fails and skip-not-installable set 275s autopkgtest [22:12:02]: test why3+cvc5: preparing testbed 303s autopkgtest [22:12:30]: testbed dpkg architecture: armhf 305s autopkgtest [22:12:32]: testbed apt version: 3.1.15 309s autopkgtest [22:12:36]: @@@@@@@@@@@@@@@@@@@@ test bed setup 310s autopkgtest [22:12:37]: testbed release detected to be: resolute 318s autopkgtest [22:12:45]: updating testbed package index (apt update) 320s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 320s Get:2 http://ftpmaster.internal/ubuntu resolute InRelease [124 kB] 321s Get:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease [124 kB] 321s Get:4 http://ftpmaster.internal/ubuntu resolute-security InRelease [124 kB] 321s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 321s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 324s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 324s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf Packages [246 kB] 325s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/universe armhf Packages [1405 kB] 328s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse armhf Packages [7452 B] 328s Get:11 http://ftpmaster.internal/ubuntu resolute/restricted Sources [15.1 kB] 328s Get:12 http://ftpmaster.internal/ubuntu resolute/main Sources [1398 kB] 330s Get:13 http://ftpmaster.internal/ubuntu resolute/universe Sources [21.4 MB] 369s Get:14 http://ftpmaster.internal/ubuntu resolute/main armhf Packages [1374 kB] 371s Get:15 http://ftpmaster.internal/ubuntu resolute/universe armhf Packages [15.3 MB] 401s Fetched 43.5 MB in 1min 21s (538 kB/s) 402s Reading package lists... 408s autopkgtest [22:14:15]: upgrading testbed (apt dist-upgrade and autopurge) 409s Reading package lists... 410s Building dependency tree... 410s Reading state information... 410s Calculating upgrade... 411s The following packages will be upgraded: 411s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 411s libip6tc2 libxtables12 wget 411s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 411s Need to get 2407 kB of archives. 411s After this operation, 152 kB of additional disk space will be used. 411s Get:1 http://ftpmaster.internal/ubuntu resolute/main armhf iptables armhf 1.8.11-2ubuntu3 [345 kB] 412s Get:2 http://ftpmaster.internal/ubuntu resolute/main armhf libip4tc2 armhf 1.8.11-2ubuntu3 [22.0 kB] 412s Get:3 http://ftpmaster.internal/ubuntu resolute/main armhf libip6tc2 armhf 1.8.11-2ubuntu3 [22.3 kB] 412s Get:4 http://ftpmaster.internal/ubuntu resolute/main armhf libxtables12 armhf 1.8.11-2ubuntu3 [33.5 kB] 412s Get:5 http://ftpmaster.internal/ubuntu resolute/main armhf iproute2 armhf 6.18.0-1ubuntu1 [1123 kB] 414s Get:6 http://ftpmaster.internal/ubuntu resolute/main armhf libcryptsetup12 armhf 2:2.8.0-1ubuntu3 [254 kB] 414s Get:7 http://ftpmaster.internal/ubuntu resolute/main armhf wget armhf 1.25.0-2ubuntu4 [327 kB] 415s Get:8 http://ftpmaster.internal/ubuntu resolute/main armhf cryptsetup-bin armhf 2:2.8.0-1ubuntu3 [232 kB] 415s Get:9 http://ftpmaster.internal/ubuntu resolute/main armhf dracut-install armhf 109-11ubuntu1 [47.9 kB] 416s Preconfiguring packages ... 416s Fetched 2407 kB in 5s (517 kB/s) 416s (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 ... 68683 files and directories currently installed.) 416s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_armhf.deb ... 416s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 416s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_armhf.deb ... 416s Unpacking libip4tc2:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 416s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_armhf.deb ... 416s Unpacking libip6tc2:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 417s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_armhf.deb ... 417s Unpacking libxtables12:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 417s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_armhf.deb ... 417s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 417s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_armhf.deb ... 417s Unpacking libcryptsetup12:armhf (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 417s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_armhf.deb ... 417s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 417s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_armhf.deb ... 417s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 417s Preparing to unpack .../8-dracut-install_109-11ubuntu1_armhf.deb ... 417s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 417s Setting up libip4tc2:armhf (1.8.11-2ubuntu3) ... 417s Setting up wget (1.25.0-2ubuntu4) ... 417s Setting up libip6tc2:armhf (1.8.11-2ubuntu3) ... 417s Setting up libxtables12:armhf (1.8.11-2ubuntu3) ... 417s Setting up dracut-install (109-11ubuntu1) ... 417s Setting up libcryptsetup12:armhf (2:2.8.0-1ubuntu3) ... 417s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 417s Setting up iptables (1.8.11-2ubuntu3) ... 417s Setting up iproute2 (6.18.0-1ubuntu1) ... 418s Processing triggers for man-db (2.13.1-1build1) ... 419s Processing triggers for install-info (7.2-5) ... 419s Processing triggers for libc-bin (2.42-2ubuntu4) ... 421s Reading package lists... 422s Building dependency tree... 422s Reading state information... 422s Solving dependencies... 423s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 425s autopkgtest [22:14:32]: rebooting testbed after setup commands that affected boot 490s Reading package lists... 490s Building dependency tree... 490s Reading state information... 491s Solving dependencies... 491s Some packages could not be installed. This may mean that you have 491s requested an impossible situation or if you are using the unstable 491s distribution that some required packages have not yet been created 491s or been moved out of Incoming. 491s The following information may help to resolve the situation: 491s 491s The following packages have unmet dependencies: 492s satisfy:command-line : Depends: why3 but it is not going to be installed 492s Depends: cvc5 (< 1.3) but it is not going to be installed 492s Depends: ocaml-native-compilers but it is not installable 492s E: Unable to satisfy dependencies. Reached two conflicting assignments: 492s 1. satisfy:command-line:armhf=1 is selected for install 492s 2. satisfy:command-line:armhf Depends cvc5 (< 1.3) 492s but none of the choices are installable: 492s [no choices] 492s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from resolute-proposed 496s Reading package lists... 496s Building dependency tree... 496s Reading state information... 496s Solving dependencies... 496s Some packages could not be installed. This may mean that you have 496s requested an impossible situation or if you are using the unstable 496s distribution that some required packages have not yet been created 496s or been moved out of Incoming. 496s The following information may help to resolve the situation: 496s 496s The following packages have unmet dependencies: 497s satisfy:command-line : Depends: why3 but it is not going to be installed 497s Depends: cvc5 (< 1.3) but it is not going to be installed 497s Depends: ocaml-native-compilers but it is not installable 497s E: Unable to satisfy dependencies. Reached two conflicting assignments: 497s 1. satisfy:command-line:armhf=1 is selected for install 497s 2. satisfy:command-line:armhf Depends cvc5 (< 1.3) 497s but none of the choices are installable: 497s [no choices] 497s why3+cvc5 SKIP installation fails and skip-not-installable set 497s autopkgtest [22:15:44]: test why3+spass: preparing testbed 525s autopkgtest [22:16:12]: testbed dpkg architecture: armhf 527s autopkgtest [22:16:14]: testbed apt version: 3.1.15 531s autopkgtest [22:16:18]: @@@@@@@@@@@@@@@@@@@@ test bed setup 532s autopkgtest [22:16:19]: testbed release detected to be: resolute 540s autopkgtest [22:16:27]: updating testbed package index (apt update) 542s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 542s Get:2 http://ftpmaster.internal/ubuntu resolute InRelease [124 kB] 542s Get:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease [124 kB] 543s Get:4 http://ftpmaster.internal/ubuntu resolute-security InRelease [124 kB] 543s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 543s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 545s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 546s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf Packages [246 kB] 546s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/universe armhf Packages [1405 kB] 548s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse armhf Packages [7452 B] 548s Get:11 http://ftpmaster.internal/ubuntu resolute/main Sources [1398 kB] 550s Get:12 http://ftpmaster.internal/ubuntu resolute/restricted Sources [15.1 kB] 550s Get:13 http://ftpmaster.internal/ubuntu resolute/universe Sources [21.4 MB] 584s Get:14 http://ftpmaster.internal/ubuntu resolute/main armhf Packages [1374 kB] 587s Get:15 http://ftpmaster.internal/ubuntu resolute/universe armhf Packages [15.3 MB] 613s Fetched 43.5 MB in 1min 11s (611 kB/s) 614s Reading package lists... 620s autopkgtest [22:17:47]: upgrading testbed (apt dist-upgrade and autopurge) 622s Reading package lists... 622s Building dependency tree... 622s Reading state information... 623s Calculating upgrade... 624s The following packages will be upgraded: 624s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 624s libip6tc2 libxtables12 wget 624s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 624s Need to get 2407 kB of archives. 624s After this operation, 152 kB of additional disk space will be used. 624s Get:1 http://ftpmaster.internal/ubuntu resolute/main armhf iptables armhf 1.8.11-2ubuntu3 [345 kB] 625s Get:2 http://ftpmaster.internal/ubuntu resolute/main armhf libip4tc2 armhf 1.8.11-2ubuntu3 [22.0 kB] 625s Get:3 http://ftpmaster.internal/ubuntu resolute/main armhf libip6tc2 armhf 1.8.11-2ubuntu3 [22.3 kB] 625s Get:4 http://ftpmaster.internal/ubuntu resolute/main armhf libxtables12 armhf 1.8.11-2ubuntu3 [33.5 kB] 625s Get:5 http://ftpmaster.internal/ubuntu resolute/main armhf iproute2 armhf 6.18.0-1ubuntu1 [1123 kB] 627s Get:6 http://ftpmaster.internal/ubuntu resolute/main armhf libcryptsetup12 armhf 2:2.8.0-1ubuntu3 [254 kB] 627s Get:7 http://ftpmaster.internal/ubuntu resolute/main armhf wget armhf 1.25.0-2ubuntu4 [327 kB] 628s Get:8 http://ftpmaster.internal/ubuntu resolute/main armhf cryptsetup-bin armhf 2:2.8.0-1ubuntu3 [232 kB] 628s Get:9 http://ftpmaster.internal/ubuntu resolute/main armhf dracut-install armhf 109-11ubuntu1 [47.9 kB] 629s Preconfiguring packages ... 629s Fetched 2407 kB in 5s (510 kB/s) 629s (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 ... 68683 files and directories currently installed.) 629s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_armhf.deb ... 629s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 629s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_armhf.deb ... 629s Unpacking libip4tc2:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 630s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_armhf.deb ... 630s Unpacking libip6tc2:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 630s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_armhf.deb ... 630s Unpacking libxtables12:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 630s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_armhf.deb ... 630s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 630s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_armhf.deb ... 630s Unpacking libcryptsetup12:armhf (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 630s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_armhf.deb ... 630s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 630s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_armhf.deb ... 630s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 630s Preparing to unpack .../8-dracut-install_109-11ubuntu1_armhf.deb ... 630s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 630s Setting up libip4tc2:armhf (1.8.11-2ubuntu3) ... 630s Setting up wget (1.25.0-2ubuntu4) ... 630s Setting up libip6tc2:armhf (1.8.11-2ubuntu3) ... 630s Setting up libxtables12:armhf (1.8.11-2ubuntu3) ... 630s Setting up dracut-install (109-11ubuntu1) ... 630s Setting up libcryptsetup12:armhf (2:2.8.0-1ubuntu3) ... 630s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 630s Setting up iptables (1.8.11-2ubuntu3) ... 630s Setting up iproute2 (6.18.0-1ubuntu1) ... 631s Processing triggers for man-db (2.13.1-1build1) ... 632s Processing triggers for install-info (7.2-5) ... 632s Processing triggers for libc-bin (2.42-2ubuntu4) ... 634s Reading package lists... 635s Building dependency tree... 635s Reading state information... 635s Solving dependencies... 636s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 638s autopkgtest [22:18:05]: rebooting testbed after setup commands that affected boot 704s Reading package lists... 705s Building dependency tree... 705s Reading state information... 705s Solving dependencies... 705s Some packages could not be installed. This may mean that you have 705s requested an impossible situation or if you are using the unstable 705s distribution that some required packages have not yet been created 705s or been moved out of Incoming. 705s The following information may help to resolve the situation: 705s 705s The following packages have unmet dependencies: 705s satisfy:command-line : Depends: why3 but it is not going to be installed 705s Depends: spass but it is not going to be installed 705s Depends: ocaml-native-compilers but it is not installable 705s E: Unable to satisfy dependencies. Reached two conflicting assignments: 705s 1. satisfy:command-line:armhf=1 is selected for install 705s 2. satisfy:command-line:armhf Depends ocaml-native-compilers 705s but none of the choices are installable: 705s [no choices] 705s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from resolute-proposed 709s Reading package lists... 710s Building dependency tree... 710s Reading state information... 710s Solving dependencies... 710s Some packages could not be installed. This may mean that you have 710s requested an impossible situation or if you are using the unstable 710s distribution that some required packages have not yet been created 710s or been moved out of Incoming. 710s The following information may help to resolve the situation: 710s 710s The following packages have unmet dependencies: 710s satisfy:command-line : Depends: why3 but it is not going to be installed 710s Depends: spass but it is not going to be installed 710s Depends: ocaml-native-compilers but it is not installable 710s E: Unable to satisfy dependencies. Reached two conflicting assignments: 710s 1. satisfy:command-line:armhf=1 is selected for install 710s 2. satisfy:command-line:armhf Depends ocaml-native-compilers 710s but none of the choices are installable: 710s [no choices] 710s why3+spass SKIP installation fails and skip-not-installable set 710s autopkgtest [22:19:17]: test why3+z3: preparing testbed 739s autopkgtest [22:19:46]: testbed dpkg architecture: armhf 741s autopkgtest [22:19:48]: testbed apt version: 3.1.15 745s autopkgtest [22:19:52]: @@@@@@@@@@@@@@@@@@@@ test bed setup 747s autopkgtest [22:19:54]: testbed release detected to be: resolute 754s autopkgtest [22:20:01]: updating testbed package index (apt update) 756s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [124 kB] 757s Get:2 http://ftpmaster.internal/ubuntu resolute InRelease [124 kB] 757s Get:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease [124 kB] 758s Get:4 http://ftpmaster.internal/ubuntu resolute-security InRelease [124 kB] 758s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [29.4 kB] 758s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [176 kB] 759s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [1645 kB] 766s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/main armhf Packages [246 kB] 768s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/universe armhf Packages [1405 kB] 772s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse armhf Packages [7452 B] 772s Get:11 http://ftpmaster.internal/ubuntu resolute/universe Sources [21.4 MB] 827s Get:12 http://ftpmaster.internal/ubuntu resolute/restricted Sources [15.1 kB] 828s Get:13 http://ftpmaster.internal/ubuntu resolute/main Sources [1398 kB] 833s Get:14 http://ftpmaster.internal/ubuntu resolute/main armhf Packages [1374 kB] 839s Get:15 http://ftpmaster.internal/ubuntu resolute/universe armhf Packages [15.3 MB] 901s Fetched 43.5 MB in 2min 25s (300 kB/s) 902s Reading package lists... 908s autopkgtest [22:22:35]: upgrading testbed (apt dist-upgrade and autopurge) 910s Reading package lists... 910s Building dependency tree... 910s Reading state information... 911s Calculating upgrade... 911s The following packages will be upgraded: 911s cryptsetup-bin dracut-install iproute2 iptables libcryptsetup12 libip4tc2 911s libip6tc2 libxtables12 wget 912s 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 912s Need to get 2407 kB of archives. 912s After this operation, 152 kB of additional disk space will be used. 912s Get:1 http://ftpmaster.internal/ubuntu resolute/main armhf iptables armhf 1.8.11-2ubuntu3 [345 kB] 913s Get:2 http://ftpmaster.internal/ubuntu resolute/main armhf libip4tc2 armhf 1.8.11-2ubuntu3 [22.0 kB] 913s Get:3 http://ftpmaster.internal/ubuntu resolute/main armhf libip6tc2 armhf 1.8.11-2ubuntu3 [22.3 kB] 913s Get:4 http://ftpmaster.internal/ubuntu resolute/main armhf libxtables12 armhf 1.8.11-2ubuntu3 [33.5 kB] 913s Get:5 http://ftpmaster.internal/ubuntu resolute/main armhf iproute2 armhf 6.18.0-1ubuntu1 [1123 kB] 915s Get:6 http://ftpmaster.internal/ubuntu resolute/main armhf libcryptsetup12 armhf 2:2.8.0-1ubuntu3 [254 kB] 916s Get:7 http://ftpmaster.internal/ubuntu resolute/main armhf wget armhf 1.25.0-2ubuntu4 [327 kB] 917s Get:8 http://ftpmaster.internal/ubuntu resolute/main armhf cryptsetup-bin armhf 2:2.8.0-1ubuntu3 [232 kB] 917s Get:9 http://ftpmaster.internal/ubuntu resolute/main armhf dracut-install armhf 109-11ubuntu1 [47.9 kB] 918s Preconfiguring packages ... 918s Fetched 2407 kB in 6s (408 kB/s) 918s (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 ... 68683 files and directories currently installed.) 918s Preparing to unpack .../0-iptables_1.8.11-2ubuntu3_armhf.deb ... 918s Unpacking iptables (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 918s Preparing to unpack .../1-libip4tc2_1.8.11-2ubuntu3_armhf.deb ... 918s Unpacking libip4tc2:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 918s Preparing to unpack .../2-libip6tc2_1.8.11-2ubuntu3_armhf.deb ... 918s Unpacking libip6tc2:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 918s Preparing to unpack .../3-libxtables12_1.8.11-2ubuntu3_armhf.deb ... 918s Unpacking libxtables12:armhf (1.8.11-2ubuntu3) over (1.8.11-2ubuntu2) ... 918s Preparing to unpack .../4-iproute2_6.18.0-1ubuntu1_armhf.deb ... 919s Unpacking iproute2 (6.18.0-1ubuntu1) over (6.16.0-1ubuntu3) ... 919s Preparing to unpack .../5-libcryptsetup12_2%3a2.8.0-1ubuntu3_armhf.deb ... 919s Unpacking libcryptsetup12:armhf (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 919s Preparing to unpack .../6-wget_1.25.0-2ubuntu4_armhf.deb ... 919s Unpacking wget (1.25.0-2ubuntu4) over (1.25.0-2ubuntu3) ... 919s Preparing to unpack .../7-cryptsetup-bin_2%3a2.8.0-1ubuntu3_armhf.deb ... 919s Unpacking cryptsetup-bin (2:2.8.0-1ubuntu3) over (2:2.8.0-1ubuntu2) ... 919s Preparing to unpack .../8-dracut-install_109-11ubuntu1_armhf.deb ... 919s Unpacking dracut-install (109-11ubuntu1) over (109-9ubuntu1) ... 919s Setting up libip4tc2:armhf (1.8.11-2ubuntu3) ... 919s Setting up wget (1.25.0-2ubuntu4) ... 919s Setting up libip6tc2:armhf (1.8.11-2ubuntu3) ... 919s Setting up libxtables12:armhf (1.8.11-2ubuntu3) ... 919s Setting up dracut-install (109-11ubuntu1) ... 919s Setting up libcryptsetup12:armhf (2:2.8.0-1ubuntu3) ... 919s Setting up cryptsetup-bin (2:2.8.0-1ubuntu3) ... 919s Setting up iptables (1.8.11-2ubuntu3) ... 919s Setting up iproute2 (6.18.0-1ubuntu1) ... 919s Processing triggers for man-db (2.13.1-1build1) ... 920s Processing triggers for install-info (7.2-5) ... 920s Processing triggers for libc-bin (2.42-2ubuntu4) ... 923s Reading package lists... 923s Building dependency tree... 923s Reading state information... 923s Solving dependencies... 924s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 926s autopkgtest [22:22:53]: rebooting testbed after setup commands that affected boot 990s Reading package lists... 991s Building dependency tree... 991s Reading state information... 991s Solving dependencies... 991s Some packages could not be installed. This may mean that you have 991s requested an impossible situation or if you are using the unstable 991s distribution that some required packages have not yet been created 991s or been moved out of Incoming. 991s The following information may help to resolve the situation: 991s 991s The following packages have unmet dependencies: 991s satisfy:command-line : Depends: why3 but it is not going to be installed 991s Depends: z3 (< 4.14) but it is not going to be installed 991s Depends: ocaml-native-compilers but it is not installable 991s E: Unable to satisfy dependencies. Reached two conflicting assignments: 991s 1. satisfy:command-line:armhf=1 is selected for install 991s 2. satisfy:command-line:armhf Depends ocaml-native-compilers 991s but none of the choices are installable: 991s [no choices] 991s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from resolute-proposed 995s Reading package lists... 995s Building dependency tree... 995s Reading state information... 996s Solving dependencies... 996s Some packages could not be installed. This may mean that you have 996s requested an impossible situation or if you are using the unstable 996s distribution that some required packages have not yet been created 996s or been moved out of Incoming. 996s The following information may help to resolve the situation: 996s 996s The following packages have unmet dependencies: 996s satisfy:command-line : Depends: why3 but it is not going to be installed 996s Depends: z3 (< 4.14) but it is not going to be installed 996s Depends: ocaml-native-compilers but it is not installable 996s E: Unable to satisfy dependencies. Reached two conflicting assignments: 996s 1. satisfy:command-line:armhf=1 is selected for install 996s 2. satisfy:command-line:armhf Depends ocaml-native-compilers 996s but none of the choices are installable: 996s [no choices] 996s why3+z3 SKIP installation fails and skip-not-installable set 996s autopkgtest [22:24:03]: @@@@@@@@@@@@@@@@@@@@ summary 996s why3+cvc4 SKIP installation fails and skip-not-installable set 996s why3+cvc5 SKIP installation fails and skip-not-installable set 996s why3+spass SKIP installation fails and skip-not-installable set 996s why3+z3 SKIP installation fails and skip-not-installable set