Mon, 30 Nov 2020 12:26:33 UTC

Information for file /usr/lib/openmpi/share/doc/openmpi/javadoc-openmpi

Name/usr/lib/openmpi/share/doc/openmpi/javadoc-openmpi
Digest (sha256)
Size0
Modification timeMon, 15 Jun 2020 16:58:06 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMopenmpi-java-devel-4.0.3-1.el8.i686.rpm