Package: libcvc3-2-java Priority: extra Section: universe/java Installed-Size: 116 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Christopher L. Conway <cconway@cs.nyu.edu> Architecture: all Source: cvc3 Version: 2.2-13.1 Depends: libcvc3-2-jni (>= 2.2-13.1), default-jre-headless | java2-runtime-headless Filename: pool/universe/c/cvc3/libcvc3-2-java_2.2-13.1_all.deb Size: 69794 MD5sum: db835e6b79b362317f777e7aec5c4379 SHA1: 061ed6e12817ec4aaa9f356c0adb2af10ec03993 SHA256: 6192647e83627379607ded58cc8a80784d76e2a6d5f5850cc8dc103896440efa Description: Java bindings for CVC3 (bytecode library) Homepage: http://www.cs.nyu.edu/acsys/cvc3/ Description-md5: 1fe640cf1c52cd3191bd141e9e2f6edf Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu