Package: gringo / 3.0.4-3
Metadata
Package | Version | Patches format |
---|---|---|
gringo | 3.0.4-3 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
gringo domain fwd decl.patch | (download) |
libgringo/src/parser.r2c |
1 1 + 0 - 0 ! |
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 ! |
add gringo.1, clingo.1, and iclingo.1 manpages. |
gringo clang gcc.patch | (download) |
libgringo/gringo/aggrlit.h |
8 6 + 2 - 0 ! |
fix ftbfs with g++ 4.7 and clang |