[ sid ]
Пакет: jbmc-dbgsym (6.1.1-2) [debports]
Връзки за jbmc-dbgsym
Ресурси за Debian:
Изтегляне на пакет-източник .
Няма съвпаденияОтговорници:
Подобни пакети:
debug symbols for jbmc
Други пакети, свързани с jbmc-dbgsym
|
|
|
|
-
- dep: jbmc (= 6.1.1-2)
- bounded model checker for Java programs
Изтегляне на jbmc-dbgsym
Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|
x32 (неофициална архитектура) | 242 842,7 кБ | 247 095,0 кБ | [списък на файловете] |