swi-prolog (8.2.0+dfsg-2) unstable; urgency=medium SWI-Prolog core system is now shipped in swi-prolog-core package, which provides SWI-Prolog interpreter itself. SWI-Prolog core packages, which do not depend on external libraries (except zlib) are now shipped in swi-prolog-core-packages package. Previously core system and core packages where shipped in swi-prolog-nox, but there were some requests to provides these components separately to reduce install size of SWI-Prolog basic setup and reduce the number of its dependencies. Also, swi-prolog-core now provides the following virtual packages: swi-prolog-abi-$(swi-prolog:ABI) swi-prolog-api-foreign-$(swi-prolog:FABI) swi-prolog-abi-binary-${swi-prolog:BABI} swi-prolog-abi-qlf-${swi-prolog:QLF} swi-prolog-abi-states-${swi-prolog:SSTATES} The names of these virtual packages are based on the output of $ swipl --abi_version Other packages may depend on specific SWI-Prolog ABI or ABI compotent. or FABI (see, README.Debian for more information). -- Lev Lamberov , Tue, 9 Jun 2020 09:58:42 +0500 swi-prolog (8.1.26+dfsg-1) unstable; urgency=medium Documentation (including interactive documentation) and examples are shipped now in swi-prolog-doc, which is Recommended. Without installing this package it is not possible to use help query in SWI-Prolog interactive interpreter, but it saves some disk space for those who don't need it. -- Lev Lamberov Sat, 28 Mar 2020 21:43:11 +0500