Package: libcvc3-5v5
Architecture: i386
Version: 2.4.1-5.1ubuntu1
Priority: extra
Section: universe/libs
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: 6607
Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2)
Conflicts: libcvc3-5
Replaces: libcvc3-5
Filename: pool/universe/c/cvc3/libcvc3-5v5_2.4.1-5.1ubuntu1_i386.deb
Size: 1945950
MD5sum: cfeaed32cdf4a4ca2ae4aed510cef562
SHA1: 999a1b9418d123255a15648ef9fcc16423d03cf2
SHA256: da4147ef99dc3606855eae0590c4eb5a8f0f1c638de1e275f71c29c342723985
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description: Automatic theorem prover library for SMT problems
Description-md5: 0a950a6788f9bc806b6b78660ac3f615