0s autopkgtest [04:53:10]: starting date and time: 2025-02-22 04:53:10+0000 0s autopkgtest [04:53:10]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [04:53:10]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.qo6kll5e/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glib2.0 --apt-upgrade coq --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glib2.0/2.83.4-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-ppc64el-3.secgroup --name adt-plucky-ppc64el-coq-20250222-045310-juju-7f2275-prod-proposed-migration-environment-20-e478c003-e3e1-4290-af8c-653b04be9e42 --image adt/ubuntu-plucky-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --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/ 91s autopkgtest [04:54:41]: testbed dpkg architecture: ppc64el 91s autopkgtest [04:54:41]: testbed apt version: 2.9.30ubuntu1 91s autopkgtest [04:54:41]: @@@@@@@@@@@@@@@@@@@@ test bed setup 92s autopkgtest [04:54:42]: testbed release detected to be: None 92s autopkgtest [04:54:42]: updating testbed package index (apt update) 93s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 93s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 93s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 93s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 93s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [508 kB] 93s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 93s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.5 kB] 93s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [80.1 kB] 93s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el Packages [125 kB] 93s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted ppc64el Packages [760 B] 93s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe ppc64el Packages [434 kB] 93s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse ppc64el Packages [3292 B] 94s Fetched 1279 kB in 1s (1347 kB/s) 94s Reading package lists... 95s Reading package lists... 95s Building dependency tree... 95s Reading state information... 96s Calculating upgrade... 96s Calculating upgrade... 96s The following packages will be upgraded: 96s apparmor apport apport-core-dump-handler base-files cloud-init 96s cloud-init-base gcc-14-base libapparmor1 libclang-cpp18 libclang1-19 96s libgnutls30t64 libllvm18 libllvm19 liblsof0 libnss3 libperl5.40 lsof 96s motd-news-config perl perl-base perl-modules-5.40 python3-apport 96s python3-problem-report ucf vim-common vim-tiny xxd 96s 27 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 96s Need to get 99.0 MB of archives. 96s After this operation, 56.3 kB disk space will be freed. 96s Get:1 http://ftpmaster.internal/ubuntu plucky/main ppc64el motd-news-config all 13.6ubuntu1 [5168 B] 96s Get:2 http://ftpmaster.internal/ubuntu plucky/main ppc64el base-files ppc64el 13.6ubuntu1 [75.6 kB] 96s Get:3 http://ftpmaster.internal/ubuntu plucky/main ppc64el perl-modules-5.40 all 5.40.1-2 [3217 kB] 97s Get:4 http://ftpmaster.internal/ubuntu plucky/main ppc64el libperl5.40 ppc64el 5.40.1-2 [4948 kB] 97s Get:5 http://ftpmaster.internal/ubuntu plucky/main ppc64el perl ppc64el 5.40.1-2 [262 kB] 97s Get:6 http://ftpmaster.internal/ubuntu plucky/main ppc64el perl-base ppc64el 5.40.1-2 [1923 kB] 97s Get:7 http://ftpmaster.internal/ubuntu plucky/main ppc64el python3-problem-report all 2.31.0+git20250220-0ubuntu1 [26.0 kB] 97s Get:8 http://ftpmaster.internal/ubuntu plucky/main ppc64el python3-apport all 2.31.0+git20250220-0ubuntu1 [93.5 kB] 97s Get:9 http://ftpmaster.internal/ubuntu plucky/main ppc64el apport-core-dump-handler all 2.31.0+git20250220-0ubuntu1 [18.7 kB] 97s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el apport all 2.31.0+git20250220-0ubuntu1 [83.1 kB] 97s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-base ppc64el 14.2.0-17ubuntu3 [53.6 kB] 97s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libapparmor1 ppc64el 4.1.0~beta5-0ubuntu5 [58.8 kB] 97s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgnutls30t64 ppc64el 3.8.9-2ubuntu2 [1079 kB] 97s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el ucf all 3.0050 [43.5 kB] 97s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el vim-tiny ppc64el 2:9.1.0967-1ubuntu2 [1079 kB] 97s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el vim-common all 2:9.1.0967-1ubuntu2 [396 kB] 97s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el xxd ppc64el 2:9.1.0967-1ubuntu2 [68.4 kB] 97s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el apparmor ppc64el 4.1.0~beta5-0ubuntu5 [806 kB] 97s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el lsof ppc64el 4.99.4+dfsg-2 [256 kB] 97s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsof0 ppc64el 4.99.4+dfsg-2 [68.5 kB] 97s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el cloud-init-base all 25.1-0ubuntu1 [616 kB] 97s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el libclang-cpp18 ppc64el 1:18.1.8-16build1 [14.4 MB] 97s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el libllvm18 ppc64el 1:18.1.8-16build1 [28.6 MB] 98s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el libllvm19 ppc64el 1:19.1.7-1ubuntu2 [29.8 MB] 99s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el libclang1-19 ppc64el 1:19.1.7-1ubuntu2 [9141 kB] 99s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el libnss3 ppc64el 2:3.108-1ubuntu1 [1869 kB] 99s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el cloud-init all 25.1-0ubuntu1 [2088 B] 100s Preconfiguring packages ... 100s Fetched 99.0 MB in 3s (30.8 MB/s) 100s (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.) 100s Preparing to unpack .../motd-news-config_13.6ubuntu1_all.deb ... 100s Unpacking motd-news-config (13.6ubuntu1) over (13.5ubuntu3) ... 100s Preparing to unpack .../base-files_13.6ubuntu1_ppc64el.deb ... 100s Unpacking base-files (13.6ubuntu1) over (13.5ubuntu3) ... 100s Setting up base-files (13.6ubuntu1) ... 100s Updating /root/.profile to current default. 101s motd-news.service is a disabled or a static unit not running, not starting it. 101s (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.) 101s Preparing to unpack .../perl_5.40.1-2_ppc64el.deb ... 101s Unpacking perl (5.40.1-2) over (5.40.0-8) ... 102s Preparing to unpack .../perl-modules-5.40_5.40.1-2_all.deb ... 102s Unpacking perl-modules-5.40 (5.40.1-2) over (5.40.0-8) ... 102s Preparing to unpack .../libperl5.40_5.40.1-2_ppc64el.deb ... 102s Unpacking libperl5.40:ppc64el (5.40.1-2) over (5.40.0-8) ... 102s Preparing to unpack .../perl-base_5.40.1-2_ppc64el.deb ... 102s Unpacking perl-base (5.40.1-2) over (5.40.0-8) ... 102s Setting up perl-base (5.40.1-2) ... 103s (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.) 103s Preparing to unpack .../00-python3-problem-report_2.31.0+git20250220-0ubuntu1_all.deb ... 103s /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. 103s for fn in glob1(directory, "%s.*" % fname): 103s Unpacking python3-problem-report (2.31.0+git20250220-0ubuntu1) over (2.31.0-0ubuntu5) ... 103s Preparing to unpack .../01-python3-apport_2.31.0+git20250220-0ubuntu1_all.deb ... 103s /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. 103s for fn in glob1(directory, "%s.*" % fname): 103s Unpacking python3-apport (2.31.0+git20250220-0ubuntu1) over (2.31.0-0ubuntu5) ... 103s Preparing to unpack .../02-apport-core-dump-handler_2.31.0+git20250220-0ubuntu1_all.deb ... 103s Unpacking apport-core-dump-handler (2.31.0+git20250220-0ubuntu1) over (2.31.0-0ubuntu5) ... 103s Preparing to unpack .../03-apport_2.31.0+git20250220-0ubuntu1_all.deb ... 103s Unpacking apport (2.31.0+git20250220-0ubuntu1) over (2.31.0-0ubuntu5) ... 103s Preparing to unpack .../04-gcc-14-base_14.2.0-17ubuntu3_ppc64el.deb ... 103s Unpacking gcc-14-base:ppc64el (14.2.0-17ubuntu3) over (14.2.0-17ubuntu1) ... 103s Preparing to unpack .../05-libapparmor1_4.1.0~beta5-0ubuntu5_ppc64el.deb ... 103s Unpacking libapparmor1:ppc64el (4.1.0~beta5-0ubuntu5) over (4.1.0~beta5-0ubuntu4) ... 103s Preparing to unpack .../06-libgnutls30t64_3.8.9-2ubuntu2_ppc64el.deb ... 103s Unpacking libgnutls30t64:ppc64el (3.8.9-2ubuntu2) over (3.8.9-2ubuntu1) ... 103s Preparing to unpack .../07-ucf_3.0050_all.deb ... 103s Unpacking ucf (3.0050) over (3.0049) ... 103s Preparing to unpack .../08-vim-tiny_2%3a9.1.0967-1ubuntu2_ppc64el.deb ... 103s Unpacking vim-tiny (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 103s Preparing to unpack .../09-vim-common_2%3a9.1.0967-1ubuntu2_all.deb ... 103s Unpacking vim-common (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 103s Preparing to unpack .../10-xxd_2%3a9.1.0967-1ubuntu2_ppc64el.deb ... 103s Unpacking xxd (2:9.1.0967-1ubuntu2) over (2:9.1.0861-1ubuntu1) ... 103s Preparing to unpack .../11-apparmor_4.1.0~beta5-0ubuntu5_ppc64el.deb ... 104s Unpacking apparmor (4.1.0~beta5-0ubuntu5) over (4.1.0~beta5-0ubuntu4) ... 104s Preparing to unpack .../12-lsof_4.99.4+dfsg-2_ppc64el.deb ... 104s Unpacking lsof (4.99.4+dfsg-2) over (4.99.4+dfsg-1) ... 104s Preparing to unpack .../13-liblsof0_4.99.4+dfsg-2_ppc64el.deb ... 104s Unpacking liblsof0 (4.99.4+dfsg-2) over (4.99.4+dfsg-1) ... 105s Preparing to unpack .../14-cloud-init-base_25.1-0ubuntu1_all.deb ... 105s /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. 105s for fn in glob1(directory, "%s.*" % fname): 105s Unpacking cloud-init-base (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 105s Preparing to unpack .../15-libclang-cpp18_1%3a18.1.8-16build1_ppc64el.deb ... 105s Unpacking libclang-cpp18 (1:18.1.8-16build1) over (1:18.1.8-15) ... 105s Preparing to unpack .../16-libllvm18_1%3a18.1.8-16build1_ppc64el.deb ... 105s Unpacking libllvm18:ppc64el (1:18.1.8-16build1) over (1:18.1.8-15) ... 106s Preparing to unpack .../17-libllvm19_1%3a19.1.7-1ubuntu2_ppc64el.deb ... 106s Unpacking libllvm19:ppc64el (1:19.1.7-1ubuntu2) over (1:19.1.7-1ubuntu1) ... 107s Preparing to unpack .../18-libclang1-19_1%3a19.1.7-1ubuntu2_ppc64el.deb ... 107s Unpacking libclang1-19 (1:19.1.7-1ubuntu2) over (1:19.1.7-1ubuntu1) ... 107s Preparing to unpack .../19-libnss3_2%3a3.108-1ubuntu1_ppc64el.deb ... 107s Unpacking libnss3:ppc64el (2:3.108-1ubuntu1) over (2:3.107-1ubuntu1) ... 108s Preparing to unpack .../20-cloud-init_25.1-0ubuntu1_all.deb ... 108s Unpacking cloud-init (25.1-0ubuntu1) over (25.1~3geb1965a4-0ubuntu1) ... 108s Setting up libgnutls30t64:ppc64el (3.8.9-2ubuntu2) ... 108s Setting up motd-news-config (13.6ubuntu1) ... 108s Setting up libllvm19:ppc64el (1:19.1.7-1ubuntu2) ... 108s Setting up libapparmor1:ppc64el (4.1.0~beta5-0ubuntu5) ... 108s Setting up libclang1-19 (1:19.1.7-1ubuntu2) ... 108s Setting up gcc-14-base:ppc64el (14.2.0-17ubuntu3) ... 108s Setting up python3-problem-report (2.31.0+git20250220-0ubuntu1) ... 108s Setting up liblsof0 (4.99.4+dfsg-2) ... 108s Setting up libnss3:ppc64el (2:3.108-1ubuntu1) ... 108s Setting up cloud-init-base (25.1-0ubuntu1) ... 110s Setting up xxd (2:9.1.0967-1ubuntu2) ... 110s Setting up python3-apport (2.31.0+git20250220-0ubuntu1) ... 110s Setting up apparmor (4.1.0~beta5-0ubuntu5) ... 110s Installing new version of config file /etc/apparmor.d/fusermount3 ... 111s Reloading AppArmor profiles 113s Setting up vim-common (2:9.1.0967-1ubuntu2) ... 113s Setting up ucf (3.0050) ... 113s Setting up lsof (4.99.4+dfsg-2) ... 113s Setting up perl-modules-5.40 (5.40.1-2) ... 113s Setting up libllvm18:ppc64el (1:18.1.8-16build1) ... 113s Setting up cloud-init (25.1-0ubuntu1) ... 113s Setting up vim-tiny (2:9.1.0967-1ubuntu2) ... 113s Setting up libperl5.40:ppc64el (5.40.1-2) ... 113s Setting up perl (5.40.1-2) ... 113s Setting up libclang-cpp18 (1:18.1.8-16build1) ... 113s Setting up apport-core-dump-handler (2.31.0+git20250220-0ubuntu1) ... 114s Setting up apport (2.31.0+git20250220-0ubuntu1) ... 116s apport-autoreport.service is a disabled or a static unit not running, not starting it. 116s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-2ubuntu5) ... 116s Processing triggers for install-info (7.1.1-1) ... 116s Processing triggers for libc-bin (2.40-4ubuntu1) ... 116s Processing triggers for rsyslog (8.2412.0-2ubuntu1) ... 116s Processing triggers for systemd (257.2-3ubuntu1) ... 116s Processing triggers for man-db (2.13.0-1) ... 118s Processing triggers for initramfs-tools (0.145ubuntu2) ... 118s update-initramfs: Generating /boot/initrd.img-6.12.0-15-generic 118s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 128s Reading package lists... 128s Building dependency tree... 128s Reading state information... 129s Solving dependencies... 129s 0 upgraded, 0 newly installed, 0 to remove and 3 not upgraded. 129s autopkgtest [04:55:19]: upgrading testbed (apt dist-upgrade and autopurge) 129s Reading package lists... 129s Building dependency tree... 129s Reading state information... 130s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 130s Starting 2 pkgProblemResolver with broken count: 0 130s Done 130s Entering ResolveByKeep 131s 131s Calculating upgrade... 131s The following packages will be upgraded: 131s gir1.2-glib-2.0 libglib2.0-0t64 libglib2.0-data 131s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 131s Need to get 2038 kB of archives. 131s After this operation, 2048 B of additional disk space will be used. 131s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el gir1.2-glib-2.0 ppc64el 2.83.4-1 [184 kB] 132s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libglib2.0-0t64 ppc64el 2.83.4-1 [1801 kB] 132s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main ppc64el libglib2.0-data all 2.83.4-1 [52.9 kB] 132s Fetched 2038 kB in 1s (3012 kB/s) 132s (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 ... 106371 files and directories currently installed.) 132s Preparing to unpack .../gir1.2-glib-2.0_2.83.4-1_ppc64el.deb ... 132s Unpacking gir1.2-glib-2.0:ppc64el (2.83.4-1) over (2.83.3-2) ... 132s Preparing to unpack .../libglib2.0-0t64_2.83.4-1_ppc64el.deb ... 132s Unpacking libglib2.0-0t64:ppc64el (2.83.4-1) over (2.83.3-2) ... 132s Preparing to unpack .../libglib2.0-data_2.83.4-1_all.deb ... 132s Unpacking libglib2.0-data (2.83.4-1) over (2.83.3-2) ... 132s Setting up libglib2.0-0t64:ppc64el (2.83.4-1) ... 132s No schema files found: doing nothing. 132s Setting up libglib2.0-data (2.83.4-1) ... 132s Setting up gir1.2-glib-2.0:ppc64el (2.83.4-1) ... 132s Processing triggers for libc-bin (2.40-4ubuntu1) ... 133s Reading package lists... 133s Building dependency tree... 133s Reading state information... 133s Starting pkgProblemResolver with broken count: 0 133s Starting 2 pkgProblemResolver with broken count: 0 133s Done 134s Solving dependencies... 134s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 134s autopkgtest [04:55:24]: rebooting testbed after setup commands that affected boot 168s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 175s autopkgtest [04:56:05]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 16:32:08 UTC 2025 178s autopkgtest [04:56:08]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 182s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.1+dfsg-1 (dsc) [2582 B] 182s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.1+dfsg-1 (tar) [5015 kB] 182s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.1+dfsg-1 (diff) [30.2 kB] 183s gpgv: Signature made Sat Feb 15 14:51:03 2025 UTC 183s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 183s gpgv: issuer "julien.puydt@laposte.net" 183s gpgv: Can't check signature: No public key 183s dpkg-source: warning: cannot verify inline signature for ./coq_8.20.1+dfsg-1.dsc: no acceptable signature found 184s autopkgtest [04:56:13]: testing package coq version 8.20.1+dfsg-1 184s autopkgtest [04:56:14]: build not needed 186s autopkgtest [04:56:16]: test compiler: preparing testbed 186s Reading package lists... 187s Building dependency tree... 187s Reading state information... 187s Starting pkgProblemResolver with broken count: 0 187s Starting 2 pkgProblemResolver with broken count: 0 187s Done 187s The following NEW packages will be installed: 187s coq cpp cpp-14 cpp-14-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu gcc 187s gcc-14 gcc-14-powerpc64le-linux-gnu gcc-powerpc64le-linux-gnu libasan8 187s libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib 187s libfindlib-ocaml libgcc-14-dev libgomp1 libisl23 libitm1 liblsan0 libmpc3 187s libncurses-dev libquadmath0 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 187s libubsan1 libzarith-ocaml libzstd-dev ocaml ocaml-base ocaml-findlib 187s ocaml-interp 188s 0 upgraded, 33 newly installed, 0 to remove and 0 not upgraded. 188s Need to get 268 MB of archives. 188s After this operation, 899 MB of additional disk space will be used. 188s Get:1 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-stdlib ppc64el 8.20.1+dfsg-1 [27.0 MB] 189s Get:2 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml ppc64el 5.3.0-2 [464 kB] 189s Get:3 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-base ppc64el 5.3.0-2 [383 kB] 189s Get:4 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libfindlib-ocaml ppc64el 1.9.8-1 [224 kB] 189s Get:5 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libzarith-ocaml ppc64el 1.14-1build1 [130 kB] 189s Get:6 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcoq-core-ocaml ppc64el 8.20.1+dfsg-1 [27.1 MB] 190s Get:7 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libstdlib-ocaml-dev ppc64el 5.3.0-2 [8008 kB] 190s Get:8 http://ftpmaster.internal/ubuntu plucky/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 5.3.0-2 [48.2 MB] 192s Get:9 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-interp ppc64el 5.3.0-2 [8368 kB] 193s Get:10 http://ftpmaster.internal/ubuntu plucky/main ppc64el libncurses-dev ppc64el 6.5+20250125-2 [484 kB] 193s Get:11 http://ftpmaster.internal/ubuntu plucky/main ppc64el libisl23 ppc64el 0.27-1 [882 kB] 193s Get:12 http://ftpmaster.internal/ubuntu plucky/main ppc64el libmpc3 ppc64el 1.3.1-1build2 [62.1 kB] 193s Get:13 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu3 [10.5 MB] 193s Get:14 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-14 ppc64el 14.2.0-17ubuntu3 [1036 B] 193s Get:15 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [5566 B] 193s Get:16 http://ftpmaster.internal/ubuntu plucky/main ppc64el cpp ppc64el 4:14.2.0-1ubuntu1 [22.4 kB] 193s Get:17 http://ftpmaster.internal/ubuntu plucky/main ppc64el libcc1-0 ppc64el 15-20250213-1ubuntu1 [48.7 kB] 193s Get:18 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgomp1 ppc64el 15-20250213-1ubuntu1 [168 kB] 193s Get:19 http://ftpmaster.internal/ubuntu plucky/main ppc64el libitm1 ppc64el 15-20250213-1ubuntu1 [32.4 kB] 193s Get:20 http://ftpmaster.internal/ubuntu plucky/main ppc64el libasan8 ppc64el 15-20250213-1ubuntu1 [3009 kB] 193s Get:21 http://ftpmaster.internal/ubuntu plucky/main ppc64el liblsan0 ppc64el 15-20250213-1ubuntu1 [1377 kB] 193s Get:22 http://ftpmaster.internal/ubuntu plucky/main ppc64el libtsan2 ppc64el 15-20250213-1ubuntu1 [2734 kB] 193s Get:23 http://ftpmaster.internal/ubuntu plucky/main ppc64el libubsan1 ppc64el 15-20250213-1ubuntu1 [1234 kB] 193s Get:24 http://ftpmaster.internal/ubuntu plucky/main ppc64el libquadmath0 ppc64el 15-20250213-1ubuntu1 [160 kB] 193s Get:25 http://ftpmaster.internal/ubuntu plucky/main ppc64el libgcc-14-dev ppc64el 14.2.0-17ubuntu3 [1619 kB] 193s Get:26 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14-powerpc64le-linux-gnu ppc64el 14.2.0-17ubuntu3 [20.6 MB] 194s Get:27 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-14 ppc64el 14.2.0-17ubuntu3 [536 kB] 194s Get:28 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:14.2.0-1ubuntu1 [1226 B] 194s Get:29 http://ftpmaster.internal/ubuntu plucky/main ppc64el gcc ppc64el 4:14.2.0-1ubuntu1 [5012 B] 194s Get:30 http://ftpmaster.internal/ubuntu plucky/main ppc64el libzstd-dev ppc64el 1.5.6+dfsg-2 [508 kB] 194s Get:31 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml ppc64el 5.3.0-2 [20.8 MB] 194s Get:32 http://ftpmaster.internal/ubuntu plucky/universe ppc64el ocaml-findlib ppc64el 1.9.8-1 [709 kB] 194s Get:33 http://ftpmaster.internal/ubuntu plucky/universe ppc64el coq ppc64el 8.20.1+dfsg-1 [83.1 MB] 198s Fetched 268 MB in 10s (26.1 MB/s) 198s Selecting previously unselected package libcoq-stdlib. 198s (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 ... 106371 files and directories currently installed.) 198s Preparing to unpack .../00-libcoq-stdlib_8.20.1+dfsg-1_ppc64el.deb ... 198s Unpacking libcoq-stdlib (8.20.1+dfsg-1) ... 200s Selecting previously unselected package libstdlib-ocaml. 200s Preparing to unpack .../01-libstdlib-ocaml_5.3.0-2_ppc64el.deb ... 200s Unpacking libstdlib-ocaml (5.3.0-2) ... 200s Selecting previously unselected package ocaml-base. 200s Preparing to unpack .../02-ocaml-base_5.3.0-2_ppc64el.deb ... 200s Unpacking ocaml-base (5.3.0-2) ... 200s Selecting previously unselected package libfindlib-ocaml. 200s Preparing to unpack .../03-libfindlib-ocaml_1.9.8-1_ppc64el.deb ... 200s Unpacking libfindlib-ocaml (1.9.8-1) ... 200s Selecting previously unselected package libzarith-ocaml. 200s Preparing to unpack .../04-libzarith-ocaml_1.14-1build1_ppc64el.deb ... 200s Unpacking libzarith-ocaml (1.14-1build1) ... 200s Selecting previously unselected package libcoq-core-ocaml. 200s Preparing to unpack .../05-libcoq-core-ocaml_8.20.1+dfsg-1_ppc64el.deb ... 200s Unpacking libcoq-core-ocaml (8.20.1+dfsg-1) ... 200s Selecting previously unselected package libstdlib-ocaml-dev. 200s Preparing to unpack .../06-libstdlib-ocaml-dev_5.3.0-2_ppc64el.deb ... 200s Unpacking libstdlib-ocaml-dev (5.3.0-2) ... 200s Selecting previously unselected package libcompiler-libs-ocaml-dev. 200s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.3.0-2_ppc64el.deb ... 200s Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ... 201s Selecting previously unselected package ocaml-interp. 201s Preparing to unpack .../08-ocaml-interp_5.3.0-2_ppc64el.deb ... 201s Unpacking ocaml-interp (5.3.0-2) ... 201s Selecting previously unselected package libncurses-dev:ppc64el. 201s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_ppc64el.deb ... 201s Unpacking libncurses-dev:ppc64el (6.5+20250125-2) ... 201s Selecting previously unselected package libisl23:ppc64el. 201s Preparing to unpack .../10-libisl23_0.27-1_ppc64el.deb ... 201s Unpacking libisl23:ppc64el (0.27-1) ... 201s Selecting previously unselected package libmpc3:ppc64el. 201s Preparing to unpack .../11-libmpc3_1.3.1-1build2_ppc64el.deb ... 201s Unpacking libmpc3:ppc64el (1.3.1-1build2) ... 201s Selecting previously unselected package cpp-14-powerpc64le-linux-gnu. 201s Preparing to unpack .../12-cpp-14-powerpc64le-linux-gnu_14.2.0-17ubuntu3_ppc64el.deb ... 201s Unpacking cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 201s Selecting previously unselected package cpp-14. 201s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu3_ppc64el.deb ... 201s Unpacking cpp-14 (14.2.0-17ubuntu3) ... 201s Selecting previously unselected package cpp-powerpc64le-linux-gnu. 201s Preparing to unpack .../14-cpp-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 201s Unpacking cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 201s Selecting previously unselected package cpp. 201s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 201s Unpacking cpp (4:14.2.0-1ubuntu1) ... 201s Selecting previously unselected package libcc1-0:ppc64el. 201s Preparing to unpack .../16-libcc1-0_15-20250213-1ubuntu1_ppc64el.deb ... 201s Unpacking libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 201s Selecting previously unselected package libgomp1:ppc64el. 201s Preparing to unpack .../17-libgomp1_15-20250213-1ubuntu1_ppc64el.deb ... 201s Unpacking libgomp1:ppc64el (15-20250213-1ubuntu1) ... 201s Selecting previously unselected package libitm1:ppc64el. 201s Preparing to unpack .../18-libitm1_15-20250213-1ubuntu1_ppc64el.deb ... 201s Unpacking libitm1:ppc64el (15-20250213-1ubuntu1) ... 201s Selecting previously unselected package libasan8:ppc64el. 201s Preparing to unpack .../19-libasan8_15-20250213-1ubuntu1_ppc64el.deb ... 201s Unpacking libasan8:ppc64el (15-20250213-1ubuntu1) ... 201s Selecting previously unselected package liblsan0:ppc64el. 201s Preparing to unpack .../20-liblsan0_15-20250213-1ubuntu1_ppc64el.deb ... 201s Unpacking liblsan0:ppc64el (15-20250213-1ubuntu1) ... 201s Selecting previously unselected package libtsan2:ppc64el. 201s Preparing to unpack .../21-libtsan2_15-20250213-1ubuntu1_ppc64el.deb ... 201s Unpacking libtsan2:ppc64el (15-20250213-1ubuntu1) ... 202s Selecting previously unselected package libubsan1:ppc64el. 202s Preparing to unpack .../22-libubsan1_15-20250213-1ubuntu1_ppc64el.deb ... 202s Unpacking libubsan1:ppc64el (15-20250213-1ubuntu1) ... 202s Selecting previously unselected package libquadmath0:ppc64el. 202s Preparing to unpack .../23-libquadmath0_15-20250213-1ubuntu1_ppc64el.deb ... 202s Unpacking libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 202s Selecting previously unselected package libgcc-14-dev:ppc64el. 202s Preparing to unpack .../24-libgcc-14-dev_14.2.0-17ubuntu3_ppc64el.deb ... 202s Unpacking libgcc-14-dev:ppc64el (14.2.0-17ubuntu3) ... 202s Selecting previously unselected package gcc-14-powerpc64le-linux-gnu. 202s Preparing to unpack .../25-gcc-14-powerpc64le-linux-gnu_14.2.0-17ubuntu3_ppc64el.deb ... 202s Unpacking gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 202s Selecting previously unselected package gcc-14. 202s Preparing to unpack .../26-gcc-14_14.2.0-17ubuntu3_ppc64el.deb ... 202s Unpacking gcc-14 (14.2.0-17ubuntu3) ... 202s Selecting previously unselected package gcc-powerpc64le-linux-gnu. 202s Preparing to unpack .../27-gcc-powerpc64le-linux-gnu_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 202s Unpacking gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 202s Selecting previously unselected package gcc. 202s Preparing to unpack .../28-gcc_4%3a14.2.0-1ubuntu1_ppc64el.deb ... 202s Unpacking gcc (4:14.2.0-1ubuntu1) ... 202s Selecting previously unselected package libzstd-dev:ppc64el. 202s Preparing to unpack .../29-libzstd-dev_1.5.6+dfsg-2_ppc64el.deb ... 202s Unpacking libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 202s Selecting previously unselected package ocaml. 202s Preparing to unpack .../30-ocaml_5.3.0-2_ppc64el.deb ... 202s Unpacking ocaml (5.3.0-2) ... 203s Selecting previously unselected package ocaml-findlib. 203s Preparing to unpack .../31-ocaml-findlib_1.9.8-1_ppc64el.deb ... 203s Unpacking ocaml-findlib (1.9.8-1) ... 203s Selecting previously unselected package coq. 203s Preparing to unpack .../32-coq_8.20.1+dfsg-1_ppc64el.deb ... 203s Unpacking coq (8.20.1+dfsg-1) ... 204s Setting up libncurses-dev:ppc64el (6.5+20250125-2) ... 204s Setting up libzstd-dev:ppc64el (1.5.6+dfsg-2) ... 204s Setting up libgomp1:ppc64el (15-20250213-1ubuntu1) ... 204s Setting up libcoq-stdlib (8.20.1+dfsg-1) ... 204s Setting up libquadmath0:ppc64el (15-20250213-1ubuntu1) ... 204s Setting up libstdlib-ocaml (5.3.0-2) ... 204s Setting up libmpc3:ppc64el (1.3.1-1build2) ... 204s Setting up ocaml-base (5.3.0-2) ... 204s Setting up libubsan1:ppc64el (15-20250213-1ubuntu1) ... 204s Setting up libasan8:ppc64el (15-20250213-1ubuntu1) ... 204s Setting up libtsan2:ppc64el (15-20250213-1ubuntu1) ... 204s Setting up libisl23:ppc64el (0.27-1) ... 204s Setting up libcc1-0:ppc64el (15-20250213-1ubuntu1) ... 204s Setting up liblsan0:ppc64el (15-20250213-1ubuntu1) ... 204s Setting up libitm1:ppc64el (15-20250213-1ubuntu1) ... 204s Setting up libstdlib-ocaml-dev (5.3.0-2) ... 204s Setting up libfindlib-ocaml (1.9.8-1) ... 204s Setting up libzarith-ocaml (1.14-1build1) ... 204s Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ... 204s Setting up ocaml-interp (5.3.0-2) ... 204s Setting up ocaml-findlib (1.9.8-1) ... 204s Setting up cpp-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 204s Setting up cpp-14 (14.2.0-17ubuntu3) ... 204s Setting up libcoq-core-ocaml (8.20.1+dfsg-1) ... 204s Setting up libgcc-14-dev:ppc64el (14.2.0-17ubuntu3) ... 204s Setting up cpp-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 204s Setting up gcc-14-powerpc64le-linux-gnu (14.2.0-17ubuntu3) ... 204s Setting up gcc-14 (14.2.0-17ubuntu3) ... 204s Setting up gcc-powerpc64le-linux-gnu (4:14.2.0-1ubuntu1) ... 204s Setting up cpp (4:14.2.0-1ubuntu1) ... 204s Setting up gcc (4:14.2.0-1ubuntu1) ... 204s Setting up ocaml (5.3.0-2) ... 204s Setting up coq (8.20.1+dfsg-1) ... 204s Processing triggers for man-db (2.13.0-1) ... 206s Processing triggers for libc-bin (2.40-4ubuntu1) ... 207s autopkgtest [04:56:37]: test compiler: [----------------------- 208s autopkgtest [04:56:38]: test compiler: -----------------------] 208s autopkgtest [04:56:38]: test compiler: - - - - - - - - - - results - - - - - - - - - - 208s compiler PASS 208s autopkgtest [04:56:38]: test toplevel: preparing testbed 209s Reading package lists... 209s Building dependency tree... 209s Reading state information... 209s Starting pkgProblemResolver with broken count: 0 209s Starting 2 pkgProblemResolver with broken count: 0 209s Done 210s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 210s autopkgtest [04:56:40]: test toplevel: [----------------------- 211s Welcome to Coq 8.20.1 211s pierce is defined 211s excluded_middle is defined 211s 1 goal 211s 211s ============================ 211s pierce <-> excluded_middle 211s 1 goal 211s 211s ============================ 211s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 211s 2 goals 211s 211s H : forall p q : Prop, ((p -> q) -> p) -> p 211s p : Prop 211s ============================ 211s p \/ ~ p 211s 211s goal 2 is: 211s p 211s 2 goals 211s 211s H : forall p q : Prop, ((p -> q) -> p) -> p 211s p : Prop 211s ============================ 211s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 211s 211s goal 2 is: 211s p 211s 1 goal 211s 211s H : forall p : Prop, p \/ ~ p 211s p, q : Prop 211s H0 : (p -> q) -> p 211s ============================ 211s p 211s 2 goals 211s 211s H : forall p : Prop, p \/ ~ p 211s p, q : Prop 211s H0 : (p -> q) -> p 211s H1 : p 211s ============================ 211s p 211s 211s goal 2 is: 211s p 211s 1 goal 211s 211s H : forall p : Prop, p \/ ~ p 211s p, q : Prop 211s H0 : (p -> q) -> p 211s H1 : ~ p 211s ============================ 211s p 211s No more goals. 211s autopkgtest [04:56:41]: test toplevel: -----------------------] 212s autopkgtest [04:56:42]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 212s toplevel PASS 212s autopkgtest [04:56:42]: @@@@@@@@@@@@@@@@@@@@ summary 212s compiler PASS 212s toplevel PASS 229s nova [W] Using flock in prodstack6-ppc64el 229s Creating nova instance adt-plucky-ppc64el-coq-20250222-045310-juju-7f2275-prod-proposed-migration-environment-20-e478c003-e3e1-4290-af8c-653b04be9e42 from image adt/ubuntu-plucky-ppc64el-server-20250221.img (UUID 2f98d860-9c02-405f-ad5b-1c2fc9874794)... 229s nova [W] Timed out waiting for ab7748d1-33f7-402a-8cdd-a416d1ff578f to get deleted.