| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | armhf | cbmc armhf | 6.6.0-4ubuntu2 | extra | 52.5 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | cbmc riscv64 | 6.6.0-4ubuntu2 | extra | 70.5 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 26.04/resolute | universe | s390x | cbmc s390x | 6.6.0-4ubuntu2 | extra | 80.2 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | cbmc amd64v3 | 6.6.0-4ubuntu2 | extra | 90.8 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 26.04/resolute | universe | armhf | cbmc armhf | 6.6.0-4ubuntu2 | extra | 52.5 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 26.04/resolute | universe | s390x | cbmc s390x | 6.6.0-4ubuntu2 | extra | 80.2 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | cbmc arm64 | 6.6.0-4ubuntu2 | extra | 78.8 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | cbmc amd64 | 6.6.0-4ubuntu2 | extra | 89 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | cbmc arm64 | 6.6.0-4ubuntu2 | extra | 78.8 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | cbmc riscv64 | 6.6.0-4ubuntu2 | extra | 70.5 MB | bounded model checker for C and C++ programs | match | Details |