| Paketname | libcvc3-2-jni |
| Beschreibung | Java bindings for CVC3 (native library) |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 2.2-13.1 |
| Sektion | universe/java |
| Priorität | extra |
| Installierte Größe | 252 Byte |
| Hängt ab von | libc6 (>= 2.1.3), libcvc3-2 (>= 2.2), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.1.1), default |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | cvc3 |
| Paketgröße | 74046 Byte |
| Prüfsumme MD5 | 3a118f8c157b4e4b78f2f83b971becaa |
| Prüfsumme SHA1 | 9c5e1e9b772ad85a76bf2d12831d62492e63a5db |
| Prüfsumme SHA256 | 20b12a37040fd573be6b4db2380da7d81f18619e281923f7a61cf48f2c0a1e29 |
| Link zum Herunterladen | libcvc3-2-jni_2.2-13.1_i386.deb |
| Ausführliche Beschreibung | |