Information for file /usr/bin/gprname
| Name | /usr/bin/gprname |
|---|---|
| Digest (sha256) | 04f42eb18e4374f4104533ee197b2b7f00c2744e644cd07d996f9f0a52687e79 |
| Size | 5.34 MB |
| Modification time | Thu, 18 Jul 2024 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | gprbuild-2:24.0.0-2.fc41.riscv64.rpm |