0s autopkgtest [17:24:19]: starting date and time: 2025-05-06 17:24:19+0000 0s autopkgtest [17:24:19]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [17:24:19]: host juju-7f2275-prod-proposed-migration-environment-21; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.m3mvv4tw/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:coq-elpi --apt-upgrade mathcomp-analysis --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=coq-elpi/2.5.0-1 -- 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-1.secgroup --name adt-questing-ppc64el-mathcomp-analysis-20250506-172419-juju-7f2275-prod-proposed-migration-environment-21-7dd01ab0-97b0-4416-9d1a-36f4530e9879 --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/ 89s autopkgtest [17:25:48]: testbed dpkg architecture: ppc64el 90s autopkgtest [17:25:49]: testbed apt version: 3.0.0 90s autopkgtest [17:25:49]: @@@@@@@@@@@@@@@@@@@@ test bed setup 90s autopkgtest [17:25:49]: testbed release detected to be: None 91s autopkgtest [17:25:50]: updating testbed package index (apt update) 91s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [110 kB] 91s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 91s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 91s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 91s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [67.8 kB] 91s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [27.3 kB] 92s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [580 kB] 92s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main ppc64el Packages [131 kB] 92s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/universe ppc64el Packages [592 kB] 92s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/multiverse ppc64el Packages [18.1 kB] 92s Fetched 1527 kB in 0s (3303 kB/s) 93s Reading package lists... 93s autopkgtest [17:25:52]: upgrading testbed (apt dist-upgrade and autopurge) 93s Reading package lists... 93s Building dependency tree... 93s Reading state information... 94s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 94s Starting 2 pkgProblemResolver with broken count: 0 94s Done 94s Entering ResolveByKeep 94s 94s Calculating upgrade... 94s The following packages will be upgraded: 94s gcc-15-base libatomic1 libdebuginfod-common libdebuginfod1t64 libdw1t64 94s libelf1t64 libgcc-s1 libperl5.40 libstdc++6 lto-disabled-list perl perl-base 94s perl-modules-5.40 python3-dbus sensible-utils 95s 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 95s Need to get 11.9 MB of archives. 95s After this operation, 76.8 kB of additional disk space will be used. 95s Get:1 http://ftpmaster.internal/ubuntu questing/main ppc64el libperl5.40 ppc64el 5.40.1-3 [4949 kB] 95s Get:2 http://ftpmaster.internal/ubuntu questing/main ppc64el perl ppc64el 5.40.1-3 [262 kB] 95s Get:3 http://ftpmaster.internal/ubuntu questing/main ppc64el perl-base ppc64el 5.40.1-3 [1923 kB] 95s Get:4 http://ftpmaster.internal/ubuntu questing/main ppc64el perl-modules-5.40 all 5.40.1-3 [3217 kB] 95s Get:5 http://ftpmaster.internal/ubuntu questing/main ppc64el libdebuginfod-common all 0.193-1 [15.6 kB] 95s Get:6 http://ftpmaster.internal/ubuntu questing/main ppc64el libatomic1 ppc64el 15.1.0-2ubuntu1 [11.0 kB] 95s Get:7 http://ftpmaster.internal/ubuntu questing/main ppc64el gcc-15-base ppc64el 15.1.0-2ubuntu1 [54.7 kB] 95s Get:8 http://ftpmaster.internal/ubuntu questing/main ppc64el libgcc-s1 ppc64el 15.1.0-2ubuntu1 [40.1 kB] 95s Get:9 http://ftpmaster.internal/ubuntu questing/main ppc64el libstdc++6 ppc64el 15.1.0-2ubuntu1 [920 kB] 95s Get:10 http://ftpmaster.internal/ubuntu questing/main ppc64el sensible-utils all 0.0.25 [25.0 kB] 95s Get:11 http://ftpmaster.internal/ubuntu questing/main ppc64el libdebuginfod1t64 ppc64el 0.193-1 [24.1 kB] 95s Get:12 http://ftpmaster.internal/ubuntu questing/main ppc64el libdw1t64 ppc64el 0.193-1 [318 kB] 95s Get:13 http://ftpmaster.internal/ubuntu questing/main ppc64el libelf1t64 ppc64el 0.193-1 [67.9 kB] 95s Get:14 http://ftpmaster.internal/ubuntu questing/main ppc64el python3-dbus ppc64el 1.4.0-1 [109 kB] 95s Get:15 http://ftpmaster.internal/ubuntu questing/main ppc64el lto-disabled-list all 58 [12.4 kB] 95s Preconfiguring packages ... 95s Fetched 11.9 MB in 0s (24.5 MB/s) 97s (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 ... 78710 files and directories currently installed.) 97s Preparing to unpack .../libperl5.40_5.40.1-3_ppc64el.deb ... 97s Unpacking libperl5.40:ppc64el (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 97s Preparing to unpack .../perl_5.40.1-3_ppc64el.deb ... 97s Unpacking perl (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 97s Preparing to unpack .../perl-base_5.40.1-3_ppc64el.deb ... 97s Unpacking perl-base (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 98s Setting up perl-base (5.40.1-3) ... 98s (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 ... 78710 files and directories currently installed.) 98s Preparing to unpack .../perl-modules-5.40_5.40.1-3_all.deb ... 98s Unpacking perl-modules-5.40 (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 99s Preparing to unpack .../libdebuginfod-common_0.193-1_all.deb ... 99s Unpacking libdebuginfod-common (0.193-1) over (0.192-4ubuntu1) ... 99s Preparing to unpack .../libatomic1_15.1.0-2ubuntu1_ppc64el.deb ... 99s Unpacking libatomic1:ppc64el (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 99s Preparing to unpack .../gcc-15-base_15.1.0-2ubuntu1_ppc64el.deb ... 99s Unpacking gcc-15-base:ppc64el (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 99s Setting up gcc-15-base:ppc64el (15.1.0-2ubuntu1) ... 99s (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 ... 78710 files and directories currently installed.) 99s Preparing to unpack .../libgcc-s1_15.1.0-2ubuntu1_ppc64el.deb ... 99s Unpacking libgcc-s1:ppc64el (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 99s Setting up libgcc-s1:ppc64el (15.1.0-2ubuntu1) ... 99s (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 ... 78710 files and directories currently installed.) 99s Preparing to unpack .../libstdc++6_15.1.0-2ubuntu1_ppc64el.deb ... 99s Unpacking libstdc++6:ppc64el (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 99s Setting up libstdc++6:ppc64el (15.1.0-2ubuntu1) ... 99s (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 ... 78710 files and directories currently installed.) 99s Preparing to unpack .../0-sensible-utils_0.0.25_all.deb ... 99s Unpacking sensible-utils (0.0.25) over (0.0.24) ... 99s Preparing to unpack .../1-libdebuginfod1t64_0.193-1_ppc64el.deb ... 99s Unpacking libdebuginfod1t64:ppc64el (0.193-1) over (0.192-4ubuntu1) ... 99s Preparing to unpack .../2-libdw1t64_0.193-1_ppc64el.deb ... 99s Unpacking libdw1t64:ppc64el (0.193-1) over (0.192-4ubuntu1) ... 99s Preparing to unpack .../3-libelf1t64_0.193-1_ppc64el.deb ... 99s Unpacking libelf1t64:ppc64el (0.193-1) over (0.192-4ubuntu1) ... 99s Preparing to unpack .../4-python3-dbus_1.4.0-1_ppc64el.deb ... 99s Unpacking python3-dbus (1.4.0-1) over (1.3.2-5build5) ... 100s Preparing to unpack .../5-lto-disabled-list_58_all.deb ... 100s Unpacking lto-disabled-list (58) over (57) ... 100s Setting up python3-dbus (1.4.0-1) ... 100s Setting up lto-disabled-list (58) ... 100s Setting up libdebuginfod-common (0.193-1) ... 100s Setting up libelf1t64:ppc64el (0.193-1) ... 100s Setting up libdw1t64:ppc64el (0.193-1) ... 100s Setting up libatomic1:ppc64el (15.1.0-2ubuntu1) ... 100s Setting up perl-modules-5.40 (5.40.1-3) ... 100s Setting up sensible-utils (0.0.25) ... 100s Setting up libdebuginfod1t64:ppc64el (0.193-1) ... 100s Setting up libperl5.40:ppc64el (5.40.1-3) ... 100s Setting up perl (5.40.1-3) ... 100s Processing triggers for man-db (2.13.1-1) ... 103s Processing triggers for libc-bin (2.41-6ubuntu1) ... 103s Reading package lists... 103s Building dependency tree... 103s Reading state information... 103s Starting pkgProblemResolver with broken count: 0 103s Starting 2 pkgProblemResolver with broken count: 0 103s Done 104s Solving dependencies... 104s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 106s autopkgtest [17:26:05]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 14:52:42 UTC 2025 106s autopkgtest [17:26:05]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-analysis 108s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (dsc) [2437 B] 108s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (tar) [911 kB] 108s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (diff) [9484 B] 108s gpgv: Signature made Thu Feb 20 20:01:00 2025 UTC 108s gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 108s gpgv: issuer "julien.puydt@laposte.net" 108s gpgv: Can't check signature: No public key 108s dpkg-source: warning: cannot verify inline signature for ./mathcomp-analysis_1.9.0-1.dsc: no acceptable signature found 109s autopkgtest [17:26:08]: testing package mathcomp-analysis version 1.9.0-1 109s autopkgtest [17:26:08]: build not needed 110s autopkgtest [17:26:09]: test command1: preparing testbed 110s Reading package lists... 110s Building dependency tree... 110s Reading state information... 110s Starting pkgProblemResolver with broken count: 2 110s Starting 2 pkgProblemResolver with broken count: 2 110s Investigating (0) libcoq-mathcomp-classical:ppc64el < none -> 1.9.0-1 @un puN Ib > 110s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-elpi-1rx37:ppc64el < none @un H > 110s Considering libcoq-elpi:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 110s Re-Instated libsexplib0-ocaml:ppc64el 110s Re-Instated libppx-deriving-ocaml:ppc64el 110s Re-Instated libelpi-ocaml:ppc64el 110s Re-Instated libmenhir-ocaml-dev:ppc64el 110s Re-Instated libocaml-compiler-libs-ocaml-dev:ppc64el 110s Re-Instated libppx-derivers-ocaml-dev:ppc64el 110s Re-Instated libsexplib0-ocaml-dev:ppc64el 110s Re-Instated libppxlib-ocaml-dev:ppc64el 110s Re-Instated libppx-deriving-ocaml-dev:ppc64el 110s Re-Instated libre-ocaml-dev:ppc64el 110s Re-Instated libelpi-ocaml-dev:ppc64el 110s Re-Instated libfindlib-ocaml-dev:ppc64el 110s Re-Instated libgmpxx4ldbl:ppc64el 110s Re-Instated libgmp-dev:ppc64el 110s Re-Instated libgmp3-dev:ppc64el 110s Re-Instated libzarith-ocaml-dev:ppc64el 110s Re-Instated libcoq-core-ocaml-dev:ppc64el 110s Re-Instated libcoq-elpi:ppc64el 110s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-hierarchy-builder-o3hk9:ppc64el < none @un H > 110s Considering libcoq-hierarchy-builder:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 110s Reinst Failed early because of libcoq-elpi-1rx37:ppc64el 110s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-algebra-zk0r2:ppc64el < none @un H > 110s Considering libcoq-mathcomp-algebra:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 110s Reinst Failed because of libcoq-hierarchy-builder:ppc64el 110s Reinst Failed because of libcoq-mathcomp-ssreflect:ppc64el 110s Reinst Failed because of libcoq-mathcomp-fingroup:ppc64el 110s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-field-jpr85:ppc64el < none @un H > 110s Considering libcoq-mathcomp-field:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 110s Reinst Failed because of libcoq-mathcomp-algebra:ppc64el 110s Reinst Failed because of libcoq-mathcomp-solvable:ppc64el 110s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-fingroup-vjl11:ppc64el < none @un H > 110s Considering libcoq-mathcomp-fingroup:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 110s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-solvable-bxc78:ppc64el < none @un H > 110s Considering libcoq-mathcomp-solvable:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 110s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-ssreflect-pfr19:ppc64el < none @un H > 110s Considering libcoq-mathcomp-ssreflect:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 110s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-bigenough-l44f0:ppc64el < none @un H > 110s Considering libcoq-mathcomp-bigenough:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 110s Reinst Failed because of libcoq-mathcomp-ssreflect:ppc64el 110s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-finmap-1vep2:ppc64el < none @un H > 110s Considering libcoq-mathcomp-finmap:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 110s Reinst Failed because of libcoq-mathcomp-ssreflect:ppc64el 110s Investigating (0) libcoq-mathcomp-analysis:ppc64el < none -> 1.9.0-1 @un puN Ib > 110s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-elpi-1rx37:ppc64el < none @un H > 110s Considering libcoq-elpi:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 110s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-hierarchy-builder-o3hk9:ppc64el < none @un H > 110s Considering libcoq-hierarchy-builder:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 110s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-algebra-zk0r2:ppc64el < none @un H > 110s Considering libcoq-mathcomp-algebra:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 110s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-field-jpr85:ppc64el < none @un H > 110s Considering libcoq-mathcomp-field:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 110s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-fingroup-vjl11:ppc64el < none @un H > 110s Considering libcoq-mathcomp-fingroup:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 110s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-solvable-bxc78:ppc64el < none @un H > 110s Considering libcoq-mathcomp-solvable:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 110s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-ssreflect-pfr19:ppc64el < none @un H > 110s Considering libcoq-mathcomp-ssreflect:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 110s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-bigenough-l44f0:ppc64el < none @un H > 110s Considering libcoq-mathcomp-bigenough:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 110s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-finmap-1vep2:ppc64el < none @un H > 110s Considering libcoq-mathcomp-finmap:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 110s Done 110s Some packages could not be installed. This may mean that you have 110s requested an impossible situation or if you are using the unstable 110s distribution that some required packages have not yet been created 110s or been moved out of Incoming. 110s The following information may help to resolve the situation: 110s 110s The following packages have unmet dependencies: 110s libcoq-mathcomp-analysis : Depends: libcoq-elpi-1rx37 110s Depends: libcoq-hierarchy-builder-o3hk9 110s Depends: libcoq-mathcomp-algebra-zk0r2 110s Depends: libcoq-mathcomp-field-jpr85 110s Depends: libcoq-mathcomp-fingroup-vjl11 110s Depends: libcoq-mathcomp-solvable-bxc78 110s Depends: libcoq-mathcomp-ssreflect-pfr19 110s Depends: libcoq-mathcomp-bigenough-l44f0 110s Depends: libcoq-mathcomp-finmap-1vep2 110s libcoq-mathcomp-classical : Depends: libcoq-elpi-1rx37 110s Depends: libcoq-hierarchy-builder-o3hk9 110s Depends: libcoq-mathcomp-algebra-zk0r2 110s Depends: libcoq-mathcomp-field-jpr85 110s Depends: libcoq-mathcomp-fingroup-vjl11 110s Depends: libcoq-mathcomp-solvable-bxc78 110s Depends: libcoq-mathcomp-ssreflect-pfr19 110s Depends: libcoq-mathcomp-bigenough-l44f0 110s Depends: libcoq-mathcomp-finmap-1vep2 110s E: Unable to correct problems, you have held broken packages. 110s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 111s Reading package lists... 111s Building dependency tree... 111s Reading state information... 111s Starting pkgProblemResolver with broken count: 2 111s Starting 2 pkgProblemResolver with broken count: 2 111s Investigating (0) libcoq-mathcomp-classical:ppc64el < none -> 1.9.0-1 @un puN Ib > 111s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-elpi-1rx37:ppc64el < none @un H > 111s Considering libcoq-elpi:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 111s Re-Instated libsexplib0-ocaml:ppc64el 111s Re-Instated libppx-deriving-ocaml:ppc64el 111s Re-Instated libelpi-ocaml:ppc64el 111s Re-Instated libmenhir-ocaml-dev:ppc64el 111s Re-Instated libocaml-compiler-libs-ocaml-dev:ppc64el 111s Re-Instated libppx-derivers-ocaml-dev:ppc64el 111s Re-Instated libsexplib0-ocaml-dev:ppc64el 111s Re-Instated libppxlib-ocaml-dev:ppc64el 111s Re-Instated libppx-deriving-ocaml-dev:ppc64el 111s Re-Instated libre-ocaml-dev:ppc64el 111s Re-Instated libelpi-ocaml-dev:ppc64el 111s Re-Instated libfindlib-ocaml-dev:ppc64el 111s Re-Instated libgmpxx4ldbl:ppc64el 111s Re-Instated libgmp-dev:ppc64el 111s Re-Instated libgmp3-dev:ppc64el 111s Re-Instated libzarith-ocaml-dev:ppc64el 111s Re-Instated libcoq-core-ocaml-dev:ppc64el 111s Re-Instated libcoq-elpi:ppc64el 111s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-hierarchy-builder-o3hk9:ppc64el < none @un H > 111s Considering libcoq-hierarchy-builder:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 111s Reinst Failed early because of libcoq-elpi-1rx37:ppc64el 111s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-algebra-zk0r2:ppc64el < none @un H > 111s Considering libcoq-mathcomp-algebra:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 111s Reinst Failed because of libcoq-hierarchy-builder:ppc64el 111s Reinst Failed because of libcoq-mathcomp-ssreflect:ppc64el 111s Reinst Failed because of libcoq-mathcomp-fingroup:ppc64el 111s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-field-jpr85:ppc64el < none @un H > 111s Considering libcoq-mathcomp-field:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 111s Reinst Failed because of libcoq-mathcomp-algebra:ppc64el 111s Reinst Failed because of libcoq-mathcomp-solvable:ppc64el 111s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-fingroup-vjl11:ppc64el < none @un H > 111s Considering libcoq-mathcomp-fingroup:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 111s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-solvable-bxc78:ppc64el < none @un H > 111s Considering libcoq-mathcomp-solvable:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 111s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-ssreflect-pfr19:ppc64el < none @un H > 111s Considering libcoq-mathcomp-ssreflect:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 111s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-bigenough-l44f0:ppc64el < none @un H > 111s Considering libcoq-mathcomp-bigenough:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 111s Reinst Failed because of libcoq-mathcomp-ssreflect:ppc64el 111s Broken libcoq-mathcomp-classical:ppc64el Depends on libcoq-mathcomp-finmap-1vep2:ppc64el < none @un H > 111s Considering libcoq-mathcomp-finmap:ppc64el 0 as a solution to libcoq-mathcomp-classical:ppc64el 1 111s Reinst Failed because of libcoq-mathcomp-ssreflect:ppc64el 111s Investigating (0) libcoq-mathcomp-analysis:ppc64el < none -> 1.9.0-1 @un puN Ib > 111s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-elpi-1rx37:ppc64el < none @un H > 111s Considering libcoq-elpi:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 111s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-hierarchy-builder-o3hk9:ppc64el < none @un H > 111s Considering libcoq-hierarchy-builder:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 111s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-algebra-zk0r2:ppc64el < none @un H > 111s Considering libcoq-mathcomp-algebra:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 111s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-field-jpr85:ppc64el < none @un H > 111s Considering libcoq-mathcomp-field:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 111s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-fingroup-vjl11:ppc64el < none @un H > 111s Considering libcoq-mathcomp-fingroup:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 111s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-solvable-bxc78:ppc64el < none @un H > 111s Considering libcoq-mathcomp-solvable:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 111s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-ssreflect-pfr19:ppc64el < none @un H > 111s Considering libcoq-mathcomp-ssreflect:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 111s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-bigenough-l44f0:ppc64el < none @un H > 111s Considering libcoq-mathcomp-bigenough:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 111s Broken libcoq-mathcomp-analysis:ppc64el Depends on libcoq-mathcomp-finmap-1vep2:ppc64el < none @un H > 111s Considering libcoq-mathcomp-finmap:ppc64el 0 as a solution to libcoq-mathcomp-analysis:ppc64el 0 111s Done 111s Some packages could not be installed. This may mean that you have 111s requested an impossible situation or if you are using the unstable 111s distribution that some required packages have not yet been created 111s or been moved out of Incoming. 111s The following information may help to resolve the situation: 111s 111s The following packages have unmet dependencies: 111s libcoq-mathcomp-analysis : Depends: libcoq-elpi-1rx37 111s Depends: libcoq-hierarchy-builder-o3hk9 111s Depends: libcoq-mathcomp-algebra-zk0r2 111s Depends: libcoq-mathcomp-field-jpr85 111s Depends: libcoq-mathcomp-fingroup-vjl11 111s Depends: libcoq-mathcomp-solvable-bxc78 111s Depends: libcoq-mathcomp-ssreflect-pfr19 111s Depends: libcoq-mathcomp-bigenough-l44f0 111s Depends: libcoq-mathcomp-finmap-1vep2 111s libcoq-mathcomp-classical : Depends: libcoq-elpi-1rx37 111s Depends: libcoq-hierarchy-builder-o3hk9 111s Depends: libcoq-mathcomp-algebra-zk0r2 111s Depends: libcoq-mathcomp-field-jpr85 111s Depends: libcoq-mathcomp-fingroup-vjl11 111s Depends: libcoq-mathcomp-solvable-bxc78 111s Depends: libcoq-mathcomp-ssreflect-pfr19 111s Depends: libcoq-mathcomp-bigenough-l44f0 111s Depends: libcoq-mathcomp-finmap-1vep2 111s E: Unable to correct problems, you have held broken packages. 111s command1 FAIL badpkg 111s blame: mathcomp-analysis 111s 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. 111s autopkgtest [17:26:10]: @@@@@@@@@@@@@@@@@@@@ summary 111s command1 FAIL badpkg 111s blame: mathcomp-analysis 111s 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 nova [W] Using flock in prodstack7-ppc64el 115s Creating nova instance adt-questing-ppc64el-mathcomp-analysis-20250506-172419-juju-7f2275-prod-proposed-migration-environment-21-7dd01ab0-97b0-4416-9d1a-36f4530e9879 from image adt/ubuntu-questing-ppc64el-server-20250506.img (UUID e1f89dbe-ec13-4fb8-859d-773ec93960ca)... 115s nova [W] Timed out waiting for 8f21dff6-7b8c-489d-be62-ca6ef9dda510 to get deleted.