Package: libcvc3-dev
Architecture: i386
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_i386.deb
Size: 141860
MD5sum: 682e0e45a011890844436f3d62bd8753
SHA1: 781155e2731fd65bfd49c6612140d03f0f86a175
SHA256: acab2a5726b06902e4c285aeeb5477b3d96a36295b845a1cb8c3e45b738461b3
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description: Automatic theorem prover library for SMT problems (development files)
Description-md5: 0073aea651f8bf1553c64d937a725843