libcvc4-7 (1.8-5)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: cvc4
Architecture: armhf
Section: universe/libs
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 14.9 kB
Size expected: 6.3 MB
Size actual: 6.3 MB
Size match

Dependencies

Required package dependencies

libc6 (>= 2.38)
libcln6
libgcc-s1 (>= 3.5)
libstdc++6 (>= 14)

Suggested packages

Recommended additional packages

None

Description

automated theorem prover for SMT problems (runtime)

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	fdd1275d…6599bcf4	fdd1275d…6599bcf4
SHA-1	b62c54f6…36fcdd06	b62c54f6…36fcdd06
SHA-256	0d3529b5…200f7c61	0d3529b5…200f7c61
SHA-512	7b2c5ab0…4a740ad8	7b2c5ab0…4a740ad8

Files and directories included

.
usr
usr/lib
usr/lib/arm-linux-gnueabihf
usr/lib/arm-linux-gnueabihf/libcvc4.so.7
usr/share
usr/share/doc
usr/share/doc/libcvc4-7
usr/share/doc/libcvc4-7/AUTHORS
usr/share/doc/libcvc4-7/NEWS.gz
usr/share/doc/libcvc4-7/THANKS
usr/share/doc/libcvc4-7/changelog.Debian.gz
usr/share/doc/libcvc4-7/copyright