Package: libcvc4-7
Source: cvc4
Priority: optional
Section: universe/libs
Installed-Size: 15124
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.8-5
Depends: libc6 (>= 2.38), libcln6, libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14)
Filename: pool/universe/c/cvc4/libcvc4-7_1.8-5_amd64.deb
Size: 4918224
MD5sum: 247212cf4d5ebf9b4f4b1dcb235d157e
SHA1: 47618da2f0aafbf4658f3d4435afe6095aedf11d
SHA256: 5445e62f6a4301be1043db0e593f3235eb599dc6aa989fb8b5267691c233616e
SHA512: b139cfc72f4b2f7b28b63285288f912fa86796ea61be86b67f8436f1c776de82d6c2bd38b43c469726929b747f5ac898279e63a9b91d4370db4094ccf5c5fb2c
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems (runtime)
Description-md5: c40fc25141139d2bcef073340835fff8
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Multi-Arch: same
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug