Your message dated Fri, 31 Mar 2023 09:20:54 +0000
with message-id <e1piawi-00aukm...@fasolo.debian.org>
and subject line Bug#1033636: fixed in swi-prolog 9.0.4+dfsg-2
has caused the Debian Bug report #1033636,
regarding swi-prolog ships shared libraries, breaks partial upgrades
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 ow...@bugs.debian.org
immediately.)


-- 
1033636: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1033636
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: swi-prolog
Version: 9.0.4+dfsg-1
Severity: serious

The swi-prolog core package ships a shared library, libswipl.so.  The soname
of this library has changed between stable and testing, from libswipl.so.8
to libswipl.so.9.

While swi-prolog-core declares many "ABI" virtual packages, it doesn't
declare one saying what the soname is, which is the most standard way of
expressing dependencies in Debian packages.

As a result, logol-bin in stable has dependencies on:

  swi-prolog-core (>= 8.4.2+dfsg), swi-prolog, swi-prolog-abi-binary-68

And these dependencies are satisfied by the swi-prolog-core in testing BUT
installing the swi-prolog-core from testing with the logol-bin from stable
is broken.

This was correctly detected by the ci.debian.net infrastructure back in
December (though the logs from those runs have now been discarded).
https://ci.debian.net/packages/l/logol/testing/amd64/

swi-prolog should:
- make sure there is a real or virtual package libswipl9
- make sure there is a shlibs or symbols file pointing to libswipl9, so that
packages which have an ELF dependency on this library also have that
expressed as a package dependency
- declare a Breaks: on logol-bin (<< 1.7.9+dfsg-6) so that older versions
which depend on a different SONAME aren't broken by partial upgrades.

logol should then be rebuilt to pick up a dependency on libswipl9.

-- 
Steve Langasek                   Give me a lever long enough and a Free OS
Debian Developer                   to set it on, and I can move the world.
Ubuntu Developer                                   https://www.debian.org/
slanga...@ubuntu.com                                     vor...@debian.org

Attachment: signature.asc
Description: PGP signature


--- End Message ---
--- Begin Message ---
Source: swi-prolog
Source-Version: 9.0.4+dfsg-2
Done: Lev Lamberov <dogs...@debian.org>

We believe that the bug you reported is fixed in the latest version of
swi-prolog, 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 1033...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Lev Lamberov <dogs...@debian.org> (supplier of updated swi-prolog 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 ftpmas...@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 31 Mar 2023 13:09:42 +0500
Source: swi-prolog
Architecture: source
Version: 9.0.4+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Lev Lamberov <dogs...@debian.org>
Changed-By: Lev Lamberov <dogs...@debian.org>
Closes: 1033636
Changes:
 swi-prolog (9.0.4+dfsg-2) unstable; urgency=medium
 .
   * Provide a virtual libswipl9 package in swi-prolog-core
     Thanks to Sven Joachim
   * Add Versioned Breaks against logol-bin and libppl-swi (Closes: #1033636)
     Thanks to Sven Joachim
Checksums-Sha1:
 7120510b9b17e02247658cf0316eb492dfd904af 3478 swi-prolog_9.0.4+dfsg-2.dsc
 f79eff71b76e736767fda551a10445609961faf1 34500 
swi-prolog_9.0.4+dfsg-2.debian.tar.xz
 8d2eb0f1bd777a5b48d58087ea23f8968749aa0d 16854 
swi-prolog_9.0.4+dfsg-2_amd64.buildinfo
Checksums-Sha256:
 7d9a4c3b1d4069fbb1b145428082240c1781912e00f4826e13c66832108887d9 3478 
swi-prolog_9.0.4+dfsg-2.dsc
 26bd4d86be6e1e9dc11114aa1a8ba86634f2c7ea3dcf09c63d482d1e6ba1cf78 34500 
swi-prolog_9.0.4+dfsg-2.debian.tar.xz
 bcdd161926cc9521a7953eaeb510321ffbd3092f9a7c9bdaceb139097222264e 16854 
swi-prolog_9.0.4+dfsg-2_amd64.buildinfo
Files:
 3f056375d9d4287d754504a3deef6f1c 3478 interpreters optional 
swi-prolog_9.0.4+dfsg-2.dsc
 b9df684ecac14e8a3aa7d39c6627fefa 34500 interpreters optional 
swi-prolog_9.0.4+dfsg-2.debian.tar.xz
 5d98e3a302b84757dab4e78ee04eeee8 16854 interpreters optional 
swi-prolog_9.0.4+dfsg-2_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEE3mumcdV9mwCc9oZQXudu4gIW0qUFAmQmn/4ACgkQXudu4gIW
0qWqaA//fL2K9/SL8OFkB4tP4wN1NJzCc8DtOL0RvEMjfTeWxPhtp6hmA6AtyW34
/Sa1xtdQlwQpJkwyu2GQJx9rzvfRrCZCV5MGX+Pud2TyGommlEOEQfq9uGmWKfIk
NDABQtqx8pOp6fY2FnsfHJdFT5K0TN44h31Te3BhJJUZ4kZIPPUXpjMFPDFGyaSd
NPf4occ59kDvUMIzanLnmDJSgRwiZ6xGqjhjJicUr2GBM70BZHX0hNg09MDmeedd
fN0zh5I+FDndo2p+sEOCdBgnFB8K1QVK39JeL2xs6LO5Nkep2uIot7TDNwlaERBe
FEcoJ2H3soRFdPrRKKKdTsKYszaCZfGLAMW2cRWOm/7RTRrb4DzYnT2E83hjKJb3
h41Izqp4NM4alkUaILmZL3981pxFxqdaOvf494EPCehXzABALqZMsYEixANBjtQ2
e1nvNqJTus3tZG4n33YYejbzc4E1MSHQIj3UzKBViFHwBRtxYfEQYADhdQehj6Bc
jHCzHLf9VC3N2rO93YvFFBqihC4EkfbEMEcORnggExYlg6c8cU0KvShqXqqiOmAw
+8shw3x6Y2BB45lljEWQhvT+5IU2D6SKp/Q9XycahXeFiFJc6DgnUHsU+dbZeOjU
AoQiIJl4VMX+Q4vER46UqaJSG6RGzc32SK6n2nSgHOwgy5ud1ow=
=QjQE
-----END PGP SIGNATURE-----

--- End Message ---

Reply via email to