[ sid ]
Balík: jbmc-dbgsym (6.1.1-2) [debports]
Odkazy pre jbmc-dbgsym
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
Podobné balíky:
debug symbols for jbmc
Ostatné balíky súvisiace s balíkom jbmc-dbgsym
|
|
|
|
-
- dep: jbmc (= 6.1.1-2)
- bounded model checker for Java programs
Stiahnuť jbmc-dbgsym
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
sparc64 (neoficiálny port) | 233,798.0 kB | 237,787.0 kB | [zoznam súborov] |