/opt/ohpc/pub/libs/gnu7 | File Info | CentOS Community Build Service

Name	/opt/ohpc/pub/libs/gnu7
Digest (sha256)
Size	4.00 KB
Modification time	Wed, 13 Sep 2017 10:19:38 UTC
User	root
Group	root
Mode	drwxr-xr-x
Flags
RPM	petsc-gnu7-openmpi-ohpc-3.7.6-1.ohpc.x86_64.rpm