0s autopkgtest [14:06:11]: starting date and time: 2025-03-15 14:06:11+0000
  0s autopkgtest [14:06:11]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production'
  0s autopkgtest [14:06:11]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.qjcalx_f/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade ott --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-arm64-32.secgroup --name adt-plucky-arm64-ott-20250315-140611-juju-7f2275-prod-proposed-migration-environment-15-d17ca77e-3b7f-4421-bc41-606811d95e8a --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/
145s autopkgtest [14:08:36]: testbed dpkg architecture: arm64
145s autopkgtest [14:08:36]: testbed apt version: 2.9.33
146s autopkgtest [14:08:37]: @@@@@@@@@@@@@@@@@@@@ test bed setup
146s autopkgtest [14:08:37]: testbed release detected to be: None
147s autopkgtest [14:08:38]: updating testbed package index (apt update)
147s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB]
147s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
148s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
148s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
148s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB]
148s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [404 kB]
148s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [101 kB]
148s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [78.2 kB]
148s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 c-n-f Metadata [1976 B]
148s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 c-n-f Metadata [116 B]
148s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [346 kB]
149s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 c-n-f Metadata [15.8 kB]
149s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [4948 B]
149s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 c-n-f Metadata [572 B]
149s Fetched 1094 kB in 2s (590 kB/s)
150s Reading package lists...
151s + lsb_release --codename --short
151s + RELEASE=plucky
151s + cat
151s + [ plucky != trusty ]
151s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade
151s Reading package lists...
151s Building dependency tree...
151s Reading state information...
151s Calculating upgrade...
152s Calculating upgrade...
152s The following packages will be upgraded:
152s   python3-jinja2 strace
152s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
152s Need to get 608 kB of archives.
152s After this operation, 11.3 kB of additional disk space will be used.
152s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 strace arm64 6.13+ds-1ubuntu1 [499 kB]
153s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jinja2 all 3.1.5-2ubuntu1 [109 kB]
154s Fetched 608 kB in 1s (566 kB/s)
154s (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 ... 117701 files and directories currently installed.)
154s Preparing to unpack .../strace_6.13+ds-1ubuntu1_arm64.deb ...
154s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ...
154s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ...
154s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ...
154s Setting up python3-jinja2 (3.1.5-2ubuntu1) ...
155s Setting up strace (6.13+ds-1ubuntu1) ...
155s Processing triggers for man-db (2.13.0-1) ...
155s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref
155s + /usr/lib/apt/apt-helper analyze-pattern ?true
155s + + uname -r
155s sed s/\./\\./g
155s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.*
155s + apt list ?obsolete
155s + tail -n+2
155s + grep -v ^linux-.*6\.14\.0-10-generic.*
155s + cut -d/ -f1
156s + obsolete_pkgs=linux-headers-6.11.0-8-generic
156s linux-headers-6.11.0-8
156s linux-image-6.11.0-8-generic
156s linux-modules-6.11.0-8-generic
156s linux-tools-6.11.0-8-generic
156s linux-tools-6.11.0-8
156s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-image-6.11.0-8-generic linux-modules-6.11.0-8-genericReading package lists...
156s Building dependency tree... linux-tools-6.11.0-8-generic linux-tools-6.11.0-8
156s 
156s Reading state information...
156s Solving dependencies...
157s The following packages will be REMOVED:
157s   libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64*
157s   libunwind8* linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic*
157s   linux-image-6.11.0-8-generic* linux-modules-6.11.0-8-generic*
157s   linux-tools-6.11.0-8* linux-tools-6.11.0-8-generic*
157s 0 upgraded, 0 newly installed, 11 to remove and 5 not upgraded.
157s After this operation, 267 MB disk space will be freed.
157s (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 ... 117701 files and directories currently installed.)
157s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ...
157s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ...
157s Removing libpython3.12t64:arm64 (3.12.9-1) ...
157s Removing libpython3.12-stdlib:arm64 (3.12.9-1) ...
157s Removing libnsl2:arm64 (1.3.0-3build3) ...
157s Removing libpython3.12-minimal:arm64 (3.12.9-1) ...
158s Removing libunwind8:arm64 (1.6.2-3.1) ...
158s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ...
158s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ...
160s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ...
160s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.14.0-10-generic
160s I: /boot/initrd.img.old is now a symlink to initrd.img-6.14.0-10-generic
160s /etc/kernel/postrm.d/initramfs-tools:
160s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic
160s /etc/kernel/postrm.d/zz-flash-kernel:
160s flash-kernel: Kernel 6.11.0-8-generic has been removed.
160s flash-kernel: A higher version (6.14.0-10-generic) is still installed, no reflashing required.
160s /etc/kernel/postrm.d/zz-update-grub:
160s Sourcing file `/etc/default/grub'
160s Sourcing file `/etc/default/grub.d/50-cloudimg-settings.cfg'
160s Generating grub configuration file ...
160s Found linux image: /boot/vmlinuz-6.14.0-10-generic
160s Found initrd image: /boot/initrd.img-6.14.0-10-generic
161s Warning: os-prober will not be executed to detect other bootable partitions.
161s Systems on them will not be added to the GRUB boot configuration.
161s Check GRUB_DISABLE_OS_PROBER documentation entry.
161s Adding boot menu entry for UEFI Firmware Settings ...
161s done
161s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
161s Processing triggers for libc-bin (2.41-1ubuntu1) ...
161s (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 ... 81650 files and directories currently installed.)
161s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ...
161s Purging configuration files for libpython3.12-minimal:arm64 (3.12.9-1) ...
161s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
161s + grep -q trusty /etc/lsb-release
161s + [ ! -d /usr/share/doc/unattended-upgrades ]
161s + [ ! -d /usr/share/doc/lxd ]
161s + [ ! -d /usr/share/doc/lxd-client ]
161s + [ ! -d /usr/share/doc/snapd ]
161s + type iptables
161s + cat
161s + chmod 755 /etc/rc.local
161s + . /etc/rc.local
161s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu
161s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP
161s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP
161s + uname -m
161s + [ aarch64 = ppc64le ]
161s + [ -d /run/systemd/system ]
161s + systemd-detect-virt --quiet --vm
161s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/
161s + cat
161s + grep -q lz4 /etc/initramfs-tools/initramfs.conf
161s + echo COMPRESS=lz4
161s autopkgtest [14:08:52]: upgrading testbed (apt dist-upgrade and autopurge)
162s Reading package lists...
162s Building dependency tree...
162s Reading state information...
162s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
163s Starting 2 pkgProblemResolver with broken count: 0
163s Done
163s Entering ResolveByKeep
163s 
164s Calculating upgrade...
164s The following packages will be upgraded:
164s   libc-bin libc-dev-bin libc6 libc6-dev locales
164s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
164s Need to get 9530 kB of archives.
164s After this operation, 0 B of additional disk space will be used.
164s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu2 [1750 kB]
166s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu2 [24.0 kB]
166s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu2 [2910 kB]
169s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu2 [600 kB]
170s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu2 [4246 kB]
175s Preconfiguring packages ...
175s Fetched 9530 kB in 10s (934 kB/s)
175s (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 ... 81647 files and directories currently installed.)
175s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_arm64.deb ...
175s Unpacking libc6-dev:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ...
175s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_arm64.deb ...
175s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ...
175s Preparing to unpack .../libc6_2.41-1ubuntu2_arm64.deb ...
175s Unpacking libc6:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ...
175s Setting up libc6:arm64 (2.41-1ubuntu2) ...
176s (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 ... 81647 files and directories currently installed.)
176s Preparing to unpack .../libc-bin_2.41-1ubuntu2_arm64.deb ...
176s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ...
176s Setting up libc-bin (2.41-1ubuntu2) ...
176s (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 ... 81647 files and directories currently installed.)
176s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ...
176s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ...
176s Setting up locales (2.41-1ubuntu2) ...
177s Generating locales (this might take a while)...
179s   en_US.UTF-8... done
179s Generation complete.
179s Setting up libc-dev-bin (2.41-1ubuntu2) ...
179s Setting up libc6-dev:arm64 (2.41-1ubuntu2) ...
179s Processing triggers for man-db (2.13.0-1) ...
180s Processing triggers for systemd (257.3-1ubuntu3) ...
181s Reading package lists...
181s Building dependency tree...
181s Reading state information...
181s Starting pkgProblemResolver with broken count: 0
181s Starting 2 pkgProblemResolver with broken count: 0
181s Done
182s Solving dependencies...
182s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
182s autopkgtest [14:09:13]: rebooting testbed after setup commands that affected boot
206s autopkgtest [14:09:37]: testbed running kernel: Linux 6.14.0-10-generic #10-Ubuntu SMP PREEMPT_DYNAMIC Wed Mar 12 15:45:31 UTC 2025
208s autopkgtest [14:09:39]: @@@@@@@@@@@@@@@@@@@@ apt-source ott
212s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1build3 (dsc) [2108 B]
212s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1build3 (tar) [1142 kB]
212s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ott 0.34+ds-1build3 (diff) [7124 B]
213s gpgv: Signature made Tue Feb 18 20:04:27 2025 UTC
213s gpgv:                using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37
213s gpgv: Can't check signature: No public key
213s dpkg-source: warning: cannot verify inline signature for ./ott_0.34+ds-1build3.dsc: no acceptable signature found
213s autopkgtest [14:09:44]: testing package ott version 0.34+ds-1build3
213s autopkgtest [14:09:44]: build not needed
214s autopkgtest [14:09:45]: test command1: preparing testbed
214s Reading package lists...
215s Building dependency tree...
215s Reading state information...
215s Starting pkgProblemResolver with broken count: 0
215s Starting 2 pkgProblemResolver with broken count: 0
215s Done
216s The following NEW packages will be installed:
216s   coq cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-14
216s   gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0
216s   libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-ott libcoq-stdlib
216s   libfindlib-ocaml libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0
216s   libmpc3 libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev libtsan2
216s   libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib
216s   ocaml-interp
216s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded.
216s Need to get 278 MB of archives.
216s After this operation, 915 MB of additional disk space will be used.
216s Get:1 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-stdlib arm64 8.20.1+dfsg-1 [27.0 MB]
246s Get:2 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.3.0-2 [428 kB]
247s Get:3 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.3.0-2 [307 kB]
247s Get:4 http://ftpmaster.internal/ubuntu plucky/universe arm64 libfindlib-ocaml arm64 1.9.8-1 [231 kB]
247s Get:5 http://ftpmaster.internal/ubuntu plucky/universe arm64 libzarith-ocaml arm64 1.14-1build1 [122 kB]
247s Get:6 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-core-ocaml arm64 8.20.1+dfsg-1 [28.0 MB]
271s Get:7 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.3.0-2 [7846 kB]
277s Get:8 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.3.0-2 [47.9 MB]
308s Get:9 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.3.0-2 [8367 kB]
315s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250216-2 [389 kB]
315s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB]
316s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB]
316s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [10.6 MB]
324s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu3 [1028 B]
324s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B]
324s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB]
324s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250222-0ubuntu1 [44.2 kB]
324s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250222-0ubuntu1 [146 kB]
324s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250222-0ubuntu1 [28.0 kB]
324s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250222-0ubuntu1 [2924 kB]
326s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250222-0ubuntu1 [1319 kB]
327s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250222-0ubuntu1 [2694 kB]
329s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250222-0ubuntu1 [1178 kB]
329s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250222-0ubuntu1 [1642 kB]
331s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu3 [2593 kB]
333s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu3 [20.9 MB]
347s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu3 [526 kB]
348s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B]
348s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B]
348s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB]
348s Get:31 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.3.0-2 [23.4 MB]
364s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-findlib arm64 1.9.8-1 [748 kB]
364s Get:33 http://ftpmaster.internal/ubuntu plucky/universe arm64 coq arm64 8.20.1+dfsg-1 [87.0 MB]
429s Get:34 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-ott arm64 0.34+ds-1build3 [183 kB]
429s Fetched 278 MB in 3min 33s (1304 kB/s)
429s Selecting previously unselected package libcoq-stdlib.
429s (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 ... 81647 files and directories currently installed.)
429s Preparing to unpack .../00-libcoq-stdlib_8.20.1+dfsg-1_arm64.deb ...
429s Unpacking libcoq-stdlib (8.20.1+dfsg-1) ...
430s Selecting previously unselected package libstdlib-ocaml.
430s Preparing to unpack .../01-libstdlib-ocaml_5.3.0-2_arm64.deb ...
430s Unpacking libstdlib-ocaml (5.3.0-2) ...
430s Selecting previously unselected package ocaml-base.
430s Preparing to unpack .../02-ocaml-base_5.3.0-2_arm64.deb ...
430s Unpacking ocaml-base (5.3.0-2) ...
430s Selecting previously unselected package libfindlib-ocaml.
430s Preparing to unpack .../03-libfindlib-ocaml_1.9.8-1_arm64.deb ...
430s Unpacking libfindlib-ocaml (1.9.8-1) ...
430s Selecting previously unselected package libzarith-ocaml.
430s Preparing to unpack .../04-libzarith-ocaml_1.14-1build1_arm64.deb ...
430s Unpacking libzarith-ocaml (1.14-1build1) ...
430s Selecting previously unselected package libcoq-core-ocaml.
430s Preparing to unpack .../05-libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb ...
430s Unpacking libcoq-core-ocaml (8.20.1+dfsg-1) ...
431s Selecting previously unselected package libstdlib-ocaml-dev.
431s Preparing to unpack .../06-libstdlib-ocaml-dev_5.3.0-2_arm64.deb ...
431s Unpacking libstdlib-ocaml-dev (5.3.0-2) ...
431s Selecting previously unselected package libcompiler-libs-ocaml-dev.
431s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.3.0-2_arm64.deb ...
431s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ...
432s Selecting previously unselected package ocaml-interp.
432s Preparing to unpack .../08-ocaml-interp_5.3.0-2_arm64.deb ...
432s Unpacking ocaml-interp (5.3.0-2) ...
432s Selecting previously unselected package libncurses-dev:arm64.
432s Preparing to unpack .../09-libncurses-dev_6.5+20250216-2_arm64.deb ...
432s Unpacking libncurses-dev:arm64 (6.5+20250216-2) ...
432s Selecting previously unselected package libisl23:arm64.
432s Preparing to unpack .../10-libisl23_0.27-1_arm64.deb ...
432s Unpacking libisl23:arm64 (0.27-1) ...
432s Selecting previously unselected package libmpc3:arm64.
432s Preparing to unpack .../11-libmpc3_1.3.1-1build2_arm64.deb ...
432s Unpacking libmpc3:arm64 (1.3.1-1build2) ...
432s Selecting previously unselected package cpp-14-aarch64-linux-gnu.
432s Preparing to unpack .../12-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ...
432s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ...
432s Selecting previously unselected package cpp-14.
432s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu3_arm64.deb ...
432s Unpacking cpp-14 (14.2.0-17ubuntu3) ...
432s Selecting previously unselected package cpp-aarch64-linux-gnu.
432s Preparing to unpack .../14-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ...
432s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
432s Selecting previously unselected package cpp.
432s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ...
432s Unpacking cpp (4:14.2.0-1ubuntu1) ...
432s Selecting previously unselected package libcc1-0:arm64.
432s Preparing to unpack .../16-libcc1-0_15-20250222-0ubuntu1_arm64.deb ...
432s Unpacking libcc1-0:arm64 (15-20250222-0ubuntu1) ...
432s Selecting previously unselected package libgomp1:arm64.
432s Preparing to unpack .../17-libgomp1_15-20250222-0ubuntu1_arm64.deb ...
432s Unpacking libgomp1:arm64 (15-20250222-0ubuntu1) ...
432s Selecting previously unselected package libitm1:arm64.
432s Preparing to unpack .../18-libitm1_15-20250222-0ubuntu1_arm64.deb ...
432s Unpacking libitm1:arm64 (15-20250222-0ubuntu1) ...
432s Selecting previously unselected package libasan8:arm64.
432s Preparing to unpack .../19-libasan8_15-20250222-0ubuntu1_arm64.deb ...
432s Unpacking libasan8:arm64 (15-20250222-0ubuntu1) ...
432s Selecting previously unselected package liblsan0:arm64.
432s Preparing to unpack .../20-liblsan0_15-20250222-0ubuntu1_arm64.deb ...
432s Unpacking liblsan0:arm64 (15-20250222-0ubuntu1) ...
432s Selecting previously unselected package libtsan2:arm64.
432s Preparing to unpack .../21-libtsan2_15-20250222-0ubuntu1_arm64.deb ...
432s Unpacking libtsan2:arm64 (15-20250222-0ubuntu1) ...
433s Selecting previously unselected package libubsan1:arm64.
433s Preparing to unpack .../22-libubsan1_15-20250222-0ubuntu1_arm64.deb ...
433s Unpacking libubsan1:arm64 (15-20250222-0ubuntu1) ...
433s Selecting previously unselected package libhwasan0:arm64.
433s Preparing to unpack .../23-libhwasan0_15-20250222-0ubuntu1_arm64.deb ...
433s Unpacking libhwasan0:arm64 (15-20250222-0ubuntu1) ...
433s Selecting previously unselected package libgcc-14-dev:arm64.
433s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu3_arm64.deb ...
433s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ...
433s Selecting previously unselected package gcc-14-aarch64-linux-gnu.
433s Preparing to unpack .../25-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu3_arm64.deb ...
433s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ...
433s Selecting previously unselected package gcc-14.
433s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu3_arm64.deb ...
433s Unpacking gcc-14 (14.2.0-17ubuntu3) ...
433s Selecting previously unselected package gcc-aarch64-linux-gnu.
433s Preparing to unpack .../27-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ...
433s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
433s Selecting previously unselected package gcc.
433s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ...
433s Unpacking gcc (4:14.2.0-1ubuntu1) ...
433s Selecting previously unselected package libzstd-dev:arm64.
433s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_arm64.deb ...
433s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ...
433s Selecting previously unselected package ocaml.
433s Preparing to unpack .../30-ocaml_5.3.0-2_arm64.deb ...
433s Unpacking ocaml (5.3.0-2) ...
434s Selecting previously unselected package ocaml-findlib.
434s Preparing to unpack .../31-ocaml-findlib_1.9.8-1_arm64.deb ...
434s Unpacking ocaml-findlib (1.9.8-1) ...
434s Selecting previously unselected package coq.
434s Preparing to unpack .../32-coq_8.20.1+dfsg-1_arm64.deb ...
434s Unpacking coq (8.20.1+dfsg-1) ...
436s Selecting previously unselected package libcoq-ott.
436s Preparing to unpack .../33-libcoq-ott_0.34+ds-1build3_arm64.deb ...
436s Unpacking libcoq-ott (0.34+ds-1build3) ...
436s Setting up libncurses-dev:arm64 (6.5+20250216-2) ...
436s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ...
436s Setting up libgomp1:arm64 (15-20250222-0ubuntu1) ...
436s Setting up libcoq-stdlib (8.20.1+dfsg-1) ...
436s Setting up libstdlib-ocaml (5.3.0-2) ...
436s Setting up libmpc3:arm64 (1.3.1-1build2) ...
436s Setting up ocaml-base (5.3.0-2) ...
436s Setting up libubsan1:arm64 (15-20250222-0ubuntu1) ...
436s Setting up libhwasan0:arm64 (15-20250222-0ubuntu1) ...
436s Setting up libasan8:arm64 (15-20250222-0ubuntu1) ...
436s Setting up libtsan2:arm64 (15-20250222-0ubuntu1) ...
436s Setting up libisl23:arm64 (0.27-1) ...
436s Setting up libcc1-0:arm64 (15-20250222-0ubuntu1) ...
436s Setting up liblsan0:arm64 (15-20250222-0ubuntu1) ...
436s Setting up libitm1:arm64 (15-20250222-0ubuntu1) ...
436s Setting up libstdlib-ocaml-dev (5.3.0-2) ...
436s Setting up libcoq-ott (0.34+ds-1build3) ...
436s Setting up libfindlib-ocaml (1.9.8-1) ...
436s Setting up libzarith-ocaml (1.14-1build1) ...
436s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ...
436s Setting up ocaml-interp (5.3.0-2) ...
436s Setting up ocaml-findlib (1.9.8-1) ...
436s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ...
436s Setting up libcoq-core-ocaml (8.20.1+dfsg-1) ...
436s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu3) ...
436s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
436s Setting up cpp-14 (14.2.0-17ubuntu3) ...
436s Setting up cpp (4:14.2.0-1ubuntu1) ...
436s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu3) ...
436s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ...
436s Setting up gcc-14 (14.2.0-17ubuntu3) ...
436s Setting up gcc (4:14.2.0-1ubuntu1) ...
436s Setting up ocaml (5.3.0-2) ...
436s Setting up coq (8.20.1+dfsg-1) ...
436s Processing triggers for man-db (2.13.0-1) ...
437s Processing triggers for libc-bin (2.41-1ubuntu2) ...
438s autopkgtest [14:13:29]: test command1: coqtop -batch -rifrom Ott ott_list
438s autopkgtest [14:13:29]: test command1: [-----------------------
439s autopkgtest [14:13:30]: test command1: -----------------------]
440s autopkgtest [14:13:31]: test command1:  - - - - - - - - - - results - - - - - - - - - -
440s command1             PASS
440s autopkgtest [14:13:31]: @@@@@@@@@@@@@@@@@@@@ summary
440s command1             PASS
461s nova [W] Using flock in prodstack6-arm64
461s Creating nova instance adt-plucky-arm64-ott-20250315-140611-juju-7f2275-prod-proposed-migration-environment-15-d17ca77e-3b7f-4421-bc41-606811d95e8a from image adt/ubuntu-plucky-arm64-server-20250315.img (UUID bd6e766c-b51f-4b53-86d6-23aa4d18f524)...
461s nova [W] Timed out waiting for 0500a0c8-a284-4e71-a14a-a4e6b6014bd3 to get deleted.