Package: libcvc3-5-jni
Priority: extra
Section: universe/java
Installed-Size: 251
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Architecture: i386
Source: cvc3
Version: 2.4.1-4ubuntu1
Replaces: libcvc3-2-jni
Depends: libc6 (>= 2.1.3), libcvc3-5 (>= 2.4.1), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.1.1)
Breaks: libcvc3-2-jni
Filename: pool/universe/c/cvc3/libcvc3-5-jni_2.4.1-4ubuntu1_i386.deb
Size: 60548
MD5sum: 86ffe0640e9a9a32c3b5836b0303ffba
SHA1: 16d135f3a53fae41f33971d55be48c30a76678b0
SHA256: b5874985ed8c56fc67f2ea0b0253e6478d94442995df4592ba688e1744983d1e
Description: Java bindings for CVC3 (native library)
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description-md5: 76e546f9ffc39c762d32c756bcc86178
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu