0s autopkgtest [21:54:13]: starting date and time: 2025-02-15 21:54:13+0000
  0s autopkgtest [21:54:13]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production'
  0s autopkgtest [21:54:13]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.315q7kg2/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc,src:iproute2,src:php-twig,src:postgresql-17,src:postgresql-common,src:roundcube --apt-upgrade coq-hammer --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu1 iproute2/6.13.0-1ubuntu1 php-twig/3.19.0-1 postgresql-17/17.3-2 postgresql-common/273 roundcube/1.6.10+dfsg-1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-s390x-23.secgroup --name adt-plucky-s390x-coq-hammer-20250215-215413-juju-7f2275-prod-proposed-migration-environment-2-dd4425f8-a346-4832-bcc9-e9093d435c37 --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/
101s autopkgtest [21:55:54]: testbed dpkg architecture: s390x
102s autopkgtest [21:55:55]: testbed apt version: 2.9.28
102s autopkgtest [21:55:55]: @@@@@@@@@@@@@@@@@@@@ test bed setup
102s autopkgtest [21:55:55]: testbed release detected to be: None
103s autopkgtest [21:55:56]: updating testbed package index (apt update)
103s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [110 kB]
103s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease
103s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease
104s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease
104s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [828 kB]
104s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [13.1 kB]
104s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [3120 B]
104s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [74.3 kB]
104s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [163 kB]
104s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x Packages [760 B]
104s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [876 kB]
104s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3740 B]
104s Fetched 2073 kB in 1s (2158 kB/s)
105s Reading package lists...
105s Reading package lists...
105s Building dependency tree...
105s Reading state information...
105s Calculating upgrade...
106s The following packages were automatically installed and are no longer required:
106s   libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64
106s   linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic
106s   linux-modules-6.11.0-8-generic linux-tools-6.11.0-8
106s   linux-tools-6.11.0-8-generic
106s Use 'sudo apt autoremove' to remove them.
106s The following packages will be upgraded:
106s   dash gcc-14-base libatomic1 libgcc-s1 libstdc++6 libtasn1-6 libxdmcp6
106s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
106s Need to get 1155 kB of archives.
106s After this operation, 16.4 kB of additional disk space will be used.
106s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x dash s390x 0.5.12-12ubuntu1 [100 kB]
106s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libatomic1 s390x 14.2.0-17ubuntu1 [9430 B]
106s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-base s390x 14.2.0-17ubuntu1 [53.5 kB]
106s Get:4 http://ftpmaster.internal/ubuntu plucky/main s390x libstdc++6 s390x 14.2.0-17ubuntu1 [896 kB]
106s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-s1 s390x 14.2.0-17ubuntu1 [35.9 kB]
106s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libtasn1-6 s390x 4.20.0-2 [48.6 kB]
106s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libxdmcp6 s390x 1:1.1.5-1 [11.0 kB]
106s Preconfiguring packages ...
106s Fetched 1155 kB in 1s (1926 kB/s)
107s (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.)
107s Preparing to unpack .../dash_0.5.12-12ubuntu1_s390x.deb ...
107s Unpacking dash (0.5.12-12ubuntu1) over (0.5.12-9ubuntu1) ...
107s Setting up dash (0.5.12-12ubuntu1) ...
107s (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.)
107s Preparing to unpack .../libatomic1_14.2.0-17ubuntu1_s390x.deb ...
107s Unpacking libatomic1:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
107s Preparing to unpack .../gcc-14-base_14.2.0-17ubuntu1_s390x.deb ...
107s Unpacking gcc-14-base:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
107s Setting up gcc-14-base:s390x (14.2.0-17ubuntu1) ...
107s (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.)
107s Preparing to unpack .../libstdc++6_14.2.0-17ubuntu1_s390x.deb ...
107s Unpacking libstdc++6:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
107s Setting up libstdc++6:s390x (14.2.0-17ubuntu1) ...
107s (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.)
107s Preparing to unpack .../libgcc-s1_14.2.0-17ubuntu1_s390x.deb ...
107s Unpacking libgcc-s1:s390x (14.2.0-17ubuntu1) over (14.2.0-16ubuntu1) ...
107s Setting up libgcc-s1:s390x (14.2.0-17ubuntu1) ...
107s (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.)
107s Preparing to unpack .../libtasn1-6_4.20.0-2_s390x.deb ...
107s Unpacking libtasn1-6:s390x (4.20.0-2) over (4.19.0-3build1) ...
107s Preparing to unpack .../libxdmcp6_1%3a1.1.5-1_s390x.deb ...
107s Unpacking libxdmcp6:s390x (1:1.1.5-1) over (1:1.1.3-0ubuntu6) ...
107s Setting up libxdmcp6:s390x (1:1.1.5-1) ...
107s Setting up libatomic1:s390x (14.2.0-17ubuntu1) ...
107s Setting up libtasn1-6:s390x (4.20.0-2) ...
107s Processing triggers for libc-bin (2.40-4ubuntu1) ...
107s Processing triggers for man-db (2.13.0-1) ...
107s Processing triggers for debianutils (5.21) ...
107s Reading package lists...
108s Building dependency tree...
108s Reading state information...
108s The following packages will be REMOVED:
108s   libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64*
108s   linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic*
108s   linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8*
108s   linux-tools-6.11.0-8-generic*
108s 0 upgraded, 0 newly installed, 9 to remove and 6 not upgraded.
108s After this operation, 167 MB disk space will be freed.
108s (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.)
108s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ...
108s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ...
108s Removing libpython3.12t64:s390x (3.12.9-1) ...
108s Removing libpython3.12-stdlib:s390x (3.12.9-1) ...
108s Removing libnsl2:s390x (1.3.0-3build3) ...
108s Removing libpython3.12-minimal:s390x (3.12.9-1) ...
108s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ...
108s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ...
109s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
109s Processing triggers for libc-bin (2.40-4ubuntu1) ...
109s (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.)
109s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ...
109s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ...
109s autopkgtest [21:56:02]: upgrading testbed (apt dist-upgrade and autopurge)
109s Reading package lists...
110s Building dependency tree...
110s Reading state information...
110s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
110s Starting 2 pkgProblemResolver with broken count: 0
110s Done
110s Entering ResolveByKeep
110s 
110s The following packages will be upgraded:
110s   iproute2 libc-bin libc-dev-bin libc6 libc6-dev locales
110s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
110s Need to get 10.7 MB of archives.
110s After this operation, 305 kB of additional disk space will be used.
110s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu1 [24.3 kB]
110s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu1 [1679 kB]
111s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu1 [4246 kB]
111s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu1 [2891 kB]
112s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu1 [672 kB]
112s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x iproute2 s390x 6.13.0-1ubuntu1 [1174 kB]
112s Preconfiguring packages ...
112s Fetched 10.7 MB in 1s (7388 kB/s)
112s (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.)
112s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu1_s390x.deb ...
112s Unpacking libc-dev-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
112s Preparing to unpack .../libc6-dev_2.41-1ubuntu1_s390x.deb ...
112s Unpacking libc6-dev:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
112s Preparing to unpack .../locales_2.41-1ubuntu1_all.deb ...
112s Unpacking locales (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
112s Preparing to unpack .../libc6_2.41-1ubuntu1_s390x.deb ...
112s Checking for services that may need to be restarted...
112s Checking init scripts...
112s Checking for services that may need to be restarted...
112s Checking init scripts...
112s Stopping some services possibly affected by the upgrade (will be restarted later):
112s   cron: stopping...done.
112s 
112s Unpacking libc6:s390x (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
112s Setting up libc6:s390x (2.41-1ubuntu1) ...
112s Checking for services that may need to be restarted...
112s Checking init scripts...
112s Restarting services possibly affected by the upgrade:
112s   cron: restarting...done.
112s 
112s Services restarted successfully.
112s (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.)
112s Preparing to unpack .../libc-bin_2.41-1ubuntu1_s390x.deb ...
112s Unpacking libc-bin (2.41-1ubuntu1) over (2.40-4ubuntu1) ...
113s Setting up libc-bin (2.41-1ubuntu1) ...
113s (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.)
113s Preparing to unpack .../iproute2_6.13.0-1ubuntu1_s390x.deb ...
113s Unpacking iproute2 (6.13.0-1ubuntu1) over (6.10.0-2ubuntu1) ...
113s Setting up iproute2 (6.13.0-1ubuntu1) ...
113s Setting up locales (2.41-1ubuntu1) ...
113s Installing new version of config file /etc/locale.alias ...
113s Generating locales (this might take a while)...
114s   en_US.UTF-8... done
114s Generation complete.
114s Setting up libc-dev-bin (2.41-1ubuntu1) ...
114s Setting up libc6-dev:s390x (2.41-1ubuntu1) ...
114s Processing triggers for man-db (2.13.0-1) ...
115s Processing triggers for systemd (257.2-3ubuntu1) ...
116s Reading package lists...
116s Building dependency tree...
116s Reading state information...
116s Starting pkgProblemResolver with broken count: 0
116s Starting 2 pkgProblemResolver with broken count: 0
116s Done
116s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
116s autopkgtest [21:56:09]: rebooting testbed after setup commands that affected boot
137s autopkgtest [21:56:30]: testbed running kernel: Linux 6.12.0-15-generic #15-Ubuntu SMP Tue Feb  4 15:05:57 UTC 2025
140s autopkgtest [21:56:33]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-hammer
142s Get:1 http://ftpmaster.internal/ubuntu plucky/universe coq-hammer 1.3.2+8.20-1 (dsc) [2112 B]
142s Get:2 http://ftpmaster.internal/ubuntu plucky/universe coq-hammer 1.3.2+8.20-1 (tar) [149 kB]
142s Get:3 http://ftpmaster.internal/ubuntu plucky/universe coq-hammer 1.3.2+8.20-1 (diff) [2744 B]
142s gpgv: Signature made Wed Nov 20 09:45:47 2024 UTC
142s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
142s gpgv:                issuer "jpuydt@debian.org"
142s gpgv: Can't check signature: No public key
142s dpkg-source: warning: cannot verify inline signature for ./coq-hammer_1.3.2+8.20-1.dsc: no acceptable signature found
142s autopkgtest [21:56:35]: testing package coq-hammer version 1.3.2+8.20-1
142s autopkgtest [21:56:35]: build not needed
143s autopkgtest [21:56:36]: test command1: preparing testbed
143s Reading package lists...
143s Building dependency tree...
143s Reading state information...
143s Starting pkgProblemResolver with broken count: 0
143s Starting 2 pkgProblemResolver with broken count: 0
143s Done
144s The following NEW packages will be installed:
144s   coq cpp cpp-14 cpp-14-s390x-linux-gnu cpp-s390x-linux-gnu gcc gcc-14
144s   gcc-14-s390x-linux-gnu gcc-s390x-linux-gnu libasan8 libcc1-0
144s   libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-hammer libcoq-stdlib
144s   libfindlib-ocaml libgcc-14-dev libgomp1 libisl23 libitm1 libmpc3
144s   libncurses-dev libstdlib-ocaml libstdlib-ocaml-dev libubsan1 libzarith-ocaml
144s   libzstd-dev ocaml ocaml-base ocaml-findlib ocaml-interp
144s 0 upgraded, 31 newly installed, 0 to remove and 0 not upgraded.
144s Need to get 268 MB of archives.
144s After this operation, 877 MB of additional disk space will be used.
144s Get:1 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-stdlib s390x 8.20.0+dfsg-1 [27.0 MB]
145s Get:2 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml s390x 5.2.0-3 [426 kB]
145s Get:3 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-base s390x 5.2.0-3 [300 kB]
145s Get:4 http://ftpmaster.internal/ubuntu plucky/universe s390x libfindlib-ocaml s390x 1.9.6-3build1 [189 kB]
145s Get:5 http://ftpmaster.internal/ubuntu plucky/universe s390x libzarith-ocaml s390x 1.14-1 [125 kB]
145s Get:6 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-core-ocaml s390x 8.20.0+dfsg-1 [27.2 MB]
146s Get:7 http://ftpmaster.internal/ubuntu plucky/universe s390x libstdlib-ocaml-dev s390x 5.2.0-3 [10.9 MB]
146s Get:8 http://ftpmaster.internal/ubuntu plucky/universe s390x libcompiler-libs-ocaml-dev s390x 5.2.0-3 [45.1 MB]
147s Get:9 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-interp s390x 5.2.0-3 [8077 kB]
147s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libncurses-dev s390x 6.5+20250125-2 [407 kB]
147s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libisl23 s390x 0.27-1 [704 kB]
147s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libmpc3 s390x 1.3.1-1build2 [57.8 kB]
147s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [9571 kB]
148s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-14 s390x 14.2.0-17ubuntu1 [1030 B]
148s Get:15 http://ftpmaster.internal/ubuntu plucky/main s390x cpp-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [5556 B]
148s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x cpp s390x 4:14.2.0-1ubuntu1 [22.4 kB]
148s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libcc1-0 s390x 14.2.0-17ubuntu1 [50.7 kB]
148s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x libgomp1 s390x 14.2.0-17ubuntu1 [151 kB]
148s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x libitm1 s390x 14.2.0-17ubuntu1 [30.9 kB]
148s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libasan8 s390x 14.2.0-17ubuntu1 [2964 kB]
148s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x libubsan1 s390x 14.2.0-17ubuntu1 [1184 kB]
148s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x libgcc-14-dev s390x 14.2.0-17ubuntu1 [1037 kB]
148s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14-s390x-linux-gnu s390x 14.2.0-17ubuntu1 [18.7 MB]
148s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-14 s390x 14.2.0-17ubuntu1 [526 kB]
148s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x gcc-s390x-linux-gnu s390x 4:14.2.0-1ubuntu1 [1204 B]
148s Get:26 http://ftpmaster.internal/ubuntu plucky/main s390x gcc s390x 4:14.2.0-1ubuntu1 [5004 B]
148s Get:27 http://ftpmaster.internal/ubuntu plucky/main s390x libzstd-dev s390x 1.5.6+dfsg-2 [408 kB]
148s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml s390x 5.2.0-3 [20.0 MB]
149s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x ocaml-findlib s390x 1.9.6-3build1 [658 kB]
149s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x coq s390x 8.20.0+dfsg-1 [91.2 MB]
152s Get:31 http://ftpmaster.internal/ubuntu plucky/universe s390x libcoq-hammer s390x 1.3.2+8.20-1 [595 kB]
152s Fetched 268 MB in 9s (31.2 MB/s)
152s Selecting previously unselected package libcoq-stdlib.
153s (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.)
153s Preparing to unpack .../00-libcoq-stdlib_8.20.0+dfsg-1_s390x.deb ...
153s Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
153s Selecting previously unselected package libstdlib-ocaml.
153s Preparing to unpack .../01-libstdlib-ocaml_5.2.0-3_s390x.deb ...
153s Unpacking libstdlib-ocaml (5.2.0-3) ...
153s Selecting previously unselected package ocaml-base.
153s Preparing to unpack .../02-ocaml-base_5.2.0-3_s390x.deb ...
153s Unpacking ocaml-base (5.2.0-3) ...
153s Selecting previously unselected package libfindlib-ocaml.
153s Preparing to unpack .../03-libfindlib-ocaml_1.9.6-3build1_s390x.deb ...
153s Unpacking libfindlib-ocaml (1.9.6-3build1) ...
153s Selecting previously unselected package libzarith-ocaml.
153s Preparing to unpack .../04-libzarith-ocaml_1.14-1_s390x.deb ...
153s Unpacking libzarith-ocaml (1.14-1) ...
153s Selecting previously unselected package libcoq-core-ocaml.
153s Preparing to unpack .../05-libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb ...
153s Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
154s Selecting previously unselected package libstdlib-ocaml-dev.
154s Preparing to unpack .../06-libstdlib-ocaml-dev_5.2.0-3_s390x.deb ...
154s Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
154s Selecting previously unselected package libcompiler-libs-ocaml-dev.
154s Preparing to unpack .../07-libcompiler-libs-ocaml-dev_5.2.0-3_s390x.deb ...
154s Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
154s Selecting previously unselected package ocaml-interp.
154s Preparing to unpack .../08-ocaml-interp_5.2.0-3_s390x.deb ...
154s Unpacking ocaml-interp (5.2.0-3) ...
154s Selecting previously unselected package libncurses-dev:s390x.
154s Preparing to unpack .../09-libncurses-dev_6.5+20250125-2_s390x.deb ...
154s Unpacking libncurses-dev:s390x (6.5+20250125-2) ...
154s Selecting previously unselected package libisl23:s390x.
154s Preparing to unpack .../10-libisl23_0.27-1_s390x.deb ...
154s Unpacking libisl23:s390x (0.27-1) ...
154s Selecting previously unselected package libmpc3:s390x.
154s Preparing to unpack .../11-libmpc3_1.3.1-1build2_s390x.deb ...
154s Unpacking libmpc3:s390x (1.3.1-1build2) ...
154s Selecting previously unselected package cpp-14-s390x-linux-gnu.
154s Preparing to unpack .../12-cpp-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ...
154s Unpacking cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
154s Selecting previously unselected package cpp-14.
154s Preparing to unpack .../13-cpp-14_14.2.0-17ubuntu1_s390x.deb ...
154s Unpacking cpp-14 (14.2.0-17ubuntu1) ...
154s Selecting previously unselected package cpp-s390x-linux-gnu.
154s Preparing to unpack .../14-cpp-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ...
154s Unpacking cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
154s Selecting previously unselected package cpp.
154s Preparing to unpack .../15-cpp_4%3a14.2.0-1ubuntu1_s390x.deb ...
154s Unpacking cpp (4:14.2.0-1ubuntu1) ...
154s Selecting previously unselected package libcc1-0:s390x.
154s Preparing to unpack .../16-libcc1-0_14.2.0-17ubuntu1_s390x.deb ...
154s Unpacking libcc1-0:s390x (14.2.0-17ubuntu1) ...
154s Selecting previously unselected package libgomp1:s390x.
154s Preparing to unpack .../17-libgomp1_14.2.0-17ubuntu1_s390x.deb ...
154s Unpacking libgomp1:s390x (14.2.0-17ubuntu1) ...
154s Selecting previously unselected package libitm1:s390x.
154s Preparing to unpack .../18-libitm1_14.2.0-17ubuntu1_s390x.deb ...
154s Unpacking libitm1:s390x (14.2.0-17ubuntu1) ...
154s Selecting previously unselected package libasan8:s390x.
154s Preparing to unpack .../19-libasan8_14.2.0-17ubuntu1_s390x.deb ...
154s Unpacking libasan8:s390x (14.2.0-17ubuntu1) ...
154s Selecting previously unselected package libubsan1:s390x.
154s Preparing to unpack .../20-libubsan1_14.2.0-17ubuntu1_s390x.deb ...
154s Unpacking libubsan1:s390x (14.2.0-17ubuntu1) ...
154s Selecting previously unselected package libgcc-14-dev:s390x.
154s Preparing to unpack .../21-libgcc-14-dev_14.2.0-17ubuntu1_s390x.deb ...
154s Unpacking libgcc-14-dev:s390x (14.2.0-17ubuntu1) ...
154s Selecting previously unselected package gcc-14-s390x-linux-gnu.
154s Preparing to unpack .../22-gcc-14-s390x-linux-gnu_14.2.0-17ubuntu1_s390x.deb ...
154s Unpacking gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
155s Selecting previously unselected package gcc-14.
155s Preparing to unpack .../23-gcc-14_14.2.0-17ubuntu1_s390x.deb ...
155s Unpacking gcc-14 (14.2.0-17ubuntu1) ...
155s Selecting previously unselected package gcc-s390x-linux-gnu.
155s Preparing to unpack .../24-gcc-s390x-linux-gnu_4%3a14.2.0-1ubuntu1_s390x.deb ...
155s Unpacking gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
155s Selecting previously unselected package gcc.
155s Preparing to unpack .../25-gcc_4%3a14.2.0-1ubuntu1_s390x.deb ...
155s Unpacking gcc (4:14.2.0-1ubuntu1) ...
155s Selecting previously unselected package libzstd-dev:s390x.
155s Preparing to unpack .../26-libzstd-dev_1.5.6+dfsg-2_s390x.deb ...
155s Unpacking libzstd-dev:s390x (1.5.6+dfsg-2) ...
155s Selecting previously unselected package ocaml.
155s Preparing to unpack .../27-ocaml_5.2.0-3_s390x.deb ...
155s Unpacking ocaml (5.2.0-3) ...
155s Selecting previously unselected package ocaml-findlib.
155s Preparing to unpack .../28-ocaml-findlib_1.9.6-3build1_s390x.deb ...
155s Unpacking ocaml-findlib (1.9.6-3build1) ...
155s Selecting previously unselected package coq.
155s Preparing to unpack .../29-coq_8.20.0+dfsg-1_s390x.deb ...
155s Unpacking coq (8.20.0+dfsg-1) ...
157s Selecting previously unselected package libcoq-hammer.
157s Preparing to unpack .../30-libcoq-hammer_1.3.2+8.20-1_s390x.deb ...
157s Unpacking libcoq-hammer (1.3.2+8.20-1) ...
157s Setting up libncurses-dev:s390x (6.5+20250125-2) ...
157s Setting up libzstd-dev:s390x (1.5.6+dfsg-2) ...
157s Setting up libgomp1:s390x (14.2.0-17ubuntu1) ...
157s Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
157s Setting up libstdlib-ocaml (5.2.0-3) ...
157s Setting up libmpc3:s390x (1.3.1-1build2) ...
157s Setting up ocaml-base (5.2.0-3) ...
157s Setting up libubsan1:s390x (14.2.0-17ubuntu1) ...
157s Setting up libcoq-hammer (1.3.2+8.20-1) ...
157s Setting up libasan8:s390x (14.2.0-17ubuntu1) ...
157s Setting up libisl23:s390x (0.27-1) ...
157s Setting up libcc1-0:s390x (14.2.0-17ubuntu1) ...
157s Setting up libitm1:s390x (14.2.0-17ubuntu1) ...
157s Setting up libstdlib-ocaml-dev (5.2.0-3) ...
157s Setting up libfindlib-ocaml (1.9.6-3build1) ...
157s Setting up libzarith-ocaml (1.14-1) ...
157s Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
157s Setting up ocaml-interp (5.2.0-3) ...
157s Setting up ocaml-findlib (1.9.6-3build1) ...
157s Setting up cpp-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
157s Setting up cpp-14 (14.2.0-17ubuntu1) ...
157s Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
157s Setting up libgcc-14-dev:s390x (14.2.0-17ubuntu1) ...
157s Setting up cpp-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
157s Setting up gcc-14-s390x-linux-gnu (14.2.0-17ubuntu1) ...
157s Setting up gcc-s390x-linux-gnu (4:14.2.0-1ubuntu1) ...
157s Setting up cpp (4:14.2.0-1ubuntu1) ...
157s Setting up gcc-14 (14.2.0-17ubuntu1) ...
157s Setting up gcc (4:14.2.0-1ubuntu1) ...
157s Setting up ocaml (5.2.0-3) ...
157s Setting up coq (8.20.0+dfsg-1) ...
157s Processing triggers for man-db (2.13.0-1) ...
157s Processing triggers for libc-bin (2.41-1ubuntu1) ...
158s autopkgtest [21:56:51]: test command1: coqtop -batch -rifrom Hammer Plugin.Hammer
158s autopkgtest [21:56:51]: test command1: [-----------------------
159s autopkgtest [21:56:52]: test command1: -----------------------]
159s autopkgtest [21:56:52]: test command1:  - - - - - - - - - - results - - - - - - - - - -
159s command1             PASS
160s autopkgtest [21:56:53]: @@@@@@@@@@@@@@@@@@@@ summary
160s command1             PASS
178s nova [W] Using flock in prodstack6-s390x
178s flock: timeout while waiting to get lock
178s Creating nova instance adt-plucky-s390x-coq-hammer-20250215-215413-juju-7f2275-prod-proposed-migration-environment-2-dd4425f8-a346-4832-bcc9-e9093d435c37 from image adt/ubuntu-plucky-s390x-server-20250215.img (UUID 099dc609-2061-4009-a65b-d554466baca0)...
178s nova [W] Timed out waiting for 346bb5f2-0c06-4980-a1b6-1e8ff14bef29 to get deleted.