The pl rpms
Find a file
2017-11-08 14:00:25 +01:00
tests 7.2.2 bump 2015-06-25 10:35:09 +02:00
.gitignore 7.4.2 bump 2017-04-20 13:15:51 +02:00
.rpmlint Teach rpmlint 2012-03-08 15:43:12 +01:00
JavaConfig.java Adapt Java library path to java-1.8.0-openjdk-aarch32 2017-01-13 11:17:36 +01:00
pl-6.2.0-pc.patch 6.2.0 bump 2012-08-23 17:11:30 +02:00
pl.spec Fix a security bug in sandboxing pengines 2017-11-08 14:00:25 +01:00
repackage.sh 7.2.0 bump 2015-06-08 14:15:18 +02:00
sources 7.4.2 bump 2017-04-20 13:15:51 +02:00
swipl-7.2.0-Remove-files-locations-from-swipl-1-manual.patch 7.2.0 bump 2015-06-08 14:15:18 +02:00
swipl-7.4.1-Fix-JNI.patch 7.4.1 bump 2017-03-06 14:40:32 +01:00
swipl-7.4.1-jpl-configure.patch 7.4.1 bump 2017-03-06 14:40:32 +01:00
swipl-7.4.1-Unbundle-jquery1.patch 7.4.1 bump 2017-03-06 14:40:32 +01:00
swipl-7.5.11-FIXED-sandbox-handling-of-2.-Vladislav-Zorov-and.patch Fix a security bug in sandboxing pengines 2017-11-08 14:00:25 +01:00