| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 25.10/questing | universe | s390x | cbmc s390x | 6.6.0-4 | extra | 81.8 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 25.10/questing | universe | arm64 | cbmc arm64 | 6.6.0-4 | extra | 80.1 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 25.10/questing | universe | riscv64 | cbmc riscv64 | 6.6.0-4 | extra | 70.2 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 25.10/questing | universe | s390x | cbmc s390x | 6.6.0-4 | extra | 81.8 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 25.10/questing | universe | armhf | cbmc armhf | 6.6.0-4 | extra | 53 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 25.10/questing | universe | amd64v3 | cbmc amd64v3 | 6.6.0-4 | extra | 90.9 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 25.10/questing | universe | riscv64 | cbmc riscv64 | 6.6.0-4 | extra | 70.2 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 25.10/questing | universe | arm64 | cbmc arm64 | 6.6.0-4 | extra | 80.1 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 25.10/questing | universe | armhf | cbmc armhf | 6.6.0-4 | extra | 53 MB | bounded model checker for C and C++ programs | match | Details |
ubuntu | 25.10/questing | universe | amd64 | cbmc amd64 | 6.6.0-4 | extra | 88.8 MB | bounded model checker for C and C++ programs | match | Details |