[ sid ]

[ Source: ]

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

Links for jbmc-dbgsym

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

Samankaltaisia paketteja:

debug symbols for jbmc

Muut pakettiin jbmc-dbgsym liittyvät paketit

depends

recommends

suggests

enhances

dep: jbmc (= 5.95.1-6)

bounded model checker for Java programs

Imuroi jbmc-dbgsym

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
ppc64 (epävirallinen siirros)	189,529.3 kt	193,046.0 kt	[tiedostoluettelo]