Information for file /usr/share/gpr/_default.gpr
| Name | /usr/share/gpr/_default.gpr |
|---|---|
| Digest (sha256) | f1a46e5b2ab8bb3dd82f116c5cd454f33b9b56ab35e94c7b9723185bd0edd27d |
| Size | 41.00 B |
| Modification time | Thu, 18 Jul 2024 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -r--r--r-- |
| Flags | |
| RPM | gprbuild-2:24.0.0-2.fc41~bootstrap.riscv64.rpm |