Information for file /opt/rh/devtoolset-11/root/usr/bin/gdb-add-index
| Name | /opt/rh/devtoolset-11/root/usr/bin/gdb-add-index |
|---|---|
| Digest (sha256) | eaaa9537496cc53d70609fb18ee31f77ca7c461cb7f5d44d81eeb4185d0a6f2a |
| Size | 4412 |
| Modification time | Mon, 30 May 2022 14:41:42 CEST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | devtoolset-11-gdb-10.2-6.el7.x86_64.rpm |
