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

Pakiet: libcvc3-5-jni (2.4.1-5.1ubuntu1) [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) [armhf, i386, s390x]
  • dep: libcvc3-5v5 (>= 2.4.1)
    Automatic theorem prover library for SMT problems
  • dep: libgcc1 (>= 1:3.0) [nie armhf]
    GCC support library
    dep: libgcc1 (>= 1:3.5) [armhf]
  • 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,1 KiB241,0 KiB [lista plików]
arm64 53,8 KiB253,0 KiB [lista plików]
armhf 52,9 KiB176,0 KiB [lista plików]
i386 64,2 KiB252,0 KiB [lista plików]
ppc64el 58,4 KiB349,0 KiB [lista plików]
s390x 54,4 KiB270,0 KiB [lista plików]