Information for file /usr/share/man/openmpi-riscv64/man1/music.1.gz
| Name | /usr/share/man/openmpi-riscv64/man1/music.1.gz |
|---|---|
| Digest (sha256) | cd8ea662a0aa59536f497734f199e00353ed79c3cfc05f3f594438421ac23cbf |
| Size | 1.12 KB |
| Modification time | Fri, 04 Dec 2020 17:59:37 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | MUSIC-openmpi-1.1.16-10.20201002git8c6b77a.fc38.riscv64.rpm |
