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-5
BeschreibungAutomatic theorem prover library for SMT problems
Archiv/RepositoryOffizielles Ubuntu Archiv quantal (universe)
Version2.4.1-2
Sektionuniverse/libs
Prioritätextra
Installierte Größe6107 Byte
Hängt ab vonlibc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellecvc3
Paketgröße2449542 Byte
Prüfsumme MD5cbc7bb0ef945da38bf831425de6964db
Prüfsumme SHA194aacf87a5b5619df46a1ae40bf280c48f5e3eb0
Prüfsumme SHA25678e747855c26e095dce5dca5f26ba7dc58dfe3fab6905a1e62e70073b4dba1f8
Link zum Herunterladenlibcvc3-5_2.4.1-2_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds