Information for file /usr/share/man/man3/HPL_ptimer_walltime.3.gz
| Name | /usr/share/man/man3/HPL_ptimer_walltime.3.gz |
|---|---|
| Digest (sha256) | bf75e4d29a9f07b0f98494f48e1f30df9f524cc7f76b7c3869123169342f8fb8 |
| Size | 238.00 B |
| Modification time | Wed, 24 Feb 2016 01:22:37 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | hpl-doc-2.2-2.fc30.noarch.rpm |
