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.gkkrwze6/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 coquelicot --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-9.secgroup --name adt-questing-s390x-coquelicot-20250620-012627-juju-7f2275-prod-proposed-migration-environment-23-b0c5a633-e341-4bca-bd76-f8351af2b280 --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/ 83s autopkgtest [01:27:50]: testbed dpkg architecture: s390x 83s autopkgtest [01:27:50]: testbed apt version: 3.1.2 84s autopkgtest [01:27:51]: @@@@@@@@@@@@@@@@@@@@ test bed setup 84s autopkgtest [01:27:51]: testbed release detected to be: None 84s autopkgtest [01:27:51]: 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/restricted Sources [6836 B] 85s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 85s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 85s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 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 (2777 kB/s) 86s Reading package lists... 86s autopkgtest [01:27:53]: upgrading testbed (apt dist-upgrade and autopurge) 86s Reading package lists... 87s Building dependency tree... 87s Reading state information... 87s 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] 88s Get:4 http://ftpmaster.internal/ubuntu questing/main s390x libstdc++6 s390x 15.1.0-8ubuntu1 [908 kB] 88s Get:5 http://ftpmaster.internal/ubuntu questing/main s390x libgcc-s1 s390x 15.1.0-8ubuntu1 [36.1 kB] 88s Fetched 1849 kB in 1s (2607 kB/s) 88s (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.) 88s Preparing to unpack .../bash_5.2.37-2ubuntu4_s390x.deb ... 88s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 88s Setting up bash (5.2.37-2ubuntu4) ... 88s Installing new version of config file /etc/bash.bashrc ... 88s 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 88s (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.) 88s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_s390x.deb ... 88s Unpacking libatomic1:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 88s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_s390x.deb ... 88s Unpacking gcc-15-base:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 88s Setting up gcc-15-base:s390x (15.1.0-8ubuntu1) ... 88s (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.) 88s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_s390x.deb ... 88s Unpacking libstdc++6:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 88s Setting up libstdc++6:s390x (15.1.0-8ubuntu1) ... 88s (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.) 88s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_s390x.deb ... 88s Unpacking libgcc-s1:s390x (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 88s Setting up libgcc-s1:s390x (15.1.0-8ubuntu1) ... 88s Setting up libatomic1:s390x (15.1.0-8ubuntu1) ... 88s Processing triggers for install-info (7.1.1-1) ... 89s Processing triggers for libc-bin (2.41-6ubuntu2) ... 89s Processing triggers for man-db (2.13.1-1) ... 89s Processing triggers for debianutils (5.23.1) ... 89s Reading package lists... 90s Building dependency tree... 90s Reading state information... 90s Solving dependencies... 90s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 92s autopkgtest [01:27:59]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 13:39:00 UTC 2025 92s autopkgtest [01:27:59]: @@@@@@@@@@@@@@@@@@@@ apt-source coquelicot 93s Get:1 http://ftpmaster.internal/ubuntu questing/universe coquelicot 3.4.3-1build3 (dsc) [2087 B] 93s Get:2 http://ftpmaster.internal/ubuntu questing/universe coquelicot 3.4.3-1build3 (tar) [230 kB] 93s Get:3 http://ftpmaster.internal/ubuntu questing/universe coquelicot 3.4.3-1build3 (diff) [2428 B] 93s gpgv: Signature made Wed May 28 08:05:31 2025 UTC 93s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 93s gpgv: Can't check signature: No public key 93s dpkg-source: warning: cannot verify inline signature for ./coquelicot_3.4.3-1build3.dsc: no acceptable signature found 93s autopkgtest [01:28:00]: testing package coquelicot version 3.4.3-1build3 94s autopkgtest [01:28:01]: build not needed 95s autopkgtest [01:28:02]: test examples: preparing testbed 95s Reading package lists... 95s Building dependency tree... 95s Reading state information... 95s Solving dependencies... 95s Some packages could not be installed. This may mean that you have 95s requested an impossible situation or if you are using the unstable 95s distribution that some required packages have not yet been created 95s or been moved out of Incoming. 95s The following information may help to resolve the situation: 95s 95s The following packages have unmet dependencies: 95s satisfy:command-line : Depends: libcoq-coquelicot but it is not going to be installed 95s Depends: coq but it is not going to be installed 95s E: Unable to satisfy dependencies. Reached two conflicting decisions: 95s 1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install 95s 2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because: 95s 1. satisfy:command-line:s390x=1 is selected for install 95s 2. satisfy:command-line:s390x Depends libcoq-coquelicot 95s 3. libcoq-coquelicot:s390x Depends libcoq-mathcomp-ssreflect-29gj8 95s 4. libcoq-mathcomp-ssreflect:s390x Depends libcoq-stdlib-7yp50 95s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 95s Reading package lists... 95s Building dependency tree... 95s Reading state information... 95s Solving dependencies... 95s Some packages could not be installed. This may mean that you have 95s requested an impossible situation or if you are using the unstable 95s distribution that some required packages have not yet been created 95s or been moved out of Incoming. 95s The following information may help to resolve the situation: 95s 95s The following packages have unmet dependencies: 96s satisfy:command-line : Depends: libcoq-coquelicot but it is not going to be installed 96s Depends: coq but it is not going to be installed 96s E: Unable to satisfy dependencies. Reached two conflicting decisions: 96s 1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install 96s 2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because: 96s 1. satisfy:command-line:s390x=1 is selected for install 96s 2. satisfy:command-line:s390x Depends libcoq-coquelicot 96s 3. libcoq-coquelicot:s390x Depends libcoq-mathcomp-ssreflect-29gj8 96s 4. libcoq-mathcomp-ssreflect:s390x Depends libcoq-stdlib-7yp50 96s examples FAIL badpkg 96s blame: coquelicot 96s 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. 96s autopkgtest [01:28:03]: test command1: preparing testbed 96s Reading package lists... 96s Building dependency tree... 96s Reading state information... 96s Solving dependencies... 96s Some packages could not be installed. This may mean that you have 96s requested an impossible situation or if you are using the unstable 96s distribution that some required packages have not yet been created 96s or been moved out of Incoming. 96s The following information may help to resolve the situation: 96s 96s The following packages have unmet dependencies: 96s satisfy:command-line : Depends: libcoq-coquelicot but it is not going to be installed 96s Depends: coq but it is not going to be installed 96s E: Unable to satisfy dependencies. Reached two conflicting decisions: 96s 1. libcoq-stdlib:s390x=8.20.1+dfsg-1 is not selected for install 96s 2. libcoq-stdlib:s390x=8.20.1+dfsg-1 is selected for install because: 96s 1. satisfy:command-line:s390x=1 is selected for install 96s 2. satisfy:command-line:s390x Depends libcoq-coquelicot 96s 3. libcoq-coquelicot:s390x Depends libcoq-mathcomp-ssreflect-29gj8 96s 4. libcoq-mathcomp-ssreflect:s390x Depends libcoq-stdlib-7yp50 96s command1 FAIL badpkg 96s blame: coquelicot 96s 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. 96s autopkgtest [01:28:03]: @@@@@@@@@@@@@@@@@@@@ summary 96s examples FAIL badpkg 96s blame: coquelicot 96s 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. 96s command1 FAIL badpkg 96s blame: coquelicot 96s 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. 100s nova [W] Using flock in prodstack7-s390x 100s Creating nova instance adt-questing-s390x-coquelicot-20250620-012627-juju-7f2275-prod-proposed-migration-environment-23-b0c5a633-e341-4bca-bd76-f8351af2b280 from image adt/ubuntu-questing-s390x-server-20250619.img (UUID c560f8b2-324c-425c-968a-b02d1719f790)... 100s nova [W] Timed out waiting for 16e55733-850c-4b3e-941b-6b4c6c1f0266 to get deleted.