Information for file /usr/share/doc/ga-openmpi-devel
Name | /usr/share/doc/ga-openmpi-devel |
---|---|
Digest (sha256) | |
Size | 0.00 B |
Modification time | Fri, 15 Nov 2024 11:17:24 CST |
User | root |
Group | root |
Mode | drwxr-xr-x |
Flags | |
RPM | ga-openmpi-devel-5.8.2-2.oc9.x86_64.rpm |