[ sid ]
Paketti: cbmc-dbgsym (5.95.1-5) [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-5)
- bounded model checker for C and C++ programs
Imuroi cbmc-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
ppc64 (epävirallinen siirros) | 466,597.7 kt | 475,277.0 kt | [tiedostoluettelo] |