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: i386
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_i386.deb
Size: 142174
MD5sum: a94ae5c591fc89f1775e339fb478eb35
SHA1: 20c798ac587af8abb169441269c45a8108d349f8
SHA256: f4ccdc5af50d76e6389a839ccba6ddc965812babd6e264658287287e7a44c4e2
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