| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | armhf | picosat armhf | 965-3 | extra | 787.5 kB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | picosat ppc64el | 965-3 | extra | 1.3 MB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | picosat riscv64 | 965-3 | extra | 3 MB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | s390x | picosat s390x | 965-3 | extra | 905.2 kB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | picosat amd64v3 | 965-3 | extra | 907.3 kB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | armhf | picosat armhf | 965-3 | extra | 787.5 kB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | s390x | picosat s390x | 965-3 | extra | 905.2 kB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | picosat arm64 | 965-3 | extra | 1.1 MB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | picosat amd64 | 965-3 | extra | 892.9 kB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | picosat arm64 | 965-3 | extra | 1.1 MB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | picosat riscv64 | 965-3 | extra | 3 MB | SAT solver with proof and core support | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | picosat ppc64el | 965-3 | extra | 1.3 MB | SAT solver with proof and core support | match | Details |