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
BeschreibungAn automatic theorem prover library for SMT problems
Archiv/RepositoryOffizielles Ubuntu Archiv oneiric (universe)
Version2.2-13.1
Sektionuniverse/libs
Prioritätextra
Installierte Größe5508 Byte
Hängt ab vonlibc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellecvc3
Paketgröße2250294 Byte
Prüfsumme MD50277b4a7541424468b4dbb556183ab3b
Prüfsumme SHA17dfb6a1924be380de1032eb3a066b9c5c4ba139e
Prüfsumme SHA256f405fb8440df653228ac064b2aadc1342a7091df5c6ae9f439e69c09e6f75d6e
Link zum Herunterladenlibcvc3-2_2.2-13.1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds