Hi Olivier!
> ok,
> I uploaded logol 1.7.9+dfsg-2 built against swi-prolog 8.4.2 and
> closing the issue with upload.
> Let's see what happens for migration.
Thank you!
Le lun. 28 févr. 2022 à 06:37, a écrit :
> Dear Olivier,
>
> sorry for the delay with my message and thanks for your input.
>
> olivier sallou писал 2022-02-25 12:12:
> > ok,
> > after a quick look, issue is Logol is compiled against swi-prolog, and
> > there is an ABI issue I think, getting erro
Dear Olivier,
sorry for the delay with my message and thanks for your input.
olivier sallou писал 2022-02-25 12:12:
> ok,
> after a quick look, issue is Logol is compiled against swi-prolog, and
> there is an ABI issue I think, getting error:
>
> incompatible version (file: 67, Prolog: 68)]
>
>
ok,
after a quick look, issue is Logol is compiled against swi-prolog, and
there is an ABI issue I think, getting error:
incompatible version (file: 67, Prolog: 68)]
Recompiling logol in sid against swi-prolog 8.4.2+dfsg-2 results in correct
execution/tests.
So, 2 things:
* As swi-prolog is onl
Hi,
Logol is not maintained for quite a long time now, i will try to have a
look, but i am ok to get logol removed from testing to avoid blocking swi
prolog
Olivier
Le jeu. 24 févr. 2022, 19:36, Paul Gevers a écrit :
> Source: swi-prolog, logol
> Control: found -1 swi-prolog/8.4.2+dfsg-2
> Cont
Source: swi-prolog, logol
Control: found -1 swi-prolog/8.4.2+dfsg-2
Control: found -1 logol/1.7.9+dfsg-1
Severity: serious
Tags: sid bookworm
X-Debbugs-CC: debian...@lists.debian.org
User: debian...@lists.debian.org
Usertags: breaks needs-update
Dear maintainer(s),
With a recent upload of swi-pr
6 matches
Mail list logo