Paquet : cbmc-dbgsym (5.95.1-5 et autres) [debports]

[ Paquet source :  ]

debug symbols for cbmc

Autres paquets associés à cbmc-dbgsym

• dep: cbmc (= 5.84.0-11) [riscv64]

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

  dep: cbmc (= 5.95.1-4) [alpha, hppa, ia64, x32]

  dep: cbmc (= 5.95.1-5) [m68k, ppc64, sh4, sparc64]

Télécharger cbmc-dbgsym

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

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	5.95.1-4	580 269,0 ko	588 767,0 ko	[liste des fichiers]
hppa (portage non officiel)	5.95.1-4	456 269,4 ko	464 565,0 ko	[liste des fichiers]
ia64 (portage non officiel)	5.95.1-4	535 843,4 ko	543 834,0 ko	[liste des fichiers]
m68k (portage non officiel)	5.95.1-5	412 255,2 ko	419 911,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	5.95.1-5	466 597,7 ko	475 277,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	5.84.0-11	423 973,2 ko	433 127,0 ko	[liste des fichiers]
sh4 (portage non officiel)	5.95.1-5	330 155,6 ko	336 874,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	5.95.1-5	553 633,5 ko	563 136,0 ko	[liste des fichiers]
x32 (portage non officiel)	5.95.1-4	574 298,5 ko	584 154,0 ko	[liste des fichiers]