acl2-books-source

Version: 8.6+dfsg-3

Architecture: all

Number of files: 14124

Total size: 235.0 MB

sharing with respect to sha512

packagefiles shareddata shared
self compare 456 (3%) 1.7 MB (0%)
cl-flexi-streams compare 23 (0%) 1.2 MB (0%)
cl-babel compare 19 (0%) 761.5 KB (0%)
acl2-infix-source compare 8 (0%) 317.0 KB (0%)
cl-ppcre compare 18 (0%) 256.2 KB (0%)
cl-cffi compare 37 (0%) 255.4 KB (0%)
cl-asdf compare 10 (0%) 220.3 KB (0%)
cl-bordeaux-threads compare 49 (0%) 203.5 KB (0%)
cl-chipz compare 16 (0%) 140.6 KB (0%)
cl-alexandria compare 23 (0%) 120.7 KB (0%)
cl-hunchentoot compare 12 (0%) 116.8 KB (0%)
cl-osicat compare 19 (0%) 113.1 KB (0%)
cl-usocket compare 12 (0%) 73.1 KB (0%)
cl-fad compare 10 (0%) 58.1 KB (0%)
cl-salza2 compare 17 (0%) 56.1 KB (0%)
cl-md5 compare 1 (0%) 43.3 KB (0%)
cl-split-sequence compare 7 (0%) 42.0 KB (0%)
cl-trivial-features compare 21 (0%) 39.8 KB (0%)
cl-utilities compare 12 (0%) 39.7 KB (0%)
cl-base64 compare 4 (0%) 33.9 KB (0%)
cl-chunga compare 6 (0%) 32.7 KB (0%)
cl-trivial-gray-streams compare 6 (0%) 29.7 KB (0%)
cl-trivial-garbage compare 2 (0%) 22.6 KB (0%)
cl-trivial-backtrace compare 9 (0%) 16.2 KB (0%)
cl-nibbles compare 3 (0%) 14.7 KB (0%)
acl2 compare 1 (0%) 11.7 KB (0%)
acl2-books compare 1 (0%) 11.7 KB (0%)
acl2-infix compare 1 (0%) 11.7 KB (0%)
acl2-doc compare 1 (0%) 11.7 KB (0%)
elpa-acl2 compare 1 (0%) 11.7 KB (0%)
acl2-source compare 1 (0%) 11.7 KB (0%)
acl2-books-certs compare 1 (0%) 11.7 KB (0%)
cl-global-vars compare 2 (0%) 9.1 KB (0%)
cl-ppcre-unicode compare 3 (0%) 8.9 KB (0%)
cl-local-time compare 3 (0%) 8.4 KB (0%)
cl-quri compare 5 (0%) 8.0 KB (0%)
cl-rfc2388 compare 2 (0%) 4.8 KB (0%)
cl-plus-ssl compare 1 (0%) 3.7 KB (0%)

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


Details about this service