Format: 1.8 Date: Fri, 05 Dec 2014 11:45:00 +0000 Source: cvc4 Binary: cvc4 cvc4-doc libcvc4-dev libcvc4-3 libcvc4parser-dev libcvc4parser3 libcvc4compat-dev libcvc4compat3 libcvc4bindings-java3 libcvc4bindings-c-compat-dev libcvc4bindings-c-compat3 libcvc4bindings-java-compat3 Architecture: source Version: 1.4+1branch-ppa1~trusty Distribution: trusty Urgency: low Maintainer: Morgan Deters Changed-By: Dan Liew Description: 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++ AP libcvc4compat3 - CVC4 dynamic libraries, compatibility with CVC3 C++ API libcvc4parser-dev - CVC4 parser headers and static libraries libcvc4parser3 - CVC4 parser dynamic libraries Changes: cvc4 (1.4+1branch-ppa1~trusty) trusty; urgency=low . * Remove jQuery removing and sym linking stuff. This seems broken Checksums-Sha1: 7a5899217292aeaad2357cc3dbd9d127cec60b07 1859 cvc4_1.4+1branch-ppa1~trusty.dsc 95dd761bd3e8763092efc0084348ab551c8fff0e 10583 cvc4_1.4+1branch-ppa1~trusty.debian.tar.gz Checksums-Sha256: 09365f14e8260371026bea6db94b60be5c13dbcb9d1cde5939857ee44d065e67 1859 cvc4_1.4+1branch-ppa1~trusty.dsc 0d848ead12369801e800ff150249c7c035e8971a6e0a82606c38f08ec5e48d09 10583 cvc4_1.4+1branch-ppa1~trusty.debian.tar.gz Files: 39bf891805c2733fcc092d3b08c97f38 1859 math extra cvc4_1.4+1branch-ppa1~trusty.dsc 613dc3d122d6dd416a65f7da3dfed52b 10583 math extra cvc4_1.4+1branch-ppa1~trusty.debian.tar.gz