1s autopkgtest [22:17:17]: starting date and time: 2025-02-15 22:17:17+0000 1s autopkgtest [22:17:17]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 1s autopkgtest [22:17:17]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.6tvkg0p9/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-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-ppc64el-7.secgroup --name adt-plucky-ppc64el-coq-20250215-221716-juju-7f2275-prod-proposed-migration-environment-15-69b27c6c-898b-4913-998e-a3d9e376590f --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/ 83s autopkgtest [22:18:39]: testbed dpkg architecture: ppc64el 83s autopkgtest [22:18:39]: testbed apt version: 2.9.28 83s autopkgtest [22:18:39]: @@@@@@@@@@@@@@@@@@@@ test bed setup 84s autopkgtest [22:18:40]: testbed release detected to be: None 84s autopkgtest [22:18:40]: updating testbed package index (apt update) 85s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 85s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 85s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 85s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 85s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 85s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [74.3 kB] 85s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 85s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [828 kB] 85s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [165 kB] 85s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 85s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [922 kB] 85s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [4228 B] 86s Fetched 2121 kB in 1s (1895 kB/s) 87s Reading package lists... 87s + lsb_release --codename --short 87s + RELEASE=plucky 87s + cat 87s + [ plucky != trusty ] 87s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 87s Reading package lists... 87s Building dependency tree... 87s Reading state information... 88s Calculating upgrade... 88s The following packages will be upgraded: 88s dash gcc-14-base libatomic1 libgcc-s1 libstdc++6 libtasn1-6 libxdmcp6 88s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 88s Need to get 1171 kB of archives. 88s After this operation, 15.4 kB of additional disk space will be used. 88s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el dash ppc64el 0.5.12-12ubuntu1 [114 kB] 88s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el libatomic1 ppc64el 14.2.0-17ubuntu1 [10.7 kB] 88s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-base ppc64el 14.2.0-17ubuntu1 [53.6 kB] 88s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libstdc++6 ppc64el 14.2.0-17ubuntu1 [886 kB] 88s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-s1 ppc64el 14.2.0-17ubuntu1 [39.2 kB] 88s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtasn1-6 ppc64el 4.20.0-2 [55.9 kB] 88s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el libxdmcp6 ppc64el 1:1.1.5-1 [11.6 kB] 89s Preconfiguring packages ... 89s Fetched 1171 kB in 1s (1768 kB/s) 89s (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 ... 106311 files and directories currently installed.) 89s Preparing to unpack .../dash_0.5.12-12ubuntu1_ppc64el.deb ... 89s Unpacking dash (0.5.12-12ubuntu1) over (0.5.12-9ubuntu1) ... 89s Setting up dash (0.5.12-12ubuntu1) ... 89s (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 ... 106311 files and directories currently installed.) 89s Preparing to unpack .../libatomic1_14.2.0-17ubuntu1_ppc64el.deb ... 89s Unpacking libatomic1:ppc64el (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 89s Preparing to unpack .../gcc-14-base_14.2.0-17ubuntu1_ppc64el.deb ... 89s Unpacking gcc-14-base:ppc64el (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 89s Setting up gcc-14-base:ppc64el (14.2.0-17ubuntu1) ... 89s (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 ... 106311 files and directories currently installed.) 89s Preparing to unpack .../libstdc++6_14.2.0-17ubuntu1_ppc64el.deb ... 90s Unpacking libstdc++6:ppc64el (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 90s Setting up libstdc++6:ppc64el (14.2.0-17ubuntu1) ... 90s (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 ... 106311 files and directories currently installed.) 90s Preparing to unpack .../libgcc-s1_14.2.0-17ubuntu1_ppc64el.deb ... 90s Unpacking libgcc-s1:ppc64el (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 90s Setting up libgcc-s1:ppc64el (14.2.0-17ubuntu1) ... 90s (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 ... 106311 files and directories currently installed.) 90s Preparing to unpack .../libtasn1-6_4.20.0-2_ppc64el.deb ... 90s Unpacking libtasn1-6:ppc64el (4.20.0-2) over (4.19.0-3build1) ... 90s Preparing to unpack .../libxdmcp6_1%3a1.1.5-1_ppc64el.deb ... 90s Unpacking libxdmcp6:ppc64el (1:1.1.5-1) over (1:1.1.3-0ubuntu6) ... 90s Setting up libxdmcp6:ppc64el (1:1.1.5-1) ... 90s Setting up libatomic1:ppc64el (14.2.0-17ubuntu1) ... 90s Setting up libtasn1-6:ppc64el (4.20.0-2) ... 90s Processing triggers for libc-bin (2.40-4ubuntu1) ... 90s Processing triggers for man-db (2.13.0-1) ... 91s Processing triggers for debianutils (5.21) ... 91s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 91s + /usr/lib/apt/apt-helper analyze-pattern ?true 91s + uname -r 91s + sed s/\./\\./g 91s + running_kernel_pattern=^linux-.*6\.12\.0-15-generic.* 91s + apt list ?obsolete 91s + tail -n+2 91s + cut -d/ -f1 91s + grep -v ^linux-.*6\.12\.0-15-generic.* 91s + true 91s + obsolete_pkgs= 91s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove 91s Reading package lists... 91s Building dependency tree... 91s Reading state information... 91s 0 upgraded, 0 newly installed, 0 to remove and 6 not upgraded. 91s + grep -q trusty /etc/lsb-release 91s + [ ! -d /usr/share/doc/unattended-upgrades ] 91s + [ ! -d /usr/share/doc/lxd ] 91s + [ ! -d /usr/share/doc/lxd-client ] 91s + [ ! -d /usr/share/doc/snapd ] 91s + type iptables 91s + cat 91s + chmod 755 /etc/rc.local 91s + . /etc/rc.local 91s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 92s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 92s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 92s + uname -m 92s + [ ppc64le = ppc64le ] 92s + systemctl is-active keyboard-setup.service 92s + [ active = failed ] 92s + [ -d /run/systemd/system ] 92s + systemd-detect-virt --quiet --vm 92s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 92s + cat 92s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 92s + echo COMPRESS=lz4 92s autopkgtest [22:18:48]: upgrading testbed (apt dist-upgrade and autopurge) 92s Reading package lists... 92s Building dependency tree... 92s Reading state information... 92s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 92s Starting 2 pkgProblemResolver with broken count: 0 92s Done 93s Entering ResolveByKeep 93s 93s The following packages will be upgraded: 93s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 93s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 93s Need to get 11.7 MB of archives. 93s After this operation, 358 kB of additional disk space will be used. 93s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc-dev-bin ppc64el 2.41-1ubuntu1 [25.3 kB] 93s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc6-dev ppc64el 2.41-1ubuntu1 [2046 kB] 94s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el locales all 2.41-1ubuntu1 [4246 kB] 94s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc6 ppc64el 2.41-1ubuntu1 [3243 kB] 94s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libc-bin ppc64el 2.41-1ubuntu1 [742 kB] 94s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el iproute2 ppc64el 6.13.0-1ubuntu1 [1419 kB] 94s Preconfiguring packages ... 94s Fetched 11.7 MB in 1s (11.0 MB/s) 94s (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 ... 106311 files and directories currently installed.) 94s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_ppc64el.deb ... 94s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 94s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_ppc64el.deb ... 94s Unpacking libc6-dev:ppc64el (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 95s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 95s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 95s Preparing to unpack .../libc6_2.41-1ubuntu1_ppc64el.deb ... 95s Checking for services that may need to be restarted... 95s Checking init scripts... 95s Checking for services that may need to be restarted... 95s Checking init scripts... 95s Stopping some services possibly affected by the upgrade (will be restarted later): 95s cron: stopping...done. 95s 95s Unpacking libc6:ppc64el (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 95s Setting up libc6:ppc64el (2.41-1ubuntu1) ... 96s Checking for services that may need to be restarted... 96s Checking init scripts... 96s Restarting services possibly affected by the upgrade: 96s cron: restarting...done. 96s 96s Services restarted successfully. 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 ... 106312 files and directories currently installed.) 96s Preparing to unpack .../libc-bin_2.41-1ubuntu1_ppc64el.deb ... 96s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 96s Setting up libc-bin (2.41-1ubuntu1) ... 96s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 106312 files and directories currently installed.) 96s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_ppc64el.deb ... 96s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 96s Setting up iproute2 (6.13.0-1ubuntu1) ... 96s Setting up locales (2.41-1ubuntu1) ... 96s Installing new version of config file /etc/locale.alias ... 97s Generating locales (this might take a while)... 98s en_US.UTF-8... done 98s Generation complete. 98s Setting up libc-dev-bin (2.41-1ubuntu1) ... 98s Setting up libc6-dev:ppc64el (2.41-1ubuntu1) ... 98s Processing triggers for man-db (2.13.0-1) ... 100s Processing triggers for systemd (257.2-3ubuntu1) ... 101s Reading package lists... 101s Building dependency tree... 101s Reading state information... 101s Starting pkgProblemResolver with broken count: 0 101s Starting 2 pkgProblemResolver with broken count: 0 101s Done 102s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 104s autopkgtest [22:19:00]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 16:32:08 UTC 2025 105s autopkgtest [22:19:01]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 109s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (dsc) [2570 B] 109s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (tar) [5013 kB] 109s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (diff) [30.2 kB] 109s gpgv: Signature made Wed Nov 20 09:39:47 2024 UTC 109s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 109s gpgv: issuer "jpuydt@debian.org" 109s gpgv: Can't check signature: No public key 109s dpkg-source: warning: cannot verify inline signature for ./coq_8.20.0+dfsg-1.dsc: no acceptable signature found 109s autopkgtest [22:19:05]: testing package coq version 8.20.0+dfsg-1 110s autopkgtest [22:19:06]: build not needed 112s autopkgtest [22:19:08]: test compiler: preparing testbed 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 The following NEW packages will be installed: 113s coq cpp cpp-14 cpp-14-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu gcc 113s gcc-14 gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu libasan8 113s libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib 113s libfindlib-ocaml libgcc-14-dev libgomp1 libisl23 libitm1 liblsan0 libmpc3 113s libncurses-dev libquadmath0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 113s libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib 113s ocaml-interp 113s 0 upgraded, 33 newly installed, 0 to remove and 0 not upgraded. 113s Need to get 277 MB of archives. 113s After this operation, 917 MB of additional disk space will be used. 113s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-stdlib ppc64el 8.20.0+dfsg-1 [27.0 MB] 115s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.2.0-3 [446 kB] 115s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.2.0-3 [347 kB] 115s Get:4 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libfindlib-ocaml ppc64el 1.9.6-3build1 [187 kB] 115s Get:5 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libzarith-ocaml ppc64el 1.14-1 [129 kB] 115s Get:6 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-core-ocaml ppc64el 8.20.0+dfsg-1 [27.1 MB] 116s Get:7 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.2.0-3 [11.1 MB] 116s Get:8 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.2.0-3 [47.1 MB] 119s Get:9 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.2.0-3 [8077 kB] 120s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 120s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 120s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 120s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [10.5 MB] 120s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu1 [1038 B] 120s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 120s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 120s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 14.2.0-17ubuntu1 [48.1 kB] 120s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 14.2.0-17ubuntu1 [161 kB] 120s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 14.2.0-17ubuntu1 [32.1 kB] 120s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 14.2.0-17ubuntu1 [2945 kB] 120s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 14.2.0-17ubuntu1 [1322 kB] 120s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 14.2.0-17ubuntu1 [2696 kB] 120s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 14.2.0-17ubuntu1 [1191 kB] 120s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 14.2.0-17ubuntu1 [158 kB] 120s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu1 [1620 kB] 120s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu1 [20.6 MB] 121s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu1 [536 kB] 121s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 121s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 121s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 121s Get:31 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.2.0-3 [20.1 MB] 122s Get:32 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-findlib ppc64el 1.9.6-3build1 [686 kB] 122s Get:33 http://ftpmaster.internal/ubuntu plucky/universe ppc64el coq ppc64el 8.20.0+dfsg-1 [91.5 MB] 128s Fetched 277 MB in 16s (17.9 MB/s) 128s Selecting previously unselected package libcoq-stdlib. 128s (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 ... 106313 files and directories currently installed.) 128s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb ... 128s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 129s Selecting previously unselected package libstdlib-ocaml. 129s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_ppc64el.deb ... 129s Unpacking libstdlib-ocaml (5.2.0-3) ... 129s Selecting previously unselected package ocaml-base. 129s Preparing to unpack .../02-ocaml-base_5.2.0-3_ppc64el.deb ... 129s Unpacking ocaml-base (5.2.0-3) ... 129s Selecting previously unselected package libfindlib-ocaml. 129s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_ppc64el.deb ... 129s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 129s Selecting previously unselected package libzarith-ocaml. 129s Preparing to unpack .../04-libzarith-ocaml_1.14-1_ppc64el.deb ... 129s Unpacking libzarith-ocaml (1.14-1) ... 129s Selecting previously unselected package libcoq-core-ocaml. 129s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb ... 129s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... 130s Selecting previously unselected package libstdlib-ocaml-dev. 130s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_ppc64el.deb ... 130s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 130s Selecting previously unselected package libcompiler-libs-ocaml-dev. 130s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_ppc64el.deb ... 130s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 130s Selecting previously unselected package ocaml-interp. 130s Preparing to unpack .../08-ocaml-interp_5.2.0-3_ppc64el.deb ... 130s Unpacking ocaml-interp (5.2.0-3) ... 131s Selecting previously unselected package libncurses-dev:ppc64el. 131s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 131s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 131s Selecting previously unselected package libisl23:ppc64el. 131s Preparing to unpack .../10-libisl23_0.27-1_ppc64el.deb ... 131s Unpacking libisl23:ppc64el (0.27-1) ... 131s Selecting previously unselected package libmpc3:ppc64el. 131s Preparing to unpack .../11-libmpc3_1.3.1-1build2_ppc64el.deb ... 131s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 131s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 131s Preparing to unpack .../12-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package cpp-14. 131s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 131s Preparing to unpack .../14-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 131s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 131s Selecting previously unselected package cpp. 131s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 131s Unpacking cpp (4:14.2.0-1ubuntu1) ... 131s Selecting previously unselected package libcc1-0:ppc64el. 131s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking libcc1-0:ppc64el (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package libgomp1:ppc64el. 131s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking libgomp1:ppc64el (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package libitm1:ppc64el. 131s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking libitm1:ppc64el (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package libasan8:ppc64el. 131s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking libasan8:ppc64el (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package liblsan0:ppc64el. 131s Preparing to unpack .../20-liblsan0_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking liblsan0:ppc64el (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package libtsan2:ppc64el. 131s Preparing to unpack .../21-libtsan2_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking libtsan2:ppc64el (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package libubsan1:ppc64el. 131s Preparing to unpack .../22-libubsan1_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking libubsan1:ppc64el (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package libquadmath0:ppc64el. 131s Preparing to unpack .../23-libquadmath0_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking libquadmath0:ppc64el (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package libgcc-14-dev:ppc64el. 131s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 131s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 131s Preparing to unpack .../25-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu1_ppc64el.deb ... 131s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 132s Selecting previously unselected package gcc-14. 132s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu1_ppc64el.deb ... 132s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 132s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 132s Preparing to unpack .../27-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 132s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 132s Selecting previously unselected package gcc. 132s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 132s Unpacking gcc (4:14.2.0-1ubuntu1) ... 132s Selecting previously unselected package libzstd-dev:ppc64el. 132s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 132s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 132s Selecting previously unselected package ocaml. 132s Preparing to unpack .../30-ocaml_5.2.0-3_ppc64el.deb ... 132s Unpacking ocaml (5.2.0-3) ... 132s Selecting previously unselected package ocaml-findlib. 132s Preparing to unpack .../31-ocaml-findlib_1.9.6-3build1_ppc64el.deb ... 132s Unpacking ocaml-findlib (1.9.6-3build1) ... 132s Selecting previously unselected package coq. 132s Preparing to unpack .../32-coq_8.20.0+dfsg-1_ppc64el.deb ... 132s Unpacking coq (8.20.0+dfsg-1) ... 134s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 134s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 134s Setting up libgomp1:ppc64el (14.2.0-17ubuntu1) ... 134s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 134s Setting up libquadmath0:ppc64el (14.2.0-17ubuntu1) ... 134s Setting up libstdlib-ocaml (5.2.0-3) ... 134s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 134s Setting up ocaml-base (5.2.0-3) ... 134s Setting up libubsan1:ppc64el (14.2.0-17ubuntu1) ... 134s Setting up libasan8:ppc64el (14.2.0-17ubuntu1) ... 134s Setting up libtsan2:ppc64el (14.2.0-17ubuntu1) ... 134s Setting up libisl23:ppc64el (0.27-1) ... 134s Setting up libcc1-0:ppc64el (14.2.0-17ubuntu1) ... 134s Setting up liblsan0:ppc64el (14.2.0-17ubuntu1) ... 134s Setting up libitm1:ppc64el (14.2.0-17ubuntu1) ... 134s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 134s Setting up libfindlib-ocaml (1.9.6-3build1) ... 134s Setting up libzarith-ocaml (1.14-1) ... 134s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 134s Setting up ocaml-interp (5.2.0-3) ... 134s Setting up ocaml-findlib (1.9.6-3build1) ... 134s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 134s Setting up cpp-14 (14.2.0-17ubuntu1) ... 134s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 134s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu1) ... 134s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 134s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu1) ... 134s Setting up gcc-14 (14.2.0-17ubuntu1) ... 134s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 134s Setting up cpp (4:14.2.0-1ubuntu1) ... 134s Setting up gcc (4:14.2.0-1ubuntu1) ... 134s Setting up ocaml (5.2.0-3) ... 134s Setting up coq (8.20.0+dfsg-1) ... 134s Processing triggers for man-db (2.13.0-1) ... 136s Processing triggers for libc-bin (2.41-1ubuntu1) ... 136s autopkgtest [22:19:32]: test compiler: [----------------------- 137s autopkgtest [22:19:33]: test compiler: -----------------------] 137s autopkgtest [22:19:33]: test compiler: - - - - - - - - - - results - - - - - - - - - - 137s compiler PASS 138s autopkgtest [22:19:34]: test toplevel: preparing testbed 138s Reading package lists... 138s Building dependency tree... 138s Reading state information... 138s Starting pkgProblemResolver with broken count: 0 138s Starting 2 pkgProblemResolver with broken count: 0 138s Done 139s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 139s autopkgtest [22:19:35]: test toplevel: [----------------------- 140s Welcome to Coq 8.20.0 140s pierce is defined 140s excluded_middle is defined 140s 1 goal 140s 140s ============================ 140s pierce <-> excluded_middle 140s 1 goal 140s 140s ============================ 140s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 140s 2 goals 140s 140s H : forall p q : Prop, ((p -> q) -> p) -> p 140s p : Prop 140s ============================ 140s p \/ ~ p 140s 140s goal 2 is: 140s p 140s 2 goals 140s 140s H : forall p q : Prop, ((p -> q) -> p) -> p 140s p : Prop 140s ============================ 140s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 140s 140s goal 2 is: 140s p 140s 1 goal 140s 140s H : forall p : Prop, p \/ ~ p 140s p, q : Prop 140s H0 : (p -> q) -> p 140s ============================ 140s p 140s 2 goals 140s 140s H : forall p : Prop, p \/ ~ p 140s p, q : Prop 140s H0 : (p -> q) -> p 140s H1 : p 140s ============================ 140s p 140s 140s goal 2 is: 140s p 140s 1 goal 140s 140s H : forall p : Prop, p \/ ~ p 140s p, q : Prop 140s H0 : (p -> q) -> p 140s H1 : ~ p 140s ============================ 140s p 140s No more goals. 140s autopkgtest [22:19:36]: test toplevel: -----------------------] 141s autopkgtest [22:19:37]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 141s toplevel PASS 141s autopkgtest [22:19:37]: @@@@@@@@@@@@@@@@@@@@ summary 141s compiler PASS 141s toplevel PASS 146s nova [W] Using flock in prodstack6-ppc64el 146s Creating nova instance adt-plucky-ppc64el-coq-20250215-221716-juju-7f2275-prod-proposed-migration-environment-15-69b27c6c-898b-4913-998e-a3d9e376590f from image adt/ubuntu-plucky-ppc64el-server-20250215.img (UUID 6b0563e5-c35c-4c0f-8fb5-aae43570455f)... 146s nova [W] Timed out waiting for 6f5a910d-b0fa-4075-9a82-5cd73683884d to get deleted.