Publishing details

• Published on 2014-12-05

Changelog

cvc4 (1.4+1branch-ppa1~trusty) trusty; urgency=low

  * Remove jQuery removing and sym linking stuff. This seems broken
 -- Dan Liew <email address hidden>   Fri, 05 Dec 2014 11:45:00 +0000

Builds

• amd64
• i386

Built packages

• cvc4 Automated theorem prover for SMT problems

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

• libcvc4-3 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-compat3 CVC4 dynamic libraries, compatibility with CVC3 C API

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

• libcvc4bindings-java3 CVC4 Java bindings

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

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

• libcvc4parser-dev CVC4 parser headers and static libraries

• libcvc4parser3 CVC4 parser dynamic libraries

Package files

• cvc4-doc_1.4+1branch-ppa1~trusty_all.deb (87.7 KiB)
• cvc4_1.4+1branch-ppa1~trusty.debian.tar.gz (10.3 KiB)
• cvc4_1.4+1branch-ppa1~trusty.dsc (1.8 KiB)
• cvc4_1.4+1branch-ppa1~trusty_amd64.deb (72.9 KiB)
• cvc4_1.4+1branch-ppa1~trusty_i386.deb (72.7 KiB)
• cvc4_1.4+1branch.orig.tar.gz (6.9 MiB)
• libcvc4-3_1.4+1branch-ppa1~trusty_amd64.deb (2.3 MiB)
• libcvc4-3_1.4+1branch-ppa1~trusty_i386.deb (2.3 MiB)
• libcvc4-dev_1.4+1branch-ppa1~trusty_amd64.deb (4.0 MiB)
• libcvc4-dev_1.4+1branch-ppa1~trusty_i386.deb (3.9 MiB)
• libcvc4bindings-c-compat-dev_1.4+1branch-ppa1~trusty_amd64.deb (58.7 KiB)
• libcvc4bindings-c-compat-dev_1.4+1branch-ppa1~trusty_i386.deb (58.0 KiB)
• libcvc4bindings-c-compat3_1.4+1branch-ppa1~trusty_amd64.deb (58.3 KiB)
• libcvc4bindings-c-compat3_1.4+1branch-ppa1~trusty_i386.deb (58.4 KiB)
• libcvc4bindings-java-compat3_1.4+1branch-ppa1~trusty_amd64.deb (85.1 KiB)
• libcvc4bindings-java-compat3_1.4+1branch-ppa1~trusty_i386.deb (86.0 KiB)
• libcvc4bindings-java3_1.4+1branch-ppa1~trusty_amd64.deb (527.2 KiB)
• libcvc4bindings-java3_1.4+1branch-ppa1~trusty_i386.deb (535.0 KiB)
• libcvc4compat-dev_1.4+1branch-ppa1~trusty_amd64.deb (112.8 KiB)
• libcvc4compat-dev_1.4+1branch-ppa1~trusty_i386.deb (108.6 KiB)
• libcvc4compat3_1.4+1branch-ppa1~trusty_amd64.deb (107.5 KiB)
• libcvc4compat3_1.4+1branch-ppa1~trusty_i386.deb (106.2 KiB)
• libcvc4parser-dev_1.4+1branch-ppa1~trusty_amd64.deb (413.6 KiB)
• libcvc4parser-dev_1.4+1branch-ppa1~trusty_i386.deb (411.2 KiB)
• libcvc4parser3_1.4+1branch-ppa1~trusty_amd64.deb (296.6 KiB)
• libcvc4parser3_1.4+1branch-ppa1~trusty_i386.deb (289.4 KiB)