Package: libcvc3-5-jni
Architecture: i386
Version: 2.4.1-5.1ubuntu1
Priority: extra
Section: universe/java
Source: cvc3
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Morgan Deters <mdeters@morgandeters.com>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 252
Depends: libc6 (>= 2.4), libcvc3-5v5 (>= 2.4.1), libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5.2)
Breaks: libcvc3-2-jni
Replaces: libcvc3-2-jni
Filename: pool/universe/c/cvc3/libcvc3-5-jni_2.4.1-5.1ubuntu1_i386.deb
Size: 65778
MD5sum: cc5358121d2e2a1e6bb46368245530dc
SHA1: 6337cff6bcc3c333648c491de30fbef50bbcd601
SHA256: d4f5ead0d7c4c67f8cd93de6d1919e75a1ddaec79fbcf5ef581040b3af54c2dc
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description: Java bindings for CVC3 (native library)
Description-md5: 76e546f9ffc39c762d32c756bcc86178