|
tests
|
7.6.4 bump
|
2018-01-15 14:09:32 +01:00 |
|
.gitignore
|
7.6.4 bump
|
2018-01-15 14:09:32 +01:00 |
|
.rpmlint
|
Teach rpmlint
|
2012-03-08 15:43:12 +01:00 |
|
pl-6.2.0-pc.patch
|
6.2.0 bump
|
2012-08-23 17:11:30 +02:00 |
|
pl.spec
|
7.6.4 bump
|
2018-01-15 14:09:32 +01:00 |
|
repackage.sh
|
7.2.0 bump
|
2015-06-08 14:15:18 +02:00 |
|
sources
|
7.6.4 bump
|
2018-01-15 14:09:32 +01:00 |
|
swipl-7.4.1-Fix-JNI.patch
|
7.4.1 bump
|
2017-03-06 14:40:32 +01:00 |
|
swipl-7.6.0-jpl-configure.patch
|
7.6.0 bump
|
2017-10-20 13:38:32 +02:00 |
|
swipl-7.6.0-Unbundle-jquery1.patch
|
7.6.0 bump
|
2017-10-20 13:38:32 +02:00 |
