0s autopkgtest [17:25:34]: starting date and time: 2025-05-06 17:25:34+0000 0s autopkgtest [17:25:34]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [17:25:34]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.29z0dyfz/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-algebra-tactics --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-2@sto01-ppc64el-1.secgroup --name adt-questing-ppc64el-mathcomp-algebra-tactics-20250506-172529-juju-7f2275-prod-proposed-migration-environment-2-c7467925-9c52-4760-be85-ccf943a97732 --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/ 97s autopkgtest [17:27:11]: testbed dpkg architecture: ppc64el 97s autopkgtest [17:27:11]: testbed apt version: 3.0.0 97s autopkgtest [17:27:11]: @@@@@@@@@@@@@@@@@@@@ test bed setup 97s autopkgtest [17:27:11]: testbed release detected to be: None 98s autopkgtest [17:27:12]: updating testbed package index (apt update) 98s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [110 kB] 98s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 98s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 98s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 98s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [580 kB] 98s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [27.3 kB] 99s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [67.8 kB] 99s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main ppc64el Packages [131 kB] 99s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/universe ppc64el Packages [592 kB] 99s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/multiverse ppc64el Packages [18.1 kB] 99s Fetched 1527 kB in 0s (3438 kB/s) 100s Reading package lists... 100s autopkgtest [17:27:14]: upgrading testbed (apt dist-upgrade and autopurge) 100s Reading package lists... 100s Building dependency tree... 100s Reading state information... 101s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 101s Starting 2 pkgProblemResolver with broken count: 0 101s Done 101s Entering ResolveByKeep 101s 101s Calculating upgrade... 101s The following packages will be upgraded: 101s gcc-15-base libatomic1 libdebuginfod-common libdebuginfod1t64 libdw1t64 101s libelf1t64 libgcc-s1 libperl5.40 libstdc++6 lto-disabled-list perl perl-base 101s perl-modules-5.40 python3-dbus sensible-utils 102s 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 102s Need to get 11.9 MB of archives. 102s After this operation, 76.8 kB of additional disk space will be used. 102s Get:1 http://ftpmaster.internal/ubuntu questing/main ppc64el libperl5.40 ppc64el 5.40.1-3 [4949 kB] 102s Get:2 http://ftpmaster.internal/ubuntu questing/main ppc64el perl ppc64el 5.40.1-3 [262 kB] 102s Get:3 http://ftpmaster.internal/ubuntu questing/main ppc64el perl-base ppc64el 5.40.1-3 [1923 kB] 102s Get:4 http://ftpmaster.internal/ubuntu questing/main ppc64el perl-modules-5.40 all 5.40.1-3 [3217 kB] 102s Get:5 http://ftpmaster.internal/ubuntu questing/main ppc64el libdebuginfod-common all 0.193-1 [15.6 kB] 102s Get:6 http://ftpmaster.internal/ubuntu questing/main ppc64el libatomic1 ppc64el 15.1.0-2ubuntu1 [11.0 kB] 102s Get:7 http://ftpmaster.internal/ubuntu questing/main ppc64el gcc-15-base ppc64el 15.1.0-2ubuntu1 [54.7 kB] 102s Get:8 http://ftpmaster.internal/ubuntu questing/main ppc64el libgcc-s1 ppc64el 15.1.0-2ubuntu1 [40.1 kB] 102s Get:9 http://ftpmaster.internal/ubuntu questing/main ppc64el libstdc++6 ppc64el 15.1.0-2ubuntu1 [920 kB] 102s Get:10 http://ftpmaster.internal/ubuntu questing/main ppc64el sensible-utils all 0.0.25 [25.0 kB] 102s Get:11 http://ftpmaster.internal/ubuntu questing/main ppc64el libdebuginfod1t64 ppc64el 0.193-1 [24.1 kB] 102s Get:12 http://ftpmaster.internal/ubuntu questing/main ppc64el libdw1t64 ppc64el 0.193-1 [318 kB] 102s Get:13 http://ftpmaster.internal/ubuntu questing/main ppc64el libelf1t64 ppc64el 0.193-1 [67.9 kB] 102s Get:14 http://ftpmaster.internal/ubuntu questing/main ppc64el python3-dbus ppc64el 1.4.0-1 [109 kB] 102s Get:15 http://ftpmaster.internal/ubuntu questing/main ppc64el lto-disabled-list all 58 [12.4 kB] 103s Preconfiguring packages ... 103s Fetched 11.9 MB in 0s (39.5 MB/s) 103s (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.) 103s Preparing to unpack .../libperl5.40_5.40.1-3_ppc64el.deb ... 103s Unpacking libperl5.40:ppc64el (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 104s Preparing to unpack .../perl_5.40.1-3_ppc64el.deb ... 104s Unpacking perl (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 104s Preparing to unpack .../perl-base_5.40.1-3_ppc64el.deb ... 104s Unpacking perl-base (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 104s Setting up perl-base (5.40.1-3) ... 104s (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.) 104s Preparing to unpack .../perl-modules-5.40_5.40.1-3_all.deb ... 104s Unpacking perl-modules-5.40 (5.40.1-3) over (5.40.1-2ubuntu0.1) ... 105s Preparing to unpack .../libdebuginfod-common_0.193-1_all.deb ... 105s Unpacking libdebuginfod-common (0.193-1) over (0.192-4ubuntu1) ... 105s Preparing to unpack .../libatomic1_15.1.0-2ubuntu1_ppc64el.deb ... 105s Unpacking libatomic1:ppc64el (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 105s Preparing to unpack .../gcc-15-base_15.1.0-2ubuntu1_ppc64el.deb ... 105s Unpacking gcc-15-base:ppc64el (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 105s Setting up gcc-15-base:ppc64el (15.1.0-2ubuntu1) ... 105s (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.) 105s Preparing to unpack .../libgcc-s1_15.1.0-2ubuntu1_ppc64el.deb ... 105s Unpacking libgcc-s1:ppc64el (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 105s Setting up libgcc-s1:ppc64el (15.1.0-2ubuntu1) ... 105s (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.) 105s Preparing to unpack .../libstdc++6_15.1.0-2ubuntu1_ppc64el.deb ... 105s Unpacking libstdc++6:ppc64el (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ... 105s Setting up libstdc++6:ppc64el (15.1.0-2ubuntu1) ... 105s (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.) 105s Preparing to unpack .../0-sensible-utils_0.0.25_all.deb ... 105s Unpacking sensible-utils (0.0.25) over (0.0.24) ... 105s Preparing to unpack .../1-libdebuginfod1t64_0.193-1_ppc64el.deb ... 105s Unpacking libdebuginfod1t64:ppc64el (0.193-1) over (0.192-4ubuntu1) ... 105s Preparing to unpack .../2-libdw1t64_0.193-1_ppc64el.deb ... 105s Unpacking libdw1t64:ppc64el (0.193-1) over (0.192-4ubuntu1) ... 105s Preparing to unpack .../3-libelf1t64_0.193-1_ppc64el.deb ... 105s Unpacking libelf1t64:ppc64el (0.193-1) over (0.192-4ubuntu1) ... 105s Preparing to unpack .../4-python3-dbus_1.4.0-1_ppc64el.deb ... 106s Unpacking python3-dbus (1.4.0-1) over (1.3.2-5build5) ... 106s Preparing to unpack .../5-lto-disabled-list_58_all.deb ... 106s Unpacking lto-disabled-list (58) over (57) ... 106s Setting up python3-dbus (1.4.0-1) ... 106s Setting up lto-disabled-list (58) ... 106s Setting up libdebuginfod-common (0.193-1) ... 106s Setting up libelf1t64:ppc64el (0.193-1) ... 106s Setting up libdw1t64:ppc64el (0.193-1) ... 106s Setting up libatomic1:ppc64el (15.1.0-2ubuntu1) ... 106s Setting up perl-modules-5.40 (5.40.1-3) ... 106s Setting up sensible-utils (0.0.25) ... 106s Setting up libdebuginfod1t64:ppc64el (0.193-1) ... 106s Setting up libperl5.40:ppc64el (5.40.1-3) ... 106s Setting up perl (5.40.1-3) ... 106s Processing triggers for man-db (2.13.1-1) ... 108s Processing triggers for libc-bin (2.41-6ubuntu1) ... 108s Reading package lists... 109s Building dependency tree... 109s Reading state information... 109s Starting pkgProblemResolver with broken count: 0 109s Starting 2 pkgProblemResolver with broken count: 0 109s Done 109s Solving dependencies... 109s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 111s autopkgtest [17:27:25]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr 6 14:52:42 UTC 2025 111s autopkgtest [17:27:25]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-algebra-tactics 113s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (dsc) [2281 B] 113s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (tar) [59.1 kB] 113s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (diff) [9064 B] 113s gpgv: Signature made Wed Feb 19 07:20:11 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 ./mathcomp-algebra-tactics_1.2.4-1build1.dsc: no acceptable signature found 113s autopkgtest [17:27:27]: testing package mathcomp-algebra-tactics version 1.2.4-1build1 113s autopkgtest [17:27:27]: build not needed 113s autopkgtest [17:27:27]: test command1: preparing testbed 113s Reading package lists... 114s Building dependency tree... 114s Reading state information... 114s Starting pkgProblemResolver with broken count: 1 114s Starting 2 pkgProblemResolver with broken count: 1 114s Investigating (0) libcoq-mathcomp-algebra-tactics:ppc64el < none -> 1.2.4-1build1 @un puN Ib > 114s Broken libcoq-mathcomp-algebra-tactics:ppc64el Depends on libcoq-elpi-1rx37:ppc64el < none @un H > 114s Considering libcoq-elpi:ppc64el 0 as a solution to libcoq-mathcomp-algebra-tactics:ppc64el 0 114s Re-Instated libsexplib0-ocaml:ppc64el 114s Re-Instated libppx-deriving-ocaml:ppc64el 114s Re-Instated libelpi-ocaml:ppc64el 114s Re-Instated libmenhir-ocaml-dev:ppc64el 114s Re-Instated libocaml-compiler-libs-ocaml-dev:ppc64el 114s Re-Instated libppx-derivers-ocaml-dev:ppc64el 114s Re-Instated libsexplib0-ocaml-dev:ppc64el 114s Re-Instated libppxlib-ocaml-dev:ppc64el 114s Re-Instated libppx-deriving-ocaml-dev:ppc64el 114s Re-Instated libre-ocaml-dev:ppc64el 114s Re-Instated libelpi-ocaml-dev:ppc64el 114s Re-Instated libfindlib-ocaml-dev:ppc64el 114s Re-Instated libgmpxx4ldbl:ppc64el 114s Re-Instated libgmp-dev:ppc64el 114s Re-Instated libgmp3-dev:ppc64el 114s Re-Instated libzarith-ocaml-dev:ppc64el 114s Re-Instated libcoq-core-ocaml-dev:ppc64el 114s Re-Instated libcoq-elpi:ppc64el 114s Broken libcoq-mathcomp-algebra-tactics:ppc64el Depends on libcoq-mathcomp-algebra-zk0r2:ppc64el < none @un H > 114s Considering libcoq-mathcomp-algebra:ppc64el 0 as a solution to libcoq-mathcomp-algebra-tactics:ppc64el 0 114s Reinst Failed early because of libcoq-elpi-1rx37:ppc64el 114s Reinst Failed because of libcoq-hierarchy-builder:ppc64el 114s Reinst Failed because of libcoq-mathcomp-ssreflect:ppc64el 114s Reinst Failed because of libcoq-mathcomp-fingroup:ppc64el 114s Broken libcoq-mathcomp-algebra-tactics:ppc64el Depends on libcoq-mathcomp-ssreflect-pfr19:ppc64el < none @un H > 114s Considering libcoq-mathcomp-ssreflect:ppc64el 0 as a solution to libcoq-mathcomp-algebra-tactics:ppc64el 0 114s Broken libcoq-mathcomp-algebra-tactics:ppc64el Depends on libcoq-mathcomp-zify-5g991:ppc64el < none @un H > 114s Considering libcoq-mathcomp-zify:ppc64el 0 as a solution to libcoq-mathcomp-algebra-tactics:ppc64el 0 114s Reinst Failed because of libcoq-mathcomp-algebra:ppc64el 114s Done 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 libcoq-mathcomp-algebra-tactics : Depends: libcoq-elpi-1rx37 114s Depends: libcoq-mathcomp-algebra-zk0r2 114s Depends: libcoq-mathcomp-ssreflect-pfr19 114s Depends: libcoq-mathcomp-zify-5g991 114s E: Unable to correct problems, you have held broken packages. 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... 115s Starting pkgProblemResolver with broken count: 1 115s Starting 2 pkgProblemResolver with broken count: 1 115s Investigating (0) libcoq-mathcomp-algebra-tactics:ppc64el < none -> 1.2.4-1build1 @un puN Ib > 115s Broken libcoq-mathcomp-algebra-tactics:ppc64el Depends on libcoq-elpi-1rx37:ppc64el < none @un H > 115s Considering libcoq-elpi:ppc64el 0 as a solution to libcoq-mathcomp-algebra-tactics:ppc64el 0 115s Re-Instated libsexplib0-ocaml:ppc64el 115s Re-Instated libppx-deriving-ocaml:ppc64el 115s Re-Instated libelpi-ocaml:ppc64el 115s Re-Instated libmenhir-ocaml-dev:ppc64el 115s Re-Instated libocaml-compiler-libs-ocaml-dev:ppc64el 115s Re-Instated libppx-derivers-ocaml-dev:ppc64el 115s Re-Instated libsexplib0-ocaml-dev:ppc64el 115s Re-Instated libppxlib-ocaml-dev:ppc64el 115s Re-Instated libppx-deriving-ocaml-dev:ppc64el 115s Re-Instated libre-ocaml-dev:ppc64el 115s Re-Instated libelpi-ocaml-dev:ppc64el 115s Re-Instated libfindlib-ocaml-dev:ppc64el 115s Re-Instated libgmpxx4ldbl:ppc64el 115s Re-Instated libgmp-dev:ppc64el 115s Re-Instated libgmp3-dev:ppc64el 115s Re-Instated libzarith-ocaml-dev:ppc64el 115s Re-Instated libcoq-core-ocaml-dev:ppc64el 115s Re-Instated libcoq-elpi:ppc64el 115s Broken libcoq-mathcomp-algebra-tactics:ppc64el Depends on libcoq-mathcomp-algebra-zk0r2:ppc64el < none @un H > 115s Considering libcoq-mathcomp-algebra:ppc64el 0 as a solution to libcoq-mathcomp-algebra-tactics:ppc64el 0 115s Reinst Failed early because of libcoq-elpi-1rx37:ppc64el 115s Reinst Failed because of libcoq-hierarchy-builder:ppc64el 115s Reinst Failed because of libcoq-mathcomp-ssreflect:ppc64el 115s Reinst Failed because of libcoq-mathcomp-fingroup:ppc64el 115s Broken libcoq-mathcomp-algebra-tactics:ppc64el Depends on libcoq-mathcomp-ssreflect-pfr19:ppc64el < none @un H > 115s Considering libcoq-mathcomp-ssreflect:ppc64el 0 as a solution to libcoq-mathcomp-algebra-tactics:ppc64el 0 115s Broken libcoq-mathcomp-algebra-tactics:ppc64el Depends on libcoq-mathcomp-zify-5g991:ppc64el < none @un H > 115s Considering libcoq-mathcomp-zify:ppc64el 0 as a solution to libcoq-mathcomp-algebra-tactics:ppc64el 0 115s Reinst Failed because of libcoq-mathcomp-algebra:ppc64el 115s Done 115s Some packages could not be installed. This may mean that you have 115s requested an impossible situation or if you are using the unstable 115s distribution that some required packages have not yet been created 115s or been moved out of Incoming. 115s The following information may help to resolve the situation: 115s 115s The following packages have unmet dependencies: 115s libcoq-mathcomp-algebra-tactics : Depends: libcoq-elpi-1rx37 115s Depends: libcoq-mathcomp-algebra-zk0r2 115s Depends: libcoq-mathcomp-ssreflect-pfr19 115s Depends: libcoq-mathcomp-zify-5g991 115s E: Unable to correct problems, you have held broken packages. 115s autopkgtest [17:27:29]: @@@@@@@@@@@@@@@@@@@@ summary 115s command1 FAIL badpkg 115s blame: mathcomp-algebra-tactics 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: mathcomp-algebra-tactics 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. 119s nova [W] Using flock in prodstack7-ppc64el 119s Creating nova instance adt-questing-ppc64el-mathcomp-algebra-tactics-20250506-172529-juju-7f2275-prod-proposed-migration-environment-2-c7467925-9c52-4760-be85-ccf943a97732 from image adt/ubuntu-questing-ppc64el-server-20250506.img (UUID e1f89dbe-ec13-4fb8-859d-773ec93960ca)... 119s nova [W] Timed out waiting for c9af8bc6-e5a9-4e17-b340-fc72f595a205 to get deleted.