bitwuzla-dev

Version: 0.8.2-2+b1

Architecture: amd64

Number of files: 10

Total size: 192.6 KB

sharing with respect to sha512

packagefiles shareddata shared
bitwuzla compare 3 (30%) 2.0 KB (1%)
python3-bitwuzla compare 3 (30%) 2.0 KB (1%)
libbitwuzla0 compare 3 (30%) 2.0 KB (1%)
bitwuzla-doc compare 2 (20%) 1.8 KB (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
bitwuzla compare 2 (20%) 528 B (0%)
python3-bitwuzla compare 2 (20%) 528 B (0%)
libbitwuzla0 compare 2 (20%) 528 B (0%)
bitwuzla-doc compare 1 (10%) 294 B (0%)

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

Details about this service