Package: gringo / 5.4.1-3

Metadata

Package Version Patches format
gringo 5.4.1-3 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
gringo manpages.patch | (download)

clingo.1 | 58 58 0 - 0 !
gringo.1 | 60 60 0 - 0 !
lpconvert.1 | 53 53 0 - 0 !
reify.1 | 54 54 0 - 0 !
4 files changed, 225 insertions( )

 add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

gringo python3 utf8.patch | (download)

app/clingo/tests/run.py | 4 2 2 - 0 !
1 file changed, 2 insertions( ), 2 deletions(-)

 fix testsuite for python3 when reading utf-8 scripts

===================================================================

link libatomic check.patch | (download)

CMakeLists.txt | 29 29 0 - 0 !
1 file changed, 29 insertions( )

 link with libatomic on architectures that require it

bump version 5.4.1.patch | (download)

libclingo/clingo.h | 4 2 2 - 0 !
1 file changed, 2 insertions( ), 2 deletions(-)

 bump clingo_version to 5.4.1