0s autopkgtest [19:37:26]: starting date and time: 2025-02-15 19:37:26+0000 0s autopkgtest [19:37:26]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [19:37:26]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.tqysjdj3/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 coq-hammer --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-24.secgroup --name adt-plucky-amd64-coq-hammer-20250215-193726-juju-7f2275-prod-proposed-migration-environment-2-0fe82288-26bc-4773-a8ec-87f2b508c084 --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/ 62s autopkgtest [19:38:28]: testbed dpkg architecture: amd64 62s autopkgtest [19:38:28]: testbed apt version: 2.9.28 62s autopkgtest [19:38:28]: @@@@@@@@@@@@@@@@@@@@ test bed setup 62s autopkgtest [19:38:28]: testbed release detected to be: None 63s autopkgtest [19:38:29]: updating testbed package index (apt update) 64s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 64s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 64s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 64s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 64s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [822 kB] 64s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [62.8 kB] 64s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 64s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.7 kB] 64s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [82.9 kB] 64s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [65.0 kB] 64s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 64s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 64s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [287 kB] 64s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [823 kB] 64s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [3520 B] 64s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [10.6 kB] 64s Fetched 2294 kB in 1s (2462 kB/s) 65s Reading package lists... 66s Reading package lists... 66s Building dependency tree... 66s Reading state information... 67s Calculating upgrade... 67s The following packages will be upgraded: 67s libtasn1-6 67s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 67s Need to get 51.2 kB of archives. 67s After this operation, 22.5 kB of additional disk space will be used. 67s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 libtasn1-6 amd64 4.20.0-2 [51.2 kB] 68s Fetched 51.2 kB in 1s (95.8 kB/s) 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 ... 108914 files and directories currently installed.) 68s Preparing to unpack .../libtasn1-6_4.20.0-2_amd64.deb ... 68s Unpacking libtasn1-6:amd64 (4.20.0-2) over (4.19.0-3build1) ... 68s Setting up libtasn1-6:amd64 (4.20.0-2) ... 68s Processing triggers for libc-bin (2.40-4ubuntu1) ... 68s Reading package lists... 69s Building dependency tree... 69s Reading state information... 69s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 69s autopkgtest [19:38:35]: upgrading testbed (apt dist-upgrade and autopurge) 69s Reading package lists... 69s Building dependency tree... 69s Reading state information... 70s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 70s Starting 2 pkgProblemResolver with broken count: 0 70s Done 70s Entering ResolveByKeep 71s 71s The following packages will be upgraded: 71s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 71s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 71s Need to get 11.8 MB of archives. 71s After this operation, 746 kB of additional disk space will be used. 71s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc-dev-bin amd64 2.41-1ubuntu1 [24.7 kB] 71s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc6-dev amd64 2.41-1ubuntu1 [2182 kB] 72s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 locales all 2.41-1ubuntu1 [4246 kB] 72s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc6 amd64 2.41-1ubuntu1 [3327 kB] 72s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libc-bin amd64 2.41-1ubuntu1 [701 kB] 72s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 iproute2 amd64 6.13.0-1ubuntu1 [1277 kB] 72s Preconfiguring packages ... 72s Fetched 11.8 MB in 1s (11.5 MB/s) 72s (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.) 72s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_amd64.deb ... 72s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 73s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_amd64.deb ... 73s Unpacking libc6-dev:amd64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 73s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 73s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 73s Preparing to unpack .../libc6_2.41-1ubuntu1_amd64.deb ... 73s Checking for services that may need to be restarted... 73s Checking init scripts... 73s Checking for services that may need to be restarted... 73s Checking init scripts... 73s Stopping some services possibly affected by the upgrade (will be restarted later): 73s cron: stopping...done. 73s 73s Unpacking libc6:amd64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 73s Setting up libc6:amd64 (2.41-1ubuntu1) ... 73s Checking for services that may need to be restarted... 73s Checking init scripts... 73s Restarting services possibly affected by the upgrade: 73s cron: restarting...done. 73s 73s Services restarted successfully. 74s (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.) 74s Preparing to unpack .../libc-bin_2.41-1ubuntu1_amd64.deb ... 74s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 74s Setting up libc-bin (2.41-1ubuntu1) ... 74s (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.) 74s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_amd64.deb ... 74s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 74s Setting up iproute2 (6.13.0-1ubuntu1) ... 74s Setting up locales (2.41-1ubuntu1) ... 74s Installing new version of config file /etc/locale.alias ... 75s Generating locales (this might take a while)... 76s en_US.UTF-8... done 76s Generation complete. 76s Setting up libc-dev-bin (2.41-1ubuntu1) ... 76s Setting up libc6-dev:amd64 (2.41-1ubuntu1) ... 76s Processing triggers for man-db (2.13.0-1) ... 78s Processing triggers for systemd (257.2-3ubuntu1) ... 78s Reading package lists... 79s Building dependency tree... 79s Reading state information... 79s Starting pkgProblemResolver with broken count: 0 79s Starting 2 pkgProblemResolver with broken count: 0 79s Done 79s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 82s 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 82s autopkgtest [19:38:48]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-hammer 84s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq-hammer 1.3.2+8.20-1 (dsc) [2112 B] 84s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq-hammer 1.3.2+8.20-1 (tar) [149 kB] 84s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq-hammer 1.3.2+8.20-1 (diff) [2744 B] 84s gpgv: Signature made Wed Nov 20 09:45:47 2024 UTC 84s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 84s gpgv: issuer "jpuydt@debian.org" 84s gpgv: Can't check signature: No public key 84s dpkg-source: warning: cannot verify inline signature for ./coq-hammer_1.3.2+8.20-1.dsc: no acceptable signature found 84s autopkgtest [19:38:50]: testing package coq-hammer version 1.3.2+8.20-1 84s autopkgtest [19:38:50]: build not needed 85s autopkgtest [19:38:51]: test command1: preparing testbed 85s Reading package lists... 85s Building dependency tree... 85s Reading state information... 85s Starting pkgProblemResolver with broken count: 0 85s Starting 2 pkgProblemResolver with broken count: 0 85s Done 86s The following NEW packages will be installed: 86s coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 86s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 86s libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-hammer libcoq-stdlib 86s libfindlib-ocaml libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 86s libmpc3 libncurses-dev libquadmath0 libstdlib-ocaml libstdlib-ocaml-dev 86s libtsan2 libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base 86s ocaml-findlib ocaml-interp 86s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. 86s Need to get 282 MB of archives. 86s After this operation, 912 MB of additional disk space will be used. 86s Get:1 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [27.0 MB] 88s Get:2 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB] 88s Get:3 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB] 88s Get:4 http://ftpmaster.internal/ubuntu plucky/universe amd64 libfindlib-ocaml amd64 1.9.6-3build1 [185 kB] 88s Get:5 http://ftpmaster.internal/ubuntu plucky/universe amd64 libzarith-ocaml amd64 1.14-1 [119 kB] 88s Get:6 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [26.7 MB] 89s Get:7 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] 89s Get:8 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB] 90s Get:9 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB] 91s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB] 91s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 91s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 91s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [11.9 MB] 91s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-17ubuntu1 [1032 B] 91s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [5586 B] 91s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.2.0-1ubuntu1 [22.4 kB] 91s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 14.2.0-17ubuntu1 [47.6 kB] 91s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 14.2.0-17ubuntu1 [148 kB] 91s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 14.2.0-17ubuntu1 [28.9 kB] 91s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 14.2.0-17ubuntu1 [2998 kB] 91s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 14.2.0-17ubuntu1 [1317 kB] 91s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 14.2.0-17ubuntu1 [2733 kB] 91s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 14.2.0-17ubuntu1 [1177 kB] 91s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 14.2.0-17ubuntu1 [1634 kB] 91s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 14.2.0-17ubuntu1 [153 kB] 91s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB] 91s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB] 92s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB] 92s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B] 92s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B] 92s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB] 92s Get:32 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB] 92s Get:33 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-findlib amd64 1.9.6-3build1 [626 kB] 92s Get:34 http://ftpmaster.internal/ubuntu plucky/universe amd64 coq amd64 8.20.0+dfsg-1 [90.0 MB] 94s Get:35 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-hammer amd64 1.3.2+8.20-1 [567 kB] 95s Fetched 282 MB in 9s (32.3 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) ... 96s Selecting previously unselected package libstdlib-ocaml-dev. 96s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... 96s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 96s Selecting previously unselected package libcompiler-libs-ocaml-dev. 96s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... 96s 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) ... 97s Selecting previously unselected package libncurses-dev:amd64. 97s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_amd64.deb ... 97s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ... 97s Selecting previously unselected package libisl23:amd64. 97s Preparing to unpack .../10-libisl23_0.27-1_amd64.deb ... 97s Unpacking libisl23:amd64 (0.27-1) ... 97s Selecting previously unselected package libmpc3:amd64. 97s Preparing to unpack .../11-libmpc3_1.3.1-1build2_amd64.deb ... 97s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 97s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 97s Preparing to unpack .../12-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package cpp-14. 97s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package cpp-x86-64-linux-gnu. 97s Preparing to unpack .../14-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 97s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 97s Selecting previously unselected package cpp. 97s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ... 97s Unpacking cpp (4:14.2.0-1ubuntu1) ... 97s Selecting previously unselected package libcc1-0:amd64. 97s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libcc1-0:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libgomp1:amd64. 97s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libgomp1:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libitm1:amd64. 97s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_amd64.deb ... 97s Unpacking libitm1:amd64 (14.2.0-17ubuntu1) ... 97s Selecting previously unselected package libasan8:amd64. 97s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_amd64.deb ... 97s 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) ... 98s Selecting previously unselected package gcc-14. 98s Preparing to unpack .../27-gcc-14_14.2.0-17ubuntu1_amd64.deb ... 98s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 98s Selecting previously unselected package gcc-x86-64-linux-gnu. 98s Preparing to unpack .../28-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 98s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 98s Selecting previously unselected package gcc. 98s Preparing to unpack .../29-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ... 98s Unpacking gcc (4:14.2.0-1ubuntu1) ... 98s Selecting previously unselected package libzstd-dev:amd64. 98s Preparing to unpack .../30-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... 98s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... 98s Selecting previously unselected package ocaml. 98s Preparing to unpack .../31-ocaml_5.2.0-3_amd64.deb ... 98s 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) ... 100s Selecting previously unselected package libcoq-hammer. 100s Preparing to unpack .../34-libcoq-hammer_1.3.2+8.20-1_amd64.deb ... 100s Unpacking libcoq-hammer (1.3.2+8.20-1) ... 100s Setting up libncurses-dev:amd64 (6.5+20250125-2) ... 100s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... 100s Setting up libgomp1:amd64 (14.2.0-17ubuntu1) ... 100s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 100s Setting up libquadmath0:amd64 (14.2.0-17ubuntu1) ... 100s Setting up libstdlib-ocaml (5.2.0-3) ... 100s Setting up libmpc3:amd64 (1.3.1-1build2) ... 100s Setting up ocaml-base (5.2.0-3) ... 100s Setting up libubsan1:amd64 (14.2.0-17ubuntu1) ... 100s Setting up libcoq-hammer (1.3.2+8.20-1) ... 100s Setting up libhwasan0:amd64 (14.2.0-17ubuntu1) ... 100s Setting up libasan8:amd64 (14.2.0-17ubuntu1) ... 100s Setting up libtsan2:amd64 (14.2.0-17ubuntu1) ... 100s Setting up libisl23:amd64 (0.27-1) ... 100s Setting up libcc1-0:amd64 (14.2.0-17ubuntu1) ... 100s Setting up liblsan0:amd64 (14.2.0-17ubuntu1) ... 100s Setting up libitm1:amd64 (14.2.0-17ubuntu1) ... 100s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 100s Setting up libfindlib-ocaml (1.9.6-3build1) ... 100s Setting up libzarith-ocaml (1.14-1) ... 100s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 100s Setting up ocaml-interp (5.2.0-3) ... 100s Setting up ocaml-findlib (1.9.6-3build1) ... 100s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 100s Setting up cpp-14 (14.2.0-17ubuntu1) ... 100s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 100s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 100s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 100s Setting up cpp (4:14.2.0-1ubuntu1) ... 100s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 100s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 100s Setting up gcc-14 (14.2.0-17ubuntu1) ... 100s Setting up gcc (4:14.2.0-1ubuntu1) ... 100s Setting up ocaml (5.2.0-3) ... 100s Setting up coq (8.20.0+dfsg-1) ... 100s Processing triggers for man-db (2.13.0-1) ... 100s Processing triggers for libc-bin (2.41-1ubuntu1) ... 101s autopkgtest [19:39:07]: test command1: coqtop -batch -rifrom Hammer Plugin.Hammer 101s autopkgtest [19:39:07]: test command1: [----------------------- 102s autopkgtest [19:39:08]: test command1: -----------------------] 103s command1 PASS 103s autopkgtest [19:39:09]: test command1: - - - - - - - - - - results - - - - - - - - - - 103s autopkgtest [19:39:09]: @@@@@@@@@@@@@@@@@@@@ summary 103s command1 PASS 121s nova [W] Skipping flock for amd64 121s Creating nova instance adt-plucky-amd64-coq-hammer-20250215-193726-juju-7f2275-prod-proposed-migration-environment-2-0fe82288-26bc-4773-a8ec-87f2b508c084 from image adt/ubuntu-plucky-amd64-server-20250215.img (UUID d1f7bb98-7df8-4026-816e-9f6798166d8b)... 121s nova [W] Timed out waiting for e2318c22-a49a-40b7-9055-513be505ec8a to get deleted.