Paquet : z3-dbgsym (4.8.12-3.1 et autres) [debports]

Liens pour z3-dbgsym

Introuvable

dep: z3 (= 4.8.12-3.1) [alpha, ia64, riscv64]

justificateur de théorème de Microsoft Research

dep: z3 (= 4.8.12-3.1+b2) [non alpha, ia64, riscv64]

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	4.8.12-3.1	137 386,1 ko	140 346,0 ko	[liste des fichiers]
hppa (portage non officiel)	4.8.12-3.1+b2	134 358,3 ko	137 100,0 ko	[liste des fichiers]
ia64 (portage non officiel)	4.8.12-3.1	151 452,9 ko	154 416,0 ko	[liste des fichiers]
m68k (portage non officiel)	4.8.12-3.1+b2	127 380,3 ko	129 967,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	4.8.12-3.1+b2	138 405,8 ko	141 405,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	4.8.12-3.1	117 729,2 ko	121 465,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	4.8.12-3.1+b2	133 500,1 ko	136 480,0 ko	[liste des fichiers]
x32 (portage non officiel)	4.8.12-3.1+b2	136 471,0 ko	139 512,0 ko	[liste des fichiers]