[ sid ]
Paquet : jbmc-dbgsym (6.1.1-2) [debports]
Liens pour jbmc-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for jbmc
Autres paquets associés à jbmc-dbgsym
|
|
|
|
-
- dep: jbmc (= 6.1.1-2)
- bounded model checker for Java programs
Télécharger jbmc-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
sparc64 (portage non officiel) | 233 798,0 ko | 237 787,0 ko | [liste des fichiers] |