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.hhxgnyle/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-menhirlib --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-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-s390x-15.secgroup --name adt-questing-s390x-coq-menhirlib-20250620-012626-juju-7f2275-prod-proposed-migration-environment-2-aa633e8f-41b5-4dbc-bed6-a32ce996d7e7 --image adt/ubuntu-questing-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 58s autopkgtest [01:27:24]: testbed dpkg architecture: s390x 58s autopkgtest [01:27:24]: testbed apt version: 3.1.2 58s autopkgtest [01:27:24]: @@@@@@@@@@@@@@@@@@@@ test bed setup 58s autopkgtest [01:27:24]: testbed release detected to be: None 59s autopkgtest [01:27:25]: updating testbed package index (apt update) 59s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 60s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 60s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 60s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 60s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 60s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 60s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 60s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 60s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main s390x Packages [58.7 kB] 60s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted s390x Packages [960 B] 60s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x Packages [373 kB] 60s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse s390x Packages [6256 B] 60s Fetched 1183 kB in 1s (1409 kB/s) 61s Reading package lists... 61s autopkgtest [01:27:27]: upgrading testbed (apt dist-upgrade and autopurge) 61s Reading package lists... 61s Building dependency tree... 61s Reading state information... 62s Calculating upgrade... 62s The following packages will be upgraded: 62s bash gcc-15-base libatomic1 libgcc-s1 libpython3.12-minimal 62s libpython3.12-stdlib libpython3.12t64 libstdc++6 62s 8 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 62s Need to get 7243 kB of archives. 62s After this operation, 251 kB disk space will be freed. 62s Get:1 http://ftpmaster.internal/ubuntu questing/main s390x bash s390x 5.2.37-2ubuntu4 [840 kB] 62s Get:2 http://ftpmaster.internal/ubuntu questing/main s390x libatomic1 s390x 15.1.0-8ubuntu1 [9560 B] 62s Get:3 http://ftpmaster.internal/ubuntu questing/main s390x gcc-15-base s390x 15.1.0-8ubuntu1 [55.5 kB] 62s Get:4 http://ftpmaster.internal/ubuntu questing/main s390x libstdc++6 s390x 15.1.0-8ubuntu1 [908 kB] 62s Get:5 http://ftpmaster.internal/ubuntu questing/main s390x libgcc-s1 s390x 15.1.0-8ubuntu1 [36.1 kB] 62s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x libpython3.12t64 s390x 3.12.10-1 [2509 kB] 62s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x libpython3.12-stdlib s390x 3.12.10-1 [2049 kB] 62s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x libpython3.12-minimal s390x 3.12.10-1 [836 kB] 63s Fetched 7243 kB in 1s (9369 kB/s) 63s (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 ... 82262 files and directories currently installed.) 63s Preparing to unpack .../bash_5.2.37-2ubuntu4_s390x.deb ... 63s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 63s Setting up bash (5.2.37-2ubuntu4) ... 63s Installing new version of config file /etc/bash.bashrc ... 63s 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 63s (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 ... 82262 files and directories currently installed.) 63s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_s390x.deb ... 63s Unpacking libatomic1:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 63s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_s390x.deb ... 63s Unpacking gcc-15-base:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 63s Setting up gcc-15-base:s390x (15.1.0-8ubuntu1) ... 63s (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 ... 82262 files and directories currently installed.) 63s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_s390x.deb ... 63s Unpacking libstdc++6:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 63s Setting up libstdc++6:s390x (15.1.0-8ubuntu1) ... 63s (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 ... 82262 files and directories currently installed.) 63s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_s390x.deb ... 63s Unpacking libgcc-s1:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 63s Setting up libgcc-s1:s390x (15.1.0-8ubuntu1) ... 63s (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 ... 82262 files and directories currently installed.) 63s Preparing to unpack .../libpython3.12t64_3.12.10-1_s390x.deb ... 63s Unpacking libpython3.12t64:s390x (3.12.10-1) over (3.12.8-3) ... 63s Preparing to unpack .../libpython3.12-stdlib_3.12.10-1_s390x.deb ... 63s Unpacking libpython3.12-stdlib:s390x (3.12.10-1) over (3.12.8-3) ... 63s Preparing to unpack .../libpython3.12-minimal_3.12.10-1_s390x.deb ... 63s Unpacking libpython3.12-minimal:s390x (3.12.10-1) over (3.12.8-3) ... 63s Setting up libpython3.12-minimal:s390x (3.12.10-1) ... 63s Setting up libatomic1:s390x (15.1.0-8ubuntu1) ... 63s Setting up libpython3.12-stdlib:s390x (3.12.10-1) ... 63s Setting up libpython3.12t64:s390x (3.12.10-1) ... 63s Processing triggers for install-info (7.1.1-1) ... 63s Processing triggers for libc-bin (2.41-6ubuntu2) ... 63s Processing triggers for man-db (2.13.1-1) ... 64s Processing triggers for debianutils (5.23.1) ... 64s Reading package lists... 64s Building dependency tree... 64s Reading state information... 64s Solving dependencies... 64s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 67s autopkgtest [01:27:33]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 13:39:00 UTC 2025 67s autopkgtest [01:27:33]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-menhirlib 68s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-menhirlib 20240715+ds-1build4 (dsc) [2144 B] 68s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-menhirlib 20240715+ds-1build4 (tar) [45.1 kB] 68s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-menhirlib 20240715+ds-1build4 (diff) [2312 B] 68s gpgv: Signature made Tue Feb 18 20:04:16 2025 UTC 68s gpgv: using RSA key 568BF22A66337CBFC9A6B9B72C83DBC8E9BD0E37 68s gpgv: Can't check signature: No public key 68s dpkg-source: warning: cannot verify inline signature for ./coq-menhirlib_20240715+ds-1build4.dsc: no acceptable signature found 68s autopkgtest [01:27:34]: testing package coq-menhirlib version 20240715+ds-1build4 68s autopkgtest [01:27:34]: build not needed 69s autopkgtest [01:27:35]: test command1: preparing testbed 69s Reading package lists... 69s Building dependency tree... 69s Reading state information... 69s Solving dependencies... 69s Some packages could not be installed. This may mean that you have 69s requested an impossible situation or if you are using the unstable 69s distribution that some required packages have not yet been created 69s or been moved out of Incoming. 69s The following information may help to resolve the situation: 69s 69s The following packages have unmet dependencies: 69s satisfy:command-line : Depends: libcoq-menhirlib but it is not going to be installed 69s Depends: coq but it is not going to be installed 69s E: Unable to satisfy dependencies. Reached two conflicting decisions: 69s 1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install 69s 2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because: 69s 1. satisfy:command-line:s390x=1 is selected for install 69s 2. satisfy:command-line:s390x Depends libcoq-menhirlib 69s 3. libcoq-menhirlib:s390x Depends libcoq-stdlib-7yp50 69s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 70s Reading package lists... 70s Building dependency tree... 70s Reading state information... 70s Solving dependencies... 70s Some packages could not be installed. This may mean that you have 70s requested an impossible situation or if you are using the unstable 70s distribution that some required packages have not yet been created 70s or been moved out of Incoming. 70s The following information may help to resolve the situation: 70s 70s The following packages have unmet dependencies: 70s satisfy:command-line : Depends: libcoq-menhirlib but it is not going to be installed 70s Depends: coq but it is not going to be installed 70s E: Unable to satisfy dependencies. Reached two conflicting decisions: 70s 1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install 70s 2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because: 70s 1. satisfy:command-line:s390x=1 is selected for install 70s 2. satisfy:command-line:s390x Depends libcoq-menhirlib 70s 3. libcoq-menhirlib:s390x Depends libcoq-stdlib-7yp50 70s command1 FAIL badpkg 70s blame: coq-menhirlib 70s 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. 70s autopkgtest [01:27:36]: @@@@@@@@@@@@@@@@@@@@ summary 70s command1 FAIL badpkg 70s blame: coq-menhirlib 70s 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. 90s nova [W] Using flock in prodstack6-s390x 90s Creating nova instance adt-questing-s390x-coq-menhirlib-20250620-012626-juju-7f2275-prod-proposed-migration-environment-2-aa633e8f-41b5-4dbc-bed6-a32ce996d7e7 from image adt/ubuntu-questing-s390x-server-20250619.img (UUID b2d9a05b-cfd4-46d9-a087-051a022c2256)... 90s nova [W] Timed out waiting for 128e7cb7-0f6f-4767-bf5f-6c3575a62f7c to get deleted.