Information for file /usr/bin/gprconfig
| Name | /usr/bin/gprconfig |
|---|---|
| Digest (sha256) | 30f481ad0fdff9a395085b2496e395e7422b2435be1278d507754c7e4273358a |
| Size | 4.22 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~bootstrap.riscv64.rpm |