Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-17 Thread Paul Gevers
Dear Tobias, Michael, Can be please have an answer to the question below? Your lack of answer is blocking migration to testing of multiple packages. On 07-03-2022 17:28, dogs...@riseup.net wrote: Paul Gevers писал 2022-03-06 21:36: On 06-03-2022 11:30, dogs...@riseup.net wrote: As I can

Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-07 Thread dogsleg
Hi, Paul Gevers писал 2022-03-06 21:36: > Hi Lev, > > On 06-03-2022 11:30, dogs...@riseup.net wrote: >> As I can see, there is only one reverse build-dependency on swi-prolog >> apart from eye and logol, that is ppl. It is a C++ library providing >> SWI-Prolog interface. I tried to build it

Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-06 Thread Paul Gevers
Hi Lev, On 06-03-2022 11:30, dogs...@riseup.net wrote: As I can see, there is only one reverse build-dependency on swi-prolog apart from eye and logol, that is ppl. It is a C++ library providing SWI-Prolog interface. I tried to build it against swi-prolog from unstable on amd64 porterbox and

Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-06 Thread dogsleg
Paul Gevers писал 2022-03-06 01:09: > Hi Lev, > > On 04-03-2022 11:42, dogs...@riseup.net wrote: >>> Do you confirm that this ABI change doesn't effect the other reverse >>> build dependencies of src:swi-prolog? If that's the case I'm fine with >>> removing the block. But I'm afraid (without

Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-05 Thread Paul Gevers
Hi Lev, On 04-03-2022 11:42, dogs...@riseup.net wrote: Do you confirm that this ABI change doesn't effect the other reverse build dependencies of src:swi-prolog? If that's the case I'm fine with removing the block. But I'm afraid (without checking from my side) that the other package don't have

Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-04 Thread dogsleg
Paul Gevers писал 2022-03-04 00:46: > Hi Lev, > > On 03-03-2022 08:46, dogs...@riseup.net wrote: >> 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

Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-03 Thread olivier sallou
Le jeu. 3 mars 2022, 20:51, Paul Gevers a écrit : > Hi Lev, > > On 03-03-2022 08:46, dogs...@riseup.net wrote: > > 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

Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-03 Thread Paul Gevers
Hi Lev, On 03-03-2022 08:46, dogs...@riseup.net wrote: 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),

Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-02 Thread dogsleg
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

Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-02 Thread Paul Gevers
Hi, 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

Bug#1006384: closed by Debian FTP Masters (reply to Olivier Sallou ) (Bug#1006384: fixed in logol 1.7.9+dfsg-2)

2022-03-01 Thread Paul Gevers
Dear logol and swi-prolog maintainers, On 01-03-2022 10:21, Debian Bug Tracking System wrote: Changes: logol (1.7.9+dfsg-2) unstable; urgency=medium . * Source only upload, rebuilding against swi-prolog/8.4.2+dfsg-2 after swi-prolog ABI break (Closes: #1006384). This "fix"