0s autopkgtest [20:11:16]: starting date and time: 2025-02-20 20:11:16+0000
  0s autopkgtest [20:11:16]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production'
  0s autopkgtest [20:11:16]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.k_qrqoah/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-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-ppc64el-10.secgroup --name adt-plucky-ppc64el-coqprime-20250220-201116-juju-7f2275-prod-proposed-migration-environment-20-b5add8a8-1207-435f-8948-3a3e720eb7cf --image adt/ubuntu-plucky-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-proposed-migration-ppc64el -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:13:11]: testbed dpkg architecture: ppc64el
115s autopkgtest [20:13:11]: testbed apt version: 2.9.30
115s autopkgtest [20:13:11]: @@@@@@@@@@@@@@@@@@@@ test bed setup
115s autopkgtest [20:13:11]: testbed release detected to be: None
116s autopkgtest [20:13:12]: updating testbed package index (apt update)
116s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB]
117s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
117s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
117s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
117s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB]
117s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB]
117s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B]
117s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB]
117s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [126 kB]
117s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B]
117s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [677 kB]
117s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [4908 B]
117s Fetched 1771 kB in 1s (1774 kB/s)
118s Reading package lists...
119s Reading package lists...
119s Building dependency tree...
119s Reading state information...
119s Calculating upgrade...
120s The following packages will be upgraded:
120s   cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3
120s   libssl3t64 openssl openssl-provider-legacy powerpc-ibm-utils powerpc-utils
120s   python3-requests telnet
120s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
120s Need to get 10.7 MB of archives.
120s After this operation, 68.6 kB disk space will be freed.
120s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el openssl-provider-legacy ppc64el 3.4.1-1ubuntu1 [44.4 kB]
120s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libssl3t64 ppc64el 3.4.1-1ubuntu1 [2504 kB]
120s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el kbd ppc64el 2.7.1-2ubuntu1 [240 kB]
120s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el openssl ppc64el 3.4.1-1ubuntu1 [1204 kB]
120s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el powerpc-ibm-utils ppc64el 1.3.13-1 [263 kB]
120s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el powerpc-utils ppc64el 1.3.13-1 [1632 B]
120s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el inetutils-telnet ppc64el 2:2.5-6ubuntu1 [121 kB]
120s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el telnet all 0.17+2.5-6ubuntu1 [3694 B]
120s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcryptsetup12 ppc64el 2:2.7.5-1ubuntu2 [386 kB]
120s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el cryptsetup-bin ppc64el 2:2.7.5-1ubuntu2 [234 kB]
120s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el fwupd ppc64el 2.0.6-3 [5481 kB]
121s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfwupd3 ppc64el 2.0.6-3 [137 kB]
121s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB]
121s Fetched 10.7 MB in 1s (9047 kB/s)
121s (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 ... 106370 files and directories currently installed.)
121s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_ppc64el.deb ...
121s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ...
121s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ...
121s (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 ... 106370 files and directories currently installed.)
121s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_ppc64el.deb ...
121s Unpacking libssl3t64:ppc64el (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ...
121s Setting up libssl3t64:ppc64el (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 ... 106369 files and directories currently installed.)
122s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_ppc64el.deb ...
122s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ...
122s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_ppc64el.deb ...
122s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ...
122s Preparing to unpack .../02-powerpc-ibm-utils_1.3.13-1_ppc64el.deb ...
122s Unpacking powerpc-ibm-utils (1.3.13-1) over (1.3.13-0ubuntu1) ...
122s Preparing to unpack .../03-powerpc-utils_1.3.13-1_ppc64el.deb ...
122s Unpacking powerpc-utils (1.3.13-1) over (1.3.13-0ubuntu1) ...
122s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_ppc64el.deb ...
122s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ...
122s Preparing to unpack .../05-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 .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_ppc64el.deb ...
122s Unpacking libcryptsetup12:ppc64el (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ...
122s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_ppc64el.deb ...
122s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ...
122s Preparing to unpack .../08-fwupd_2.0.6-3_ppc64el.deb ...
122s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ...
122s Preparing to unpack .../09-libfwupd3_2.0.6-3_ppc64el.deb ...
122s Unpacking libfwupd3:ppc64el (2.0.6-3) over (2.0.5-1) ...
122s Preparing to unpack .../10-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 Setting up inetutils-telnet (2:2.5-6ubuntu1) ...
122s Setting up powerpc-ibm-utils (1.3.13-1) ...
122s Setting up libfwupd3:ppc64el (2.0.6-3) ...
122s Setting up powerpc-utils (1.3.13-1) ...
122s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ...
122s Setting up libcryptsetup12:ppc64el (2:2.7.5-1ubuntu2) ...
122s Setting up kbd (2.7.1-2ubuntu1) ...
122s Setting up openssl (3.4.1-1ubuntu1) ...
122s Setting up fwupd (2.0.6-3) ...
123s fwupd-refresh.service is a disabled or a static unit not running, not starting it.
123s fwupd.service is a disabled or a static unit not running, not starting it.
123s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ...
123s Setting up telnet (0.17+2.5-6ubuntu1) ...
123s Processing triggers for libc-bin (2.40-4ubuntu1) ...
123s Processing triggers for man-db (2.13.0-1) ...
125s Processing triggers for dbus (1.16.0-1ubuntu1) ...
125s Processing triggers for initramfs-tools (0.145ubuntu2) ...
125s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic
125s W: No lz4 in /usr/bin:/sbin:/bin, using gzip
134s Reading package lists...
134s Building dependency tree...
134s Reading state information...
134s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
134s autopkgtest [20:13:30]: upgrading testbed (apt dist-upgrade and autopurge)
135s Reading package lists...
135s Building dependency tree...
135s Reading state information...
135s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
135s Starting 2 pkgProblemResolver with broken count: 0
135s Done
136s Entering ResolveByKeep
136s 
136s The following packages will be upgraded:
136s   libgmp10
136s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
136s Need to get 283 kB of archives.
136s After this operation, 0 B of additional disk space will be used.
136s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libgmp10 ppc64el 2:6.3.0+dfsg-3ubuntu1 [283 kB]
137s Fetched 283 kB in 0s (670 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 ... 106366 files and directories currently installed.)
137s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_ppc64el.deb ...
137s Unpacking libgmp10:ppc64el (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ...
137s Setting up libgmp10:ppc64el (2:6.3.0+dfsg-3ubuntu1) ...
137s Processing triggers for libc-bin (2.40-4ubuntu1) ...
137s Reading package lists...
137s Building dependency tree...
137s Reading state information...
138s Starting pkgProblemResolver with broken count: 0
138s Starting 2 pkgProblemResolver with broken count: 0
138s Done
138s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
138s autopkgtest [20:13:34]: rebooting testbed after setup commands that affected boot
169s autopkgtest [20:14:05]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb  4 16:32:08 UTC 2025
172s autopkgtest [20:14:08]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime
175s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (dsc) [2178 B]
175s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (tar) [997 kB]
175s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (diff) [3468 B]
175s gpgv: Signature made Thu Jan 23 21:53:28 2025 UTC
175s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
175s gpgv:                issuer "julien.puydt@laposte.net"
175s gpgv: Can't check signature: No public key
175s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.20.1-1.dsc: no acceptable signature found
175s autopkgtest [20:14:11]: testing package coqprime version 8.20.1-1
176s autopkgtest [20:14:12]: build not needed
176s autopkgtest [20:14:12]: test command1: preparing testbed
177s Reading package lists...
177s Building dependency tree...
177s Reading state information...
177s Starting pkgProblemResolver with broken count: 0
177s Starting 2 pkgProblemResolver with broken count: 0
177s Done
177s The following NEW packages will be installed:
177s   coq cpp cpp-14 cpp-14-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu gcc
177s   gcc-14 gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu libasan8
177s   libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime
177s   libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml libgcc-14-dev libgomp1
177s   libisl23 libitm1 liblsan0 libmpc3 libncurses-dev libquadmath0
177s   libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml
177s   libzstd-dev ocaml ocaml-base ocaml-findlib ocaml-interp
178s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded.
178s Need to get 282 MB of archives.
178s After this operation, 932 MB of additional disk space will be used.
178s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-stdlib ppc64el 8.20.0+dfsg-1 [27.0 MB]
179s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.2.0-3 [446 kB]
179s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.2.0-3 [347 kB]
179s Get:4 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libfindlib-ocaml ppc64el 1.9.6-3build1 [187 kB]
179s Get:5 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libzarith-ocaml ppc64el 1.14-1 [129 kB]
179s Get:6 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-core-ocaml ppc64el 8.20.0+dfsg-1 [27.1 MB]
180s Get:7 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.2.0-3 [11.1 MB]
180s Get:8 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.2.0-3 [47.1 MB]
181s Get:9 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.2.0-3 [8077 kB]
182s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB]
182s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB]
182s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB]
182s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [10.5 MB]
182s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu1 [1038 B]
182s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B]
182s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB]
182s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB]
182s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB]
182s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB]
182s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB]
182s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB]
182s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB]
182s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB]
182s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB]
182s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu1 [1620 kB]
182s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [20.6 MB]
183s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu1 [536 kB]
183s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B]
183s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B]
183s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB]
183s Get:31 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.2.0-3 [20.1 MB]
183s Get:32 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-findlib ppc64el 1.9.6-3build1 [686 kB]
183s Get:33 http://ftpmaster.internal/ubuntu plucky/universe ppc64el coq ppc64el 8.20.0+dfsg-1 [91.5 MB]
186s Get:34 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-bignums ppc64el 9.0.0+coq8.20-1build5 [2252 kB]
186s Get:35 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-coqprime ppc64el 8.20.1-1 [2060 kB]
187s Fetched 282 MB in 9s (31.9 MB/s)
187s Selecting previously unselected package libcoq-stdlib.
187s (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 ... 106366 files and directories currently installed.)
187s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb ...
187s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
188s Selecting previously unselected package libstdlib-ocaml.
188s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_ppc64el.deb ...
188s Unpacking libstdlib-ocaml (5.2.0-3) ...
188s Selecting previously unselected package ocaml-base.
188s Preparing to unpack .../02-ocaml-base_5.2.0-3_ppc64el.deb ...
188s Unpacking ocaml-base (5.2.0-3) ...
188s Selecting previously unselected package libfindlib-ocaml.
188s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_ppc64el.deb ...
188s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
188s Selecting previously unselected package libzarith-ocaml.
188s Preparing to unpack .../04-libzarith-ocaml_1.14-1_ppc64el.deb ...
188s Unpacking libzarith-ocaml (1.14-1) ...
188s Selecting previously unselected package libcoq-core-ocaml.
188s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb ...
188s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
188s Selecting previously unselected package libstdlib-ocaml-dev.
188s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_ppc64el.deb ...
188s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
189s Selecting previously unselected package libcompiler-libs-ocaml-dev.
189s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_ppc64el.deb ...
189s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
189s Selecting previously unselected package ocaml-interp.
189s Preparing to unpack .../08-ocaml-interp_5.2.0-3_ppc64el.deb ...
189s Unpacking ocaml-interp (5.2.0-3) ...
189s Selecting previously unselected package libncurses-dev:ppc64el.
189s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_ppc64el.deb ...
189s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ...
189s Selecting previously unselected package libisl23:ppc64el.
189s Preparing to unpack .../10-libisl23_0.27-1_ppc64el.deb ...
189s Unpacking libisl23:ppc64el (0.27-1) ...
189s Selecting previously unselected package libmpc3:ppc64el.
189s Preparing to unpack .../11-libmpc3_1.3.1-1build2_ppc64el.deb ...
189s Unpacking libmpc3:ppc64el (1.3.1-1build2) ...
189s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu.
189s Preparing to unpack .../12-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ...
189s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ...
189s Selecting previously unselected package cpp-14.
189s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_ppc64el.deb ...
189s Unpacking cpp-14 (14.2.0-17ubuntu1) ...
189s Selecting previously unselected package cpp-powerpc64le-linux-gnu.
189s Preparing to unpack .../14-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ...
189s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ...
189s Selecting previously unselected package cpp.
190s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ...
190s Unpacking cpp (4:14.2.0-1ubuntu1) ...
190s Selecting previously unselected package libcc1-0:ppc64el.
190s Preparing to unpack .../16-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ...
190s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ...
190s Selecting previously unselected package libgomp1:ppc64el.
190s Preparing to unpack .../17-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ...
190s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ...
190s Selecting previously unselected package libitm1:ppc64el.
190s Preparing to unpack .../18-libitm1_15-20250213-1ubuntu1_ppc64el.deb ...
190s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ...
190s Selecting previously unselected package libasan8:ppc64el.
190s Preparing to unpack .../19-libasan8_15-20250213-1ubuntu1_ppc64el.deb ...
190s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ...
190s Selecting previously unselected package liblsan0:ppc64el.
190s Preparing to unpack .../20-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ...
190s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ...
190s Selecting previously unselected package libtsan2:ppc64el.
190s Preparing to unpack .../21-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ...
190s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ...
190s Selecting previously unselected package libubsan1:ppc64el.
190s Preparing to unpack .../22-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ...
190s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ...
190s Selecting previously unselected package libquadmath0:ppc64el.
190s Preparing to unpack .../23-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ...
190s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ...
190s Selecting previously unselected package libgcc-14-dev:ppc64el.
190s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu1_ppc64el.deb ...
190s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ...
190s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu.
190s Preparing to unpack .../25-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ...
190s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ...
190s Selecting previously unselected package gcc-14.
190s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu1_ppc64el.deb ...
190s Unpacking gcc-14 (14.2.0-17ubuntu1) ...
190s Selecting previously unselected package gcc-powerpc64le-linux-gnu.
190s Preparing to unpack .../27-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ...
190s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ...
190s Selecting previously unselected package gcc.
190s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ...
190s Unpacking gcc (4:14.2.0-1ubuntu1) ...
190s Selecting previously unselected package libzstd-dev:ppc64el.
190s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ...
190s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ...
190s Selecting previously unselected package ocaml.
190s Preparing to unpack .../30-ocaml_5.2.0-3_ppc64el.deb ...
190s Unpacking ocaml (5.2.0-3) ...
191s Selecting previously unselected package ocaml-findlib.
191s Preparing to unpack .../31-ocaml-findlib_1.9.6-3build1_ppc64el.deb ...
191s Unpacking ocaml-findlib (1.9.6-3build1) ...
191s Selecting previously unselected package coq.
191s Preparing to unpack .../32-coq_8.20.0+dfsg-1_ppc64el.deb ...
191s Unpacking coq (8.20.0+dfsg-1) ...
192s Selecting previously unselected package libcoq-bignums.
192s Preparing to unpack .../33-libcoq-bignums_9.0.0+coq8.20-1build5_ppc64el.deb ...
192s Unpacking libcoq-bignums (9.0.0+coq8.20-1build5) ...
192s Selecting previously unselected package libcoq-coqprime.
192s Preparing to unpack .../34-libcoq-coqprime_8.20.1-1_ppc64el.deb ...
192s Unpacking libcoq-coqprime (8.20.1-1) ...
192s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ...
192s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ...
192s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ...
192s Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
192s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ...
192s Setting up libstdlib-ocaml (5.2.0-3) ...
192s Setting up libmpc3:ppc64el (1.3.1-1build2) ...
192s Setting up ocaml-base (5.2.0-3) ...
192s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ...
192s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ...
192s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ...
192s Setting up libisl23:ppc64el (0.27-1) ...
192s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ...
192s Setting up libcoq-bignums (9.0.0+coq8.20-1build5) ...
192s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ...
192s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ...
192s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
192s Setting up libfindlib-ocaml (1.9.6-3build1) ...
192s Setting up libzarith-ocaml (1.14-1) ...
192s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
192s Setting up ocaml-interp (5.2.0-3) ...
192s Setting up ocaml-findlib (1.9.6-3build1) ...
192s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ...
192s Setting up cpp-14 (14.2.0-17ubuntu1) ...
192s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
192s Setting up libcoq-coqprime (8.20.1-1) ...
192s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ...
192s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ...
192s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ...
192s Setting up gcc-14 (14.2.0-17ubuntu1) ...
192s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ...
192s Setting up cpp (4:14.2.0-1ubuntu1) ...
192s Setting up gcc (4:14.2.0-1ubuntu1) ...
192s Setting up ocaml (5.2.0-3) ...
192s Setting up coq (8.20.0+dfsg-1) ...
192s Processing triggers for man-db (2.13.0-1) ...
193s Processing triggers for libc-bin (2.40-4ubuntu1) ...
195s autopkgtest [20:14:31]: test command1: coqtop -batch -rifrom Coqprime PrimalityTest.Pocklington
195s autopkgtest [20:14:31]: test command1: [-----------------------
196s autopkgtest [20:14:32]: test command1: -----------------------]
196s autopkgtest [20:14:32]: test command1:  - - - - - - - - - - results - - - - - - - - - -
196s command1             PASS
197s autopkgtest [20:14:33]: @@@@@@@@@@@@@@@@@@@@ summary
197s command1             PASS
201s nova [W] Using flock in prodstack6-ppc64el
201s Creating nova instance adt-plucky-ppc64el-coqprime-20250220-201116-juju-7f2275-prod-proposed-migration-environment-20-b5add8a8-1207-435f-8948-3a3e720eb7cf from image adt/ubuntu-plucky-ppc64el-server-20250220.img (UUID 8cc835a1-8e62-4357-a4cf-395725ecab4d)...
201s nova [W] Timed out waiting for 44e27ba6-492c-4612-9eb8-b2cf064eb17c to get deleted.