| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | armhf | mona armhf | 1.4-18-1build1 | optional | 1.2 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | mona ppc64el | 1.4-18-1build1 | optional | 1.9 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | mona riscv64 | 1.4-18-1build1 | optional | 3.2 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | s390x | mona s390x | 1.4-18-1build1 | optional | 1.5 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | mona amd64v3 | 1.4-18-1build1 | optional | 1.6 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | armhf | mona armhf | 1.4-18-1build1 | optional | 1.2 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | s390x | mona s390x | 1.4-18-1build1 | optional | 1.5 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | mona arm64 | 1.4-18-1build1 | optional | 1.7 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | mona amd64 | 1.4-18-1build1 | optional | 1.4 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | mona arm64 | 1.4-18-1build1 | optional | 1.7 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | mona riscv64 | 1.4-18-1build1 | optional | 3.2 MB | theorem prover based on automata | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | mona ppc64el | 1.4-18-1build1 | optional | 1.9 MB | theorem prover based on automata | match | Details |