libcvc5-dev

Version: 1.1.2-3

Architecture: amd64

Number of files: 35

Total size: 649.7 KB

sharing with respect to sha512

packagefiles shareddata shared
cvc5 compare 5 (14%) 16.4 KB (2%)
libcvc5parser1 compare 5 (14%) 16.4 KB (2%)
libcvc5-1 compare 5 (14%) 16.4 KB (2%)
python3-cvc5 compare 5 (14%) 16.4 KB (2%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
cvc5 compare 2 (5%) 8.0 KB (1%)
libcvc5parser1 compare 2 (5%) 8.0 KB (1%)
libcvc5-1 compare 2 (5%) 8.0 KB (1%)
python3-cvc5 compare 2 (5%) 8.0 KB (1%)

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

Details about this service