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

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

Name/usr/lib64/openmpi/share/doc/openmpi/javadoc-openmpi/mpi/Op.html
Digest (sha256)2440654eb3c9d1152d117e2b5d669e140306f73611d3094ec6f8627c54c23571
Size14.49 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