Version: 2.6.4.3-1
Architecture: all
Number of files: 4
Total size: 12.0 KB
| package | files shared | data shared |
|---|---|---|
| libghc-agda-doc compare | 3 (75%) | 11.3 KB (94%) |
| elpa-agda2-mode compare | 3 (75%) | 11.3 KB (94%) |
| agda-bin compare | 2 (50%) | 3.6 KB (30%) |
| libghc-agda-dev compare | 2 (50%) | 3.6 KB (30%) |
| package | files shared | data shared |
|---|---|---|
| libghc-agda-doc compare | 2 (50%) | 8.0 KB (66%) |
| elpa-agda2-mode compare | 2 (50%) | 8.0 KB (66%) |
| agda-bin compare | 1 (25%) | 337 B (2%) |
| libghc-agda-dev compare | 1 (25%) | 337 B (2%) |
| package | files shared | data shared |
|---|---|---|
| libghc-agda-doc compare | 1 (25%) | 337 B (2%) |
Note: Packages with yellow background are required to be installed when this package is installed.