rpms/pl
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The pl rpms
221 commits 42 branches 83 tags 448 KiB
Find a file
Exact
Jerry James 931a56987a Version 8.4.3.
2022-06-21 11:49:04 -06:00
tests 7.6.4 bump 2018-01-15 14:09:32 +01:00
.gitignore 8.0.2 bump (bz 1669571). 2019-03-25 18:59:06 -06:00
.rpmlint Teach rpmlint 2012-03-08 15:43:12 +01:00
JavaConfig.java 8.0.2 bump (bz 1669571). 2019-03-25 18:59:06 -06:00
pl.spec Version 8.4.3. 2022-06-21 11:49:04 -06:00
repackage.sh Version 8.4.0. 2021-10-03 10:08:03 -06:00
sources Version 8.4.3. 2022-06-21 11:49:04 -06:00
swipl-8.2.0-Remove-files-locations-from-swipl-1-manual.patch 8.2.0 bump. 2020-05-28 10:19:56 -06:00
swipl-8.2.0-unbundle-libstemmer.patch 8.2.0 bump. 2020-05-28 10:19:56 -06:00
swipl-8.2.1-Fix-JNI.patch 8.2.1 bump. Add -bad-bibtex-entry patch. 2020-06-29 09:34:05 -06:00