| Paketname | cbmc |
| Beschreibung | bounded model checker for C and C++ programs |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 4.0-3 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 10752 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 | 4543284 Byte |
| Prüfsumme MD5 | bc26cdc7e59a643bfc1704b015937726 |
| Prüfsumme SHA1 | b1a97abc64af7212544b71084e1ef820f6147573 |
| Prüfsumme SHA256 | f7bb35aa9a06f0f8d52c7853cf86492b69db6223945f9392cfedec9b2009699c |
| Link zum Herunterladen | cbmc_4.0-3_i386.deb |
| Ausführliche Beschreibung | |