| name | size | date |
|---|---|---|
| cbmc_6.6.0-4ubuntu2_amd64.deb | 22.38M | 2026-03-03 21:26:25 |
| jbmc_6.6.0-4ubuntu2_amd64.deb | 8.55M | 2026-03-03 21:26:25 |
| cbmc_6.6.0-4_amd64.deb | 22.30M | 2025-05-02 01:53:29 |
| jbmc_6.6.0-4_amd64.deb | 8.52M | 2025-05-02 01:53:28 |
| cbmc_6.4.1-2_amd64.deb | 24.75M | 2025-01-22 19:44:09 |
| jbmc_6.4.1-2_amd64.deb | 9.55M | 2025-01-22 19:44:09 |
| cbmc_5.95.1-4ubuntu1_amd64.deb | 20.35M | 2024-04-23 18:04:10 |
| jbmc_5.95.1-4ubuntu1_amd64.deb | 7.94M | 2024-04-23 18:04:10 |
| cbmc_5.12-5_amd64.deb | 17.22M | 2020-05-05 00:58:26 |
| cbmc_5.10-5ubuntu1_amd64.deb | 10.04M | 2020-04-14 09:41:48 |