0s autopkgtest [04:47:16]: starting date and time: 2025-02-22 04:47:16+0000 0s autopkgtest [04:47:16]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [04:47:16]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.qvfxbkzh/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glib2.0 --apt-upgrade coq --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glib2.0/2.83.4-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-s390x-3.secgroup --name adt-plucky-s390x-coq-20250222-044716-juju-7f2275-prod-proposed-migration-environment-20-a39afb87-40d4-4be6-aa02-f40d6f92b442 --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-proposed-migration-s390x -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 129s autopkgtest [04:49:25]: testbed dpkg architecture: s390x 129s autopkgtest [04:49:25]: testbed apt version: 2.9.30ubuntu1 129s autopkgtest [04:49:25]: @@@@@@@@@@@@@@@@@@@@ test bed setup 130s autopkgtest [04:49:26]: testbed release detected to be: None 130s autopkgtest [04:49:26]: updating testbed package index (apt update) 131s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 131s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 131s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 131s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 131s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 131s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.1 kB] 131s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 131s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [508 kB] 131s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [123 kB] 131s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 131s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [423 kB] 131s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [2816 B] 131s Fetched 1265 kB in 1s (1446 kB/s) 132s Reading package lists... 133s Reading package lists... 133s Building dependency tree... 133s Reading state information... 133s Calculating upgrade... 133s Calculating upgrade... 133s The following packages were automatically installed and are no longer required: 133s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 133s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 133s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 133s linux-tools-6.11.0-8-generic 133s Use 'sudo apt autoremove' to remove them. 133s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 133s Reading package lists... 133s Building dependency tree... 133s Reading state information... 133s Solving dependencies... 133s The following packages will be REMOVED: 133s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 133s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 133s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 133s linux-tools-6.11.0-8-generic* 134s 0 upgraded, 0 newly installed, 9 to remove and 3 not upgraded. 134s After this operation, 167 MB disk space will be freed. 134s (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 ... 81030 files and directories currently installed.) 134s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 134s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 134s Removing libpython3.12t64:s390x (3.12.9-1) ... 134s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 134s Removing libnsl2:s390x (1.3.0-3build3) ... 134s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 134s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 134s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 135s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 135s Processing triggers for libc-bin (2.40-4ubuntu1) ... 135s (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 ... 55930 files and directories currently installed.) 135s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 135s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 135s autopkgtest [04:49:31]: upgrading testbed (apt dist-upgrade and autopurge) 135s Reading package lists... 136s Building dependency tree... 136s Reading state information... 136s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 136s Starting 2 pkgProblemResolver with broken count: 0 136s Done 136s Entering ResolveByKeep 136s 136s Calculating upgrade... 136s The following packages will be upgraded: 136s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 136s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 136s Need to get 1819 kB of archives. 136s After this operation, 1024 B disk space will be freed. 136s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x gir1.2-glib-2.0 s390x 2.83.4-1 [182 kB] 137s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libglib2.0-0t64 s390x 2.83.4-1 [1584 kB] 137s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libglib2.0-data all 2.83.4-1 [52.9 kB] 137s Fetched 1819 kB in 1s (2912 kB/s) 137s (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 ... 55928 files and directories currently installed.) 137s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_s390x.deb ... 137s Unpacking gir1.2-glib-2.0:s390x (2.83.4-1) over (2.83.3-2) ... 137s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_s390x.deb ... 137s Unpacking libglib2.0-0t64:s390x (2.83.4-1) over (2.83.3-2) ... 137s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 137s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 137s Setting up libglib2.0-0t64:s390x (2.83.4-1) ... 137s No schema files found: doing nothing. 137s Setting up libglib2.0-data (2.83.4-1) ... 137s Setting up gir1.2-glib-2.0:s390x (2.83.4-1) ... 137s Processing triggers for libc-bin (2.40-4ubuntu1) ... 138s Reading package lists... 138s Building dependency tree... 138s Reading state information... 138s Starting pkgProblemResolver with broken count: 0 138s Starting 2 pkgProblemResolver with broken count: 0 138s Done 138s Solving dependencies... 138s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 138s autopkgtest [04:49:34]: rebooting testbed after setup commands that affected boot 147s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 166s autopkgtest [04:50:02]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 15:05:57 UTC 2025 168s autopkgtest [04:50:04]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 172s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.1+dfsg-1 (dsc) [2582 B] 172s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.1+dfsg-1 (tar) [5015 kB] 172s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.1+dfsg-1 (diff) [30.2 kB] 172s gpgv: Signature made Sat Feb 15 14:51:03 2025 UTC 172s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 172s gpgv: issuer "julien.puydt@laposte.net" 172s gpgv: Can't check signature: No public key 172s dpkg-source: warning: cannot verify inline signature for ./coq_8.20.1+dfsg-1.dsc: no acceptable signature found 172s autopkgtest [04:50:08]: testing package coq version 8.20.1+dfsg-1 173s autopkgtest [04:50:09]: build not needed 176s autopkgtest [04:50:12]: test compiler: preparing testbed 176s Reading package lists... 176s Building dependency tree... 176s Reading state information... 176s Starting pkgProblemResolver with broken count: 0 176s Starting 2 pkgProblemResolver with broken count: 0 176s Done 176s The following NEW packages will be installed: 176s coq cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-14 176s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0 176s libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml 176s libgcc-14-dev libgomp1 libisl23 libitm1 libmpc3 libncurses-dev 176s libstdlib-ocaml libstdlib-ocaml-dev libubsan1 libzarith-ocaml libzstd-dev 176s ocaml ocaml-base ocaml-findlib ocaml-interp 177s 0 upgraded, 30 newly installed, 0 to remove and 0 not upgraded. 177s Need to get 259 MB of archives. 177s After this operation, 855 MB of additional disk space will be used. 177s Get:1 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-stdlib s390x 8.20.1+dfsg-1 [27.0 MB] 178s Get:2 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.3.0-2 [438 kB] 178s Get:3 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.3.0-2 [329 kB] 178s Get:4 http://ftpmaster.internal/ubuntu plucky/universe s390x libfindlib-ocaml s390x 1.9.8-1 [225 kB] 178s Get:5 http://ftpmaster.internal/ubuntu plucky/universe s390x libzarith-ocaml s390x 1.14-1build1 [126 kB] 178s Get:6 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-core-ocaml s390x 8.20.1+dfsg-1 [27.3 MB] 180s Get:7 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.3.0-2 [7845 kB] 180s Get:8 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.3.0-2 [47.5 MB] 183s Get:9 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.3.0-2 [8368 kB] 184s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 184s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 184s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 184s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [9572 kB] 184s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu3 [1028 B] 184s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 184s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 184s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB] 184s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB] 184s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB] 184s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB] 184s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB] 184s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu3 [1037 kB] 184s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu3 [18.7 MB] 186s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu3 [526 kB] 186s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 186s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 186s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 186s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.3.0-2 [20.6 MB] 187s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-findlib s390x 1.9.8-1 [679 kB] 187s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x coq s390x 8.20.1+dfsg-1 [82.8 MB] 191s Fetched 259 MB in 14s (18.3 MB/s) 191s Selecting previously unselected package libcoq-stdlib. 191s (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 ... 55928 files and directories currently installed.) 191s Preparing to unpack .../00-libcoq-stdlib_8.20.1+dfsg-1_s390x.deb ... 191s Unpacking libcoq-stdlib (8.20.1+dfsg-1) ... 192s Selecting previously unselected package libstdlib-ocaml. 192s Preparing to unpack .../01-libstdlib-ocaml_5.3.0-2_s390x.deb ... 192s Unpacking libstdlib-ocaml (5.3.0-2) ... 192s Selecting previously unselected package ocaml-base. 192s Preparing to unpack .../02-ocaml-base_5.3.0-2_s390x.deb ... 192s Unpacking ocaml-base (5.3.0-2) ... 192s Selecting previously unselected package libfindlib-ocaml. 192s Preparing to unpack .../03-libfindlib-ocaml_1.9.8-1_s390x.deb ... 192s Unpacking libfindlib-ocaml (1.9.8-1) ... 192s Selecting previously unselected package libzarith-ocaml. 192s Preparing to unpack .../04-libzarith-ocaml_1.14-1build1_s390x.deb ... 192s Unpacking libzarith-ocaml (1.14-1build1) ... 192s Selecting previously unselected package libcoq-core-ocaml. 192s Preparing to unpack .../05-libcoq-core-ocaml_8.20.1+dfsg-1_s390x.deb ... 192s Unpacking libcoq-core-ocaml (8.20.1+dfsg-1) ... 192s Selecting previously unselected package libstdlib-ocaml-dev. 192s Preparing to unpack .../06-libstdlib-ocaml-dev_5.3.0-2_s390x.deb ... 192s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 192s Selecting previously unselected package libcompiler-libs-ocaml-dev. 192s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.3.0-2_s390x.deb ... 192s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 192s Selecting previously unselected package ocaml-interp. 192s Preparing to unpack .../08-ocaml-interp_5.3.0-2_s390x.deb ... 192s Unpacking ocaml-interp (5.3.0-2) ... 192s Selecting previously unselected package libncurses-dev:s390x. 192s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_s390x.deb ... 192s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 192s Selecting previously unselected package libisl23:s390x. 193s Preparing to unpack .../10-libisl23_0.27-1_s390x.deb ... 193s Unpacking libisl23:s390x (0.27-1) ... 193s Selecting previously unselected package libmpc3:s390x. 193s Preparing to unpack .../11-libmpc3_1.3.1-1build2_s390x.deb ... 193s Unpacking libmpc3:s390x (1.3.1-1build2) ... 193s Selecting previously unselected package cpp-14-s390x-linux-gnu. 193s Preparing to unpack .../12-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 193s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 193s Selecting previously unselected package cpp-14. 193s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu3_s390x.deb ... 193s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 193s Selecting previously unselected package cpp-s390x-linux-gnu. 193s Preparing to unpack .../14-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 193s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 193s Selecting previously unselected package cpp. 193s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 193s Unpacking cpp (4:14.2.0-1ubuntu1) ... 193s Selecting previously unselected package libcc1-0:s390x. 193s Preparing to unpack .../16-libcc1-0_15-20250213-1ubuntu1_s390x.deb ... 193s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ... 193s Selecting previously unselected package libgomp1:s390x. 193s Preparing to unpack .../17-libgomp1_15-20250213-1ubuntu1_s390x.deb ... 193s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ... 193s Selecting previously unselected package libitm1:s390x. 193s Preparing to unpack .../18-libitm1_15-20250213-1ubuntu1_s390x.deb ... 193s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ... 193s Selecting previously unselected package libasan8:s390x. 193s Preparing to unpack .../19-libasan8_15-20250213-1ubuntu1_s390x.deb ... 193s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ... 193s Selecting previously unselected package libubsan1:s390x. 193s Preparing to unpack .../20-libubsan1_15-20250213-1ubuntu1_s390x.deb ... 193s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ... 193s Selecting previously unselected package libgcc-14-dev:s390x. 193s Preparing to unpack .../21-libgcc-14-dev_14.2.0-17ubuntu3_s390x.deb ... 193s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 193s Selecting previously unselected package gcc-14-s390x-linux-gnu. 193s Preparing to unpack .../22-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu3_s390x.deb ... 193s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 193s Selecting previously unselected package gcc-14. 193s Preparing to unpack .../23-gcc-14_14.2.0-17ubuntu3_s390x.deb ... 193s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 193s Selecting previously unselected package gcc-s390x-linux-gnu. 193s Preparing to unpack .../24-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 193s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 193s Selecting previously unselected package gcc. 193s Preparing to unpack .../25-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 193s Unpacking gcc (4:14.2.0-1ubuntu1) ... 193s Selecting previously unselected package libzstd-dev:s390x. 193s Preparing to unpack .../26-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 193s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 193s Selecting previously unselected package ocaml. 193s Preparing to unpack .../27-ocaml_5.3.0-2_s390x.deb ... 193s Unpacking ocaml (5.3.0-2) ... 194s Selecting previously unselected package ocaml-findlib. 194s Preparing to unpack .../28-ocaml-findlib_1.9.8-1_s390x.deb ... 194s Unpacking ocaml-findlib (1.9.8-1) ... 194s Selecting previously unselected package coq. 194s Preparing to unpack .../29-coq_8.20.1+dfsg-1_s390x.deb ... 194s Unpacking coq (8.20.1+dfsg-1) ... 195s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 195s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 195s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ... 195s Setting up libcoq-stdlib (8.20.1+dfsg-1) ... 195s Setting up libstdlib-ocaml (5.3.0-2) ... 195s Setting up libmpc3:s390x (1.3.1-1build2) ... 195s Setting up ocaml-base (5.3.0-2) ... 195s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ... 195s Setting up libasan8:s390x (15-20250213-1ubuntu1) ... 195s Setting up libisl23:s390x (0.27-1) ... 195s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ... 195s Setting up libitm1:s390x (15-20250213-1ubuntu1) ... 195s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 195s Setting up libfindlib-ocaml (1.9.8-1) ... 195s Setting up libzarith-ocaml (1.14-1build1) ... 195s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 195s Setting up ocaml-interp (5.3.0-2) ... 195s Setting up ocaml-findlib (1.9.8-1) ... 195s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 195s Setting up cpp-14 (14.2.0-17ubuntu3) ... 195s Setting up libcoq-core-ocaml (8.20.1+dfsg-1) ... 195s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu3) ... 195s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 195s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu3) ... 195s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 195s Setting up cpp (4:14.2.0-1ubuntu1) ... 195s Setting up gcc-14 (14.2.0-17ubuntu3) ... 195s Setting up gcc (4:14.2.0-1ubuntu1) ... 195s Setting up ocaml (5.3.0-2) ... 195s Setting up coq (8.20.1+dfsg-1) ... 195s Processing triggers for man-db (2.13.0-1) ... 195s Processing triggers for libc-bin (2.40-4ubuntu1) ... 196s autopkgtest [04:50:32]: test compiler: [----------------------- 197s autopkgtest [04:50:33]: test compiler: -----------------------] 197s compiler PASS 197s autopkgtest [04:50:33]: test compiler: - - - - - - - - - - results - - - - - - - - - - 198s autopkgtest [04:50:34]: test toplevel: preparing testbed 198s Reading package lists... 198s Building dependency tree... 198s Reading state information... 198s Starting pkgProblemResolver with broken count: 0 198s Starting 2 pkgProblemResolver with broken count: 0 198s Done 199s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 199s autopkgtest [04:50:35]: test toplevel: [----------------------- 199s Welcome to Coq 8.20.1 199s pierce is defined 199s excluded_middle is defined 199s 1 goal 199s 199s ============================ 199s pierce <-> excluded_middle 199s 1 goal 199s 199s ============================ 199s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 199s 2 goals 199s 199s H : forall p q : Prop, ((p -> q) -> p) -> p 199s p : Prop 199s ============================ 199s p \/ ~ p 199s 199s goal 2 is: 199s p 199s 2 goals 199s 199s H : forall p q : Prop, ((p -> q) -> p) -> p 199s p : Prop 199s ============================ 199s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 199s 199s goal 2 is: 199s p 199s 1 goal 199s 199s H : forall p : Prop, p \/ ~ p 199s p, q : Prop 199s H0 : (p -> q) -> p 199s ============================ 199s p 199s 2 goals 199s 199s H : forall p : Prop, p \/ ~ p 199s p, q : Prop 199s H0 : (p -> q) -> p 199s H1 : p 199s ============================ 199s p 199s 199s goal 2 is: 199s p 199s 1 goal 199s 199s H : forall p : Prop, p \/ ~ p 199s p, q : Prop 199s H0 : (p -> q) -> p 199s H1 : ~ p 199s ============================ 199s p 199s No more goals. 200s autopkgtest [04:50:36]: test toplevel: -----------------------] 200s toplevel PASS 200s autopkgtest [04:50:36]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 200s autopkgtest [04:50:36]: @@@@@@@@@@@@@@@@@@@@ summary 200s compiler PASS 200s toplevel PASS 217s nova [W] Using flock in prodstack6-s390x 217s flock: timeout while waiting to get lock 217s Creating nova instance adt-plucky-s390x-coq-20250222-044716-juju-7f2275-prod-proposed-migration-environment-20-a39afb87-40d4-4be6-aa02-f40d6f92b442 from image adt/ubuntu-plucky-s390x-server-20250222.img (UUID ae633cda-0dee-481c-9805-d0ef3f3b5166)... 217s nova [W] Timed out waiting for 0c8d2faa-02e0-400d-8403-6999198c59d7 to get deleted.