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: i386
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_i386.deb
Size: 142196
MD5sum: 2346f918c39bce4efb0605dbb959fc9f
SHA1: 4468b1e0b75b084841d7d98508aef76d3f2c085f
SHA256: 9261b41e0caf17f2dd47413cebff896ba92d041d29c9d4b3ae2fa3df7687f319
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