0s autopkgtest [22:16:09]: starting date and time: 2024-06-28 22:16:09+0000
  0s autopkgtest [22:16:09]: git checkout: 85adf9a1 setup-testbed: prevent /tmp from getting a tmpfs mount
  0s autopkgtest [22:16:09]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.452t67us/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade coqprime --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.39-3.1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos01-s390x-5.secgroup --name adt-oracular-s390x-coqprime-20240628-221609-juju-7f2275-prod-proposed-migration-environment-2-fd51a25f-121d-4cfd-a13a-71aba6730d91 --image adt/ubuntu-oracular-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -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'"'"'' --mirror=http://us.ports.ubuntu.com/ubuntu-ports/
203s autopkgtest [22:19:32]: testbed dpkg architecture: s390x
204s autopkgtest [22:19:33]: testbed apt version: 2.9.5
204s autopkgtest [22:19:33]: @@@@@@@@@@@@@@@@@@@@ test bed setup
207s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [110 kB]
208s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [52.6 kB]
208s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [375 kB]
208s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B]
208s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [7052 B]
208s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x Packages [91.0 kB]
208s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/restricted s390x Packages [1368 B]
208s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/universe s390x Packages [385 kB]
208s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse s390x Packages [1768 B]
208s Fetched 1026 kB in 1s (1300 kB/s)
208s Reading package lists...
219s Reading package lists...
219s Building dependency tree...
219s Reading state information...
220s Calculating upgrade...
220s The following packages will be upgraded:
220s   libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales
220s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
220s Need to get 9391 kB of archives.
220s After this operation, 102 kB of additional disk space will be used.
220s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libc-devtools s390x 2.39-3.1ubuntu2 [30.7 kB]
220s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libc6-dev s390x 2.39-3.1ubuntu2 [1626 kB]
221s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libc-dev-bin s390x 2.39-3.1ubuntu2 [20.2 kB]
221s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libc6 s390x 2.39-3.1ubuntu2 [2839 kB]
221s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x libc-bin s390x 2.39-3.1ubuntu2 [655 kB]
221s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main s390x locales all 2.39-3.1ubuntu2 [4220 kB]
221s Preconfiguring packages ...
221s Fetched 9391 kB in 1s (7457 kB/s)
222s (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 ... 54656 files and directories currently installed.)
222s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu2_s390x.deb ...
222s Unpacking libc-devtools (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
222s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu2_s390x.deb ...
222s Unpacking libc6-dev:s390x (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
222s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu2_s390x.deb ...
222s Unpacking libc-dev-bin (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
222s Preparing to unpack .../libc6_2.39-3.1ubuntu2_s390x.deb ...
222s Unpacking libc6:s390x (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
222s Setting up libc6:s390x (2.39-3.1ubuntu2) ...
223s (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 ... 54656 files and directories currently installed.)
223s Preparing to unpack .../libc-bin_2.39-3.1ubuntu2_s390x.deb ...
223s Unpacking libc-bin (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
223s Setting up libc-bin (2.39-3.1ubuntu2) ...
223s (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 ... 54656 files and directories currently installed.)
223s Preparing to unpack .../locales_2.39-3.1ubuntu2_all.deb ...
223s Unpacking locales (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
223s Setting up locales (2.39-3.1ubuntu2) ...
223s Generating locales (this might take a while)...
225s   en_US.UTF-8... done
225s Generation complete.
225s Setting up libc-dev-bin (2.39-3.1ubuntu2) ...
225s Setting up libc-devtools (2.39-3.1ubuntu2) ...
225s Setting up libc6-dev:s390x (2.39-3.1ubuntu2) ...
225s Processing triggers for man-db (2.12.1-2) ...
226s Reading package lists...
226s Building dependency tree...
226s Reading state information...
227s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
227s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease
227s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease
227s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease
227s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease
228s Reading package lists...
228s Reading package lists...
228s Building dependency tree...
228s Reading state information...
229s Calculating upgrade...
229s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
229s Reading package lists...
229s Building dependency tree...
229s Reading state information...
229s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
243s autopkgtest [22:20:12]: testbed running kernel: Linux 6.8.0-31-generic #31-Ubuntu SMP Sat Apr 20 00:14:26 UTC 2024
248s autopkgtest [22:20:17]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime
273s Get:1 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (dsc) [2148 B]
273s Get:2 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (tar) [997 kB]
273s Get:3 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (diff) [3388 B]
273s gpgv: Signature made Sat Jun 15 14:38:47 2024 UTC
273s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
273s gpgv: Can't check signature: No public key
273s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.19-1build2.dsc: no acceptable signature found
274s autopkgtest [22:20:43]: testing package coqprime version 8.19-1build2
274s autopkgtest [22:20:43]: build not needed
275s autopkgtest [22:20:44]: test command1: preparing testbed
300s Reading package lists...
300s Building dependency tree...
300s Reading state information...
300s Starting pkgProblemResolver with broken count: 0
300s Starting 2 pkgProblemResolver with broken count: 0
300s Done
300s The following additional packages will be installed:
300s   coq cpp cpp-13 cpp-13-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-13
300s   gcc-13-base gcc-13-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libatomic1
300s   libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime
300s   libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml libgcc-13-dev libgomp1
300s   libisl23 libitm1 libmpc3 libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev
300s   libubsan1 libzarith-ocaml ocaml ocaml-base ocaml-findlib ocaml-interp
300s Suggested packages:
300s   coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why
300s   coq-doc cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf
300s   automake libtool flex bison gdb gcc-doc gcc-13-multilib gcc-13-doc
300s   gdb-s390x-linux-gnu ncurses-doc ocaml-doc elpa-tuareg camlp4
300s Recommended packages:
300s   ocaml-man libfindlib-ocaml-dev ledit | readline-editor
300s The following NEW packages will be installed:
300s   autopkgtest-satdep coq cpp cpp-13 cpp-13-s390x-linux-gnu cpp-s390x-linux-gnu
300s   gcc gcc-13 gcc-13-base gcc-13-s390x-linux-gnu gcc-s390x-linux-gnu libasan8
300s   libatomic1 libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums
300s   libcoq-coqprime libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml
300s   libgcc-13-dev libgomp1 libisl23 libitm1 libmpc3 libncurses-dev
300s   libstdlib-ocaml libstdlib-ocaml-dev libubsan1 libzarith-ocaml ocaml
300s   ocaml-base ocaml-findlib ocaml-interp
300s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded.
300s Need to get 328 MB/328 MB of archives.
300s After this operation, 1166 MB of additional disk space will be used.
300s Get:1 /tmp/autopkgtest.A0zUtE/1-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [716 B]
301s Get:2 http://ftpmaster.internal/ubuntu oracular/universe s390x libcoq-stdlib s390x 8.19.1+dfsg-2 [27.0 MB]
305s Get:3 http://ftpmaster.internal/ubuntu oracular/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB]
305s Get:4 http://ftpmaster.internal/ubuntu oracular/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB]
305s Get:5 http://ftpmaster.internal/ubuntu oracular/universe s390x libfindlib-ocaml s390x 1.9.6-2 [198 kB]
305s Get:6 http://ftpmaster.internal/ubuntu oracular/universe s390x libzarith-ocaml s390x 1.13-2build4 [125 kB]
305s Get:7 http://ftpmaster.internal/ubuntu oracular/universe s390x libcoq-core-ocaml s390x 8.19.1+dfsg-2 [27.6 MB]
306s Get:8 http://ftpmaster.internal/ubuntu oracular/universe s390x libstdlib-ocaml-dev s390x 4.14.1-1ubuntu1 [8204 kB]
306s Get:9 http://ftpmaster.internal/ubuntu oracular/universe s390x libcompiler-libs-ocaml-dev s390x 4.14.1-1ubuntu1 [37.5 MB]
307s Get:10 http://ftpmaster.internal/ubuntu oracular/universe s390x ocaml-interp s390x 4.14.1-1ubuntu1 [7825 kB]
307s Get:11 http://ftpmaster.internal/ubuntu oracular/main s390x libncurses-dev s390x 6.5-2 [404 kB]
307s Get:12 http://ftpmaster.internal/ubuntu oracular/main s390x gcc-13-base s390x 13.2.0-23ubuntu4 [48.9 kB]
307s Get:13 http://ftpmaster.internal/ubuntu oracular/main s390x libisl23 s390x 0.26-3build1 [713 kB]
307s Get:14 http://ftpmaster.internal/ubuntu oracular/main s390x libmpc3 s390x 1.3.1-1build1 [58.4 kB]
307s Get:15 http://ftpmaster.internal/ubuntu oracular/main s390x cpp-13-s390x-linux-gnu s390x 13.2.0-23ubuntu4 [9939 kB]
308s Get:16 http://ftpmaster.internal/ubuntu oracular/main s390x cpp-13 s390x 13.2.0-23ubuntu4 [1030 B]
308s Get:17 http://ftpmaster.internal/ubuntu oracular/main s390x cpp-s390x-linux-gnu s390x 4:13.2.0-7ubuntu1 [5308 B]
308s Get:18 http://ftpmaster.internal/ubuntu oracular/main s390x cpp s390x 4:13.2.0-7ubuntu1 [22.4 kB]
308s Get:19 http://ftpmaster.internal/ubuntu oracular/main s390x libcc1-0 s390x 14.1.0-1ubuntu1 [50.7 kB]
308s Get:20 http://ftpmaster.internal/ubuntu oracular/main s390x libgomp1 s390x 14.1.0-1ubuntu1 [151 kB]
308s Get:21 http://ftpmaster.internal/ubuntu oracular/main s390x libitm1 s390x 14.1.0-1ubuntu1 [31.1 kB]
308s Get:22 http://ftpmaster.internal/ubuntu oracular/main s390x libatomic1 s390x 14.1.0-1ubuntu1 [9378 B]
308s Get:23 http://ftpmaster.internal/ubuntu oracular/main s390x libasan8 s390x 14.1.0-1ubuntu1 [3003 kB]
308s Get:24 http://ftpmaster.internal/ubuntu oracular/main s390x libubsan1 s390x 14.1.0-1ubuntu1 [1189 kB]
308s Get:25 http://ftpmaster.internal/ubuntu oracular/main s390x libgcc-13-dev s390x 13.2.0-23ubuntu4 [1004 kB]
308s Get:26 http://ftpmaster.internal/ubuntu oracular/main s390x gcc-13-s390x-linux-gnu s390x 13.2.0-23ubuntu4 [19.1 MB]
309s Get:27 http://ftpmaster.internal/ubuntu oracular/main s390x gcc-13 s390x 13.2.0-23ubuntu4 [472 kB]
309s Get:28 http://ftpmaster.internal/ubuntu oracular/main s390x gcc-s390x-linux-gnu s390x 4:13.2.0-7ubuntu1 [1208 B]
309s Get:29 http://ftpmaster.internal/ubuntu oracular/main s390x gcc s390x 4:13.2.0-7ubuntu1 [5014 B]
309s Get:30 http://ftpmaster.internal/ubuntu oracular/universe s390x ocaml s390x 4.14.1-1ubuntu1 [82.0 MB]
318s Get:31 http://ftpmaster.internal/ubuntu oracular/universe s390x ocaml-findlib s390x 1.9.6-2 [575 kB]
318s Get:32 http://ftpmaster.internal/ubuntu oracular/universe s390x coq s390x 8.19.1+dfsg-2 [96.2 MB]
340s Get:33 http://ftpmaster.internal/ubuntu oracular/universe s390x libcoq-bignums s390x 9.0.0+coq8.19-1build1 [2262 kB]
340s Get:34 http://ftpmaster.internal/ubuntu oracular/universe s390x libcoq-coqprime s390x 8.19-1build2 [2073 kB]
340s Fetched 328 MB in 28s (11.7 MB/s)
340s Selecting previously unselected package libcoq-stdlib.
340s (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 ... 54656 files and directories currently installed.)
340s Preparing to unpack .../00-libcoq-stdlib_8.19.1+dfsg-2_s390x.deb ...
340s Unpacking libcoq-stdlib (8.19.1+dfsg-2) ...
340s Selecting previously unselected package libstdlib-ocaml.
340s Preparing to unpack .../01-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ...
340s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ...
340s Selecting previously unselected package ocaml-base.
340s Preparing to unpack .../02-ocaml-base_4.14.1-1ubuntu1_s390x.deb ...
340s Unpacking ocaml-base (4.14.1-1ubuntu1) ...
340s Selecting previously unselected package libfindlib-ocaml.
340s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-2_s390x.deb ...
340s Unpacking libfindlib-ocaml (1.9.6-2) ...
340s Selecting previously unselected package libzarith-ocaml.
340s Preparing to unpack .../04-libzarith-ocaml_1.13-2build4_s390x.deb ...
340s Unpacking libzarith-ocaml (1.13-2build4) ...
340s Selecting previously unselected package libcoq-core-ocaml.
340s Preparing to unpack .../05-libcoq-core-ocaml_8.19.1+dfsg-2_s390x.deb ...
340s Unpacking libcoq-core-ocaml (8.19.1+dfsg-2) ...
340s Selecting previously unselected package libstdlib-ocaml-dev.
340s Preparing to unpack .../06-libstdlib-ocaml-dev_4.14.1-1ubuntu1_s390x.deb ...
340s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
340s Selecting previously unselected package libcompiler-libs-ocaml-dev.
340s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_s390x.deb ...
340s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
340s Selecting previously unselected package ocaml-interp.
340s Preparing to unpack .../08-ocaml-interp_4.14.1-1ubuntu1_s390x.deb ...
340s Unpacking ocaml-interp (4.14.1-1ubuntu1) ...
340s Selecting previously unselected package libncurses-dev:s390x.
340s Preparing to unpack .../09-libncurses-dev_6.5-2_s390x.deb ...
340s Unpacking libncurses-dev:s390x (6.5-2) ...
340s Selecting previously unselected package gcc-13-base:s390x.
340s Preparing to unpack .../10-gcc-13-base_13.2.0-23ubuntu4_s390x.deb ...
340s Unpacking gcc-13-base:s390x (13.2.0-23ubuntu4) ...
340s Selecting previously unselected package libisl23:s390x.
340s Preparing to unpack .../11-libisl23_0.26-3build1_s390x.deb ...
340s Unpacking libisl23:s390x (0.26-3build1) ...
340s Selecting previously unselected package libmpc3:s390x.
340s Preparing to unpack .../12-libmpc3_1.3.1-1build1_s390x.deb ...
340s Unpacking libmpc3:s390x (1.3.1-1build1) ...
340s Selecting previously unselected package cpp-13-s390x-linux-gnu.
340s Preparing to unpack .../13-cpp-13-s390x-linux-gnu_13.2.0-23ubuntu4_s390x.deb ...
340s Unpacking cpp-13-s390x-linux-gnu (13.2.0-23ubuntu4) ...
340s Selecting previously unselected package cpp-13.
340s Preparing to unpack .../14-cpp-13_13.2.0-23ubuntu4_s390x.deb ...
340s Unpacking cpp-13 (13.2.0-23ubuntu4) ...
340s Selecting previously unselected package cpp-s390x-linux-gnu.
340s Preparing to unpack .../15-cpp-s390x-linux-gnu_4%3a13.2.0-7ubuntu1_s390x.deb ...
340s Unpacking cpp-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
340s Selecting previously unselected package cpp.
340s Preparing to unpack .../16-cpp_4%3a13.2.0-7ubuntu1_s390x.deb ...
340s Unpacking cpp (4:13.2.0-7ubuntu1) ...
340s Selecting previously unselected package libcc1-0:s390x.
340s Preparing to unpack .../17-libcc1-0_14.1.0-1ubuntu1_s390x.deb ...
340s Unpacking libcc1-0:s390x (14.1.0-1ubuntu1) ...
340s Selecting previously unselected package libgomp1:s390x.
340s Preparing to unpack .../18-libgomp1_14.1.0-1ubuntu1_s390x.deb ...
340s Unpacking libgomp1:s390x (14.1.0-1ubuntu1) ...
340s Selecting previously unselected package libitm1:s390x.
340s Preparing to unpack .../19-libitm1_14.1.0-1ubuntu1_s390x.deb ...
340s Unpacking libitm1:s390x (14.1.0-1ubuntu1) ...
340s Selecting previously unselected package libatomic1:s390x.
340s Preparing to unpack .../20-libatomic1_14.1.0-1ubuntu1_s390x.deb ...
340s Unpacking libatomic1:s390x (14.1.0-1ubuntu1) ...
340s Selecting previously unselected package libasan8:s390x.
340s Preparing to unpack .../21-libasan8_14.1.0-1ubuntu1_s390x.deb ...
340s Unpacking libasan8:s390x (14.1.0-1ubuntu1) ...
340s Selecting previously unselected package libubsan1:s390x.
340s Preparing to unpack .../22-libubsan1_14.1.0-1ubuntu1_s390x.deb ...
340s Unpacking libubsan1:s390x (14.1.0-1ubuntu1) ...
340s Selecting previously unselected package libgcc-13-dev:s390x.
340s Preparing to unpack .../23-libgcc-13-dev_13.2.0-23ubuntu4_s390x.deb ...
340s Unpacking libgcc-13-dev:s390x (13.2.0-23ubuntu4) ...
340s Selecting previously unselected package gcc-13-s390x-linux-gnu.
340s Preparing to unpack .../24-gcc-13-s390x-linux-gnu_13.2.0-23ubuntu4_s390x.deb ...
340s Unpacking gcc-13-s390x-linux-gnu (13.2.0-23ubuntu4) ...
340s Selecting previously unselected package gcc-13.
340s Preparing to unpack .../25-gcc-13_13.2.0-23ubuntu4_s390x.deb ...
340s Unpacking gcc-13 (13.2.0-23ubuntu4) ...
340s Selecting previously unselected package gcc-s390x-linux-gnu.
340s Preparing to unpack .../26-gcc-s390x-linux-gnu_4%3a13.2.0-7ubuntu1_s390x.deb ...
340s Unpacking gcc-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
340s Selecting previously unselected package gcc.
340s Preparing to unpack .../27-gcc_4%3a13.2.0-7ubuntu1_s390x.deb ...
340s Unpacking gcc (4:13.2.0-7ubuntu1) ...
340s Selecting previously unselected package ocaml.
340s Preparing to unpack .../28-ocaml_4.14.1-1ubuntu1_s390x.deb ...
340s Unpacking ocaml (4.14.1-1ubuntu1) ...
340s Selecting previously unselected package ocaml-findlib.
340s Preparing to unpack .../29-ocaml-findlib_1.9.6-2_s390x.deb ...
340s Unpacking ocaml-findlib (1.9.6-2) ...
340s Selecting previously unselected package coq.
340s Preparing to unpack .../30-coq_8.19.1+dfsg-2_s390x.deb ...
340s Unpacking coq (8.19.1+dfsg-2) ...
340s Selecting previously unselected package libcoq-bignums.
340s Preparing to unpack .../31-libcoq-bignums_9.0.0+coq8.19-1build1_s390x.deb ...
340s Unpacking libcoq-bignums (9.0.0+coq8.19-1build1) ...
340s Selecting previously unselected package libcoq-coqprime.
340s Preparing to unpack .../32-libcoq-coqprime_8.19-1build2_s390x.deb ...
340s Unpacking libcoq-coqprime (8.19-1build2) ...
340s Selecting previously unselected package autopkgtest-satdep.
340s Preparing to unpack .../33-1-autopkgtest-satdep.deb ...
340s Unpacking autopkgtest-satdep (0) ...
340s Setting up libncurses-dev:s390x (6.5-2) ...
340s Setting up libgomp1:s390x (14.1.0-1ubuntu1) ...
340s Setting up libcoq-stdlib (8.19.1+dfsg-2) ...
340s Setting up gcc-13-base:s390x (13.2.0-23ubuntu4) ...
340s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ...
340s Setting up libmpc3:s390x (1.3.1-1build1) ...
340s Setting up libatomic1:s390x (14.1.0-1ubuntu1) ...
340s Setting up ocaml-base (4.14.1-1ubuntu1) ...
340s Setting up libubsan1:s390x (14.1.0-1ubuntu1) ...
340s Setting up libasan8:s390x (14.1.0-1ubuntu1) ...
340s Setting up libisl23:s390x (0.26-3build1) ...
340s Setting up libcc1-0:s390x (14.1.0-1ubuntu1) ...
340s Setting up libcoq-bignums (9.0.0+coq8.19-1build1) ...
340s Setting up libitm1:s390x (14.1.0-1ubuntu1) ...
340s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
340s Setting up libfindlib-ocaml (1.9.6-2) ...
340s Setting up libzarith-ocaml (1.13-2build4) ...
340s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
340s Setting up ocaml-interp (4.14.1-1ubuntu1) ...
340s Setting up cpp-13-s390x-linux-gnu (13.2.0-23ubuntu4) ...
340s Setting up ocaml-findlib (1.9.6-2) ...
340s Setting up libgcc-13-dev:s390x (13.2.0-23ubuntu4) ...
340s Setting up libcoq-core-ocaml (8.19.1+dfsg-2) ...
340s Setting up libcoq-coqprime (8.19-1build2) ...
340s Setting up cpp-13 (13.2.0-23ubuntu4) ...
340s Setting up cpp-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
340s Setting up gcc-13-s390x-linux-gnu (13.2.0-23ubuntu4) ...
340s Setting up gcc-s390x-linux-gnu (4:13.2.0-7ubuntu1) ...
340s Setting up gcc-13 (13.2.0-23ubuntu4) ...
340s Setting up cpp (4:13.2.0-7ubuntu1) ...
340s Setting up gcc (4:13.2.0-7ubuntu1) ...
340s Setting up ocaml (4.14.1-1ubuntu1) ...
340s Setting up coq (8.19.1+dfsg-2) ...
340s Setting up autopkgtest-satdep (0) ...
340s Processing triggers for man-db (2.12.1-2) ...
340s Processing triggers for libc-bin (2.39-3.1ubuntu2) ...
346s (Reading database ... 60935 files and directories currently installed.)
346s Removing autopkgtest-satdep (0) ...
347s autopkgtest [22:21:56]: test command1: coqtop -batch -rifrom Coqprime PrimalityTest.Pocklington
347s autopkgtest [22:21:56]: test command1: [-----------------------
348s autopkgtest [22:21:57]: test command1: -----------------------]
349s command1             PASS
349s autopkgtest [22:21:58]: test command1:  - - - - - - - - - - results - - - - - - - - - -
350s autopkgtest [22:21:59]: @@@@@@@@@@@@@@@@@@@@ summary
350s command1             PASS
458s nova [W] Using flock in scalingstack-bos01-s390x
458s Creating nova instance adt-oracular-s390x-coqprime-20240628-221609-juju-7f2275-prod-proposed-migration-environment-2-fd51a25f-121d-4cfd-a13a-71aba6730d91 from image adt/ubuntu-oracular-s390x-server-20240628.img (UUID 4ed42451-c14a-482e-9018-15cbe81c77f7)...