[ sid ]
Paquet : cbmc-dbgsym (5.95.1-5) [debports]
Liens pour cbmc-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for cbmc
Autres paquets associés à cbmc-dbgsym
|
|
|
|
-
- dep: cbmc (= 5.95.1-5)
- vérificateur de modèle borné pour les programmes C et C++
Télécharger cbmc-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
ppc64 (portage non officiel) | 466 597,7 ko | 475 277,0 ko | [liste des fichiers] |