0s autopkgtest [01:26:25]: starting date and time: 2025-06-20 01:26:25+0000
  0s autopkgtest [01:26:25]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production'
  0s autopkgtest [01:26:25]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.z57920g6/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:coq,src:findlib,src:ocaml-fpath,src:ocaml-visitors,src:ocaml-zarith,src:ocaml,src:ocplib-simplex,src:ppx-deriving-yojson,src:ppx-deriving --apt-upgrade coq-gappa --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=coq/8.20.1+dfsg-1build1 findlib/1.9.8-1build1 ocaml-fpath/0.7.3-3build5 ocaml-visitors/20250212-1build1 ocaml-zarith/1.14-1build2 ocaml/5.3.0-3 ocplib-simplex/0.5.1-4build6 ppx-deriving-yojson/3.9.1-1build4 ppx-deriving/6.0.3-1build4' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-cpu2-ram4-disk20-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@sto01-s390x-3.secgroup --name adt-questing-s390x-coq-gappa-20250620-012625-juju-7f2275-prod-proposed-migration-environment-20-5e2341ab-a09c-40a9-85b1-203a915770cc --image adt/ubuntu-questing-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --net-id=net_prod-autopkgtest-workers-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/
 71s autopkgtest [01:27:36]: testbed dpkg architecture: s390x
 71s autopkgtest [01:27:36]: testbed apt version: 3.1.2
 72s autopkgtest [01:27:37]: @@@@@@@@@@@@@@@@@@@@ test bed setup
 72s autopkgtest [01:27:37]: testbed release detected to be: None
 72s autopkgtest [01:27:37]: updating testbed package index (apt update)
 73s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB]
 73s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease
 73s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease
 73s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease
 73s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B]
 73s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB]
 73s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB]
 73s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB]
 73s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main s390x Packages [58.7 kB]
 73s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted s390x Packages [960 B]
 73s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x Packages [373 kB]
 73s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse s390x Packages [6256 B]
 73s Fetched 1183 kB in 0s (2499 kB/s)
 75s Reading package lists...
 76s autopkgtest [01:27:41]: upgrading testbed (apt dist-upgrade and autopurge)
 76s Reading package lists...
 76s Building dependency tree...
 76s Reading state information...
 76s Calculating upgrade...
 76s The following packages will be upgraded:
 76s   bash gcc-15-base libatomic1 libgcc-s1 libstdc++6
 76s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 76s Need to get 1849 kB of archives.
 76s After this operation, 9216 B of additional disk space will be used.
 76s Get:1 http://ftpmaster.internal/ubuntu questing/main s390x bash s390x 5.2.37-2ubuntu4 [840 kB]
 77s Get:2 http://ftpmaster.internal/ubuntu questing/main s390x libatomic1 s390x 15.1.0-8ubuntu1 [9560 B]
 77s Get:3 http://ftpmaster.internal/ubuntu questing/main s390x gcc-15-base s390x 15.1.0-8ubuntu1 [55.5 kB]
 77s Get:4 http://ftpmaster.internal/ubuntu questing/main s390x libstdc++6 s390x 15.1.0-8ubuntu1 [908 kB]
 77s Get:5 http://ftpmaster.internal/ubuntu questing/main s390x libgcc-s1 s390x 15.1.0-8ubuntu1 [36.1 kB]
 77s Fetched 1849 kB in 0s (9908 kB/s)
 77s (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 ... 60626 files and directories currently installed.)
 77s Preparing to unpack .../bash_5.2.37-2ubuntu4_s390x.deb ...
 77s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ...
 77s Setting up bash (5.2.37-2ubuntu4) ...
 77s Installing new version of config file /etc/bash.bashrc ...
 77s update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode
 77s (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 ... 60626 files and directories currently installed.)
 77s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_s390x.deb ...
 77s Unpacking libatomic1:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ...
 77s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_s390x.deb ...
 77s Unpacking gcc-15-base:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ...
 77s Setting up gcc-15-base:s390x (15.1.0-8ubuntu1) ...
 77s (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 ... 60626 files and directories currently installed.)
 77s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_s390x.deb ...
 77s Unpacking libstdc++6:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ...
 77s Setting up libstdc++6:s390x (15.1.0-8ubuntu1) ...
 77s (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 ... 60626 files and directories currently installed.)
 77s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_s390x.deb ...
 77s Unpacking libgcc-s1:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ...
 77s Setting up libgcc-s1:s390x (15.1.0-8ubuntu1) ...
 77s Setting up libatomic1:s390x (15.1.0-8ubuntu1) ...
 77s Processing triggers for install-info (7.1.1-1) ...
 77s Processing triggers for libc-bin (2.41-6ubuntu2) ...
 77s Processing triggers for man-db (2.13.1-1) ...
 78s Processing triggers for debianutils (5.23.1) ...
 79s Reading package lists...
 79s Building dependency tree...
 79s Reading state information...
 79s Solving dependencies...
 80s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 82s autopkgtest [01:27:47]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr  6 13:39:00 UTC 2025
 82s autopkgtest [01:27:47]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-gappa
 83s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-gappa 1.7.0-1 (dsc) [2095 B]
 83s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-gappa 1.7.0-1 (tar) [76.4 kB]
 83s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-gappa 1.7.0-1 (diff) [2208 B]
 84s gpgv: Signature made Thu Feb 20 15:30:48 2025 UTC
 84s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
 84s gpgv:                issuer "julien.puydt@laposte.net"
 84s gpgv: Can't check signature: No public key
 84s dpkg-source: warning: cannot verify inline signature for ./coq-gappa_1.7.0-1.dsc: no acceptable signature found
 84s autopkgtest [01:27:49]: testing package coq-gappa version 1.7.0-1
 84s autopkgtest [01:27:49]: build not needed
 84s autopkgtest [01:27:49]: test command1: preparing testbed
 84s Reading package lists...
 84s Building dependency tree...
 84s Reading state information...
 85s Solving dependencies...
 85s Some packages could not be installed. This may mean that you have
 85s requested an impossible situation or if you are using the unstable
 85s distribution that some required packages have not yet been created
 85s or been moved out of Incoming.
 85s The following information may help to resolve the situation:
 85s 
 85s The following packages have unmet dependencies:
 85s  satisfy:command-line : Depends: coq but it is not going to be installed
 85s                         Depends: libcoq-gappa but it is not going to be installed
 85s E: Unable to satisfy dependencies. Reached two conflicting decisions:
 85s    1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install
 85s    2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because:
 85s       1. satisfy:command-line:s390x=1 is selected for install
 85s       2. satisfy:command-line:s390x Depends libcoq-gappa
 85s       3. libcoq-gappa:s390x Depends libcoq-stdlib-7yp50
 85s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed
 85s Reading package lists...
 85s Building dependency tree...
 85s Reading state information...
 85s Solving dependencies...
 85s Some packages could not be installed. This may mean that you have
 85s requested an impossible situation or if you are using the unstable
 85s distribution that some required packages have not yet been created
 85s or been moved out of Incoming.
 85s The following information may help to resolve the situation:
 85s 
 85s The following packages have unmet dependencies:
 85s  satisfy:command-line : Depends: coq but it is not going to be installed
 85s                         Depends: libcoq-gappa but it is not going to be installed
 85s E: Unable to satisfy dependencies. Reached two conflicting decisions:
 85s    1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install
 85s    2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because:
 85s       1. satisfy:command-line:s390x=1 is selected for install
 85s       2. satisfy:command-line:s390x Depends libcoq-gappa
 85s       3. libcoq-gappa:s390x Depends libcoq-stdlib-7yp50
 85s command1             FAIL badpkg
 85s blame: coq-gappa
 85s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U.
 85s autopkgtest [01:27:50]: test testsuite: preparing testbed
 86s Reading package lists...
 86s Building dependency tree...
 86s Reading state information...
 86s Solving dependencies...
 86s Some packages could not be installed. This may mean that you have
 86s requested an impossible situation or if you are using the unstable
 86s distribution that some required packages have not yet been created
 86s or been moved out of Incoming.
 86s The following information may help to resolve the situation:
 86s 
 86s The following packages have unmet dependencies:
 86s  satisfy:command-line : Depends: coq but it is not going to be installed
 86s                         Depends: libcoq-gappa but it is not going to be installed
 86s E: Unable to satisfy dependencies. Reached two conflicting decisions:
 86s    1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install
 86s    2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because:
 86s       1. satisfy:command-line:s390x=1 is selected for install
 86s       2. satisfy:command-line:s390x Depends libcoq-gappa
 86s       3. libcoq-gappa:s390x Depends libcoq-stdlib-7yp50
 86s testsuite            FAIL badpkg
 86s blame: coq-gappa
 86s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U.
 86s autopkgtest [01:27:51]: @@@@@@@@@@@@@@@@@@@@ summary
 86s command1             FAIL badpkg
 86s blame: coq-gappa
 86s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U.
 86s testsuite            FAIL badpkg
 86s blame: coq-gappa
 86s badpkg: Test dependencies are unsatisfiable. A common reason is that your testbed is out of date with respect to the archive, and you need to use a current testbed or run apt-get update or use -U.
102s nova [W] Using flock in prodstack7-s390x
102s Creating nova instance adt-questing-s390x-coq-gappa-20250620-012625-juju-7f2275-prod-proposed-migration-environment-20-5e2341ab-a09c-40a9-85b1-203a915770cc from image adt/ubuntu-questing-s390x-server-20250619.img (UUID c560f8b2-324c-425c-968a-b02d1719f790)...
102s nova [W] Timed out waiting for ef628942-16aa-4a48-94eb-ff4bf5ab03ee to get deleted.