libcvc5-1

Version: 1.3.2-1

Architecture: amd64

Number of files: 6

Total size: 28.9 MB

sharing with respect to sha512

packagefiles shareddata shared
cvc5 compare 5 (83%) 20.4 KB (0%)
libcvc5-dev compare 5 (83%) 20.4 KB (0%)
libcvc5parser1 compare 5 (83%) 20.4 KB (0%)
python3-cvc5 compare 5 (83%) 20.4 KB (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
cvc5 compare 2 (33%) 11.2 KB (0%)
libcvc5-dev compare 2 (33%) 11.2 KB (0%)
libcvc5parser1 compare 2 (33%) 11.2 KB (0%)
python3-cvc5 compare 2 (33%) 11.2 KB (0%)

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

Details about this service