Publishing details

• Published on 2014-11-05

Changelog

cvc4 (1.3-1ubuntu1~precise1) precise; urgency=low

  * Fix missing Python build dependency.
  * Remove jquery moving commands in rules.It doesn't seem to work under Ubuntu.
 -- Dan Liew <email address hidden>   Wed, 05 Nov 2014 00:01:00 +0000

Builds

• amd64
• i386

Built packages

• cvc4 First order formula validity checker (version 4)

• cvc4-doc CVC4 command-line, language, and API documentation

• libcvc4-2 CVC4 dynamic libraries

• libcvc4-dev CVC4 headers and static libraries

• libcvc4bindings-c-compat-dev CVC4 headers and static libraries, compatibility with CVC3 C API

• libcvc4bindings-c-compat2 CVC4 dynamic libraries, compatibility with CVC3 C API

• libcvc4bindings-java-compat2 CVC4 dynamic libraries, compatibility with CVC3 Java API

• libcvc4bindings-java2 CVC4 Java bindings

• libcvc4compat-dev CVC4 headers and static libraries, compatibility with CVC3 C++ API

• libcvc4compat2 CVC4 dynamic libraries, compatibility with CVC3 C++ API

• libcvc4parser-dev CVC4 parser headers and static libraries

• libcvc4parser2 CVC4 parser dynamic libraries

Package files

• cvc4-doc_1.3-1ubuntu1~precise1_all.deb (104.1 KiB)
• cvc4_1.3-1ubuntu1~precise1.debian.tar.gz (8.5 KiB)
• cvc4_1.3-1ubuntu1~precise1.dsc (1.8 KiB)
• cvc4_1.3-1ubuntu1~precise1_amd64.deb (186.8 KiB)
• cvc4_1.3-1ubuntu1~precise1_i386.deb (185.7 KiB)
• cvc4_1.3.orig.tar.gz (5.9 MiB)
• libcvc4-2_1.3-1ubuntu1~precise1_amd64.deb (3.5 MiB)
• libcvc4-2_1.3-1ubuntu1~precise1_i386.deb (3.5 MiB)
• libcvc4-dev_1.3-1ubuntu1~precise1_amd64.deb (11.8 MiB)
• libcvc4-dev_1.3-1ubuntu1~precise1_i386.deb (11.2 MiB)
• libcvc4bindings-c-compat-dev_1.3-1ubuntu1~precise1_amd64.deb (77.5 KiB)
• libcvc4bindings-c-compat-dev_1.3-1ubuntu1~precise1_i386.deb (73.2 KiB)
• libcvc4bindings-c-compat2_1.3-1ubuntu1~precise1_amd64.deb (66.4 KiB)
• libcvc4bindings-c-compat2_1.3-1ubuntu1~precise1_i386.deb (68.3 KiB)
• libcvc4bindings-java-compat2_1.3-1ubuntu1~precise1_amd64.deb (99.0 KiB)
• libcvc4bindings-java-compat2_1.3-1ubuntu1~precise1_i386.deb (100.2 KiB)
• libcvc4bindings-java2_1.3-1ubuntu1~precise1_amd64.deb (630.0 KiB)
• libcvc4bindings-java2_1.3-1ubuntu1~precise1_i386.deb (651.7 KiB)
• libcvc4compat-dev_1.3-1ubuntu1~precise1_amd64.deb (151.1 KiB)
• libcvc4compat-dev_1.3-1ubuntu1~precise1_i386.deb (145.2 KiB)
• libcvc4compat2_1.3-1ubuntu1~precise1_amd64.deb (127.3 KiB)
• libcvc4compat2_1.3-1ubuntu1~precise1_i386.deb (127.0 KiB)
• libcvc4parser-dev_1.3-1ubuntu1~precise1_amd64.deb (585.6 KiB)
• libcvc4parser-dev_1.3-1ubuntu1~precise1_i386.deb (576.0 KiB)
• libcvc4parser2_1.3-1ubuntu1~precise1_amd64.deb (339.8 KiB)
• libcvc4parser2_1.3-1ubuntu1~precise1_i386.deb (337.4 KiB)