| Paketname | libcvc3-5-dev |
| Beschreibung | Automatic theorem prover library for SMT problems (development files) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2.4.1-2 |
| Sektion | libdevel |
| Priorität | extra |
| Installierte Größe | 802 Byte |
| Hängt ab von | libcvc3-5 (= 2.4.1-2) |
| Empfohlene Pakete | |
| Paketbetreuer | Christopher L. Conway |
| Quelle | cvc3 |
| Paketgröße | 194354 Byte |
| Prüfsumme MD5 | dd88ee3b83c059c5b9134607720f41bf |
| Prüfsumme SHA1 | 5e4addf7d5466c5ee45bb9cde2e72a43defc7817 |
| Prüfsumme SHA256 | 5bf56d5b1e842d8fb440d084ef3b7e9102ef0d68dfe6a7f5001226da37f41a7f |
| Link zum Herunterladen | libcvc3-5-dev_2.4.1-2_i386.deb |
| Ausführliche Beschreibung | |