| ⬆️Parent directory | — | — |
| 📦cbmc_5.12-5.debian.tar.xz | 15.5K | Mon May 04 2020 |
| 📄cbmc_5.12-5.dsc | 2.19K | Mon May 04 2020 |
| 📦cbmc_5.12-5_amd64.deb | 17M | Tue May 05 2020 |
| 📦cbmc_5.12-5_i386.deb | 18M | Tue May 05 2020 |
| 📦cbmc_5.12.orig-java-models-library.tar.gz | 297K | Wed Apr 29 2020 |
| 📦cbmc_5.12.orig.tar.gz | 6.9M | Wed Apr 29 2020 |
| 📦cbmc_6.6.0-4.debian.tar.xz | 16.2K | Wed Apr 30 2025 |
| 📄cbmc_6.6.0-4.dsc | 3.08K | Wed Apr 30 2025 |
| 📦cbmc_6.6.0-4_amd64.deb | 21.4M | Wed Apr 30 2025 |
| 📦cbmc_6.6.0-4_i386.deb | 22.4M | Wed Apr 30 2025 |
| 📦cbmc_6.6.0.orig-java-cprover-api.tar.gz | 14.3K | Sat Jun 03 2023 |
| 📦cbmc_6.6.0.orig-java-models-library.tar.gz | 293K | Sat Jun 03 2023 |
| 📦cbmc_6.6.0.orig.tar.gz | 8.73M | Tue Apr 29 2025 |
| 📦jbmc_6.6.0-4_amd64.deb | 8.3M | Wed Apr 30 2025 |
| 📦jbmc_6.6.0-4_i386.deb | 8.79M | Wed Apr 30 2025 |