| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | armhf | spass armhf | 3.9-1.1build1 | optional | 476.2 kB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | spass ppc64el | 3.9-1.1build1 | optional | 1.1 MB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | spass riscv64 | 3.9-1.1build1 | optional | 596 kB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | s390x | spass s390x | 3.9-1.1build1 | optional | 874.5 kB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | spass amd64v3 | 3.9-1.1build1 | optional | 784.4 kB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | armhf | spass armhf | 3.9-1.1build1 | optional | 476.2 kB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | s390x | spass s390x | 3.9-1.1build1 | optional | 874.5 kB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | spass arm64 | 3.9-1.1build1 | optional | 804.9 kB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | spass amd64 | 3.9-1.1build1 | optional | 784.4 kB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | spass arm64 | 3.9-1.1build1 | optional | 804.9 kB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | spass riscv64 | 3.9-1.1build1 | optional | 596 kB | automated theorem prover for first-order logic with equality | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | spass ppc64el | 3.9-1.1build1 | optional | 1.1 MB | automated theorem prover for first-order logic with equality | match | Details |