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