| Paketname | libcvc3-5 |
| Beschreibung | Automatic theorem prover library for SMT problems |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2.4.1-2 |
| Sektion | libs |
| Priorität | extra |
| Installierte Größe | 6125 Byte |
| Hängt ab von | libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.6) |
| Empfohlene Pakete | |
| Paketbetreuer | Christopher L. Conway |
| Quelle | cvc3 |
| Paketgröße | 2505290 Byte |
| Prüfsumme MD5 | 29e7930558bfc15b916e76563a74fb19 |
| Prüfsumme SHA1 | 4a4f32bc1290e861ee4a7dbca29eef432b270d6f |
| Prüfsumme SHA256 | 8b9cbf8278557f9d0ce3566b045c3f3c7fb12a8189bcbc329ea348cea4e8767f |
| Link zum Herunterladen | libcvc3-5_2.4.1-2_i386.deb |
| Ausführliche Beschreibung | |