Thu, 28 Mar 2024 18:24:00 UTC | login

Information for file /opt/rh/devtoolset-7/root/usr/share/man/man7/devtoolset-7.7.gz

Name/opt/rh/devtoolset-7/root/usr/share/man/man7/devtoolset-7.7.gz
Digest (sha256)35913a1c1046130be0c0e9ae61147d90f58b145bdcd4b0643655fa9dce9387f7
Size834.00 B
Modification timeSun, 30 Jul 2017 18:38:56 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMdevtoolset-7-7.0-5.el7.x86_64.rpm