Package: gringo / 4.4.0-1
Metadata
Package | Version | Patches format |
---|---|---|
gringo | 4.4.0-1 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
gringo manpages.patch | (download) |
clingo.1 |
55 55 + 0 - 0 ! |
add gringo.1, clingo.1, and iclingo.1 manpages. |
1