Package: libcvc4-4 Architecture: amd64 Version: 1.5-1 Priority: optional Section: universe/libs Source: cvc4 Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 11547 Depends: libc6 (>= 2.17), libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5.2) Filename: pool/universe/c/cvc4/libcvc4-4_1.5-1_amd64.deb Size: 3375660 MD5sum: e10d63d6b78ef4b2b3789b4c85e80c0b SHA1: e5fbcda6310fc0043d71c038b5ffad1f6e32341e SHA256: 38e90a7d2c48d46311c009c189215a6db962c9054cf41f44eb5971f4fd79f9ac Homepage: http://cvc4.cs.stanford.edu/web/ Description: automated theorem prover for SMT problems (runtime) Description-md5: c40fc25141139d2bcef073340835fff8