Version: 20240427.git4951d57-1
Architecture: all
Number of files: 85
Total size: 1.7 MB
| package | files shared | data shared |
|---|---|---|
| acl2-books-source compare | 23 (27%) | 1.2 MB (70%) |
| self compare | 6 (7%) | 27.3 KB (1%) |
| cl-babel compare | 1 (1%) | 13.7 KB (0%) |
| librust-utf8parse-dev compare | 1 (1%) | 13.7 KB (0%) |
| acl2-doc compare | 2 (2%) | 903 B (0%) |
Note: Packages with yellow background are required to be installed when this package is installed.