0s autopkgtest [21:09:35]: starting date and time: 2025-02-15 21:09:35+0000
  0s autopkgtest [21:09:35]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production'
  0s autopkgtest [21:09:35]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.jnh9t718/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 autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-arm64-19.secgroup --name adt-plucky-arm64-coq-hammer-20250215-210935-juju-7f2275-prod-proposed-migration-environment-15-554e84db-32e9-4f20-9a16-d82ec69f1ba0 --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --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,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/
158s autopkgtest [21:12:13]: testbed dpkg architecture: arm64
158s autopkgtest [21:12:13]: testbed apt version: 2.9.28
158s autopkgtest [21:12:13]: @@@@@@@@@@@@@@@@@@@@ test bed setup
159s autopkgtest [21:12:14]: testbed release detected to be: None
159s autopkgtest [21:12:14]: updating testbed package index (apt update)
160s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB]
160s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
160s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
160s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
160s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [820 kB]
160s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [62.8 kB]
160s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B]
160s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB]
160s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [77.9 kB]
160s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B]
160s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [844 kB]
160s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.0 kB]
161s Fetched 1949 kB in 1s (1862 kB/s)
162s Reading package lists...
162s + lsb_release --codename --short
162s + RELEASE=plucky
162s + cat
162s + [ plucky != trusty ]
162s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade
162s Reading package lists...
163s Building dependency tree...
163s Reading state information...
163s Calculating upgrade...
164s The following packages will be upgraded:
164s   dash libtasn1-6 libxdmcp6
164s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
164s Need to get 151 kB of archives.
164s After this operation, 17.4 kB of additional disk space will be used.
164s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 dash arm64 0.5.12-12ubuntu1 [96.1 kB]
164s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libtasn1-6 arm64 4.20.0-2 [43.9 kB]
164s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdmcp6 arm64 1:1.1.5-1 [10.7 kB]
165s Preconfiguring packages ...
165s Fetched 151 kB in 0s (359 kB/s)
165s (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 ... 116609 files and directories currently installed.)
165s Preparing to unpack .../dash_0.5.12-12ubuntu1_arm64.deb ...
165s Unpacking dash (0.5.12-12ubuntu1) over (0.5.12-9ubuntu1) ...
166s Setting up dash (0.5.12-12ubuntu1) ...
166s (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 ... 116609 files and directories currently installed.)
166s Preparing to unpack .../libtasn1-6_4.20.0-2_arm64.deb ...
166s Unpacking libtasn1-6:arm64 (4.20.0-2) over (4.19.0-3build1) ...
166s Preparing to unpack .../libxdmcp6_1%3a1.1.5-1_arm64.deb ...
166s Unpacking libxdmcp6:arm64 (1:1.1.5-1) over (1:1.1.3-0ubuntu6) ...
166s Setting up libxdmcp6:arm64 (1:1.1.5-1) ...
166s Setting up libtasn1-6:arm64 (4.20.0-2) ...
166s Processing triggers for libc-bin (2.40-4ubuntu1) ...
166s Processing triggers for man-db (2.13.0-1) ...
166s Processing triggers for debianutils (5.21) ...
167s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref
167s + /usr/lib/apt/apt-helper analyze-pattern ?true
167s + uname -r
167s + sed s/\./\\./g
167s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.*
167s + apt list ?obsolete
167s + tail -n+2
167s + cut -d/ -f1
167s + grep -v ^linux-.*6\.12\.0-15-generic.*
167s + true
167s + obsolete_pkgs=
167s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove
167s Reading package lists...
168s Building dependency tree...
168s Reading state information...
170s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded.
170s + grep -q trusty /etc/lsb-release
170s + [ ! -d /usr/share/doc/unattended-upgrades ]
170s + [ ! -d /usr/share/doc/lxd ]
170s + [ ! -d /usr/share/doc/lxd-client ]
170s + [ ! -d /usr/share/doc/snapd ]
170s + type iptables
170s + cat
170s + chmod 755 /etc/rc.local
170s + . /etc/rc.local
170s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu
170s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP
170s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP
170s + uname -m
170s + [ aarch64 = ppc64le ]
170s + [ -d /run/systemd/system ]
170s + systemd-detect-virt --quiet --vm
170s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/
170s + cat
170s + grep -q lz4 /etc/initramfs-tools/initramfs.conf
170s + echo COMPRESS=lz4
170s autopkgtest [21:12:25]: upgrading testbed (apt dist-upgrade and autopurge)
170s Reading package lists...
171s Building dependency tree...
171s Reading state information...
172s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
173s Starting 2 pkgProblemResolver with broken count: 0
173s Done
174s Entering ResolveByKeep
175s 
176s The following packages will be upgraded:
176s   iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales
176s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
176s Need to get 10.7 MB of archives.
176s After this operation, 358 kB of additional disk space will be used.
176s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu1 [24.0 kB]
176s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu1 [1750 kB]
177s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu1 [4246 kB]
177s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu1 [2910 kB]
177s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu1 [600 kB]
177s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 iproute2 arm64 6.13.0-1ubuntu1 [1158 kB]
178s Preconfiguring packages ...
178s Fetched 10.7 MB in 2s (6933 kB/s)
178s (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 ... 116609 files and directories currently installed.)
178s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_arm64.deb ...
178s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
178s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_arm64.deb ...
178s Unpacking libc6-dev:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
179s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ...
179s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
179s Preparing to unpack .../libc6_2.41-1ubuntu1_arm64.deb ...
179s Checking for services that may need to be restarted...
179s Checking init scripts...
179s Checking for services that may need to be restarted...
179s Checking init scripts...
179s Stopping some services possibly affected by the upgrade (will be restarted later):
179s   cron: stopping...done.
179s 
179s Unpacking libc6:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
180s Setting up libc6:arm64 (2.41-1ubuntu1) ...
180s Checking for services that may need to be restarted...
180s Checking init scripts...
180s Restarting services possibly affected by the upgrade:
180s   cron: restarting...done.
180s 
180s Services restarted successfully.
180s (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 ... 116610 files and directories currently installed.)
180s Preparing to unpack .../libc-bin_2.41-1ubuntu1_arm64.deb ...
180s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
180s Setting up libc-bin (2.41-1ubuntu1) ...
180s (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 ... 116610 files and directories currently installed.)
180s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_arm64.deb ...
180s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ...
181s Setting up iproute2 (6.13.0-1ubuntu1) ...
181s Setting up locales (2.41-1ubuntu1) ...
181s Installing new version of config file /etc/locale.alias ...
182s Generating locales (this might take a while)...
184s   en_US.UTF-8... done
184s Generation complete.
184s Setting up libc-dev-bin (2.41-1ubuntu1) ...
184s Setting up libc6-dev:arm64 (2.41-1ubuntu1) ...
184s Processing triggers for man-db (2.13.0-1) ...
185s Processing triggers for systemd (257.2-3ubuntu1) ...
186s Reading package lists...
186s Building dependency tree...
186s Reading state information...
186s Starting pkgProblemResolver with broken count: 0
186s Starting 2 pkgProblemResolver with broken count: 0
186s Done
187s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
190s autopkgtest [21:12:45]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb  4 15:49:33 UTC 2025
190s autopkgtest [21:12:45]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-hammer
191s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq-hammer 1.3.2+8.20-1 (dsc) [2112 B]
191s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq-hammer 1.3.2+8.20-1 (tar) [149 kB]
191s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq-hammer 1.3.2+8.20-1 (diff) [2744 B]
192s gpgv: Signature made Wed Nov 20 09:45:47 2024 UTC
192s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
192s gpgv:                issuer "jpuydt@debian.org"
192s gpgv: Can't check signature: No public key
192s dpkg-source: warning: cannot verify inline signature for ./coq-hammer_1.3.2+8.20-1.dsc: no acceptable signature found
192s autopkgtest [21:12:47]: testing package coq-hammer version 1.3.2+8.20-1
192s autopkgtest [21:12:47]: build not needed
192s autopkgtest [21:12:47]: test command1: preparing testbed
193s Reading package lists...
193s Building dependency tree...
193s Reading state information...
193s Starting pkgProblemResolver with broken count: 0
193s Starting 2 pkgProblemResolver with broken count: 0
193s Done
196s The following NEW packages will be installed:
196s   coq cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-14
196s   gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0
196s   libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-hammer libcoq-stdlib
196s   libfindlib-ocaml libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0
196s   libmpc3 libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev libtsan2
196s   libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib
196s   ocaml-interp
196s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded.
196s Need to get 288 MB of archives.
196s After this operation, 947 MB of additional disk space will be used.
196s Get:1 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-stdlib arm64 8.20.0+dfsg-1 [27.0 MB]
196s Get:2 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB]
196s Get:3 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB]
196s Get:4 http://ftpmaster.internal/ubuntu plucky/universe arm64 libfindlib-ocaml arm64 1.9.6-3build1 [193 kB]
196s Get:5 http://ftpmaster.internal/ubuntu plucky/universe arm64 libzarith-ocaml arm64 1.14-1 [121 kB]
196s Get:6 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-core-ocaml arm64 8.20.0+dfsg-1 [27.9 MB]
197s Get:7 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB]
197s Get:8 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB]
200s Get:9 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB]
200s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB]
201s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB]
201s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB]
201s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [10.6 MB]
201s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu1 [1032 B]
201s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B]
201s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB]
201s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 14.2.0-17ubuntu1 [49.6 kB]
201s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 14.2.0-17ubuntu1 [145 kB]
201s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 14.2.0-17ubuntu1 [27.8 kB]
201s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 14.2.0-17ubuntu1 [2892 kB]
201s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 14.2.0-17ubuntu1 [1283 kB]
201s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 14.2.0-17ubuntu1 [2686 kB]
201s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 14.2.0-17ubuntu1 [1152 kB]
201s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 14.2.0-17ubuntu1 [1599 kB]
201s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu1 [2593 kB]
201s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [20.9 MB]
202s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu1 [526 kB]
202s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B]
202s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B]
202s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB]
202s Get:31 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB]
203s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-findlib arm64 1.9.6-3build1 [712 kB]
203s Get:33 http://ftpmaster.internal/ubuntu plucky/universe arm64 coq arm64 8.20.0+dfsg-1 [95.5 MB]
209s Get:34 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-hammer arm64 1.3.2+8.20-1 [626 kB]
209s Fetched 288 MB in 14s (19.9 MB/s)
209s Selecting previously unselected package libcoq-stdlib.
209s (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 ... 116611 files and directories currently installed.)
209s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_arm64.deb ...
209s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
210s Selecting previously unselected package libstdlib-ocaml.
210s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_arm64.deb ...
210s Unpacking libstdlib-ocaml (5.2.0-3) ...
210s Selecting previously unselected package ocaml-base.
210s Preparing to unpack .../02-ocaml-base_5.2.0-3_arm64.deb ...
210s Unpacking ocaml-base (5.2.0-3) ...
210s Selecting previously unselected package libfindlib-ocaml.
210s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_arm64.deb ...
210s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
210s Selecting previously unselected package libzarith-ocaml.
210s Preparing to unpack .../04-libzarith-ocaml_1.14-1_arm64.deb ...
210s Unpacking libzarith-ocaml (1.14-1) ...
210s Selecting previously unselected package libcoq-core-ocaml.
210s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb ...
210s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
211s Selecting previously unselected package libstdlib-ocaml-dev.
211s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ...
211s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
211s Selecting previously unselected package libcompiler-libs-ocaml-dev.
211s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ...
211s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
211s Selecting previously unselected package ocaml-interp.
211s Preparing to unpack .../08-ocaml-interp_5.2.0-3_arm64.deb ...
211s Unpacking ocaml-interp (5.2.0-3) ...
212s Selecting previously unselected package libncurses-dev:arm64.
212s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_arm64.deb ...
212s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ...
212s Selecting previously unselected package libisl23:arm64.
212s Preparing to unpack .../10-libisl23_0.27-1_arm64.deb ...
212s Unpacking libisl23:arm64 (0.27-1) ...
212s Selecting previously unselected package libmpc3:arm64.
212s Preparing to unpack .../11-libmpc3_1.3.1-1build2_arm64.deb ...
212s Unpacking libmpc3:arm64 (1.3.1-1build2) ...
212s Selecting previously unselected package cpp-14-aarch64-linux-gnu.
212s Preparing to unpack .../12-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ...
212s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ...
212s Selecting previously unselected package cpp-14.
212s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_arm64.deb ...
212s Unpacking cpp-14 (14.2.0-17ubuntu1) ...
212s Selecting previously unselected package cpp-aarch64-linux-gnu.
212s Preparing to unpack .../14-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ...
212s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
212s Selecting previously unselected package cpp.
212s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ...
212s Unpacking cpp (4:14.2.0-1ubuntu1) ...
212s Selecting previously unselected package libcc1-0:arm64.
212s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_arm64.deb ...
212s Unpacking libcc1-0:arm64 (14.2.0-17ubuntu1) ...
212s Selecting previously unselected package libgomp1:arm64.
212s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_arm64.deb ...
212s Unpacking libgomp1:arm64 (14.2.0-17ubuntu1) ...
212s Selecting previously unselected package libitm1:arm64.
212s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_arm64.deb ...
212s Unpacking libitm1:arm64 (14.2.0-17ubuntu1) ...
212s Selecting previously unselected package libasan8:arm64.
212s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_arm64.deb ...
212s Unpacking libasan8:arm64 (14.2.0-17ubuntu1) ...
212s Selecting previously unselected package liblsan0:arm64.
212s Preparing to unpack .../20-liblsan0_14.2.0-17ubuntu1_arm64.deb ...
212s Unpacking liblsan0:arm64 (14.2.0-17ubuntu1) ...
212s Selecting previously unselected package libtsan2:arm64.
212s Preparing to unpack .../21-libtsan2_14.2.0-17ubuntu1_arm64.deb ...
212s Unpacking libtsan2:arm64 (14.2.0-17ubuntu1) ...
212s Selecting previously unselected package libubsan1:arm64.
213s Preparing to unpack .../22-libubsan1_14.2.0-17ubuntu1_arm64.deb ...
213s Unpacking libubsan1:arm64 (14.2.0-17ubuntu1) ...
213s Selecting previously unselected package libhwasan0:arm64.
213s Preparing to unpack .../23-libhwasan0_14.2.0-17ubuntu1_arm64.deb ...
213s Unpacking libhwasan0:arm64 (14.2.0-17ubuntu1) ...
213s Selecting previously unselected package libgcc-14-dev:arm64.
213s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu1_arm64.deb ...
213s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ...
213s Selecting previously unselected package gcc-14-aarch64-linux-gnu.
213s Preparing to unpack .../25-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ...
213s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ...
213s Selecting previously unselected package gcc-14.
213s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu1_arm64.deb ...
213s Unpacking gcc-14 (14.2.0-17ubuntu1) ...
213s Selecting previously unselected package gcc-aarch64-linux-gnu.
213s Preparing to unpack .../27-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ...
213s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
213s Selecting previously unselected package gcc.
213s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ...
213s Unpacking gcc (4:14.2.0-1ubuntu1) ...
213s Selecting previously unselected package libzstd-dev:arm64.
213s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_arm64.deb ...
213s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ...
213s Selecting previously unselected package ocaml.
213s Preparing to unpack .../30-ocaml_5.2.0-3_arm64.deb ...
213s Unpacking ocaml (5.2.0-3) ...
214s Selecting previously unselected package ocaml-findlib.
214s Preparing to unpack .../31-ocaml-findlib_1.9.6-3build1_arm64.deb ...
214s Unpacking ocaml-findlib (1.9.6-3build1) ...
214s Selecting previously unselected package coq.
214s Preparing to unpack .../32-coq_8.20.0+dfsg-1_arm64.deb ...
214s Unpacking coq (8.20.0+dfsg-1) ...
216s Selecting previously unselected package libcoq-hammer.
216s Preparing to unpack .../33-libcoq-hammer_1.3.2+8.20-1_arm64.deb ...
216s Unpacking libcoq-hammer (1.3.2+8.20-1) ...
216s Setting up libncurses-dev:arm64 (6.5+20250125-2) ...
216s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ...
216s Setting up libgomp1:arm64 (14.2.0-17ubuntu1) ...
216s Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
216s Setting up libstdlib-ocaml (5.2.0-3) ...
216s Setting up libmpc3:arm64 (1.3.1-1build2) ...
216s Setting up ocaml-base (5.2.0-3) ...
216s Setting up libubsan1:arm64 (14.2.0-17ubuntu1) ...
216s Setting up libcoq-hammer (1.3.2+8.20-1) ...
216s Setting up libhwasan0:arm64 (14.2.0-17ubuntu1) ...
216s Setting up libasan8:arm64 (14.2.0-17ubuntu1) ...
216s Setting up libtsan2:arm64 (14.2.0-17ubuntu1) ...
216s Setting up libisl23:arm64 (0.27-1) ...
216s Setting up libcc1-0:arm64 (14.2.0-17ubuntu1) ...
216s Setting up liblsan0:arm64 (14.2.0-17ubuntu1) ...
216s Setting up libitm1:arm64 (14.2.0-17ubuntu1) ...
216s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
216s Setting up libfindlib-ocaml (1.9.6-3build1) ...
216s Setting up libzarith-ocaml (1.14-1) ...
216s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
216s Setting up ocaml-interp (5.2.0-3) ...
216s Setting up ocaml-findlib (1.9.6-3build1) ...
216s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ...
216s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
216s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ...
216s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
216s Setting up cpp-14 (14.2.0-17ubuntu1) ...
216s Setting up cpp (4:14.2.0-1ubuntu1) ...
216s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ...
216s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
216s Setting up gcc-14 (14.2.0-17ubuntu1) ...
216s Setting up gcc (4:14.2.0-1ubuntu1) ...
216s Setting up ocaml (5.2.0-3) ...
216s Setting up coq (8.20.0+dfsg-1) ...
216s Processing triggers for man-db (2.13.0-1) ...
217s Processing triggers for libc-bin (2.41-1ubuntu1) ...
218s autopkgtest [21:13:13]: test command1: coqtop -batch -rifrom Hammer Plugin.Hammer
218s autopkgtest [21:13:13]: test command1: [-----------------------
219s autopkgtest [21:13:14]: test command1: -----------------------]
219s autopkgtest [21:13:14]: test command1:  - - - - - - - - - - results - - - - - - - - - -
219s command1             PASS
220s autopkgtest [21:13:15]: @@@@@@@@@@@@@@@@@@@@ summary
220s command1             PASS
249s nova [W] Using flock in prodstack6-arm64
249s Creating nova instance adt-plucky-arm64-coq-hammer-20250215-210935-juju-7f2275-prod-proposed-migration-environment-15-554e84db-32e9-4f20-9a16-d82ec69f1ba0 from image adt/ubuntu-plucky-arm64-server-20250215.img (UUID 8f82fa69-4462-4e93-a46b-73be9ea2c381)...
249s nova [W] Timed out waiting for 58a74482-43eb-486c-b6e6-0aac39e18b93 to get deleted.