Group Details - potassco (armv7h)
1 package found.
Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
---|---|---|---|---|---|---|
armv7h | Pcr | gringo | 4.5.4-1 | Grounding tools for (disjunctive) logic programs. | 2018-01-02 |
1 package found.
Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
---|---|---|---|---|---|---|
armv7h | Pcr | gringo | 4.5.4-1 | Grounding tools for (disjunctive) logic programs. | 2018-01-02 |