Paket: libcvc3-5-jni (2.4.1-2) [universe]

Links für libcvc3-5-jni

Ubuntu-Ressourcen:

• Fehlerberichte
• Ubuntu-Changelog
• Copyright-Datei

Quellcode-Paket cvc3 herunterladen:

• [cvc3_2.4.1-2.dsc]
• [cvc3_2.4.1.orig.tar.gz]
• [cvc3_2.4.1-2.debian.tar.gz]

Betreuer:

• Ubuntu MOTU Developers (E-Mail-Archiv)

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.

Externe Ressourcen:

• Homepage [www.cs.nyu.edu]

Ähnliche Pakete:

• libcvc3-2-jni
• libcvc3-2-java
• libcvc3-5-java
• libbrlapi-jni
• libcephfs-jni
• libjna-java
• cvc3-el
• libecj-java-gcj
• libisnativec-5.2-java
• libisnativec-java
• libsac-java-gcj

Andere Pakete mit Bezug zu libcvc3-5-jni

• dep: libc6 (>= 2.1.3) [i386]

  Embedded GNU C Library: Shared libraries
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

  dep: libc6 (>= 2.2.5) [amd64]

• dep: libcvc3-5 (>= 2.4.1)

  Automatic theorem prover library for SMT problems

• dep: libgcc1 (>= 1:4.1.1)

  GCC support library

• dep: libgmp10

  Multiprecision arithmetic library

• dep: libstdc++6 (>= 4.1.1)

  GNU Standard C++ Library v3

libcvc3-5-jni herunterladen