Paquet : boolector-dbgsym (1.5.118.6b56be4.121013-1.3) [debports]

[ Paquet source :  ]

debug symbols for boolector

Autres paquets associés à boolector-dbgsym

• dep: boolector (= 1.5.118.6b56be4.121013-1.3)

  solveur SMT pour les vecteurs de bits et les tableaux

Télécharger boolector-dbgsym

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	12,1 ko	56,0 ko	[liste des fichiers]
hppa (portage non officiel)	12,4 ko	49,0 ko	[liste des fichiers]
ia64 (portage non officiel)	11,9 ko	56,0 ko	[liste des fichiers]
m68k (portage non officiel)	11,9 ko	46,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	11,8 ko	59,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	11,9 ko	57,0 ko	[liste des fichiers]
sh4 (portage non officiel)	12,3 ko	111,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	11,9 ko	56,0 ko	[liste des fichiers]
x32 (portage non officiel)	12,0 ko	46,0 ko	[liste des fichiers]