libcvc5-1

Version: 1.1.2-2+b3

Architecture: amd64

Number of files: 7

Total size: 24.5 MB

sharing with respect to sha512

packagefiles shareddata shared
cvc5 compare 6 (85%) 16.6 KB (0%)
libcvc5-dev compare 6 (85%) 16.6 KB (0%)
libcvc5parser1 compare 6 (85%) 16.6 KB (0%)
python3-cvc5 compare 6 (85%) 16.6 KB (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
cvc5 compare 3 (42%) 8.2 KB (0%)
libcvc5-dev compare 3 (42%) 8.2 KB (0%)
libcvc5parser1 compare 3 (42%) 8.2 KB (0%)
python3-cvc5 compare 3 (42%) 8.2 KB (0%)

Note: Packages with yellow background are required to be installed when this package is installed.

Details about this service