Information for file /usr/bin/gnatclean
| Name | /usr/bin/gnatclean |
|---|---|
| Digest (sha256) | 9a310209548c4399e67efe1bb9964b8533e85d43ed7aee508309266a9d0bd492 |
| Size | 2678544 |
| Modification time | Tue, 15 May 2018 23:52:14 CEST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | gcc-gnat-4.8.5-28.el7_5.1.x86_64.rpm |
