0s autopkgtest [01:26:20]: starting date and time: 2025-06-20 01:26:20+0000 0s autopkgtest [01:26:20]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:20]: host juju-7f2275-prod-proposed-migration-environment-23; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.qk_j88ic/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-ppc64el --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-23@sto01-ppc64el-5.secgroup --name adt-questing-ppc64el-coq-extructures-20250620-012620-juju-7f2275-prod-proposed-migration-environment-23-1cc6d51b-3b5b-4b91-9126-8e75a853e538 --image adt/ubuntu-questing-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-23 --net-id=net_prod-autopkgtest-workers-ppc64el -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 87s autopkgtest [01:27:47]: testbed dpkg architecture: ppc64el 88s autopkgtest [01:27:48]: testbed apt version: 3.1.2 88s autopkgtest [01:27:48]: @@@@@@@@@@@@@@@@@@@@ test bed setup 88s autopkgtest [01:27:48]: testbed release detected to be: None 89s autopkgtest [01:27:49]: updating testbed package index (apt update) 89s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 89s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 89s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 89s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 89s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 89s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 89s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 89s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 89s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main ppc64el Packages [60.7 kB] 89s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted ppc64el Packages [960 B] 89s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe ppc64el Packages [372 kB] 89s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse ppc64el Packages [6652 B] 89s Fetched 1184 kB in 0s (2376 kB/s) 90s Reading package lists... 90s autopkgtest [01:27:50]: upgrading testbed (apt dist-upgrade and autopurge) 91s Reading package lists... 91s Building dependency tree... 91s Reading state information... 91s Calculating upgrade... 91s The following packages will be upgraded: 91s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 91s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 91s Need to get 2001 kB of archives. 91s After this operation, 5120 B of additional disk space will be used. 91s Get:1 http://ftpmaster.internal/ubuntu questing/main ppc64el bash ppc64el 5.2.37-2ubuntu4 [973 kB] 91s Get:2 http://ftpmaster.internal/ubuntu questing/main ppc64el libatomic1 ppc64el 15.1.0-8ubuntu1 [11.0 kB] 91s Get:3 http://ftpmaster.internal/ubuntu questing/main ppc64el gcc-15-base ppc64el 15.1.0-8ubuntu1 [55.5 kB] 91s Get:4 http://ftpmaster.internal/ubuntu questing/main ppc64el libstdc++6 ppc64el 15.1.0-8ubuntu1 [921 kB] 91s Get:5 http://ftpmaster.internal/ubuntu questing/main ppc64el libgcc-s1 ppc64el 15.1.0-8ubuntu1 [40.2 kB] 92s Fetched 2001 kB in 0s (6523 kB/s) 92s (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 ... 79652 files and directories currently installed.) 92s Preparing to unpack .../bash_5.2.37-2ubuntu4_ppc64el.deb ... 92s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 92s Setting up bash (5.2.37-2ubuntu4) ... 92s Installing new version of config file /etc/bash.bashrc ... 92s 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 92s (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 ... 79652 files and directories currently installed.) 92s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_ppc64el.deb ... 92s Unpacking libatomic1:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 92s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_ppc64el.deb ... 92s Unpacking gcc-15-base:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 92s Setting up gcc-15-base:ppc64el (15.1.0-8ubuntu1) ... 92s (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 ... 79652 files and directories currently installed.) 92s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_ppc64el.deb ... 92s Unpacking libstdc++6:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 92s Setting up libstdc++6:ppc64el (15.1.0-8ubuntu1) ... 92s (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 ... 79652 files and directories currently installed.) 92s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_ppc64el.deb ... 92s Unpacking libgcc-s1:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 93s Setting up libgcc-s1:ppc64el (15.1.0-8ubuntu1) ... 93s Setting up libatomic1:ppc64el (15.1.0-8ubuntu1) ... 93s Processing triggers for install-info (7.1.1-1) ... 93s Processing triggers for libc-bin (2.41-6ubuntu2) ... 93s Processing triggers for man-db (2.13.1-1) ... 95s Processing triggers for debianutils (5.23.1) ... 95s Reading package lists... 95s Building dependency tree... 95s Reading state information... 95s Solving dependencies... 95s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 97s autopkgtest [01:27:57]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 14:52:42 UTC 2025 97s autopkgtest [01:27:57]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-extructures 98s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-extructures 0.5.0-1build8 (dsc) [2165 B] 98s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-extructures 0.5.0-1build8 (tar) [42.6 kB] 98s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-extructures 0.5.0-1build8 (diff) [2592 B] 99s gpgv: Signature made Wed May 28 08:06:03 2025 UTC 99s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 99s gpgv: Can't check signature: No public key 99s dpkg-source: warning: cannot verify inline signature for ./coq-extructures_0.5.0-1build8.dsc: no acceptable signature found 99s autopkgtest [01:27:59]: testing package coq-extructures version 0.5.0-1build8 99s autopkgtest [01:27:59]: build not needed 99s autopkgtest [01:27:59]: test command1: preparing testbed 99s Reading package lists... 99s Building dependency tree... 99s Reading state information... 99s Solving dependencies... 99s Some packages could not be installed. This may mean that you have 99s requested an impossible situation or if you are using the unstable 99s distribution that some required packages have not yet been created 99s or been moved out of Incoming. 99s The following information may help to resolve the situation: 99s 99s The following packages have unmet dependencies: 99s satisfy:command-line : Depends: coq but it is not going to be installed 99s Depends: libcoq-extructures but it is not going to be installed 99s E: Unable to satisfy dependencies. Reached two conflicting decisions: 99s 1. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is not selected for install 99s 2. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is selected for install because: 99s 1. satisfy:command-line:ppc64el=1 is selected for install 99s 2. satisfy:command-line:ppc64el Depends libcoq-extructures 99s 3. libcoq-extructures:ppc64el Depends libcoq-stdlib-j3jw0 99s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 100s Reading package lists... 100s Building dependency tree... 100s Reading state information... 100s Solving dependencies... 100s Some packages could not be installed. This may mean that you have 100s requested an impossible situation or if you are using the unstable 100s distribution that some required packages have not yet been created 100s or been moved out of Incoming. 100s The following information may help to resolve the situation: 100s 100s The following packages have unmet dependencies: 100s satisfy:command-line : Depends: coq but it is not going to be installed 100s Depends: libcoq-extructures but it is not going to be installed 100s E: Unable to satisfy dependencies. Reached two conflicting decisions: 100s 1. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is not selected for install 100s 2. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is selected for install because: 100s 1. satisfy:command-line:ppc64el=1 is selected for install 100s 2. satisfy:command-line:ppc64el Depends libcoq-extructures 100s 3. libcoq-extructures:ppc64el Depends libcoq-stdlib-j3jw0 100s autopkgtest [01:28:00]: @@@@@@@@@@@@@@@@@@@@ summary 100s command1 FAIL badpkg 100s blame: coq-extructures 100s 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 command1 FAIL badpkg 100s blame: coq-extructures 100s 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. 104s nova [W] Using flock in prodstack7-ppc64el 104s Creating nova instance adt-questing-ppc64el-coq-extructures-20250620-012620-juju-7f2275-prod-proposed-migration-environment-23-1cc6d51b-3b5b-4b91-9126-8e75a853e538 from image adt/ubuntu-questing-ppc64el-server-20250619.img (UUID 1c97422d-c646-492e-9581-3c98f213de4b)... 104s nova [W] Timed out waiting for a6aaf06b-896d-4afe-94f0-b390ecba3e70 to get deleted.