1s autopkgtest [08:01:53]: starting date and time: 2025-02-16 08:01:53+0000
  1s autopkgtest [08:01:54]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production'
  1s autopkgtest [08:01:54]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.g44m4o2w/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 ott --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-24.secgroup --name adt-plucky-arm64-ott-20250216-080153-juju-7f2275-prod-proposed-migration-environment-15-2fd92226-75b3-42db-9d3d-557dae630772 --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/
181s autopkgtest [08:04:54]: testbed dpkg architecture: arm64
181s autopkgtest [08:04:54]: testbed apt version: 2.9.28
182s autopkgtest [08:04:55]: @@@@@@@@@@@@@@@@@@@@ test bed setup
182s autopkgtest [08:04:55]: testbed release detected to be: None
183s autopkgtest [08:04:56]: updating testbed package index (apt update)
183s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB]
183s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
183s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
183s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
183s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B]
183s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [812 kB]
184s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB]
184s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [74.8 kB]
184s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [167 kB]
184s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B]
184s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [921 kB]
184s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.0 kB]
184s Fetched 2119 kB in 1s (2163 kB/s)
185s Reading package lists...
185s + lsb_release --codename --short
185s + RELEASE=plucky
185s + cat
185s + [ plucky != trusty ]
185s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade
185s Reading package lists...
186s Building dependency tree...
186s Reading state information...
186s Calculating upgrade...
186s The following packages will be upgraded:
186s   pci.ids
187s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
187s Need to get 284 kB of archives.
187s After this operation, 1024 B of additional disk space will be used.
187s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 pci.ids all 0.0~2025.02.12-1 [284 kB]
188s Fetched 284 kB in 0s (673 kB/s)
188s (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.)
188s Preparing to unpack .../pci.ids_0.0~2025.02.12-1_all.deb ...
188s Unpacking pci.ids (0.0~2025.02.12-1) over (0.0~2025.02.05-1) ...
188s Setting up pci.ids (0.0~2025.02.12-1) ...
188s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref
188s + /usr/lib/apt/apt-helper analyze-pattern ?true
188s + uname -r
188s + sed s/\./\\./g
188s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.*
188s + apt list ?obsolete
188s + cut -d/ -f1
188s + tail -n+2
188s + grep -v ^linux-.*6\.12\.0-15-generic.*
189s + true
189s + obsolete_pkgs=
189s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove
189s Reading package lists...
189s Building dependency tree...
189s Reading state information...
190s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded.
190s + grep -q trusty /etc/lsb-release
190s + [ ! -d /usr/share/doc/unattended-upgrades ]
190s + [ ! -d /usr/share/doc/lxd ]
190s + [ ! -d /usr/share/doc/lxd-client ]
190s + [ ! -d /usr/share/doc/snapd ]
190s + type iptables
190s + cat
190s + chmod 755 /etc/rc.local
190s + . /etc/rc.local
190s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu
190s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP
190s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP
190s + uname -m
190s + [ aarch64 = ppc64le ]
190s + [ -d /run/systemd/system ]
190s + systemd-detect-virt --quiet --vm
190s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/
190s + cat
190s + grep -q lz4 /etc/initramfs-tools/initramfs.conf
190s + echo COMPRESS=lz4
190s autopkgtest [08:05:03]: upgrading testbed (apt dist-upgrade and autopurge)
190s Reading package lists...
190s Building dependency tree...
190s Reading state information...
191s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
191s Starting 2 pkgProblemResolver with broken count: 0
191s Done
191s Entering ResolveByKeep
192s 
192s The following packages will be upgraded:
192s   iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales
192s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
192s Need to get 10.7 MB of archives.
192s After this operation, 358 kB of additional disk space will be used.
192s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu1 [24.0 kB]
192s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu1 [1750 kB]
193s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu1 [4246 kB]
193s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu1 [2910 kB]
193s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu1 [600 kB]
193s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 iproute2 arm64 6.13.0-1ubuntu1 [1158 kB]
193s Preconfiguring packages ...
193s Fetched 10.7 MB in 1s (12.0 MB/s)
193s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 116609 files and directories currently installed.)
193s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_arm64.deb ...
193s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
193s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_arm64.deb ...
193s Unpacking libc6-dev:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
194s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ...
194s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
194s Preparing to unpack .../libc6_2.41-1ubuntu1_arm64.deb ...
194s Checking for services that may need to be restarted...
194s Checking init scripts...
194s Checking for services that may need to be restarted...
194s Checking init scripts...
194s Stopping some services possibly affected by the upgrade (will be restarted later):
194s   cron: stopping...done.
194s 
194s Unpacking libc6:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
194s Setting up libc6:arm64 (2.41-1ubuntu1) ...
194s Checking for services that may need to be restarted...
194s Checking init scripts...
194s Restarting services possibly affected by the upgrade:
194s   cron: restarting...done.
194s 
194s Services restarted successfully.
195s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 116610 files and directories currently installed.)
195s Preparing to unpack .../libc-bin_2.41-1ubuntu1_arm64.deb ...
195s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
195s Setting up libc-bin (2.41-1ubuntu1) ...
195s (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 116610 files and directories currently installed.)
195s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_arm64.deb ...
195s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ...
195s Setting up iproute2 (6.13.0-1ubuntu1) ...
195s Setting up locales (2.41-1ubuntu1) ...
195s Installing new version of config file /etc/locale.alias ...
196s Generating locales (this might take a while)...
198s   en_US.UTF-8... done
198s Generation complete.
198s Setting up libc-dev-bin (2.41-1ubuntu1) ...
198s Setting up libc6-dev:arm64 (2.41-1ubuntu1) ...
198s Processing triggers for man-db (2.13.0-1) ...
199s Processing triggers for systemd (257.2-3ubuntu1) ...
200s Reading package lists...
200s Building dependency tree...
200s Reading state information...
201s Starting pkgProblemResolver with broken count: 0
201s Starting 2 pkgProblemResolver with broken count: 0
201s Done
202s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
204s autopkgtest [08:05:17]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb  4 15:49:33 UTC 2025
204s autopkgtest [08:05:17]: @@@@@@@@@@@@@@@@@@@@ apt-source ott
206s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1 (dsc) [2121 B]
206s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1 (tar) [1142 kB]
206s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1 (diff) [6960 B]
207s gpgv: Signature made Sat Jan  4 10:24:17 2025 UTC
207s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
207s gpgv:                issuer "julien.puydt@laposte.net"
207s gpgv: Can't check signature: No public key
207s dpkg-source: warning: cannot verify inline signature for ./ott_0.34+ds-1.dsc: no acceptable signature found
207s autopkgtest [08:05:20]: testing package ott version 0.34+ds-1
207s autopkgtest [08:05:20]: build not needed
208s autopkgtest [08:05:21]: test command1: preparing testbed
208s Reading package lists...
208s Building dependency tree...
208s Reading state information...
209s Starting pkgProblemResolver with broken count: 0
209s Starting 2 pkgProblemResolver with broken count: 0
209s Done
210s The following NEW packages will be installed:
210s   coq cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-14
210s   gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0
210s   libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-ott libcoq-stdlib
210s   libfindlib-ocaml libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0
210s   libmpc3 libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev libtsan2
210s   libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib
210s   ocaml-interp
210s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded.
210s Need to get 287 MB of archives.
210s After this operation, 943 MB of additional disk space will be used.
210s Get:1 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-stdlib arm64 8.20.0+dfsg-1 [27.0 MB]
211s Get:2 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB]
211s Get:3 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB]
211s Get:4 http://ftpmaster.internal/ubuntu plucky/universe arm64 libfindlib-ocaml arm64 1.9.6-3build1 [193 kB]
211s Get:5 http://ftpmaster.internal/ubuntu plucky/universe arm64 libzarith-ocaml arm64 1.14-1 [121 kB]
211s Get:6 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-core-ocaml arm64 8.20.0+dfsg-1 [27.9 MB]
213s Get:7 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB]
213s Get:8 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB]
215s Get:9 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB]
216s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB]
216s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB]
216s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB]
216s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [10.6 MB]
216s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu1 [1032 B]
216s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B]
216s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB]
216s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 14.2.0-17ubuntu1 [49.6 kB]
216s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 14.2.0-17ubuntu1 [145 kB]
216s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 14.2.0-17ubuntu1 [27.8 kB]
216s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 14.2.0-17ubuntu1 [2892 kB]
216s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 14.2.0-17ubuntu1 [1283 kB]
216s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 14.2.0-17ubuntu1 [2686 kB]
216s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 14.2.0-17ubuntu1 [1152 kB]
216s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 14.2.0-17ubuntu1 [1599 kB]
216s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu1 [2593 kB]
216s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [20.9 MB]
217s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu1 [526 kB]
217s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B]
217s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B]
217s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB]
217s Get:31 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB]
218s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-findlib arm64 1.9.6-3build1 [712 kB]
218s Get:33 http://ftpmaster.internal/ubuntu plucky/universe arm64 coq arm64 8.20.0+dfsg-1 [95.5 MB]
225s Get:34 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-ott arm64 0.34+ds-1 [183 kB]
225s Fetched 287 MB in 15s (19.0 MB/s)
225s Selecting previously unselected package libcoq-stdlib.
225s (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.)
225s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_arm64.deb ...
225s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
226s Selecting previously unselected package libstdlib-ocaml.
226s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_arm64.deb ...
226s Unpacking libstdlib-ocaml (5.2.0-3) ...
226s Selecting previously unselected package ocaml-base.
226s Preparing to unpack .../02-ocaml-base_5.2.0-3_arm64.deb ...
226s Unpacking ocaml-base (5.2.0-3) ...
226s Selecting previously unselected package libfindlib-ocaml.
226s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_arm64.deb ...
226s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
226s Selecting previously unselected package libzarith-ocaml.
226s Preparing to unpack .../04-libzarith-ocaml_1.14-1_arm64.deb ...
226s Unpacking libzarith-ocaml (1.14-1) ...
226s Selecting previously unselected package libcoq-core-ocaml.
226s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb ...
226s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
227s Selecting previously unselected package libstdlib-ocaml-dev.
227s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ...
227s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
227s Selecting previously unselected package libcompiler-libs-ocaml-dev.
227s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ...
227s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
228s Selecting previously unselected package ocaml-interp.
228s Preparing to unpack .../08-ocaml-interp_5.2.0-3_arm64.deb ...
228s Unpacking ocaml-interp (5.2.0-3) ...
228s Selecting previously unselected package libncurses-dev:arm64.
228s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_arm64.deb ...
228s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ...
228s Selecting previously unselected package libisl23:arm64.
228s Preparing to unpack .../10-libisl23_0.27-1_arm64.deb ...
228s Unpacking libisl23:arm64 (0.27-1) ...
228s Selecting previously unselected package libmpc3:arm64.
228s Preparing to unpack .../11-libmpc3_1.3.1-1build2_arm64.deb ...
228s Unpacking libmpc3:arm64 (1.3.1-1build2) ...
228s Selecting previously unselected package cpp-14-aarch64-linux-gnu.
228s Preparing to unpack .../12-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ...
228s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ...
228s Selecting previously unselected package cpp-14.
228s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_arm64.deb ...
228s Unpacking cpp-14 (14.2.0-17ubuntu1) ...
228s Selecting previously unselected package cpp-aarch64-linux-gnu.
228s Preparing to unpack .../14-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ...
228s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
228s Selecting previously unselected package cpp.
228s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ...
228s Unpacking cpp (4:14.2.0-1ubuntu1) ...
228s Selecting previously unselected package libcc1-0:arm64.
228s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_arm64.deb ...
228s Unpacking libcc1-0:arm64 (14.2.0-17ubuntu1) ...
228s Selecting previously unselected package libgomp1:arm64.
229s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_arm64.deb ...
229s Unpacking libgomp1:arm64 (14.2.0-17ubuntu1) ...
229s Selecting previously unselected package libitm1:arm64.
229s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_arm64.deb ...
229s Unpacking libitm1:arm64 (14.2.0-17ubuntu1) ...
229s Selecting previously unselected package libasan8:arm64.
229s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_arm64.deb ...
229s Unpacking libasan8:arm64 (14.2.0-17ubuntu1) ...
229s Selecting previously unselected package liblsan0:arm64.
229s Preparing to unpack .../20-liblsan0_14.2.0-17ubuntu1_arm64.deb ...
229s Unpacking liblsan0:arm64 (14.2.0-17ubuntu1) ...
229s Selecting previously unselected package libtsan2:arm64.
229s Preparing to unpack .../21-libtsan2_14.2.0-17ubuntu1_arm64.deb ...
229s Unpacking libtsan2:arm64 (14.2.0-17ubuntu1) ...
229s Selecting previously unselected package libubsan1:arm64.
229s Preparing to unpack .../22-libubsan1_14.2.0-17ubuntu1_arm64.deb ...
229s Unpacking libubsan1:arm64 (14.2.0-17ubuntu1) ...
229s Selecting previously unselected package libhwasan0:arm64.
229s Preparing to unpack .../23-libhwasan0_14.2.0-17ubuntu1_arm64.deb ...
229s Unpacking libhwasan0:arm64 (14.2.0-17ubuntu1) ...
229s Selecting previously unselected package libgcc-14-dev:arm64.
229s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu1_arm64.deb ...
229s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ...
229s Selecting previously unselected package gcc-14-aarch64-linux-gnu.
229s Preparing to unpack .../25-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ...
229s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ...
230s Selecting previously unselected package gcc-14.
230s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu1_arm64.deb ...
230s Unpacking gcc-14 (14.2.0-17ubuntu1) ...
230s Selecting previously unselected package gcc-aarch64-linux-gnu.
230s Preparing to unpack .../27-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ...
230s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
230s Selecting previously unselected package gcc.
230s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ...
230s Unpacking gcc (4:14.2.0-1ubuntu1) ...
230s Selecting previously unselected package libzstd-dev:arm64.
230s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_arm64.deb ...
230s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ...
230s Selecting previously unselected package ocaml.
230s Preparing to unpack .../30-ocaml_5.2.0-3_arm64.deb ...
230s Unpacking ocaml (5.2.0-3) ...
230s Selecting previously unselected package ocaml-findlib.
230s Preparing to unpack .../31-ocaml-findlib_1.9.6-3build1_arm64.deb ...
230s Unpacking ocaml-findlib (1.9.6-3build1) ...
231s Selecting previously unselected package coq.
231s Preparing to unpack .../32-coq_8.20.0+dfsg-1_arm64.deb ...
231s Unpacking coq (8.20.0+dfsg-1) ...
232s Selecting previously unselected package libcoq-ott.
232s Preparing to unpack .../33-libcoq-ott_0.34+ds-1_arm64.deb ...
232s Unpacking libcoq-ott (0.34+ds-1) ...
232s Setting up libncurses-dev:arm64 (6.5+20250125-2) ...
232s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ...
232s Setting up libgomp1:arm64 (14.2.0-17ubuntu1) ...
232s Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
232s Setting up libstdlib-ocaml (5.2.0-3) ...
232s Setting up libmpc3:arm64 (1.3.1-1build2) ...
232s Setting up ocaml-base (5.2.0-3) ...
232s Setting up libubsan1:arm64 (14.2.0-17ubuntu1) ...
232s Setting up libhwasan0:arm64 (14.2.0-17ubuntu1) ...
232s Setting up libasan8:arm64 (14.2.0-17ubuntu1) ...
232s Setting up libtsan2:arm64 (14.2.0-17ubuntu1) ...
232s Setting up libisl23:arm64 (0.27-1) ...
232s Setting up libcc1-0:arm64 (14.2.0-17ubuntu1) ...
232s Setting up liblsan0:arm64 (14.2.0-17ubuntu1) ...
232s Setting up libitm1:arm64 (14.2.0-17ubuntu1) ...
232s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
232s Setting up libcoq-ott (0.34+ds-1) ...
232s Setting up libfindlib-ocaml (1.9.6-3build1) ...
232s Setting up libzarith-ocaml (1.14-1) ...
232s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
232s Setting up ocaml-interp (5.2.0-3) ...
232s Setting up ocaml-findlib (1.9.6-3build1) ...
232s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ...
232s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
232s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ...
232s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
233s Setting up cpp-14 (14.2.0-17ubuntu1) ...
233s Setting up cpp (4:14.2.0-1ubuntu1) ...
233s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ...
233s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
233s Setting up gcc-14 (14.2.0-17ubuntu1) ...
233s Setting up gcc (4:14.2.0-1ubuntu1) ...
233s Setting up ocaml (5.2.0-3) ...
233s Setting up coq (8.20.0+dfsg-1) ...
233s Processing triggers for man-db (2.13.0-1) ...
233s Processing triggers for libc-bin (2.41-1ubuntu1) ...
234s autopkgtest [08:05:47]: test command1: coqtop -batch -rifrom Ott ott_list
234s autopkgtest [08:05:47]: test command1: [-----------------------
235s autopkgtest [08:05:48]: test command1: -----------------------]
236s command1             PASS
236s autopkgtest [08:05:49]: test command1:  - - - - - - - - - - results - - - - - - - - - -
236s autopkgtest [08:05:49]: @@@@@@@@@@@@@@@@@@@@ summary
236s command1             PASS
351s nova [W] Using flock in prodstack6-arm64
351s Creating nova instance adt-plucky-arm64-ott-20250216-080153-juju-7f2275-prod-proposed-migration-environment-15-2fd92226-75b3-42db-9d3d-557dae630772 from image adt/ubuntu-plucky-arm64-server-20250216.img (UUID a098a761-c895-418e-827f-00d410a1ece9)...
351s nova [W] Timed out waiting for c4bd92f4-234d-4be5-a8e6-acc24d666788 to get deleted.