Commit - rpms/pl - c176a2a7f6c1e0bba9b8149428e29d6f7173f2a8

    8.0.2 bump (bz 1669571).
    
    Also:
    - Drop the -static subpackage.
    - Drop the -jpl-configure, -pc, and -Use-system-js-query patches.
    - Add -unbundle-libstemmer patch.
    - Add a check script.
    - Build the PDF instead of using the one provided by upstream.

Build completed
success

Built as pl-8.0.2-1.fc31
5 years ago
Build completed
success

Built as pl-8.0.2-1.fc30
5 years ago

.gitignore

file modified

+3 -59

JavaConfig.java

file modified

+3 -1

pl-6.2.0-pc.patch

file removed

-11

pl.spec

file modified

+196 -128

repackage.sh

file modified

+0 -1

sources

file modified

+1 -2

swipl-7.2.0-Remove-files-locations-from-swipl-1-manual.patch

file modified

+2 -2

swipl-7.4.1-Fix-JNI.patch

file modified

+10 -7

swipl-7.6.0-jpl-configure.patch

file removed

-104

swipl-7.6.4-Use-system-js-query.patch

file removed

-33

swipl-8.0.2-unbundle-libstemmer.patch

file added

+38

rpms / pl

Source Code

c176a2a 8.0.2 bump (bz 1669571).

Authored and Committed by jjames 5 years ago

`c176a2a` 8.0.2 bump (bz 1669571).