| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | armhf | why3 armhf | 1.8.2-3build1 | optional | 86.8 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | why3 ppc64el | 1.8.2-3build1 | optional | 59.1 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | why3 riscv64 | 1.8.2-3build1 | optional | 58.2 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | s390x | why3 s390x | 1.8.2-3build1 | optional | 60.6 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | why3 amd64v3 | 1.8.2-3build1 | optional | 55.1 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | armhf | why3 armhf | 1.8.2-3build1 | optional | 86.8 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | s390x | why3 s390x | 1.8.2-3build1 | optional | 60.6 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | why3 arm64 | 1.8.2-3build1 | optional | 64.3 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | why3 amd64 | 1.8.2-3build1 | optional | 55.1 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | why3 arm64 | 1.8.2-3build1 | optional | 64.3 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | why3 riscv64 | 1.8.2-3build1 | optional | 58.2 MB | Software verification platform | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | why3 ppc64el | 1.8.2-3build1 | optional | 59.1 MB | Software verification platform | match | Details |