Package - libcvc5parser1
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cvc5/libcvc5parser1_1.1.2-2+b3_amd64.deb (Size: 231.2KiB)| Property | Value |
|---|---|
| Package | libcvc5parser1 |
| Source | cvc5 (1.1.2-2) |
| Version | 1.1.2-2+b3 |
| Installed-Size | 794 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libc6 (>= 2.38), libcvc5-1 (>= 1.1.2), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) |
| Description | automated theorem prover for SMT problems (parser runtime) |
| Description-md5 | c3a5bb5e9e41edcc86d8956a94b4711a |
| Multi-Arch | same |
| Homepage | https://cvc5.github.io/ |
| Tag | role::shared-lib |
| Section | libs |
| Priority | optional |
| Filename | pool/main/c/cvc5/libcvc5parser1_1.1.2-2+b3_amd64.deb |
| Size | 236752 |
| MD5sum | 785ae92427190d763d3451aae3620436 |
| SHA256 | 217377dc9af428615c3d36baf6a61f41d2f1c73bb85ae27a1b5d4300de91d6a2 |
Files in package
- /usr/lib/x86_64-linux-gnu/libcvc5parser.so.1
- /usr/share/doc/libcvc5parser1/AUTHORS
- /usr/share/doc/libcvc5parser1/NEWS.md.gz
- /usr/share/doc/libcvc5parser1/THANKS
- /usr/share/doc/libcvc5parser1/changelog.Debian.amd64.gz
- /usr/share/doc/libcvc5parser1/changelog.Debian.gz
- /usr/share/doc/libcvc5parser1/copyright