0s autopkgtest [17:45:58]: starting date and time: 2024-06-28 17:45:58+0000
  0s autopkgtest [17:45:58]: git checkout: 85adf9a1 setup-testbed: prevent /tmp from getting a tmpfs mount
  0s autopkgtest [17:45:58]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.2dc__50t/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@lcy02-40.secgroup --name adt-oracular-amd64-coqprime-20240628-174558-juju-7f2275-prod-proposed-migration-environment-2-fa0a233f-f1b4-49d6-a2ef-94b48305f714 --image adt/ubuntu-oracular-amd64-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/
110s autopkgtest [17:47:48]: testbed dpkg architecture: amd64
110s autopkgtest [17:47:48]: testbed apt version: 2.9.5
110s autopkgtest [17:47:48]: @@@@@@@@@@@@@@@@@@@@ test bed setup
110s Get:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [110 kB]
110s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse Sources [2576 B]
110s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/universe Sources [365 kB]
110s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main Sources [48.3 kB]
110s Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/restricted Sources [7052 B]
110s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 Packages [101 kB]
110s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main i386 Packages [82.7 kB]
110s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/restricted amd64 Packages [28.0 kB]
110s Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/restricted i386 Packages [6244 B]
110s Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/universe amd64 Packages [403 kB]
110s Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe i386 Packages [227 kB]
110s Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse amd64 Packages [7968 B]
110s Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/multiverse i386 Packages [3368 B]
111s Fetched 1393 kB in 0s (5951 kB/s)
111s Reading package lists...
112s Reading package lists...
113s Building dependency tree...
113s Reading state information...
113s Calculating upgrade...
114s The following packages will be upgraded:
114s   base-files libc-bin libc-dev-bin libc-devtools libc6 libc6-dev locales
114s   motd-news-config
114s 8 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
114s Need to get 10.4 MB of archives.
114s After this operation, 35.8 kB of additional disk space will be used.
114s Get:1 http://ftpmaster.internal/ubuntu oracular/main amd64 motd-news-config all 13.3ubuntu2 [5416 B]
114s Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-devtools amd64 2.39-3.1ubuntu2 [29.3 kB]
114s Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6-dev amd64 2.39-3.1ubuntu2 [2120 kB]
114s Get:4 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-dev-bin amd64 2.39-3.1ubuntu2 [20.4 kB]
114s Get:5 http://ftpmaster.internal/ubuntu oracular/main amd64 base-files amd64 13.3ubuntu2 [75.3 kB]
114s Get:6 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc6 amd64 2.39-3.1ubuntu2 [3261 kB]
114s Get:7 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 libc-bin amd64 2.39-3.1ubuntu2 [680 kB]
114s Get:8 http://ftpmaster.internal/ubuntu oracular-proposed/main amd64 locales all 2.39-3.1ubuntu2 [4220 kB]
114s Preconfiguring packages ...
114s Fetched 10.4 MB in 0s (65.5 MB/s)
115s (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 ... 74417 files and directories currently installed.)
115s Preparing to unpack .../motd-news-config_13.3ubuntu2_all.deb ...
115s Unpacking motd-news-config (13.3ubuntu2) over (13.1ubuntu1) ...
115s Preparing to unpack .../libc-devtools_2.39-3.1ubuntu2_amd64.deb ...
115s Unpacking libc-devtools (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
115s Preparing to unpack .../libc6-dev_2.39-3.1ubuntu2_amd64.deb ...
115s Unpacking libc6-dev:amd64 (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
115s Preparing to unpack .../libc-dev-bin_2.39-3.1ubuntu2_amd64.deb ...
115s Unpacking libc-dev-bin (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
115s Preparing to unpack .../base-files_13.3ubuntu2_amd64.deb ...
115s Unpacking base-files (13.3ubuntu2) over (13.1ubuntu1) ...
115s Setting up base-files (13.3ubuntu2) ...
115s Updating /etc/profile to current default.
116s motd-news.service is a disabled or a static unit not running, not starting it.
116s (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 ... 74420 files and directories currently installed.)
116s Preparing to unpack .../libc6_2.39-3.1ubuntu2_amd64.deb ...
116s Unpacking libc6:amd64 (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
116s Setting up libc6:amd64 (2.39-3.1ubuntu2) ...
117s (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 ... 74420 files and directories currently installed.)
117s Preparing to unpack .../libc-bin_2.39-3.1ubuntu2_amd64.deb ...
117s Unpacking libc-bin (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
117s Setting up libc-bin (2.39-3.1ubuntu2) ...
117s (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 ... 74420 files and directories currently installed.)
122s Preparing to unpack .../locales_2.39-3.1ubuntu2_all.deb ...
122s Unpacking locales (2.39-3.1ubuntu2) over (2.39-0ubuntu9) ...
122s Setting up motd-news-config (13.3ubuntu2) ...
122s Setting up locales (2.39-3.1ubuntu2) ...
122s Generating locales (this might take a while)...
122s   en_US.UTF-8... done
122s Generation complete.
122s Setting up libc-dev-bin (2.39-3.1ubuntu2) ...
122s Setting up libc-devtools (2.39-3.1ubuntu2) ...
122s Setting up libc6-dev:amd64 (2.39-3.1ubuntu2) ...
122s Processing triggers for man-db (2.12.1-2) ...
122s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-1ubuntu7) ...
122s update-initramfs: deferring update (trigger activated)
122s Processing triggers for install-info (7.1-3build2) ...
122s Processing triggers for initramfs-tools (0.142ubuntu28) ...
122s update-initramfs: Generating /boot/initrd.img-6.8.0-31-generic
122s W: No lz4 in /usr/bin:/sbin:/bin, using gzip
131s Reading package lists...
131s Building dependency tree...
131s Reading state information...
132s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
132s Hit:1 http://ftpmaster.internal/ubuntu oracular-proposed InRelease
132s Hit:2 http://ftpmaster.internal/ubuntu oracular InRelease
132s Hit:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease
132s Hit:4 http://ftpmaster.internal/ubuntu oracular-security InRelease
134s Reading package lists...
134s Reading package lists...
134s Building dependency tree...
134s Reading state information...
134s Calculating upgrade...
135s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
135s Reading package lists...
135s Building dependency tree...
135s Reading state information...
135s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
136s autopkgtest [17:48:14]: rebooting testbed after setup commands that affected boot
139s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds...
153s autopkgtest [17:48:31]: testbed running kernel: Linux 6.8.0-31-generic #31-Ubuntu SMP PREEMPT_DYNAMIC Sat Apr 20 00:40:06 UTC 2024
155s autopkgtest [17:48:33]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime
156s Get:1 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (dsc) [2148 B]
156s Get:2 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (tar) [997 kB]
156s Get:3 http://ftpmaster.internal/ubuntu oracular/universe coqprime 8.19-1build2 (diff) [3388 B]
156s gpgv: Signature made Sat Jun 15 14:38:47 2024 UTC
156s gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
156s gpgv: Can't check signature: No public key
156s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.19-1build2.dsc: no acceptable signature found
157s autopkgtest [17:48:35]: testing package coqprime version 8.19-1build2
157s autopkgtest [17:48:35]: build not needed
157s autopkgtest [17:48:35]: test command1: preparing testbed
158s Reading package lists...
158s Building dependency tree...
158s Reading state information...
158s Starting pkgProblemResolver with broken count: 0
158s Starting 2 pkgProblemResolver with broken count: 0
158s Done
159s The following additional packages will be installed:
159s   coq cpp cpp-13 cpp-13-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-13
159s   gcc-13-base gcc-13-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1
159s   libcc1-0 libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime
159s   libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml libgcc-13-dev libgomp1
159s   libhwasan0 libisl23 libitm1 liblsan0 libmpc3 libncurses-dev libquadmath0
159s   libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml ocaml
159s   ocaml-base ocaml-findlib ocaml-interp
159s Suggested packages:
159s   coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why
159s   coq-doc cpp-doc gcc-13-locales cpp-13-doc gcc-multilib manpages-dev autoconf
159s   automake libtool flex bison gdb gcc-doc gcc-13-multilib gcc-13-doc
159s   gdb-x86-64-linux-gnu ncurses-doc ocaml-doc elpa-tuareg camlp4
159s Recommended packages:
159s   ocaml-man libfindlib-ocaml-dev ledit | readline-editor
159s The following NEW packages will be installed:
159s   autopkgtest-satdep coq cpp cpp-13 cpp-13-x86-64-linux-gnu
159s   cpp-x86-64-linux-gnu gcc gcc-13 gcc-13-base gcc-13-x86-64-linux-gnu
159s   gcc-x86-64-linux-gnu libasan8 libatomic1 libcc1-0 libcompiler-libs-ocaml-dev
159s   libcoq-bignums libcoq-coqprime libcoq-core-ocaml libcoq-stdlib
159s   libfindlib-ocaml libgcc-13-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0
159s   libmpc3 libncurses-dev libquadmath0 libstdlib-ocaml libstdlib-ocaml-dev
159s   libtsan2 libubsan1 libzarith-ocaml ocaml ocaml-base ocaml-findlib
159s   ocaml-interp
159s 0 upgraded, 38 newly installed, 0 to remove and 0 not upgraded.
159s Need to get 340 MB/340 MB of archives.
159s After this operation, 1205 MB of additional disk space will be used.
159s Get:1 /tmp/autopkgtest.27zr9s/1-autopkgtest-satdep.deb autopkgtest-satdep amd64 0 [716 B]
159s Get:2 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcoq-stdlib amd64 8.19.1+dfsg-2 [27.0 MB]
159s Get:3 http://ftpmaster.internal/ubuntu oracular/universe amd64 libstdlib-ocaml amd64 4.14.1-1ubuntu1 [378 kB]
159s Get:4 http://ftpmaster.internal/ubuntu oracular/universe amd64 ocaml-base amd64 4.14.1-1ubuntu1 [256 kB]
159s Get:5 http://ftpmaster.internal/ubuntu oracular/universe amd64 libfindlib-ocaml amd64 1.9.6-2 [196 kB]
159s Get:6 http://ftpmaster.internal/ubuntu oracular/universe amd64 libzarith-ocaml amd64 1.13-2build4 [120 kB]
159s Get:7 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcoq-core-ocaml amd64 8.19.1+dfsg-2 [27.3 MB]
159s Get:8 http://ftpmaster.internal/ubuntu oracular/universe amd64 libstdlib-ocaml-dev amd64 4.14.1-1ubuntu1 [8453 kB]
159s Get:9 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcompiler-libs-ocaml-dev amd64 4.14.1-1ubuntu1 [38.4 MB]
160s Get:10 http://ftpmaster.internal/ubuntu oracular/universe amd64 ocaml-interp amd64 4.14.1-1ubuntu1 [7825 kB]
160s Get:11 http://ftpmaster.internal/ubuntu oracular/main amd64 libncurses-dev amd64 6.5-2 [384 kB]
160s Get:12 http://ftpmaster.internal/ubuntu oracular/main amd64 gcc-13-base amd64 13.2.0-23ubuntu4 [49.0 kB]
160s Get:13 http://ftpmaster.internal/ubuntu oracular/main amd64 libisl23 amd64 0.26-3build1 [680 kB]
160s Get:14 http://ftpmaster.internal/ubuntu oracular/main amd64 libmpc3 amd64 1.3.1-1build1 [54.5 kB]
160s Get:15 http://ftpmaster.internal/ubuntu oracular/main amd64 cpp-13-x86-64-linux-gnu amd64 13.2.0-23ubuntu4 [11.2 MB]
160s Get:16 http://ftpmaster.internal/ubuntu oracular/main amd64 cpp-13 amd64 13.2.0-23ubuntu4 [1032 B]
160s Get:17 http://ftpmaster.internal/ubuntu oracular/main amd64 cpp-x86-64-linux-gnu amd64 4:13.2.0-7ubuntu1 [5326 B]
160s Get:18 http://ftpmaster.internal/ubuntu oracular/main amd64 cpp amd64 4:13.2.0-7ubuntu1 [22.4 kB]
160s Get:19 http://ftpmaster.internal/ubuntu oracular/main amd64 libcc1-0 amd64 14.1.0-1ubuntu1 [48.0 kB]
160s Get:20 http://ftpmaster.internal/ubuntu oracular/main amd64 libgomp1 amd64 14.1.0-1ubuntu1 [148 kB]
160s Get:21 http://ftpmaster.internal/ubuntu oracular/main amd64 libitm1 amd64 14.1.0-1ubuntu1 [29.1 kB]
160s Get:22 http://ftpmaster.internal/ubuntu oracular/main amd64 libatomic1 amd64 14.1.0-1ubuntu1 [10.4 kB]
160s Get:23 http://ftpmaster.internal/ubuntu oracular/main amd64 libasan8 amd64 14.1.0-1ubuntu1 [3025 kB]
160s Get:24 http://ftpmaster.internal/ubuntu oracular/main amd64 liblsan0 amd64 14.1.0-1ubuntu1 [1313 kB]
160s Get:25 http://ftpmaster.internal/ubuntu oracular/main amd64 libtsan2 amd64 14.1.0-1ubuntu1 [2736 kB]
160s Get:26 http://ftpmaster.internal/ubuntu oracular/main amd64 libubsan1 amd64 14.1.0-1ubuntu1 [1174 kB]
160s Get:27 http://ftpmaster.internal/ubuntu oracular/main amd64 libhwasan0 amd64 14.1.0-1ubuntu1 [1632 kB]
160s Get:28 http://ftpmaster.internal/ubuntu oracular/main amd64 libquadmath0 amd64 14.1.0-1ubuntu1 [153 kB]
160s Get:29 http://ftpmaster.internal/ubuntu oracular/main amd64 libgcc-13-dev amd64 13.2.0-23ubuntu4 [2688 kB]
160s Get:30 http://ftpmaster.internal/ubuntu oracular/main amd64 gcc-13-x86-64-linux-gnu amd64 13.2.0-23ubuntu4 [21.9 MB]
160s Get:31 http://ftpmaster.internal/ubuntu oracular/main amd64 gcc-13 amd64 13.2.0-23ubuntu4 [482 kB]
160s Get:32 http://ftpmaster.internal/ubuntu oracular/main amd64 gcc-x86-64-linux-gnu amd64 4:13.2.0-7ubuntu1 [1212 B]
160s Get:33 http://ftpmaster.internal/ubuntu oracular/main amd64 gcc amd64 4:13.2.0-7ubuntu1 [5018 B]
160s Get:34 http://ftpmaster.internal/ubuntu oracular/universe amd64 ocaml amd64 4.14.1-1ubuntu1 [81.4 MB]
161s Get:35 http://ftpmaster.internal/ubuntu oracular/universe amd64 ocaml-findlib amd64 1.9.6-2 [552 kB]
161s Get:36 http://ftpmaster.internal/ubuntu oracular/universe amd64 coq amd64 8.19.1+dfsg-2 [95.7 MB]
161s Get:37 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcoq-bignums amd64 9.0.0+coq8.19-1build1 [2262 kB]
161s Get:38 http://ftpmaster.internal/ubuntu oracular/universe amd64 libcoq-coqprime amd64 8.19-1build2 [2073 kB]
162s Fetched 340 MB in 3s (129 MB/s)
162s Selecting previously unselected package libcoq-stdlib.
162s (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 ... 74420 files and directories currently installed.)
162s Preparing to unpack .../00-libcoq-stdlib_8.19.1+dfsg-2_amd64.deb ...
162s Unpacking libcoq-stdlib (8.19.1+dfsg-2) ...
163s Selecting previously unselected package libstdlib-ocaml.
163s Preparing to unpack .../01-libstdlib-ocaml_4.14.1-1ubuntu1_amd64.deb ...
163s Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ...
163s Selecting previously unselected package ocaml-base.
163s Preparing to unpack .../02-ocaml-base_4.14.1-1ubuntu1_amd64.deb ...
163s Unpacking ocaml-base (4.14.1-1ubuntu1) ...
163s Selecting previously unselected package libfindlib-ocaml.
163s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-2_amd64.deb ...
163s Unpacking libfindlib-ocaml (1.9.6-2) ...
163s Selecting previously unselected package libzarith-ocaml.
163s Preparing to unpack .../04-libzarith-ocaml_1.13-2build4_amd64.deb ...
163s Unpacking libzarith-ocaml (1.13-2build4) ...
163s Selecting previously unselected package libcoq-core-ocaml.
163s Preparing to unpack .../05-libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb ...
163s Unpacking libcoq-core-ocaml (8.19.1+dfsg-2) ...
164s Selecting previously unselected package libstdlib-ocaml-dev.
164s Preparing to unpack .../06-libstdlib-ocaml-dev_4.14.1-1ubuntu1_amd64.deb ...
164s Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
164s Selecting previously unselected package libcompiler-libs-ocaml-dev.
164s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_amd64.deb ...
164s Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
165s Selecting previously unselected package ocaml-interp.
165s Preparing to unpack .../08-ocaml-interp_4.14.1-1ubuntu1_amd64.deb ...
165s Unpacking ocaml-interp (4.14.1-1ubuntu1) ...
165s Selecting previously unselected package libncurses-dev:amd64.
165s Preparing to unpack .../09-libncurses-dev_6.5-2_amd64.deb ...
165s Unpacking libncurses-dev:amd64 (6.5-2) ...
166s Selecting previously unselected package gcc-13-base:amd64.
166s Preparing to unpack .../10-gcc-13-base_13.2.0-23ubuntu4_amd64.deb ...
166s Unpacking gcc-13-base:amd64 (13.2.0-23ubuntu4) ...
166s Selecting previously unselected package libisl23:amd64.
166s Preparing to unpack .../11-libisl23_0.26-3build1_amd64.deb ...
166s Unpacking libisl23:amd64 (0.26-3build1) ...
166s Selecting previously unselected package libmpc3:amd64.
166s Preparing to unpack .../12-libmpc3_1.3.1-1build1_amd64.deb ...
166s Unpacking libmpc3:amd64 (1.3.1-1build1) ...
166s Selecting previously unselected package cpp-13-x86-64-linux-gnu.
166s Preparing to unpack .../13-cpp-13-x86-64-linux-gnu_13.2.0-23ubuntu4_amd64.deb ...
166s Unpacking cpp-13-x86-64-linux-gnu (13.2.0-23ubuntu4) ...
166s Selecting previously unselected package cpp-13.
166s Preparing to unpack .../14-cpp-13_13.2.0-23ubuntu4_amd64.deb ...
166s Unpacking cpp-13 (13.2.0-23ubuntu4) ...
166s Selecting previously unselected package cpp-x86-64-linux-gnu.
166s Preparing to unpack .../15-cpp-x86-64-linux-gnu_4%3a13.2.0-7ubuntu1_amd64.deb ...
166s Unpacking cpp-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ...
166s Selecting previously unselected package cpp.
166s Preparing to unpack .../16-cpp_4%3a13.2.0-7ubuntu1_amd64.deb ...
166s Unpacking cpp (4:13.2.0-7ubuntu1) ...
166s Selecting previously unselected package libcc1-0:amd64.
166s Preparing to unpack .../17-libcc1-0_14.1.0-1ubuntu1_amd64.deb ...
166s Unpacking libcc1-0:amd64 (14.1.0-1ubuntu1) ...
166s Selecting previously unselected package libgomp1:amd64.
166s Preparing to unpack .../18-libgomp1_14.1.0-1ubuntu1_amd64.deb ...
166s Unpacking libgomp1:amd64 (14.1.0-1ubuntu1) ...
166s Selecting previously unselected package libitm1:amd64.
166s Preparing to unpack .../19-libitm1_14.1.0-1ubuntu1_amd64.deb ...
166s Unpacking libitm1:amd64 (14.1.0-1ubuntu1) ...
166s Selecting previously unselected package libatomic1:amd64.
166s Preparing to unpack .../20-libatomic1_14.1.0-1ubuntu1_amd64.deb ...
166s Unpacking libatomic1:amd64 (14.1.0-1ubuntu1) ...
166s Selecting previously unselected package libasan8:amd64.
166s Preparing to unpack .../21-libasan8_14.1.0-1ubuntu1_amd64.deb ...
166s Unpacking libasan8:amd64 (14.1.0-1ubuntu1) ...
166s Selecting previously unselected package liblsan0:amd64.
166s Preparing to unpack .../22-liblsan0_14.1.0-1ubuntu1_amd64.deb ...
166s Unpacking liblsan0:amd64 (14.1.0-1ubuntu1) ...
166s Selecting previously unselected package libtsan2:amd64.
166s Preparing to unpack .../23-libtsan2_14.1.0-1ubuntu1_amd64.deb ...
166s Unpacking libtsan2:amd64 (14.1.0-1ubuntu1) ...
167s Selecting previously unselected package libubsan1:amd64.
167s Preparing to unpack .../24-libubsan1_14.1.0-1ubuntu1_amd64.deb ...
167s Unpacking libubsan1:amd64 (14.1.0-1ubuntu1) ...
167s Selecting previously unselected package libhwasan0:amd64.
167s Preparing to unpack .../25-libhwasan0_14.1.0-1ubuntu1_amd64.deb ...
167s Unpacking libhwasan0:amd64 (14.1.0-1ubuntu1) ...
167s Selecting previously unselected package libquadmath0:amd64.
167s Preparing to unpack .../26-libquadmath0_14.1.0-1ubuntu1_amd64.deb ...
167s Unpacking libquadmath0:amd64 (14.1.0-1ubuntu1) ...
167s Selecting previously unselected package libgcc-13-dev:amd64.
167s Preparing to unpack .../27-libgcc-13-dev_13.2.0-23ubuntu4_amd64.deb ...
167s Unpacking libgcc-13-dev:amd64 (13.2.0-23ubuntu4) ...
167s Selecting previously unselected package gcc-13-x86-64-linux-gnu.
167s Preparing to unpack .../28-gcc-13-x86-64-linux-gnu_13.2.0-23ubuntu4_amd64.deb ...
167s Unpacking gcc-13-x86-64-linux-gnu (13.2.0-23ubuntu4) ...
167s Selecting previously unselected package gcc-13.
167s Preparing to unpack .../29-gcc-13_13.2.0-23ubuntu4_amd64.deb ...
167s Unpacking gcc-13 (13.2.0-23ubuntu4) ...
167s Selecting previously unselected package gcc-x86-64-linux-gnu.
167s Preparing to unpack .../30-gcc-x86-64-linux-gnu_4%3a13.2.0-7ubuntu1_amd64.deb ...
167s Unpacking gcc-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ...
167s Selecting previously unselected package gcc.
167s Preparing to unpack .../31-gcc_4%3a13.2.0-7ubuntu1_amd64.deb ...
167s Unpacking gcc (4:13.2.0-7ubuntu1) ...
167s Selecting previously unselected package ocaml.
167s Preparing to unpack .../32-ocaml_4.14.1-1ubuntu1_amd64.deb ...
167s Unpacking ocaml (4.14.1-1ubuntu1) ...
169s Selecting previously unselected package ocaml-findlib.
169s Preparing to unpack .../33-ocaml-findlib_1.9.6-2_amd64.deb ...
169s Unpacking ocaml-findlib (1.9.6-2) ...
169s Selecting previously unselected package coq.
169s Preparing to unpack .../34-coq_8.19.1+dfsg-2_amd64.deb ...
169s Unpacking coq (8.19.1+dfsg-2) ...
171s Selecting previously unselected package libcoq-bignums.
171s Preparing to unpack .../35-libcoq-bignums_9.0.0+coq8.19-1build1_amd64.deb ...
171s Unpacking libcoq-bignums (9.0.0+coq8.19-1build1) ...
171s Selecting previously unselected package libcoq-coqprime.
171s Preparing to unpack .../36-libcoq-coqprime_8.19-1build2_amd64.deb ...
171s Unpacking libcoq-coqprime (8.19-1build2) ...
171s Selecting previously unselected package autopkgtest-satdep.
171s Preparing to unpack .../37-1-autopkgtest-satdep.deb ...
171s Unpacking autopkgtest-satdep (0) ...
171s Setting up libncurses-dev:amd64 (6.5-2) ...
171s Setting up libgomp1:amd64 (14.1.0-1ubuntu1) ...
171s Setting up libcoq-stdlib (8.19.1+dfsg-2) ...
171s Setting up gcc-13-base:amd64 (13.2.0-23ubuntu4) ...
171s Setting up libquadmath0:amd64 (14.1.0-1ubuntu1) ...
171s Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ...
171s Setting up libmpc3:amd64 (1.3.1-1build1) ...
171s Setting up libatomic1:amd64 (14.1.0-1ubuntu1) ...
171s Setting up ocaml-base (4.14.1-1ubuntu1) ...
171s Setting up libubsan1:amd64 (14.1.0-1ubuntu1) ...
171s Setting up libhwasan0:amd64 (14.1.0-1ubuntu1) ...
171s Setting up libasan8:amd64 (14.1.0-1ubuntu1) ...
171s Setting up libtsan2:amd64 (14.1.0-1ubuntu1) ...
171s Setting up libisl23:amd64 (0.26-3build1) ...
171s Setting up libcc1-0:amd64 (14.1.0-1ubuntu1) ...
171s Setting up libcoq-bignums (9.0.0+coq8.19-1build1) ...
171s Setting up liblsan0:amd64 (14.1.0-1ubuntu1) ...
171s Setting up libitm1:amd64 (14.1.0-1ubuntu1) ...
171s Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
171s Setting up cpp-13-x86-64-linux-gnu (13.2.0-23ubuntu4) ...
171s Setting up libfindlib-ocaml (1.9.6-2) ...
171s Setting up libzarith-ocaml (1.13-2build4) ...
171s Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
171s Setting up ocaml-interp (4.14.1-1ubuntu1) ...
171s Setting up ocaml-findlib (1.9.6-2) ...
171s Setting up libgcc-13-dev:amd64 (13.2.0-23ubuntu4) ...
171s Setting up libcoq-core-ocaml (8.19.1+dfsg-2) ...
171s Setting up libcoq-coqprime (8.19-1build2) ...
171s Setting up cpp-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ...
171s Setting up cpp-13 (13.2.0-23ubuntu4) ...
171s Setting up gcc-13-x86-64-linux-gnu (13.2.0-23ubuntu4) ...
171s Setting up gcc-13 (13.2.0-23ubuntu4) ...
171s Setting up cpp (4:13.2.0-7ubuntu1) ...
171s Setting up gcc-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ...
171s Setting up gcc (4:13.2.0-7ubuntu1) ...
171s Setting up ocaml (4.14.1-1ubuntu1) ...
171s Setting up coq (8.19.1+dfsg-2) ...
171s Setting up autopkgtest-satdep (0) ...
171s Processing triggers for man-db (2.12.1-2) ...
172s Processing triggers for libc-bin (2.39-3.1ubuntu2) ...
175s (Reading database ... 80836 files and directories currently installed.)
175s Removing autopkgtest-satdep (0) ...
176s autopkgtest [17:48:54]: test command1: coqtop -batch -rifrom Coqprime PrimalityTest.Pocklington
176s autopkgtest [17:48:54]: test command1: [-----------------------
177s autopkgtest [17:48:55]: test command1: -----------------------]
177s command1             PASS
177s autopkgtest [17:48:55]: test command1:  - - - - - - - - - - results - - - - - - - - - -
178s autopkgtest [17:48:56]: @@@@@@@@@@@@@@@@@@@@ summary
178s command1             PASS
205s nova [W] Skipping flock for amd64
205s Creating nova instance adt-oracular-amd64-coqprime-20240628-174558-juju-7f2275-prod-proposed-migration-environment-2-fa0a233f-f1b4-49d6-a2ef-94b48305f714 from image adt/ubuntu-oracular-amd64-server-20240628.img (UUID 9d02b460-22c0-49a4-a380-3bb68f865fe5)...