Bug#1005852: ssreflect doesn't migrate, still broken autopkg tests
Package: src:ssreflect
Version: 1.14.0-6
Severity: serious
Tags: sid bookworm
the autopkg tests still fail:
[...]
Setting up gcc (4:11.2.0-2) ...
Processing triggers for libc-bin (2.33-5) ...
autopkgtest: WARNING: package libcoq-mathcomp-algebra is not installed though it
should be
autopkgtest: WARNING: package libcoq-mathcomp-character is not installed though
it should be
autopkgtest: WARNING: package libcoq-mathcomp-field is not installed though it
should be
autopkgtest: WARNING: package libcoq-mathcomp-fingroup is not installed though
it should be
autopkgtest: WARNING: package libcoq-mathcomp-solvable is not installed though
it should be
autopkgtest: WARNING: package libcoq-mathcomp-ssreflect is not installed though
it should be
autopkgtest: WARNING: package libcoq-mathcomp is not installed though it should be
autopkgtest: WARNING: Test dependencies are unsatisfiable with using apt
pinning. Retrying with using all packages from unstable
Reading package lists...
Building dependency tree...
Reading state information...
Correcting dependencies...Starting pkgProblemResolver with broken count: 6
Starting 2 pkgProblemResolver with broken count: 6
Investigating (0) libcoq-mathcomp-solvable:amd64 < none -> 1.14.0-6 @un uN Ib >
Broken libcoq-mathcomp-solvable:amd64 Breaks on libssreflect-coq:amd64 < none |
1.14.0-3 @un uH >
Conflicts//Breaks against version 1.14.0-3 for libssreflect-coq but that is
not InstVer, ignoring
Considering libcoq-mathcomp:amd64 -6 as a solution to
libcoq-mathcomp-solvable:amd64 4
Added libcoq-mathcomp:amd64 to the remove list
Fixing libcoq-mathcomp-solvable:amd64 via keep of libcoq-mathcomp:amd64
Investigating (0) autopkgtest-satdep:amd64 < 0 @iU K Nb Ib >
Broken autopkgtest-satdep:amd64 Depends on libcoq-mathcomp:amd64 < none |
1.14.0-6 @un uH >
Considering libcoq-mathcomp:amd64 -6 as a solution to autopkgtest-satdep:amd64 -2
Removing autopkgtest-satdep:amd64 rather than change libcoq-mathcomp:amd64
Done
Done
Starting pkgProblemResolver with broken count: 0
Starting 2 pkgProblemResolver with broken count: 0
Done
The following packages will be REMOVED:
autopkgtest-satdep
0 upgraded, 0 newly installed, 1 to remove and 15 not upgraded.
1 not fully installed or removed.[...]
[...]
Removing autopkgtest-satdep (0) ...
autopkgtest: WARNING: package libcoq-mathcomp-algebra is not installed though it
should be
autopkgtest: WARNING: package libcoq-mathcomp-character is not installed though
it should be
autopkgtest: WARNING: package libcoq-mathcomp-field is not installed though it
should be
autopkgtest: WARNING: package libcoq-mathcomp-fingroup is not installed though
it should be
autopkgtest: WARNING: package libcoq-mathcomp-solvable is not installed though
it should be
autopkgtest: WARNING: package libcoq-mathcomp-ssreflect is not installed though
it should be
autopkgtest: WARNING: package libcoq-mathcomp is not installed though it should be
autopkgtest: WARNING: Test dependencies are unsatisfiable - calling apt install
on test deps directly for further data about failing dependencies in test logs
Reading package lists...
Building dependency tree...
Reading state information...
Starting pkgProblemResolver with broken count: 6
Starting 2 pkgProblemResolver with broken count: 6
Investigating (0) libcoq-mathcomp-solvable:amd64 < none -> 1.14.0-6 @un puN Ib >
Broken libcoq-mathcomp-solvable:amd64 Breaks on libssreflect-coq:amd64 < none
@un pH >
Conflicts//Breaks against version 1.14.0-3 for libssreflect-coq but that is
not InstVer, ignoring
Considering libcoq-mathcomp:amd64 9993 as a solution to
libcoq-mathcomp-solvable:amd64 10002
Investigating (0) libcoq-mathcomp-ssreflect:amd64 < none -> 1.14.0-6 @un puN Ib >
Broken libcoq-mathcomp-ssreflect:amd64 Breaks on libssreflect-coq:amd64 < none
@un pH >
Conflicts//Breaks against version 1.14.0-3 for libssreflect-coq but that is
not InstVer, ignoring
Considering libcoq-mathcomp:amd64 9993 as a solution to
libcoq-mathcomp-ssreflect:amd64 10002
Investigating (0) libcoq-mathcomp-algebra:amd64 < none -> 1.14.0-6 @un puN Ib >
Broken libcoq-mathcomp-algebra:amd64 Breaks on libssreflect-coq:amd64 < none @un
pH >
Conflicts//Breaks against version 1.14.0-3 for libssreflect-coq but that is
not InstVer, ignoring
Considering libcoq-mathcomp:amd64 9993 as a solution to
libcoq-mathcomp-algebra:amd64 10002
Investigating (0) libcoq-mathcomp-fingroup:amd64 < none -> 1.14.0-6 @un puN Ib >
Broken libcoq-mathcomp-fingroup:amd64 Breaks on libssreflect-coq:amd64 < none
@un pH >
Conflicts//Breaks against version 1.14.0-3 for libssreflect-coq but that is
not InstVer, ignoring
Considering libcoq-mathcomp:amd64 9993 as a solution to
libcoq-mathcomp-fingroup:amd64 10002
Investigating (0) libcoq-mathcomp-field:amd64 < none -> 1.14.0-6 @un puN Ib >
Broken libcoq-mathcomp-field:amd64 Breaks on libssreflect-coq:amd64 < none @un pH >
Conflicts//Breaks against version 1.14.0-3 for libssreflect-coq but that is
not InstVer, ignoring
Considering libcoq-mathcomp:amd64 9993 as a solution to
libcoq-mathcomp-field:amd64 10001
Investigating (0) libcoq-mathcomp-character:amd64 < none -> 1.14.0-6 @un puN Ib >
Broken libcoq-mathcomp-character:amd64 Breaks on libssreflect-coq:amd64 < none
@un pH >
Conflicts//Breaks against version 1.14.0-3 for libssreflect-coq but that is
not InstVer, ignoring
Considering libcoq-mathcomp:amd64 9993 as a solution to
libcoq-mathcomp-character:amd64 10000
Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:
The following packages have unmet dependencies:
libcoq-mathcomp-algebra : Breaks: libssreflect-coq
libcoq-mathcomp-character : Breaks: libssreflect-coq
libcoq-mathcomp-field : Breaks: libssreflect-coq
libcoq-mathcomp-fingroup : Breaks: libssreflect-coq
libcoq-mathcomp-solvable : Breaks: libssreflect-coq
libcoq-mathcomp-ssreflect : Breaks: libssreflect-coq
E: Unable to correct problems, you have held broken packages.
loadssreflect FAIL badpkg
Reply to: