0s autopkgtest [20:09:06]: starting date and time: 2025-02-20 20:09:06+0000
  0s autopkgtest [20:09:06]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production'
  0s autopkgtest [20:09:06]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.4v6ulf_c/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gmp --apt-upgrade coq --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=gmp/2:6.3.0+dfsg-3ubuntu1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-s390x-1.secgroup --name adt-plucky-s390x-coq-20250220-200905-juju-7f2275-prod-proposed-migration-environment-20-de7237c1-b727-4eb1-84f9-0e3b968e9942 --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/
 70s autopkgtest [20:10:16]: testbed dpkg architecture: s390x
 71s autopkgtest [20:10:17]: testbed apt version: 2.9.30
 71s autopkgtest [20:10:17]: @@@@@@@@@@@@@@@@@@@@ test bed setup
 71s autopkgtest [20:10:17]: testbed release detected to be: None
 72s autopkgtest [20:10:18]: updating testbed package index (apt update)
 72s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB]
 72s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
 72s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
 72s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
 73s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB]
 73s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB]
 73s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB]
 73s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B]
 73s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [124 kB]
 73s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B]
 73s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [660 kB]
 73s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [4436 B]
 73s Fetched 1752 kB in 1s (1721 kB/s)
 74s Reading package lists...
 74s Reading package lists...
 74s Building dependency tree...
 74s Reading state information...
 74s Calculating upgrade...
 75s The following packages were automatically installed and are no longer required:
 75s   libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64
 75s   linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic
 75s   linux-modules-6.11.0-8-generic linux-tools-6.11.0-8
 75s   linux-tools-6.11.0-8-generic
 75s Use 'sudo apt autoremove' to remove them.
 75s The following packages will be upgraded:
 75s   cryptsetup-bin inetutils-telnet kbd libcryptsetup12 libssl3t64 openssl
 75s   openssl-provider-legacy python3-requests sysconfig-hardware telnet
 75s 10 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 75s Need to get 4007 kB of archives.
 75s After this operation, 5120 B of additional disk space will be used.
 75s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x openssl-provider-legacy s390x 3.4.1-1ubuntu1 [37.9 kB]
 75s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libssl3t64 s390x 3.4.1-1ubuntu1 [1889 kB]
 76s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x kbd s390x 2.7.1-2ubuntu1 [239 kB]
 76s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x openssl s390x 3.4.1-1ubuntu1 [1184 kB]
 77s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x inetutils-telnet s390x 2:2.5-6ubuntu1 [111 kB]
 77s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x telnet all 0.17+2.5-6ubuntu1 [3694 B]
 77s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libcryptsetup12 s390x 2:2.7.5-1ubuntu2 [269 kB]
 77s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x cryptsetup-bin s390x 2:2.7.5-1ubuntu2 [216 kB]
 77s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB]
 78s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x sysconfig-hardware s390x 0.0.14+nmu2ubuntu1 [4884 B]
 78s Fetched 4007 kB in 3s (1360 kB/s)
 78s (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 ... 81029 files and directories currently installed.)
 78s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_s390x.deb ...
 78s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ...
 78s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ...
 78s (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 ... 81029 files and directories currently installed.)
 78s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_s390x.deb ...
 78s Unpacking libssl3t64:s390x (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ...
 78s Setting up libssl3t64:s390x (3.4.1-1ubuntu1) ...
 78s (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 ... 81028 files and directories currently installed.)
 78s Preparing to unpack .../0-kbd_2.7.1-2ubuntu1_s390x.deb ...
 78s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ...
 78s Preparing to unpack .../1-openssl_3.4.1-1ubuntu1_s390x.deb ...
 78s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ...
 78s Preparing to unpack .../2-inetutils-telnet_2%3a2.5-6ubuntu1_s390x.deb ...
 78s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ...
 78s Preparing to unpack .../3-telnet_0.17+2.5-6ubuntu1_all.deb ...
 78s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ...
 78s Preparing to unpack .../4-libcryptsetup12_2%3a2.7.5-1ubuntu2_s390x.deb ...
 78s Unpacking libcryptsetup12:s390x (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ...
 78s Preparing to unpack .../5-cryptsetup-bin_2%3a2.7.5-1ubuntu2_s390x.deb ...
 78s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ...
 78s Preparing to unpack .../6-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ...
 78s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead.
 78s   for fn in glob1(directory, "%s.*" % fname):
 78s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ...
 78s Preparing to unpack .../7-sysconfig-hardware_0.0.14+nmu2ubuntu1_s390x.deb ...
 78s Unpacking sysconfig-hardware (0.0.14+nmu2ubuntu1) over (0.0.14ubuntu3) ...
 78s Setting up inetutils-telnet (2:2.5-6ubuntu1) ...
 78s Setting up sysconfig-hardware (0.0.14+nmu2ubuntu1) ...
 78s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ...
 78s Setting up libcryptsetup12:s390x (2:2.7.5-1ubuntu2) ...
 78s Setting up kbd (2.7.1-2ubuntu1) ...
 78s Setting up openssl (3.4.1-1ubuntu1) ...
 78s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ...
 78s Setting up telnet (0.17+2.5-6ubuntu1) ...
 78s Processing triggers for libc-bin (2.40-4ubuntu1) ...
 78s Processing triggers for man-db (2.13.0-1) ...
 79s Processing triggers for initramfs-tools (0.145ubuntu2) ...
 79s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic
 79s W: No lz4 in /usr/bin:/sbin:/bin, using gzip
 83s Using config file '/etc/zipl.conf'
 83s Building bootmap in '/boot'
 83s Adding IPL section 'ubuntu' (default)
 83s Preparing boot device for LD-IPL: vda (0000).
 83s Done.
 83s Reading package lists...
 83s Building dependency tree...
 83s Reading state information...
 84s The following packages will be REMOVED:
 84s   libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64*
 84s   linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic*
 84s   linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8*
 84s   linux-tools-6.11.0-8-generic*
 84s 0 upgraded, 0 newly installed, 9 to remove and 1 not upgraded.
 84s After this operation, 167 MB disk space will be freed.
 84s (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 ... 81025 files and directories currently installed.)
 84s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ...
 84s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ...
 84s Removing libpython3.12t64:s390x (3.12.9-1) ...
 84s Removing libpython3.12-stdlib:s390x (3.12.9-1) ...
 84s Removing libnsl2:s390x (1.3.0-3build3) ...
 84s Removing libpython3.12-minimal:s390x (3.12.9-1) ...
 84s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ...
 84s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ...
 85s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
 85s Processing triggers for libc-bin (2.40-4ubuntu1) ...
 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 ... 55925 files and directories currently installed.)
 85s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ...
 85s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
 85s autopkgtest [20:10:31]: upgrading testbed (apt dist-upgrade and autopurge)
 85s Reading package lists...
 85s Building dependency tree...
 85s Reading state information...
 86s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
 86s Starting 2 pkgProblemResolver with broken count: 0
 86s Done
 86s Entering ResolveByKeep
 86s 
 86s The following packages will be upgraded:
 86s   libgmp10
 86s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 86s Need to get 342 kB of archives.
 86s After this operation, 0 B of additional disk space will be used.
 86s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libgmp10 s390x 2:6.3.0+dfsg-3ubuntu1 [342 kB]
 87s Fetched 342 kB in 1s (516 kB/s)
 87s (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 ... 55923 files and directories currently installed.)
 87s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_s390x.deb ...
 87s Unpacking libgmp10:s390x (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ...
 87s Setting up libgmp10:s390x (2:6.3.0+dfsg-3ubuntu1) ...
 87s Processing triggers for libc-bin (2.40-4ubuntu1) ...
 87s Reading package lists...
 88s Building dependency tree...
 88s Reading state information...
 88s Starting pkgProblemResolver with broken count: 0
 88s Starting 2 pkgProblemResolver with broken count: 0
 88s Done
 88s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 88s autopkgtest [20:10:34]: rebooting testbed after setup commands that affected boot
113s autopkgtest [20:10:59]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb  4 15:05:57 UTC 2025
115s autopkgtest [20:11:01]: @@@@@@@@@@@@@@@@@@@@ apt-source coq
120s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (dsc) [2570 B]
120s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (tar) [5013 kB]
120s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (diff) [30.2 kB]
120s gpgv: Signature made Wed Nov 20 09:39:47 2024 UTC
120s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
120s gpgv:                issuer "jpuydt@debian.org"
120s gpgv: Can't check signature: No public key
120s dpkg-source: warning: cannot verify inline signature for ./coq_8.20.0+dfsg-1.dsc: no acceptable signature found
121s autopkgtest [20:11:07]: testing package coq version 8.20.0+dfsg-1
121s autopkgtest [20:11:07]: build not needed
123s autopkgtest [20:11:09]: test compiler: preparing testbed
123s Reading package lists...
123s Building dependency tree...
123s Reading state information...
123s Starting pkgProblemResolver with broken count: 0
123s Starting 2 pkgProblemResolver with broken count: 0
123s Done
124s The following NEW packages will be installed:
124s   coq cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-14
124s   gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0
124s   libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml
124s   libgcc-14-dev libgomp1 libisl23 libitm1 libmpc3 libncurses-dev
124s   libstdlib-ocaml libstdlib-ocaml-dev libubsan1 libzarith-ocaml libzstd-dev
124s   ocaml ocaml-base ocaml-findlib ocaml-interp
124s 0 upgraded, 30 newly installed, 0 to remove and 0 not upgraded.
124s Need to get 267 MB of archives.
124s After this operation, 873 MB of additional disk space will be used.
124s Get:1 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-stdlib s390x 8.20.0+dfsg-1 [27.0 MB]
128s Get:2 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB]
128s Get:3 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB]
128s Get:4 http://ftpmaster.internal/ubuntu plucky/universe s390x libfindlib-ocaml s390x 1.9.6-3build1 [189 kB]
128s Get:5 http://ftpmaster.internal/ubuntu plucky/universe s390x libzarith-ocaml s390x 1.14-1 [125 kB]
128s Get:6 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-core-ocaml s390x 8.20.0+dfsg-1 [27.2 MB]
129s Get:7 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB]
130s Get:8 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB]
131s Get:9 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB]
132s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB]
132s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB]
132s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB]
132s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB]
133s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B]
133s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B]
133s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB]
133s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB]
133s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB]
133s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB]
133s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB]
133s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB]
133s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB]
134s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB]
134s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB]
135s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B]
135s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B]
135s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB]
135s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB]
136s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-findlib s390x 1.9.6-3build1 [658 kB]
136s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x coq s390x 8.20.0+dfsg-1 [91.2 MB]
145s Fetched 267 MB in 21s (12.9 MB/s)
145s Selecting previously unselected package libcoq-stdlib.
145s (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 ... 55923 files and directories currently installed.)
145s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_s390x.deb ...
145s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
145s Selecting previously unselected package libstdlib-ocaml.
145s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_s390x.deb ...
145s Unpacking libstdlib-ocaml (5.2.0-3) ...
146s Selecting previously unselected package ocaml-base.
146s Preparing to unpack .../02-ocaml-base_5.2.0-3_s390x.deb ...
146s Unpacking ocaml-base (5.2.0-3) ...
146s Selecting previously unselected package libfindlib-ocaml.
146s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_s390x.deb ...
146s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
146s Selecting previously unselected package libzarith-ocaml.
146s Preparing to unpack .../04-libzarith-ocaml_1.14-1_s390x.deb ...
146s Unpacking libzarith-ocaml (1.14-1) ...
146s Selecting previously unselected package libcoq-core-ocaml.
146s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb ...
146s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
146s Selecting previously unselected package libstdlib-ocaml-dev.
146s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ...
146s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
146s Selecting previously unselected package libcompiler-libs-ocaml-dev.
146s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ...
146s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
146s Selecting previously unselected package ocaml-interp.
146s Preparing to unpack .../08-ocaml-interp_5.2.0-3_s390x.deb ...
146s Unpacking ocaml-interp (5.2.0-3) ...
146s Selecting previously unselected package libncurses-dev:s390x.
146s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_s390x.deb ...
146s Unpacking libncurses-dev:s390x (6.5+20250125-2) ...
146s Selecting previously unselected package libisl23:s390x.
146s Preparing to unpack .../10-libisl23_0.27-1_s390x.deb ...
146s Unpacking libisl23:s390x (0.27-1) ...
146s Selecting previously unselected package libmpc3:s390x.
146s Preparing to unpack .../11-libmpc3_1.3.1-1build2_s390x.deb ...
146s Unpacking libmpc3:s390x (1.3.1-1build2) ...
146s Selecting previously unselected package cpp-14-s390x-linux-gnu.
146s Preparing to unpack .../12-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ...
146s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
147s Selecting previously unselected package cpp-14.
147s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_s390x.deb ...
147s Unpacking cpp-14 (14.2.0-17ubuntu1) ...
147s Selecting previously unselected package cpp-s390x-linux-gnu.
147s Preparing to unpack .../14-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ...
147s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
147s Selecting previously unselected package cpp.
147s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ...
147s Unpacking cpp (4:14.2.0-1ubuntu1) ...
147s Selecting previously unselected package libcc1-0:s390x.
147s Preparing to unpack .../16-libcc1-0_15-20250213-1ubuntu1_s390x.deb ...
147s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ...
147s Selecting previously unselected package libgomp1:s390x.
147s Preparing to unpack .../17-libgomp1_15-20250213-1ubuntu1_s390x.deb ...
147s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ...
147s Selecting previously unselected package libitm1:s390x.
147s Preparing to unpack .../18-libitm1_15-20250213-1ubuntu1_s390x.deb ...
147s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ...
147s Selecting previously unselected package libasan8:s390x.
147s Preparing to unpack .../19-libasan8_15-20250213-1ubuntu1_s390x.deb ...
147s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ...
147s Selecting previously unselected package libubsan1:s390x.
147s Preparing to unpack .../20-libubsan1_15-20250213-1ubuntu1_s390x.deb ...
147s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ...
147s Selecting previously unselected package libgcc-14-dev:s390x.
147s Preparing to unpack .../21-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ...
147s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ...
147s Selecting previously unselected package gcc-14-s390x-linux-gnu.
147s Preparing to unpack .../22-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ...
147s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
147s Selecting previously unselected package gcc-14.
147s Preparing to unpack .../23-gcc-14_14.2.0-17ubuntu1_s390x.deb ...
147s Unpacking gcc-14 (14.2.0-17ubuntu1) ...
147s Selecting previously unselected package gcc-s390x-linux-gnu.
147s Preparing to unpack .../24-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ...
147s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
147s Selecting previously unselected package gcc.
147s Preparing to unpack .../25-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ...
147s Unpacking gcc (4:14.2.0-1ubuntu1) ...
147s Selecting previously unselected package libzstd-dev:s390x.
147s Preparing to unpack .../26-libzstd-dev_1.5.6+dfsg-2_s390x.deb ...
147s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ...
147s Selecting previously unselected package ocaml.
147s Preparing to unpack .../27-ocaml_5.2.0-3_s390x.deb ...
147s Unpacking ocaml (5.2.0-3) ...
147s Selecting previously unselected package ocaml-findlib.
147s Preparing to unpack .../28-ocaml-findlib_1.9.6-3build1_s390x.deb ...
147s Unpacking ocaml-findlib (1.9.6-3build1) ...
147s Selecting previously unselected package coq.
147s Preparing to unpack .../29-coq_8.20.0+dfsg-1_s390x.deb ...
147s Unpacking coq (8.20.0+dfsg-1) ...
149s Setting up libncurses-dev:s390x (6.5+20250125-2) ...
149s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ...
149s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ...
149s Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
149s Setting up libstdlib-ocaml (5.2.0-3) ...
149s Setting up libmpc3:s390x (1.3.1-1build2) ...
149s Setting up ocaml-base (5.2.0-3) ...
149s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ...
149s Setting up libasan8:s390x (15-20250213-1ubuntu1) ...
149s Setting up libisl23:s390x (0.27-1) ...
149s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ...
149s Setting up libitm1:s390x (15-20250213-1ubuntu1) ...
149s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
149s Setting up libfindlib-ocaml (1.9.6-3build1) ...
149s Setting up libzarith-ocaml (1.14-1) ...
149s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
149s Setting up ocaml-interp (5.2.0-3) ...
149s Setting up ocaml-findlib (1.9.6-3build1) ...
149s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
149s Setting up cpp-14 (14.2.0-17ubuntu1) ...
149s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
149s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ...
149s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
149s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
149s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
149s Setting up cpp (4:14.2.0-1ubuntu1) ...
149s Setting up gcc-14 (14.2.0-17ubuntu1) ...
149s Setting up gcc (4:14.2.0-1ubuntu1) ...
149s Setting up ocaml (5.2.0-3) ...
149s Setting up coq (8.20.0+dfsg-1) ...
149s Processing triggers for man-db (2.13.0-1) ...
149s Processing triggers for libc-bin (2.40-4ubuntu1) ...
150s autopkgtest [20:11:36]: test compiler: [-----------------------
151s autopkgtest [20:11:37]: test compiler: -----------------------]
151s autopkgtest [20:11:37]: test compiler:  - - - - - - - - - - results - - - - - - - - - -
151s compiler             PASS
152s autopkgtest [20:11:38]: test toplevel: preparing testbed
152s Reading package lists...
152s Building dependency tree...
152s Reading state information...
152s Starting pkgProblemResolver with broken count: 0
152s Starting 2 pkgProblemResolver with broken count: 0
152s Done
152s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
153s autopkgtest [20:11:39]: test toplevel: [-----------------------
153s Welcome to Coq 8.20.0
153s pierce is defined
153s excluded_middle is defined
153s 1 goal
153s   
153s   ============================
153s   pierce <-> excluded_middle
153s 1 goal
153s   
153s   ============================
153s   (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p)
153s 2 goals
153s   
153s   H : forall p q : Prop, ((p -> q) -> p) -> p
153s   p : Prop
153s   ============================
153s   p \/ ~ p
153s 
153s goal 2 is:
153s  p
153s 2 goals
153s   
153s   H : forall p q : Prop, ((p -> q) -> p) -> p
153s   p : Prop
153s   ============================
153s   (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p
153s 
153s goal 2 is:
153s  p
153s 1 goal
153s   
153s   H : forall p : Prop, p \/ ~ p
153s   p, q : Prop
153s   H0 : (p -> q) -> p
153s   ============================
153s   p
153s 2 goals
153s   
153s   H : forall p : Prop, p \/ ~ p
153s   p, q : Prop
153s   H0 : (p -> q) -> p
153s   H1 : p
153s   ============================
153s   p
153s 
153s goal 2 is:
153s  p
153s 1 goal
153s   
153s   H : forall p : Prop, p \/ ~ p
153s   p, q : Prop
153s   H0 : (p -> q) -> p
153s   H1 : ~ p
153s   ============================
153s   p
153s No more goals.
154s autopkgtest [20:11:40]: test toplevel: -----------------------]
154s toplevel             PASS
154s autopkgtest [20:11:40]: test toplevel:  - - - - - - - - - - results - - - - - - - - - -
154s autopkgtest [20:11:40]: @@@@@@@@@@@@@@@@@@@@ summary
154s compiler             PASS
154s toplevel             PASS
171s nova [W] Using flock in prodstack6-s390x
171s Creating nova instance adt-plucky-s390x-coq-20250220-200905-juju-7f2275-prod-proposed-migration-environment-20-de7237c1-b727-4eb1-84f9-0e3b968e9942 from image adt/ubuntu-plucky-s390x-server-20250220.img (UUID dfcfa127-57e0-4f6e-90de-18502ac9dcf4)...
171s nova [W] Timed out waiting for ae94cc82-1e33-43c8-8ca4-377503c67335 to get deleted.