cl-asdf

Version: 2:3.3.6-1

Architecture: all

Number of files: 307

Total size: 3.3 MB

sharing with respect to sha512

packagefiles shareddata shared
acl2-books-source compare 11 (3%) 247.8 KB (7%)
acl2-doc compare 1 (0%) 4.6 KB (0%)

sharing with respect to gzip_sha512

packagefiles shareddata shared
acl2-doc compare 1 (0%) 4.6 KB (0%)

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


Details about this service