Format: 1.8
Date: Wed, 05 Nov 2014 00:01:00 +0000
Source: cvc4
Binary: cvc4 cvc4-doc libcvc4-dev libcvc4-2 libcvc4parser-dev libcvc4parser2 libcvc4compat-dev libcvc4compat2 libcvc4bindings-java2 libcvc4bindings-c-compat-dev libcvc4bindings-c-compat2 libcvc4bindings-java-compat2
Architecture: source
Version: 1.3-1ubuntu1~precise1
Distribution: precise
Urgency: low
Maintainer: Morgan Deters <mdeters@cs.nyu.edu>
Changed-By: Dan Liew <delcypher@gmail.com>
Description: 
 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++ AP
 libcvc4compat2 - CVC4 dynamic libraries, compatibility with CVC3 C++ API
 libcvc4parser-dev - CVC4 parser headers and static libraries
 libcvc4parser2 - CVC4 parser dynamic libraries
Changes: 
 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.
Checksums-Sha1: 
 7177de2735b0e5d3d51a32fc159dde81179fde75 1842 cvc4_1.3-1ubuntu1~precise1.dsc
 886f108ca8355bda3c34ffc694ea9a22710f6585 6203486 cvc4_1.3.orig.tar.gz
 348ae5c5de3f88e6fc5b769f61f9d3f20e524708 8656 cvc4_1.3-1ubuntu1~precise1.debian.tar.gz
Checksums-Sha256: 
 0321a587045a2bc183e8756ff01e1d286944f2c4d7efe9e55daf018b71875576 1842 cvc4_1.3-1ubuntu1~precise1.dsc
 8013300450130d10e51c8167fcd52eb253404e49524931506e51e1d503d6e3f9 6203486 cvc4_1.3.orig.tar.gz
 4bd28f7c7c93bf41cdf82578bfab500eb04027150c9a8452d43f16c7c47ec925 8656 cvc4_1.3-1ubuntu1~precise1.debian.tar.gz
Files: 
 6a5922241621f911cfd4f806508f51d8 1842 math extra cvc4_1.3-1ubuntu1~precise1.dsc
 a8c2bf10b7fa581a8de283072f4137b6 6203486 math extra cvc4_1.3.orig.tar.gz
 7254ca3d56e693de64010f8fdadc2bb0 8656 math extra cvc4_1.3-1ubuntu1~precise1.debian.tar.gz