Bug#1005852: marked as done (ssreflect doesn't migrate, still broken autopkg tests)
Your message dated Wed, 16 Feb 2022 21:57:48 +0000
with message-id <E1nKSJ2-0009z4-5i@fasolo.debian.org>
and subject line Bug#1005852: fixed in ssreflect 1.14.0-7
has caused the Debian Bug report #1005852,
regarding ssreflect doesn't migrate, still broken autopkg tests
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
1005852: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005852
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
Source: ssreflect
Source-Version: 1.14.0-7
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
ssreflect, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1005852@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated ssreflect package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 16 Feb 2022 22:19:18 +0100
Source: ssreflect
Architecture: source
Version: 1.14.0-7
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1005852
Changes:
ssreflect (1.14.0-7) unstable; urgency=medium
.
* Better fix for Breaks+Replaces (Closes: #1005852).
Checksums-Sha1:
1eadedbf9a88ced355de3eacc548caea62c66c83 2580 ssreflect_1.14.0-7.dsc
a12d9f03bc865687aab92de38fbd4062482cb986 12372 ssreflect_1.14.0-7.debian.tar.xz
4295bbe1fe53dcdad23aed7db2265b48833b6e17 7288 ssreflect_1.14.0-7_source.buildinfo
Checksums-Sha256:
d18ce8f4ab278f808c5cd6406bdfbfbbf234d2013ff61a7a19d16975b4e89e4f 2580 ssreflect_1.14.0-7.dsc
55a9e826008a826f30173c746fce5dc300d40c0ef8c5ba795d9a0e51cfda67cf 12372 ssreflect_1.14.0-7.debian.tar.xz
1ab3dd3e0a69d301059644594e531c6ec5adcdb86ed267ffb9a21af3fa1a48db 7288 ssreflect_1.14.0-7_source.buildinfo
Files:
768b2e65de9b7a5476a317eccac5c655 2580 math optional ssreflect_1.14.0-7.dsc
c8fd9a9b8a2c3882ba5d22e371bcb1f7 12372 math optional ssreflect_1.14.0-7.debian.tar.xz
b34d412233126eb51c467617ae816bef 7288 math optional ssreflect_1.14.0-7_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmINanQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/6oQAJbUA9XO4I7bIwOgGueD816VC5YHp94G
Xvzmh1d/biRHZR92qWrvs+J7IGL2HFbiV/G1vnotVOtxIXdteI9wbMpNsxO6T8mM
BhNsSY49HVWyfXcD1VqO0XSIBH0rGZNbVkH5ec3ztVYdz6KTCY1gm/NKbGjvrtka
TVUaarROXdmF4pYvRCd5iXXaOzAdm2BlKxqWmD38k+oT6slnshZpyItYvPDEjtqO
oojYSBOXDWISzk7C6nP/346lwWNKMRr7D5aloVrISpzvF0F7H0qFxsn+DfnvxUhE
LV15GNOqt0FccGd4pi/Q+Imp5gtMiKh8vRrKpUhexB2qzYqoazvQgt8qfrAJmHTM
UtKrjQdfODuSWb3ZzKXNK+NbvBh7B5dNhPglBVrobFS9g2tsTRk44Ayv5oIcYisc
Dgq0ovkRFowXdQLm6QTCVmSFPT9EK6HiZvGoP74GSgZEJJzf9TcvfczZKKA89mf1
cuOh8t3d59881+3UOKWPB4KJmhq7kb0wbMN3+LqbKcXcHNesDMTzNHqInMzcCoG1
qK3pkRvOas5T6StsRf98n5OM9l1L10+4AbODRbhV770Oy4oX7VCR3Cq2aPSUP0eB
5Hh0SYsy0tfzx4iK77QRXjbFG3m/hFoXHA4PeIlKXwcWD26WltZ2Fmc+2aPmakSB
V9K4Ev3k0ikn
=n06z
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: