Information for file /usr/lib64/openmpi/share/doc/openmpi/javadoc-openmpi/index-all.html
Name | /usr/lib64/openmpi/share/doc/openmpi/javadoc-openmpi/index-all.html |
---|---|
Digest (sha256) | 1da5f72c47e0bac4ad6e334364322af5a2e7214a39e0a3e411424e43a648365d |
Size | 233.62 KB |
Modification time | Mon, 15 Jun 2020 16:57:33 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | openmpi-java-devel-4.0.3-1.el8.x86_64.rpm |