Information for file /opt/rh/devtoolset-4/root/usr/share/man/man7/devtoolset-4.7.gz
| Name | /opt/rh/devtoolset-4/root/usr/share/man/man7/devtoolset-4.7.gz |
|---|---|
| Digest (sha256) | e63d2a9b489f7faf73536e4d2e669505159e09d9bf5769fe261e5aa86d2bb26d |
| Size | 834.00 B |
| Modification time | Sun, 15 May 2016 10:27:16 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | devtoolset-4-4.1-3.el6.x86_64.rpm |
