Package: libcvc4-dev
Source: cvc4
Priority: optional
Section: universe/libdevel
Installed-Size: 831
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.8-5
Depends: libcvc4-7 (= 1.8-5), libcvc4parser7 (= 1.8-5), libgmp-dev
Filename: pool/universe/c/cvc4/libcvc4-dev_1.8-5_amd64.deb
Size: 125236
MD5sum: 1058954dfe73c68be0c56c19f910db53
SHA1: 71d615c5f854186ad1353b7718e47db3e5d869cc
SHA256: 0d76de3f465e9a00bfcf6f6dfd9fc65380bcd029de97df4239c135bc357127ef
SHA512: 5bbe2cb85c1c819d641f78d6bc18400707bc0454122d71a9bca17c7c2b997e07df6f2df9f175011c044cd3d98a64ce9f5aa7b5c5c29a677a5ec25fa11bc37056
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems (development files)
Description-md5: f7eec8184f4f2011119ce7723ddf8cd5
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug