| Name | /usr/bin/gnatmake |
|---|---|
| Digest (sha256) | 5d5f431ddb7de5c14a1f2536aae6e46d38527495a763b6c3fcc048969694505c |
| Size | 2.78 MB |
| Modification time | Wed, 14 Jun 2023 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | gcc-gnat-13.1.1-4.rv64.fc38.riscv64.rpm |