Package: swi-prolog / 8.0.2+dfsg-3+deb10u1
Metadata
Package | Version | Patches format |
---|---|---|
swi-prolog | 8.0.2+dfsg-3+deb10u1 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
default stack size.diff | (download) |
src/pl-thread.c |
2 1 + 1 - 0 ! |
--- |
use local jquery.diff | (download) |
packages/pengines/examples/web/chunking.html |
2 1 + 1 - 0 ! |
use local copy of jquery Using jQuery from a remote source is a potential privacy breach. This patch prevents fetching from remote sources by using a local copy of jQuery. |
no_extra_documentation.diff | (download) |
CMakeLists.txt |
2 1 + 1 - 0 ! |
don't install extra documentation for core part of swi-prolog We don't need additional license and readme files in /usr/lib. |
jpl install.diff | (download) |
CMakeLists.txt |
3 3 + 0 - 0 ! |
handle symlink creation by means of cmake We need it if we want to avoid that people that use JPL to embed Prolog in Java (which seems popular) have to set LD_LIBRARY_PATH. |
use_https_for_pack server.diff | (download) |
library/prolog_pack.pl |
2 1 + 1 - 0 ! |
[patch] fixed: use https to contact the pack server. |