| Paketname | libcvc3-5-jni |
| Beschreibung | Java bindings for CVC3 (native library) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2.4.1-2 |
| Sektion | java |
| Priorität | extra |
| Installierte Größe | 255 Byte |
| Hängt ab von | libc6 (>= 2.1.3), libcvc3-5 (>= 2.4.1), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.1.1) |
| Empfohlene Pakete | |
| Paketbetreuer | Christopher L. Conway |
| Quelle | cvc3 |
| Paketgröße | 81592 Byte |
| Prüfsumme MD5 | 5ed18f650a11fd8a11260422065f4acc |
| Prüfsumme SHA1 | f07300881fa1dd7e2c4b6cc342ec42ff1d70c2b0 |
| Prüfsumme SHA256 | ad9f76a23d76fc6b560cbc570bfbb1b9d3882404ccce2b131ab486857c3f45f8 |
| Link zum Herunterladen | libcvc3-5-jni_2.4.1-2_i386.deb |
| Ausführliche Beschreibung | |