Package: libcvc3-2 Priority: extra Section: universe/libs Installed-Size: 5524 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Christopher L. Conway <cconway@cs.nyu.edu> Architecture: amd64 Source: cvc3 Version: 2.2-13.1 Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6) Filename: pool/universe/c/cvc3/libcvc3-2_2.2-13.1_amd64.deb Size: 2208516 MD5sum: 6acfd932cebbfd727547b268a1498610 SHA1: ae43d25a8ec4aeddf5fc7caac33decbcf7aeb59b SHA256: 039de743aa3640200fa5100d828375893c8555565a8e4ac1dffd320272a49777 Description: An automatic theorem prover library for SMT problems Homepage: http://www.cs.nyu.edu/acsys/cvc3/ Description-md5: d9a7d98da768a7ff30bc6ba5f3066bcf Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu