python3-bitwuzla

Version: 0.8.2-2

Architecture: amd64

Number of files: 3

Total size: 521.3 KB

sharing with respect to sha512

packagefiles shareddata shared
bitwuzla compare 2 (66%) 1.8 KB (0%)
bitwuzla-dev compare 2 (66%) 1.8 KB (0%)
bitwuzla-doc compare 2 (66%) 1.8 KB (0%)
libbitwuzla0 compare 2 (66%) 1.8 KB (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
bitwuzla compare 1 (33%) 294 B (0%)
bitwuzla-dev compare 1 (33%) 294 B (0%)
bitwuzla-doc compare 1 (33%) 294 B (0%)
libbitwuzla0 compare 1 (33%) 294 B (0%)

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

Details about this service