| Paketname | cbmc |
| Beschreibung | bounded model checker for C and C++ programs |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.1-1.2 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 10826 Byte |
| Hängt ab von | gcc, libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), minisat |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 4618646 Byte |
| Prüfsumme MD5 | 335d0d6c25e574cd709dcc00c590a002 |
| Prüfsumme SHA1 | 4d1bcb7db63bb8dca30da3399a142e3fce473bd8 |
| Prüfsumme SHA256 | a0a3af90fb5e7246dae991a96a80590ab67ebe019b1e7386fa4550b246ba564e |
| Link zum Herunterladen | cbmc_4.1-1.2_i386.deb |
| Ausführliche Beschreibung | |