[ sid ]
Paquet : libz3-jni-dbgsym (4.8.12-3.1) [debports]
Liens pour libz3-jni-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for libz3-jni
Autres paquets associés à libz3-jni-dbgsym
|
|
|
|
-
- dep: libz3-jni (= 4.8.12-3.1)
- justificateur de théorème par Microsoft Research —⋅bibliothèque JNI
Télécharger libz3-jni-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
alpha (portage non officiel) | 178,7 ko | 264,0 ko | [liste des fichiers] |
riscv64 (portage non officiel) | 159,6 ko | 247,0 ko | [liste des fichiers] |
sparc64 (portage non officiel) | 164,2 ko | 250,0 ko | [liste des fichiers] |
x32 (portage non officiel) | 175,8 ko | 249,0 ko | [liste des fichiers] |