[ sid ]
Paket: jbmc-dbgsym (6.1.1-2) [debports]
Länkar för jbmc-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for jbmc
Andra paket besläktade med jbmc-dbgsym
|
|
|
|
-
- dep: jbmc (= 6.1.1-2)
- bounded model checker for Java programs
Hämta jbmc-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
sh4 (inofficiell anpassning) | 144.641,7 kbyte | 147.421,0 kbyte | [filförteckning] |