0s autopkgtest [17:24:15]: starting date and time: 2025-05-06 17:24:15+0000 0s autopkgtest [17:24:15]: git checkout: 9986aa8c Merge branch 'skia/fix_network_interface' into 'ubuntu/production' 0s autopkgtest [17:24:15]: host juju-7f2275-prod-proposed-migration-environment-23; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.9921zp_e/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 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-23@bos03-arm64-2.secgroup --name adt-questing-arm64-mathcomp-algebra-tactics-20250506-172415-juju-7f2275-prod-proposed-migration-environment-23-ac211459-a406-417d-ad69-bef058158b40 --image adt/ubuntu-questing-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-23 --net-id=net_prod-proposed-migration -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 123s autopkgtest [17:26:18]: testbed dpkg architecture: arm64 124s autopkgtest [17:26:19]: testbed apt version: 3.0.0 124s autopkgtest [17:26:19]: @@@@@@@@@@@@@@@@@@@@ test bed setup 124s autopkgtest [17:26:19]: testbed release detected to be: None 125s autopkgtest [17:26:20]: updating testbed package index (apt update) 125s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [110 kB] 125s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease 126s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease 126s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease 126s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [67.8 kB] 126s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [580 kB] 126s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [27.3 kB] 126s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main arm64 Packages [125 kB] 126s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 Packages [639 kB] 126s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/multiverse arm64 Packages [16.1 kB] 126s Fetched 1566 kB in 1s (1728 kB/s) 127s Reading package lists... 127s autopkgtest [17:26:22]: upgrading testbed (apt dist-upgrade and autopurge) 128s Reading package lists... 128s Building dependency tree... 128s Reading state information... 128s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 129s Starting 2 pkgProblemResolver with broken count: 0 129s Done 129s Entering ResolveByKeep 129s 130s Calculating upgrade... 130s The following packages will be upgraded: 130s libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 130s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 130s Need to get 5180 kB of archives. 130s After this operation, 291 kB disk space will be freed. 130s Get:1 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 libpython3.12t64 arm64 3.12.10-1 [2314 kB] 131s Get:2 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 libpython3.12-stdlib arm64 3.12.10-1 [2029 kB] 131s Get:3 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 libpython3.12-minimal arm64 3.12.10-1 [836 kB] 131s Fetched 5180 kB in 1s (6440 kB/s) 132s (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 ... 117830 files and directories currently installed.) 132s Preparing to unpack .../libpython3.12t64_3.12.10-1_arm64.deb ... 132s Unpacking libpython3.12t64:arm64 (3.12.10-1) over (3.12.8-3) ... 132s Preparing to unpack .../libpython3.12-stdlib_3.12.10-1_arm64.deb ... 132s Unpacking libpython3.12-stdlib:arm64 (3.12.10-1) over (3.12.8-3) ... 132s Preparing to unpack .../libpython3.12-minimal_3.12.10-1_arm64.deb ... 132s Unpacking libpython3.12-minimal:arm64 (3.12.10-1) over (3.12.8-3) ... 132s Setting up libpython3.12-minimal:arm64 (3.12.10-1) ... 132s Setting up libpython3.12-stdlib:arm64 (3.12.10-1) ... 132s Setting up libpython3.12t64:arm64 (3.12.10-1) ... 132s Processing triggers for libc-bin (2.41-6ubuntu1) ... 132s Reading package lists... 133s Building dependency tree... 133s Reading state information... 133s Starting pkgProblemResolver with broken count: 0 133s Starting 2 pkgProblemResolver with broken count: 0 133s Done 134s Solving dependencies... 134s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 137s autopkgtest [17:26:32]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr 6 14:37:51 UTC 2025 137s autopkgtest [17:26:32]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-algebra-tactics 139s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (dsc) [2281 B] 139s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (tar) [59.1 kB] 139s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-algebra-tactics 1.2.4-1build1 (diff) [9064 B] 139s gpgv: Signature made Wed Feb 19 07:20:11 2025 UTC 139s gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 139s gpgv: Can't check signature: No public key 139s dpkg-source: warning: cannot verify inline signature for ./mathcomp-algebra-tactics_1.2.4-1build1.dsc: no acceptable signature found 139s autopkgtest [17:26:34]: testing package mathcomp-algebra-tactics version 1.2.4-1build1 139s autopkgtest [17:26:34]: build not needed 140s autopkgtest [17:26:35]: test command1: preparing testbed 140s Reading package lists... 140s Building dependency tree... 140s Reading state information... 140s Starting pkgProblemResolver with broken count: 1 140s Starting 2 pkgProblemResolver with broken count: 1 140s Investigating (0) libcoq-mathcomp-algebra-tactics:arm64 < none -> 1.2.4-1build1 @un puN Ib > 140s Broken libcoq-mathcomp-algebra-tactics:arm64 Depends on libcoq-elpi-142y8:arm64 < none @un H > 140s Considering libcoq-elpi:arm64 0 as a solution to libcoq-mathcomp-algebra-tactics:arm64 0 140s Re-Instated libsexplib0-ocaml:arm64 140s Re-Instated libppx-deriving-ocaml:arm64 140s Re-Instated libelpi-ocaml:arm64 140s Re-Instated libmenhir-ocaml-dev:arm64 140s Re-Instated libocaml-compiler-libs-ocaml-dev:arm64 140s Re-Instated libppx-derivers-ocaml-dev:arm64 140s Re-Instated libsexplib0-ocaml-dev:arm64 140s Re-Instated libppxlib-ocaml-dev:arm64 140s Re-Instated libppx-deriving-ocaml-dev:arm64 140s Re-Instated libre-ocaml-dev:arm64 140s Re-Instated libelpi-ocaml-dev:arm64 140s Re-Instated libfindlib-ocaml-dev:arm64 140s Re-Instated libgmpxx4ldbl:arm64 140s Re-Instated libgmp-dev:arm64 140s Re-Instated libgmp3-dev:arm64 140s Re-Instated libzarith-ocaml-dev:arm64 140s Re-Instated libcoq-core-ocaml-dev:arm64 140s Re-Instated libcoq-elpi:arm64 140s Broken libcoq-mathcomp-algebra-tactics:arm64 Depends on libcoq-mathcomp-algebra-0adk2:arm64 < none @un H > 140s Considering libcoq-mathcomp-algebra:arm64 0 as a solution to libcoq-mathcomp-algebra-tactics:arm64 0 140s Reinst Failed early because of libcoq-elpi-142y8:arm64 140s Reinst Failed because of libcoq-hierarchy-builder:arm64 140s Reinst Failed because of libcoq-mathcomp-ssreflect:arm64 140s Reinst Failed because of libcoq-mathcomp-fingroup:arm64 140s Broken libcoq-mathcomp-algebra-tactics:arm64 Depends on libcoq-mathcomp-ssreflect-h4p38:arm64 < none @un H > 140s Considering libcoq-mathcomp-ssreflect:arm64 0 as a solution to libcoq-mathcomp-algebra-tactics:arm64 0 140s Broken libcoq-mathcomp-algebra-tactics:arm64 Depends on libcoq-mathcomp-zify-axqc6:arm64 < none @un H > 140s Considering libcoq-mathcomp-zify:arm64 0 as a solution to libcoq-mathcomp-algebra-tactics:arm64 0 140s Reinst Failed because of libcoq-mathcomp-algebra:arm64 140s Done 140s Some packages could not be installed. This may mean that you have 140s requested an impossible situation or if you are using the unstable 140s distribution that some required packages have not yet been created 140s or been moved out of Incoming. 140s The following information may help to resolve the situation: 140s 140s The following packages have unmet dependencies: 141s libcoq-mathcomp-algebra-tactics : Depends: libcoq-elpi-142y8 141s Depends: libcoq-mathcomp-algebra-0adk2 141s Depends: libcoq-mathcomp-ssreflect-h4p38 141s Depends: libcoq-mathcomp-zify-axqc6 141s E: Unable to correct problems, you have held broken packages. 141s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed 141s Reading package lists... 142s Building dependency tree... 142s Reading state information... 142s Starting pkgProblemResolver with broken count: 1 143s Starting 2 pkgProblemResolver with broken count: 1 143s Investigating (0) libcoq-mathcomp-algebra-tactics:arm64 < none -> 1.2.4-1build1 @un puN Ib > 143s Broken libcoq-mathcomp-algebra-tactics:arm64 Depends on libcoq-elpi-142y8:arm64 < none @un H > 143s Considering libcoq-elpi:arm64 0 as a solution to libcoq-mathcomp-algebra-tactics:arm64 0 143s Re-Instated libsexplib0-ocaml:arm64 143s Re-Instated libppx-deriving-ocaml:arm64 143s Re-Instated libelpi-ocaml:arm64 143s Re-Instated libmenhir-ocaml-dev:arm64 143s Re-Instated libocaml-compiler-libs-ocaml-dev:arm64 143s Re-Instated libppx-derivers-ocaml-dev:arm64 143s Re-Instated libsexplib0-ocaml-dev:arm64 143s Re-Instated libppxlib-ocaml-dev:arm64 143s Re-Instated libppx-deriving-ocaml-dev:arm64 143s Re-Instated libre-ocaml-dev:arm64 143s Re-Instated libelpi-ocaml-dev:arm64 143s Re-Instated libfindlib-ocaml-dev:arm64 143s Re-Instated libgmpxx4ldbl:arm64 143s Re-Instated libgmp-dev:arm64 143s Re-Instated libgmp3-dev:arm64 143s Re-Instated libzarith-ocaml-dev:arm64 143s Re-Instated libcoq-core-ocaml-dev:arm64 143s Re-Instated libcoq-elpi:arm64 143s Broken libcoq-mathcomp-algebra-tactics:arm64 Depends on libcoq-mathcomp-algebra-0adk2:arm64 < none @un H > 143s Considering libcoq-mathcomp-algebra:arm64 0 as a solution to libcoq-mathcomp-algebra-tactics:arm64 0 143s Reinst Failed early because of libcoq-elpi-142y8:arm64 143s Reinst Failed because of libcoq-hierarchy-builder:arm64 143s Reinst Failed because of libcoq-mathcomp-ssreflect:arm64 143s Reinst Failed because of libcoq-mathcomp-fingroup:arm64 143s Broken libcoq-mathcomp-algebra-tactics:arm64 Depends on libcoq-mathcomp-ssreflect-h4p38:arm64 < none @un H > 143s Considering libcoq-mathcomp-ssreflect:arm64 0 as a solution to libcoq-mathcomp-algebra-tactics:arm64 0 143s Broken libcoq-mathcomp-algebra-tactics:arm64 Depends on libcoq-mathcomp-zify-axqc6:arm64 < none @un H > 143s Considering libcoq-mathcomp-zify:arm64 0 as a solution to libcoq-mathcomp-algebra-tactics:arm64 0 143s Reinst Failed because of libcoq-mathcomp-algebra:arm64 143s Done 143s Some packages could not be installed. This may mean that you have 143s requested an impossible situation or if you are using the unstable 143s distribution that some required packages have not yet been created 143s or been moved out of Incoming. 143s The following information may help to resolve the situation: 143s 143s The following packages have unmet dependencies: 143s libcoq-mathcomp-algebra-tactics : Depends: libcoq-elpi-142y8 143s Depends: libcoq-mathcomp-algebra-0adk2 143s Depends: libcoq-mathcomp-ssreflect-h4p38 143s Depends: libcoq-mathcomp-zify-axqc6 143s E: Unable to correct problems, you have held broken packages. 143s autopkgtest [17:26:38]: @@@@@@@@@@@@@@@@@@@@ summary 143s command1 FAIL badpkg 143s blame: mathcomp-algebra-tactics 143s 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. 143s command1 FAIL badpkg 143s blame: mathcomp-algebra-tactics 143s 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. 148s nova [W] Using flock in prodstack6-arm64 148s Creating nova instance adt-questing-arm64-mathcomp-algebra-tactics-20250506-172415-juju-7f2275-prod-proposed-migration-environment-23-ac211459-a406-417d-ad69-bef058158b40 from image adt/ubuntu-questing-arm64-server-20250506.img (UUID dbd2b533-f985-4adb-816b-f648e6478ce9)... 148s nova [W] Timed out waiting for 0521af2d-56fa-4a20-ace1-1a51d13e209e to get deleted.