| Paketname | libcvc3-2 |
| Beschreibung | An automatic theorem prover library for SMT problems |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 2.2-13.1 |
| Sektion | universe/libs |
| Priorität | extra |
| Installierte Größe | 5508 Byte |
| Hängt ab von | libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | cvc3 |
| Paketgröße | 2250294 Byte |
| Prüfsumme MD5 | 0277b4a7541424468b4dbb556183ab3b |
| Prüfsumme SHA1 | 7dfb6a1924be380de1032eb3a066b9c5c4ba139e |
| Prüfsumme SHA256 | f405fb8440df653228ac064b2aadc1342a7091df5c6ae9f439e69c09e6f75d6e |
| Link zum Herunterladen | libcvc3-2_2.2-13.1_i386.deb |
| Ausführliche Beschreibung | |