Paquet : libcvc4-7-dbgsym (1.8-3 et autres) [debports]

[ Paquet source :  ]

debug symbols for libcvc4-7

Autres paquets associés à libcvc4-7-dbgsym

• dep: libcvc4-7 (= 1.8-3) [riscv64]

  automated theorem prover for SMT problems (runtime)

  dep: libcvc4-7 (= 1.8-3+b2) [non riscv64]

Télécharger libcvc4-7-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)	1.8-3+b2	193 552,9 ko	196 797,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.8-3+b2	205 942,7 ko	209 223,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.8-3+b2	179 916,4 ko	182 898,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.8-3+b2	192 971,7 ko	197 146,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1.8-3	154 992,7 ko	158 306,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.8-3+b2	186 608,3 ko	190 255,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.8-3+b2	190 291,7 ko	194 034,0 ko	[liste des fichiers]