Package: libcvc3-dev Priority: extra Section: universe/libdevel Installed-Size: 825 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Morgan Deters <mdeters@morgandeters.com> Architecture: amd64 Source: cvc3 Version: 2.4.1-5ubuntu1 Replaces: libcvc3-2-dev, libcvc3-5-dev Depends: libcvc3-5v5 (= 2.4.1-5ubuntu1) Breaks: libcvc3-2-dev, libcvc3-5-dev Filename: pool/universe/c/cvc3/libcvc3-dev_2.4.1-5ubuntu1_amd64.deb Size: 142150 MD5sum: 8db8929af4df37cb9ac002498b2ec898 SHA1: 430f304a69cffd0984bb221baf11eb2c26a0e217 SHA256: 47f0afc30b0fe47f97f8a917507e015a6879894dc3a0acfab08896dfa14aa8d2 Description: Automatic theorem prover library for SMT problems (development files) Homepage: http://www.cs.nyu.edu/acsys/cvc3/ Description-md5: 0073aea651f8bf1553c64d937a725843 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu