0s autopkgtest [01:26:26]: starting date and time: 2025-06-20 01:26:26+0000 0s autopkgtest [01:26:26]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:26]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.k99o5dnq/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-libhyps --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-2@sto01-s390x-10.secgroup --name adt-questing-s390x-coq-libhyps-20250620-012626-juju-7f2275-prod-proposed-migration-environment-2-0d7d539b-bf63-40d9-98a1-fba1934b05c6 --image adt/ubuntu-questing-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-autopkgtest-workers-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 83s autopkgtest [01:27:49]: testbed dpkg architecture: s390x 83s autopkgtest [01:27:49]: testbed apt version: 3.1.2 84s autopkgtest [01:27:50]: @@@@@@@@@@@@@@@@@@@@ test bed setup 84s autopkgtest [01:27:50]: testbed release detected to be: None 84s autopkgtest [01:27:50]: updating testbed package index (apt update) 85s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 85s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 85s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 85s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 85s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 85s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 85s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 85s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 85s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main s390x Packages [58.7 kB] 85s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted s390x Packages [960 B] 85s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x Packages [373 kB] 85s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse s390x Packages [6256 B] 85s Fetched 1183 kB in 0s (2502 kB/s) 86s Reading package lists... 86s autopkgtest [01:27:52]: upgrading testbed (apt dist-upgrade and autopurge) 86s Reading package lists... 86s Building dependency tree... 86s Reading state information... 86s Calculating upgrade... 87s The following packages will be upgraded: 87s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 87s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 87s Need to get 1849 kB of archives. 87s After this operation, 9216 B of additional disk space will be used. 87s Get:1 http://ftpmaster.internal/ubuntu questing/main s390x bash s390x 5.2.37-2ubuntu4 [840 kB] 87s Get:2 http://ftpmaster.internal/ubuntu questing/main s390x libatomic1 s390x 15.1.0-8ubuntu1 [9560 B] 87s Get:3 http://ftpmaster.internal/ubuntu questing/main s390x gcc-15-base s390x 15.1.0-8ubuntu1 [55.5 kB] 87s Get:4 http://ftpmaster.internal/ubuntu questing/main s390x libstdc++6 s390x 15.1.0-8ubuntu1 [908 kB] 87s Get:5 http://ftpmaster.internal/ubuntu questing/main s390x libgcc-s1 s390x 15.1.0-8ubuntu1 [36.1 kB] 87s Fetched 1849 kB in 0s (14.6 MB/s) 87s (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.) 87s Preparing to unpack .../bash_5.2.37-2ubuntu4_s390x.deb ... 87s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 87s Setting up bash (5.2.37-2ubuntu4) ... 87s Installing new version of config file /etc/bash.bashrc ... 87s 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 87s (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.) 87s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_s390x.deb ... 87s Unpacking libatomic1:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 87s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_s390x.deb ... 87s Unpacking gcc-15-base:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 87s Setting up gcc-15-base:s390x (15.1.0-8ubuntu1) ... 87s (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.) 87s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_s390x.deb ... 87s Unpacking libstdc++6:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 87s Setting up libstdc++6:s390x (15.1.0-8ubuntu1) ... 87s (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.) 87s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_s390x.deb ... 87s Unpacking libgcc-s1:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 87s Setting up libgcc-s1:s390x (15.1.0-8ubuntu1) ... 87s Setting up libatomic1:s390x (15.1.0-8ubuntu1) ... 87s Processing triggers for install-info (7.1.1-1) ... 87s Processing triggers for libc-bin (2.41-6ubuntu2) ... 87s Processing triggers for man-db (2.13.1-1) ... 88s Processing triggers for debianutils (5.23.1) ... 89s Reading package lists... 89s Building dependency tree... 89s Reading state information... 89s Solving dependencies... 89s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 91s autopkgtest [01:27:57]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 13:39:00 UTC 2025 92s autopkgtest [01:27:58]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-libhyps 93s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-libhyps 2.0.8-4build7 (dsc) [2071 B] 93s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-libhyps 2.0.8-4build7 (tar) [37.2 kB] 93s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-libhyps 2.0.8-4build7 (diff) [2452 B] 93s gpgv: Signature made Tue Feb 18 20:04:29 2025 UTC 93s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 93s gpgv: Can't check signature: No public key 93s dpkg-source: warning: cannot verify inline signature for ./coq-libhyps_2.0.8-4build7.dsc: no acceptable signature found 93s autopkgtest [01:27:59]: testing package coq-libhyps version 2.0.8-4build7 93s autopkgtest [01:27:59]: build not needed 93s autopkgtest [01:27:59]: test command1: preparing testbed 94s Reading package lists... 94s Building dependency tree... 94s Reading state information... 94s Solving dependencies... 94s Some packages could not be installed. This may mean that you have 94s requested an impossible situation or if you are using the unstable 94s distribution that some required packages have not yet been created 94s or been moved out of Incoming. 94s The following information may help to resolve the situation: 94s 94s The following packages have unmet dependencies: 94s satisfy:command-line : Depends: coq but it is not going to be installed 94s Depends: libcoq-libhyps but it is not going to be installed 94s E: Unable to satisfy dependencies. Reached two conflicting decisions: 94s 1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install 94s 2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because: 94s 1. satisfy:command-line:s390x=1 is selected for install 94s 2. satisfy:command-line:s390x Depends libcoq-libhyps 94s 3. libcoq-libhyps:s390x Depends libcoq-stdlib-7yp50 94s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 94s Reading package lists... 94s Building dependency tree... 94s Reading state information... 94s Solving dependencies... 94s Some packages could not be installed. This may mean that you have 94s requested an impossible situation or if you are using the unstable 94s distribution that some required packages have not yet been created 94s or been moved out of Incoming. 94s The following information may help to resolve the situation: 94s 94s The following packages have unmet dependencies: 94s satisfy:command-line : Depends: coq but it is not going to be installed 94s Depends: libcoq-libhyps but it is not going to be installed 94s E: Unable to satisfy dependencies. Reached two conflicting decisions: 94s 1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install 94s 2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because: 94s 1. satisfy:command-line:s390x=1 is selected for install 94s 2. satisfy:command-line:s390x Depends libcoq-libhyps 94s 3. libcoq-libhyps:s390x Depends libcoq-stdlib-7yp50 94s command1 FAIL badpkg 94s blame: coq-libhyps 94s 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. 94s autopkgtest [01:28:00]: @@@@@@@@@@@@@@@@@@@@ summary 94s command1 FAIL badpkg 94s blame: coq-libhyps 94s 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. 99s nova [W] Using flock in prodstack7-s390x 99s Creating nova instance adt-questing-s390x-coq-libhyps-20250620-012626-juju-7f2275-prod-proposed-migration-environment-2-0d7d539b-bf63-40d9-98a1-fba1934b05c6 from image adt/ubuntu-questing-s390x-server-20250619.img (UUID c560f8b2-324c-425c-968a-b02d1719f790)... 99s nova [W] Timed out waiting for f90239ea-63e2-471a-9eb3-f0d7fc16e6e1 to get deleted.