Package: libcvc3-2-dev Priority: extra Section: universe/libdevel Installed-Size: 980 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: libcvc3-2 (= 2.2-13.1) Filename: pool/universe/c/cvc3/libcvc3-2-dev_2.2-13.1_amd64.deb Size: 178676 MD5sum: d56807ea7c69775b329d4aa47ac4f042 SHA1: 0712daacfe11c2dbe915ae06fd8b3ef491f0e3bf SHA256: 3f39610fa25f2bd59cb0124eb19846165c3088bb6a14893520c1f9be6af8b3ce Description: An automatic theorem prover library for SMT problems (development files) Homepage: http://www.cs.nyu.edu/acsys/cvc3/ Description-md5: d01886b971b971ce4f47cbf1e110ecd7 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu