[Debian-med-packaging] Bug#1006384: closed by Debian FTP Masters <ftpmaster at ftp-master.debian.org> (reply to Olivier Sallou <osallou at debian.org>) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

[dogsleg at riseup.net]

Hi Paul,

Paul Gevers писал 2022-03-03 00:44:

> On 01-03-2022 12:01, Paul Gevers wrote:
>> This "fix" suggest there may be more breakage, normally the Release Team would schedule binNMU's. Can you please elaborate how ABI is normally maintained within swi-prolog, such that the rebuilds can be detected and requested? I fail to see how in the case of logol and swi-prolog the right versions are chosen. In other words, I think the "fixed" logol can migrate to testing even if swi-prolog does not and will be broken in testing until swi-prolog can migrate. Normally *versioned* dependencies should prevent this.
> 
> I just read the backlog of the bug report (by default, submitters of
> bug reports in Debian don't get notified of messages, I missed the
> discussion). It seems my worry was already raised. The bug was
> reassigned to logol, so the swi-prolog maintainers missed my message.
> 
>> I checked, there are more reverse build dependencies of swi-prolog, I'm afraid there's more breakage that hasn't been detected yet. (eye seems to go in lockstep, so that package currently seems OK).
> 
> Maybe swi-prolog maintainers can comment.

Thanks for your input. Since the problem is resolved now, could you
please
unblock migration of swi-prolog, logol, and eye (another package
depending
on swi-prolog).

swi-prolog package (namely, swi-prolog-core) provides an easy way to
require some particular ABI since 8.2.0+dfsg-2 uploaded on Jun 9, 2020.
Specifically, in this case logol requires version 67 of binary ABI
(pre-compiled Prolog code), where the version of swi-prolog in unstable
is at version 68. In case of logol, its fixed version needs to depend on
swi-prolog-binary-68 (again, provided by swi-prolog-core). In this case
it will be easier to track problems with ABI changes.

There are more ABI stuff in swi-prolog which can be tracked the same
way.
It is documented in d/Debian.NEWS and d/README.Debian and there are
references to SWI-Prolog upstream reference guide. More specifically,
swi-prolog provides 5 virtual packages, each of them containing (a part)
of some specific ABI version claimed by the current swi-prolog version.
All these components are extensively documented in SWI-Prolog upstream
reference guide.

These virtual packages were introduced to prevent the same
ABI-incompatibility problems with another Debian package, eye.

Cheers!
Lev