0s autopkgtest [21:54:15]: starting date and time: 2025-02-15 21:54:15+0000 1s autopkgtest [21:54:16]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 1s autopkgtest [21:54:16]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.1zmzt5ei/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-quickchick --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-20@bos03-s390x-7.secgroup --name adt-plucky-s390x-coq-quickchick-20250215-215415-juju-7f2275-prod-proposed-migration-environment-20-426257eb-f790-423c-8336-7643f9f00faa --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --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/ 90s autopkgtest [21:55:45]: testbed dpkg architecture: s390x 90s autopkgtest [21:55:45]: testbed apt version: 2.9.28 90s autopkgtest [21:55:45]: @@@@@@@@@@@@@@@@@@@@ test bed setup 90s autopkgtest [21:55:45]: testbed release detected to be: None 91s autopkgtest [21:55:46]: updating testbed package index (apt update) 91s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB] 91s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 91s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 92s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 92s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [74.3 kB] 92s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [828 kB] 92s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B] 92s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB] 92s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [163 kB] 92s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B] 92s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [876 kB] 92s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3740 B] 92s Fetched 2073 kB in 1s (2108 kB/s) 93s Reading package lists... 93s Reading package lists... 93s Building dependency tree... 93s Reading state information... 93s Calculating upgrade... 93s The following packages were automatically installed and are no longer required: 93s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 93s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 93s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 93s linux-tools-6.11.0-8-generic 93s Use 'sudo apt autoremove' to remove them. 93s The following packages will be upgraded: 93s dash gcc-14-base libatomic1 libgcc-s1 libstdc++6 libtasn1-6 libxdmcp6 94s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 94s Need to get 1155 kB of archives. 94s After this operation, 16.4 kB of additional disk space will be used. 94s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x dash s390x 0.5.12-12ubuntu1 [100 kB] 94s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libatomic1 s390x 14.2.0-17ubuntu1 [9430 B] 94s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-base s390x 14.2.0-17ubuntu1 [53.5 kB] 94s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libstdc++6 s390x 14.2.0-17ubuntu1 [896 kB] 94s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-s1 s390x 14.2.0-17ubuntu1 [35.9 kB] 94s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libtasn1-6 s390x 4.20.0-2 [48.6 kB] 94s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libxdmcp6 s390x 1:1.1.5-1 [11.0 kB] 94s Preconfiguring packages ... 94s Fetched 1155 kB in 1s (1909 kB/s) 94s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 80969 files and directories currently installed.) 94s Preparing to unpack .../dash_0.5.12-12ubuntu1_s390x.deb ... 94s Unpacking dash (0.5.12-12ubuntu1) over (0.5.12-9ubuntu1) ... 94s Setting up dash (0.5.12-12ubuntu1) ... 94s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 80969 files and directories currently installed.) 94s Preparing to unpack .../libatomic1_14.2.0-17ubuntu1_s390x.deb ... 94s Unpacking libatomic1:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 94s Preparing to unpack .../gcc-14-base_14.2.0-17ubuntu1_s390x.deb ... 94s Unpacking gcc-14-base:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 95s Setting up gcc-14-base:s390x (14.2.0-17ubuntu1) ... 95s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 80969 files and directories currently installed.) 95s Preparing to unpack .../libstdc++6_14.2.0-17ubuntu1_s390x.deb ... 95s Unpacking libstdc++6:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 95s Setting up libstdc++6:s390x (14.2.0-17ubuntu1) ... 95s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 80969 files and directories currently installed.) 95s Preparing to unpack .../libgcc-s1_14.2.0-17ubuntu1_s390x.deb ... 95s Unpacking libgcc-s1:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ... 95s Setting up libgcc-s1:s390x (14.2.0-17ubuntu1) ... 95s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 80969 files and directories currently installed.) 95s Preparing to unpack .../libtasn1-6_4.20.0-2_s390x.deb ... 95s Unpacking libtasn1-6:s390x (4.20.0-2) over (4.19.0-3build1) ... 95s Preparing to unpack .../libxdmcp6_1%3a1.1.5-1_s390x.deb ... 95s Unpacking libxdmcp6:s390x (1:1.1.5-1) over (1:1.1.3-0ubuntu6) ... 95s Setting up libxdmcp6:s390x (1:1.1.5-1) ... 95s Setting up libatomic1:s390x (14.2.0-17ubuntu1) ... 95s Setting up libtasn1-6:s390x (4.20.0-2) ... 95s Processing triggers for libc-bin (2.40-4ubuntu1) ... 95s Processing triggers for man-db (2.13.0-1) ... 95s Processing triggers for debianutils (5.21) ... 95s Reading package lists... 95s Building dependency tree... 95s Reading state information... 96s The following packages will be REMOVED: 96s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 96s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 96s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 96s linux-tools-6.11.0-8-generic* 96s 0 upgraded, 0 newly installed, 9 to remove and 6 not upgraded. 96s After this operation, 167 MB disk space will be freed. 96s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 80969 files and directories currently installed.) 96s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 96s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 96s Removing libpython3.12t64:s390x (3.12.9-1) ... 96s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 96s Removing libnsl2:s390x (1.3.0-3build3) ... 96s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 96s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 96s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 97s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 97s Processing triggers for libc-bin (2.40-4ubuntu1) ... 97s (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.) 97s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 97s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 97s autopkgtest [21:55:52]: upgrading testbed (apt dist-upgrade and autopurge) 97s Reading package lists... 97s Building dependency tree... 97s Reading state information... 97s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 97s Starting 2 pkgProblemResolver with broken count: 0 97s Done 97s Entering ResolveByKeep 98s 98s The following packages will be upgraded: 98s iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales 98s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 98s Need to get 10.7 MB of archives. 98s After this operation, 305 kB of additional disk space will be used. 98s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu1 [24.3 kB] 99s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu1 [1679 kB] 100s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu1 [4246 kB] 100s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu1 [2891 kB] 100s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu1 [672 kB] 100s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x iproute2 s390x 6.13.0-1ubuntu1 [1174 kB] 100s Preconfiguring packages ... 100s Fetched 10.7 MB in 2s (4524 kB/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 ... 55867 files and directories currently installed.) 100s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_s390x.deb ... 100s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 100s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_s390x.deb ... 100s Unpacking libc6-dev:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 100s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ... 100s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 100s Preparing to unpack .../libc6_2.41-1ubuntu1_s390x.deb ... 101s Checking for services that may need to be restarted... 101s Checking init scripts... 101s Checking for services that may need to be restarted... 101s Checking init scripts... 101s Stopping some services possibly affected by the upgrade (will be restarted later): 101s cron: stopping...done. 101s 101s Unpacking libc6:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 101s Setting up libc6:s390x (2.41-1ubuntu1) ... 101s Checking for services that may need to be restarted... 101s Checking init scripts... 101s Restarting services possibly affected by the upgrade: 101s cron: restarting...done. 101s 101s Services restarted successfully. 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 ... 55868 files and directories currently installed.) 101s Preparing to unpack .../libc-bin_2.41-1ubuntu1_s390x.deb ... 101s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ... 101s Setting up libc-bin (2.41-1ubuntu1) ... 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 ... 55868 files and directories currently installed.) 101s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_s390x.deb ... 101s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ... 101s Setting up iproute2 (6.13.0-1ubuntu1) ... 101s Setting up locales (2.41-1ubuntu1) ... 101s Installing new version of config file /etc/locale.alias ... 101s 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:s390x (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... 104s Building dependency tree... 104s Reading state information... 104s Starting pkgProblemResolver with broken count: 0 104s Starting 2 pkgProblemResolver with broken count: 0 104s Done 104s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 105s autopkgtest [21:56:00]: rebooting testbed after setup commands that affected boot 122s autopkgtest [21:56:17]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb 4 15:05:57 UTC 2025 126s autopkgtest [21:56:21]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-quickchick 128s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq-quickchick 2.0.5-1build2 (dsc) [2274 B] 128s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq-quickchick 2.0.5-1build2 (tar) [413 kB] 128s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq-quickchick 2.0.5-1build2 (diff) [3008 B] 128s gpgv: Signature made Fri Jan 10 11:29:20 2025 UTC 128s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 128s gpgv: Can't check signature: No public key 128s dpkg-source: warning: cannot verify inline signature for ./coq-quickchick_2.0.5-1build2.dsc: no acceptable signature found 128s autopkgtest [21:56:23]: testing package coq-quickchick version 2.0.5-1build2 128s autopkgtest [21:56:23]: build not needed 129s autopkgtest [21:56:24]: test command1: preparing testbed 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 The following NEW packages will be installed: 129s coq cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-14 129s gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0 129s libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev 129s libcoq-elpi libcoq-ext-lib libcoq-hierarchy-builder 129s libcoq-mathcomp-ssreflect libcoq-quickchick libcoq-simple-io libcoq-stdlib 129s libelpi-ocaml libelpi-ocaml-dev libfindlib-ocaml libfindlib-ocaml-dev 129s libgcc-14-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgomp1 libisl23 libitm1 129s libmenhir-ocaml-dev libmpc3 libncurses-dev libocaml-compiler-libs-ocaml-dev 129s libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev 129s libppxlib-ocaml-dev libre-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev 129s libstdlib-ocaml libstdlib-ocaml-dev libubsan1 libzarith-ocaml 129s libzarith-ocaml-dev libzstd-dev ocaml ocaml-base ocaml-findlib ocaml-interp 129s quickchick 129s 0 upgraded, 54 newly installed, 0 to remove and 0 not upgraded. 129s Need to get 421 MB of archives. 129s After this operation, 1271 MB of additional disk space will be used. 129s Get:1 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-stdlib s390x 8.20.0+dfsg-1 [27.0 MB] 132s Get:2 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB] 132s Get:3 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB] 132s Get:4 http://ftpmaster.internal/ubuntu plucky/universe s390x libfindlib-ocaml s390x 1.9.6-3build1 [189 kB] 132s Get:5 http://ftpmaster.internal/ubuntu plucky/universe s390x libzarith-ocaml s390x 1.14-1 [125 kB] 132s Get:6 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-core-ocaml s390x 8.20.0+dfsg-1 [27.2 MB] 133s Get:7 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB] 134s Get:8 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB] 136s Get:9 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB] 136s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB] 136s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB] 136s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB] 136s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB] 137s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B] 137s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B] 137s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB] 137s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 14.2.0-17ubuntu1 [50.7 kB] 137s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 14.2.0-17ubuntu1 [151 kB] 137s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 14.2.0-17ubuntu1 [30.9 kB] 137s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 14.2.0-17ubuntu1 [2964 kB] 137s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 14.2.0-17ubuntu1 [1184 kB] 137s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB] 137s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB] 140s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB] 140s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B] 140s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B] 140s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB] 140s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB] 143s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-findlib s390x 1.9.6-3build1 [658 kB] 143s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x coq s390x 8.20.0+dfsg-1 [91.2 MB] 154s Get:31 http://ftpmaster.internal/ubuntu plucky/universe s390x libfindlib-ocaml-dev s390x 1.9.6-3build1 [164 kB] 154s Get:32 http://ftpmaster.internal/ubuntu plucky/main s390x libgmpxx4ldbl s390x 2:6.3.0+dfsg-2ubuntu7 [10.1 kB] 154s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x libgmp-dev s390x 2:6.3.0+dfsg-2ubuntu7 [424 kB] 154s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libgmp3-dev s390x 2:6.3.0+dfsg-2ubuntu7 [2312 B] 154s Get:35 http://ftpmaster.internal/ubuntu plucky/universe s390x libzarith-ocaml-dev s390x 1.14-1 [148 kB] 154s Get:36 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-core-ocaml-dev s390x 8.20.0+dfsg-1 [69.9 MB] 161s Get:37 http://ftpmaster.internal/ubuntu plucky/universe s390x libsexplib0-ocaml s390x 0.17.0-1 [134 kB] 161s Get:38 http://ftpmaster.internal/ubuntu plucky/universe s390x libppx-deriving-ocaml s390x 6.0.3-1 [4958 kB] 161s Get:39 http://ftpmaster.internal/ubuntu plucky/universe s390x libelpi-ocaml s390x 2.0.5-1 [4048 kB] 162s Get:40 http://ftpmaster.internal/ubuntu plucky/universe s390x libmenhir-ocaml-dev s390x 20240715+ds-1 [918 kB] 162s Get:41 http://ftpmaster.internal/ubuntu plucky/universe s390x libocaml-compiler-libs-ocaml-dev s390x 0.17.0-1 [161 kB] 162s Get:42 http://ftpmaster.internal/ubuntu plucky/universe s390x libppx-derivers-ocaml-dev s390x 1.2.1-4build3 [20.2 kB] 162s Get:43 http://ftpmaster.internal/ubuntu plucky/universe s390x libsexplib0-ocaml-dev s390x 0.17.0-1 [361 kB] 162s Get:44 http://ftpmaster.internal/ubuntu plucky/universe s390x libppxlib-ocaml-dev s390x 0.33.0-2 [25.3 MB] 165s Get:45 http://ftpmaster.internal/ubuntu plucky/universe s390x libppx-deriving-ocaml-dev s390x 6.0.3-1 [1081 kB] 165s Get:46 http://ftpmaster.internal/ubuntu plucky/universe s390x libre-ocaml-dev s390x 1.12.0+really1.11.0-1 [1314 kB] 165s Get:47 http://ftpmaster.internal/ubuntu plucky/universe s390x libelpi-ocaml-dev s390x 2.0.5-1 [16.1 MB] 167s Get:48 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-elpi s390x 2.3.0-1 [12.5 MB] 168s Get:49 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-ext-lib s390x 0.13.0-1 [854 kB] 168s Get:50 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-hierarchy-builder s390x 1.8.0-1build1 [691 kB] 168s Get:51 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-mathcomp-ssreflect s390x 2.3.0-1build1 [9582 kB] 169s Get:52 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-simple-io s390x 1.10.0-1build2 [273 kB] 169s Get:53 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-quickchick s390x 2.0.5-1build2 [4521 kB] 170s Get:54 http://ftpmaster.internal/ubuntu plucky/universe s390x quickchick s390x 2.0.5-1build2 [560 kB] 170s Fetched 421 MB in 41s (10.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) ... 173s Selecting previously unselected package gcc-14. 173s Preparing to unpack .../23-gcc-14_14.2.0-17ubuntu1_s390x.deb ... 173s Unpacking gcc-14 (14.2.0-17ubuntu1) ... 173s Selecting previously unselected package gcc-s390x-linux-gnu. 173s Preparing to unpack .../24-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ... 173s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 173s Selecting previously unselected package gcc. 173s Preparing to unpack .../25-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ... 173s Unpacking gcc (4:14.2.0-1ubuntu1) ... 173s Selecting previously unselected package libzstd-dev:s390x. 173s Preparing to unpack .../26-libzstd-dev_1.5.6+dfsg-2_s390x.deb ... 173s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ... 173s Selecting previously unselected package ocaml. 173s Preparing to unpack .../27-ocaml_5.2.0-3_s390x.deb ... 173s 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 Selecting previously unselected package libfindlib-ocaml-dev. 174s Preparing to unpack .../30-libfindlib-ocaml-dev_1.9.6-3build1_s390x.deb ... 174s Unpacking libfindlib-ocaml-dev (1.9.6-3build1) ... 174s Selecting previously unselected package libgmpxx4ldbl:s390x. 174s Preparing to unpack .../31-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu7_s390x.deb ... 174s Unpacking libgmpxx4ldbl:s390x (2:6.3.0+dfsg-2ubuntu7) ... 174s Selecting previously unselected package libgmp-dev:s390x. 174s Preparing to unpack .../32-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu7_s390x.deb ... 174s Unpacking libgmp-dev:s390x (2:6.3.0+dfsg-2ubuntu7) ... 174s Selecting previously unselected package libgmp3-dev:s390x. 174s Preparing to unpack .../33-libgmp3-dev_2%3a6.3.0+dfsg-2ubuntu7_s390x.deb ... 174s Unpacking libgmp3-dev:s390x (2:6.3.0+dfsg-2ubuntu7) ... 174s Selecting previously unselected package libzarith-ocaml-dev. 174s Preparing to unpack .../34-libzarith-ocaml-dev_1.14-1_s390x.deb ... 174s Unpacking libzarith-ocaml-dev (1.14-1) ... 174s Selecting previously unselected package libcoq-core-ocaml-dev. 174s Preparing to unpack .../35-libcoq-core-ocaml-dev_8.20.0+dfsg-1_s390x.deb ... 174s Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1) ... 175s Selecting previously unselected package libsexplib0-ocaml. 175s Preparing to unpack .../36-libsexplib0-ocaml_0.17.0-1_s390x.deb ... 175s Unpacking libsexplib0-ocaml (0.17.0-1) ... 175s Selecting previously unselected package libppx-deriving-ocaml. 175s Preparing to unpack .../37-libppx-deriving-ocaml_6.0.3-1_s390x.deb ... 175s Unpacking libppx-deriving-ocaml (6.0.3-1) ... 175s Selecting previously unselected package libelpi-ocaml. 175s Preparing to unpack .../38-libelpi-ocaml_2.0.5-1_s390x.deb ... 175s Unpacking libelpi-ocaml (2.0.5-1) ... 175s Selecting previously unselected package libmenhir-ocaml-dev. 175s Preparing to unpack .../39-libmenhir-ocaml-dev_20240715+ds-1_s390x.deb ... 175s Unpacking libmenhir-ocaml-dev (20240715+ds-1) ... 175s Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. 175s Preparing to unpack .../40-libocaml-compiler-libs-ocaml-dev_0.17.0-1_s390x.deb ... 175s Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1) ... 175s Selecting previously unselected package libppx-derivers-ocaml-dev. 175s Preparing to unpack .../41-libppx-derivers-ocaml-dev_1.2.1-4build3_s390x.deb ... 175s Unpacking libppx-derivers-ocaml-dev (1.2.1-4build3) ... 175s Selecting previously unselected package libsexplib0-ocaml-dev. 175s Preparing to unpack .../42-libsexplib0-ocaml-dev_0.17.0-1_s390x.deb ... 175s Unpacking libsexplib0-ocaml-dev (0.17.0-1) ... 175s Selecting previously unselected package libppxlib-ocaml-dev. 175s Preparing to unpack .../43-libppxlib-ocaml-dev_0.33.0-2_s390x.deb ... 175s Unpacking libppxlib-ocaml-dev (0.33.0-2) ... 175s Selecting previously unselected package libppx-deriving-ocaml-dev. 175s Preparing to unpack .../44-libppx-deriving-ocaml-dev_6.0.3-1_s390x.deb ... 175s Unpacking libppx-deriving-ocaml-dev (6.0.3-1) ... 175s Selecting previously unselected package libre-ocaml-dev. 175s Preparing to unpack .../45-libre-ocaml-dev_1.12.0+really1.11.0-1_s390x.deb ... 175s Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1) ... 175s Selecting previously unselected package libelpi-ocaml-dev. 175s Preparing to unpack .../46-libelpi-ocaml-dev_2.0.5-1_s390x.deb ... 175s Unpacking libelpi-ocaml-dev (2.0.5-1) ... 176s Selecting previously unselected package libcoq-elpi. 176s Preparing to unpack .../47-libcoq-elpi_2.3.0-1_s390x.deb ... 176s Unpacking libcoq-elpi (2.3.0-1) ... 176s Selecting previously unselected package libcoq-ext-lib. 176s Preparing to unpack .../48-libcoq-ext-lib_0.13.0-1_s390x.deb ... 176s Unpacking libcoq-ext-lib (0.13.0-1) ... 176s Selecting previously unselected package libcoq-hierarchy-builder. 176s Preparing to unpack .../49-libcoq-hierarchy-builder_1.8.0-1build1_s390x.deb ... 176s Unpacking libcoq-hierarchy-builder (1.8.0-1build1) ... 176s Selecting previously unselected package libcoq-mathcomp-ssreflect. 176s Preparing to unpack .../50-libcoq-mathcomp-ssreflect_2.3.0-1build1_s390x.deb ... 176s Unpacking libcoq-mathcomp-ssreflect (2.3.0-1build1) ... 176s Selecting previously unselected package libcoq-simple-io. 176s Preparing to unpack .../51-libcoq-simple-io_1.10.0-1build2_s390x.deb ... 176s Unpacking libcoq-simple-io (1.10.0-1build2) ... 176s Selecting previously unselected package libcoq-quickchick. 176s Preparing to unpack .../52-libcoq-quickchick_2.0.5-1build2_s390x.deb ... 176s Unpacking libcoq-quickchick (2.0.5-1build2) ... 176s Selecting previously unselected package quickchick. 176s Preparing to unpack .../53-quickchick_2.0.5-1build2_s390x.deb ... 176s Unpacking quickchick (2.0.5-1build2) ... 176s Setting up libncurses-dev:s390x (6.5+20250125-2) ... 176s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ... 176s Setting up libgomp1:s390x (14.2.0-17ubuntu1) ... 176s Setting up libcoq-stdlib (8.20.0+dfsg-1) ... 176s Setting up libgmpxx4ldbl:s390x (2:6.3.0+dfsg-2ubuntu7) ... 176s Setting up libstdlib-ocaml (5.2.0-3) ... 176s Setting up libmpc3:s390x (1.3.1-1build2) ... 176s Setting up ocaml-base (5.2.0-3) ... 176s Setting up libubsan1:s390x (14.2.0-17ubuntu1) ... 176s Setting up libsexplib0-ocaml (0.17.0-1) ... 176s Setting up libasan8:s390x (14.2.0-17ubuntu1) ... 176s Setting up libisl23:s390x (0.27-1) ... 176s Setting up libcc1-0:s390x (14.2.0-17ubuntu1) ... 176s Setting up libcoq-ext-lib (0.13.0-1) ... 176s Setting up libitm1:s390x (14.2.0-17ubuntu1) ... 176s Setting up quickchick (2.0.5-1build2) ... 176s Setting up libppx-deriving-ocaml (6.0.3-1) ... 176s Setting up libgmp-dev:s390x (2:6.3.0+dfsg-2ubuntu7) ... 176s Setting up libstdlib-ocaml-dev (5.2.0-3) ... 176s Setting up libcoq-simple-io (1.10.0-1build2) ... 176s Setting up libfindlib-ocaml (1.9.6-3build1) ... 176s Setting up libzarith-ocaml (1.14-1) ... 176s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ... 176s Setting up ocaml-interp (5.2.0-3) ... 176s Setting up ocaml-findlib (1.9.6-3build1) ... 176s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 176s Setting up cpp-14 (14.2.0-17ubuntu1) ... 176s Setting up libelpi-ocaml (2.0.5-1) ... 176s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ... 176s Setting up libgmp3-dev:s390x (2:6.3.0+dfsg-2ubuntu7) ... 176s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ... 176s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 176s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ... 176s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ... 176s Setting up cpp (4:14.2.0-1ubuntu1) ... 176s Setting up gcc-14 (14.2.0-17ubuntu1) ... 176s Setting up gcc (4:14.2.0-1ubuntu1) ... 176s Setting up ocaml (5.2.0-3) ... 176s Setting up libre-ocaml-dev (1.12.0+really1.11.0-1) ... 176s Setting up libmenhir-ocaml-dev (20240715+ds-1) ... 176s Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1) ... 176s Setting up libfindlib-ocaml-dev (1.9.6-3build1) ... 176s Setting up libsexplib0-ocaml-dev (0.17.0-1) ... 176s Setting up coq (8.20.0+dfsg-1) ... 176s Setting up libzarith-ocaml-dev (1.14-1) ... 176s Setting up libppx-derivers-ocaml-dev (1.2.1-4build3) ... 176s Setting up libppxlib-ocaml-dev (0.33.0-2) ... 176s Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1) ... 176s Setting up libppx-deriving-ocaml-dev (6.0.3-1) ... 176s Setting up libelpi-ocaml-dev (2.0.5-1) ... 176s Setting up libcoq-elpi (2.3.0-1) ... 176s Setting up libcoq-hierarchy-builder (1.8.0-1build1) ... 176s Setting up libcoq-mathcomp-ssreflect (2.3.0-1build1) ... 176s Setting up libcoq-quickchick (2.0.5-1build2) ... 176s Processing triggers for man-db (2.13.0-1) ... 176s Processing triggers for libc-bin (2.41-1ubuntu1) ... 177s autopkgtest [21:57:12]: test command1: coqtop -batch -rifrom QuickChick QuickChick 177s autopkgtest [21:57:12]: test command1: [----------------------- 179s autopkgtest [21:57:14]: test command1: -----------------------] 179s autopkgtest [21:57:14]: test command1: - - - - - - - - - - results - - - - - - - - - - 179s command1 PASS 179s autopkgtest [21:57:14]: @@@@@@@@@@@@@@@@@@@@ summary 179s command1 PASS 196s nova [W] Using flock in prodstack6-s390x 196s Creating nova instance adt-plucky-s390x-coq-quickchick-20250215-215415-juju-7f2275-prod-proposed-migration-environment-20-426257eb-f790-423c-8336-7643f9f00faa from image adt/ubuntu-plucky-s390x-server-20250215.img (UUID 099dc609-2061-4009-a65b-d554466baca0)... 196s nova [W] Timed out waiting for 73177687-b326-4f84-a3e2-9bb9b015f40e to get deleted.