Sun, 19 Jan 2025 02:25:26 CST | login

Information for file /usr/lib64/openmpi/share/doc/openmpi/javadoc-openmpi/mpi/Errhandler.html

Name/usr/lib64/openmpi/share/doc/openmpi/javadoc-openmpi/mpi/Errhandler.html
Digest (sha256)ec0bbd6f2050ea9ffa21a533a3fe70ebf9a6dbc4287e85f852369fb1e1df990e
Size9.90 KB
Modification timeFri, 14 Jul 2023 16:47:04 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMopenmpi-java-devel-4.1.5-1.ocs23.x86_64.rpm