Package: libcvc5parser1
Architecture: amd64
Version: 1.1.2-1build1
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cvc5
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: 665
Depends: libc6 (>= 2.38), libcvc5-1 (>= 1.1.2), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc5/libcvc5parser1_1.1.2-1build1_amd64.deb
Size: 209894
MD5sum: 62768dafb539174a1e023166eece222e
SHA1: 5429ffd7adc20e57d07fdc0ee4c9f74a9fd58fd8
SHA256: df2a42603c28b3c8fe4f0ddd48005f5aaf3d293dd315615b6bcb32643ecd1f81
SHA512: 0fd1ee8138ccdb7828b936155d883fcb8c84f41ebade0fb49c0abed74b03a8111af8adba46f3cdc3fe2f2ffad7526bb5670041bce4e7a55f4d9a32b11bc304e5
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: c3a5bb5e9e41edcc86d8956a94b4711a