[ sid ]

[ Pakiet źródłowy: ]

Pakiet: jbmc-dbgsym (5.95.1-6) [debports]

Odnośniki dla jbmc-dbgsym

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

debug symbols for jbmc

Inne pakiety związane z jbmc-dbgsym

wymaga

poleca

sugeruje

enhances

dep: jbmc (= 5.95.1-6)

bounded model checker for Java programs

Pobieranie jbmc-dbgsym

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
x32 (port nieoficjalny)	226 400,5 KiB	230 470,0 KiB	[lista plików]