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-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.lyckn3nx/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-arm64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@sto01-arm64-2.secgroup --name adt-questing-arm64-mathcomp-analysis-20250506-172419-juju-7f2275-prod-proposed-migration-environment-2-0681df3e-85c2-44ec-93d7-98593c1fe403 --image adt/ubuntu-questing-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-autopkgtest-workers-arm64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/
 72s autopkgtest [17:25:31]: testbed dpkg architecture: arm64
 72s autopkgtest [17:25:31]: testbed apt version: 3.0.0
 72s autopkgtest [17:25:31]: @@@@@@@@@@@@@@@@@@@@ test bed setup
 72s autopkgtest [17:25:31]: testbed release detected to be: None
 73s autopkgtest [17:25:32]: updating testbed package index (apt update)
 73s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [110 kB]
 73s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease
 73s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease
 73s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease
 73s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [67.8 kB]
 73s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [580 kB]
 73s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [27.3 kB]
 73s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main arm64 Packages [125 kB]
 73s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/universe arm64 Packages [639 kB]
 74s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/multiverse arm64 Packages [16.1 kB]
 74s Fetched 1566 kB in 0s (3711 kB/s)
 74s Reading package lists...
 75s autopkgtest [17:25:34]: upgrading testbed (apt dist-upgrade and autopurge)
 75s Reading package lists...
 75s Building dependency tree...
 75s Reading state information...
 76s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
 76s Starting 2 pkgProblemResolver with broken count: 0
 76s Done
 76s Entering ResolveByKeep
 77s 
 77s Calculating upgrade...
 77s The following packages will be upgraded:
 77s   gcc-15-base libatomic1 libdebuginfod-common libdebuginfod1t64 libdw1t64
 77s   libelf1t64 libgcc-s1 libperl5.40 libstdc++6 lto-disabled-list perl perl-base
 77s   perl-modules-5.40 python3-dbus sensible-utils
 77s 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 77s Need to get 11.4 MB of archives.
 77s After this operation, 11.3 kB of additional disk space will be used.
 77s Get:1 http://ftpmaster.internal/ubuntu questing/main arm64 libperl5.40 arm64 5.40.1-3 [4780 kB]
 77s Get:2 http://ftpmaster.internal/ubuntu questing/main arm64 perl arm64 5.40.1-3 [262 kB]
 77s Get:3 http://ftpmaster.internal/ubuntu questing/main arm64 perl-base arm64 5.40.1-3 [1786 kB]
 77s Get:4 http://ftpmaster.internal/ubuntu questing/main arm64 perl-modules-5.40 all 5.40.1-3 [3217 kB]
 78s Get:5 http://ftpmaster.internal/ubuntu questing/main arm64 libdebuginfod-common all 0.193-1 [15.6 kB]
 78s Get:6 http://ftpmaster.internal/ubuntu questing/main arm64 libatomic1 arm64 15.1.0-2ubuntu1 [11.3 kB]
 78s Get:7 http://ftpmaster.internal/ubuntu questing/main arm64 gcc-15-base arm64 15.1.0-2ubuntu1 [54.6 kB]
 78s Get:8 http://ftpmaster.internal/ubuntu questing/main arm64 libgcc-s1 arm64 15.1.0-2ubuntu1 [61.2 kB]
 78s Get:9 http://ftpmaster.internal/ubuntu questing/main arm64 libstdc++6 arm64 15.1.0-2ubuntu1 [760 kB]
 78s Get:10 http://ftpmaster.internal/ubuntu questing/main arm64 sensible-utils all 0.0.25 [25.0 kB]
 78s Get:11 http://ftpmaster.internal/ubuntu questing/main arm64 libdebuginfod1t64 arm64 0.193-1 [21.0 kB]
 78s Get:12 http://ftpmaster.internal/ubuntu questing/main arm64 libdw1t64 arm64 0.193-1 [276 kB]
 78s Get:13 http://ftpmaster.internal/ubuntu questing/main arm64 libelf1t64 arm64 0.193-1 [59.1 kB]
 78s Get:14 http://ftpmaster.internal/ubuntu questing/main arm64 python3-dbus arm64 1.4.0-1 [101 kB]
 78s Get:15 http://ftpmaster.internal/ubuntu questing/main arm64 lto-disabled-list all 58 [12.4 kB]
 78s Preconfiguring packages ...
 78s Fetched 11.4 MB in 1s (16.5 MB/s)
 78s (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 ... 85238 files and directories currently installed.)
 78s Preparing to unpack .../libperl5.40_5.40.1-3_arm64.deb ...
 78s Unpacking libperl5.40:arm64 (5.40.1-3) over (5.40.1-2ubuntu0.1) ...
 78s Preparing to unpack .../perl_5.40.1-3_arm64.deb ...
 78s Unpacking perl (5.40.1-3) over (5.40.1-2ubuntu0.1) ...
 78s Preparing to unpack .../perl-base_5.40.1-3_arm64.deb ...
 78s Unpacking perl-base (5.40.1-3) over (5.40.1-2ubuntu0.1) ...
 79s Setting up perl-base (5.40.1-3) ...
 79s (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 ... 85238 files and directories currently installed.)
 79s Preparing to unpack .../perl-modules-5.40_5.40.1-3_all.deb ...
 79s Unpacking perl-modules-5.40 (5.40.1-3) over (5.40.1-2ubuntu0.1) ...
 79s Preparing to unpack .../libdebuginfod-common_0.193-1_all.deb ...
 79s Unpacking libdebuginfod-common (0.193-1) over (0.192-4ubuntu1) ...
 79s Preparing to unpack .../libatomic1_15.1.0-2ubuntu1_arm64.deb ...
 79s Unpacking libatomic1:arm64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 79s Preparing to unpack .../gcc-15-base_15.1.0-2ubuntu1_arm64.deb ...
 79s Unpacking gcc-15-base:arm64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 79s Setting up gcc-15-base:arm64 (15.1.0-2ubuntu1) ...
 79s (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 ... 85238 files and directories currently installed.)
 79s Preparing to unpack .../libgcc-s1_15.1.0-2ubuntu1_arm64.deb ...
 79s Unpacking libgcc-s1:arm64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 79s Setting up libgcc-s1:arm64 (15.1.0-2ubuntu1) ...
 79s (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 ... 85238 files and directories currently installed.)
 79s Preparing to unpack .../libstdc++6_15.1.0-2ubuntu1_arm64.deb ...
 79s Unpacking libstdc++6:arm64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 79s Setting up libstdc++6:arm64 (15.1.0-2ubuntu1) ...
 79s (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 ... 85238 files and directories currently installed.)
 79s Preparing to unpack .../0-sensible-utils_0.0.25_all.deb ...
 79s Unpacking sensible-utils (0.0.25) over (0.0.24) ...
 79s Preparing to unpack .../1-libdebuginfod1t64_0.193-1_arm64.deb ...
 79s Unpacking libdebuginfod1t64:arm64 (0.193-1) over (0.192-4ubuntu1) ...
 79s Preparing to unpack .../2-libdw1t64_0.193-1_arm64.deb ...
 79s Unpacking libdw1t64:arm64 (0.193-1) over (0.192-4ubuntu1) ...
 79s Preparing to unpack .../3-libelf1t64_0.193-1_arm64.deb ...
 79s Unpacking libelf1t64:arm64 (0.193-1) over (0.192-4ubuntu1) ...
 79s Preparing to unpack .../4-python3-dbus_1.4.0-1_arm64.deb ...
 80s Unpacking python3-dbus (1.4.0-1) over (1.3.2-5build5) ...
 80s Preparing to unpack .../5-lto-disabled-list_58_all.deb ...
 80s Unpacking lto-disabled-list (58) over (57) ...
 80s Setting up python3-dbus (1.4.0-1) ...
 80s Setting up lto-disabled-list (58) ...
 80s Setting up libdebuginfod-common (0.193-1) ...
 80s Setting up libelf1t64:arm64 (0.193-1) ...
 80s Setting up libdw1t64:arm64 (0.193-1) ...
 80s Setting up libatomic1:arm64 (15.1.0-2ubuntu1) ...
 80s Setting up perl-modules-5.40 (5.40.1-3) ...
 80s Setting up sensible-utils (0.0.25) ...
 80s Setting up libdebuginfod1t64:arm64 (0.193-1) ...
 80s Setting up libperl5.40:arm64 (5.40.1-3) ...
 80s Setting up perl (5.40.1-3) ...
 80s Processing triggers for man-db (2.13.1-1) ...
 80s Processing triggers for libc-bin (2.41-6ubuntu1) ...
 81s Reading package lists...
 81s Building dependency tree...
 81s Reading state information...
 81s Starting pkgProblemResolver with broken count: 0
 81s Starting 2 pkgProblemResolver with broken count: 0
 81s Done
 82s Solving dependencies...
 82s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 84s autopkgtest [17:25:43]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr  6 14:37:51 UTC 2025
 84s autopkgtest [17:25:43]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-analysis
 86s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (dsc) [2437 B]
 86s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (tar) [911 kB]
 86s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (diff) [9484 B]
 86s gpgv: Signature made Thu Feb 20 20:01:00 2025 UTC
 86s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
 86s gpgv:                issuer "julien.puydt@laposte.net"
 86s gpgv: Can't check signature: No public key
 86s dpkg-source: warning: cannot verify inline signature for ./mathcomp-analysis_1.9.0-1.dsc: no acceptable signature found
 86s autopkgtest [17:25:45]: testing package mathcomp-analysis version 1.9.0-1
 87s autopkgtest [17:25:46]: build not needed
 87s autopkgtest [17:25:46]: test command1: preparing testbed
 87s Reading package lists...
 88s Building dependency tree...
 88s Reading state information...
 88s Starting pkgProblemResolver with broken count: 2
 88s Starting 2 pkgProblemResolver with broken count: 2
 88s Investigating (0) libcoq-mathcomp-classical:arm64 < none -> 1.9.0-1 @un puN Ib >
 88s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-elpi-142y8:arm64 < none @un H >
 88s   Considering libcoq-elpi:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 88s   Re-Instated libsexplib0-ocaml:arm64
 88s   Re-Instated libppx-deriving-ocaml:arm64
 88s   Re-Instated libelpi-ocaml:arm64
 88s   Re-Instated libmenhir-ocaml-dev:arm64
 88s   Re-Instated libocaml-compiler-libs-ocaml-dev:arm64
 88s   Re-Instated libppx-derivers-ocaml-dev:arm64
 88s   Re-Instated libsexplib0-ocaml-dev:arm64
 88s   Re-Instated libppxlib-ocaml-dev:arm64
 88s   Re-Instated libppx-deriving-ocaml-dev:arm64
 88s   Re-Instated libre-ocaml-dev:arm64
 88s   Re-Instated libelpi-ocaml-dev:arm64
 88s   Re-Instated libfindlib-ocaml-dev:arm64
 88s   Re-Instated libgmpxx4ldbl:arm64
 88s   Re-Instated libgmp-dev:arm64
 88s   Re-Instated libgmp3-dev:arm64
 88s   Re-Instated libzarith-ocaml-dev:arm64
 88s   Re-Instated libcoq-core-ocaml-dev:arm64
 88s   Re-Instated libcoq-elpi:arm64
 88s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-hierarchy-builder-koqw4:arm64 < none @un H >
 88s   Considering libcoq-hierarchy-builder:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 88s     Reinst Failed early because of libcoq-elpi-142y8:arm64
 88s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-algebra-0adk2:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-algebra:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 88s     Reinst Failed because of libcoq-hierarchy-builder:arm64
 88s     Reinst Failed because of libcoq-mathcomp-ssreflect:arm64
 88s     Reinst Failed because of libcoq-mathcomp-fingroup:arm64
 88s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-field-6ib39:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-field:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 88s     Reinst Failed because of libcoq-mathcomp-algebra:arm64
 88s     Reinst Failed because of libcoq-mathcomp-solvable:arm64
 88s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-fingroup-ls521:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-fingroup:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 88s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-solvable-ojoy1:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-solvable:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 88s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-ssreflect-h4p38:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-ssreflect:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 88s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-bigenough-uof29:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-bigenough:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 88s     Reinst Failed because of libcoq-mathcomp-ssreflect:arm64
 88s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-finmap-9d1h8:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-finmap:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 88s     Reinst Failed because of libcoq-mathcomp-ssreflect:arm64
 88s Investigating (0) libcoq-mathcomp-analysis:arm64 < none -> 1.9.0-1 @un puN Ib >
 88s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-elpi-142y8:arm64 < none @un H >
 88s   Considering libcoq-elpi:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 88s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-hierarchy-builder-koqw4:arm64 < none @un H >
 88s   Considering libcoq-hierarchy-builder:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 88s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-algebra-0adk2:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-algebra:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 88s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-field-6ib39:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-field:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 88s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-fingroup-ls521:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-fingroup:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 88s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-solvable-ojoy1:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-solvable:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 88s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-ssreflect-h4p38:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-ssreflect:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 88s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-bigenough-uof29:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-bigenough:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 88s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-finmap-9d1h8:arm64 < none @un H >
 88s   Considering libcoq-mathcomp-finmap:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 88s Done
 88s Some packages could not be installed. This may mean that you have
 88s requested an impossible situation or if you are using the unstable
 88s distribution that some required packages have not yet been created
 88s or been moved out of Incoming.
 88s The following information may help to resolve the situation:
 88s 
 88s The following packages have unmet dependencies:
 88s  libcoq-mathcomp-analysis : Depends: libcoq-elpi-142y8
 88s                             Depends: libcoq-hierarchy-builder-koqw4
 88s                             Depends: libcoq-mathcomp-algebra-0adk2
 88s                             Depends: libcoq-mathcomp-field-6ib39
 88s                             Depends: libcoq-mathcomp-fingroup-ls521
 88s                             Depends: libcoq-mathcomp-solvable-ojoy1
 88s                             Depends: libcoq-mathcomp-ssreflect-h4p38
 88s                             Depends: libcoq-mathcomp-bigenough-uof29
 88s                             Depends: libcoq-mathcomp-finmap-9d1h8
 88s  libcoq-mathcomp-classical : Depends: libcoq-elpi-142y8
 88s                              Depends: libcoq-hierarchy-builder-koqw4
 88s                              Depends: libcoq-mathcomp-algebra-0adk2
 88s                              Depends: libcoq-mathcomp-field-6ib39
 88s                              Depends: libcoq-mathcomp-fingroup-ls521
 88s                              Depends: libcoq-mathcomp-solvable-ojoy1
 88s                              Depends: libcoq-mathcomp-ssreflect-h4p38
 88s                              Depends: libcoq-mathcomp-bigenough-uof29
 88s                              Depends: libcoq-mathcomp-finmap-9d1h8
 88s E: Unable to correct problems, you have held broken packages.
 88s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed
 88s Reading package lists...
 89s Building dependency tree...
 89s Reading state information...
 89s Starting pkgProblemResolver with broken count: 2
 89s Starting 2 pkgProblemResolver with broken count: 2
 89s Investigating (0) libcoq-mathcomp-classical:arm64 < none -> 1.9.0-1 @un puN Ib >
 89s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-elpi-142y8:arm64 < none @un H >
 89s   Considering libcoq-elpi:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 89s   Re-Instated libsexplib0-ocaml:arm64
 89s   Re-Instated libppx-deriving-ocaml:arm64
 89s   Re-Instated libelpi-ocaml:arm64
 89s   Re-Instated libmenhir-ocaml-dev:arm64
 89s   Re-Instated libocaml-compiler-libs-ocaml-dev:arm64
 89s   Re-Instated libppx-derivers-ocaml-dev:arm64
 89s   Re-Instated libsexplib0-ocaml-dev:arm64
 89s   Re-Instated libppxlib-ocaml-dev:arm64
 89s   Re-Instated libppx-deriving-ocaml-dev:arm64
 89s   Re-Instated libre-ocaml-dev:arm64
 89s   Re-Instated libelpi-ocaml-dev:arm64
 89s   Re-Instated libfindlib-ocaml-dev:arm64
 89s   Re-Instated libgmpxx4ldbl:arm64
 89s   Re-Instated libgmp-dev:arm64
 89s   Re-Instated libgmp3-dev:arm64
 89s   Re-Instated libzarith-ocaml-dev:arm64
 89s   Re-Instated libcoq-core-ocaml-dev:arm64
 89s   Re-Instated libcoq-elpi:arm64
 89s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-hierarchy-builder-koqw4:arm64 < none @un H >
 89s   Considering libcoq-hierarchy-builder:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 89s     Reinst Failed early because of libcoq-elpi-142y8:arm64
 89s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-algebra-0adk2:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-algebra:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 89s     Reinst Failed because of libcoq-hierarchy-builder:arm64
 89s     Reinst Failed because of libcoq-mathcomp-ssreflect:arm64
 89s     Reinst Failed because of libcoq-mathcomp-fingroup:arm64
 89s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-field-6ib39:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-field:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 89s     Reinst Failed because of libcoq-mathcomp-algebra:arm64
 89s     Reinst Failed because of libcoq-mathcomp-solvable:arm64
 89s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-fingroup-ls521:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-fingroup:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 89s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-solvable-ojoy1:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-solvable:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 89s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-ssreflect-h4p38:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-ssreflect:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 89s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-bigenough-uof29:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-bigenough:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 89s     Reinst Failed because of libcoq-mathcomp-ssreflect:arm64
 89s Broken libcoq-mathcomp-classical:arm64 Depends on libcoq-mathcomp-finmap-9d1h8:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-finmap:arm64 0 as a solution to libcoq-mathcomp-classical:arm64 1
 89s     Reinst Failed because of libcoq-mathcomp-ssreflect:arm64
 89s Investigating (0) libcoq-mathcomp-analysis:arm64 < none -> 1.9.0-1 @un puN Ib >
 89s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-elpi-142y8:arm64 < none @un H >
 89s   Considering libcoq-elpi:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 89s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-hierarchy-builder-koqw4:arm64 < none @un H >
 89s   Considering libcoq-hierarchy-builder:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 89s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-algebra-0adk2:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-algebra:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 89s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-field-6ib39:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-field:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 89s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-fingroup-ls521:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-fingroup:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 89s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-solvable-ojoy1:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-solvable:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 89s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-ssreflect-h4p38:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-ssreflect:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 89s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-bigenough-uof29:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-bigenough:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 89s Broken libcoq-mathcomp-analysis:arm64 Depends on libcoq-mathcomp-finmap-9d1h8:arm64 < none @un H >
 89s   Considering libcoq-mathcomp-finmap:arm64 0 as a solution to libcoq-mathcomp-analysis:arm64 0
 89s Done
 89s Some packages could not be installed. This may mean that you have
 89s requested an impossible situation or if you are using the unstable
 89s distribution that some required packages have not yet been created
 89s or been moved out of Incoming.
 89s The following information may help to resolve the situation:
 89s 
 89s The following packages have unmet dependencies:
 89s  libcoq-mathcomp-analysis : Depends: libcoq-elpi-142y8
 89s                             Depends: libcoq-hierarchy-builder-koqw4
 89s                             Depends: libcoq-mathcomp-algebra-0adk2
 89s                             Depends: libcoq-mathcomp-field-6ib39
 89s                             Depends: libcoq-mathcomp-fingroup-ls521
 89s                             Depends: libcoq-mathcomp-solvable-ojoy1
 89s                             Depends: libcoq-mathcomp-ssreflect-h4p38
 89s                             Depends: libcoq-mathcomp-bigenough-uof29
 89s                             Depends: libcoq-mathcomp-finmap-9d1h8
 89s  libcoq-mathcomp-classical : Depends: libcoq-elpi-142y8
 89s                              Depends: libcoq-hierarchy-builder-koqw4
 89s                              Depends: libcoq-mathcomp-algebra-0adk2
 89s                              Depends: libcoq-mathcomp-field-6ib39
 89s                              Depends: libcoq-mathcomp-fingroup-ls521
 89s                              Depends: libcoq-mathcomp-solvable-ojoy1
 89s                              Depends: libcoq-mathcomp-ssreflect-h4p38
 89s                              Depends: libcoq-mathcomp-bigenough-uof29
 89s                              Depends: libcoq-mathcomp-finmap-9d1h8
 89s E: Unable to correct problems, you have held broken packages.
 89s command1             FAIL badpkg
 89s blame: mathcomp-analysis
 89s 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.
 89s autopkgtest [17:25:48]: @@@@@@@@@@@@@@@@@@@@ summary
 89s command1             FAIL badpkg
 89s blame: mathcomp-analysis
 89s 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.
 93s nova [W] Using flock in prodstack7-arm64
 93s Creating nova instance adt-questing-arm64-mathcomp-analysis-20250506-172419-juju-7f2275-prod-proposed-migration-environment-2-0681df3e-85c2-44ec-93d7-98593c1fe403 from image adt/ubuntu-questing-arm64-server-20250506.img (UUID 81f3fdab-d489-44e0-9e58-49eeee992483)...
 93s nova [W] Timed out waiting for ad6a158b-36e7-4067-a692-284be4d4c63d to get deleted.