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