Information for file /usr/bin/gnatkr
Name | /usr/bin/gnatkr |
---|---|
Digest (sha256) | 846f2b12b5dcc9d82b9033dda6bb6acad7ae5955d941d48944cb3301ebd2f5f4 |
Size | 1.17 MB |
Modification time | Sun, 17 Dec 2023 00:00:00 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | gcc-gnat-13.2.1-6.0.riscv64.fc40.riscv64.rpm |