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) | 678032f5a12e298c3b16b45b156e1e9472fdc716ae00e652d34e8e94a74fb4ef |
| Size | 833.00 B |
| Modification time | Mon, 16 Nov 2015 17:32:33 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | devtoolset-4-4.0-9.el6.x86_64.rpm |
