» Ubuntu » Pakiety » disco (19.04) » libdevel » libcvc3-dev
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Pakiet źródłowy: cvc3  ]

Pakiet: libcvc3-dev (2.4.1-5.1ubuntu1) [universe]

Odnośniki dla libcvc3-dev

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 (development files)

Inne pakiety związane z libcvc3-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances
  • dep: libcvc3-5v5 (= 2.4.1-5.1ubuntu1)
    Automatic theorem prover library for SMT problems

Pobieranie libcvc3-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 138,5 KiB825,0 KiB [lista plików]
arm64 138,5 KiB825,0 KiB [lista plików]
armhf 138,5 KiB825,0 KiB [lista plików]
i386 138,5 KiB825,0 KiB [lista plików]
ppc64el 138,5 KiB825,0 KiB [lista plików]
s390x 138,5 KiB825,0 KiB [lista plików]