» Ubuntu » Paquets » eoan » java » libz3-jni
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Paquet source : z3  ]

Paquet : libz3-jni (4.8.4-1build1) [universe]

Liens pour libz3-jni

Screenshot

Ressources Ubuntu :

Télécharger le paquet source z3 :

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Paquets similaires :

theorem prover from Microsoft Research - JNI library

Autres paquets associés à libz3-jni

  • dépendances
  • recommandations
  • suggestions
  • enhances
  • dep: libc6 (>= 2.17) [arm64, ppc64el]
    GNU C Library: Shared libraries
    un paquet virtuel est également fourni par libc6-udeb
    dep: libc6 (>= 2.4) [non arm64, ppc64el]
  • dep: libgcc1 (>= 1:3.5) [armhf]
    GCC support library
  • dep: libstdc++6 (>= 4.9) [armhf, i386]
    GNU Standard C++ Library v3
  • dep: libz3-4 (>= 4.8.4)
    theorem prover from Microsoft Research - runtime libraries
  • dep: libz3-dev (= 4.8.4-1build1)
    theorem prover from Microsoft Research - development files

Télécharger libz3-jni

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 31,1 ko204,0 ko [liste des fichiers]
arm64 29,2 ko188,0 ko [liste des fichiers]
armhf 28,9 ko144,0 ko [liste des fichiers]
i386 40,4 ko240,0 ko [liste des fichiers]
ppc64el 33,6 ko268,0 ko [liste des fichiers]
s390x 31,5 ko204,0 ko [liste des fichiers]