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