[ sid ]
Пакет: jbmc-dbgsym (5.95.1-6) [debports]
debug symbols for jbmc
Другие пакеты, относящиеся к jbmc-dbgsym
|
|
|
|
-
- dep: jbmc (= 5.95.1-6)
- bounded model checker for Java programs
Загрузка jbmc-dbgsym
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| sh4 (неофициальный перенос) | 138 727,9 Кб | 141 489,0 Кб | [список файлов] |