Publishing details

• Published on 2014-11-05

Changelog

cvc4 (1.3-1ubuntu3~trusty1) trusty; urgency=medium

  * Remove jquery moving commands in rules. It doesn't seem to work
    under Ubuntul
 -- Dan Liew <email address hidden>   Wed, 05 Nov 2014 01:25:51 +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-1ubuntu3~trusty1_all.deb (99.3 KiB)
• cvc4_1.3-1ubuntu3~trusty1.debian.tar.gz (8.6 KiB)
• cvc4_1.3-1ubuntu3~trusty1.dsc (1.8 KiB)
• cvc4_1.3-1ubuntu3~trusty1_amd64.deb (128.2 KiB)
• cvc4_1.3-1ubuntu3~trusty1_i386.deb (126.4 KiB)
• cvc4_1.3.orig.tar.gz (5.9 MiB)
• libcvc4-2_1.3-1ubuntu3~trusty1_amd64.deb (2.4 MiB)
• libcvc4-2_1.3-1ubuntu3~trusty1_i386.deb (2.4 MiB)
• libcvc4-dev_1.3-1ubuntu3~trusty1_amd64.deb (4.9 MiB)
• libcvc4-dev_1.3-1ubuntu3~trusty1_i386.deb (4.9 MiB)
• libcvc4bindings-c-compat-dev_1.3-1ubuntu3~trusty1_amd64.deb (57.0 KiB)
• libcvc4bindings-c-compat-dev_1.3-1ubuntu3~trusty1_i386.deb (56.3 KiB)
• libcvc4bindings-c-compat2_1.3-1ubuntu3~trusty1_amd64.deb (57.0 KiB)
• libcvc4bindings-c-compat2_1.3-1ubuntu3~trusty1_i386.deb (56.7 KiB)
• libcvc4bindings-java-compat2_1.3-1ubuntu3~trusty1_amd64.deb (83.8 KiB)
• libcvc4bindings-java-compat2_1.3-1ubuntu3~trusty1_i386.deb (84.6 KiB)
• libcvc4bindings-java2_1.3-1ubuntu3~trusty1_amd64.deb (519.8 KiB)
• libcvc4bindings-java2_1.3-1ubuntu3~trusty1_i386.deb (525.6 KiB)
• libcvc4compat-dev_1.3-1ubuntu3~trusty1_amd64.deb (105.7 KiB)
• libcvc4compat-dev_1.3-1ubuntu3~trusty1_i386.deb (105.4 KiB)
• libcvc4compat2_1.3-1ubuntu3~trusty1_amd64.deb (100.9 KiB)
• libcvc4compat2_1.3-1ubuntu3~trusty1_i386.deb (100.7 KiB)
• libcvc4parser-dev_1.3-1ubuntu3~trusty1_amd64.deb (347.5 KiB)
• libcvc4parser-dev_1.3-1ubuntu3~trusty1_i386.deb (348.8 KiB)
• libcvc4parser2_1.3-1ubuntu3~trusty1_amd64.deb (249.1 KiB)
• libcvc4parser2_1.3-1ubuntu3~trusty1_i386.deb (244.1 KiB)