Package: gringo / 3.0.4-3

Metadata

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

Patch series

view the series file
Patch File delta Description
gringo domain fwd decl.patch | (download)

libgringo/src/parser.r2c | 1 1 + 0 - 0 !
1 file changed, 1 insertion(+)

 fix invalid use of incomplete type domain compile error.
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=652787
gringo manpages.patch | (download)

clingo.1 | 55 55 + 0 - 0 !
gringo.1 | 56 56 + 0 - 0 !
iclingo.1 | 61 61 + 0 - 0 !
3 files changed, 172 insertions(+)

 add gringo.1, clingo.1, and iclingo.1 manpages.
gringo clang gcc.patch | (download)

libgringo/gringo/aggrlit.h | 8 6 + 2 - 0 !
libgringo/gringo/clone_ptr.h | 4 3 + 1 - 0 !
libgringo/gringo/gringo.h | 27 18 + 9 - 0 !
libgringo/gringo/instantiator.h | 11 7 + 4 - 0 !
libgringo/gringo/lit.h | 9 6 + 3 - 0 !
libgringo/gringo/litdep.h | 11 7 + 4 - 0 !
libgringo/gringo/optimize.h | 9 6 + 3 - 0 !
libgringo/gringo/parser.h | 1 1 + 0 - 0 !
libgringo/gringo/term.h | 9 6 + 3 - 0 !
libgringo/gringo/varterm.h | 9 6 + 3 - 0 !
libgringo/src/aggrlit.cpp | 9 6 + 3 - 0 !
11 files changed, 72 insertions(+), 35 deletions(-)

 fix ftbfs with g++ 4.7 and clang