Package: libcvc3-5-java
Priority: extra
Section: universe/java
Installed-Size: 104
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Architecture: all
Source: cvc3
Version: 2.4.1-4ubuntu1
Depends: libcvc3-5-jni (>= 2.4.1-4ubuntu1)
Filename: pool/universe/c/cvc3/libcvc3-5-java_2.4.1-4ubuntu1_all.deb
Size: 70410
MD5sum: fb0150f4daf5bae090cd539d399a5226
SHA1: 123d8cbbf9b0bbaeb9d10d3e4772aff39d01c16a
SHA256: d573b5c23463a5e7b237f00a629fcb7c8e901f894f8982be02daebbe24cbcc9e
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