Package: libcvc4-dev
Architecture: amd64
Version: 1.8-3build2
Priority: optional
Section: universe/libdevel
Source: cvc4
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 831
Depends: libcvc4-7 (= 1.8-3build2), libcvc4parser7 (= 1.8-3build2), libgmp-dev
Filename: pool/universe/c/cvc4/libcvc4-dev_1.8-3build2_amd64.deb
Size: 125256
MD5sum: 6f3350a3b69474ab64264f6312b4247a
SHA1: 84da0b4dc7f2b7c3d94ca687aa2a9453ae96a654
SHA256: ee6c30ab26827d2a942db85a1134ee2a30f13b8f5cbb6bce96ce328d339d7dd8
SHA512: 77f809fee41ab86db37cdb198a3f464b89891af6588956bc2ffe29f3b8be0f1b22c4473aa37b36c521fc6693d125fc92a9dd3c72e34885bf73615f20a4eafd0f
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems (development files)
Description-md5: f7eec8184f4f2011119ce7723ddf8cd5