Package: libcvc3-2-java (2.2-13.1) [universe]

Links for libcvc3-2-java

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package cvc3:

• [cvc3_2.2-13.1.dsc]
• [cvc3_2.2.orig.tar.gz]
• [cvc3_2.2-13.1.diff.gz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Christopher L. Conway

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [www.cs.nyu.edu]

Similar packages:

• libcvc3-2-jni
• libcvc3-5-jni
• libjavassist-java
• libjavassist-java-doc
• libbytecode-java-doc
• libbcel-java-doc
• libbytecode-java
• cvc3-el
• libcvc3-2
• libcvc3-2-dev
• cvc3

Other Packages Related to libcvc3-2-java

• dep: default-jre-headless

  Standard Java or Java compatible Runtime (headless)

  or java2-runtime-headless

  virtual package provided by default-jre-headless, gcj-4.6-jre-headless, gcj-jre-headless, openjdk-6-jre-headless, openjdk-7-jre-headless

• dep: libcvc3-2-jni (>= 2.2-13.1)

  Java bindings for CVC3 (native library)

Download libcvc3-2-java