| Name | Size | Mode | Actions |
|---|---|---|---|
| javadoc-openmpi/ | - | 0755 | rm |
| changelog.Debian.gz | 1163 | 0644 | editdlrm |
| copyright | 8354 | 0644 | editdlrm |
| NEWS.gz | 73907 | 0644 | editdlrm |
| README.Debian | 1102 | 0644 | editdlrm |
| README.gz | 31854 | 0644 | editdlrm |
/usr/share/doc/libopenmpi3/README.gz (31854B)