Hi Matthias,
this bug is closed now, but I'd still like to clarify a bit on the
topic.
First of all, 8.0.0 release of SWI-Prolog is a new stable release. It
will receive only security updates. Previous stable release, 7.6.4 (the
last revision of stable branch 7.6.0), was released in Jan 2018. It will
not be supported anymore. And branch 8.0.0 is claimed by upstream to be
much more stable than 7.6.0.
Second, when it comes to s390x I'd like to stress that SWI-Prolog cannot
be built on it because it build-depends on libunwind, which is not built
for s390x since some time ago. Old binaries on s390x was removed, and
now swi-prolog don't list s390x as a target architecture (s390x is not
listed as a target architecture for libunwind either).
Third, about rdeps. Problems arose for ppl and logol. Problems for logol
were resolved, but the problem of ppl is more complicated. The last
release of ppl was in Feb 2016, and I don't think they closely track
SWI-Prolog releases.
Regards,
Lev
