[ sid ]

[ Source: ]

Пакунок: jbmc-dbgsym (5.95.1-6) [debports]

Links for jbmc-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

Similar packages:

debug symbols for jbmc

Інші пакунки пов'язані з jbmc-dbgsym

depends

recommends

suggests

enhances

dep: jbmc (= 5.95.1-6)

bounded model checker for Java programs

Завантажити jbmc-dbgsym

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
sh4 (unofficial port)	138,727.9 kB	141,489.0 kB	[список файлів]