| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | armhf | cvc4 armhf | 1.8-5 | optional | 280.6 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | cvc4 ppc64el | 1.8-5 | optional | 281.6 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | cvc4 riscv64 | 1.8-5 | optional | 269.3 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | s390x | cvc4 s390x | 1.8-5 | optional | 265.2 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | cvc4 amd64v3 | 1.8-5 | optional | 277.5 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | armhf | cvc4 armhf | 1.8-5 | optional | 280.6 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | s390x | cvc4 s390x | 1.8-5 | optional | 265.2 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | cvc4 arm64 | 1.8-5 | optional | 281.6 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | cvc4 amd64 | 1.8-5 | optional | 277.5 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | cvc4 arm64 | 1.8-5 | optional | 281.6 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | cvc4 riscv64 | 1.8-5 | optional | 269.3 kB | automated theorem prover for SMT problems | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | cvc4 ppc64el | 1.8-5 | optional | 281.6 kB | automated theorem prover for SMT problems | match | Details |