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