Package: libcvc3-5-java Priority: extra Section: universe/java Installed-Size: 88 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Morgan Deters <mdeters@morgandeters.com> Architecture: all Source: cvc3 Version: 2.4.1-5ubuntu1 Depends: libcvc3-5-jni (>= 2.4.1-5ubuntu1) Filename: pool/universe/c/cvc3/libcvc3-5-java_2.4.1-5ubuntu1_all.deb Size: 70774 MD5sum: 802e0cfd6631a930929810957f9182b7 SHA1: 5d8ec74accf43d1c4e41ad7b9418685f761ab5ac SHA256: 758e6c8f5c839f0080fe0e95cfcae866e1693b2a299d4da033ed2f71b6c06b3f 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