Thu, 31 Oct 2024 23:25:49 UTC | 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)79cf37c834ecf77786ef1f7a0454b76eb40896e1b81fdc802271350905e801a1
Size17.65 KB
Modification timeSun, 03 Mar 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMopenmpi-java-devel-5.0.2-1.0.riscv64.fc40.riscv64.rpm