why3

Version: 1.8.2-1

Architecture: amd64

Number of files: 242

Total size: 42.4 MB

sharing with respect to sha512

packagefiles shareddata shared
libwhy3-ocaml-dev compare 2 (0%) 38.8 KB (0%)
why3-examples compare 2 (0%) 38.8 KB (0%)
why3-doc-pdf compare 2 (0%) 38.8 KB (0%)
why3-doc-html compare 2 (0%) 38.8 KB (0%)
webext-form-history-control compare 3 (1%) 6.0 KB (0%)
doublecmd-common compare 1 (0%) 2.2 KB (0%)
castle-game-engine-doc compare 1 (0%) 2.0 KB (0%)
r-cran-shinyfiles compare 1 (0%) 1.1 KB (0%)
ca-certificates compare 1 (0%) 2 B (0%)
vdr-dev compare 1 (0%) 2 B (0%)
hlins compare 1 (0%) 2 B (0%)
golang-github-intel-goresctrl-dev compare 1 (0%) 2 B (0%)
librust-salsa-dev compare 1 (0%) 2 B (0%)

sharing with respect to png_sha512

packagefiles shareddata shared
webext-form-history-control compare 3 (1%) 6.0 KB (0%)
kvirc-data compare 3 (1%) 4.7 KB (0%)
doublecmd-common compare 1 (0%) 2.2 KB (0%)
castle-game-engine-doc compare 1 (0%) 2.0 KB (0%)
r-cran-shinyfiles compare 1 (0%) 1.1 KB (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
libwhy3-ocaml-dev compare 1 (0%) 17.7 KB (0%)
why3-examples compare 1 (0%) 17.7 KB (0%)
why3-doc-pdf compare 1 (0%) 17.7 KB (0%)
why3-doc-html compare 1 (0%) 17.7 KB (0%)

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

Details about this service