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-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.vs0exd_b/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-extructures --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-15@sto01-s390x-15.secgroup --name adt-questing-s390x-coq-extructures-20250620-012625-juju-7f2275-prod-proposed-migration-environment-15-16768b30-71d9-41e0-8815-c813630625a6 --image adt/ubuntu-questing-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-autopkgtest-workers-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 49s autopkgtest [01:27:14]: testbed dpkg architecture: s390x 49s autopkgtest [01:27:14]: testbed apt version: 3.1.2 50s autopkgtest [01:27:15]: @@@@@@@@@@@@@@@@@@@@ test bed setup 50s autopkgtest [01:27:15]: testbed release detected to be: None 50s autopkgtest [01:27:15]: updating testbed package index (apt update) 51s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 51s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 51s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 51s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 51s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 51s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 51s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 51s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 51s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main s390x Packages [58.7 kB] 51s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted s390x Packages [960 B] 51s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x Packages [373 kB] 51s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse s390x Packages [6256 B] 51s Fetched 1183 kB in 0s (2761 kB/s) 52s Reading package lists... 52s autopkgtest [01:27:17]: upgrading testbed (apt dist-upgrade and autopurge) 52s Reading package lists... 53s Building dependency tree... 53s Reading state information... 53s Calculating upgrade... 53s The following packages will be upgraded: 53s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 53s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 53s Need to get 1849 kB of archives. 53s After this operation, 9216 B of additional disk space will be used. 53s Get:1 http://ftpmaster.internal/ubuntu questing/main s390x bash s390x 5.2.37-2ubuntu4 [840 kB] 53s Get:2 http://ftpmaster.internal/ubuntu questing/main s390x libatomic1 s390x 15.1.0-8ubuntu1 [9560 B] 53s Get:3 http://ftpmaster.internal/ubuntu questing/main s390x gcc-15-base s390x 15.1.0-8ubuntu1 [55.5 kB] 53s Get:4 http://ftpmaster.internal/ubuntu questing/main s390x libstdc++6 s390x 15.1.0-8ubuntu1 [908 kB] 53s Get:5 http://ftpmaster.internal/ubuntu questing/main s390x libgcc-s1 s390x 15.1.0-8ubuntu1 [36.1 kB] 53s Fetched 1849 kB in 0s (3760 kB/s) 54s (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.) 54s Preparing to unpack .../bash_5.2.37-2ubuntu4_s390x.deb ... 54s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 54s Setting up bash (5.2.37-2ubuntu4) ... 54s Installing new version of config file /etc/bash.bashrc ... 54s 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 54s (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.) 54s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_s390x.deb ... 54s Unpacking libatomic1:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 54s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_s390x.deb ... 54s Unpacking gcc-15-base:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 54s Setting up gcc-15-base:s390x (15.1.0-8ubuntu1) ... 54s (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.) 54s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_s390x.deb ... 54s Unpacking libstdc++6:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 54s Setting up libstdc++6:s390x (15.1.0-8ubuntu1) ... 54s (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.) 54s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_s390x.deb ... 54s Unpacking libgcc-s1:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 54s Setting up libgcc-s1:s390x (15.1.0-8ubuntu1) ... 54s Setting up libatomic1:s390x (15.1.0-8ubuntu1) ... 54s Processing triggers for install-info (7.1.1-1) ... 54s Processing triggers for libc-bin (2.41-6ubuntu2) ... 54s Processing triggers for man-db (2.13.1-1) ... 54s Processing triggers for debianutils (5.23.1) ... 55s Reading package lists... 55s Building dependency tree... 55s Reading state information... 55s Solving dependencies... 55s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 57s autopkgtest [01:27:22]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 13:39:00 UTC 2025 58s autopkgtest [01:27:23]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-extructures 59s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-extructures 0.5.0-1build8 (dsc) [2165 B] 59s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-extructures 0.5.0-1build8 (tar) [42.6 kB] 59s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-extructures 0.5.0-1build8 (diff) [2592 B] 59s gpgv: Signature made Wed May 28 08:06:03 2025 UTC 59s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 59s gpgv: Can't check signature: No public key 59s dpkg-source: warning: cannot verify inline signature for ./coq-extructures_0.5.0-1build8.dsc: no acceptable signature found 59s autopkgtest [01:27:24]: testing package coq-extructures version 0.5.0-1build8 60s autopkgtest [01:27:25]: build not needed 60s autopkgtest [01:27:25]: test command1: preparing testbed 60s Reading package lists... 61s Building dependency tree... 61s Reading state information... 61s Solving dependencies... 61s Some packages could not be installed. This may mean that you have 61s requested an impossible situation or if you are using the unstable 61s distribution that some required packages have not yet been created 61s or been moved out of Incoming. 61s The following information may help to resolve the situation: 61s 61s The following packages have unmet dependencies: 61s satisfy:command-line : Depends: coq but it is not going to be installed 61s Depends: libcoq-extructures but it is not going to be installed 61s E: Unable to satisfy dependencies. Reached two conflicting decisions: 61s 1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install 61s 2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because: 61s 1. satisfy:command-line:s390x=1 is selected for install 61s 2. satisfy:command-line:s390x Depends libcoq-extructures 61s 3. libcoq-extructures:s390x Depends libcoq-stdlib-7yp50 61s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 61s Reading package lists... 61s Building dependency tree... 61s Reading state information... 61s Solving dependencies... 61s Some packages could not be installed. This may mean that you have 61s requested an impossible situation or if you are using the unstable 61s distribution that some required packages have not yet been created 61s or been moved out of Incoming. 61s The following information may help to resolve the situation: 61s 61s The following packages have unmet dependencies: 61s satisfy:command-line : Depends: coq but it is not going to be installed 61s Depends: libcoq-extructures but it is not going to be installed 61s E: Unable to satisfy dependencies. Reached two conflicting decisions: 61s 1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install 61s 2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because: 61s 1. satisfy:command-line:s390x=1 is selected for install 61s 2. satisfy:command-line:s390x Depends libcoq-extructures 61s 3. libcoq-extructures:s390x Depends libcoq-stdlib-7yp50 61s autopkgtest [01:27:26]: @@@@@@@@@@@@@@@@@@@@ summary 61s command1 FAIL badpkg 61s blame: coq-extructures 61s 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. 61s command1 FAIL badpkg 61s blame: coq-extructures 61s 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. 65s nova [W] Using flock in prodstack7-s390x 66s Creating nova instance adt-questing-s390x-coq-extructures-20250620-012625-juju-7f2275-prod-proposed-migration-environment-15-16768b30-71d9-41e0-8815-c813630625a6 from image adt/ubuntu-questing-s390x-server-20250619.img (UUID c560f8b2-324c-425c-968a-b02d1719f790)... 66s nova [W] Timed out waiting for c9f0cece-ecf2-49b6-adff-5e5b64127f0b to get deleted.