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