Information for file /opt/rh/devtoolset-8/root/usr/share/man/man1/cg_diff.1.gz
Name | /opt/rh/devtoolset-8/root/usr/share/man/man1/cg_diff.1.gz |
---|---|
Digest (sha256) | 73c8c75927f779a6abc864230a7afc566c9e752d2dfc154a839b9ae00617c00b |
Size | 994.00 B |
Modification time | Fri, 30 Nov 2018 14:01:48 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | devtoolset-8-valgrind-1:3.14.0-0.1.GIT.el7.x86_64.rpm |