Package: libcvc3-5v5 Priority: extra Section: universe/libs Installed-Size: 6161 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Morgan Deters <mdeters@morgandeters.com> Architecture: amd64 Source: cvc3 Version: 2.4.1-5ubuntu1 Replaces: libcvc3-5 Depends: libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 5.2) Conflicts: libcvc3-5 Filename: pool/universe/c/cvc3/libcvc3-5v5_2.4.1-5ubuntu1_amd64.deb Size: 1807552 MD5sum: be73a32a43ac9deca598e9b75c373835 SHA1: a23485c6f3af47db45756c467adaca268b3ecccb SHA256: 0d0ee7b7b5d3197dd455535e09741ba0a01f6a719d7c1e9114e9b51d86fa077d Description: Automatic theorem prover library for SMT problems Homepage: http://www.cs.nyu.edu/acsys/cvc3/ Description-md5: 0a950a6788f9bc806b6b78660ac3f615 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu