[ sid ]
Paket: cbmc-dbgsym (5.95.1-6) [debports]
Links für cbmc-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for cbmc
Andere Pakete mit Bezug zu cbmc-dbgsym
|
|
|
|
-
- dep: cbmc (= 5.95.1-6)
- bounded model checker for C and C++ programs
cbmc-dbgsym herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
ppc64 (inoffizielle Portierung) | 466.601,3 kB | 475.279,0 kB | [Liste der Dateien] |