Package: libcvc3-dev Priority: extra Section: universe/libdevel Installed-Size: 803 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Christopher L. Conway <cconway@cs.nyu.edu> Architecture: amd64 Source: cvc3 Version: 2.4.1-4ubuntu1 Replaces: libcvc3-2-dev, libcvc3-5-dev Depends: libcvc3-5 (= 2.4.1-4ubuntu1) Breaks: libcvc3-2-dev, libcvc3-5-dev Filename: pool/universe/c/cvc3/libcvc3-dev_2.4.1-4ubuntu1_amd64.deb Size: 142032 MD5sum: 9f3ba6e3caa8925b8797c2bd43ebb39c SHA1: dd46fb6bce733b6c31a80a96febf0bd2cbe276e1 SHA256: b995526d966de430dfa04a6f751f1afa12ff05758126c76896b489bc70e29679 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