| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | ppc64el | coq ppc64el | 8.20.1+dfsg-1build4 | optional | 278 MB | proof assistant for higher-order logic (toplevel and compiler) | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | coq riscv64 | 8.20.1+dfsg-1build4 | optional | 276.7 MB | proof assistant for higher-order logic (toplevel and compiler) | match | Details |
ubuntu | 26.04/resolute | universe | s390x | coq s390x | 8.20.1+dfsg-1build4 | optional | 285 MB | proof assistant for higher-order logic (toplevel and compiler) | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | coq amd64v3 | 8.20.1+dfsg-1build4 | optional | 265.1 MB | proof assistant for higher-order logic (toplevel and compiler) | match | Details |
ubuntu | 26.04/resolute | universe | s390x | coq s390x | 8.20.1+dfsg-1build4 | optional | 285 MB | proof assistant for higher-order logic (toplevel and compiler) | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | coq arm64 | 8.20.1+dfsg-1build4 | optional | 286.6 MB | proof assistant for higher-order logic (toplevel and compiler) | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | coq amd64 | 8.20.1+dfsg-1build4 | optional | 265.1 MB | proof assistant for higher-order logic (toplevel and compiler) | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | coq arm64 | 8.20.1+dfsg-1build4 | optional | 286.6 MB | proof assistant for higher-order logic (toplevel and compiler) | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | coq riscv64 | 8.20.1+dfsg-1build4 | optional | 276.7 MB | proof assistant for higher-order logic (toplevel and compiler) | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | coq ppc64el | 8.20.1+dfsg-1build4 | optional | 278 MB | proof assistant for higher-order logic (toplevel and compiler) | match | Details |