Information for file /usr/share/man/openmpi-riscv64/man1/scotch_dgmap.1.gz
| Name | /usr/share/man/openmpi-riscv64/man1/scotch_dgmap.1.gz |
|---|---|
| Digest (sha256) | c7287c39ec8d5419e92c6bb86b17331db97c294bf2caa9523acb44e5b2b89666 |
| Size | 1.69 KB |
| Modification time | Thu, 25 Jul 2019 16:17:47 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | ptscotch-openmpi-6.0.7-1.fc31.riscv64.rpm |
