python3-cvc5

Version: 1.1.2-2+b3

Architecture: amd64

Number of files: 13

Total size: 1.6 MB

sharing with respect to sha512

packagefiles shareddata shared
cvc5 compare 6 (46%) 16.6 KB (1%)
libcvc5-dev compare 6 (46%) 16.6 KB (1%)
libcvc5parser1 compare 6 (46%) 16.6 KB (1%)
libcvc5-1 compare 6 (46%) 16.6 KB (1%)
terminator compare 1 (7%) 15 B (0%)
python3-setproctitle compare 1 (7%) 15 B (0%)
python3-overpass compare 1 (7%) 15 B (0%)
ofxstatement-plugins compare 1 (7%) 15 B (0%)
python3-rosdistro compare 1 (7%) 15 B (0%)
python3-pybtex compare 1 (7%) 15 B (0%)
python3-quamash compare 1 (7%) 15 B (0%)
python3-certbot-nginx compare 1 (7%) 15 B (0%)
python3-cloudflare compare 1 (7%) 15 B (0%)
python3-flatlatex compare 1 (7%) 15 B (0%)
python3-pyasn compare 1 (7%) 15 B (0%)
python3-sqlite-fts4 compare 1 (7%) 15 B (0%)
python3-procset compare 1 (7%) 15 B (0%)
python3-qmix compare 1 (7%) 15 B (0%)
python3-pyaml-env compare 1 (7%) 15 B (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
cvc5 compare 3 (23%) 8.2 KB (0%)
libcvc5-dev compare 3 (23%) 8.2 KB (0%)
libcvc5parser1 compare 3 (23%) 8.2 KB (0%)
libcvc5-1 compare 3 (23%) 8.2 KB (0%)

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


Details about this service