why3-examples

Version: 1.6.0-1

Architecture: all

Number of files: 1562

Total size: 17.7 MB

sharing with respect to sha512

packagefiles shareddata shared
why3-doc-pdf compare 3 (0%) 37.1 KB (0%)
why3-doc-html compare 3 (0%) 37.1 KB (0%)
why3 compare 2 (0%) 36.9 KB (0%)
libwhy3-ocaml-dev compare 2 (0%) 36.9 KB (0%)
self compare 7 (0%) 315 B (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
why3-doc-pdf compare 2 (0%) 16.0 KB (0%)
why3-doc-html compare 2 (0%) 16.0 KB (0%)
why3 compare 1 (0%) 15.8 KB (0%)
libwhy3-ocaml-dev compare 1 (0%) 15.8 KB (0%)
self compare 7 (0%) 315 B (0%)

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


Details about this service