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