Mon, 30 Nov 2020 12:21:09 UTC

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

Name/usr/lib/openmpi/share/doc/openmpi/javadoc-openmpi/jquery/jszip-utils/dist
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