0s autopkgtest [06:17:35]: starting date and time: 2025-06-20 06:17:35+0000 0s autopkgtest [06:17:35]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [06:17:35]: host juju-7f2275-prod-proposed-migration-environment-21; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.vgf4rs7x/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:coq-elpi,src:coq,src:elpi,src:findlib,src:ocaml-fpath,src:ocaml-sexplib0,src:ocaml-visitors,src:ocaml-zarith,src:ocaml,src:ppx-deriving-yojson,src:ppx-deriving --apt-upgrade mathcomp-analysis --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=coq-elpi/2.5.0-1.1 coq/8.20.1+dfsg-1build1 elpi/2.0.7-1build1 findlib/1.9.8-1build1 ocaml-fpath/0.7.3-3build5 ocaml-sexplib0/0.17.0-1build2 ocaml-visitors/20250212-1build1 ocaml-zarith/1.14-1build2 ocaml/5.3.0-3 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-21@sto01-ppc64el-20.secgroup --name adt-questing-ppc64el-mathcomp-analysis-20250620-061735-juju-7f2275-prod-proposed-migration-environment-21-38ad2191-dc56-42cf-9bba-d592e80dbcfc --image adt/ubuntu-questing-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-21 --net-id=net_prod-autopkgtest-workers-ppc64el -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 82s autopkgtest [06:18:57]: testbed dpkg architecture: ppc64el 82s autopkgtest [06:18:57]: testbed apt version: 3.1.2 82s autopkgtest [06:18:57]: @@@@@@@@@@@@@@@@@@@@ test bed setup 82s autopkgtest [06:18:57]: testbed release detected to be: None 83s autopkgtest [06:18:58]: updating testbed package index (apt update) 83s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [249 kB] 83s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 83s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 83s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 83s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [32.5 kB] 83s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [438 kB] 83s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/restricted Sources [6836 B] 84s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [16.8 kB] 84s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main ppc64el Packages [61.3 kB] 84s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/restricted ppc64el Packages [960 B] 84s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe ppc64el Packages [380 kB] 84s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse ppc64el Packages [6652 B] 84s Fetched 1193 kB in 0s (2514 kB/s) 84s Reading package lists... 85s autopkgtest [06:19:00]: upgrading testbed (apt dist-upgrade and autopurge) 85s Reading package lists... 85s Building dependency tree... 85s Reading state information... 85s Calculating upgrade... 85s The following packages will be upgraded: 85s bash gcc-15-base libatomic1 libgcc-s1 libstdc++6 86s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 86s Need to get 2001 kB of archives. 86s After this operation, 5120 B of additional disk space will be used. 86s Get:1 http://ftpmaster.internal/ubuntu questing/main ppc64el bash ppc64el 5.2.37-2ubuntu4 [973 kB] 86s Get:2 http://ftpmaster.internal/ubuntu questing/main ppc64el libatomic1 ppc64el 15.1.0-8ubuntu1 [11.0 kB] 86s Get:3 http://ftpmaster.internal/ubuntu questing/main ppc64el gcc-15-base ppc64el 15.1.0-8ubuntu1 [55.5 kB] 86s Get:4 http://ftpmaster.internal/ubuntu questing/main ppc64el libstdc++6 ppc64el 15.1.0-8ubuntu1 [921 kB] 86s Get:5 http://ftpmaster.internal/ubuntu questing/main ppc64el libgcc-s1 ppc64el 15.1.0-8ubuntu1 [40.2 kB] 87s Fetched 2001 kB in 0s (4268 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 ... 79652 files and directories currently installed.) 88s Preparing to unpack .../bash_5.2.37-2ubuntu4_ppc64el.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 ... 79652 files and directories currently installed.) 88s Preparing to unpack .../libatomic1_15.1.0-8ubuntu1_ppc64el.deb ... 88s Unpacking libatomic1:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 88s Preparing to unpack .../gcc-15-base_15.1.0-8ubuntu1_ppc64el.deb ... 88s Unpacking gcc-15-base:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 88s Setting up gcc-15-base:ppc64el (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 ... 79652 files and directories currently installed.) 88s Preparing to unpack .../libstdc++6_15.1.0-8ubuntu1_ppc64el.deb ... 88s Unpacking libstdc++6:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 88s Setting up libstdc++6:ppc64el (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 ... 79652 files and directories currently installed.) 88s Preparing to unpack .../libgcc-s1_15.1.0-8ubuntu1_ppc64el.deb ... 88s Unpacking libgcc-s1:ppc64el (15.1.0-8ubuntu1) over (15.1.0-5ubuntu1) ... 88s Setting up libgcc-s1:ppc64el (15.1.0-8ubuntu1) ... 88s Setting up libatomic1:ppc64el (15.1.0-8ubuntu1) ... 88s Processing triggers for install-info (7.1.1-1) ... 88s Processing triggers for libc-bin (2.41-6ubuntu2) ... 88s Processing triggers for man-db (2.13.1-1) ... 90s Processing triggers for debianutils (5.23.1) ... 90s 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 [06:19:07]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 14:52:42 UTC 2025 92s autopkgtest [06:19:07]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-analysis 94s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1build2 (dsc) [2424 B] 94s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1build2 (tar) [911 kB] 94s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1build2 (diff) [9588 B] 94s gpgv: Signature made Wed May 28 08:07:22 2025 UTC 94s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 94s gpgv: Can't check signature: No public key 94s dpkg-source: warning: cannot verify inline signature for ./mathcomp-analysis_1.9.0-1build2.dsc: no acceptable signature found 94s autopkgtest [06:19:09]: testing package mathcomp-analysis version 1.9.0-1build2 94s autopkgtest [06:19:09]: build not needed 95s autopkgtest [06:19:10]: test command1: 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-mathcomp-analysis but it is not going to be installed 95s Depends: libcoq-mathcomp-classical 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-elpi:ppc64el=2.5.0-1ubuntu1 is not selected for install 95s 2. libcoq-elpi:ppc64el=2.5.0-1ubuntu1 is selected for install because: 95s 1. satisfy:command-line:ppc64el=1 is selected for install 95s 2. satisfy:command-line:ppc64el Depends libcoq-mathcomp-analysis 95s 3. libcoq-mathcomp-analysis:ppc64el Depends libcoq-elpi-fuho6 95s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 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-mathcomp-analysis but it is not going to be installed 96s Depends: libcoq-mathcomp-classical 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-elpi:ppc64el=2.5.0-1ubuntu1 is not selected for install 96s 2. libcoq-elpi:ppc64el=2.5.0-1ubuntu1 is selected for install because: 96s 1. satisfy:command-line:ppc64el=1 is selected for install 96s 2. satisfy:command-line:ppc64el Depends libcoq-mathcomp-analysis 96s 3. libcoq-mathcomp-analysis:ppc64el Depends libcoq-elpi-fuho6 96s command1 FAIL badpkg 96s blame: mathcomp-analysis 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 [06:19:11]: @@@@@@@@@@@@@@@@@@@@ summary 96s command1 FAIL badpkg 96s blame: mathcomp-analysis 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-ppc64el 100s Creating nova instance adt-questing-ppc64el-mathcomp-analysis-20250620-061735-juju-7f2275-prod-proposed-migration-environment-21-38ad2191-dc56-42cf-9bba-d592e80dbcfc from image adt/ubuntu-questing-ppc64el-server-20250619.img (UUID 1c97422d-c646-492e-9581-3c98f213de4b)... 100s nova [W] Timed out waiting for e15b3af4-c193-42d0-855b-b3ab599d27f9 to get deleted.