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

Liens pour libz3-jni-dbgsym

Introuvable

dep: libz3-jni (= 4.8.12-3.1) [riscv64]

justificateur de théorème par Microsoft Research —⋅bibliothèque JNI

dep: libz3-jni (= 4.8.12-3.1+b2) [non 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+b2	179,6 ko	265,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	4.8.12-3.1	159,6 ko	247,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	4.8.12-3.1+b2	164,3 ko	250,0 ko	[liste des fichiers]
x32 (portage non officiel)	4.8.12-3.1+b2	179,0 ko	253,0 ko	[liste des fichiers]