| Paketname | cbmc |
| Beschreibung | bounded model checker for C and C++ programs |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 4.0-4 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 10722 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 | 4541660 Byte |
| Prüfsumme MD5 | 2ec9d63d884844b9a2e801929b69073b |
| Prüfsumme SHA1 | a039cc003a0af2d0addfd0b581e57e03c3267b20 |
| Prüfsumme SHA256 | d62a9fd4e815ab87e548a1b67ad401aa7040592abe3b66f0278c1c3f4d65ed1b |
| Link zum Herunterladen | cbmc_4.0-4_i386.deb |
| Ausführliche Beschreibung | |