| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | armhf | kissat armhf | 4.0.3-2 | optional | 805.9 kB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | kissat ppc64el | 4.0.3-2 | optional | 1.3 MB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | kissat riscv64 | 4.0.3-2 | optional | 904.2 kB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | s390x | kissat s390x | 4.0.3-2 | optional | 1 MB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | kissat amd64v3 | 4.0.3-2 | optional | 1.1 MB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | armhf | kissat armhf | 4.0.3-2 | optional | 805.9 kB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | s390x | kissat s390x | 4.0.3-2 | optional | 1 MB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | kissat arm64 | 4.0.3-2 | optional | 1 MB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | kissat amd64 | 4.0.3-2 | optional | 1.1 MB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | kissat arm64 | 4.0.3-2 | optional | 1 MB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | kissat riscv64 | 4.0.3-2 | optional | 904.2 kB | Keep it simple and clean bare metal SAT solver | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | kissat ppc64el | 4.0.3-2 | optional | 1.3 MB | Keep it simple and clean bare metal SAT solver | match | Details |