0s autopkgtest [19:37:32]: starting date and time: 2025-02-15 19:37:32+0000 0s autopkgtest [19:37:32]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [19:37:32]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.3zwiuvc_/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc,src:iproute2,src:php-twig,src:postgresql-17,src:postgresql-common,src:roundcube --apt-upgrade coqprime --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor builder-cpu2-ram4-disk20 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-32.secgroup --name adt-plucky-amd64-coqprime-20250215-193732-juju-7f2275-prod-proposed-migration-environment-2-d8c6f0cd-22bd-4f50-8531-94604ff58a8d --image adt/ubuntu-plucky-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-amd64 -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/ 56s autopkgtest [19:38:28]: testbed dpkg architecture: amd64 56s autopkgtest [19:38:28]: testbed apt version: 2.9.28 57s autopkgtest [19:38:29]: @@@@@@@@@@@@@@@@@@@@ test bed setup 57s autopkgtest [19:38:29]: testbed release detected to be: None 58s autopkgtest [19:38:30]: updating testbed package index (apt update) 58s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 58s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 58s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 58s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 58s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 58s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [62.8 kB] 58s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.7 kB] 58s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [822 kB] 59s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [82.9 kB] 59s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [65.0 kB] 59s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 59s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 59s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [823 kB] 59s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [287 kB] 59s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [3520 B] 59s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [10.6 kB] 59s Fetched 2294 kB in 1s (2346 kB/s) 60s Reading package lists... 60s Reading package lists... 60s Building dependency tree... 60s Reading state information... 61s Calculating upgrade... 61s The following packages will be upgraded: 61s libtasn1-6 62s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 62s Need to get 51.2 kB of archives. 62s After this operation, 22.5 kB of additional disk space will be used. 62s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 libtasn1-6 amd64 4.20.0-2 [51.2 kB] 62s Fetched 51.2 kB in 1s (54.9 kB/s) 62s (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 ... 108914 files and directories currently installed.) 62s Preparing to unpack .../libtasn1-6_4.20.0-2_amd64.deb ... 62s Unpacking libtasn1-6:amd64 (4.20.0-2) over (4.19.0-3build1) ... 62s Setting up libtasn1-6:amd64 (4.20.0-2) ... 62s Processing triggers for libc-bin (2.40-4ubuntu1) ... 63s Reading package lists... 63s Building dependency tree... 63s Reading state information... 63s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 63s autopkgtest [19:38:35]: upgrading testbed (apt dist-upgrade and autopurge) 63s Reading package lists... 64s Building dependency tree... 64s Reading state information... 64s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 64s Starting 2 pkgProblemResolver with broken count: 0 64s Done 65s Entering ResolveByKeep 65s 65s The following packages will be upgraded: 65s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 65s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 65s Need to get 11.8 MB of archives. 65s After this operation, 746 kB of additional disk space will be used. 65s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc-dev-bin amd64 2.41-1ubuntu1 [24.7 kB] 65s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc6-dev amd64 2.41-1ubuntu1 [2182 kB] 66s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 locales all 2.41-1ubuntu1 [4246 kB] 66s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc6 amd64 2.41-1ubuntu1 [3327 kB] 66s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc-bin amd64 2.41-1ubuntu1 [701 kB] 66s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 iproute2 amd64 6.13.0-1ubuntu1 [1277 kB] 66s Preconfiguring packages ... 66s Fetched 11.8 MB in 1s (12.0 MB/s) 66s (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 ... 108914 files and directories currently installed.) 66s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_amd64.deb ... 66s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 66s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_amd64.deb ... 66s Unpacking libc6-dev:amd64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 67s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 67s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 67s Preparing to unpack .../libc6_2.41-1ubuntu1_amd64.deb ... 67s Checking for services that may need to be restarted... 67s Checking init scripts... 67s Checking for services that may need to be restarted... 67s Checking init scripts... 67s Stopping some services possibly affected by the upgrade (will be restarted later): 67s cron: stopping...done. 67s 67s Unpacking libc6:amd64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 67s Setting up libc6:amd64 (2.41-1ubuntu1) ... 67s Checking for services that may need to be restarted... 67s Checking init scripts... 67s Restarting services possibly affected by the upgrade: 67s cron: restarting...done. 67s 67s Services restarted successfully. 67s (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 ... 108915 files and directories currently installed.) 67s Preparing to unpack .../libc-bin_2.41-1ubuntu1_amd64.deb ... 67s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 67s Setting up libc-bin (2.41-1ubuntu1) ... 68s (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 ... 108915 files and directories currently installed.) 68s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_amd64.deb ... 68s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 68s Setting up iproute2 (6.13.0-1ubuntu1) ... 68s Setting up locales (2.41-1ubuntu1) ... 68s Installing new version of config file /etc/locale.alias ... 69s Generating locales (this might take a while)... 70s en_US.UTF-8... done 70s Generation complete. 70s Setting up libc-dev-bin (2.41-1ubuntu1) ... 70s Setting up libc6-dev:amd64 (2.41-1ubuntu1) ... 70s Processing triggers for man-db (2.13.0-1) ... 72s Processing triggers for systemd (257.2-3ubuntu1) ... 73s Reading package lists... 73s Building dependency tree... 73s Reading state information... 73s Starting pkgProblemResolver with broken count: 0 73s Starting 2 pkgProblemResolver with broken count: 0 73s Done 74s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 76s autopkgtest [19:38:48]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 16:02:16 UTC 2025 77s autopkgtest [19:38:49]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime 79s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (dsc) [2178 B] 79s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (tar) [997 kB] 79s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (diff) [3468 B] 79s gpgv: Signature made Thu Jan 23 21:53:28 2025 UTC 79s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 79s gpgv: issuer "julien.puydt@laposte.net" 79s gpgv: Can't check signature: No public key 79s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.20.1-1.dsc: no acceptable signature found 79s autopkgtest [19:38:51]: testing package coqprime version 8.20.1-1 79s autopkgtest [19:38:51]: build not needed 80s autopkgtest [19:38:52]: test command1: preparing testbed 80s Reading package lists... 81s Building dependency tree... 81s Reading state information... 81s Starting pkgProblemResolver with broken count: 0 81s Starting 2 pkgProblemResolver with broken count: 0 81s Done 81s The following NEW packages will be installed: 81s coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 81s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 81s libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime libcoq-core-ocaml 81s libcoq-stdlib libfindlib-ocaml libgcc-14-dev libgomp1 libhwasan0 libisl23 81s libitm1 liblsan0 libmpc3 libncurses-dev libquadmath0 libstdlib-ocaml 81s libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzstd-dev ocaml 81s ocaml-base ocaml-findlib ocaml-interp 81s 0 upgraded, 36 newly installed, 0 to remove and 0 not upgraded. 81s Need to get 286 MB of archives. 81s After this operation, 923 MB of additional disk space will be used. 81s Get:1 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [27.0 MB] 84s Get:2 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB] 84s Get:3 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB] 84s Get:4 http://ftpmaster.internal/ubuntu plucky/universe amd64 libfindlib-ocaml amd64 1.9.6-3build1 [185 kB] 84s Get:5 http://ftpmaster.internal/ubuntu plucky/universe amd64 libzarith-ocaml amd64 1.14-1 [119 kB] 84s Get:6 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [26.7 MB] 85s Get:7 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] 86s Get:8 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB] 88s Get:9 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB] 88s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB] 88s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 88s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 88s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [11.9 MB] 89s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-17ubuntu1 [1032 B] 89s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [5586 B] 89s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.2.0-1ubuntu1 [22.4 kB] 89s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 14.2.0-17ubuntu1 [47.6 kB] 89s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 14.2.0-17ubuntu1 [148 kB] 89s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 14.2.0-17ubuntu1 [28.9 kB] 89s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 14.2.0-17ubuntu1 [2998 kB] 89s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 14.2.0-17ubuntu1 [1317 kB] 89s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 14.2.0-17ubuntu1 [2733 kB] 89s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 14.2.0-17ubuntu1 [1177 kB] 89s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 14.2.0-17ubuntu1 [1634 kB] 89s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 14.2.0-17ubuntu1 [153 kB] 89s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB] 89s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB] 90s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB] 90s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B] 90s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B] 90s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB] 90s Get:32 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB] 91s Get:33 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-findlib amd64 1.9.6-3build1 [626 kB] 91s Get:34 http://ftpmaster.internal/ubuntu plucky/universe amd64 coq amd64 8.20.0+dfsg-1 [90.0 MB] 95s Get:35 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-bignums amd64 9.0.0+coq8.20-1build5 [2252 kB] 95s Get:36 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-coqprime amd64 8.20.1-1 [2060 kB] 95s Fetched 286 MB in 14s (21.0 MB/s) 95s Selecting previously unselected package libcoq-stdlib. 95s (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 ... 108916 files and directories currently installed.) 95s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ... 95s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 96s Selecting previously unselected package libstdlib-ocaml. 96s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_amd64.deb ... 96s Unpacking libstdlib-ocaml (5.2.0-3) ... 96s Selecting previously unselected package ocaml-base. 96s Preparing to unpack .../02-ocaml-base_5.2.0-3_amd64.deb ... 96s Unpacking ocaml-base (5.2.0-3) ... 96s Selecting previously unselected package libfindlib-ocaml. 96s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_amd64.deb ... 96s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 96s Selecting previously unselected package libzarith-ocaml. 96s Preparing to unpack .../04-libzarith-ocaml_1.14-1_amd64.deb ... 96s Unpacking libzarith-ocaml (1.14-1) ... 96s Selecting previously unselected package libcoq-core-ocaml. 96s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ... 96s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... 97s Selecting previously unselected package libstdlib-ocaml-dev. 97s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... 97s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 97s Selecting previously unselected package libcompiler-libs-ocaml-dev. 97s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... 97s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 97s Selecting previously unselected package ocaml-interp. 97s Preparing to unpack .../08-ocaml-interp_5.2.0-3_amd64.deb ... 97s Unpacking ocaml-interp (5.2.0-3) ... 98s Selecting previously unselected package libncurses-dev:amd64. 98s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_amd64.deb ... 98s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ... 98s Selecting previously unselected package libisl23:amd64. 98s Preparing to unpack .../10-libisl23_0.27-1_amd64.deb ... 98s Unpacking libisl23:amd64 (0.27-1) ... 98s Selecting previously unselected package libmpc3:amd64. 98s Preparing to unpack .../11-libmpc3_1.3.1-1build2_amd64.deb ... 98s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 98s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 98s Preparing to unpack .../12-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package cpp-14. 98s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package cpp-x86-64-linux-gnu. 98s Preparing to unpack .../14-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 98s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 98s Selecting previously unselected package cpp. 98s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ... 98s Unpacking cpp (4:14.2.0-1ubuntu1) ... 98s Selecting previously unselected package libcc1-0:amd64. 98s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking libcc1-0:amd64 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package libgomp1:amd64. 98s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking libgomp1:amd64 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package libitm1:amd64. 98s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking libitm1:amd64 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package libasan8:amd64. 98s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking libasan8:amd64 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package liblsan0:amd64. 98s Preparing to unpack .../20-liblsan0_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking liblsan0:amd64 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package libtsan2:amd64. 98s Preparing to unpack .../21-libtsan2_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking libtsan2:amd64 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package libubsan1:amd64. 98s Preparing to unpack .../22-libubsan1_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking libubsan1:amd64 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package libhwasan0:amd64. 98s Preparing to unpack .../23-libhwasan0_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking libhwasan0:amd64 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package libquadmath0:amd64. 98s Preparing to unpack .../24-libquadmath0_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking libquadmath0:amd64 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package libgcc-14-dev:amd64. 98s Preparing to unpack .../25-libgcc-14-dev_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 98s Preparing to unpack .../26-gcc-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 99s Selecting previously unselected package gcc-14. 99s Preparing to unpack .../27-gcc-14_14.2.0-17ubuntu1_amd64.deb ... 99s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 99s Selecting previously unselected package gcc-x86-64-linux-gnu. 99s Preparing to unpack .../28-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 99s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 99s Selecting previously unselected package gcc. 99s Preparing to unpack .../29-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ... 99s Unpacking gcc (4:14.2.0-1ubuntu1) ... 99s Selecting previously unselected package libzstd-dev:amd64. 99s Preparing to unpack .../30-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... 99s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... 99s Selecting previously unselected package ocaml. 99s Preparing to unpack .../31-ocaml_5.2.0-3_amd64.deb ... 99s Unpacking ocaml (5.2.0-3) ... 99s Selecting previously unselected package ocaml-findlib. 99s Preparing to unpack .../32-ocaml-findlib_1.9.6-3build1_amd64.deb ... 99s Unpacking ocaml-findlib (1.9.6-3build1) ... 99s Selecting previously unselected package coq. 99s Preparing to unpack .../33-coq_8.20.0+dfsg-1_amd64.deb ... 99s Unpacking coq (8.20.0+dfsg-1) ... 101s Selecting previously unselected package libcoq-bignums. 101s Preparing to unpack .../34-libcoq-bignums_9.0.0+coq8.20-1build5_amd64.deb ... 101s Unpacking libcoq-bignums (9.0.0+coq8.20-1build5) ... 101s Selecting previously unselected package libcoq-coqprime. 101s Preparing to unpack .../35-libcoq-coqprime_8.20.1-1_amd64.deb ... 101s Unpacking libcoq-coqprime (8.20.1-1) ... 101s Setting up libncurses-dev:amd64 (6.5+20250125-2) ... 101s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... 101s Setting up libgomp1:amd64 (14.2.0-17ubuntu1) ... 101s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 101s Setting up libquadmath0:amd64 (14.2.0-17ubuntu1) ... 101s Setting up libstdlib-ocaml (5.2.0-3) ... 101s Setting up libmpc3:amd64 (1.3.1-1build2) ... 101s Setting up ocaml-base (5.2.0-3) ... 101s Setting up libubsan1:amd64 (14.2.0-17ubuntu1) ... 101s Setting up libhwasan0:amd64 (14.2.0-17ubuntu1) ... 101s Setting up libasan8:amd64 (14.2.0-17ubuntu1) ... 101s Setting up libtsan2:amd64 (14.2.0-17ubuntu1) ... 101s Setting up libisl23:amd64 (0.27-1) ... 101s Setting up libcc1-0:amd64 (14.2.0-17ubuntu1) ... 101s Setting up libcoq-bignums (9.0.0+coq8.20-1build5) ... 101s Setting up liblsan0:amd64 (14.2.0-17ubuntu1) ... 101s Setting up libitm1:amd64 (14.2.0-17ubuntu1) ... 101s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 101s Setting up libfindlib-ocaml (1.9.6-3build1) ... 101s Setting up libzarith-ocaml (1.14-1) ... 101s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 101s Setting up ocaml-interp (5.2.0-3) ... 101s Setting up ocaml-findlib (1.9.6-3build1) ... 101s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 101s Setting up cpp-14 (14.2.0-17ubuntu1) ... 101s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 101s Setting up libcoq-coqprime (8.20.1-1) ... 101s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 101s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 101s Setting up cpp (4:14.2.0-1ubuntu1) ... 101s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 101s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 101s Setting up gcc-14 (14.2.0-17ubuntu1) ... 101s Setting up gcc (4:14.2.0-1ubuntu1) ... 101s Setting up ocaml (5.2.0-3) ... 101s Setting up coq (8.20.0+dfsg-1) ... 101s Processing triggers for man-db (2.13.0-1) ... 101s Processing triggers for libc-bin (2.41-1ubuntu1) ... 102s autopkgtest [19:39:14]: test command1: coqtop -batch -rifrom Coqprime PrimalityTest.Pocklington 102s autopkgtest [19:39:14]: test command1: [----------------------- 103s autopkgtest [19:39:15]: test command1: -----------------------] 104s command1 PASS 104s autopkgtest [19:39:16]: test command1: - - - - - - - - - - results - - - - - - - - - - 104s autopkgtest [19:39:16]: @@@@@@@@@@@@@@@@@@@@ summary 104s command1 PASS 122s nova [W] Skipping flock for amd64 122s Creating nova instance adt-plucky-amd64-coqprime-20250215-193732-juju-7f2275-prod-proposed-migration-environment-2-d8c6f0cd-22bd-4f50-8531-94604ff58a8d from image adt/ubuntu-plucky-amd64-server-20250215.img (UUID d1f7bb98-7df8-4026-816e-9f6798166d8b)... 122s nova [W] Timed out waiting for e3345bae-6f91-4b06-aea5-65d0dd52c99d to get deleted.