Information for file /opt/rh/devtoolset-11/root/usr/share/man/man1/gcov-tool.1.gz
| Name | /opt/rh/devtoolset-11/root/usr/share/man/man1/gcov-tool.1.gz |
|---|---|
| Digest (sha256) | 332d7120e0caa471dd6347988860789efe480281009f5eb11abf96a944cc967c |
| Size | 4055 |
| Modification time | Wed, 14 Sep 2022 22:23:43 CEST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | devtoolset-11-gcc-11.2.1-5.xcpng8.3.x86_64.rpm |
