0s autopkgtest [21:09:18]: starting date and time: 2025-02-15 21:09:18+0000 0s autopkgtest [21:09:18]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [21:09:18]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.y937s4gx/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc,src:iproute2,src:php-twig,src:postgresql-17,src:postgresql-common,src:roundcube --apt-upgrade coq --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-20@bos03-arm64-24.secgroup --name adt-plucky-arm64-coq-20250215-210917-juju-7f2275-prod-proposed-migration-environment-20-ed877248-6b61-4141-9cbf-bc112255c1ac --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --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/ 193s autopkgtest [21:12:31]: testbed dpkg architecture: arm64 193s autopkgtest [21:12:31]: testbed apt version: 2.9.28 193s autopkgtest [21:12:31]: @@@@@@@@@@@@@@@@@@@@ test bed setup 193s autopkgtest [21:12:31]: testbed release detected to be: None 194s autopkgtest [21:12:32]: updating testbed package index (apt update) 195s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 195s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 195s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 195s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 195s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 195s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [820 kB] 195s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 195s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [62.8 kB] 195s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [77.9 kB] 195s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 Packages [7960 B] 195s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [844 kB] 195s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [10.0 kB] 196s Fetched 1949 kB in 1s (1657 kB/s) 197s Reading package lists... 198s Reading package lists... 198s Building dependency tree... 198s Reading state information... 199s Calculating upgrade... 199s The following packages will be upgraded: 199s dash libtasn1-6 libxdmcp6 199s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 199s Need to get 151 kB of archives. 199s After this operation, 17.4 kB of additional disk space will be used. 199s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 dash arm64 0.5.12-12ubuntu1 [96.1 kB] 199s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libtasn1-6 arm64 4.20.0-2 [43.9 kB] 200s Get:3 http://ftpmaster.internal/ubuntu plucky/main arm64 libxdmcp6 arm64 1:1.1.5-1 [10.7 kB] 200s Preconfiguring packages ... 200s Fetched 151 kB in 0s (304 kB/s) 200s (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.) 200s Preparing to unpack .../dash_0.5.12-12ubuntu1_arm64.deb ... 200s Unpacking dash (0.5.12-12ubuntu1) over (0.5.12-9ubuntu1) ... 201s Setting up dash (0.5.12-12ubuntu1) ... 201s (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.) 201s Preparing to unpack .../libtasn1-6_4.20.0-2_arm64.deb ... 201s Unpacking libtasn1-6:arm64 (4.20.0-2) over (4.19.0-3build1) ... 201s Preparing to unpack .../libxdmcp6_1%3a1.1.5-1_arm64.deb ... 201s Unpacking libxdmcp6:arm64 (1:1.1.5-1) over (1:1.1.3-0ubuntu6) ... 201s Setting up libxdmcp6:arm64 (1:1.1.5-1) ... 201s Setting up libtasn1-6:arm64 (4.20.0-2) ... 201s Processing triggers for libc-bin (2.40-4ubuntu1) ... 201s Processing triggers for man-db (2.13.0-1) ... 202s Processing triggers for debianutils (5.21) ... 202s Reading package lists... 202s Building dependency tree... 202s Reading state information... 203s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 203s autopkgtest [21:12:41]: upgrading testbed (apt dist-upgrade and autopurge) 203s Reading package lists... 204s Building dependency tree... 204s Reading state information... 204s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 204s Starting 2 pkgProblemResolver with broken count: 0 204s Done 205s Entering ResolveByKeep 206s 206s The following packages will be upgraded: 206s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 206s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 206s Need to get 10.7 MB of archives. 206s After this operation, 358 kB of additional disk space will be used. 206s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu1 [24.0 kB] 206s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu1 [1750 kB] 207s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu1 [4246 kB] 207s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu1 [2910 kB] 207s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu1 [600 kB] 207s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 iproute2 arm64 6.13.0-1ubuntu1 [1158 kB] 208s Preconfiguring packages ... 208s Fetched 10.7 MB in 1s (9413 kB/s) 208s (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.) 208s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_arm64.deb ... 208s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 208s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_arm64.deb ... 208s Unpacking libc6-dev:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 208s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 208s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 209s Preparing to unpack .../libc6_2.41-1ubuntu1_arm64.deb ... 209s Checking for services that may need to be restarted... 209s Checking init scripts... 209s Checking for services that may need to be restarted... 209s Checking init scripts... 209s Stopping some services possibly affected by the upgrade (will be restarted later): 209s cron: stopping...done. 209s 209s Unpacking libc6:arm64 (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 209s Setting up libc6:arm64 (2.41-1ubuntu1) ... 209s Checking for services that may need to be restarted... 209s Checking init scripts... 209s Restarting services possibly affected by the upgrade: 210s cron: restarting...done. 210s 210s Services restarted successfully. 210s (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.) 210s Preparing to unpack .../libc-bin_2.41-1ubuntu1_arm64.deb ... 210s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 210s Setting up libc-bin (2.41-1ubuntu1) ... 210s (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.) 210s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_arm64.deb ... 210s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 211s Setting up iproute2 (6.13.0-1ubuntu1) ... 211s Setting up locales (2.41-1ubuntu1) ... 211s Installing new version of config file /etc/locale.alias ... 212s Generating locales (this might take a while)... 215s en_US.UTF-8... done 215s Generation complete. 215s Setting up libc-dev-bin (2.41-1ubuntu1) ... 215s Setting up libc6-dev:arm64 (2.41-1ubuntu1) ... 215s Processing triggers for man-db (2.13.0-1) ... 216s Processing triggers for systemd (257.2-3ubuntu1) ... 217s Reading package lists... 218s Building dependency tree... 218s Reading state information... 219s Starting pkgProblemResolver with broken count: 0 219s Starting 2 pkgProblemResolver with broken count: 0 219s Done 221s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 224s autopkgtest [21:13:02]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 15:49:33 UTC 2025 224s autopkgtest [21:13:02]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 228s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (dsc) [2570 B] 228s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (tar) [5013 kB] 228s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (diff) [30.2 kB] 229s gpgv: Signature made Wed Nov 20 09:39:47 2024 UTC 229s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 229s gpgv: issuer "jpuydt@debian.org" 229s gpgv: Can't check signature: No public key 229s dpkg-source: warning: cannot verify inline signature for ./coq_8.20.0+dfsg-1.dsc: no acceptable signature found 229s autopkgtest [21:13:07]: testing package coq version 8.20.0+dfsg-1 231s autopkgtest [21:13:09]: build not needed 233s autopkgtest [21:13:11]: test compiler: preparing testbed 233s Reading package lists... 234s Building dependency tree... 234s Reading state information... 234s Starting pkgProblemResolver with broken count: 0 235s Starting 2 pkgProblemResolver with broken count: 0 235s Done 236s The following NEW packages will be installed: 236s coq cpp cpp-14 cpp-14-aarch64-linux-gnu cpp-aarch64-linux-gnu gcc gcc-14 236s gcc-14-aarch64-linux-gnu gcc-aarch64-linux-gnu libasan8 libcc1-0 236s libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml 236s libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3 236s libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 236s libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib ocaml-interp 236s 0 upgraded, 33 newly installed, 0 to remove and 0 not upgraded. 236s Need to get 287 MB of archives. 236s After this operation, 943 MB of additional disk space will be used. 236s Get:1 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-stdlib arm64 8.20.0+dfsg-1 [27.0 MB] 237s Get:2 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml arm64 5.2.0-3 [413 kB] 237s Get:3 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-base arm64 5.2.0-3 [280 kB] 237s Get:4 http://ftpmaster.internal/ubuntu plucky/universe arm64 libfindlib-ocaml arm64 1.9.6-3build1 [193 kB] 237s Get:5 http://ftpmaster.internal/ubuntu plucky/universe arm64 libzarith-ocaml arm64 1.14-1 [121 kB] 237s Get:6 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcoq-core-ocaml arm64 8.20.0+dfsg-1 [27.9 MB] 238s Get:7 http://ftpmaster.internal/ubuntu plucky/universe arm64 libstdlib-ocaml-dev arm64 5.2.0-3 [11.0 MB] 238s Get:8 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcompiler-libs-ocaml-dev arm64 5.2.0-3 [47.3 MB] 240s Get:9 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-interp arm64 5.2.0-3 [8077 kB] 240s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libncurses-dev arm64 6.5+20250125-2 [388 kB] 240s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libisl23 arm64 0.27-1 [676 kB] 240s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libmpc3 arm64 1.3.1-1build2 [56.8 kB] 240s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [10.6 MB] 240s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-14 arm64 14.2.0-17ubuntu1 [1032 B] 240s Get:15 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [5558 B] 240s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 cpp arm64 4:14.2.0-1ubuntu1 [22.4 kB] 240s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 libcc1-0 arm64 14.2.0-17ubuntu1 [49.6 kB] 240s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libgomp1 arm64 14.2.0-17ubuntu1 [145 kB] 240s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libitm1 arm64 14.2.0-17ubuntu1 [27.8 kB] 240s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libasan8 arm64 14.2.0-17ubuntu1 [2892 kB] 240s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 liblsan0 arm64 14.2.0-17ubuntu1 [1283 kB] 240s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libtsan2 arm64 14.2.0-17ubuntu1 [2686 kB] 240s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 libubsan1 arm64 14.2.0-17ubuntu1 [1152 kB] 241s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 libhwasan0 arm64 14.2.0-17ubuntu1 [1599 kB] 241s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 libgcc-14-dev arm64 14.2.0-17ubuntu1 [2593 kB] 241s Get:26 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14-aarch64-linux-gnu arm64 14.2.0-17ubuntu1 [20.9 MB] 241s Get:27 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-14 arm64 14.2.0-17ubuntu1 [526 kB] 241s Get:28 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc-aarch64-linux-gnu arm64 4:14.2.0-1ubuntu1 [1200 B] 241s Get:29 http://ftpmaster.internal/ubuntu plucky/main arm64 gcc arm64 4:14.2.0-1ubuntu1 [4998 B] 241s Get:30 http://ftpmaster.internal/ubuntu plucky/main arm64 libzstd-dev arm64 1.5.6+dfsg-2 [353 kB] 241s Get:31 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml arm64 5.2.0-3 [22.7 MB] 242s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 ocaml-findlib arm64 1.9.6-3build1 [712 kB] 242s Get:33 http://ftpmaster.internal/ubuntu plucky/universe arm64 coq arm64 8.20.0+dfsg-1 [95.5 MB] 245s Fetched 287 MB in 9s (33.7 MB/s) 245s Selecting previously unselected package libcoq-stdlib. 245s (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.) 245s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_arm64.deb ... 245s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 247s Selecting previously unselected package libstdlib-ocaml. 247s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_arm64.deb ... 247s Unpacking libstdlib-ocaml (5.2.0-3) ... 247s Selecting previously unselected package ocaml-base. 247s Preparing to unpack .../02-ocaml-base_5.2.0-3_arm64.deb ... 247s Unpacking ocaml-base (5.2.0-3) ... 247s Selecting previously unselected package libfindlib-ocaml. 247s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_arm64.deb ... 247s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 247s Selecting previously unselected package libzarith-ocaml. 247s Preparing to unpack .../04-libzarith-ocaml_1.14-1_arm64.deb ... 247s Unpacking libzarith-ocaml (1.14-1) ... 247s Selecting previously unselected package libcoq-core-ocaml. 247s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb ... 247s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... 247s Selecting previously unselected package libstdlib-ocaml-dev. 247s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_arm64.deb ... 247s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 248s Selecting previously unselected package libcompiler-libs-ocaml-dev. 248s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_arm64.deb ... 248s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 249s Selecting previously unselected package ocaml-interp. 249s Preparing to unpack .../08-ocaml-interp_5.2.0-3_arm64.deb ... 249s Unpacking ocaml-interp (5.2.0-3) ... 249s Selecting previously unselected package libncurses-dev:arm64. 249s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_arm64.deb ... 249s Unpacking libncurses-dev:arm64 (6.5+20250125-2) ... 249s Selecting previously unselected package libisl23:arm64. 249s Preparing to unpack .../10-libisl23_0.27-1_arm64.deb ... 249s Unpacking libisl23:arm64 (0.27-1) ... 249s Selecting previously unselected package libmpc3:arm64. 249s Preparing to unpack .../11-libmpc3_1.3.1-1build2_arm64.deb ... 249s Unpacking libmpc3:arm64 (1.3.1-1build2) ... 249s Selecting previously unselected package cpp-14-aarch64-linux-gnu. 249s Preparing to unpack .../12-cpp-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 249s Unpacking cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 249s Selecting previously unselected package cpp-14. 249s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_arm64.deb ... 249s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 250s Selecting previously unselected package cpp-aarch64-linux-gnu. 250s Preparing to unpack .../14-cpp-aarch64-linux-gnu_4%3a14.2.0-1ubuntu1_arm64.deb ... 250s Unpacking cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 250s Selecting previously unselected package cpp. 250s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_arm64.deb ... 250s Unpacking cpp (4:14.2.0-1ubuntu1) ... 250s Selecting previously unselected package libcc1-0:arm64. 250s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_arm64.deb ... 250s Unpacking libcc1-0:arm64 (14.2.0-17ubuntu1) ... 250s Selecting previously unselected package libgomp1:arm64. 250s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_arm64.deb ... 250s Unpacking libgomp1:arm64 (14.2.0-17ubuntu1) ... 250s Selecting previously unselected package libitm1:arm64. 250s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_arm64.deb ... 250s Unpacking libitm1:arm64 (14.2.0-17ubuntu1) ... 250s Selecting previously unselected package libasan8:arm64. 250s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_arm64.deb ... 250s Unpacking libasan8:arm64 (14.2.0-17ubuntu1) ... 250s Selecting previously unselected package liblsan0:arm64. 250s Preparing to unpack .../20-liblsan0_14.2.0-17ubuntu1_arm64.deb ... 250s Unpacking liblsan0:arm64 (14.2.0-17ubuntu1) ... 250s Selecting previously unselected package libtsan2:arm64. 250s Preparing to unpack .../21-libtsan2_14.2.0-17ubuntu1_arm64.deb ... 250s Unpacking libtsan2:arm64 (14.2.0-17ubuntu1) ... 250s Selecting previously unselected package libubsan1:arm64. 250s Preparing to unpack .../22-libubsan1_14.2.0-17ubuntu1_arm64.deb ... 250s Unpacking libubsan1:arm64 (14.2.0-17ubuntu1) ... 250s Selecting previously unselected package libhwasan0:arm64. 250s Preparing to unpack .../23-libhwasan0_14.2.0-17ubuntu1_arm64.deb ... 250s Unpacking libhwasan0:arm64 (14.2.0-17ubuntu1) ... 250s Selecting previously unselected package libgcc-14-dev:arm64. 250s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu1_arm64.deb ... 250s Unpacking libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 251s Selecting previously unselected package gcc-14-aarch64-linux-gnu. 251s Preparing to unpack .../25-gcc-14-aarch64-linux-gnu_14.2.0-17ubuntu1_arm64.deb ... 251s Unpacking gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 251s Selecting previously unselected package gcc-14. 251s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu1_arm64.deb ... 251s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 251s 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. 251s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_arm64.deb ... 251s Unpacking gcc (4:14.2.0-1ubuntu1) ... 251s Selecting previously unselected package libzstd-dev:arm64. 252s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_arm64.deb ... 252s Unpacking libzstd-dev:arm64 (1.5.6+dfsg-2) ... 252s Selecting previously unselected package ocaml. 252s Preparing to unpack .../30-ocaml_5.2.0-3_arm64.deb ... 252s Unpacking ocaml (5.2.0-3) ... 253s Selecting previously unselected package ocaml-findlib. 253s Preparing to unpack .../31-ocaml-findlib_1.9.6-3build1_arm64.deb ... 253s Unpacking ocaml-findlib (1.9.6-3build1) ... 253s Selecting previously unselected package coq. 253s Preparing to unpack .../32-coq_8.20.0+dfsg-1_arm64.deb ... 253s Unpacking coq (8.20.0+dfsg-1) ... 255s Setting up libncurses-dev:arm64 (6.5+20250125-2) ... 255s Setting up libzstd-dev:arm64 (1.5.6+dfsg-2) ... 255s Setting up libgomp1:arm64 (14.2.0-17ubuntu1) ... 255s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 255s Setting up libstdlib-ocaml (5.2.0-3) ... 255s Setting up libmpc3:arm64 (1.3.1-1build2) ... 255s Setting up ocaml-base (5.2.0-3) ... 255s Setting up libubsan1:arm64 (14.2.0-17ubuntu1) ... 255s Setting up libhwasan0:arm64 (14.2.0-17ubuntu1) ... 255s Setting up libasan8:arm64 (14.2.0-17ubuntu1) ... 255s Setting up libtsan2:arm64 (14.2.0-17ubuntu1) ... 255s Setting up libisl23:arm64 (0.27-1) ... 255s Setting up libcc1-0:arm64 (14.2.0-17ubuntu1) ... 255s Setting up liblsan0:arm64 (14.2.0-17ubuntu1) ... 255s Setting up libitm1:arm64 (14.2.0-17ubuntu1) ... 255s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 255s Setting up libfindlib-ocaml (1.9.6-3build1) ... 255s Setting up libzarith-ocaml (1.14-1) ... 255s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 255s Setting up ocaml-interp (5.2.0-3) ... 255s Setting up ocaml-findlib (1.9.6-3build1) ... 255s Setting up cpp-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 255s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 255s Setting up libgcc-14-dev:arm64 (14.2.0-17ubuntu1) ... 255s Setting up cpp-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 255s Setting up cpp-14 (14.2.0-17ubuntu1) ... 255s Setting up cpp (4:14.2.0-1ubuntu1) ... 255s Setting up gcc-14-aarch64-linux-gnu (14.2.0-17ubuntu1) ... 255s Setting up gcc-aarch64-linux-gnu (4:14.2.0-1ubuntu1) ... 255s Setting up gcc-14 (14.2.0-17ubuntu1) ... 255s Setting up gcc (4:14.2.0-1ubuntu1) ... 255s Setting up ocaml (5.2.0-3) ... 255s Setting up coq (8.20.0+dfsg-1) ... 255s Processing triggers for man-db (2.13.0-1) ... 256s Processing triggers for libc-bin (2.41-1ubuntu1) ... 257s autopkgtest [21:13:35]: test compiler: [----------------------- 258s autopkgtest [21:13:36]: test compiler: -----------------------] 258s compiler PASS 258s autopkgtest [21:13:36]: test compiler: - - - - - - - - - - results - - - - - - - - - - 259s autopkgtest [21:13:37]: test toplevel: preparing testbed 259s Reading package lists... 260s Building dependency tree... 260s Reading state information... 261s Starting pkgProblemResolver with broken count: 0 261s Starting 2 pkgProblemResolver with broken count: 0 261s Done 262s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 263s autopkgtest [21:13:41]: test toplevel: [----------------------- 263s Welcome to Coq 8.20.0 263s pierce is defined 263s excluded_middle is defined 263s 1 goal 263s 263s ============================ 263s pierce <-> excluded_middle 263s 1 goal 263s 263s ============================ 263s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 263s 2 goals 263s 263s H : forall p q : Prop, ((p -> q) -> p) -> p 263s p : Prop 263s ============================ 263s p \/ ~ p 263s 263s goal 2 is: 263s p 263s 2 goals 263s 263s H : forall p q : Prop, ((p -> q) -> p) -> p 263s p : Prop 263s ============================ 263s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 263s 263s goal 2 is: 263s p 263s 1 goal 263s 263s H : forall p : Prop, p \/ ~ p 263s p, q : Prop 263s H0 : (p -> q) -> p 263s ============================ 263s p 263s 2 goals 263s 263s H : forall p : Prop, p \/ ~ p 263s p, q : Prop 263s H0 : (p -> q) -> p 263s H1 : p 263s ============================ 263s p 263s 263s goal 2 is: 263s p 263s 1 goal 263s 263s H : forall p : Prop, p \/ ~ p 263s p, q : Prop 263s H0 : (p -> q) -> p 263s H1 : ~ p 263s ============================ 263s p 263s No more goals. 264s autopkgtest [21:13:42]: test toplevel: -----------------------] 264s autopkgtest [21:13:42]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 264s toplevel PASS 264s autopkgtest [21:13:42]: @@@@@@@@@@@@@@@@@@@@ summary 264s compiler PASS 264s toplevel PASS 395s nova [W] Using flock in prodstack6-arm64 395s Creating nova instance adt-plucky-arm64-coq-20250215-210917-juju-7f2275-prod-proposed-migration-environment-20-ed877248-6b61-4141-9cbf-bc112255c1ac from image adt/ubuntu-plucky-arm64-server-20250215.img (UUID 8f82fa69-4462-4e93-a46b-73be9ea2c381)... 395s nova [W] Timed out waiting for 684dec43-a4c4-4122-a0b8-8e1a67c23534 to get deleted.