[ sid ]
Paket: cbmc-dbgsym (5.95.1-4) [debports]
Länkar för cbmc-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for cbmc
Andra paket besläktade med cbmc-dbgsym
|
|
|
|
-
- dep: cbmc (= 5.95.1-4)
- bounded model checker for C and C++ programs
Hämta cbmc-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
hppa (inofficiell anpassning) | 456.269,4 kbyte | 464.565,0 kbyte | [filförteckning] |