Related packages
Maintained packages
Displaying first 10 packages out of 84 total| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| diagnostics | Ubuntu Noble | 0.3.3-12.4build1 | None | |
| diagnostics | Debian Sid | 0.3.3-12.4 | None | |
| minisat2 | Debian Sid | 1:2.2.1-8 | None | |
| cbmc | Debian Sid | 5.95.1-4 | s390x arm64 | |
| diagnostics | Debian Experimental | 0.3.3-12.4~exp1 | None | |
| boolector | Debian Sid | 1.5.118.6b56be4.121013-1.3 | None | |
| gcc-h8300-hms | Debian Sid | 1:3.4.6+dfsg2-4.2 | None | |
| bmt | Debian Sid | 0.6-1.1 | None | |
| diagnostics | Ubuntu Groovy | 0.3.3-12build3 | None | |
| cbmc | Ubuntu Focal | 5.10-5build1 | riscv64 s390x ppc64el armhf arm64 amd64 |
PPA packages
4 packages| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| cbmc | CBMC Backports - Ubuntu Xenial | 5.12-5~xenial10 | None | |
| cbmc | CBMC Backports - Ubuntu Bionic | 5.12-5~bionic2 | None | |
| cbmc | CBMC Backports - Ubuntu Focal | 5.12-5~focal1 | None | |
| cloog-ppl | Staging Area - Ubuntu Natty | 0.15.9-3 | None |
