Group Details - potassco (x86_64)
1 package found.
Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
---|---|---|---|---|---|---|
x86_64 | Pcr | gringo | 4.5.4-1 | Grounding tools for (disjunctive) logic programs. | 2016-05-30 |
1 package found.
Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
---|---|---|---|---|---|---|
x86_64 | Pcr | gringo | 4.5.4-1 | Grounding tools for (disjunctive) logic programs. | 2016-05-30 |