» Ubuntu » Pakiety » eoan » libs » libcvc3-5
eoan  ]
[ Pakiet źródłowy: cvc3  ]

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

Odnośniki dla libcvc3-5

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:

Automatic theorem prover library for SMT problems

Inne pakiety związane z libcvc3-5

  • 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: libgcc1 (>= 1:3.0) [nie armhf]
    GCC support library
    dep: libgcc1 (>= 1:3.5) [armhf]
  • dep: libstdc++6 (>= 9)
    GNU Standard C++ Library v3

Pobieranie libcvc3-5

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 1 858,5 KiB6 896,0 KiB [lista plików]
arm64 1 554,4 KiB6 100,0 KiB [lista plików]
armhf 1 567,5 KiB4 129,0 KiB [lista plików]
i386 2 012,4 KiB7 367,0 KiB [lista plików]
ppc64el 1 698,0 KiB7 644,0 KiB [lista plików]
s390x 1 616,1 KiB6 948,0 KiB [lista plików]