Sat, 28 Nov 2020 11:50:41 UTC

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

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