0s autopkgtest [20:37:55]: starting date and time: 2024-06-28 20:37:55+0000
  0s autopkgtest [20:37:55]: git checkout: 85adf9a1 setup-testbed: prevent /tmp from getting a tmpfs mount
  0s autopkgtest [20:37:55]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.3cnvqfq4/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@bos03-arm64-1.secgroup --name adt-oracular-arm64-coqprime-20240628-203755-juju-7f2275-prod-proposed-migration-environment-2-ac0caa4c-ac43-4752-9c95-b8fe9f39b9c2 --image adt/ubuntu-oracular-arm64-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://ftpmaster.internal/ubuntu/
149s autopkgtest [20:40:24]: testbed dpkg architecture: arm64
149s autopkgtest [20:40:24]: testbed apt version: 2.9.5
149s autopkgtest [20:40:24]: @@@@@@@@@@@@@@@@@@@@ test bed setup
150s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [110 kB]
151s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B]
151s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [7052 B]
151s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [51.1 kB]
151s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [377 kB]
151s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main arm64 Packages [96.0 kB]
151s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/restricted arm64 Packages [32.5 kB]
151s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/universe arm64 Packages [390 kB]
151s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse arm64 Packages [7928 B]
151s Fetched 1074 kB in 1s (1069 kB/s)
151s Reading package lists...
187s Reading package lists...
188s Building dependency tree...
188s Reading state information...
188s Calculating upgrade...
189s The following packages will be upgraded:
189s   libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales
189s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
189s Need to get 9207 kB of archives.
189s After this operation, 31.7 kB disk space will be freed.
189s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main arm64 libc-devtools arm64 2.39-3.1ubuntu2 [27.7 kB]
189s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main arm64 libc6-dev arm64 2.39-3.1ubuntu2 [1592 kB]
190s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main arm64 libc-dev-bin arm64 2.39-3.1ubuntu2 [19.7 kB]
190s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main arm64 libc6 arm64 2.39-3.1ubuntu2 [2769 kB]
190s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main arm64 libc-bin arm64 2.39-3.1ubuntu2 [579 kB]
190s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main arm64 locales all 2.39-3.1ubuntu2 [4220 kB]
192s Preconfiguring packages ...
192s Fetched 9207 kB in 1s (8504 kB/s)
193s (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 ... 78326 files and directories currently installed.)
193s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu2_arm64.deb ...
193s Unpacking libc-devtools (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
193s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu2_arm64.deb ...
193s Unpacking libc6-dev:arm64 (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
193s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu2_arm64.deb ...
193s Unpacking libc-dev-bin (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
193s Preparing to unpack .../libc6_2.39-3.1ubuntu2_arm64.deb ...
193s Unpacking libc6:arm64 (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
194s Setting up libc6:arm64 (2.39-3.1ubuntu2) ...
195s (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 ... 78326 files and directories currently installed.)
195s Preparing to unpack .../libc-bin_2.39-3.1ubuntu2_arm64.deb ...
195s Unpacking libc-bin (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
195s Setting up libc-bin (2.39-3.1ubuntu2) ...
195s (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 ... 78326 files and directories currently installed.)
195s Preparing to unpack .../locales_2.39-3.1ubuntu2_all.deb ...
195s Unpacking locales (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
195s Setting up locales (2.39-3.1ubuntu2) ...
197s Generating locales (this might take a while)...
199s   en_US.UTF-8... done
199s Generation complete.
199s Setting up libc-dev-bin (2.39-3.1ubuntu2) ...
199s Setting up libc-devtools (2.39-3.1ubuntu2) ...
199s Setting up libc6-dev:arm64 (2.39-3.1ubuntu2) ...
199s Processing triggers for man-db (2.12.1-2) ...
201s Reading package lists...
201s Building dependency tree...
201s Reading state information...
201s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
210s Hit:1 http://ftpmaster.internal/ubuntu oracular InRelease
210s Hit:2 http://ftpmaster.internal/ubuntu oracular-updates InRelease
210s Hit:3 http://ftpmaster.internal/ubuntu oracular-security InRelease
210s Hit:4 http://ftpmaster.internal/ubuntu oracular-proposed InRelease
212s Reading package lists...
212s Reading package lists...
212s Building dependency tree...
212s Reading state information...
213s Calculating upgrade...
213s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
213s Reading package lists...
213s Building dependency tree...
213s Reading state information...
214s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
266s autopkgtest [20:42:19]: testbed running kernel: Linux 6.8.0-31-generic #31-Ubuntu SMP PREEMPT_DYNAMIC Sat Apr 20 02:32:42 UTC 2024
266s autopkgtest [20:42:21]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime
285s Get:1 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (dsc) [2148 B]
285s Get:2 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (tar) [997 kB]
285s Get:3 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (diff) [3388 B]
285s gpgv: Signature made Sat Jun 15 14:38:47 2024 UTC
285s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
285s gpgv: Can't check signature: No public key
285s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.19-1build2.dsc: no acceptable signature found
286s autopkgtest [20:42:41]: testing package coqprime version 8.19-1build2
289s autopkgtest [20:42:44]: build not needed
292s autopkgtest [20:42:47]: test command1: preparing testbed
313s Reading package lists...
313s Building dependency tree...
313s Reading state information...
313s Starting pkgProblemResolver with broken count: 0
313s Starting 2 pkgProblemResolver with broken count: 0
313s Done
314s The following additional packages will be installed:
314s   coq cpp cpp-13 cpp-13-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-13
314s   gcc-13-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libatomic1 libcc1-0
314s   libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime libcoq-core-ocaml
314s   libcoq-stdlib libfindlib-ocaml libgcc-13-dev libgomp1 libhwasan0 libisl23
314s   libitm1 liblsan0 libmpc3 libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev
314s   libtsan2 libubsan1 libzarith-ocaml ocaml ocaml-base ocaml-findlib
314s   ocaml-interp
314s Suggested packages:
314s   coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why
314s   coq-doc cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf
314s   automake libtool flex bison gdb gcc-doc gcc-13-doc gdb-aarch64-linux-gnu
314s   ncurses-doc ocaml-doc elpa-tuareg camlp4
314s Recommended packages:
314s   ocaml-man libfindlib-ocaml-dev ledit | readline-editor
314s The following NEW packages will be installed:
314s   autopkgtest-satdep coq cpp cpp-13 cpp-13-aarch64-linux-gnu
314s   cpp-aarch64-linux-gnu gcc gcc-13 gcc-13-aarch64-linux-gnu
314s   gcc-aarch64-linux-gnu libasan8 libatomic1 libcc1-0
314s   libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime libcoq-core-ocaml
314s   libcoq-stdlib libfindlib-ocaml libgcc-13-dev libgomp1 libhwasan0 libisl23
314s   libitm1 liblsan0 libmpc3 libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev
314s   libtsan2 libubsan1 libzarith-ocaml ocaml ocaml-base ocaml-findlib
314s   ocaml-interp
314s 0 upgraded, 36 newly installed, 0 to remove and 0 not upgraded.
314s Need to get 351 MB/351 MB of archives.
314s After this operation, 1242 MB of additional disk space will be used.
314s Get:1 /tmp/autopkgtest.ykyiA2/1-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [716 B]
314s Get:2 http://ftpmaster.internal/ubuntu oracular/universe arm64 libcoq-stdlib arm64 8.19.1+dfsg-2 [27.0 MB]
315s Get:3 http://ftpmaster.internal/ubuntu oracular/universe arm64 libstdlib-ocaml arm64 4.14.1-1ubuntu1 [386 kB]
315s Get:4 http://ftpmaster.internal/ubuntu oracular/universe arm64 ocaml-base arm64 4.14.1-1ubuntu1 [253 kB]
315s Get:5 http://ftpmaster.internal/ubuntu oracular/universe arm64 libfindlib-ocaml arm64 1.9.6-2 [205 kB]
315s Get:6 http://ftpmaster.internal/ubuntu oracular/universe arm64 libzarith-ocaml arm64 1.13-2build4 [123 kB]
315s Get:7 http://ftpmaster.internal/ubuntu oracular/universe arm64 libcoq-core-ocaml arm64 8.19.1+dfsg-2 [28.6 MB]
316s Get:8 http://ftpmaster.internal/ubuntu oracular/universe arm64 libstdlib-ocaml-dev arm64 4.14.1-1ubuntu1 [8499 kB]
317s Get:9 http://ftpmaster.internal/ubuntu oracular/universe arm64 libcompiler-libs-ocaml-dev arm64 4.14.1-1ubuntu1 [39.0 MB]
318s Get:10 http://ftpmaster.internal/ubuntu oracular/universe arm64 ocaml-interp arm64 4.14.1-1ubuntu1 [7825 kB]
318s Get:11 http://ftpmaster.internal/ubuntu oracular/main arm64 libncurses-dev arm64 6.5-2 [385 kB]
318s Get:12 http://ftpmaster.internal/ubuntu oracular/main arm64 libisl23 arm64 0.26-3build1 [669 kB]
318s Get:13 http://ftpmaster.internal/ubuntu oracular/main arm64 libmpc3 arm64 1.3.1-1build1 [56.4 kB]
318s Get:14 http://ftpmaster.internal/ubuntu oracular/main arm64 cpp-13-aarch64-linux-gnu arm64 13.2.0-23ubuntu4 [10.3 MB]
318s Get:15 http://ftpmaster.internal/ubuntu oracular/main arm64 cpp-13 arm64 13.2.0-23ubuntu4 [1032 B]
318s Get:16 http://ftpmaster.internal/ubuntu oracular/main arm64 cpp-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [5316 B]
318s Get:17 http://ftpmaster.internal/ubuntu oracular/main arm64 cpp arm64 4:13.2.0-7ubuntu1 [22.4 kB]
318s Get:18 http://ftpmaster.internal/ubuntu oracular/main arm64 libcc1-0 arm64 14.1.0-1ubuntu1 [49.4 kB]
318s Get:19 http://ftpmaster.internal/ubuntu oracular/main arm64 libgomp1 arm64 14.1.0-1ubuntu1 [144 kB]
318s Get:20 http://ftpmaster.internal/ubuntu oracular/main arm64 libitm1 arm64 14.1.0-1ubuntu1 [27.9 kB]
318s Get:21 http://ftpmaster.internal/ubuntu oracular/main arm64 libatomic1 arm64 14.1.0-1ubuntu1 [11.4 kB]
318s Get:22 http://ftpmaster.internal/ubuntu oracular/main arm64 libasan8 arm64 14.1.0-1ubuntu1 [2922 kB]
318s Get:23 http://ftpmaster.internal/ubuntu oracular/main arm64 liblsan0 arm64 14.1.0-1ubuntu1 [1286 kB]
318s Get:24 http://ftpmaster.internal/ubuntu oracular/main arm64 libtsan2 arm64 14.1.0-1ubuntu1 [2692 kB]
318s Get:25 http://ftpmaster.internal/ubuntu oracular/main arm64 libubsan1 arm64 14.1.0-1ubuntu1 [1155 kB]
318s Get:26 http://ftpmaster.internal/ubuntu oracular/main arm64 libhwasan0 arm64 14.1.0-1ubuntu1 [1604 kB]
318s Get:27 http://ftpmaster.internal/ubuntu oracular/main arm64 libgcc-13-dev arm64 13.2.0-23ubuntu4 [2470 kB]
319s Get:28 http://ftpmaster.internal/ubuntu oracular/main arm64 gcc-13-aarch64-linux-gnu arm64 13.2.0-23ubuntu4 [20.1 MB]
319s Get:29 http://ftpmaster.internal/ubuntu oracular/main arm64 gcc-13 arm64 13.2.0-23ubuntu4 [472 kB]
319s Get:30 http://ftpmaster.internal/ubuntu oracular/main arm64 gcc-aarch64-linux-gnu arm64 4:13.2.0-7ubuntu1 [1198 B]
319s Get:31 http://ftpmaster.internal/ubuntu oracular/main arm64 gcc arm64 4:13.2.0-7ubuntu1 [5018 B]
319s Get:32 http://ftpmaster.internal/ubuntu oracular/universe arm64 ocaml arm64 4.14.1-1ubuntu1 [86.0 MB]
321s Get:33 http://ftpmaster.internal/ubuntu oracular/universe arm64 ocaml-findlib arm64 1.9.6-2 [649 kB]
321s Get:34 http://ftpmaster.internal/ubuntu oracular/universe arm64 coq arm64 8.19.1+dfsg-2 [104 MB]
324s Get:35 http://ftpmaster.internal/ubuntu oracular/universe arm64 libcoq-bignums arm64 9.0.0+coq8.19-1build1 [2263 kB]
324s Get:36 http://ftpmaster.internal/ubuntu oracular/universe arm64 libcoq-coqprime arm64 8.19-1build2 [2073 kB]
324s Fetched 351 MB in 10s (35.0 MB/s)
325s Selecting previously unselected package libcoq-stdlib.
325s (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 ... 78326 files and directories currently installed.)
325s Preparing to unpack .../00-libcoq-stdlib_8.19.1+dfsg-2_arm64.deb ...
325s Unpacking libcoq-stdlib (8.19.1+dfsg-2) ...
326s Selecting previously unselected package libstdlib-ocaml.
326s Preparing to unpack .../01-libstdlib-ocaml_4.14.1-1ubuntu1_arm64.deb ...
326s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ...
326s Selecting previously unselected package ocaml-base.
326s Preparing to unpack .../02-ocaml-base_4.14.1-1ubuntu1_arm64.deb ...
326s Unpacking ocaml-base (4.14.1-1ubuntu1) ...
326s Selecting previously unselected package libfindlib-ocaml.
326s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-2_arm64.deb ...
326s Unpacking libfindlib-ocaml (1.9.6-2) ...
326s Selecting previously unselected package libzarith-ocaml.
326s Preparing to unpack .../04-libzarith-ocaml_1.13-2build4_arm64.deb ...
326s Unpacking libzarith-ocaml (1.13-2build4) ...
326s Selecting previously unselected package libcoq-core-ocaml.
326s Preparing to unpack .../05-libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb ...
326s Unpacking libcoq-core-ocaml (8.19.1+dfsg-2) ...
326s Selecting previously unselected package libstdlib-ocaml-dev.
326s Preparing to unpack .../06-libstdlib-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ...
326s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
326s Selecting previously unselected package libcompiler-libs-ocaml-dev.
326s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_arm64.deb ...
326s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
327s Selecting previously unselected package ocaml-interp.
327s Preparing to unpack .../08-ocaml-interp_4.14.1-1ubuntu1_arm64.deb ...
327s Unpacking ocaml-interp (4.14.1-1ubuntu1) ...
327s Selecting previously unselected package libncurses-dev:arm64.
328s Preparing to unpack .../09-libncurses-dev_6.5-2_arm64.deb ...
328s Unpacking libncurses-dev:arm64 (6.5-2) ...
328s Selecting previously unselected package libisl23:arm64.
328s Preparing to unpack .../10-libisl23_0.26-3build1_arm64.deb ...
328s Unpacking libisl23:arm64 (0.26-3build1) ...
328s Selecting previously unselected package libmpc3:arm64.
328s Preparing to unpack .../11-libmpc3_1.3.1-1build1_arm64.deb ...
328s Unpacking libmpc3:arm64 (1.3.1-1build1) ...
328s Selecting previously unselected package cpp-13-aarch64-linux-gnu.
328s Preparing to unpack .../12-cpp-13-aarch64-linux-gnu_13.2.0-23ubuntu4_arm64.deb ...
328s Unpacking cpp-13-aarch64-linux-gnu (13.2.0-23ubuntu4) ...
328s Selecting previously unselected package cpp-13.
328s Preparing to unpack .../13-cpp-13_13.2.0-23ubuntu4_arm64.deb ...
328s Unpacking cpp-13 (13.2.0-23ubuntu4) ...
328s Selecting previously unselected package cpp-aarch64-linux-gnu.
328s Preparing to unpack .../14-cpp-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ...
328s Unpacking cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
328s Selecting previously unselected package cpp.
328s Preparing to unpack .../15-cpp_4%3a13.2.0-7ubuntu1_arm64.deb ...
328s Unpacking cpp (4:13.2.0-7ubuntu1) ...
328s Selecting previously unselected package libcc1-0:arm64.
328s Preparing to unpack .../16-libcc1-0_14.1.0-1ubuntu1_arm64.deb ...
328s Unpacking libcc1-0:arm64 (14.1.0-1ubuntu1) ...
328s Selecting previously unselected package libgomp1:arm64.
328s Preparing to unpack .../17-libgomp1_14.1.0-1ubuntu1_arm64.deb ...
328s Unpacking libgomp1:arm64 (14.1.0-1ubuntu1) ...
328s Selecting previously unselected package libitm1:arm64.
328s Preparing to unpack .../18-libitm1_14.1.0-1ubuntu1_arm64.deb ...
328s Unpacking libitm1:arm64 (14.1.0-1ubuntu1) ...
328s Selecting previously unselected package libatomic1:arm64.
328s Preparing to unpack .../19-libatomic1_14.1.0-1ubuntu1_arm64.deb ...
328s Unpacking libatomic1:arm64 (14.1.0-1ubuntu1) ...
328s Selecting previously unselected package libasan8:arm64.
328s Preparing to unpack .../20-libasan8_14.1.0-1ubuntu1_arm64.deb ...
328s Unpacking libasan8:arm64 (14.1.0-1ubuntu1) ...
328s Selecting previously unselected package liblsan0:arm64.
328s Preparing to unpack .../21-liblsan0_14.1.0-1ubuntu1_arm64.deb ...
328s Unpacking liblsan0:arm64 (14.1.0-1ubuntu1) ...
328s Selecting previously unselected package libtsan2:arm64.
328s Preparing to unpack .../22-libtsan2_14.1.0-1ubuntu1_arm64.deb ...
328s Unpacking libtsan2:arm64 (14.1.0-1ubuntu1) ...
328s Selecting previously unselected package libubsan1:arm64.
328s Preparing to unpack .../23-libubsan1_14.1.0-1ubuntu1_arm64.deb ...
328s Unpacking libubsan1:arm64 (14.1.0-1ubuntu1) ...
328s Selecting previously unselected package libhwasan0:arm64.
328s Preparing to unpack .../24-libhwasan0_14.1.0-1ubuntu1_arm64.deb ...
328s Unpacking libhwasan0:arm64 (14.1.0-1ubuntu1) ...
329s Selecting previously unselected package libgcc-13-dev:arm64.
329s Preparing to unpack .../25-libgcc-13-dev_13.2.0-23ubuntu4_arm64.deb ...
329s Unpacking libgcc-13-dev:arm64 (13.2.0-23ubuntu4) ...
329s Selecting previously unselected package gcc-13-aarch64-linux-gnu.
329s Preparing to unpack .../26-gcc-13-aarch64-linux-gnu_13.2.0-23ubuntu4_arm64.deb ...
329s Unpacking gcc-13-aarch64-linux-gnu (13.2.0-23ubuntu4) ...
329s Selecting previously unselected package gcc-13.
329s Preparing to unpack .../27-gcc-13_13.2.0-23ubuntu4_arm64.deb ...
329s Unpacking gcc-13 (13.2.0-23ubuntu4) ...
329s Selecting previously unselected package gcc-aarch64-linux-gnu.
329s Preparing to unpack .../28-gcc-aarch64-linux-gnu_4%3a13.2.0-7ubuntu1_arm64.deb ...
329s Unpacking gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
329s Selecting previously unselected package gcc.
329s Preparing to unpack .../29-gcc_4%3a13.2.0-7ubuntu1_arm64.deb ...
329s Unpacking gcc (4:13.2.0-7ubuntu1) ...
329s Selecting previously unselected package ocaml.
329s Preparing to unpack .../30-ocaml_4.14.1-1ubuntu1_arm64.deb ...
329s Unpacking ocaml (4.14.1-1ubuntu1) ...
331s Selecting previously unselected package ocaml-findlib.
331s Preparing to unpack .../31-ocaml-findlib_1.9.6-2_arm64.deb ...
331s Unpacking ocaml-findlib (1.9.6-2) ...
331s Selecting previously unselected package coq.
331s Preparing to unpack .../32-coq_8.19.1+dfsg-2_arm64.deb ...
331s Unpacking coq (8.19.1+dfsg-2) ...
332s Selecting previously unselected package libcoq-bignums.
332s Preparing to unpack .../33-libcoq-bignums_9.0.0+coq8.19-1build1_arm64.deb ...
332s Unpacking libcoq-bignums (9.0.0+coq8.19-1build1) ...
333s Selecting previously unselected package libcoq-coqprime.
333s Preparing to unpack .../34-libcoq-coqprime_8.19-1build2_arm64.deb ...
333s Unpacking libcoq-coqprime (8.19-1build2) ...
333s Selecting previously unselected package autopkgtest-satdep.
333s Preparing to unpack .../35-1-autopkgtest-satdep.deb ...
333s Unpacking autopkgtest-satdep (0) ...
333s Setting up libncurses-dev:arm64 (6.5-2) ...
333s Setting up libgomp1:arm64 (14.1.0-1ubuntu1) ...
333s Setting up libcoq-stdlib (8.19.1+dfsg-2) ...
333s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ...
333s Setting up libmpc3:arm64 (1.3.1-1build1) ...
333s Setting up libatomic1:arm64 (14.1.0-1ubuntu1) ...
333s Setting up ocaml-base (4.14.1-1ubuntu1) ...
333s Setting up libubsan1:arm64 (14.1.0-1ubuntu1) ...
333s Setting up libhwasan0:arm64 (14.1.0-1ubuntu1) ...
333s Setting up libasan8:arm64 (14.1.0-1ubuntu1) ...
333s Setting up libtsan2:arm64 (14.1.0-1ubuntu1) ...
333s Setting up libisl23:arm64 (0.26-3build1) ...
333s Setting up libcc1-0:arm64 (14.1.0-1ubuntu1) ...
333s Setting up libcoq-bignums (9.0.0+coq8.19-1build1) ...
333s Setting up liblsan0:arm64 (14.1.0-1ubuntu1) ...
333s Setting up libitm1:arm64 (14.1.0-1ubuntu1) ...
333s Setting up cpp-13-aarch64-linux-gnu (13.2.0-23ubuntu4) ...
333s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
333s Setting up libfindlib-ocaml (1.9.6-2) ...
333s Setting up libzarith-ocaml (1.13-2build4) ...
333s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
333s Setting up cpp-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
333s Setting up ocaml-interp (4.14.1-1ubuntu1) ...
333s Setting up ocaml-findlib (1.9.6-2) ...
333s Setting up libgcc-13-dev:arm64 (13.2.0-23ubuntu4) ...
333s Setting up libcoq-core-ocaml (8.19.1+dfsg-2) ...
333s Setting up libcoq-coqprime (8.19-1build2) ...
333s Setting up cpp-13 (13.2.0-23ubuntu4) ...
333s Setting up gcc-13-aarch64-linux-gnu (13.2.0-23ubuntu4) ...
333s Setting up gcc-13 (13.2.0-23ubuntu4) ...
333s Setting up cpp (4:13.2.0-7ubuntu1) ...
333s Setting up gcc-aarch64-linux-gnu (4:13.2.0-7ubuntu1) ...
333s Setting up gcc (4:13.2.0-7ubuntu1) ...
333s Setting up ocaml (4.14.1-1ubuntu1) ...
333s Setting up coq (8.19.1+dfsg-2) ...
333s Setting up autopkgtest-satdep (0) ...
333s Processing triggers for man-db (2.12.1-2) ...
333s Processing triggers for libc-bin (2.39-3.1ubuntu2) ...
340s (Reading database ... 84626 files and directories currently installed.)
340s Removing autopkgtest-satdep (0) ...
345s autopkgtest [20:43:40]: test command1: coqtop -batch -rifrom Coqprime PrimalityTest.Pocklington
345s autopkgtest [20:43:40]: test command1: [-----------------------
347s autopkgtest [20:43:42]: test command1: -----------------------]
348s autopkgtest [20:43:43]: test command1:  - - - - - - - - - - results - - - - - - - - - -
348s command1             PASS
352s autopkgtest [20:43:47]: @@@@@@@@@@@@@@@@@@@@ summary
352s command1             PASS
406s nova [W] Skipping flock in bos03-arm64
406s Creating nova instance adt-oracular-arm64-coqprime-20240628-203755-juju-7f2275-prod-proposed-migration-environment-2-ac0caa4c-ac43-4752-9c95-b8fe9f39b9c2 from image adt/ubuntu-oracular-arm64-server-20240628.img (UUID 1d33ad8b-0074-4d9e-8f8a-17cdfc67ef5f)...