0s autopkgtest [20:11:11]: starting date and time: 2025-02-20 20:11:11+0000 0s autopkgtest [20:11:11]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [20:11:11]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.3szv5mpf/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-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-ppc64el-3.secgroup --name adt-plucky-ppc64el-coq-20250220-201111-juju-7f2275-prod-proposed-migration-environment-15-f132d3bb-3859-422c-87c0-9775a8530dc8 --image adt/ubuntu-plucky-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration-ppc64el -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:12:37]: testbed dpkg architecture: ppc64el 87s autopkgtest [20:12:38]: testbed apt version: 2.9.30 87s autopkgtest [20:12:38]: @@@@@@@@@@@@@@@@@@@@ test bed setup 87s autopkgtest [20:12:38]: testbed release detected to be: None 88s autopkgtest [20:12:39]: 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/main Sources [88.0 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/universe Sources [746 kB] 89s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [126 kB] 90s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 90s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [677 kB] 90s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [4908 B] 90s Fetched 1771 kB in 1s (1692 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... 93s The following packages will be upgraded: 93s cryptsetup-bin fwupd inetutils-telnet kbd libcryptsetup12 libfwupd3 93s libssl3t64 openssl openssl-provider-legacy powerpc-ibm-utils powerpc-utils 93s python3-requests telnet 93s 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 93s Need to get 10.7 MB of archives. 93s After this operation, 68.6 kB disk space will be freed. 93s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el openssl-provider-legacy ppc64el 3.4.1-1ubuntu1 [44.4 kB] 93s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libssl3t64 ppc64el 3.4.1-1ubuntu1 [2504 kB] 94s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el kbd ppc64el 2.7.1-2ubuntu1 [240 kB] 94s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el openssl ppc64el 3.4.1-1ubuntu1 [1204 kB] 94s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el powerpc-ibm-utils ppc64el 1.3.13-1 [263 kB] 94s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el powerpc-utils ppc64el 1.3.13-1 [1632 B] 94s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el inetutils-telnet ppc64el 2:2.5-6ubuntu1 [121 kB] 94s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el telnet all 0.17+2.5-6ubuntu1 [3694 B] 94s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcryptsetup12 ppc64el 2:2.7.5-1ubuntu2 [386 kB] 94s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el cryptsetup-bin ppc64el 2:2.7.5-1ubuntu2 [234 kB] 94s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el fwupd ppc64el 2.0.6-3 [5481 kB] 94s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libfwupd3 ppc64el 2.0.6-3 [137 kB] 94s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el python3-requests all 2.32.3+dfsg-4ubuntu1 [52.9 kB] 94s Fetched 10.7 MB in 1s (11.3 MB/s) 95s (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 ... 106370 files and directories currently installed.) 95s Preparing to unpack .../openssl-provider-legacy_3.4.1-1ubuntu1_ppc64el.deb ... 95s Unpacking openssl-provider-legacy (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 95s Setting up openssl-provider-legacy (3.4.1-1ubuntu1) ... 95s (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 ... 106370 files and directories currently installed.) 95s Preparing to unpack .../libssl3t64_3.4.1-1ubuntu1_ppc64el.deb ... 95s Unpacking libssl3t64:ppc64el (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 95s Setting up libssl3t64:ppc64el (3.4.1-1ubuntu1) ... 95s (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 ... 106369 files and directories currently installed.) 95s Preparing to unpack .../00-kbd_2.7.1-2ubuntu1_ppc64el.deb ... 95s Unpacking kbd (2.7.1-2ubuntu1) over (2.6.4-2ubuntu3) ... 95s Preparing to unpack .../01-openssl_3.4.1-1ubuntu1_ppc64el.deb ... 95s Unpacking openssl (3.4.1-1ubuntu1) over (3.4.0-1ubuntu2) ... 95s Preparing to unpack .../02-powerpc-ibm-utils_1.3.13-1_ppc64el.deb ... 95s Unpacking powerpc-ibm-utils (1.3.13-1) over (1.3.13-0ubuntu1) ... 95s Preparing to unpack .../03-powerpc-utils_1.3.13-1_ppc64el.deb ... 95s Unpacking powerpc-utils (1.3.13-1) over (1.3.13-0ubuntu1) ... 95s Preparing to unpack .../04-inetutils-telnet_2%3a2.5-6ubuntu1_ppc64el.deb ... 95s Unpacking inetutils-telnet (2:2.5-6ubuntu1) over (2:2.5-5ubuntu1) ... 95s Preparing to unpack .../05-telnet_0.17+2.5-6ubuntu1_all.deb ... 95s Unpacking telnet (0.17+2.5-6ubuntu1) over (0.17+2.5-5ubuntu1) ... 95s Preparing to unpack .../06-libcryptsetup12_2%3a2.7.5-1ubuntu2_ppc64el.deb ... 95s Unpacking libcryptsetup12:ppc64el (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 95s Preparing to unpack .../07-cryptsetup-bin_2%3a2.7.5-1ubuntu2_ppc64el.deb ... 95s Unpacking cryptsetup-bin (2:2.7.5-1ubuntu2) over (2:2.7.2-2ubuntu1) ... 95s Preparing to unpack .../08-fwupd_2.0.6-3_ppc64el.deb ... 96s Unpacking fwupd (2.0.6-3) over (2.0.5-1) ... 96s Preparing to unpack .../09-libfwupd3_2.0.6-3_ppc64el.deb ... 96s Unpacking libfwupd3:ppc64el (2.0.6-3) over (2.0.5-1) ... 96s Preparing to unpack .../10-python3-requests_2.32.3+dfsg-4ubuntu1_all.deb ... 96s /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. 96s for fn in glob1(directory, "%s.*" % fname): 96s Unpacking python3-requests (2.32.3+dfsg-4ubuntu1) over (2.32.3+dfsg-1ubuntu1) ... 96s Setting up inetutils-telnet (2:2.5-6ubuntu1) ... 96s Setting up powerpc-ibm-utils (1.3.13-1) ... 96s Setting up libfwupd3:ppc64el (2.0.6-3) ... 96s Setting up powerpc-utils (1.3.13-1) ... 96s Setting up python3-requests (2.32.3+dfsg-4ubuntu1) ... 96s Setting up libcryptsetup12:ppc64el (2:2.7.5-1ubuntu2) ... 96s Setting up kbd (2.7.1-2ubuntu1) ... 96s Setting up openssl (3.4.1-1ubuntu1) ... 96s Setting up fwupd (2.0.6-3) ... 97s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 97s fwupd.service is a disabled or a static unit not running, not starting it. 97s Setting up cryptsetup-bin (2:2.7.5-1ubuntu2) ... 97s Setting up telnet (0.17+2.5-6ubuntu1) ... 97s Processing triggers for libc-bin (2.40-4ubuntu1) ... 97s Processing triggers for man-db (2.13.0-1) ... 98s Processing triggers for dbus (1.16.0-1ubuntu1) ... 98s Processing triggers for initramfs-tools (0.145ubuntu2) ... 98s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 98s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 109s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 109s + /usr/lib/apt/apt-helper analyze-pattern ?true 109s + + sed s/\./\\./g 109s Reading package lists... 109s Building dependency tree...uname -r 109s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 109s + apt list ?obsolete 109s + tail -n+2 109s + cut -d/ -f1 109s + grep -v ^linux-.*6\.12\.0-15-generic.* 109s + true 109s + obsolete_pkgs= 109s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove 109s + grep -q trusty /etc/lsb-release 109s + [ ! -d /usr/share/doc/unattended-upgrades ] 109s + [ ! -d /usr/share/doc/lxd ] 109s + [ ! -d /usr/share/doc/lxd-client ] 109s + [ ! -d /usr/share/doc/snapd ] 109s + type iptables 109s + cat 109s + chmod 755 /etc/rc.local 109s + . /etc/rc.local 109s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 109s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 109s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 109s + uname -m 109s + [ ppc64le = ppc64le ] 109s + systemctl is-active keyboard-setup.service 109s + [ active = failed ] 109s + [ -d /run/systemd/system ] 109s + systemd-detect-virt --quiet --vm 109s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 109s + cat 109s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 109s + echo COMPRESS=lz4 109s autopkgtest [20:13:00]: upgrading testbed (apt dist-upgrade and autopurge) 109s 109s Reading state information... 109s 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded. 109s Reading package lists... 109s Building dependency tree... 109s Reading state information... 109s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 109s Starting 2 pkgProblemResolver with broken count: 0 109s Done 110s Entering ResolveByKeep 110s 110s The following packages will be upgraded: 110s libgmp10 111s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 111s Need to get 283 kB of archives. 111s After this operation, 0 B of additional disk space will be used. 111s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libgmp10 ppc64el 2:6.3.0+dfsg-3ubuntu1 [283 kB] 111s Fetched 283 kB in 0s (631 kB/s) 111s (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 ... 106366 files and directories currently installed.) 111s Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-3ubuntu1_ppc64el.deb ... 111s Unpacking libgmp10:ppc64el (2:6.3.0+dfsg-3ubuntu1) over (2:6.3.0+dfsg-2ubuntu7) ... 111s Setting up libgmp10:ppc64el (2:6.3.0+dfsg-3ubuntu1) ... 111s Processing triggers for libc-bin (2.40-4ubuntu1) ... 112s Reading package lists... 112s Building dependency tree... 112s Reading state information... 112s Starting pkgProblemResolver with broken count: 0 112s Starting 2 pkgProblemResolver with broken count: 0 112s Done 113s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 113s autopkgtest [20:13:04]: rebooting testbed after setup commands that affected boot 147s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 154s autopkgtest [20:13:45]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 16:32:08 UTC 2025 157s autopkgtest [20:13:48]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 167s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (dsc) [2570 B] 167s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (tar) [5013 kB] 167s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (diff) [30.2 kB] 167s gpgv: Signature made Wed Nov 20 09:39:47 2024 UTC 167s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 167s gpgv: issuer "jpuydt@debian.org" 167s gpgv: Can't check signature: No public key 167s dpkg-source: warning: cannot verify inline signature for ./coq_8.20.0+dfsg-1.dsc: no acceptable signature found 167s autopkgtest [20:13:55]: testing package coq version 8.20.0+dfsg-1 167s autopkgtest [20:13:58]: build not needed 170s autopkgtest [20:14:01]: test compiler: preparing testbed 170s Reading package lists... 170s Building dependency tree... 170s Reading state information... 170s Starting pkgProblemResolver with broken count: 0 171s Starting 2 pkgProblemResolver with broken count: 0 171s Done 171s The following NEW packages will be installed: 171s coq cpp cpp-14 cpp-14-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu gcc 171s gcc-14 gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu libasan8 171s libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib 171s libfindlib-ocaml libgcc-14-dev libgomp1 libisl23 libitm1 liblsan0 libmpc3 171s libncurses-dev libquadmath0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 171s libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib 171s ocaml-interp 171s 0 upgraded, 33 newly installed, 0 to remove and 0 not upgraded. 171s Need to get 278 MB of archives. 171s After this operation, 917 MB of additional disk space will be used. 171s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-stdlib ppc64el 8.20.0+dfsg-1 [27.0 MB] 173s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.2.0-3 [446 kB] 173s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.2.0-3 [347 kB] 173s Get:4 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libfindlib-ocaml ppc64el 1.9.6-3build1 [187 kB] 173s Get:5 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libzarith-ocaml ppc64el 1.14-1 [129 kB] 173s Get:6 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-core-ocaml ppc64el 8.20.0+dfsg-1 [27.1 MB] 174s Get:7 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.2.0-3 [11.1 MB] 174s Get:8 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.2.0-3 [47.1 MB] 175s Get:9 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.2.0-3 [8077 kB] 176s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 176s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 176s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 176s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [10.5 MB] 176s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu1 [1038 B] 176s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 176s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 176s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB] 176s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB] 176s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB] 176s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB] 176s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB] 176s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB] 176s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB] 176s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB] 176s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu1 [1620 kB] 176s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [20.6 MB] 177s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu1 [536 kB] 177s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 177s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 177s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 177s Get:31 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.2.0-3 [20.1 MB] 177s Get:32 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-findlib ppc64el 1.9.6-3build1 [686 kB] 177s Get:33 http://ftpmaster.internal/ubuntu plucky/universe ppc64el coq ppc64el 8.20.0+dfsg-1 [91.5 MB] 181s Fetched 278 MB in 9s (30.5 MB/s) 181s Selecting previously unselected package libcoq-stdlib. 181s (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 ... 106366 files and directories currently installed.) 181s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb ... 181s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 182s Selecting previously unselected package libstdlib-ocaml. 182s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_ppc64el.deb ... 182s Unpacking libstdlib-ocaml (5.2.0-3) ... 182s Selecting previously unselected package ocaml-base. 182s Preparing to unpack .../02-ocaml-base_5.2.0-3_ppc64el.deb ... 182s Unpacking ocaml-base (5.2.0-3) ... 182s Selecting previously unselected package libfindlib-ocaml. 182s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_ppc64el.deb ... 182s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 182s Selecting previously unselected package libzarith-ocaml. 182s Preparing to unpack .../04-libzarith-ocaml_1.14-1_ppc64el.deb ... 182s Unpacking libzarith-ocaml (1.14-1) ... 182s Selecting previously unselected package libcoq-core-ocaml. 182s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb ... 182s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... 182s Selecting previously unselected package libstdlib-ocaml-dev. 182s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_ppc64el.deb ... 182s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 183s Selecting previously unselected package libcompiler-libs-ocaml-dev. 183s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_ppc64el.deb ... 183s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 183s Selecting previously unselected package ocaml-interp. 183s Preparing to unpack .../08-ocaml-interp_5.2.0-3_ppc64el.deb ... 183s Unpacking ocaml-interp (5.2.0-3) ... 183s Selecting previously unselected package libncurses-dev:ppc64el. 183s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 183s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 183s Selecting previously unselected package libisl23:ppc64el. 183s Preparing to unpack .../10-libisl23_0.27-1_ppc64el.deb ... 183s Unpacking libisl23:ppc64el (0.27-1) ... 183s Selecting previously unselected package libmpc3:ppc64el. 183s Preparing to unpack .../11-libmpc3_1.3.1-1build2_ppc64el.deb ... 183s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 183s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 183s Preparing to unpack .../12-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 183s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 184s Selecting previously unselected package cpp-14. 184s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_ppc64el.deb ... 184s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 184s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 184s Preparing to unpack .../14-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 184s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 184s Selecting previously unselected package cpp. 184s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 184s Unpacking cpp (4:14.2.0-1ubuntu1) ... 184s Selecting previously unselected package libcc1-0:ppc64el. 184s Preparing to unpack .../16-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ... 184s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 184s Selecting previously unselected package libgomp1:ppc64el. 184s Preparing to unpack .../17-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ... 184s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ... 184s Selecting previously unselected package libitm1:ppc64el. 184s Preparing to unpack .../18-libitm1_15-20250213-1ubuntu1_ppc64el.deb ... 184s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ... 184s Selecting previously unselected package libasan8:ppc64el. 184s Preparing to unpack .../19-libasan8_15-20250213-1ubuntu1_ppc64el.deb ... 184s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ... 184s Selecting previously unselected package liblsan0:ppc64el. 184s Preparing to unpack .../20-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ... 184s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ... 184s Selecting previously unselected package libtsan2:ppc64el. 184s Preparing to unpack .../21-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ... 184s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ... 184s Selecting previously unselected package libubsan1:ppc64el. 184s Preparing to unpack .../22-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ... 184s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ... 184s Selecting previously unselected package libquadmath0:ppc64el. 184s Preparing to unpack .../23-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ... 184s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 184s Selecting previously unselected package libgcc-14-dev:ppc64el. 184s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu1_ppc64el.deb ... 184s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 184s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 184s Preparing to unpack .../25-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 184s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 184s Selecting previously unselected package gcc-14. 184s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu1_ppc64el.deb ... 184s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 184s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 184s Preparing to unpack .../27-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 184s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 184s Selecting previously unselected package gcc. 184s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 184s Unpacking gcc (4:14.2.0-1ubuntu1) ... 184s Selecting previously unselected package libzstd-dev:ppc64el. 184s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 184s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 184s Selecting previously unselected package ocaml. 184s Preparing to unpack .../30-ocaml_5.2.0-3_ppc64el.deb ... 184s Unpacking ocaml (5.2.0-3) ... 185s Selecting previously unselected package ocaml-findlib. 185s Preparing to unpack .../31-ocaml-findlib_1.9.6-3build1_ppc64el.deb ... 185s Unpacking ocaml-findlib (1.9.6-3build1) ... 185s Selecting previously unselected package coq. 185s Preparing to unpack .../32-coq_8.20.0+dfsg-1_ppc64el.deb ... 185s Unpacking coq (8.20.0+dfsg-1) ... 186s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 186s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 186s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ... 186s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 186s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 186s Setting up libstdlib-ocaml (5.2.0-3) ... 186s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 186s Setting up ocaml-base (5.2.0-3) ... 186s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ... 186s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ... 186s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ... 186s Setting up libisl23:ppc64el (0.27-1) ... 186s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 186s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ... 186s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ... 186s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 186s Setting up libfindlib-ocaml (1.9.6-3build1) ... 186s Setting up libzarith-ocaml (1.14-1) ... 186s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 186s Setting up ocaml-interp (5.2.0-3) ... 186s Setting up ocaml-findlib (1.9.6-3build1) ... 186s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 186s Setting up cpp-14 (14.2.0-17ubuntu1) ... 186s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 186s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 186s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 186s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 186s Setting up gcc-14 (14.2.0-17ubuntu1) ... 186s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 186s Setting up cpp (4:14.2.0-1ubuntu1) ... 186s Setting up gcc (4:14.2.0-1ubuntu1) ... 186s Setting up ocaml (5.2.0-3) ... 186s Setting up coq (8.20.0+dfsg-1) ... 186s Processing triggers for man-db (2.13.0-1) ... 188s Processing triggers for libc-bin (2.40-4ubuntu1) ... 189s autopkgtest [20:14:20]: test compiler: [----------------------- 190s autopkgtest [20:14:21]: test compiler: -----------------------] 190s compiler PASS 190s autopkgtest [20:14:21]: test compiler: - - - - - - - - - - results - - - - - - - - - - 191s autopkgtest [20:14:22]: test toplevel: preparing testbed 191s Reading package lists... 191s Building dependency tree... 191s Reading state information... 192s Starting pkgProblemResolver with broken count: 0 192s Starting 2 pkgProblemResolver with broken count: 0 192s Done 192s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 193s autopkgtest [20:14:24]: test toplevel: [----------------------- 193s Welcome to Coq 8.20.0 194s pierce is defined 194s excluded_middle is defined 194s 1 goal 194s 194s ============================ 194s pierce <-> excluded_middle 194s 1 goal 194s 194s ============================ 194s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 194s 2 goals 194s 194s H : forall p q : Prop, ((p -> q) -> p) -> p 194s p : Prop 194s ============================ 194s p \/ ~ p 194s 194s goal 2 is: 194s p 194s 2 goals 194s 194s H : forall p q : Prop, ((p -> q) -> p) -> p 194s p : Prop 194s ============================ 194s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 194s 194s goal 2 is: 194s p 194s 1 goal 194s 194s H : forall p : Prop, p \/ ~ p 194s p, q : Prop 194s H0 : (p -> q) -> p 194s ============================ 194s p 194s 2 goals 194s 194s H : forall p : Prop, p \/ ~ p 194s p, q : Prop 194s H0 : (p -> q) -> p 194s H1 : p 194s ============================ 194s p 194s 194s goal 2 is: 194s p 194s 1 goal 194s 194s H : forall p : Prop, p \/ ~ p 194s p, q : Prop 194s H0 : (p -> q) -> p 194s H1 : ~ p 194s ============================ 194s p 194s No more goals. 194s autopkgtest [20:14:25]: test toplevel: -----------------------] 195s toplevel PASS 195s autopkgtest [20:14:26]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 195s autopkgtest [20:14:26]: @@@@@@@@@@@@@@@@@@@@ summary 195s compiler PASS 195s toplevel PASS 201s nova [W] Using flock in prodstack6-ppc64el 201s Creating nova instance adt-plucky-ppc64el-coq-20250220-201111-juju-7f2275-prod-proposed-migration-environment-15-f132d3bb-3859-422c-87c0-9775a8530dc8 from image adt/ubuntu-plucky-ppc64el-server-20250220.img (UUID 8cc835a1-8e62-4357-a4cf-395725ecab4d)... 201s nova [W] Timed out waiting for 00cbb31f-7eea-4ab3-bddc-218bd0eddb92 to get deleted.