DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamelibcvc3-2-dev
BeschreibungAn automatic theorem prover library for SMT problems (development files)
Archiv/RepositoryOffizielles Ubuntu Archiv precise (universe)
Version2.2-13.1
Sektionuniverse/libdevel
Prioritätextra
Installierte Größe980 Byte
Hängt ab vonlibcvc3-2 (= 2.2-13.1)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellecvc3
Paketgröße178650 Byte
Prüfsumme MD5ad184404f5df59a5c373c9daf3252b1c
Prüfsumme SHA17bc16ceb06c78d1e2cfa5d68c4184610e30303b7
Prüfsumme SHA2563bf505a83fd7a72c81606974d4fd9c2ad9293abbd3ea238c692105ffeae3e701
Link zum Herunterladenlibcvc3-2-dev_2.2-13.1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds