Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu nmu ppl_1:1.1-7.2 . ANY . unstable . -m "Rebuild with swi-prolog 7.2.3" libppl-swi has a versioned dependency on the upstream version of swi-prolog-nox that was used at build time. That seems to be the only package affected by this "transition". Andreas