Version: 20240217.gita7ead68-1
Architecture: all
Number of files: 11
Total size: 34.0 KB
| package | files shared | data shared |
|---|---|---|
| acl2-books-source compare | 6 (54%) | 29.7 KB (87%) |
| acl2-doc compare | 1 (9%) | 1.5 KB (4%) |
Note: Packages with yellow background are required to be installed when this package is installed.