0s autopkgtest [20:08:20]: starting date and time: 2025-02-20 20:08:20+0000 0s autopkgtest [20:08:20]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [20:08:20]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.06dd7rna/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:gmp --apt-upgrade coq --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-2@bos03-arm64-26.secgroup --name adt-plucky-arm64-coq-20250220-200820-juju-7f2275-prod-proposed-migration-environment-2-2918e7e5-3435-4683-82ba-91706a6f3653 --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --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/ 94s autopkgtest [20:09:54]: testbed dpkg architecture: arm64 94s autopkgtest [20:09:54]: testbed apt version: 2.9.30 95s autopkgtest [20:09:55]: @@@@@@@@@@@@@@@@@@@@ test bed setup 95s autopkgtest [20:09:55]: testbed release detected to be: None 96s autopkgtest [20:09:56]: updating testbed package index (apt update) 96s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 97s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 97s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 97s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 97s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 97s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 97s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 97s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 97s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [121 kB] 97s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 97s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [684 kB] 97s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.7 kB] 97s Fetched 1787 kB in 1s (1760 kB/s) 99s Reading package lists... 100s Reading package lists... 100s Building dependency tree... 100s Reading state information... 101s Calculating upgrade... 101s The following package was automatically installed and is no longer required: 101s libapt-pkg6.0t64 101s Use 'sudo apt autoremove' to remove it. 101s The following packages will be upgraded: 101s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 101s libssl3t64 openssl openssl-provider-legacy python3-requests telnet 101s ubuntu-pro-client ubuntu-pro-client-l10n 101s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 101s Need to get 10.4 MB of archives. 101s After this operation, 64.5 kB disk space will be freed. 101s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 openssl-provider-legacy arm64 3.4.1-1ubuntu1 [38.6 kB] 102s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libssl3t64 arm64 3.4.1-1ubuntu1 [2641 kB] 102s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 kbd arm64 2.7.1-2ubuntu1 [230 kB] 102s Get:4 http://ftpmaster.internal/ubuntu plucky/main arm64 openssl arm64 3.4.1-1ubuntu1 [1162 kB] 102s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-pro-client-l10n arm64 34.1.3 [18.3 kB] 102s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 ubuntu-pro-client arm64 34.1.3 [240 kB] 102s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 inetutils-telnet arm64 2:2.5-6ubuntu1 [104 kB] 102s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 telnet all 0.17+2.5-6ubuntu1 [3694 B] 102s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libcryptsetup12 arm64 2:2.7.5-1ubuntu2 [271 kB] 102s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 cryptsetup-bin arm64 2:2.7.5-1ubuntu2 [217 kB] 102s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 fwupd arm64 2.0.6-3 [5288 kB] 102s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libfwupd3 arm64 2.0.6-3 [129 kB] 102s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 103s Fetched 10.4 MB in 1s (10.5 MB/s) 103s (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.) 103s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_arm64.deb ... 103s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 103s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 103s (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.) 103s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_arm64.deb ... 103s Unpacking libssl3t64:arm64 (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 103s Setting up libssl3t64:arm64 (3.4.1-1ubuntu1) ... 104s (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.) 104s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_arm64.deb ... 104s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 104s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_arm64.deb ... 104s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 104s Preparing to unpack .../02-ubuntu-pro-client-l10n_34.1.3_arm64.deb ... 104s Unpacking ubuntu-pro-client-l10n (34.1.3) over (34.1.2) ... 104s Preparing to unpack .../03-ubuntu-pro-client_34.1.3_arm64.deb ... 104s /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. 104s for fn in glob1(directory, "%s.*" % fname): 104s Unpacking ubuntu-pro-client (34.1.3) over (34.1.2) ... 104s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_arm64.deb ... 104s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 104s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 104s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 104s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_arm64.deb ... 104s Unpacking libcryptsetup12:arm64 (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 104s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_arm64.deb ... 104s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 104s Preparing to unpack .../08-fwupd_2.0.6-3_arm64.deb ... 105s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 105s Preparing to unpack .../09-libfwupd3_2.0.6-3_arm64.deb ... 105s Unpacking libfwupd3:arm64 (2.0.6-3) over (2.0.5-1) ... 105s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 105s /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. 105s for fn in glob1(directory, "%s.*" % fname): 105s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 105s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 105s Setting up libfwupd3:arm64 (2.0.6-3) ... 105s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 105s Setting up libcryptsetup12:arm64 (2:2.7.5-1ubuntu2) ... 105s Setting up kbd (2.7.1-2ubuntu1) ... 105s Setting up openssl (3.4.1-1ubuntu1) ... 105s Setting up ubuntu-pro-client (34.1.3) ... 107s Setting up fwupd (2.0.6-3) ... 108s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 108s fwupd.service is a disabled or a static unit not running, not starting it. 108s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 108s Setting up ubuntu-pro-client-l10n (34.1.3) ... 108s Setting up telnet (0.17+2.5-6ubuntu1) ... 108s Processing triggers for libc-bin (2.40-4ubuntu1) ... 108s Processing triggers for man-db (2.13.0-1) ... 110s Processing triggers for dbus (1.16.0-1ubuntu1) ... 110s Processing triggers for initramfs-tools (0.145ubuntu2) ... 110s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 110s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 134s System running in EFI mode, skipping. 134s Reading package lists... 135s Building dependency tree... 135s Reading state information... 135s The following packages will be REMOVED: 135s libapt-pkg6.0t64* 136s 0 upgraded, 0 newly installed, 1 to remove and 1 not upgraded. 136s After this operation, 3410 kB disk space will be freed. 136s (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.) 136s Removing libapt-pkg6.0t64:arm64 (2.9.29) ... 136s Processing triggers for libc-bin (2.40-4ubuntu1) ... 136s autopkgtest [20:10:36]: upgrading testbed (apt dist-upgrade and autopurge) 136s Reading package lists... 137s Building dependency tree... 137s Reading state information... 137s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 137s Starting 2 pkgProblemResolver with broken count: 0 137s Done 138s Entering ResolveByKeep 139s 139s The following packages will be upgraded: 139s libgmp10 139s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 139s Need to get 246 kB of archives. 139s After this operation, 0 B of additional disk space will be used. 139s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libgmp10 arm64 2:6.3.0+dfsg-3ubuntu1 [246 kB] 140s Fetched 246 kB in 0s (534 kB/s) 140s (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.) 140s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_arm64.deb ... 140s Unpacking libgmp10:arm64 (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 140s Setting up libgmp10:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 140s Processing triggers for libc-bin (2.40-4ubuntu1) ... 141s Reading package lists... 141s Building dependency tree... 141s Reading state information... 141s Starting pkgProblemResolver with broken count: 0 141s Starting 2 pkgProblemResolver with broken count: 0 141s Done 142s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 142s autopkgtest [20:10:42]: rebooting testbed after setup commands that affected boot 177s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 184s autopkgtest [20:11:24]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 15:49:33 UTC 2025 187s autopkgtest [20:11:27]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 192s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (dsc) [2570 B] 192s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (tar) [5013 kB] 192s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (diff) [30.2 kB] 192s gpgv: Signature made Wed Nov 20 09:39: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_8.20.0+dfsg-1.dsc: no acceptable signature found 193s autopkgtest [20:11:33]: testing package coq version 8.20.0+dfsg-1 194s autopkgtest [20:11:34]: build not needed 196s autopkgtest [20:11:36]: test compiler: preparing testbed 196s Reading package lists... 196s Building dependency tree... 196s Reading state information... 197s Starting pkgProblemResolver with broken count: 0 197s Starting 2 pkgProblemResolver with broken count: 0 197s Done 198s The following NEW packages will be installed: 198s coq cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-14 198s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0 198s libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml 198s libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3 198s libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 198s libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib ocaml-interp 198s 0 upgraded, 33 newly installed, 0 to remove and 0 not upgraded. 198s Need to get 287 MB of archives. 198s After this operation, 943 MB of additional disk space will be used. 198s Get:1 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-stdlib arm64 8.20.0+dfsg-1 [27.0 MB] 199s Get:2 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB] 199s Get:3 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB] 199s Get:4 http://ftpmaster.internal/ubuntu plucky/universe arm64 libfindlib-ocaml arm64 1.9.6-3build1 [193 kB] 199s Get:5 http://ftpmaster.internal/ubuntu plucky/universe arm64 libzarith-ocaml arm64 1.14-1 [121 kB] 199s Get:6 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-core-ocaml arm64 8.20.0+dfsg-1 [27.9 MB] 200s Get:7 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB] 201s Get:8 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB] 205s Get:9 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB] 206s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 206s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 206s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 206s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [10.6 MB] 206s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu1 [1032 B] 206s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 206s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 206s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 15-20250213-1ubuntu1 [44.2 kB] 206s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 15-20250213-1ubuntu1 [146 kB] 206s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 15-20250213-1ubuntu1 [28.0 kB] 206s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 15-20250213-1ubuntu1 [2928 kB] 206s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 15-20250213-1ubuntu1 [1319 kB] 206s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 15-20250213-1ubuntu1 [2695 kB] 207s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 15-20250213-1ubuntu1 [1178 kB] 207s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 15-20250213-1ubuntu1 [1642 kB] 207s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu1 [2593 kB] 207s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [20.9 MB] 207s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu1 [526 kB] 208s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 208s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 208s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 208s Get:31 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB] 209s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-findlib arm64 1.9.6-3build1 [712 kB] 209s Get:33 http://ftpmaster.internal/ubuntu plucky/universe arm64 coq arm64 8.20.0+dfsg-1 [95.5 MB] 214s Fetched 287 MB in 15s (18.6 MB/s) 214s Selecting previously unselected package libcoq-stdlib. 214s (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.) 214s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_arm64.deb ... 214s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 215s Selecting previously unselected package libstdlib-ocaml. 215s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_arm64.deb ... 215s Unpacking libstdlib-ocaml (5.2.0-3) ... 215s Selecting previously unselected package ocaml-base. 215s Preparing to unpack .../02-ocaml-base_5.2.0-3_arm64.deb ... 215s Unpacking ocaml-base (5.2.0-3) ... 216s Selecting previously unselected package libfindlib-ocaml. 216s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_arm64.deb ... 216s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 216s Selecting previously unselected package libzarith-ocaml. 216s Preparing to unpack .../04-libzarith-ocaml_1.14-1_arm64.deb ... 216s Unpacking libzarith-ocaml (1.14-1) ... 216s Selecting previously unselected package libcoq-core-ocaml. 216s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb ... 216s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... 216s Selecting previously unselected package libstdlib-ocaml-dev. 216s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ... 216s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 216s Selecting previously unselected package libcompiler-libs-ocaml-dev. 216s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ... 216s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 217s Selecting previously unselected package ocaml-interp. 217s Preparing to unpack .../08-ocaml-interp_5.2.0-3_arm64.deb ... 217s Unpacking ocaml-interp (5.2.0-3) ... 217s Selecting previously unselected package libncurses-dev:arm64. 217s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_arm64.deb ... 217s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 217s Selecting previously unselected package libisl23:arm64. 217s Preparing to unpack .../10-libisl23_0.27-1_arm64.deb ... 217s Unpacking libisl23:arm64 (0.27-1) ... 217s Selecting previously unselected package libmpc3:arm64. 217s Preparing to unpack .../11-libmpc3_1.3.1-1build2_arm64.deb ... 217s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 217s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 217s Preparing to unpack .../12-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 217s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 218s Selecting previously unselected package cpp-14. 218s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_arm64.deb ... 218s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 218s Selecting previously unselected package cpp-aarch64-linux-gnu. 218s Preparing to unpack .../14-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 218s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 218s Selecting previously unselected package cpp. 218s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 218s Unpacking cpp (4:14.2.0-1ubuntu1) ... 218s Selecting previously unselected package libcc1-0:arm64. 218s Preparing to unpack .../16-libcc1-0_15-20250213-1ubuntu1_arm64.deb ... 218s Unpacking libcc1-0:arm64 (15-20250213-1ubuntu1) ... 218s Selecting previously unselected package libgomp1:arm64. 218s Preparing to unpack .../17-libgomp1_15-20250213-1ubuntu1_arm64.deb ... 218s Unpacking libgomp1:arm64 (15-20250213-1ubuntu1) ... 218s Selecting previously unselected package libitm1:arm64. 218s Preparing to unpack .../18-libitm1_15-20250213-1ubuntu1_arm64.deb ... 218s Unpacking libitm1:arm64 (15-20250213-1ubuntu1) ... 218s Selecting previously unselected package libasan8:arm64. 218s Preparing to unpack .../19-libasan8_15-20250213-1ubuntu1_arm64.deb ... 218s Unpacking libasan8:arm64 (15-20250213-1ubuntu1) ... 218s Selecting previously unselected package liblsan0:arm64. 218s Preparing to unpack .../20-liblsan0_15-20250213-1ubuntu1_arm64.deb ... 218s Unpacking liblsan0:arm64 (15-20250213-1ubuntu1) ... 218s Selecting previously unselected package libtsan2:arm64. 218s Preparing to unpack .../21-libtsan2_15-20250213-1ubuntu1_arm64.deb ... 218s Unpacking libtsan2:arm64 (15-20250213-1ubuntu1) ... 218s Selecting previously unselected package libubsan1:arm64. 218s Preparing to unpack .../22-libubsan1_15-20250213-1ubuntu1_arm64.deb ... 218s Unpacking libubsan1:arm64 (15-20250213-1ubuntu1) ... 218s Selecting previously unselected package libhwasan0:arm64. 218s Preparing to unpack .../23-libhwasan0_15-20250213-1ubuntu1_arm64.deb ... 218s Unpacking libhwasan0:arm64 (15-20250213-1ubuntu1) ... 218s Selecting previously unselected package libgcc-14-dev:arm64. 219s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu1_arm64.deb ... 219s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 219s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 219s Preparing to unpack .../25-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 219s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 219s Selecting previously unselected package gcc-14. 219s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu1_arm64.deb ... 219s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 219s Selecting previously unselected package gcc-aarch64-linux-gnu. 219s Preparing to unpack .../27-gcc-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 219s Unpacking gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 219s Selecting previously unselected package gcc. 219s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 219s Unpacking gcc (4:14.2.0-1ubuntu1) ... 219s Selecting previously unselected package libzstd-dev:arm64. 219s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 219s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 219s Selecting previously unselected package ocaml. 219s Preparing to unpack .../30-ocaml_5.2.0-3_arm64.deb ... 219s Unpacking ocaml (5.2.0-3) ... 220s Selecting previously unselected package ocaml-findlib. 220s Preparing to unpack .../31-ocaml-findlib_1.9.6-3build1_arm64.deb ... 220s Unpacking ocaml-findlib (1.9.6-3build1) ... 220s Selecting previously unselected package coq. 220s Preparing to unpack .../32-coq_8.20.0+dfsg-1_arm64.deb ... 220s Unpacking coq (8.20.0+dfsg-1) ... 222s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 222s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 222s Setting up libgomp1:arm64 (15-20250213-1ubuntu1) ... 222s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 222s Setting up libstdlib-ocaml (5.2.0-3) ... 222s Setting up libmpc3:arm64 (1.3.1-1build2) ... 222s Setting up ocaml-base (5.2.0-3) ... 222s Setting up libubsan1:arm64 (15-20250213-1ubuntu1) ... 222s Setting up libhwasan0:arm64 (15-20250213-1ubuntu1) ... 222s Setting up libasan8:arm64 (15-20250213-1ubuntu1) ... 222s Setting up libtsan2:arm64 (15-20250213-1ubuntu1) ... 222s Setting up libisl23:arm64 (0.27-1) ... 222s Setting up libcc1-0:arm64 (15-20250213-1ubuntu1) ... 222s Setting up liblsan0:arm64 (15-20250213-1ubuntu1) ... 222s Setting up libitm1:arm64 (15-20250213-1ubuntu1) ... 222s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 222s Setting up libfindlib-ocaml (1.9.6-3build1) ... 222s Setting up libzarith-ocaml (1.14-1) ... 222s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 222s Setting up ocaml-interp (5.2.0-3) ... 222s Setting up ocaml-findlib (1.9.6-3build1) ... 222s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 222s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 222s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 222s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 222s Setting up cpp-14 (14.2.0-17ubuntu1) ... 222s Setting up cpp (4:14.2.0-1ubuntu1) ... 222s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 222s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 222s Setting up gcc-14 (14.2.0-17ubuntu1) ... 222s Setting up gcc (4:14.2.0-1ubuntu1) ... 222s Setting up ocaml (5.2.0-3) ... 222s Setting up coq (8.20.0+dfsg-1) ... 222s Processing triggers for man-db (2.13.0-1) ... 223s Processing triggers for libc-bin (2.40-4ubuntu1) ... 225s autopkgtest [20:12:05]: test compiler: [----------------------- 226s autopkgtest [20:12:06]: test compiler: -----------------------] 226s autopkgtest [20:12:06]: test compiler: - - - - - - - - - - results - - - - - - - - - - 226s compiler PASS 227s autopkgtest [20:12:07]: test toplevel: preparing testbed 227s Reading package lists... 227s Building dependency tree... 227s Reading state information... 228s Starting pkgProblemResolver with broken count: 0 228s Starting 2 pkgProblemResolver with broken count: 0 228s Done 228s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 229s autopkgtest [20:12:09]: test toplevel: [----------------------- 230s Welcome to Coq 8.20.0 230s pierce is defined 230s excluded_middle is defined 230s 1 goal 230s 230s ============================ 230s pierce <-> excluded_middle 230s 1 goal 230s 230s ============================ 230s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 230s 2 goals 230s 230s H : forall p q : Prop, ((p -> q) -> p) -> p 230s p : Prop 230s ============================ 230s p \/ ~ p 230s 230s goal 2 is: 230s p 230s 2 goals 230s 230s H : forall p q : Prop, ((p -> q) -> p) -> p 230s p : Prop 230s ============================ 230s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 230s 230s goal 2 is: 230s p 230s 1 goal 230s 230s H : forall p : Prop, p \/ ~ p 230s p, q : Prop 230s H0 : (p -> q) -> p 230s ============================ 230s p 230s 2 goals 230s 230s H : forall p : Prop, p \/ ~ p 230s p, q : Prop 230s H0 : (p -> q) -> p 230s H1 : p 230s ============================ 230s p 230s 230s goal 2 is: 230s p 230s 1 goal 230s 230s H : forall p : Prop, p \/ ~ p 230s p, q : Prop 230s H0 : (p -> q) -> p 230s H1 : ~ p 230s ============================ 230s p 230s No more goals. 230s autopkgtest [20:12:10]: test toplevel: -----------------------] 231s toplevel PASS 231s autopkgtest [20:12:11]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 231s autopkgtest [20:12:11]: @@@@@@@@@@@@@@@@@@@@ summary 231s compiler PASS 231s toplevel PASS 237s nova [W] Using flock in prodstack6-arm64 237s Creating nova instance adt-plucky-arm64-coq-20250220-200820-juju-7f2275-prod-proposed-migration-environment-2-2918e7e5-3435-4683-82ba-91706a6f3653 from image adt/ubuntu-plucky-arm64-server-20250220.img (UUID 397b70ef-022d-4aca-a546-c65dd921737c)... 237s nova [W] Timed out waiting for 4c716932-949b-49df-8166-ab7c3a6b50d0 to get deleted.