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 | armhf |
Size | 1.6MiB |
Installed size | 3.8MiB |
Origin | gringo |
Maintainer | Anil Madhavapeddy |
Build time | 2017-12-30 20:05:50 |
Commit | 63f5e7d295659a855709901ce22a3e5f40fce455 | Merge request | N/A |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |