Paquet : cbmc-dbgsym (5.95.1-4) [debports]

[ Paquet source :  ]

debug symbols for cbmc

Autres paquets associés à cbmc-dbgsym

• dep: cbmc (= 5.95.1-4)

  vérificateur de modèle borné pour les programmes C et C++

Télécharger cbmc-dbgsym

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	580 269,0 ko	588 767,0 ko	[liste des fichiers]