| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| use-local-jquery.diff | 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. |
Lev Lamberov <dogsleg@debian.org> | no | |||
| no_extra_documentation.diff | Don't install extra documentation for core part of SWI-Prolog We don't need additional license and readme files in /usr/lib. |
Lev Lamberov <dogsleg@debian.org> | no | |||
| disable_http_proxy_test.diff | Disable http_proxy test This patch disables http_proxy test. This test fails without proper public network. |
Lev Lamberov <dogsleg@debian.org> | no | |||
| 0006-UPDATED-Java-standards-from-7-to-8.patch | [PATCH 06/10] UPDATED: Java standards from 7 to 8. Support for 7 is dropped from latest OpenJDK releases and 7 is officially EOL for a while. |
Jan Wielemaker <J.Wielemaker@vu.nl> | no | 2023-09-25 |