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

Links for libcvc3-2-java

Ubuntu-palvelut:

• Vikailmoitukset
• Ubuntu-muutosloki
• Tekijänoikeustiedosto

Imuroi lähdekoodipaketti cvc3:

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

Ylläpitäjä:

• 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:

• Kotisivu [www.cs.nyu.edu]

Samankaltaisia paketteja:

• 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

Muut pakettiin libcvc3-2-java liittyvät paketit

• dep: default-jre-headless

  Standard Java or Java compatible Runtime (headless)

  tai java2-runtime-headless

  näennäispaketti, jonka toteuttaa 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)

Imuroi libcvc3-2-java