why3

Version: 1.4.0-2

Architecture: amd64

Number of files: 222

Total size: 33.0 MB

sharing with respect to sha512

packagefiles shareddata shared
why3-coq compare 3 (1%) 39.6 KB (0%)
libwhy3-ocaml-dev compare 3 (1%) 39.6 KB (0%)
why3-examples compare 3 (1%) 39.6 KB (0%)
why3-doc-pdf compare 3 (1%) 39.6 KB (0%)
why3-doc-html compare 3 (1%) 39.6 KB (0%)
webext-form-history-control compare 3 (1%) 6.0 KB (0%)
spip compare 2 (0%) 3.9 KB (0%)
doublecmd-common compare 1 (0%) 2.2 KB (0%)
castle-game-engine-doc compare 1 (0%) 2.0 KB (0%)
python3-bumps compare 1 (0%) 1.1 KB (0%)
r-cran-shinyfiles compare 1 (0%) 1.1 KB (0%)
self compare 2 (0%) 504 B (0%)
ca-certificates compare 1 (0%) 2 B (0%)
emscripten compare 1 (0%) 2 B (0%)
vdr-dev compare 1 (0%) 2 B (0%)
snakemake compare 1 (0%) 2 B (0%)
mini-buildd 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%)
spip compare 2 (0%) 3.9 KB (0%)
doublecmd-common compare 1 (0%) 2.2 KB (0%)
castle-game-engine-doc compare 1 (0%) 2.0 KB (0%)
python3-bumps compare 1 (0%) 1.1 KB (0%)
r-cran-shinyfiles compare 1 (0%) 1.1 KB (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
why3-coq compare 2 (0%) 18.5 KB (0%)
libwhy3-ocaml-dev compare 2 (0%) 18.5 KB (0%)
why3-examples compare 2 (0%) 18.5 KB (0%)
why3-doc-pdf compare 2 (0%) 18.5 KB (0%)
why3-doc-html compare 2 (0%) 18.5 KB (0%)

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


Details about this service