0s autopkgtest [20:08:21]: starting date and time: 2025-02-20 20:08:21+0000 0s autopkgtest [20:08:21]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [20:08:21]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.pmsetxz5/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gmp --apt-upgrade coqprime --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=gmp/2:6.3.0+dfsg-3ubuntu1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-arm64-18.secgroup --name adt-plucky-arm64-coqprime-20250220-200820-juju-7f2275-prod-proposed-migration-environment-15-0796807a-229b-45b9-9579-c4614c293783 --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/ 86s autopkgtest [20:09:47]: testbed dpkg architecture: arm64 87s autopkgtest [20:09:48]: testbed apt version: 2.9.30 87s autopkgtest [20:09:48]: @@@@@@@@@@@@@@@@@@@@ test bed setup 87s autopkgtest [20:09:48]: testbed release detected to be: None 88s autopkgtest [20:09:49]: updating testbed package index (apt update) 89s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 89s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 89s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 89s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 89s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 89s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 89s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 89s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 89s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [121 kB] 90s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 90s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [684 kB] 90s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.7 kB] 90s Fetched 1787 kB in 1s (1873 kB/s) 91s Reading package lists... 92s + lsb_release --codename --short 92s + RELEASE=plucky 92s + cat 92s + [ plucky != trusty ] 92s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 92s Reading package lists... 92s Building dependency tree... 92s Reading state information... 93s Calculating upgrade... 94s The following package was automatically installed and is no longer required: 94s libapt-pkg6.0t64 94s Use 'sudo apt autoremove' to remove it. 94s The following packages will be upgraded: 94s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 94s libssl3t64 openssl openssl-provider-legacy python3-requests telnet 94s ubuntu-pro-client ubuntu-pro-client-l10n 94s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 94s Need to get 10.4 MB of archives. 94s After this operation, 64.5 kB disk space will be freed. 94s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 openssl-provider-legacy arm64 3.4.1-1ubuntu1 [38.6 kB] 94s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libssl3t64 arm64 3.4.1-1ubuntu1 [2641 kB] 94s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 kbd arm64 2.7.1-2ubuntu1 [230 kB] 94s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 openssl arm64 3.4.1-1ubuntu1 [1162 kB] 94s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-pro-client-l10n arm64 34.1.3 [18.3 kB] 94s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-pro-client arm64 34.1.3 [240 kB] 94s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 inetutils-telnet arm64 2:2.5-6ubuntu1 [104 kB] 94s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 telnet all 0.17+2.5-6ubuntu1 [3694 B] 94s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libcryptsetup12 arm64 2:2.7.5-1ubuntu2 [271 kB] 94s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 cryptsetup-bin arm64 2:2.7.5-1ubuntu2 [217 kB] 94s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 fwupd arm64 2.0.6-3 [5288 kB] 95s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libfwupd3 arm64 2.0.6-3 [129 kB] 95s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 96s Fetched 10.4 MB in 1s (11.7 MB/s) 96s (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 ... 116718 files and directories currently installed.) 96s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_arm64.deb ... 96s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 96s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 96s (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 ... 116718 files and directories currently installed.) 96s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_arm64.deb ... 96s Unpacking libssl3t64:arm64 (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 96s Setting up libssl3t64:arm64 (3.4.1-1ubuntu1) ... 96s (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 ... 116717 files and directories currently installed.) 96s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_arm64.deb ... 96s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 97s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_arm64.deb ... 97s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 97s Preparing to unpack .../02-ubuntu-pro-client-l10n_34.1.3_arm64.deb ... 97s Unpacking ubuntu-pro-client-l10n (34.1.3) over (34.1.2) ... 97s Preparing to unpack .../03-ubuntu-pro-client_34.1.3_arm64.deb ... 97s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 97s for fn in glob1(directory, "%s.*" % fname): 97s Unpacking ubuntu-pro-client (34.1.3) over (34.1.2) ... 97s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_arm64.deb ... 97s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 97s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 97s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 97s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_arm64.deb ... 97s Unpacking libcryptsetup12:arm64 (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 98s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_arm64.deb ... 98s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 98s Preparing to unpack .../08-fwupd_2.0.6-3_arm64.deb ... 98s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 99s Preparing to unpack .../09-libfwupd3_2.0.6-3_arm64.deb ... 99s Unpacking libfwupd3:arm64 (2.0.6-3) over (2.0.5-1) ... 99s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 99s /usr/bin/py3clean:101: DeprecationWarning: glob.glob1 is deprecated and will be removed in Python 3.15. Use glob.glob and pass a directory to its root_dir argument instead. 99s for fn in glob1(directory, "%s.*" % fname): 99s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 99s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 99s Setting up libfwupd3:arm64 (2.0.6-3) ... 99s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 99s Setting up libcryptsetup12:arm64 (2:2.7.5-1ubuntu2) ... 99s Setting up kbd (2.7.1-2ubuntu1) ... 99s Setting up openssl (3.4.1-1ubuntu1) ... 99s Setting up ubuntu-pro-client (34.1.3) ... 102s Setting up fwupd (2.0.6-3) ... 102s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 102s fwupd.service is a disabled or a static unit not running, not starting it. 103s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 103s Setting up ubuntu-pro-client-l10n (34.1.3) ... 103s Setting up telnet (0.17+2.5-6ubuntu1) ... 103s Processing triggers for libc-bin (2.40-4ubuntu1) ... 103s Processing triggers for man-db (2.13.0-1) ... 104s Processing triggers for dbus (1.16.0-1ubuntu1) ... 104s Processing triggers for initramfs-tools (0.145ubuntu2) ... 104s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 104s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 136s System running in EFI mode, skipping. 136s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 136s + /usr/lib/apt/apt-helper analyze-pattern ?true 136s + uname -r 136s + sed s/\./\\./g 136s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 136s + apt list ?obsolete 136s + tail -n+2 136s + cut -d/ -f1 136s + grep -v ^linux-.*6\.12\.0-15-generic.* 137s + true 137s + obsolete_pkgs= 137s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove 137s Reading package lists... 137s Building dependency tree... 137s Reading state information... 138s The following packages will be REMOVED: 138s libapt-pkg6.0t64* 139s 0 upgraded, 0 newly installed, 1 to remove and 1 not upgraded. 139s After this operation, 3410 kB disk space will be freed. 139s (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 ... 116714 files and directories currently installed.) 139s Removing libapt-pkg6.0t64:arm64 (2.9.29) ... 139s Processing triggers for libc-bin (2.40-4ubuntu1) ... 139s + grep -q trusty /etc/lsb-release 139s + [ ! -d /usr/share/doc/unattended-upgrades ] 139s + [ ! -d /usr/share/doc/lxd ] 139s + [ ! -d /usr/share/doc/lxd-client ] 139s + [ ! -d /usr/share/doc/snapd ] 139s + type iptables 139s + cat 139s + chmod 755 /etc/rc.local 139s + . /etc/rc.local 139s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 139s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 139s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 139s + uname -m 139s + [ aarch64 = ppc64le ] 139s + [ -d /run/systemd/system ] 139s + systemd-detect-virt --quiet --vm 139s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 139s + cat 139s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 139s + echo COMPRESS=lz4 139s autopkgtest [20:10:40]: upgrading testbed (apt dist-upgrade and autopurge) 139s Reading package lists... 140s Building dependency tree... 140s Reading state information... 140s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 140s Starting 2 pkgProblemResolver with broken count: 0 140s Done 141s Entering ResolveByKeep 141s 142s The following packages will be upgraded: 142s libgmp10 142s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 142s Need to get 246 kB of archives. 142s After this operation, 0 B of additional disk space will be used. 142s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libgmp10 arm64 2:6.3.0+dfsg-3ubuntu1 [246 kB] 143s Fetched 246 kB in 0s (521 kB/s) 143s (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 ... 116664 files and directories currently installed.) 143s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_arm64.deb ... 143s Unpacking libgmp10:arm64 (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 143s Setting up libgmp10:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 143s Processing triggers for libc-bin (2.40-4ubuntu1) ... 144s Reading package lists... 144s Building dependency tree... 144s Reading state information... 145s Starting pkgProblemResolver with broken count: 0 145s Starting 2 pkgProblemResolver with broken count: 0 145s Done 146s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 146s autopkgtest [20:10:47]: rebooting testbed after setup commands that affected boot 180s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 188s autopkgtest [20:11:29]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 15:49:33 UTC 2025 191s autopkgtest [20:11:32]: @@@@@@@@@@@@@@@@@@@@ apt-source coqprime 194s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (dsc) [2178 B] 194s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (tar) [997 kB] 194s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coqprime 8.20.1-1 (diff) [3468 B] 195s gpgv: Signature made Thu Jan 23 21:53:28 2025 UTC 195s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 195s gpgv: issuer "julien.puydt@laposte.net" 195s gpgv: Can't check signature: No public key 195s dpkg-source: warning: cannot verify inline signature for ./coqprime_8.20.1-1.dsc: no acceptable signature found 195s autopkgtest [20:11:36]: testing package coqprime version 8.20.1-1 196s autopkgtest [20:11:37]: build not needed 197s autopkgtest [20:11:38]: test command1: preparing testbed 197s Reading package lists... 197s Building dependency tree... 197s Reading state information... 198s Starting pkgProblemResolver with broken count: 0 198s Starting 2 pkgProblemResolver with broken count: 0 198s Done 199s The following NEW packages will be installed: 199s coq cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-14 199s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0 199s libcompiler-libs-ocaml-dev libcoq-bignums libcoq-coqprime libcoq-core-ocaml 199s libcoq-stdlib libfindlib-ocaml libgcc-14-dev libgomp1 libhwasan0 libisl23 199s libitm1 liblsan0 libmpc3 libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev 199s libtsan2 libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base 199s ocaml-findlib ocaml-interp 199s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. 199s Need to get 292 MB of archives. 199s After this operation, 958 MB of additional disk space will be used. 199s Get:1 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-stdlib arm64 8.20.0+dfsg-1 [27.0 MB] 204s Get:2 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB] 204s Get:3 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB] 204s Get:4 http://ftpmaster.internal/ubuntu plucky/universe arm64 libfindlib-ocaml arm64 1.9.6-3build1 [193 kB] 204s Get:5 http://ftpmaster.internal/ubuntu plucky/universe arm64 libzarith-ocaml arm64 1.14-1 [121 kB] 204s Get:6 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-core-ocaml arm64 8.20.0+dfsg-1 [27.9 MB] 205s Get:7 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB] 205s Get:8 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB] 207s Get:9 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB] 208s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 208s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 208s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 208s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [10.6 MB] 208s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu1 [1032 B] 209s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 209s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 209s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250213-1ubuntu1 [44.2 kB] 209s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250213-1ubuntu1 [146 kB] 209s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250213-1ubuntu1 [28.0 kB] 209s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250213-1ubuntu1 [2928 kB] 209s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250213-1ubuntu1 [1319 kB] 209s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250213-1ubuntu1 [2695 kB] 209s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250213-1ubuntu1 [1178 kB] 209s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250213-1ubuntu1 [1642 kB] 210s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu1 [2593 kB] 210s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [20.9 MB] 211s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu1 [526 kB] 212s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 212s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 212s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 212s Get:31 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB] 213s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-findlib arm64 1.9.6-3build1 [712 kB] 213s Get:33 http://ftpmaster.internal/ubuntu plucky/universe arm64 coq arm64 8.20.0+dfsg-1 [95.5 MB] 216s Get:34 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-bignums arm64 9.0.0+coq8.20-1build5 [2253 kB] 217s Get:35 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-coqprime arm64 8.20.1-1 [2060 kB] 218s Fetched 292 MB in 18s (16.3 MB/s) 218s Selecting previously unselected package libcoq-stdlib. 219s (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 ... 116664 files and directories currently installed.) 219s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_arm64.deb ... 219s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 220s Selecting previously unselected package libstdlib-ocaml. 222s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_arm64.deb ... 222s Unpacking libstdlib-ocaml (5.2.0-3) ... 222s Selecting previously unselected package ocaml-base. 223s Preparing to unpack .../02-ocaml-base_5.2.0-3_arm64.deb ... 223s Unpacking ocaml-base (5.2.0-3) ... 223s Selecting previously unselected package libfindlib-ocaml. 224s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_arm64.deb ... 224s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 224s Selecting previously unselected package libzarith-ocaml. 225s Preparing to unpack .../04-libzarith-ocaml_1.14-1_arm64.deb ... 225s Unpacking libzarith-ocaml (1.14-1) ... 225s 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. 228s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ... 228s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 228s Selecting previously unselected package libcompiler-libs-ocaml-dev. 229s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ... 229s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 230s Selecting previously unselected package ocaml-interp. 230s Preparing to unpack .../08-ocaml-interp_5.2.0-3_arm64.deb ... 230s Unpacking ocaml-interp (5.2.0-3) ... 231s Selecting previously unselected package libncurses-dev:arm64. 231s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_arm64.deb ... 231s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 232s Selecting previously unselected package libisl23:arm64. 233s Preparing to unpack .../10-libisl23_0.27-1_arm64.deb ... 233s Unpacking libisl23:arm64 (0.27-1) ... 233s Selecting previously unselected package libmpc3:arm64. 234s Preparing to unpack .../11-libmpc3_1.3.1-1build2_arm64.deb ... 234s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 234s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 234s Preparing to unpack .../12-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 234s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 235s Selecting previously unselected package cpp-14. 235s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_arm64.deb ... 235s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 236s Selecting previously unselected package cpp-aarch64-linux-gnu. 236s Preparing to unpack .../14-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 236s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 236s Selecting previously unselected package cpp. 237s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 237s Unpacking cpp (4:14.2.0-1ubuntu1) ... 237s Selecting previously unselected package libcc1-0:arm64. 238s Preparing to unpack .../16-libcc1-0_15-20250213-1ubuntu1_arm64.deb ... 238s Unpacking libcc1-0:arm64 (15-20250213-1ubuntu1) ... 238s Selecting previously unselected package libgomp1:arm64. 239s Preparing to unpack .../17-libgomp1_15-20250213-1ubuntu1_arm64.deb ... 239s Unpacking libgomp1:arm64 (15-20250213-1ubuntu1) ... 239s Selecting previously unselected package libitm1:arm64. 240s Preparing to unpack .../18-libitm1_15-20250213-1ubuntu1_arm64.deb ... 240s Unpacking libitm1:arm64 (15-20250213-1ubuntu1) ... 240s Selecting previously unselected package libasan8:arm64. 241s Preparing to unpack .../19-libasan8_15-20250213-1ubuntu1_arm64.deb ... 241s Unpacking libasan8:arm64 (15-20250213-1ubuntu1) ... 241s Selecting previously unselected package liblsan0:arm64. 242s Preparing to unpack .../20-liblsan0_15-20250213-1ubuntu1_arm64.deb ... 242s Unpacking liblsan0:arm64 (15-20250213-1ubuntu1) ... 243s Selecting previously unselected package libtsan2:arm64. 244s Preparing to unpack .../21-libtsan2_15-20250213-1ubuntu1_arm64.deb ... 244s Unpacking libtsan2:arm64 (15-20250213-1ubuntu1) ... 244s Selecting previously unselected package libubsan1:arm64. 245s Preparing to unpack .../22-libubsan1_15-20250213-1ubuntu1_arm64.deb ... 245s Unpacking libubsan1:arm64 (15-20250213-1ubuntu1) ... 245s Selecting previously unselected package libhwasan0:arm64. 246s Preparing to unpack .../23-libhwasan0_15-20250213-1ubuntu1_arm64.deb ... 246s Unpacking libhwasan0:arm64 (15-20250213-1ubuntu1) ... 246s Selecting previously unselected package libgcc-14-dev:arm64. 247s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu1_arm64.deb ... 247s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 247s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 248s Preparing to unpack .../25-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 248s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 249s Selecting previously unselected package gcc-14. 250s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu1_arm64.deb ... 250s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 250s Selecting previously unselected package gcc-aarch64-linux-gnu. 251s Preparing to unpack .../27-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 251s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 251s Selecting previously unselected package gcc. 252s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 252s Unpacking gcc (4:14.2.0-1ubuntu1) ... 252s Selecting previously unselected package libzstd-dev:arm64. 253s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 253s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 253s Selecting previously unselected package ocaml. 253s Preparing to unpack .../30-ocaml_5.2.0-3_arm64.deb ... 253s Unpacking ocaml (5.2.0-3) ... 254s Selecting previously unselected package ocaml-findlib. 255s Preparing to unpack .../31-ocaml-findlib_1.9.6-3build1_arm64.deb ... 255s Unpacking ocaml-findlib (1.9.6-3build1) ... 255s Selecting previously unselected package coq. 255s Preparing to unpack .../32-coq_8.20.0+dfsg-1_arm64.deb ... 255s Unpacking coq (8.20.0+dfsg-1) ... 257s Selecting previously unselected package libcoq-bignums. 258s Preparing to unpack .../33-libcoq-bignums_9.0.0+coq8.20-1build5_arm64.deb ... 258s Unpacking libcoq-bignums (9.0.0+coq8.20-1build5) ... 258s Selecting previously unselected package libcoq-coqprime. 259s Preparing to unpack .../34-libcoq-coqprime_8.20.1-1_arm64.deb ... 259s Unpacking libcoq-coqprime (8.20.1-1) ... 259s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 259s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 259s Setting up libgomp1:arm64 (15-20250213-1ubuntu1) ... 259s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 259s Setting up libstdlib-ocaml (5.2.0-3) ... 259s Setting up libmpc3:arm64 (1.3.1-1build2) ... 259s Setting up ocaml-base (5.2.0-3) ... 259s Setting up libubsan1:arm64 (15-20250213-1ubuntu1) ... 259s Setting up libhwasan0:arm64 (15-20250213-1ubuntu1) ... 259s Setting up libasan8:arm64 (15-20250213-1ubuntu1) ... 259s Setting up libtsan2:arm64 (15-20250213-1ubuntu1) ... 259s Setting up libisl23:arm64 (0.27-1) ... 259s Setting up libcc1-0:arm64 (15-20250213-1ubuntu1) ... 259s Setting up libcoq-bignums (9.0.0+coq8.20-1build5) ... 259s Setting up liblsan0:arm64 (15-20250213-1ubuntu1) ... 259s Setting up libitm1:arm64 (15-20250213-1ubuntu1) ... 259s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 259s Setting up libfindlib-ocaml (1.9.6-3build1) ... 259s Setting up libzarith-ocaml (1.14-1) ... 259s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 259s Setting up ocaml-interp (5.2.0-3) ... 259s Setting up ocaml-findlib (1.9.6-3build1) ... 259s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 259s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 259s Setting up libcoq-coqprime (8.20.1-1) ... 259s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 259s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 259s Setting up cpp-14 (14.2.0-17ubuntu1) ... 259s Setting up cpp (4:14.2.0-1ubuntu1) ... 259s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 259s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 259s Setting up gcc-14 (14.2.0-17ubuntu1) ... 259s Setting up gcc (4:14.2.0-1ubuntu1) ... 259s Setting up ocaml (5.2.0-3) ... 259s Setting up coq (8.20.0+dfsg-1) ... 259s Processing triggers for man-db (2.13.0-1) ... 261s Processing triggers for libc-bin (2.40-4ubuntu1) ... 263s autopkgtest [20:12:44]: test command1: coqtop -batch -rifrom Coqprime PrimalityTest.Pocklington 263s autopkgtest [20:12:44]: test command1: [----------------------- 266s autopkgtest [20:12:47]: test command1: -----------------------] 267s command1 PASS 267s autopkgtest [20:12:48]: test command1: - - - - - - - - - - results - - - - - - - - - - 267s autopkgtest [20:12:48]: @@@@@@@@@@@@@@@@@@@@ summary 267s command1 PASS 289s nova [W] Using flock in prodstack6-arm64 289s Creating nova instance adt-plucky-arm64-coqprime-20250220-200820-juju-7f2275-prod-proposed-migration-environment-15-0796807a-229b-45b9-9579-c4614c293783 from image adt/ubuntu-plucky-arm64-server-20250220.img (UUID 397b70ef-022d-4aca-a546-c65dd921737c)... 289s nova [W] Timed out waiting for 6fbc0f52-f115-4723-a06d-d4c726d9896d to get deleted.