Package: libcvc4parser4 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: 2943 Depends: libantlr3c-3.2-0 | libantlr3c-antlrdbg-3.2-0, libc6 (>= 2.14), libcvc4-4, libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5.2) Filename: pool/universe/c/cvc4/libcvc4parser4_1.5-1_amd64.deb Size: 363676 MD5sum: 99e23db029f1ad9539419b7e4be35980 SHA1: 74a7d8ed02ded1f968f400d5272b1ed983ab21e0 SHA256: 8b14719f379197d3d8da9c07f89229310337650ad47a36c35846434149907159 Homepage: http://cvc4.cs.stanford.edu/web/ Description: automated theorem prover for SMT problems (parser runtime) Description-md5: 41ac21a6409f50acd2200935984059a6