bitwuzla-dev

Version: 0.8.2-4+b1

Architecture: amd64

Number of files: 10

Total size: 192.8 KB

sharing with respect to sha512

packagefiles shareddata shared
bitwuzla compare 3 (30%) 2.2 KB (1%)
python3-bitwuzla compare 3 (30%) 2.2 KB (1%)
libbitwuzla0 compare 3 (30%) 2.2 KB (1%)
bitwuzla-doc compare 2 (20%) 1.9 KB (1%)

sharing with respect to gzip_sha512

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

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

Details about this service