libcvc5parser1

Version: 1.1.2-2+b3

Architecture: amd64

Number of files: 7

Total size: 778.7 KB

sharing with respect to sha512

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

sharing with respect to gzip_sha512

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

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


Details about this service