Version: 2.0.0-1
Architecture: amd64
Number of files: 8
Total size: 39.6 KB
| package | files shared | data shared |
|---|---|---|
| libfiat-dev compare | 1 (12%) | 959 B (2%) |
| libfiat-0 compare | 1 (12%) | 959 B (2%) |
Note: Packages with yellow background are required to be installed when this package is installed.