[ sid ]
Paketti: cbmc-dbgsym (5.84.0-11) [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.84.0-11)
- bounded model checker for C and C++ programs
Imuroi cbmc-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
riscv64 (epävirallinen siirros) | 423,973.2 kt | 433,127.0 kt | [tiedostoluettelo] |