0s autopkgtest [01:26:22]: starting date and time: 2025-06-20 01:26:22+0000 0s autopkgtest [01:26:22]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [01:26:22]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.0yav6yfl/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-math-classes --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-2@sto01-ppc64el-18.secgroup --name adt-questing-ppc64el-coq-math-classes-20250620-012622-juju-7f2275-prod-proposed-migration-environment-2-39e17d1a-57ae-47b0-8f8a-34a79e816320 --image adt/ubuntu-questing-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-autopkgtest-workers-ppc64el -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 102s autopkgtest [01:28:04]: testbed dpkg architecture: ppc64el 102s autopkgtest [01:28:04]: testbed apt version: 3.1.2 102s autopkgtest [01:28:04]: @@@@@@@@@@@@@@@@@@@@ test bed setup 102s autopkgtest [01:28:04]: testbed release detected to be: None 103s autopkgtest [01:28:05]: updating testbed package index (apt update) 103s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 103s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 103s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 103s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 103s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [439 kB] 103s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 103s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 104s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 104s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main ppc64el Packages [60.7 kB] 104s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted ppc64el Packages [960 B] 104s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe ppc64el Packages [372 kB] 104s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse ppc64el Packages [6652 B] 104s Fetched 1184 kB in 1s (2164 kB/s) 104s Reading package lists... 105s autopkgtest [01:28:07]: upgrading testbed (apt dist-upgrade and autopurge) 105s Reading package lists... 105s Building dependency tree... 105s Reading state information... 105s Calculating upgrade... 105s The following packages will be upgraded: 105s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 106s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 106s Need to get 2001 kB of archives. 106s After this operation, 5120 B of additional disk space will be used. 106s Get:1 http://ftpmaster.internal/ubuntu questing/main ppc64el bash ppc64el 5.2.37-2ubuntu4 [973 kB] 106s Get:2 http://ftpmaster.internal/ubuntu questing/main ppc64el libatomic1 ppc64el 15.1.0-8ubuntu1 [11.0 kB] 106s Get:3 http://ftpmaster.internal/ubuntu questing/main ppc64el gcc-15-base ppc64el 15.1.0-8ubuntu1 [55.5 kB] 106s Get:4 http://ftpmaster.internal/ubuntu questing/main ppc64el libstdc++6 ppc64el 15.1.0-8ubuntu1 [921 kB] 106s Get:5 http://ftpmaster.internal/ubuntu questing/main ppc64el libgcc-s1 ppc64el 15.1.0-8ubuntu1 [40.2 kB] 106s Fetched 2001 kB in 0s (4510 kB/s) 107s (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.) 107s Preparing to unpack .../bash_5.2.37-2ubuntu4_ppc64el.deb ... 107s Unpacking bash (5.2.37-2ubuntu4) over (5.2.37-2ubuntu1) ... 107s Setting up bash (5.2.37-2ubuntu4) ... 107s Installing new version of config file /etc/bash.bashrc ... 107s 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 107s (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.) 107s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_ppc64el.deb ... 107s Unpacking libatomic1:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 107s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_ppc64el.deb ... 107s Unpacking gcc-15-base:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 107s Setting up gcc-15-base:ppc64el (15.1.0-8ubuntu1) ... 107s (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.) 107s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_ppc64el.deb ... 107s Unpacking libstdc++6:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 107s Setting up libstdc++6:ppc64el (15.1.0-8ubuntu1) ... 107s (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.) 107s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_ppc64el.deb ... 107s Unpacking libgcc-s1:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 107s Setting up libgcc-s1:ppc64el (15.1.0-8ubuntu1) ... 108s Setting up libatomic1:ppc64el (15.1.0-8ubuntu1) ... 108s Processing triggers for install-info (7.1.1-1) ... 108s Processing triggers for libc-bin (2.41-6ubuntu2) ... 108s Processing triggers for man-db (2.13.1-1) ... 109s Processing triggers for debianutils (5.23.1) ... 109s Reading package lists... 109s Building dependency tree... 109s Reading state information... 109s Solving dependencies... 109s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 111s autopkgtest [01:28:13]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 14:52:42 UTC 2025 112s autopkgtest [01:28:14]: @@@@@@@@@@@@@@@@@@@@ apt-source coq-math-classes 113s Get:1 http://ftpmaster.internal/ubuntu questing/universe coq-math-classes 8.19.0-1build13 (dsc) [2167 B] 113s Get:2 http://ftpmaster.internal/ubuntu questing/universe coq-math-classes 8.19.0-1build13 (tar) [169 kB] 113s Get:3 http://ftpmaster.internal/ubuntu questing/universe coq-math-classes 8.19.0-1build13 (diff) [3272 B] 113s gpgv: Signature made Wed Feb 19 07:12:09 2025 UTC 113s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 113s gpgv: Can't check signature: No public key 113s dpkg-source: warning: cannot verify inline signature for ./coq-math-classes_8.19.0-1build13.dsc: no acceptable signature found 113s autopkgtest [01:28:15]: testing package coq-math-classes version 8.19.0-1build13 113s autopkgtest [01:28:15]: build not needed 114s autopkgtest [01:28:16]: test command1: preparing testbed 114s Reading package lists... 114s Building dependency tree... 114s Reading state information... 114s Solving dependencies... 114s Some packages could not be installed. This may mean that you have 114s requested an impossible situation or if you are using the unstable 114s distribution that some required packages have not yet been created 114s or been moved out of Incoming. 114s The following information may help to resolve the situation: 114s 114s The following packages have unmet dependencies: 114s satisfy:command-line : Depends: coq but it is not going to be installed 114s Depends: libcoq-math-classes but it is not going to be installed 114s E: Unable to satisfy dependencies. Reached two conflicting decisions: 114s 1. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is not selected for install 114s 2. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is selected for install because: 114s 1. satisfy:command-line:ppc64el=1 is selected for install 114s 2. satisfy:command-line:ppc64el Depends libcoq-math-classes 114s 3. libcoq-math-classes:ppc64el Depends libcoq-stdlib-j3jw0 114s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 114s Reading package lists... 114s Building dependency tree... 114s Reading state information... 114s Solving dependencies... 114s Some packages could not be installed. This may mean that you have 114s requested an impossible situation or if you are using the unstable 114s distribution that some required packages have not yet been created 114s or been moved out of Incoming. 114s The following information may help to resolve the situation: 114s 114s The following packages have unmet dependencies: 115s satisfy:command-line : Depends: coq but it is not going to be installed 115s Depends: libcoq-math-classes but it is not going to be installed 115s E: Unable to satisfy dependencies. Reached two conflicting decisions: 115s 1. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is not selected for install 115s 2. libcoq-stdlib:ppc64el=8.20.1+dfsg-1 is selected for install because: 115s 1. satisfy:command-line:ppc64el=1 is selected for install 115s 2. satisfy:command-line:ppc64el Depends libcoq-math-classes 115s 3. libcoq-math-classes:ppc64el Depends libcoq-stdlib-j3jw0 115s autopkgtest [01:28:17]: @@@@@@@@@@@@@@@@@@@@ summary 115s command1 FAIL badpkg 115s blame: coq-math-classes 115s 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. 115s command1 FAIL badpkg 115s blame: coq-math-classes 115s 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. 118s nova [W] Using flock in prodstack7-ppc64el 118s Creating nova instance adt-questing-ppc64el-coq-math-classes-20250620-012622-juju-7f2275-prod-proposed-migration-environment-2-39e17d1a-57ae-47b0-8f8a-34a79e816320 from image adt/ubuntu-questing-ppc64el-server-20250619.img (UUID 1c97422d-c646-492e-9581-3c98f213de4b)... 118s nova [W] Timed out waiting for 683b385c-9050-419d-90c8-c10b4719279b to get deleted.