Package details
Package | gringo |
---|---|
Version | 4.5.4-r1 |
Description | Grounder to translate user-provided logic programs |
Project | https://potassco.org/ |
License | LGPL-3.0 |
Branch | v3.12 |
Repository | community |
Architecture | ppc64le |
Size | 2.07 MB |
Installed size | 5.69 MB |
Origin | gringo |
Maintainer | Anil Madhavapeddy |
Build time | 2020-05-05 05:18:52 |
Commit | 91d09eea75c1443c1d776f4d22193cbde18da491 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |