Package: libcvc3-dev Source: cvc3 Version: 2.4.1-5.1 Installed-Size: 825 Maintainer: Morgan Deters <mdeters@morgandeters.com> Architecture: amd64 Replaces: libcvc3-2-dev, libcvc3-5-dev Depends: libcvc3-5 (= 2.4.1-5.1) Breaks: libcvc3-2-dev, libcvc3-5-dev Description: Automatic theorem prover library for SMT problems (development files) Homepage: http://www.cs.nyu.edu/acsys/cvc3/ Description-md5: 0073aea651f8bf1553c64d937a725843 Tag: devel::library, role::devel-lib Section: libdevel Priority: extra Filename: pool/main/c/cvc3/libcvc3-dev_2.4.1-5.1_amd64.deb Size: 143728 MD5sum: 5cdaa24e2585b0a0bbbf135fd4d03dc8 SHA256: 147fb1ab2eed7660b49abb28d8b0d06c06b16e521f760f1aff6633b4dbb27768