0s autopkgtest [20:43:03]: starting date and time: 2025-02-20 20:43:03+0000 0s autopkgtest [20:43:03]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [20:43:03]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.8hq0jmpy/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 builder-cpu2-ram4-disk20 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-10.secgroup --name adt-plucky-amd64-coq-20250220-200800-juju-7f2275-prod-proposed-migration-environment-15-0e15232c-f997-4424-8386-d4df4a820816 --image adt/ubuntu-plucky-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration-amd64 -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/ 69s autopkgtest [20:44:12]: testbed dpkg architecture: amd64 70s autopkgtest [20:44:13]: testbed apt version: 2.9.30 70s autopkgtest [20:44:13]: @@@@@@@@@@@@@@@@@@@@ test bed setup 70s autopkgtest [20:44:13]: testbed release detected to be: None 71s autopkgtest [20:44:14]: updating testbed package index (apt update) 71s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 72s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 72s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 72s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 72s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 72s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [746 kB] 72s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [14.8 kB] 72s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [88.0 kB] 72s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 Packages [130 kB] 72s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/main i386 Packages [105 kB] 72s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/restricted amd64 Packages [7984 B] 72s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/restricted i386 Packages [2412 B] 72s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/universe i386 Packages [267 kB] 72s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/universe amd64 Packages [703 kB] 72s Get:15 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse i386 Packages [9128 B] 72s Get:16 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse amd64 Packages [22.5 kB] 72s Fetched 2210 kB in 1s (2360 kB/s) 73s Reading package lists... 74s + lsb_release --codename --short 74s + RELEASE=plucky 74s + cat 74s + [ plucky != trusty ] 74s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 74s Reading package lists... 74s Building dependency tree... 74s Reading state information... 74s Calculating upgrade... 74s The following package was automatically installed and is no longer required: 74s libapt-pkg6.0t64 74s Use 'sudo apt autoremove' to remove it. 75s The following packages will be upgraded: 75s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 75s libssl3t64 openssl openssl-provider-legacy python3-requests telnet 75s ubuntu-pro-client ubuntu-pro-client-l10n 75s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 75s Need to get 10.3 MB of archives. 75s After this operation, 189 kB of additional disk space will be used. 75s Get:1 http://ftpmaster.internal/ubuntu plucky/main amd64 openssl-provider-legacy amd64 3.4.1-1ubuntu1 [38.8 kB] 75s Get:2 http://ftpmaster.internal/ubuntu plucky/main amd64 libssl3t64 amd64 3.4.1-1ubuntu1 [2334 kB] 75s Get:3 http://ftpmaster.internal/ubuntu plucky/main amd64 kbd amd64 2.7.1-2ubuntu1 [242 kB] 75s Get:4 http://ftpmaster.internal/ubuntu plucky/main amd64 openssl amd64 3.4.1-1ubuntu1 [1189 kB] 75s Get:5 http://ftpmaster.internal/ubuntu plucky/main amd64 ubuntu-pro-client-l10n amd64 34.1.3 [18.3 kB] 75s Get:6 http://ftpmaster.internal/ubuntu plucky/main amd64 ubuntu-pro-client amd64 34.1.3 [241 kB] 75s Get:7 http://ftpmaster.internal/ubuntu plucky/main amd64 inetutils-telnet amd64 2:2.5-6ubuntu1 [116 kB] 75s Get:8 http://ftpmaster.internal/ubuntu plucky/main amd64 telnet all 0.17+2.5-6ubuntu1 [3694 B] 75s Get:9 http://ftpmaster.internal/ubuntu plucky/main amd64 libcryptsetup12 amd64 2:2.7.5-1ubuntu2 [321 kB] 75s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 cryptsetup-bin amd64 2:2.7.5-1ubuntu2 [222 kB] 75s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 fwupd amd64 2.0.6-3 [5408 kB] 75s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 libfwupd3 amd64 2.0.6-3 [136 kB] 75s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 76s Fetched 10.3 MB in 1s (12.2 MB/s) 76s (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 ... 109023 files and directories currently installed.) 76s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_amd64.deb ... 76s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 76s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 76s (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 ... 109023 files and directories currently installed.) 76s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_amd64.deb ... 76s Unpacking libssl3t64:amd64 (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 76s Setting up libssl3t64:amd64 (3.4.1-1ubuntu1) ... 76s (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 ... 109023 files and directories currently installed.) 76s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_amd64.deb ... 76s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 76s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_amd64.deb ... 76s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 77s Preparing to unpack .../02-ubuntu-pro-client-l10n_34.1.3_amd64.deb ... 77s Unpacking ubuntu-pro-client-l10n (34.1.3) over (34.1.2) ... 77s Preparing to unpack .../03-ubuntu-pro-client_34.1.3_amd64.deb ... 77s /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. 77s for fn in glob1(directory, "%s.*" % fname): 77s Unpacking ubuntu-pro-client (34.1.3) over (34.1.2) ... 77s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_amd64.deb ... 77s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 77s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 77s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 77s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_amd64.deb ... 77s Unpacking libcryptsetup12:amd64 (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 77s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_amd64.deb ... 77s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 77s Preparing to unpack .../08-fwupd_2.0.6-3_amd64.deb ... 77s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 77s Preparing to unpack .../09-libfwupd3_2.0.6-3_amd64.deb ... 77s Unpacking libfwupd3:amd64 (2.0.6-3) over (2.0.5-1) ... 77s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 77s /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. 77s for fn in glob1(directory, "%s.*" % fname): 77s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 77s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 78s Setting up libfwupd3:amd64 (2.0.6-3) ... 78s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 78s Setting up libcryptsetup12:amd64 (2:2.7.5-1ubuntu2) ... 78s Setting up kbd (2.7.1-2ubuntu1) ... 78s Setting up openssl (3.4.1-1ubuntu1) ... 78s Setting up ubuntu-pro-client (34.1.3) ... 79s Setting up fwupd (2.0.6-3) ... 80s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 80s fwupd.service is a disabled or a static unit not running, not starting it. 80s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 80s Setting up ubuntu-pro-client-l10n (34.1.3) ... 80s Setting up telnet (0.17+2.5-6ubuntu1) ... 80s Processing triggers for libc-bin (2.40-4ubuntu1) ... 80s Processing triggers for man-db (2.13.0-1) ... 81s Processing triggers for dbus (1.16.0-1ubuntu1) ... 81s Processing triggers for initramfs-tools (0.145ubuntu2) ... 81s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 81s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 92s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 92s + /usr/lib/apt/apt-helper analyze-pattern ?true 92s + uname -r 92s + sed s/\./\\./g 92s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 92s + apt list ?obsolete 92s + tail -n+2 92s + cut -d/ -f1 92s + grep -v ^linux-.*6\.12\.0-15-generic.* 92s + true 92s + obsolete_pkgs= 92s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove 92s Reading package lists... 92s Building dependency tree... 92s Reading state information... 93s The following packages will be REMOVED: 93s libapt-pkg6.0t64* 93s 0 upgraded, 0 newly installed, 1 to remove and 1 not upgraded. 93s After this operation, 3725 kB disk space will be freed. 93s (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 ... 109020 files and directories currently installed.) 93s Removing libapt-pkg6.0t64:amd64 (2.9.29) ... 93s Processing triggers for libc-bin (2.40-4ubuntu1) ... 93s + grep -q trusty /etc/lsb-release 93s + [ ! -d /usr/share/doc/unattended-upgrades ] 93s + [ ! -d /usr/share/doc/lxd ] 93s + [ ! -d /usr/share/doc/lxd-client ] 93s + [ ! -d /usr/share/doc/snapd ] 93s + type iptables 93s + cat 93s + chmod 755 /etc/rc.local 93s + . /etc/rc.local 93s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 93s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 93s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 93s + uname -m 93s + [ x86_64 = ppc64le ] 93s + [ -d /run/systemd/system ] 93s + systemd-detect-virt --quiet --vm 93s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 93s + cat 93s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 93s + echo COMPRESS=lz4 93s autopkgtest [20:44:36]: upgrading testbed (apt dist-upgrade and autopurge) 93s Reading package lists... 94s Building dependency tree... 94s Reading state information... 94s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 94s Starting 2 pkgProblemResolver with broken count: 0 94s Done 94s Entering ResolveByKeep 95s 95s The following packages will be upgraded: 95s libgmp10 95s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 95s Need to get 256 kB of archives. 95s After this operation, 0 B of additional disk space will be used. 95s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main amd64 libgmp10 amd64 2:6.3.0+dfsg-3ubuntu1 [256 kB] 96s Fetched 256 kB in 0s (612 kB/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 ... 108970 files and directories currently installed.) 96s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_amd64.deb ... 96s Unpacking libgmp10:amd64 (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 96s Setting up libgmp10:amd64 (2:6.3.0+dfsg-3ubuntu1) ... 96s Processing triggers for libc-bin (2.40-4ubuntu1) ... 96s Reading package lists... 96s Building dependency tree... 96s Reading state information... 97s Starting pkgProblemResolver with broken count: 0 97s Starting 2 pkgProblemResolver with broken count: 0 97s Done 97s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 97s autopkgtest [20:44:40]: rebooting testbed after setup commands that affected boot 123s autopkgtest [20:45:06]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Tue Feb 4 16:02:16 UTC 2025 125s autopkgtest [20:45:08]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 130s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (dsc) [2570 B] 130s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (tar) [5013 kB] 130s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (diff) [30.2 kB] 130s gpgv: Signature made Wed Nov 20 09:39:47 2024 UTC 130s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 130s gpgv: issuer "jpuydt@debian.org" 130s gpgv: Can't check signature: No public key 130s dpkg-source: warning: cannot verify inline signature for ./coq_8.20.0+dfsg-1.dsc: no acceptable signature found 132s autopkgtest [20:45:14]: testing package coq version 8.20.0+dfsg-1 132s autopkgtest [20:45:15]: build not needed 134s autopkgtest [20:45:17]: test compiler: preparing testbed 135s Reading package lists... 135s Building dependency tree... 135s Reading state information... 135s Starting pkgProblemResolver with broken count: 0 135s Starting 2 pkgProblemResolver with broken count: 0 135s Done 136s The following NEW packages will be installed: 136s coq cpp cpp-14 cpp-14-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-14 136s gcc-14-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libcc1-0 136s libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml 136s libgcc-14-dev libgomp1 libhwasan0 libisl23 libitm1 liblsan0 libmpc3 136s libncurses-dev libquadmath0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 136s libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib 136s ocaml-interp 136s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded. 136s Need to get 282 MB of archives. 136s After this operation, 909 MB of additional disk space will be used. 136s Get:1 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [27.0 MB] 138s Get:2 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml amd64 5.2.0-3 [407 kB] 138s Get:3 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-base amd64 5.2.0-3 [271 kB] 138s Get:4 http://ftpmaster.internal/ubuntu plucky/universe amd64 libfindlib-ocaml amd64 1.9.6-3build1 [185 kB] 138s Get:5 http://ftpmaster.internal/ubuntu plucky/universe amd64 libzarith-ocaml amd64 1.14-1 [119 kB] 138s Get:6 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [26.7 MB] 139s Get:7 http://ftpmaster.internal/ubuntu plucky/universe amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB] 140s Get:8 http://ftpmaster.internal/ubuntu plucky/universe amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.3 MB] 142s Get:9 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-interp amd64 5.2.0-3 [8077 kB] 142s Get:10 http://ftpmaster.internal/ubuntu plucky/main amd64 libncurses-dev amd64 6.5+20250125-2 [425 kB] 142s Get:11 http://ftpmaster.internal/ubuntu plucky/main amd64 libisl23 amd64 0.27-1 [685 kB] 142s Get:12 http://ftpmaster.internal/ubuntu plucky/main amd64 libmpc3 amd64 1.3.1-1build2 [55.3 kB] 142s Get:13 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [11.9 MB] 142s Get:14 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-14 amd64 14.2.0-17ubuntu1 [1032 B] 142s Get:15 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [5586 B] 142s Get:16 http://ftpmaster.internal/ubuntu plucky/main amd64 cpp amd64 4:14.2.0-1ubuntu1 [22.4 kB] 142s Get:17 http://ftpmaster.internal/ubuntu plucky/main amd64 libcc1-0 amd64 15-20250213-1ubuntu1 [47.0 kB] 142s Get:18 http://ftpmaster.internal/ubuntu plucky/main amd64 libgomp1 amd64 15-20250213-1ubuntu1 [148 kB] 142s Get:19 http://ftpmaster.internal/ubuntu plucky/main amd64 libitm1 amd64 15-20250213-1ubuntu1 [28.5 kB] 142s Get:20 http://ftpmaster.internal/ubuntu plucky/main amd64 libasan8 amd64 15-20250213-1ubuntu1 [3059 kB] 142s Get:21 http://ftpmaster.internal/ubuntu plucky/main amd64 liblsan0 amd64 15-20250213-1ubuntu1 [1356 kB] 142s Get:22 http://ftpmaster.internal/ubuntu plucky/main amd64 libtsan2 amd64 15-20250213-1ubuntu1 [2757 kB] 142s Get:23 http://ftpmaster.internal/ubuntu plucky/main amd64 libubsan1 amd64 15-20250213-1ubuntu1 [1206 kB] 142s Get:24 http://ftpmaster.internal/ubuntu plucky/main amd64 libhwasan0 amd64 15-20250213-1ubuntu1 [1678 kB] 142s Get:25 http://ftpmaster.internal/ubuntu plucky/main amd64 libquadmath0 amd64 15-20250213-1ubuntu1 [152 kB] 142s Get:26 http://ftpmaster.internal/ubuntu plucky/main amd64 libgcc-14-dev amd64 14.2.0-17ubuntu1 [2814 kB] 142s Get:27 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14-x86-64-linux-gnu amd64 14.2.0-17ubuntu1 [23.3 MB] 143s Get:28 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-14 amd64 14.2.0-17ubuntu1 [536 kB] 143s Get:29 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc-x86-64-linux-gnu amd64 4:14.2.0-1ubuntu1 [1208 B] 143s Get:30 http://ftpmaster.internal/ubuntu plucky/main amd64 gcc amd64 4:14.2.0-1ubuntu1 [5004 B] 143s Get:31 http://ftpmaster.internal/ubuntu plucky/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [444 kB] 144s Get:32 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml amd64 5.2.0-3 [19.3 MB] 144s Get:33 http://ftpmaster.internal/ubuntu plucky/universe amd64 ocaml-findlib amd64 1.9.6-3build1 [626 kB] 144s Get:34 http://ftpmaster.internal/ubuntu plucky/universe amd64 coq amd64 8.20.0+dfsg-1 [90.0 MB] 149s Fetched 282 MB in 13s (22.2 MB/s) 149s Selecting previously unselected package libcoq-stdlib. 149s (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 ... 108970 files and directories currently installed.) 149s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ... 149s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 151s Selecting previously unselected package libstdlib-ocaml. 151s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_amd64.deb ... 151s Unpacking libstdlib-ocaml (5.2.0-3) ... 151s Selecting previously unselected package ocaml-base. 151s Preparing to unpack .../02-ocaml-base_5.2.0-3_amd64.deb ... 151s Unpacking ocaml-base (5.2.0-3) ... 151s Selecting previously unselected package libfindlib-ocaml. 151s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_amd64.deb ... 151s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 151s Selecting previously unselected package libzarith-ocaml. 151s Preparing to unpack .../04-libzarith-ocaml_1.14-1_amd64.deb ... 151s Unpacking libzarith-ocaml (1.14-1) ... 151s Selecting previously unselected package libcoq-core-ocaml. 151s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ... 151s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... 151s Selecting previously unselected package libstdlib-ocaml-dev. 151s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ... 151s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 152s Selecting previously unselected package libcompiler-libs-ocaml-dev. 152s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ... 152s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 152s Selecting previously unselected package ocaml-interp. 152s Preparing to unpack .../08-ocaml-interp_5.2.0-3_amd64.deb ... 152s Unpacking ocaml-interp (5.2.0-3) ... 152s Selecting previously unselected package libncurses-dev:amd64. 152s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_amd64.deb ... 152s Unpacking libncurses-dev:amd64 (6.5+20250125-2) ... 152s Selecting previously unselected package libisl23:amd64. 152s Preparing to unpack .../10-libisl23_0.27-1_amd64.deb ... 152s Unpacking libisl23:amd64 (0.27-1) ... 152s Selecting previously unselected package libmpc3:amd64. 152s Preparing to unpack .../11-libmpc3_1.3.1-1build2_amd64.deb ... 152s Unpacking libmpc3:amd64 (1.3.1-1build2) ... 152s Selecting previously unselected package cpp-14-x86-64-linux-gnu. 152s Preparing to unpack .../12-cpp-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 152s Unpacking cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package cpp-14. 153s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_amd64.deb ... 153s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package cpp-x86-64-linux-gnu. 153s Preparing to unpack .../14-cpp-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 153s Unpacking cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 153s Selecting previously unselected package cpp. 153s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_amd64.deb ... 153s Unpacking cpp (4:14.2.0-1ubuntu1) ... 153s Selecting previously unselected package libcc1-0:amd64. 153s Preparing to unpack .../16-libcc1-0_15-20250213-1ubuntu1_amd64.deb ... 153s Unpacking libcc1-0:amd64 (15-20250213-1ubuntu1) ... 153s Selecting previously unselected package libgomp1:amd64. 153s Preparing to unpack .../17-libgomp1_15-20250213-1ubuntu1_amd64.deb ... 153s Unpacking libgomp1:amd64 (15-20250213-1ubuntu1) ... 153s Selecting previously unselected package libitm1:amd64. 153s Preparing to unpack .../18-libitm1_15-20250213-1ubuntu1_amd64.deb ... 153s Unpacking libitm1:amd64 (15-20250213-1ubuntu1) ... 153s Selecting previously unselected package libasan8:amd64. 153s Preparing to unpack .../19-libasan8_15-20250213-1ubuntu1_amd64.deb ... 153s Unpacking libasan8:amd64 (15-20250213-1ubuntu1) ... 153s Selecting previously unselected package liblsan0:amd64. 153s Preparing to unpack .../20-liblsan0_15-20250213-1ubuntu1_amd64.deb ... 153s Unpacking liblsan0:amd64 (15-20250213-1ubuntu1) ... 153s Selecting previously unselected package libtsan2:amd64. 153s Preparing to unpack .../21-libtsan2_15-20250213-1ubuntu1_amd64.deb ... 153s Unpacking libtsan2:amd64 (15-20250213-1ubuntu1) ... 153s Selecting previously unselected package libubsan1:amd64. 153s Preparing to unpack .../22-libubsan1_15-20250213-1ubuntu1_amd64.deb ... 153s Unpacking libubsan1:amd64 (15-20250213-1ubuntu1) ... 153s Selecting previously unselected package libhwasan0:amd64. 153s Preparing to unpack .../23-libhwasan0_15-20250213-1ubuntu1_amd64.deb ... 153s Unpacking libhwasan0:amd64 (15-20250213-1ubuntu1) ... 153s Selecting previously unselected package libquadmath0:amd64. 153s Preparing to unpack .../24-libquadmath0_15-20250213-1ubuntu1_amd64.deb ... 153s Unpacking libquadmath0:amd64 (15-20250213-1ubuntu1) ... 153s Selecting previously unselected package libgcc-14-dev:amd64. 153s Preparing to unpack .../25-libgcc-14-dev_14.2.0-17ubuntu1_amd64.deb ... 153s Unpacking libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 153s Selecting previously unselected package gcc-14-x86-64-linux-gnu. 154s Preparing to unpack .../26-gcc-14-x86-64-linux-gnu_14.2.0-17ubuntu1_amd64.deb ... 154s Unpacking gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 154s Selecting previously unselected package gcc-14. 154s Preparing to unpack .../27-gcc-14_14.2.0-17ubuntu1_amd64.deb ... 154s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 154s Selecting previously unselected package gcc-x86-64-linux-gnu. 154s Preparing to unpack .../28-gcc-x86-64-linux-gnu_4%3a14.2.0-1ubuntu1_amd64.deb ... 154s Unpacking gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 154s Selecting previously unselected package gcc. 154s Preparing to unpack .../29-gcc_4%3a14.2.0-1ubuntu1_amd64.deb ... 154s Unpacking gcc (4:14.2.0-1ubuntu1) ... 154s Selecting previously unselected package libzstd-dev:amd64. 154s Preparing to unpack .../30-libzstd-dev_1.5.6+dfsg-2_amd64.deb ... 154s Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ... 154s Selecting previously unselected package ocaml. 154s Preparing to unpack .../31-ocaml_5.2.0-3_amd64.deb ... 154s Unpacking ocaml (5.2.0-3) ... 155s Selecting previously unselected package ocaml-findlib. 155s Preparing to unpack .../32-ocaml-findlib_1.9.6-3build1_amd64.deb ... 155s Unpacking ocaml-findlib (1.9.6-3build1) ... 155s Selecting previously unselected package coq. 155s Preparing to unpack .../33-coq_8.20.0+dfsg-1_amd64.deb ... 155s Unpacking coq (8.20.0+dfsg-1) ... 156s Setting up libncurses-dev:amd64 (6.5+20250125-2) ... 156s Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ... 156s Setting up libgomp1:amd64 (15-20250213-1ubuntu1) ... 156s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 156s Setting up libquadmath0:amd64 (15-20250213-1ubuntu1) ... 156s Setting up libstdlib-ocaml (5.2.0-3) ... 156s Setting up libmpc3:amd64 (1.3.1-1build2) ... 156s Setting up ocaml-base (5.2.0-3) ... 156s Setting up libubsan1:amd64 (15-20250213-1ubuntu1) ... 156s Setting up libhwasan0:amd64 (15-20250213-1ubuntu1) ... 156s Setting up libasan8:amd64 (15-20250213-1ubuntu1) ... 156s Setting up libtsan2:amd64 (15-20250213-1ubuntu1) ... 156s Setting up libisl23:amd64 (0.27-1) ... 156s Setting up libcc1-0:amd64 (15-20250213-1ubuntu1) ... 156s Setting up liblsan0:amd64 (15-20250213-1ubuntu1) ... 156s Setting up libitm1:amd64 (15-20250213-1ubuntu1) ... 156s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 156s Setting up libfindlib-ocaml (1.9.6-3build1) ... 156s Setting up libzarith-ocaml (1.14-1) ... 156s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 156s Setting up ocaml-interp (5.2.0-3) ... 156s Setting up ocaml-findlib (1.9.6-3build1) ... 156s Setting up cpp-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 156s Setting up cpp-14 (14.2.0-17ubuntu1) ... 156s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 156s Setting up libgcc-14-dev:amd64 (14.2.0-17ubuntu1) ... 156s Setting up cpp-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 156s Setting up cpp (4:14.2.0-1ubuntu1) ... 156s Setting up gcc-14-x86-64-linux-gnu (14.2.0-17ubuntu1) ... 156s Setting up gcc-x86-64-linux-gnu (4:14.2.0-1ubuntu1) ... 156s Setting up gcc-14 (14.2.0-17ubuntu1) ... 156s Setting up gcc (4:14.2.0-1ubuntu1) ... 156s Setting up ocaml (5.2.0-3) ... 156s Setting up coq (8.20.0+dfsg-1) ... 156s Processing triggers for man-db (2.13.0-1) ... 157s Processing triggers for libc-bin (2.40-4ubuntu1) ... 158s autopkgtest [20:45:41]: test compiler: [----------------------- 159s autopkgtest [20:45:42]: test compiler: -----------------------] 160s autopkgtest [20:45:43]: test compiler: - - - - - - - - - - results - - - - - - - - - - 160s compiler PASS 160s autopkgtest [20:45:43]: test toplevel: preparing testbed 160s Reading package lists... 161s Building dependency tree... 161s Reading state information... 161s Starting pkgProblemResolver with broken count: 0 161s Starting 2 pkgProblemResolver with broken count: 0 161s Done 161s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 162s autopkgtest [20:45:45]: test toplevel: [----------------------- 163s Welcome to Coq 8.20.0 163s pierce is defined 163s excluded_middle is defined 163s 1 goal 163s 163s ============================ 163s pierce <-> excluded_middle 163s 1 goal 163s 163s ============================ 163s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 163s 2 goals 163s 163s H : forall p q : Prop, ((p -> q) -> p) -> p 163s p : Prop 163s ============================ 163s p \/ ~ p 163s 163s goal 2 is: 163s p 163s 2 goals 163s 163s H : forall p q : Prop, ((p -> q) -> p) -> p 163s p : Prop 163s ============================ 163s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 163s 163s goal 2 is: 163s p 163s 1 goal 163s 163s H : forall p : Prop, p \/ ~ p 163s p, q : Prop 163s H0 : (p -> q) -> p 163s ============================ 163s p 163s 2 goals 163s 163s H : forall p : Prop, p \/ ~ p 163s p, q : Prop 163s H0 : (p -> q) -> p 163s H1 : p 163s ============================ 163s p 163s 163s goal 2 is: 163s p 163s 1 goal 163s 163s H : forall p : Prop, p \/ ~ p 163s p, q : Prop 163s H0 : (p -> q) -> p 163s H1 : ~ p 163s ============================ 163s p 163s No more goals. 163s autopkgtest [20:45:46]: test toplevel: -----------------------] 163s toplevel PASS 163s autopkgtest [20:45:46]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 164s autopkgtest [20:45:47]: @@@@@@@@@@@@@@@@@@@@ summary 164s compiler PASS 164s toplevel PASS 232s nova [W] Skipping flock for amd64 232s Creating nova instance adt-plucky-amd64-coq-20250220-200800-juju-7f2275-prod-proposed-migration-environment-15-0e15232c-f997-4424-8386-d4df4a820816 from image adt/ubuntu-plucky-amd64-server-20250220.img (UUID 8ce549f8-ef4a-4335-bf9d-c468a6d98595)... 232s nova [W] Timed out waiting for 7b3b8993-e408-485b-9e30-4f83a1d80451 to get deleted.