[ sid ]
Paketti: cbmc-dbgsym (5.95.1-4) [debports]
Links for cbmc-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for cbmc
Muut pakettiin cbmc-dbgsym liittyvät paketit
|
|
|
|
-
- dep: cbmc (= 5.95.1-4)
- bounded model checker for C and C++ programs
Imuroi cbmc-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
x32 (epävirallinen siirros) | 574,298.5 kt | 584,154.0 kt | [tiedostoluettelo] |