Version: 1:20210622.git906593f-1
Architecture: all
Number of files: 6
Total size: 48.5 KB
| package | files shared | data shared |
|---|---|---|
| acl2-books-source compare | 1 (16%) | 43.3 KB (89%) |
| acl2-doc compare | 1 (16%) | 1.3 KB (2%) |
Note: Packages with yellow background are required to be installed when this package is installed.