acl2-doc

Version: 8.6+dfsg-3

Architecture: all

Number of files: 469

Total size: 839.9 KB

sharing with respect to sha512

packagefiles shareddata shared
self compare 11 (2%) 12.8 KB (1%)
acl2 compare 1 (0%) 11.7 KB (1%)
acl2-books compare 1 (0%) 11.7 KB (1%)
acl2-infix compare 1 (0%) 11.7 KB (1%)
acl2-infix-source compare 1 (0%) 11.7 KB (1%)
elpa-acl2 compare 1 (0%) 11.7 KB (1%)
acl2-source compare 1 (0%) 11.7 KB (1%)
acl2-books-source compare 1 (0%) 11.7 KB (1%)
acl2-books-certs compare 1 (0%) 11.7 KB (1%)
cl-asdf compare 1 (0%) 4.6 KB (0%)
cl-split-sequence compare 1 (0%) 3.7 KB (0%)
cl-global-vars compare 1 (0%) 2.7 KB (0%)
cl-alexandria compare 1 (0%) 2.3 KB (0%)
cl-usocket compare 1 (0%) 2.2 KB (0%)
cl-nibbles compare 1 (0%) 1.6 KB (0%)
cl-trivial-gray-streams compare 1 (0%) 1.5 KB (0%)
cl-rfc2388 compare 1 (0%) 1.4 KB (0%)
cl-md5 compare 1 (0%) 1.3 KB (0%)
cl-trivial-features compare 1 (0%) 1.2 KB (0%)
cl-fad compare 1 (0%) 1.2 KB (0%)
cl-ppcre compare 1 (0%) 1.1 KB (0%)
cl-flexi-streams compare 2 (0%) 903 B (0%)
cl-babel compare 1 (0%) 865 B (0%)
cl-local-time compare 1 (0%) 616 B (0%)
cl-trivial-garbage compare 1 (0%) 485 B (0%)
cl-bordeaux-threads compare 1 (0%) 321 B (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
cl-asdf compare 1 (0%) 4.6 KB (0%)
self compare 1 (0%) 4.4 KB (0%)

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


Details about this service