| Name | /usr/bin/gnatchop |
|---|---|
| Digest (sha256) | 7d72a88869bf06df6a3f3673ca81c1263ef96ee4d4f8a46503d759ef9ae01a5c |
| Size | 1.58 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 |