Package: gringo / 4.4.0-1

Metadata

Package Version Patches format
gringo 4.4.0-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
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.