Package: libcvc3-5-java
Architecture: all
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: 90
Depends: libcvc3-5-jni (>= 2.4.1-5.1ubuntu1)
Filename: pool/universe/c/cvc3/libcvc3-5-java_2.4.1-5.1ubuntu1_all.deb
Size: 72284
MD5sum: bafacd921a3bb7ffceb6e23123e0d121
SHA1: a35d58beae6e9d5d7f41559e0e128864b9e8f07d
SHA256: 70b6d379315b7bc4b6cbbb5c8a51b127c4762203ea1d66b4b5e0747064a76123
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description: Java bindings for CVC3 (bytecode library)
Description-md5: 1fe640cf1c52cd3191bd141e9e2f6edf