Paquet : libz3-4-dbgsym (4.13.3-1 et autres) [debports]

Liens pour libz3-4-dbgsym

Introuvable

dep: libz3-4 (= 4.13.3-1) [non ia64, riscv64]

justificateur de théorème par Microsoft Research —⋅bibliothèques d'exécution

dep: libz3-4 (= 4.8.12-3.1) [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.13.3-1	168 700,3 ko	171 764,0 ko	[liste des fichiers]
hppa (portage non officiel)	4.13.3-1	165 339,9 ko	168 273,0 ko	[liste des fichiers]
ia64 (portage non officiel)	4.8.12-3.1	149 484,5 ko	152 438,0 ko	[liste des fichiers]
loong64 (portage non officiel)	4.13.3-1	169 176,4 ko	172 235,0 ko	[liste des fichiers]
m68k (portage non officiel)	4.13.3-1	154 589,9 ko	157 399,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	4.13.3-1	170 088,4 ko	173 241,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	4.8.12-3.1	116 037,5 ko	119 753,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	4.13.3-1	164 954,1 ko	168 095,0 ko	[liste des fichiers]
x32 (portage non officiel)	4.13.3-1	168 014,5 ko	171 238,0 ko	[liste des fichiers]