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-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.bwzu0x56/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gmp --apt-upgrade coqprime --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-2@bos03-s390x-21.secgroup --name adt-plucky-s390x-coqprime-20250220-200906-juju-7f2275-prod-proposed-migration-environment-2-e7d39446-4096-4599-b0b1-22bc601cfbbe --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --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/
115s autopkgtest [20:11:01]: testbed dpkg architecture: s390x
115s autopkgtest [20:11:01]: testbed apt version: 2.9.30
115s autopkgtest [20:11:01]: @@@@@@@@@@@@@@@@@@@@ test bed setup
116s autopkgtest [20:11:02]: testbed release detected to be: None
117s autopkgtest [20:11:03]: updating testbed package index (apt update)
117s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB]
118s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
118s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
118s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
118s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B]
118s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB]
118s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB]
118s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB]
118s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [124 kB]
118s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B]
118s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [660 kB]
118s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [4436 B]
118s Fetched 1752 kB in 1s (1627 kB/s)
119s Reading package lists...
120s Reading package lists...
120s Building dependency tree...
120s Reading state information...
120s Calculating upgrade...
120s The following packages were automatically installed and are no longer required:
120s   libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64
120s   linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic
120s   linux-modules-6.11.0-8-generic linux-tools-6.11.0-8
120s   linux-tools-6.11.0-8-generic
120s Use 'sudo apt autoremove' to remove them.
120s The following packages will be upgraded:
120s   cryptsetup-bin inetutils-telnet kbd libcryptsetup12 libssl3t64 openssl
120s   openssl-provider-legacy python3-requests sysconfig-hardware telnet
120s 10 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
120s Need to get 4007 kB of archives.
120s After this operation, 5120 B of additional disk space will be used.
120s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x openssl-provider-legacy s390x 3.4.1-1ubuntu1 [37.9 kB]
120s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libssl3t64 s390x 3.4.1-1ubuntu1 [1889 kB]
121s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x kbd s390x 2.7.1-2ubuntu1 [239 kB]
121s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x openssl s390x 3.4.1-1ubuntu1 [1184 kB]
121s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x inetutils-telnet s390x 2:2.5-6ubuntu1 [111 kB]
121s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x telnet all 0.17+2.5-6ubuntu1 [3694 B]
121s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libcryptsetup12 s390x 2:2.7.5-1ubuntu2 [269 kB]
121s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x cryptsetup-bin s390x 2:2.7.5-1ubuntu2 [216 kB]
121s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB]
121s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x sysconfig-hardware s390x 0.0.14+nmu2ubuntu1 [4884 B]
121s Fetched 4007 kB in 1s (3637 kB/s)
122s (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.)
122s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_s390x.deb ...
122s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ...
122s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ...
122s (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.)
122s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_s390x.deb ...
122s Unpacking libssl3t64:s390x (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ...
122s Setting up libssl3t64:s390x (3.4.1-1ubuntu1) ...
122s (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.)
122s Preparing to unpack .../0-kbd_2.7.1-2ubuntu1_s390x.deb ...
122s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ...
122s Preparing to unpack .../1-openssl_3.4.1-1ubuntu1_s390x.deb ...
122s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ...
122s Preparing to unpack .../2-inetutils-telnet_2%3a2.5-6ubuntu1_s390x.deb ...
122s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ...
122s Preparing to unpack .../3-telnet_0.17+2.5-6ubuntu1_all.deb ...
122s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ...
122s Preparing to unpack .../4-libcryptsetup12_2%3a2.7.5-1ubuntu2_s390x.deb ...
122s Unpacking libcryptsetup12:s390x (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ...
122s Preparing to unpack .../5-cryptsetup-bin_2%3a2.7.5-1ubuntu2_s390x.deb ...
122s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ...
122s Preparing to unpack .../6-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ...
122s /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.
122s   for fn in glob1(directory, "%s.*" % fname):
122s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ...
122s Preparing to unpack .../7-sysconfig-hardware_0.0.14+nmu2ubuntu1_s390x.deb ...
122s Unpacking sysconfig-hardware (0.0.14+nmu2ubuntu1) over (0.0.14ubuntu3) ...
122s Setting up inetutils-telnet (2:2.5-6ubuntu1) ...
122s Setting up sysconfig-hardware (0.0.14+nmu2ubuntu1) ...
122s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ...
122s Setting up libcryptsetup12:s390x (2:2.7.5-1ubuntu2) ...
122s Setting up kbd (2.7.1-2ubuntu1) ...
122s Setting up openssl (3.4.1-1ubuntu1) ...
122s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ...
122s Setting up telnet (0.17+2.5-6ubuntu1) ...
122s Processing triggers for libc-bin (2.40-4ubuntu1) ...
122s Processing triggers for man-db (2.13.0-1) ...
123s Processing triggers for initramfs-tools (0.145ubuntu2) ...
123s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic
123s W: No lz4 in /usr/bin:/sbin:/bin, using gzip
128s Using config file '/etc/zipl.conf'
128s Building bootmap in '/boot'
128s Adding IPL section 'ubuntu' (default)
128s Preparing boot device for LD-IPL: vda (0000).
128s Done.
128s Reading package lists...
128s Building dependency tree...
128s Reading state information...
128s The following packages will be REMOVED:
128s   libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64*
128s   linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic*
128s   linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8*
128s   linux-tools-6.11.0-8-generic*
128s 0 upgraded, 0 newly installed, 9 to remove and 1 not upgraded.
128s After this operation, 167 MB disk space will be freed.
128s (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.)
128s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ...
128s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ...
128s Removing libpython3.12t64:s390x (3.12.9-1) ...
128s Removing libpython3.12-stdlib:s390x (3.12.9-1) ...
128s Removing libnsl2:s390x (1.3.0-3build3) ...
128s Removing libpython3.12-minimal:s390x (3.12.9-1) ...
129s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ...
129s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ...
130s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
130s Processing triggers for libc-bin (2.40-4ubuntu1) ...
130s (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.)
130s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ...
130s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
130s autopkgtest [20:11:16]: upgrading testbed (apt dist-upgrade and autopurge)
130s Reading package lists...
130s Building dependency tree...
130s Reading state information...
131s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
131s Starting 2 pkgProblemResolver with broken count: 0
131s Done
131s Entering ResolveByKeep
131s 
131s The following packages will be upgraded:
131s   libgmp10
131s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
131s Need to get 342 kB of archives.
131s After this operation, 0 B of additional disk space will be used.
131s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libgmp10 s390x 2:6.3.0+dfsg-3ubuntu1 [342 kB]
132s Fetched 342 kB in 0s (724 kB/s)
132s (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.)
132s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_s390x.deb ...
132s Unpacking libgmp10:s390x (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ...
132s Setting up libgmp10:s390x (2:6.3.0+dfsg-3ubuntu1) ...
132s Processing triggers for libc-bin (2.40-4ubuntu1) ...
132s Reading package lists...
132s Building dependency tree...
132s Reading state information...
133s Starting pkgProblemResolver with broken count: 0
133s Starting 2 pkgProblemResolver with broken count: 0
133s Done
133s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
133s autopkgtest [20:11:19]: rebooting testbed after setup commands that affected boot
155s autopkgtest [20:11:41]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb  4 15:05:57 UTC 2025
160s autopkgtest [20:11:46]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime
162s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (dsc) [2178 B]
162s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (tar) [997 kB]
162s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (diff) [3468 B]
163s gpgv: Signature made Thu Jan 23 21:53:28 2025 UTC
163s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
163s gpgv:                issuer "julien.puydt@laposte.net"
163s gpgv: Can't check signature: No public key
163s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.20.1-1.dsc: no acceptable signature found
163s autopkgtest [20:11:49]: testing package coqprime version 8.20.1-1
163s autopkgtest [20:11:49]: build not needed
164s autopkgtest [20:11:50]: test command1: preparing testbed
164s Reading package lists...
164s Building dependency tree...
164s Reading state information...
164s Starting pkgProblemResolver with broken count: 0
164s Starting 2 pkgProblemResolver with broken count: 0
164s Done
164s The following NEW packages will be installed:
164s   coq cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-14
164s   gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0
164s   libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime libcoq-core-ocaml
164s   libcoq-stdlib libfindlib-ocaml libgcc-14-dev libgomp1 libisl23 libitm1
164s   libmpc3 libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev libubsan1
164s   libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib ocaml-interp
165s 0 upgraded, 32 newly installed, 0 to remove and 0 not upgraded.
165s Need to get 271 MB of archives.
165s After this operation, 888 MB of additional disk space will be used.
165s Get:1 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-stdlib s390x 8.20.0+dfsg-1 [27.0 MB]
170s Get:2 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB]
170s Get:3 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB]
170s Get:4 http://ftpmaster.internal/ubuntu plucky/universe s390x libfindlib-ocaml s390x 1.9.6-3build1 [189 kB]
170s Get:5 http://ftpmaster.internal/ubuntu plucky/universe s390x libzarith-ocaml s390x 1.14-1 [125 kB]
170s Get:6 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-core-ocaml s390x 8.20.0+dfsg-1 [27.2 MB]
171s Get:7 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB]
171s Get:8 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB]
173s Get:9 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB]
173s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB]
173s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB]
173s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB]
173s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB]
173s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B]
173s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B]
173s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB]
173s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 15-20250213-1ubuntu1 [49.2 kB]
173s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 15-20250213-1ubuntu1 [151 kB]
173s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 15-20250213-1ubuntu1 [31.2 kB]
173s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 15-20250213-1ubuntu1 [2970 kB]
173s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 15-20250213-1ubuntu1 [1213 kB]
173s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB]
173s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB]
174s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB]
174s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B]
174s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B]
174s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB]
174s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB]
175s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-findlib s390x 1.9.6-3build1 [658 kB]
175s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x coq s390x 8.20.0+dfsg-1 [91.2 MB]
179s Get:31 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-bignums s390x 9.0.0+coq8.20-1build5 [2252 kB]
179s Get:32 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-coqprime s390x 8.20.1-1 [2060 kB]
179s Fetched 271 MB in 15s (18.5 MB/s)
179s Selecting previously unselected package libcoq-stdlib.
180s (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.)
180s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_s390x.deb ...
180s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
180s Selecting previously unselected package libstdlib-ocaml.
180s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_s390x.deb ...
180s Unpacking libstdlib-ocaml (5.2.0-3) ...
180s Selecting previously unselected package ocaml-base.
180s Preparing to unpack .../02-ocaml-base_5.2.0-3_s390x.deb ...
180s Unpacking ocaml-base (5.2.0-3) ...
180s Selecting previously unselected package libfindlib-ocaml.
180s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_s390x.deb ...
180s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
180s Selecting previously unselected package libzarith-ocaml.
180s Preparing to unpack .../04-libzarith-ocaml_1.14-1_s390x.deb ...
180s Unpacking libzarith-ocaml (1.14-1) ...
180s Selecting previously unselected package libcoq-core-ocaml.
180s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb ...
180s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
181s Selecting previously unselected package libstdlib-ocaml-dev.
181s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ...
181s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
181s Selecting previously unselected package libcompiler-libs-ocaml-dev.
181s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ...
181s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
181s Selecting previously unselected package ocaml-interp.
181s Preparing to unpack .../08-ocaml-interp_5.2.0-3_s390x.deb ...
181s Unpacking ocaml-interp (5.2.0-3) ...
181s Selecting previously unselected package libncurses-dev:s390x.
181s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_s390x.deb ...
181s Unpacking libncurses-dev:s390x (6.5+20250125-2) ...
181s Selecting previously unselected package libisl23:s390x.
181s Preparing to unpack .../10-libisl23_0.27-1_s390x.deb ...
181s Unpacking libisl23:s390x (0.27-1) ...
181s Selecting previously unselected package libmpc3:s390x.
181s Preparing to unpack .../11-libmpc3_1.3.1-1build2_s390x.deb ...
181s Unpacking libmpc3:s390x (1.3.1-1build2) ...
181s Selecting previously unselected package cpp-14-s390x-linux-gnu.
181s Preparing to unpack .../12-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ...
181s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
181s Selecting previously unselected package cpp-14.
181s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_s390x.deb ...
181s Unpacking cpp-14 (14.2.0-17ubuntu1) ...
181s Selecting previously unselected package cpp-s390x-linux-gnu.
181s Preparing to unpack .../14-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ...
181s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
181s Selecting previously unselected package cpp.
181s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ...
181s Unpacking cpp (4:14.2.0-1ubuntu1) ...
181s Selecting previously unselected package libcc1-0:s390x.
181s Preparing to unpack .../16-libcc1-0_15-20250213-1ubuntu1_s390x.deb ...
181s Unpacking libcc1-0:s390x (15-20250213-1ubuntu1) ...
181s Selecting previously unselected package libgomp1:s390x.
181s Preparing to unpack .../17-libgomp1_15-20250213-1ubuntu1_s390x.deb ...
181s Unpacking libgomp1:s390x (15-20250213-1ubuntu1) ...
181s Selecting previously unselected package libitm1:s390x.
181s Preparing to unpack .../18-libitm1_15-20250213-1ubuntu1_s390x.deb ...
181s Unpacking libitm1:s390x (15-20250213-1ubuntu1) ...
181s Selecting previously unselected package libasan8:s390x.
181s Preparing to unpack .../19-libasan8_15-20250213-1ubuntu1_s390x.deb ...
181s Unpacking libasan8:s390x (15-20250213-1ubuntu1) ...
181s Selecting previously unselected package libubsan1:s390x.
181s Preparing to unpack .../20-libubsan1_15-20250213-1ubuntu1_s390x.deb ...
181s Unpacking libubsan1:s390x (15-20250213-1ubuntu1) ...
181s Selecting previously unselected package libgcc-14-dev:s390x.
181s Preparing to unpack .../21-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ...
181s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ...
181s Selecting previously unselected package gcc-14-s390x-linux-gnu.
181s Preparing to unpack .../22-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ...
181s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
182s Selecting previously unselected package gcc-14.
182s Preparing to unpack .../23-gcc-14_14.2.0-17ubuntu1_s390x.deb ...
182s Unpacking gcc-14 (14.2.0-17ubuntu1) ...
182s Selecting previously unselected package gcc-s390x-linux-gnu.
182s Preparing to unpack .../24-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ...
182s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
182s Selecting previously unselected package gcc.
182s Preparing to unpack .../25-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ...
182s Unpacking gcc (4:14.2.0-1ubuntu1) ...
182s Selecting previously unselected package libzstd-dev:s390x.
182s Preparing to unpack .../26-libzstd-dev_1.5.6+dfsg-2_s390x.deb ...
182s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ...
182s Selecting previously unselected package ocaml.
182s Preparing to unpack .../27-ocaml_5.2.0-3_s390x.deb ...
182s Unpacking ocaml (5.2.0-3) ...
182s Selecting previously unselected package ocaml-findlib.
182s Preparing to unpack .../28-ocaml-findlib_1.9.6-3build1_s390x.deb ...
182s Unpacking ocaml-findlib (1.9.6-3build1) ...
182s Selecting previously unselected package coq.
182s Preparing to unpack .../29-coq_8.20.0+dfsg-1_s390x.deb ...
182s Unpacking coq (8.20.0+dfsg-1) ...
184s Selecting previously unselected package libcoq-bignums.
184s Preparing to unpack .../30-libcoq-bignums_9.0.0+coq8.20-1build5_s390x.deb ...
184s Unpacking libcoq-bignums (9.0.0+coq8.20-1build5) ...
184s Selecting previously unselected package libcoq-coqprime.
184s Preparing to unpack .../31-libcoq-coqprime_8.20.1-1_s390x.deb ...
184s Unpacking libcoq-coqprime (8.20.1-1) ...
184s Setting up libncurses-dev:s390x (6.5+20250125-2) ...
184s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ...
184s Setting up libgomp1:s390x (15-20250213-1ubuntu1) ...
184s Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
184s Setting up libstdlib-ocaml (5.2.0-3) ...
184s Setting up libmpc3:s390x (1.3.1-1build2) ...
184s Setting up ocaml-base (5.2.0-3) ...
184s Setting up libubsan1:s390x (15-20250213-1ubuntu1) ...
184s Setting up libasan8:s390x (15-20250213-1ubuntu1) ...
184s Setting up libisl23:s390x (0.27-1) ...
184s Setting up libcc1-0:s390x (15-20250213-1ubuntu1) ...
184s Setting up libcoq-bignums (9.0.0+coq8.20-1build5) ...
184s Setting up libitm1:s390x (15-20250213-1ubuntu1) ...
184s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
184s Setting up libfindlib-ocaml (1.9.6-3build1) ...
184s Setting up libzarith-ocaml (1.14-1) ...
184s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
184s Setting up ocaml-interp (5.2.0-3) ...
184s Setting up ocaml-findlib (1.9.6-3build1) ...
184s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
184s Setting up cpp-14 (14.2.0-17ubuntu1) ...
184s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
184s Setting up libcoq-coqprime (8.20.1-1) ...
184s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ...
184s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
184s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
184s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
184s Setting up cpp (4:14.2.0-1ubuntu1) ...
184s Setting up gcc-14 (14.2.0-17ubuntu1) ...
184s Setting up gcc (4:14.2.0-1ubuntu1) ...
184s Setting up ocaml (5.2.0-3) ...
184s Setting up coq (8.20.0+dfsg-1) ...
184s Processing triggers for man-db (2.13.0-1) ...
184s Processing triggers for libc-bin (2.40-4ubuntu1) ...
185s autopkgtest [20:12:11]: test command1: coqtop -batch -rifrom Coqprime PrimalityTest.Pocklington
185s autopkgtest [20:12:11]: test command1: [-----------------------
186s autopkgtest [20:12:12]: test command1: -----------------------]
187s autopkgtest [20:12:13]: test command1:  - - - - - - - - - - results - - - - - - - - - -
187s command1             PASS
187s autopkgtest [20:12:13]: @@@@@@@@@@@@@@@@@@@@ summary
187s command1             PASS
206s nova [W] Using flock in prodstack6-s390x
206s Creating nova instance adt-plucky-s390x-coqprime-20250220-200906-juju-7f2275-prod-proposed-migration-environment-2-e7d39446-4096-4599-b0b1-22bc601cfbbe from image adt/ubuntu-plucky-s390x-server-20250220.img (UUID dfcfa127-57e0-4f6e-90de-18502ac9dcf4)...
206s nova [W] Timed out waiting for 90a5518d-1ef4-4f24-ba2f-a5e7c64be301 to get deleted.