» Ubuntu » Paketler » jammy (22.04LTS) » java » libz3-jni
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Kaynak: z3  ]

Paket: libz3-jni (4.8.12-1) [universe]

libz3-jni için bağlantılar

Screenshot

Ubuntu Kaynakları:

z3 Kaynak Paketini İndir:

Geliştirici:

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.

Dış Kaynaklar:

Benzer paketler:

theorem prover from Microsoft Research - JNI library

libz3-jni ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances
  • dep: libc6 (>= 2.17) [arm64, ppc64el]
    GNU C Library: Shared libraries
    dep: libc6 (>= 2.27) [riscv64]
    dep: libc6 (>= 2.4) [arm64, ppc64el, riscv64 değil]
  • dep: libgcc-s1 (>= 3.5) [armhf]
    GCC support library
  • dep: libstdc++6 (>= 4.3) [armhf, i386]
    GNU Standard C++ Library v3
  • dep: libz3-4 (>= 4.8.12)
    theorem prover from Microsoft Research - runtime libraries
  • dep: libz3-dev (= 4.8.12-1)
    theorem prover from Microsoft Research - development files

libz3-jni indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 42,0 kB212,0 kB [dosya listesi]
arm64 37,9 kB196,0 kB [dosya listesi]
armhf 35,2 kB148,0 kB [dosya listesi]
i386 48,9 kB236,0 kB [dosya listesi]
ppc64el 42,7 kB268,0 kB [dosya listesi]
riscv64 37,6 kB182,0 kB [dosya listesi]
s390x 41,1 kB216,0 kB [dosya listesi]