0s autopkgtest [21:53:59]: starting date and time: 2025-02-15 21:53:59+0000 0s autopkgtest [21:53:59]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [21:53:59]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.zvw7y9mh/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-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-s390x-27.secgroup --name adt-plucky-s390x-coq-20250215-215358-juju-7f2275-prod-proposed-migration-environment-2-b7f645d9-dbae-407d-adf6-357be65dc37c --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-s390x -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/ 115s autopkgtest [21:55:54]: testbed dpkg architecture: s390x 115s autopkgtest [21:55:54]: testbed apt version: 2.9.28 116s autopkgtest [21:55:55]: @@@@@@@@@@@@@@@@@@@@ test bed setup 116s autopkgtest [21:55:55]: testbed release detected to be: None 116s autopkgtest [21:55:55]: updating testbed package index (apt update) 117s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 117s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 117s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 117s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 117s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 117s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [828 kB] 117s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 117s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [74.3 kB] 117s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [163 kB] 118s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 118s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [876 kB] 118s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3740 B] 118s Fetched 2073 kB in 1s (2149 kB/s) 118s Reading package lists... 119s Reading package lists... 119s Building dependency tree... 119s Reading state information... 119s Calculating upgrade... 119s The following packages were automatically installed and are no longer required: 119s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 119s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 119s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 119s linux-tools-6.11.0-8-generic 119s Use 'sudo apt autoremove' to remove them. 119s The following packages will be upgraded: 119s dash gcc-14-base libatomic1 libgcc-s1 libstdc++6 libtasn1-6 libxdmcp6 119s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 119s Need to get 1155 kB of archives. 119s After this operation, 16.4 kB of additional disk space will be used. 119s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x dash s390x 0.5.12-12ubuntu1 [100 kB] 120s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libatomic1 s390x 14.2.0-17ubuntu1 [9430 B] 120s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-base s390x 14.2.0-17ubuntu1 [53.5 kB] 120s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libstdc++6 s390x 14.2.0-17ubuntu1 [896 kB] 120s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-s1 s390x 14.2.0-17ubuntu1 [35.9 kB] 120s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libtasn1-6 s390x 4.20.0-2 [48.6 kB] 120s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libxdmcp6 s390x 1:1.1.5-1 [11.0 kB] 120s Preconfiguring packages ... 120s Fetched 1155 kB in 1s (1825 kB/s) 120s (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 ... 80969 files and directories currently installed.) 120s Preparing to unpack .../dash_0.5.12-12ubuntu1_s390x.deb ... 120s Unpacking dash (0.5.12-12ubuntu1) over (0.5.12-9ubuntu1) ... 120s Setting up dash (0.5.12-12ubuntu1) ... 120s (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 ... 80969 files and directories currently installed.) 120s Preparing to unpack .../libatomic1_14.2.0-17ubuntu1_s390x.deb ... 120s Unpacking libatomic1:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 120s Preparing to unpack .../gcc-14-base_14.2.0-17ubuntu1_s390x.deb ... 120s Unpacking gcc-14-base:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 120s Setting up gcc-14-base:s390x (14.2.0-17ubuntu1) ... 120s (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 ... 80969 files and directories currently installed.) 120s Preparing to unpack .../libstdc++6_14.2.0-17ubuntu1_s390x.deb ... 120s Unpacking libstdc++6:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 120s Setting up libstdc++6:s390x (14.2.0-17ubuntu1) ... 120s (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 ... 80969 files and directories currently installed.) 120s Preparing to unpack .../libgcc-s1_14.2.0-17ubuntu1_s390x.deb ... 120s Unpacking libgcc-s1:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 120s Setting up libgcc-s1:s390x (14.2.0-17ubuntu1) ... 120s (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 ... 80969 files and directories currently installed.) 120s Preparing to unpack .../libtasn1-6_4.20.0-2_s390x.deb ... 120s Unpacking libtasn1-6:s390x (4.20.0-2) over (4.19.0-3build1) ... 120s Preparing to unpack .../libxdmcp6_1%3a1.1.5-1_s390x.deb ... 120s Unpacking libxdmcp6:s390x (1:1.1.5-1) over (1:1.1.3-0ubuntu6) ... 120s Setting up libxdmcp6:s390x (1:1.1.5-1) ... 120s Setting up libatomic1:s390x (14.2.0-17ubuntu1) ... 120s Setting up libtasn1-6:s390x (4.20.0-2) ... 120s Processing triggers for libc-bin (2.40-4ubuntu1) ... 121s Processing triggers for man-db (2.13.0-1) ... 121s Processing triggers for debianutils (5.21) ... 121s Reading package lists... 121s Building dependency tree... 121s Reading state information... 121s The following packages will be REMOVED: 121s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 121s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 121s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 121s linux-tools-6.11.0-8-generic* 122s 0 upgraded, 0 newly installed, 9 to remove and 6 not upgraded. 122s After this operation, 167 MB disk space will be freed. 122s (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 ... 80969 files and directories currently installed.) 122s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 122s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 122s Removing libpython3.12t64:s390x (3.12.9-1) ... 122s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 122s Removing libnsl2:s390x (1.3.0-3build3) ... 122s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 122s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 122s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 122s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 122s Processing triggers for libc-bin (2.40-4ubuntu1) ... 123s (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 ... 55869 files and directories currently installed.) 123s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 123s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 123s autopkgtest [21:56:02]: upgrading testbed (apt dist-upgrade and autopurge) 123s Reading package lists... 123s Building dependency tree... 123s Reading state information... 123s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 123s Starting 2 pkgProblemResolver with broken count: 0 123s Done 123s Entering ResolveByKeep 124s 124s The following packages will be upgraded: 124s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 124s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 124s Need to get 10.7 MB of archives. 124s After this operation, 305 kB of additional disk space will be used. 124s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu1 [24.3 kB] 124s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu1 [1679 kB] 125s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu1 [4246 kB] 125s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu1 [2891 kB] 125s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu1 [672 kB] 125s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x iproute2 s390x 6.13.0-1ubuntu1 [1174 kB] 125s Preconfiguring packages ... 125s Fetched 10.7 MB in 1s (8324 kB/s) 125s (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 ... 55867 files and directories currently installed.) 125s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_s390x.deb ... 125s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 125s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_s390x.deb ... 125s Unpacking libc6-dev:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 125s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 125s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 125s Preparing to unpack .../libc6_2.41-1ubuntu1_s390x.deb ... 126s Checking for services that may need to be restarted... 126s Checking init scripts... 126s Checking for services that may need to be restarted... 126s Checking init scripts... 126s Stopping some services possibly affected by the upgrade (will be restarted later): 126s cron: stopping...done. 126s 126s Unpacking libc6:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 126s Setting up libc6:s390x (2.41-1ubuntu1) ... 126s Checking for services that may need to be restarted... 126s Checking init scripts... 126s Restarting services possibly affected by the upgrade: 126s cron: restarting...done. 126s 126s Services restarted successfully. 126s (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 ... 55868 files and directories currently installed.) 126s Preparing to unpack .../libc-bin_2.41-1ubuntu1_s390x.deb ... 126s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 126s Setting up libc-bin (2.41-1ubuntu1) ... 126s (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 ... 55868 files and directories currently installed.) 126s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_s390x.deb ... 126s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 126s Setting up iproute2 (6.13.0-1ubuntu1) ... 126s Setting up locales (2.41-1ubuntu1) ... 126s Installing new version of config file /etc/locale.alias ... 126s Generating locales (this might take a while)... 127s en_US.UTF-8... done 127s Generation complete. 127s Setting up libc-dev-bin (2.41-1ubuntu1) ... 127s Setting up libc6-dev:s390x (2.41-1ubuntu1) ... 127s Processing triggers for man-db (2.13.0-1) ... 128s Processing triggers for systemd (257.2-3ubuntu1) ... 129s Reading package lists... 129s Building dependency tree... 129s Reading state information... 129s Starting pkgProblemResolver with broken count: 0 129s Starting 2 pkgProblemResolver with broken count: 0 129s Done 129s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 130s autopkgtest [21:56:09]: rebooting testbed after setup commands that affected boot 151s autopkgtest [21:56:30]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 15:05:57 UTC 2025 154s autopkgtest [21:56:33]: @@@@@@@@@@@@@@@@@@@@ apt-source coq 158s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (dsc) [2570 B] 158s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (tar) [5013 kB] 158s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq 8.20.0+dfsg-1 (diff) [30.2 kB] 158s gpgv: Signature made Wed Nov 20 09:39:47 2024 UTC 158s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 158s gpgv: issuer "jpuydt@debian.org" 158s gpgv: Can't check signature: No public key 158s dpkg-source: warning: cannot verify inline signature for ./coq_8.20.0+dfsg-1.dsc: no acceptable signature found 159s autopkgtest [21:56:38]: testing package coq version 8.20.0+dfsg-1 159s autopkgtest [21:56:38]: build not needed 162s autopkgtest [21:56:41]: test compiler: preparing testbed 162s Reading package lists... 162s Building dependency tree... 162s Reading state information... 162s Starting pkgProblemResolver with broken count: 0 162s Starting 2 pkgProblemResolver with broken count: 0 162s Done 162s The following NEW packages will be installed: 162s coq cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-14 162s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0 162s libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib libfindlib-ocaml 162s libgcc-14-dev libgomp1 libisl23 libitm1 libmpc3 libncurses-dev 162s libstdlib-ocaml libstdlib-ocaml-dev libubsan1 libzarith-ocaml libzstd-dev 162s ocaml ocaml-base ocaml-findlib ocaml-interp 163s 0 upgraded, 30 newly installed, 0 to remove and 0 not upgraded. 163s Need to get 267 MB of archives. 163s After this operation, 873 MB of additional disk space will be used. 163s Get:1 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-stdlib s390x 8.20.0+dfsg-1 [27.0 MB] 164s Get:2 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB] 164s Get:3 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB] 164s Get:4 http://ftpmaster.internal/ubuntu plucky/universe s390x libfindlib-ocaml s390x 1.9.6-3build1 [189 kB] 164s Get:5 http://ftpmaster.internal/ubuntu plucky/universe s390x libzarith-ocaml s390x 1.14-1 [125 kB] 164s Get:6 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-core-ocaml s390x 8.20.0+dfsg-1 [27.2 MB] 164s Get:7 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB] 165s Get:8 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB] 166s Get:9 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB] 166s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 166s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 166s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 166s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB] 166s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B] 166s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 166s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 166s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 14.2.0-17ubuntu1 [50.7 kB] 166s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 14.2.0-17ubuntu1 [151 kB] 166s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 14.2.0-17ubuntu1 [30.9 kB] 166s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 14.2.0-17ubuntu1 [2964 kB] 166s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 14.2.0-17ubuntu1 [1184 kB] 166s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB] 167s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB] 167s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB] 167s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 167s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 167s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 167s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB] 168s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-findlib s390x 1.9.6-3build1 [658 kB] 168s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x coq s390x 8.20.0+dfsg-1 [91.2 MB] 170s Fetched 267 MB in 7s (36.3 MB/s) 170s Selecting previously unselected package libcoq-stdlib. 170s (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 ... 55869 files and directories currently installed.) 170s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_s390x.deb ... 170s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ... 171s Selecting previously unselected package libstdlib-ocaml. 171s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_s390x.deb ... 171s Unpacking libstdlib-ocaml (5.2.0-3) ... 171s Selecting previously unselected package ocaml-base. 171s Preparing to unpack .../02-ocaml-base_5.2.0-3_s390x.deb ... 171s Unpacking ocaml-base (5.2.0-3) ... 171s Selecting previously unselected package libfindlib-ocaml. 171s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_s390x.deb ... 171s Unpacking libfindlib-ocaml (1.9.6-3build1) ... 171s Selecting previously unselected package libzarith-ocaml. 171s Preparing to unpack .../04-libzarith-ocaml_1.14-1_s390x.deb ... 171s Unpacking libzarith-ocaml (1.14-1) ... 171s Selecting previously unselected package libcoq-core-ocaml. 171s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb ... 171s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ... 171s Selecting previously unselected package libstdlib-ocaml-dev. 171s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ... 171s Unpacking libstdlib-ocaml-dev (5.2.0-3) ... 171s Selecting previously unselected package libcompiler-libs-ocaml-dev. 171s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ... 171s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ... 172s Selecting previously unselected package ocaml-interp. 172s Preparing to unpack .../08-ocaml-interp_5.2.0-3_s390x.deb ... 172s Unpacking ocaml-interp (5.2.0-3) ... 172s Selecting previously unselected package libncurses-dev:s390x. 172s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_s390x.deb ... 172s Unpacking libncurses-dev:s390x (6.5+20250125-2) ... 172s Selecting previously unselected package libisl23:s390x. 172s Preparing to unpack .../10-libisl23_0.27-1_s390x.deb ... 172s Unpacking libisl23:s390x (0.27-1) ... 172s Selecting previously unselected package libmpc3:s390x. 172s Preparing to unpack .../11-libmpc3_1.3.1-1build2_s390x.deb ... 172s Unpacking libmpc3:s390x (1.3.1-1build2) ... 172s Selecting previously unselected package cpp-14-s390x-linux-gnu. 172s Preparing to unpack .../12-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package cpp-14. 172s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking cpp-14 (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package cpp-s390x-linux-gnu. 172s Preparing to unpack .../14-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 172s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 172s Selecting previously unselected package cpp. 172s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ... 172s Unpacking cpp (4:14.2.0-1ubuntu1) ... 172s Selecting previously unselected package libcc1-0:s390x. 172s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking libcc1-0:s390x (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package libgomp1:s390x. 172s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking libgomp1:s390x (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package libitm1:s390x. 172s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking libitm1:s390x (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package libasan8:s390x. 172s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking libasan8:s390x (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package libubsan1:s390x. 172s Preparing to unpack .../20-libubsan1_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking libubsan1:s390x (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package libgcc-14-dev:s390x. 172s Preparing to unpack .../21-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package gcc-14-s390x-linux-gnu. 172s Preparing to unpack .../22-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package gcc-14. 172s Preparing to unpack .../23-gcc-14_14.2.0-17ubuntu1_s390x.deb ... 172s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 172s Selecting previously unselected package gcc-s390x-linux-gnu. 172s Preparing to unpack .../24-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 172s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 172s Selecting previously unselected package gcc. 172s Preparing to unpack .../25-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 172s Unpacking gcc (4:14.2.0-1ubuntu1) ... 172s Selecting previously unselected package libzstd-dev:s390x. 172s Preparing to unpack .../26-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 172s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 172s Selecting previously unselected package ocaml. 172s Preparing to unpack .../27-ocaml_5.2.0-3_s390x.deb ... 172s Unpacking ocaml (5.2.0-3) ... 173s Selecting previously unselected package ocaml-findlib. 173s Preparing to unpack .../28-ocaml-findlib_1.9.6-3build1_s390x.deb ... 173s Unpacking ocaml-findlib (1.9.6-3build1) ... 173s Selecting previously unselected package coq. 173s Preparing to unpack .../29-coq_8.20.0+dfsg-1_s390x.deb ... 173s Unpacking coq (8.20.0+dfsg-1) ... 174s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 174s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 174s Setting up libgomp1:s390x (14.2.0-17ubuntu1) ... 174s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 174s Setting up libstdlib-ocaml (5.2.0-3) ... 174s Setting up libmpc3:s390x (1.3.1-1build2) ... 174s Setting up ocaml-base (5.2.0-3) ... 174s Setting up libubsan1:s390x (14.2.0-17ubuntu1) ... 174s Setting up libasan8:s390x (14.2.0-17ubuntu1) ... 174s Setting up libisl23:s390x (0.27-1) ... 174s Setting up libcc1-0:s390x (14.2.0-17ubuntu1) ... 174s Setting up libitm1:s390x (14.2.0-17ubuntu1) ... 174s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 174s Setting up libfindlib-ocaml (1.9.6-3build1) ... 174s Setting up libzarith-ocaml (1.14-1) ... 174s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 174s Setting up ocaml-interp (5.2.0-3) ... 174s Setting up ocaml-findlib (1.9.6-3build1) ... 174s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 174s Setting up cpp-14 (14.2.0-17ubuntu1) ... 174s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 174s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 174s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 174s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 174s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 174s Setting up cpp (4:14.2.0-1ubuntu1) ... 174s Setting up gcc-14 (14.2.0-17ubuntu1) ... 174s Setting up gcc (4:14.2.0-1ubuntu1) ... 174s Setting up ocaml (5.2.0-3) ... 174s Setting up coq (8.20.0+dfsg-1) ... 174s Processing triggers for man-db (2.13.0-1) ... 174s Processing triggers for libc-bin (2.41-1ubuntu1) ... 175s autopkgtest [21:56:54]: test compiler: [----------------------- 176s autopkgtest [21:56:55]: test compiler: -----------------------] 176s autopkgtest [21:56:55]: test compiler: - - - - - - - - - - results - - - - - - - - - - 176s compiler PASS 177s autopkgtest [21:56:56]: test toplevel: preparing testbed 177s Reading package lists... 177s Building dependency tree... 177s Reading state information... 177s Starting pkgProblemResolver with broken count: 0 177s Starting 2 pkgProblemResolver with broken count: 0 177s Done 177s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 178s autopkgtest [21:56:57]: test toplevel: [----------------------- 179s Welcome to Coq 8.20.0 179s pierce is defined 179s excluded_middle is defined 179s 1 goal 179s 179s ============================ 179s pierce <-> excluded_middle 179s 1 goal 179s 179s ============================ 179s (forall p q : Prop, ((p -> q) -> p) -> p) <-> (forall p : Prop, p \/ ~ p) 179s 2 goals 179s 179s H : forall p q : Prop, ((p -> q) -> p) -> p 179s p : Prop 179s ============================ 179s p \/ ~ p 179s 179s goal 2 is: 179s p 179s 2 goals 179s 179s H : forall p q : Prop, ((p -> q) -> p) -> p 179s p : Prop 179s ============================ 179s (p \/ ~ p -> ~ (p \/ ~ p)) -> p \/ ~ p 179s 179s goal 2 is: 179s p 179s 1 goal 179s 179s H : forall p : Prop, p \/ ~ p 179s p, q : Prop 179s H0 : (p -> q) -> p 179s ============================ 179s p 179s 2 goals 179s 179s H : forall p : Prop, p \/ ~ p 179s p, q : Prop 179s H0 : (p -> q) -> p 179s H1 : p 179s ============================ 179s p 179s 179s goal 2 is: 179s p 179s 1 goal 179s 179s H : forall p : Prop, p \/ ~ p 179s p, q : Prop 179s H0 : (p -> q) -> p 179s H1 : ~ p 179s ============================ 179s p 179s No more goals. 179s autopkgtest [21:56:58]: test toplevel: -----------------------] 180s autopkgtest [21:56:59]: test toplevel: - - - - - - - - - - results - - - - - - - - - - 180s toplevel PASS 180s autopkgtest [21:56:59]: @@@@@@@@@@@@@@@@@@@@ summary 180s compiler PASS 180s toplevel PASS 205s nova [W] Using flock in prodstack6-s390x 205s Creating nova instance adt-plucky-s390x-coq-20250215-215358-juju-7f2275-prod-proposed-migration-environment-2-b7f645d9-dbae-407d-adf6-357be65dc37c from image adt/ubuntu-plucky-s390x-server-20250215.img (UUID 099dc609-2061-4009-a65b-d554466baca0)... 205s nova [W] Timed out waiting for 13539897-5e4a-488f-b4b4-e28fefd3004a to get deleted.