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

[ Paquet source :  ]

debug symbols for cvc4

Autres paquets associés à cvc4-dbgsym

• dep: cvc4 (= 1.5-1) [hppa]

  automated theorem prover for SMT problems

  dep: cvc4 (= 1.8-3) [riscv64]

  dep: cvc4 (= 1.8-3+b2) [ia64]

  dep: cvc4 (= 1.8-3+b3) [non hppa, ia64, riscv64]

Télécharger cvc4-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+b3	977,4 ko	1 156,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.5-1	3 100,0 ko	3 236,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.8-3+b2	1 016,0 ko	1 056,0 ko	[liste des fichiers]
loong64 (portage non officiel)	1.8-3+b3	977,4 ko	1 139,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.8-3+b3	934,8 ko	1 101,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.8-3+b3	982,2 ko	1 181,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1.8-3	863,3 ko	905,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.8-3+b3	962,1 ko	1 120,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.8-3+b3	977,9 ko	1 031,0 ko	[liste des fichiers]