Package details
Package | gringo |
---|---|
Version | 4.5.4-r1 |
Description | Grounder to translate user-provided logic programs |
Project | https://potassco.org/ |
License | LGPL3 |
Branch | v3.7 |
Repository | community |
Architecture | x86 |
Size | 1.77 MB |
Installed size | 4.21 MB |
Origin | gringo |
Maintainer | Anil Madhavapeddy |
Build time | 2017-11-10 19:20:28 |
Commit | 20474a268d6d1b12e4e37f0d904e55058ac75444 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |