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.l1y0y6a3/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-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-21@sto01-s390x-6.secgroup --name adt-questing-s390x-mathcomp-analysis-20250506-172419-juju-7f2275-prod-proposed-migration-environment-21-3abe1648-840d-47e0-8fe3-a71a54ea3ab3 --image adt/ubuntu-questing-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-21 --net-id=net_prod-autopkgtest-workers-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/
 52s autopkgtest [17:25:11]: testbed dpkg architecture: s390x
 52s autopkgtest [17:25:11]: 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/universe Sources [580 kB]
 53s Get:7 http://ftpmaster.internal/ubuntu questing-proposed/main Sources [67.8 kB]
 53s Get:8 http://ftpmaster.internal/ubuntu questing-proposed/main s390x Packages [129 kB]
 53s Get:9 http://ftpmaster.internal/ubuntu questing-proposed/universe s390x Packages [604 kB]
 54s Get:10 http://ftpmaster.internal/ubuntu questing-proposed/multiverse s390x Packages [15.0 kB]
 54s Fetched 1533 kB in 1s (2812 kB/s)
 54s Reading package lists...
 55s autopkgtest [17:25:14]: upgrading testbed (apt dist-upgrade and autopurge)
 55s Reading package lists...
 55s Building dependency tree...
 55s Reading state information...
 55s Calculating upgrade...Starting pkgProblemResolver with broken count: 0
 55s Starting 2 pkgProblemResolver with broken count: 0
 55s Done
 55s Entering ResolveByKeep
 56s 
 56s Calculating upgrade...
 56s The following packages will be upgraded:
 56s   gcc-15-base libatomic1 libdebuginfod-common libdebuginfod1t64 libdw1t64
 56s   libelf1t64 libgcc-s1 libperl5.40 libstdc++6 lto-disabled-list perl perl-base
 56s   perl-modules-5.40 python3-dbus sensible-utils
 56s 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 56s Need to get 12.0 MB of archives.
 56s After this operation, 27.6 kB of additional disk space will be used.
 56s Get:1 http://ftpmaster.internal/ubuntu questing/main s390x libperl5.40 s390x 5.40.1-3 [4972 kB]
 56s Get:2 http://ftpmaster.internal/ubuntu questing/main s390x perl s390x 5.40.1-3 [262 kB]
 56s Get:3 http://ftpmaster.internal/ubuntu questing/main s390x perl-base s390x 5.40.1-3 [1954 kB]
 56s Get:4 http://ftpmaster.internal/ubuntu questing/main s390x perl-modules-5.40 all 5.40.1-3 [3217 kB]
 56s Get:5 http://ftpmaster.internal/ubuntu questing/main s390x libdebuginfod-common all 0.193-1 [15.6 kB]
 56s Get:6 http://ftpmaster.internal/ubuntu questing/main s390x libatomic1 s390x 15.1.0-2ubuntu1 [9564 B]
 56s Get:7 http://ftpmaster.internal/ubuntu questing/main s390x gcc-15-base s390x 15.1.0-2ubuntu1 [54.6 kB]
 56s Get:8 http://ftpmaster.internal/ubuntu questing/main s390x libgcc-s1 s390x 15.1.0-2ubuntu1 [35.7 kB]
 56s Get:9 http://ftpmaster.internal/ubuntu questing/main s390x libstdc++6 s390x 15.1.0-2ubuntu1 [906 kB]
 56s Get:10 http://ftpmaster.internal/ubuntu questing/main s390x sensible-utils all 0.0.25 [25.0 kB]
 56s Get:11 http://ftpmaster.internal/ubuntu questing/main s390x libdebuginfod1t64 s390x 0.193-1 [22.5 kB]
 56s Get:12 http://ftpmaster.internal/ubuntu questing/main s390x libdw1t64 s390x 0.193-1 [305 kB]
 56s Get:13 http://ftpmaster.internal/ubuntu questing/main s390x libelf1t64 s390x 0.193-1 [70.4 kB]
 56s Get:14 http://ftpmaster.internal/ubuntu questing/main s390x python3-dbus s390x 1.4.0-1 [102 kB]
 56s Get:15 http://ftpmaster.internal/ubuntu questing/main s390x lto-disabled-list all 58 [12.4 kB]
 57s Preconfiguring packages ...
 57s Fetched 12.0 MB in 0s (29.5 MB/s)
 57s (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 ... 59837 files and directories currently installed.)
 57s Preparing to unpack .../libperl5.40_5.40.1-3_s390x.deb ...
 57s Unpacking libperl5.40:s390x (5.40.1-3) over (5.40.1-2ubuntu0.1) ...
 57s Preparing to unpack .../perl_5.40.1-3_s390x.deb ...
 57s Unpacking perl (5.40.1-3) over (5.40.1-2ubuntu0.1) ...
 57s Preparing to unpack .../perl-base_5.40.1-3_s390x.deb ...
 57s Unpacking perl-base (5.40.1-3) over (5.40.1-2ubuntu0.1) ...
 57s Setting up perl-base (5.40.1-3) ...
 57s (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 ... 59837 files and directories currently installed.)
 57s Preparing to unpack .../perl-modules-5.40_5.40.1-3_all.deb ...
 57s Unpacking perl-modules-5.40 (5.40.1-3) over (5.40.1-2ubuntu0.1) ...
 58s Preparing to unpack .../libdebuginfod-common_0.193-1_all.deb ...
 58s Unpacking libdebuginfod-common (0.193-1) over (0.192-4ubuntu1) ...
 58s Preparing to unpack .../libatomic1_15.1.0-2ubuntu1_s390x.deb ...
 58s Unpacking libatomic1:s390x (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 58s Preparing to unpack .../gcc-15-base_15.1.0-2ubuntu1_s390x.deb ...
 58s Unpacking gcc-15-base:s390x (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 58s Setting up gcc-15-base:s390x (15.1.0-2ubuntu1) ...
 58s (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 ... 59837 files and directories currently installed.)
 58s Preparing to unpack .../libgcc-s1_15.1.0-2ubuntu1_s390x.deb ...
 58s Unpacking libgcc-s1:s390x (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 58s Setting up libgcc-s1:s390x (15.1.0-2ubuntu1) ...
 58s (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 ... 59837 files and directories currently installed.)
 58s Preparing to unpack .../libstdc++6_15.1.0-2ubuntu1_s390x.deb ...
 58s Unpacking libstdc++6:s390x (15.1.0-2ubuntu1) over (15-20250404-0ubuntu1) ...
 58s Setting up libstdc++6:s390x (15.1.0-2ubuntu1) ...
 58s (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 ... 59837 files and directories currently installed.)
 58s Preparing to unpack .../0-sensible-utils_0.0.25_all.deb ...
 58s Unpacking sensible-utils (0.0.25) over (0.0.24) ...
 58s Preparing to unpack .../1-libdebuginfod1t64_0.193-1_s390x.deb ...
 58s Unpacking libdebuginfod1t64:s390x (0.193-1) over (0.192-4ubuntu1) ...
 58s Preparing to unpack .../2-libdw1t64_0.193-1_s390x.deb ...
 58s Unpacking libdw1t64:s390x (0.193-1) over (0.192-4ubuntu1) ...
 58s Preparing to unpack .../3-libelf1t64_0.193-1_s390x.deb ...
 58s Unpacking libelf1t64:s390x (0.193-1) over (0.192-4ubuntu1) ...
 58s Preparing to unpack .../4-python3-dbus_1.4.0-1_s390x.deb ...
 58s Unpacking python3-dbus (1.4.0-1) over (1.3.2-5build5) ...
 58s Preparing to unpack .../5-lto-disabled-list_58_all.deb ...
 58s Unpacking lto-disabled-list (58) over (57) ...
 58s Setting up python3-dbus (1.4.0-1) ...
 58s Setting up lto-disabled-list (58) ...
 58s Setting up libdebuginfod-common (0.193-1) ...
 58s Setting up libelf1t64:s390x (0.193-1) ...
 58s Setting up libdw1t64:s390x (0.193-1) ...
 58s Setting up libatomic1:s390x (15.1.0-2ubuntu1) ...
 58s Setting up perl-modules-5.40 (5.40.1-3) ...
 58s Setting up sensible-utils (0.0.25) ...
 58s Setting up libdebuginfod1t64:s390x (0.193-1) ...
 58s Setting up libperl5.40:s390x (5.40.1-3) ...
 58s Setting up perl (5.40.1-3) ...
 58s Processing triggers for man-db (2.13.1-1) ...
 62s Processing triggers for libc-bin (2.41-6ubuntu1) ...
 63s Reading package lists...
 63s Building dependency tree...
 63s Reading state information...
 63s Starting pkgProblemResolver with broken count: 0
 63s Starting 2 pkgProblemResolver with broken count: 0
 63s Done
 64s Solving dependencies...
 64s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
 67s autopkgtest [17:25:26]: testbed running kernel: Linux 6.14.0-15-generic #15-Ubuntu SMP Sun Apr  6 13:39:00 UTC 2025
 67s autopkgtest [17:25:26]: @@@@@@@@@@@@@@@@@@@@ apt-source mathcomp-analysis
 69s Get:1 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (dsc) [2437 B]
 69s Get:2 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (tar) [911 kB]
 69s Get:3 http://ftpmaster.internal/ubuntu questing/universe mathcomp-analysis 1.9.0-1 (diff) [9484 B]
 69s gpgv: Signature made Thu Feb 20 20:01:00 2025 UTC
 69s gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
 69s gpgv:                issuer "julien.puydt@laposte.net"
 69s gpgv: Can't check signature: No public key
 69s dpkg-source: warning: cannot verify inline signature for ./mathcomp-analysis_1.9.0-1.dsc: no acceptable signature found
 69s autopkgtest [17:25:28]: testing package mathcomp-analysis version 1.9.0-1
 69s autopkgtest [17:25:28]: build not needed
 70s autopkgtest [17:25:29]: test command1: preparing testbed
 70s Reading package lists...
 70s Building dependency tree...
 70s Reading state information...
 70s Starting pkgProblemResolver with broken count: 2
 70s Starting 2 pkgProblemResolver with broken count: 2
 70s Investigating (0) libcoq-mathcomp-classical:s390x < none -> 1.9.0-1 @un puN Ib >
 70s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-elpi-dyos2:s390x < none @un H >
 70s   Considering libcoq-elpi:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 70s   Re-Instated libsexplib0-ocaml:s390x
 70s   Re-Instated libppx-deriving-ocaml:s390x
 70s   Re-Instated libelpi-ocaml:s390x
 70s   Re-Instated libmenhir-ocaml-dev:s390x
 70s   Re-Instated libocaml-compiler-libs-ocaml-dev:s390x
 70s   Re-Instated libppx-derivers-ocaml-dev:s390x
 70s   Re-Instated libsexplib0-ocaml-dev:s390x
 70s   Re-Instated libppxlib-ocaml-dev:s390x
 70s   Re-Instated libppx-deriving-ocaml-dev:s390x
 70s   Re-Instated libre-ocaml-dev:s390x
 70s   Re-Instated libelpi-ocaml-dev:s390x
 70s   Re-Instated libfindlib-ocaml-dev:s390x
 70s   Re-Instated libgmpxx4ldbl:s390x
 70s   Re-Instated libgmp-dev:s390x
 70s   Re-Instated libgmp3-dev:s390x
 70s   Re-Instated libzarith-ocaml-dev:s390x
 70s   Re-Instated libcoq-core-ocaml-dev:s390x
 70s   Re-Instated libcoq-elpi:s390x
 70s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-hierarchy-builder-zd5o3:s390x < none @un H >
 70s   Considering libcoq-hierarchy-builder:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 70s     Reinst Failed early because of libcoq-elpi-dyos2:s390x
 70s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-algebra-4n0b0:s390x < none @un H >
 70s   Considering libcoq-mathcomp-algebra:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 70s     Reinst Failed because of libcoq-hierarchy-builder:s390x
 70s     Reinst Failed because of libcoq-mathcomp-ssreflect:s390x
 70s     Reinst Failed because of libcoq-mathcomp-fingroup:s390x
 70s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-field-t8pa0:s390x < none @un H >
 70s   Considering libcoq-mathcomp-field:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 70s     Reinst Failed because of libcoq-mathcomp-algebra:s390x
 70s     Reinst Failed because of libcoq-mathcomp-solvable:s390x
 70s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-fingroup-tjw95:s390x < none @un H >
 70s   Considering libcoq-mathcomp-fingroup:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 70s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-solvable-9vj18:s390x < none @un H >
 70s   Considering libcoq-mathcomp-solvable:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 70s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-ssreflect-rrj33:s390x < none @un H >
 70s   Considering libcoq-mathcomp-ssreflect:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 70s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-bigenough-tlj26:s390x < none @un H >
 70s   Considering libcoq-mathcomp-bigenough:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 70s     Reinst Failed because of libcoq-mathcomp-ssreflect:s390x
 70s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-finmap-993z6:s390x < none @un H >
 70s   Considering libcoq-mathcomp-finmap:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 70s     Reinst Failed because of libcoq-mathcomp-ssreflect:s390x
 70s Investigating (0) libcoq-mathcomp-analysis:s390x < none -> 1.9.0-1 @un puN Ib >
 70s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-elpi-dyos2:s390x < none @un H >
 70s   Considering libcoq-elpi:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 70s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-hierarchy-builder-zd5o3:s390x < none @un H >
 70s   Considering libcoq-hierarchy-builder:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 70s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-algebra-4n0b0:s390x < none @un H >
 70s   Considering libcoq-mathcomp-algebra:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 70s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-field-t8pa0:s390x < none @un H >
 70s   Considering libcoq-mathcomp-field:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 70s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-fingroup-tjw95:s390x < none @un H >
 70s   Considering libcoq-mathcomp-fingroup:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 70s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-solvable-9vj18:s390x < none @un H >
 70s   Considering libcoq-mathcomp-solvable:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 70s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-ssreflect-rrj33:s390x < none @un H >
 70s   Considering libcoq-mathcomp-ssreflect:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 70s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-bigenough-tlj26:s390x < none @un H >
 70s   Considering libcoq-mathcomp-bigenough:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 70s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-finmap-993z6:s390x < none @un H >
 70s   Considering libcoq-mathcomp-finmap:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 70s Done
 70s Some packages could not be installed. This may mean that you have
 70s requested an impossible situation or if you are using the unstable
 70s distribution that some required packages have not yet been created
 70s or been moved out of Incoming.
 70s The following information may help to resolve the situation:
 70s 
 70s The following packages have unmet dependencies:
 70s  libcoq-mathcomp-analysis : Depends: libcoq-elpi-dyos2
 70s                             Depends: libcoq-hierarchy-builder-zd5o3
 70s                             Depends: libcoq-mathcomp-algebra-4n0b0
 70s                             Depends: libcoq-mathcomp-field-t8pa0
 70s                             Depends: libcoq-mathcomp-fingroup-tjw95
 70s                             Depends: libcoq-mathcomp-solvable-9vj18
 70s                             Depends: libcoq-mathcomp-ssreflect-rrj33
 70s                             Depends: libcoq-mathcomp-bigenough-tlj26
 70s                             Depends: libcoq-mathcomp-finmap-993z6
 70s  libcoq-mathcomp-classical : Depends: libcoq-elpi-dyos2
 70s                              Depends: libcoq-hierarchy-builder-zd5o3
 70s                              Depends: libcoq-mathcomp-algebra-4n0b0
 70s                              Depends: libcoq-mathcomp-field-t8pa0
 70s                              Depends: libcoq-mathcomp-fingroup-tjw95
 70s                              Depends: libcoq-mathcomp-solvable-9vj18
 70s                              Depends: libcoq-mathcomp-ssreflect-rrj33
 70s                              Depends: libcoq-mathcomp-bigenough-tlj26
 70s                              Depends: libcoq-mathcomp-finmap-993z6
 70s E: Unable to correct problems, you have held broken packages.
 70s autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt pinning. Retrying with using all packages from questing-proposed
 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:s390x < none -> 1.9.0-1 @un puN Ib >
 71s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-elpi-dyos2:s390x < none @un H >
 71s   Considering libcoq-elpi:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 71s   Re-Instated libsexplib0-ocaml:s390x
 71s   Re-Instated libppx-deriving-ocaml:s390x
 71s   Re-Instated libelpi-ocaml:s390x
 71s   Re-Instated libmenhir-ocaml-dev:s390x
 71s   Re-Instated libocaml-compiler-libs-ocaml-dev:s390x
 71s   Re-Instated libppx-derivers-ocaml-dev:s390x
 71s   Re-Instated libsexplib0-ocaml-dev:s390x
 71s   Re-Instated libppxlib-ocaml-dev:s390x
 71s   Re-Instated libppx-deriving-ocaml-dev:s390x
 71s   Re-Instated libre-ocaml-dev:s390x
 71s   Re-Instated libelpi-ocaml-dev:s390x
 71s   Re-Instated libfindlib-ocaml-dev:s390x
 71s   Re-Instated libgmpxx4ldbl:s390x
 71s   Re-Instated libgmp-dev:s390x
 71s   Re-Instated libgmp3-dev:s390x
 71s   Re-Instated libzarith-ocaml-dev:s390x
 71s   Re-Instated libcoq-core-ocaml-dev:s390x
 71s   Re-Instated libcoq-elpi:s390x
 71s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-hierarchy-builder-zd5o3:s390x < none @un H >
 71s   Considering libcoq-hierarchy-builder:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 71s     Reinst Failed early because of libcoq-elpi-dyos2:s390x
 71s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-algebra-4n0b0:s390x < none @un H >
 71s   Considering libcoq-mathcomp-algebra:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 71s     Reinst Failed because of libcoq-hierarchy-builder:s390x
 71s     Reinst Failed because of libcoq-mathcomp-ssreflect:s390x
 71s     Reinst Failed because of libcoq-mathcomp-fingroup:s390x
 71s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-field-t8pa0:s390x < none @un H >
 71s   Considering libcoq-mathcomp-field:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 71s     Reinst Failed because of libcoq-mathcomp-algebra:s390x
 71s     Reinst Failed because of libcoq-mathcomp-solvable:s390x
 71s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-fingroup-tjw95:s390x < none @un H >
 71s   Considering libcoq-mathcomp-fingroup:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 71s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-solvable-9vj18:s390x < none @un H >
 71s   Considering libcoq-mathcomp-solvable:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 71s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-ssreflect-rrj33:s390x < none @un H >
 71s   Considering libcoq-mathcomp-ssreflect:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 71s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-bigenough-tlj26:s390x < none @un H >
 71s   Considering libcoq-mathcomp-bigenough:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 71s     Reinst Failed because of libcoq-mathcomp-ssreflect:s390x
 71s Broken libcoq-mathcomp-classical:s390x Depends on libcoq-mathcomp-finmap-993z6:s390x < none @un H >
 71s   Considering libcoq-mathcomp-finmap:s390x 0 as a solution to libcoq-mathcomp-classical:s390x 1
 71s     Reinst Failed because of libcoq-mathcomp-ssreflect:s390x
 71s Investigating (0) libcoq-mathcomp-analysis:s390x < none -> 1.9.0-1 @un puN Ib >
 71s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-elpi-dyos2:s390x < none @un H >
 71s   Considering libcoq-elpi:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 71s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-hierarchy-builder-zd5o3:s390x < none @un H >
 71s   Considering libcoq-hierarchy-builder:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 71s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-algebra-4n0b0:s390x < none @un H >
 71s   Considering libcoq-mathcomp-algebra:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 71s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-field-t8pa0:s390x < none @un H >
 71s   Considering libcoq-mathcomp-field:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 71s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-fingroup-tjw95:s390x < none @un H >
 71s   Considering libcoq-mathcomp-fingroup:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 71s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-solvable-9vj18:s390x < none @un H >
 71s   Considering libcoq-mathcomp-solvable:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 71s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-ssreflect-rrj33:s390x < none @un H >
 71s   Considering libcoq-mathcomp-ssreflect:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 71s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-bigenough-tlj26:s390x < none @un H >
 71s   Considering libcoq-mathcomp-bigenough:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 0
 71s Broken libcoq-mathcomp-analysis:s390x Depends on libcoq-mathcomp-finmap-993z6:s390x < none @un H >
 71s   Considering libcoq-mathcomp-finmap:s390x 0 as a solution to libcoq-mathcomp-analysis:s390x 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-dyos2
 71s                             Depends: libcoq-hierarchy-builder-zd5o3
 71s                             Depends: libcoq-mathcomp-algebra-4n0b0
 71s                             Depends: libcoq-mathcomp-field-t8pa0
 71s                             Depends: libcoq-mathcomp-fingroup-tjw95
 71s                             Depends: libcoq-mathcomp-solvable-9vj18
 71s                             Depends: libcoq-mathcomp-ssreflect-rrj33
 71s                             Depends: libcoq-mathcomp-bigenough-tlj26
 71s                             Depends: libcoq-mathcomp-finmap-993z6
 71s  libcoq-mathcomp-classical : Depends: libcoq-elpi-dyos2
 71s                              Depends: libcoq-hierarchy-builder-zd5o3
 71s                              Depends: libcoq-mathcomp-algebra-4n0b0
 71s                              Depends: libcoq-mathcomp-field-t8pa0
 71s                              Depends: libcoq-mathcomp-fingroup-tjw95
 71s                              Depends: libcoq-mathcomp-solvable-9vj18
 71s                              Depends: libcoq-mathcomp-ssreflect-rrj33
 71s                              Depends: libcoq-mathcomp-bigenough-tlj26
 71s                              Depends: libcoq-mathcomp-finmap-993z6
 71s E: Unable to correct problems, you have held broken packages.
 71s autopkgtest [17:25:30]: @@@@@@@@@@@@@@@@@@@@ summary
 71s command1             FAIL badpkg
 71s blame: mathcomp-analysis
 71s 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.
 71s command1             FAIL badpkg
 71s blame: mathcomp-analysis
 71s 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.
 75s nova [W] Using flock in prodstack7-s390x
 75s Creating nova instance adt-questing-s390x-mathcomp-analysis-20250506-172419-juju-7f2275-prod-proposed-migration-environment-21-3abe1648-840d-47e0-8fe3-a71a54ea3ab3 from image adt/ubuntu-questing-s390x-server-20250506.img (UUID fef1f145-d219-47e4-a2ed-77b44eac0376)...
 75s nova [W] Timed out waiting for 3a68af24-a372-497f-880d-f84bf39b8668 to get deleted.