| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | armhf | gringo armhf | 5.8.0-2 | optional | 11.6 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | gringo ppc64el | 5.8.0-2 | optional | 18 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | gringo riscv64 | 5.8.0-2 | optional | 14.5 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | s390x | gringo s390x | 5.8.0-2 | optional | 16.6 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | gringo amd64v3 | 5.8.0-2 | optional | 15.9 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | armhf | gringo armhf | 5.8.0-2 | optional | 11.6 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | s390x | gringo s390x | 5.8.0-2 | optional | 16.6 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | gringo arm64 | 5.8.0-2 | optional | 15.7 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | gringo amd64 | 5.8.0-2 | optional | 15.7 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | gringo arm64 | 5.8.0-2 | optional | 15.7 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | gringo riscv64 | 5.8.0-2 | optional | 14.5 MB | grounding tools for (disjunctive) logic programs | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | gringo ppc64el | 5.8.0-2 | optional | 18 MB | grounding tools for (disjunctive) logic programs | match | Details |