Package: libcvc4parser7
Architecture: amd64
Version: 1.8-3build2
Multi-Arch: same
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@alioth-lists.debian.net>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2591
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.33), libcln6, libcvc4-7 (>= 1.8), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc4/libcvc4parser7_1.8-3build2_amd64.deb
Size: 373822
MD5sum: 025af2262b54df8104d8767debd28690
SHA1: bab4cce9e1b72422f7aebe8d439d4bd09463da68
SHA256: 25ca21f299b915d30ea9b29b573cf3e4a4fba28635973a61b61adf4affcc99e7
SHA512: 524908e1e09a4c3908771abae60c1e06ba87fca782ef362d94f259fb278bace1371dc16b10d73b5c071a2e17e5dd894bc3ee72d6890fe862b0a62886e8bf713d
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: 41ac21a6409f50acd2200935984059a6