Fri, 27 Nov 2020 20:03:45 UTC

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

Name/usr/lib/openmpi/share/doc/openmpi/javadoc-openmpi/jquery/jquery-ui.js
Digest (sha256)712e2e2efe1717a1e10aee0e02163e1deadf88760ade58b5cdfe333ea6de5247
Size71563
Modification timeMon, 15 Jun 2020 16:57:04 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMopenmpi-java-devel-4.0.3-1.el8.i686.rpm