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-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.15myovep/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 builder-cpu2-ram4-disk20 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-10.secgroup --name adt-questing-amd64-mathcomp-analysis-20250506-172419-juju-7f2275-prod-proposed-migration-environment-15-f9275dd6-8f53-4d2c-ba4c-d5b30c0c46b8 --image adt/ubuntu-questing-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/
 51s autopkgtest [17:25:10]: testbed dpkg architecture: amd64
 51s autopkgtest [17:25:10]: testbed apt version: 3.0.0
 52s autopkgtest [17:25:11]: @@@@@@@@@@@@@@@@@@@@ test bed setup
 52s autopkgtest [17:25:11]: testbed release detected to be: None
 53s autopkgtest [17:25:12]: updating testbed package index (apt update)
 53s Get:1 http://ftpmaster.internal/ubuntu questing-proposed InRelease [110 kB]
 53s Hit:2 http://ftpmaster.internal/ubuntu questing InRelease
 53s Hit:3 http://ftpmaster.internal/ubuntu questing-updates InRelease
 53s Hit:4 http://ftpmaster.internal/ubuntu questing-security InRelease
 53s Get:5 http://ftpmaster.internal/ubuntu questing-proposed/multiverse Sources [27.3 kB]
 53s Get:6 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [67.8 kB]
 53s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/universe Sources [580 kB]
 54s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main i386 Packages [94.4 kB]
 54s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/main amd64 Packages [137 kB]
 54s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/universe i386 Packages [262 kB]
 54s Get:11 http://ftpmaster.internal/ubuntu questing-proposed/universe amd64 Packages [656 kB]
 54s Get:12 http://ftpmaster.internal/ubuntu questing-proposed/multiverse i386 Packages [5028 B]
 54s Get:13 http://ftpmaster.internal/ubuntu questing-proposed/multiverse amd64 Packages [18.4 kB]
 54s Fetched 1958 kB in 1s (2235 kB/s)
 54s Reading package lists...
 55s autopkgtest [17:25:14]: upgrading testbed (apt dist-upgrade and autopurge)
 55s Reading package lists...
 56s Building dependency tree...
 56s Reading state information...
 56s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
 56s Starting 2 pkgProblemResolver with broken count: 0
 56s Done
 56s Entering ResolveByKeep
 57s 
 57s Calculating upgrade...
 57s The following packages will be upgraded:
 57s   gcc-15-base libatomic1 libdebuginfod-common libdebuginfod1t64 libdw1t64
 57s   libelf1t64 libgcc-s1 libperl5.40 libstdc++6 lto-disabled-list perl perl-base
 57s   perl-modules-5.40 python3-dbus sensible-utils
 57s 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 57s Need to get 11.7 MB of archives.
 57s After this operation, 25.6 kB of additional disk space will be used.
 57s Get:1 http://ftpmaster.internal/ubuntu questing/main amd64 libperl5.40 amd64 5.40.1-3 [4877 kB]
 58s Get:2 http://ftpmaster.internal/ubuntu questing/main amd64 perl amd64 5.40.1-3 [262 kB]
 58s Get:3 http://ftpmaster.internal/ubuntu questing/main amd64 perl-base amd64 5.40.1-3 [1840 kB]
 58s Get:4 http://ftpmaster.internal/ubuntu questing/main amd64 perl-modules-5.40 all 5.40.1-3 [3217 kB]
 58s Get:5 http://ftpmaster.internal/ubuntu questing/main amd64 libdebuginfod-common all 0.193-1 [15.6 kB]
 58s Get:6 http://ftpmaster.internal/ubuntu questing/main amd64 libatomic1 amd64 15.1.0-2ubuntu1 [10.5 kB]
 58s Get:7 http://ftpmaster.internal/ubuntu questing/main amd64 gcc-15-base amd64 15.1.0-2ubuntu1 [54.6 kB]
 58s Get:8 http://ftpmaster.internal/ubuntu questing/main amd64 libgcc-s1 amd64 15.1.0-2ubuntu1 [78.1 kB]
 58s Get:9 http://ftpmaster.internal/ubuntu questing/main amd64 libstdc++6 amd64 15.1.0-2ubuntu1 [812 kB]
 58s Get:10 http://ftpmaster.internal/ubuntu questing/main amd64 sensible-utils all 0.0.25 [25.0 kB]
 58s Get:11 http://ftpmaster.internal/ubuntu questing/main amd64 libdebuginfod1t64 amd64 0.193-1 [21.3 kB]
 58s Get:12 http://ftpmaster.internal/ubuntu questing/main amd64 libdw1t64 amd64 0.193-1 [283 kB]
 58s Get:13 http://ftpmaster.internal/ubuntu questing/main amd64 libelf1t64 amd64 0.193-1 [58.6 kB]
 58s Get:14 http://ftpmaster.internal/ubuntu questing/main amd64 python3-dbus amd64 1.4.0-1 [102 kB]
 58s Get:15 http://ftpmaster.internal/ubuntu questing/main amd64 lto-disabled-list all 58 [12.4 kB]
 58s Preconfiguring packages ...
 58s Fetched 11.7 MB in 1s (11.3 MB/s)
 59s (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 ... 80527 files and directories currently installed.)
 59s Preparing to unpack .../libperl5.40_5.40.1-3_amd64.deb ...
 59s Unpacking libperl5.40:amd64 (5.40.1-3) over (5.40.1-2) ...
 59s Preparing to unpack .../perl_5.40.1-3_amd64.deb ...
 59s Unpacking perl (5.40.1-3) over (5.40.1-2) ...
 59s Preparing to unpack .../perl-base_5.40.1-3_amd64.deb ...
 59s Unpacking perl-base (5.40.1-3) over (5.40.1-2) ...
 59s Setting up perl-base (5.40.1-3) ...
 59s (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 ... 80527 files and directories currently installed.)
 59s Preparing to unpack .../perl-modules-5.40_5.40.1-3_all.deb ...
 59s Unpacking perl-modules-5.40 (5.40.1-3) over (5.40.1-2) ...
 60s Preparing to unpack .../libdebuginfod-common_0.193-1_all.deb ...
 60s Unpacking libdebuginfod-common (0.193-1) over (0.192-4ubuntu1) ...
 60s Preparing to unpack .../libatomic1_15.1.0-2ubuntu1_amd64.deb ...
 60s Unpacking libatomic1:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 60s Preparing to unpack .../gcc-15-base_15.1.0-2ubuntu1_amd64.deb ...
 60s Unpacking gcc-15-base:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 60s Setting up gcc-15-base:amd64 (15.1.0-2ubuntu1) ...
 60s (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 ... 80527 files and directories currently installed.)
 60s Preparing to unpack .../libgcc-s1_15.1.0-2ubuntu1_amd64.deb ...
 60s Unpacking libgcc-s1:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 60s Setting up libgcc-s1:amd64 (15.1.0-2ubuntu1) ...
 60s (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 ... 80527 files and directories currently installed.)
 60s Preparing to unpack .../libstdc++6_15.1.0-2ubuntu1_amd64.deb ...
 60s Unpacking libstdc++6:amd64 (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 60s Setting up libstdc++6:amd64 (15.1.0-2ubuntu1) ...
 60s (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 ... 80527 files and directories currently installed.)
 60s Preparing to unpack .../0-sensible-utils_0.0.25_all.deb ...
 60s Unpacking sensible-utils (0.0.25) over (0.0.24) ...
 60s Preparing to unpack .../1-libdebuginfod1t64_0.193-1_amd64.deb ...
 60s Unpacking libdebuginfod1t64:amd64 (0.193-1) over (0.192-4ubuntu1) ...
 60s Preparing to unpack .../2-libdw1t64_0.193-1_amd64.deb ...
 60s Unpacking libdw1t64:amd64 (0.193-1) over (0.192-4ubuntu1) ...
 60s Preparing to unpack .../3-libelf1t64_0.193-1_amd64.deb ...
 60s Unpacking libelf1t64:amd64 (0.193-1) over (0.192-4ubuntu1) ...
 60s Preparing to unpack .../4-python3-dbus_1.4.0-1_amd64.deb ...
 60s Unpacking python3-dbus (1.4.0-1) over (1.3.2-5build5) ...
 60s Preparing to unpack .../5-lto-disabled-list_58_all.deb ...
 60s Unpacking lto-disabled-list (58) over (57) ...
 60s Setting up python3-dbus (1.4.0-1) ...
 60s Setting up lto-disabled-list (58) ...
 60s Setting up libdebuginfod-common (0.193-1) ...
 60s Setting up libelf1t64:amd64 (0.193-1) ...
 60s Setting up libdw1t64:amd64 (0.193-1) ...
 60s Setting up libatomic1:amd64 (15.1.0-2ubuntu1) ...
 60s Setting up perl-modules-5.40 (5.40.1-3) ...
 60s Setting up sensible-utils (0.0.25) ...
 60s Setting up libdebuginfod1t64:amd64 (0.193-1) ...
 60s Setting up libperl5.40:amd64 (5.40.1-3) ...
 60s Setting up perl (5.40.1-3) ...
 60s Processing triggers for man-db (2.13.1-1) ...
 61s Processing triggers for libc-bin (2.41-6ubuntu1) ...
 62s Reading package lists...
 62s Building dependency tree...
 62s Reading state information...
 62s Starting pkgProblemResolver with broken count: 0
 62s Starting 2 pkgProblemResolver with broken count: 0
 62s Done
 62s Solving dependencies...
 63s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 65s autopkgtest [17:25:24]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP PREEMPT_DYNAMIC Sun Apr  6 15:05:05 UTC 2025
 65s autopkgtest [17:25:24]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-analysis
 68s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (dsc) [2437 B]
 68s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (tar) [911 kB]
 68s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (diff) [9484 B]
 68s gpgv: Signature made Thu Feb 20 20:01:00 2025 UTC
 68s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
 68s gpgv:                issuer "julien.puydt@laposte.net"
 68s gpgv: Can't check signature: No public key
 68s dpkg-source: warning: cannot verify inline signature for ./mathcomp-analysis_1.9.0-1.dsc: no acceptable signature found
 68s autopkgtest [17:25:27]: testing package mathcomp-analysis version 1.9.0-1
 68s autopkgtest [17:25:27]: build not needed
 70s autopkgtest [17:25:29]: test command1: preparing testbed
 71s Reading package lists...
 71s Building dependency tree...
 71s Reading state information...
 71s Starting pkgProblemResolver with broken count: 2
 71s Starting 2 pkgProblemResolver with broken count: 2
 71s Investigating (0) libcoq-mathcomp-classical:amd64 < none -> 1.9.0-1 @un puN Ib >
 71s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-elpi-wljb8:amd64 < none @un H >
 71s   Considering libcoq-elpi:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 71s   Re-Instated libsexplib0-ocaml:amd64
 71s   Re-Instated libppx-deriving-ocaml:amd64
 71s   Re-Instated libelpi-ocaml:amd64
 71s   Re-Instated libmenhir-ocaml-dev:amd64
 71s   Re-Instated libocaml-compiler-libs-ocaml-dev:amd64
 71s   Re-Instated libppx-derivers-ocaml-dev:amd64
 71s   Re-Instated libsexplib0-ocaml-dev:amd64
 71s   Re-Instated libppxlib-ocaml-dev:amd64
 71s   Re-Instated libppx-deriving-ocaml-dev:amd64
 71s   Re-Instated libre-ocaml-dev:amd64
 71s   Re-Instated libelpi-ocaml-dev:amd64
 71s   Re-Instated libfindlib-ocaml-dev:amd64
 71s   Re-Instated libgmpxx4ldbl:amd64
 71s   Re-Instated libgmp-dev:amd64
 71s   Re-Instated libgmp3-dev:amd64
 71s   Re-Instated libzarith-ocaml-dev:amd64
 71s   Re-Instated libcoq-core-ocaml-dev:amd64
 71s   Re-Instated libcoq-elpi:amd64
 71s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-hierarchy-builder-6dkl6:amd64 < none @un H >
 71s   Considering libcoq-hierarchy-builder:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 71s     Reinst Failed early because of libcoq-elpi-wljb8:amd64
 71s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-algebra-tliv7:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-algebra:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 71s     Reinst Failed because of libcoq-hierarchy-builder:amd64
 71s     Reinst Failed because of libcoq-mathcomp-ssreflect:amd64
 71s     Reinst Failed because of libcoq-mathcomp-fingroup:amd64
 71s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-field-e82p1:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-field:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 71s     Reinst Failed because of libcoq-mathcomp-algebra:amd64
 71s     Reinst Failed because of libcoq-mathcomp-solvable:amd64
 71s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-fingroup-jjio0:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-fingroup:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 71s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-solvable-umuo5:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-solvable:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 71s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-ssreflect-rrbv4:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-ssreflect:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 71s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-bigenough-ayzm7:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-bigenough:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 71s     Reinst Failed because of libcoq-mathcomp-ssreflect:amd64
 71s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-finmap-ggpp5:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-finmap:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 71s     Reinst Failed because of libcoq-mathcomp-ssreflect:amd64
 71s Investigating (0) libcoq-mathcomp-analysis:amd64 < none -> 1.9.0-1 @un puN Ib >
 71s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-elpi-wljb8:amd64 < none @un H >
 71s   Considering libcoq-elpi:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 71s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-hierarchy-builder-6dkl6:amd64 < none @un H >
 71s   Considering libcoq-hierarchy-builder:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 71s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-algebra-tliv7:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-algebra:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 71s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-field-e82p1:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-field:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 71s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-fingroup-jjio0:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-fingroup:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 71s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-solvable-umuo5:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-solvable:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 71s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-ssreflect-rrbv4:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-ssreflect:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 71s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-bigenough-ayzm7:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-bigenough:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 71s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-finmap-ggpp5:amd64 < none @un H >
 71s   Considering libcoq-mathcomp-finmap:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 71s Done
 71s Some packages could not be installed. This may mean that you have
 71s requested an impossible situation or if you are using the unstable
 71s distribution that some required packages have not yet been created
 71s or been moved out of Incoming.
 71s The following information may help to resolve the situation:
 71s 
 71s The following packages have unmet dependencies:
 71s  libcoq-mathcomp-analysis : Depends: libcoq-elpi-wljb8
 71s                             Depends: libcoq-hierarchy-builder-6dkl6
 71s                             Depends: libcoq-mathcomp-algebra-tliv7
 71s                             Depends: libcoq-mathcomp-field-e82p1
 71s                             Depends: libcoq-mathcomp-fingroup-jjio0
 71s                             Depends: libcoq-mathcomp-solvable-umuo5
 71s                             Depends: libcoq-mathcomp-ssreflect-rrbv4
 71s                             Depends: libcoq-mathcomp-bigenough-ayzm7
 71s                             Depends: libcoq-mathcomp-finmap-ggpp5
 71s  libcoq-mathcomp-classical : Depends: libcoq-elpi-wljb8
 71s                              Depends: libcoq-hierarchy-builder-6dkl6
 71s                              Depends: libcoq-mathcomp-algebra-tliv7
 71s                              Depends: libcoq-mathcomp-field-e82p1
 71s                              Depends: libcoq-mathcomp-fingroup-jjio0
 71s                              Depends: libcoq-mathcomp-solvable-umuo5
 71s                              Depends: libcoq-mathcomp-ssreflect-rrbv4
 71s                              Depends: libcoq-mathcomp-bigenough-ayzm7
 71s                              Depends: libcoq-mathcomp-finmap-ggpp5
 71s E: Unable to correct problems, you have held broken packages.
 71s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed
 72s Reading package lists...
 72s Building dependency tree...
 72s Reading state information...
 72s Starting pkgProblemResolver with broken count: 2
 72s Starting 2 pkgProblemResolver with broken count: 2
 72s Investigating (0) libcoq-mathcomp-classical:amd64 < none -> 1.9.0-1 @un puN Ib >
 72s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-elpi-wljb8:amd64 < none @un H >
 72s   Considering libcoq-elpi:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 72s   Re-Instated libsexplib0-ocaml:amd64
 72s   Re-Instated libppx-deriving-ocaml:amd64
 72s   Re-Instated libelpi-ocaml:amd64
 72s   Re-Instated libmenhir-ocaml-dev:amd64
 72s   Re-Instated libocaml-compiler-libs-ocaml-dev:amd64
 72s   Re-Instated libppx-derivers-ocaml-dev:amd64
 72s   Re-Instated libsexplib0-ocaml-dev:amd64
 72s   Re-Instated libppxlib-ocaml-dev:amd64
 72s   Re-Instated libppx-deriving-ocaml-dev:amd64
 72s   Re-Instated libre-ocaml-dev:amd64
 72s   Re-Instated libelpi-ocaml-dev:amd64
 72s   Re-Instated libfindlib-ocaml-dev:amd64
 72s   Re-Instated libgmpxx4ldbl:amd64
 72s   Re-Instated libgmp-dev:amd64
 72s   Re-Instated libgmp3-dev:amd64
 72s   Re-Instated libzarith-ocaml-dev:amd64
 72s   Re-Instated libcoq-core-ocaml-dev:amd64
 72s   Re-Instated libcoq-elpi:amd64
 72s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-hierarchy-builder-6dkl6:amd64 < none @un H >
 72s   Considering libcoq-hierarchy-builder:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 72s     Reinst Failed early because of libcoq-elpi-wljb8:amd64
 72s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-algebra-tliv7:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-algebra:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 72s     Reinst Failed because of libcoq-hierarchy-builder:amd64
 72s     Reinst Failed because of libcoq-mathcomp-ssreflect:amd64
 72s     Reinst Failed because of libcoq-mathcomp-fingroup:amd64
 72s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-field-e82p1:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-field:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 72s     Reinst Failed because of libcoq-mathcomp-algebra:amd64
 72s     Reinst Failed because of libcoq-mathcomp-solvable:amd64
 72s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-fingroup-jjio0:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-fingroup:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 72s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-solvable-umuo5:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-solvable:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 72s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-ssreflect-rrbv4:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-ssreflect:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 72s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-bigenough-ayzm7:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-bigenough:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 72s     Reinst Failed because of libcoq-mathcomp-ssreflect:amd64
 72s Broken libcoq-mathcomp-classical:amd64 Depends on libcoq-mathcomp-finmap-ggpp5:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-finmap:amd64 0 as a solution to libcoq-mathcomp-classical:amd64 1
 72s     Reinst Failed because of libcoq-mathcomp-ssreflect:amd64
 72s Investigating (0) libcoq-mathcomp-analysis:amd64 < none -> 1.9.0-1 @un puN Ib >
 72s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-elpi-wljb8:amd64 < none @un H >
 72s   Considering libcoq-elpi:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 72s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-hierarchy-builder-6dkl6:amd64 < none @un H >
 72s   Considering libcoq-hierarchy-builder:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 72s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-algebra-tliv7:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-algebra:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 72s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-field-e82p1:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-field:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 72s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-fingroup-jjio0:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-fingroup:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 72s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-solvable-umuo5:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-solvable:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 72s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-ssreflect-rrbv4:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-ssreflect:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 72s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-bigenough-ayzm7:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-bigenough:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 72s Broken libcoq-mathcomp-analysis:amd64 Depends on libcoq-mathcomp-finmap-ggpp5:amd64 < none @un H >
 72s   Considering libcoq-mathcomp-finmap:amd64 0 as a solution to libcoq-mathcomp-analysis:amd64 0
 72s Done
 72s Some packages could not be installed. This may mean that you have
 72s requested an impossible situation or if you are using the unstable
 72s distribution that some required packages have not yet been created
 72s or been moved out of Incoming.
 72s The following information may help to resolve the situation:
 72s 
 72s The following packages have unmet dependencies:
 72s  libcoq-mathcomp-analysis : Depends: libcoq-elpi-wljb8
 72s                             Depends: libcoq-hierarchy-builder-6dkl6
 72s                             Depends: libcoq-mathcomp-algebra-tliv7
 72s                             Depends: libcoq-mathcomp-field-e82p1
 72s                             Depends: libcoq-mathcomp-fingroup-jjio0
 72s                             Depends: libcoq-mathcomp-solvable-umuo5
 72s                             Depends: libcoq-mathcomp-ssreflect-rrbv4
 72s                             Depends: libcoq-mathcomp-bigenough-ayzm7
 72s                             Depends: libcoq-mathcomp-finmap-ggpp5
 72s  libcoq-mathcomp-classical : Depends: libcoq-elpi-wljb8
 72s                              Depends: libcoq-hierarchy-builder-6dkl6
 72s                              Depends: libcoq-mathcomp-algebra-tliv7
 72s                              Depends: libcoq-mathcomp-field-e82p1
 72s                              Depends: libcoq-mathcomp-fingroup-jjio0
 72s                              Depends: libcoq-mathcomp-solvable-umuo5
 72s                              Depends: libcoq-mathcomp-ssreflect-rrbv4
 72s                              Depends: libcoq-mathcomp-bigenough-ayzm7
 72s                              Depends: libcoq-mathcomp-finmap-ggpp5
 72s E: Unable to correct problems, you have held broken packages.
 72s autopkgtest [17:25:31]: @@@@@@@@@@@@@@@@@@@@ summary
 72s command1             FAIL badpkg
 72s blame: mathcomp-analysis
 72s 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.
 72s command1             FAIL badpkg
 72s blame: mathcomp-analysis
 72s 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.
 90s nova [W] Skipping flock for amd64
 90s Creating nova instance adt-questing-amd64-mathcomp-analysis-20250506-172419-juju-7f2275-prod-proposed-migration-environment-15-f9275dd6-8f53-4d2c-ba4c-d5b30c0c46b8 from image adt/ubuntu-questing-amd64-server-20250506.img (UUID f1864fa2-149c-4e5d-800d-c5107d8a2f35)...
 90s nova [W] Timed out waiting for c8fe87c8-8054-4a12-a5f1-4089d889e984 to get deleted.