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


Paketnamecvc3
BeschreibungAn automatic theorem prover for SMT problems
Archiv/RepositoryOffizielles Ubuntu Archiv precise (universe)
Version2.2-13.1
Sektionuniverse/math
Prioritätextra
Installierte Größe92 Byte
Hängt ab vonlibc6 (>= 2.1.3), libcvc3-2, libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.4.0)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelle
Paketgröße20330 Byte
Prüfsumme MD5405481664f1df143aa71b64acbf33f9c
Prüfsumme SHA115cc92e99847cfe3e1ba5d5cff30c3139eb26300
Prüfsumme SHA2565f80b5ed47668a2e8bb4a8875f02aba2f9befc8e9ce06eb1355fdf24bb3ea5f6
Link zum Herunterladencvc3_2.2-13.1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds