| Name | /usr/bin/gnatclean |
|---|---|
| Digest (sha256) | c0cf908b3e514fc297d409357945f295436236abb1aade775e07f43b2ef6438e |
| Size | 2.37 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 |