» Ubuntu » Pakiety » xenial (16.04LTS) » java » libcvc3-5-jni
xenial  ] [  bionic  ]
[ Pakiet źródłowy: cvc3  ]

Pakiet: libcvc3-5-jni (2.4.1-5ubuntu1) [universe]

Odnośniki dla libcvc3-5-jni

Screenshot

Zasoby systemu Ubuntu:

Pobieranie pakietu źródłowego cvc3:

Opiekun:

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

Original Maintainer (usually from Debian):

  • Morgan Deters

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

Zasoby zewnętrzne:

Podobne pakiety:

Java bindings for CVC3 (native library)

Inne pakiety związane z libcvc3-5-jni

  • wymaga
  • poleca
  • sugeruje
  • enhances
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    również pakiet wirtualny udostępniany przez libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.4) [nie amd64, arm64, ppc64el]
  • dep: libcvc3-5v5 (>= 2.4.1)
    Automatic theorem prover library for SMT problems
  • dep: libgcc1 (>= 1:4.1.1) [nie arm64, armhf]
    GCC support library
    dep: libgcc1 (>= 1:4.4.0) [armhf]
    dep: libgcc1 (>= 1:4.7) [arm64]
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: libstdc++6 (>= 5.2)
    GNU Standard C++ Library v3

Pobieranie libcvc3-5-jni

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 58,7 KiB242,0 KiB [lista plików]
arm64 54,2 KiB254,0 KiB [lista plików]
armhf 51,9 KiB169,0 KiB [lista plików]
i386 62,5 KiB241,0 KiB [lista plików]
powerpc 56,9 KiB285,0 KiB [lista plików]
ppc64el 58,7 KiB350,0 KiB [lista plików]
s390x 54,4 KiB270,0 KiB [lista plików]