Information for file /usr/share/gpr/gnatcoll_readline.gpr
| Name | /usr/share/gpr/gnatcoll_readline.gpr |
|---|---|
| Digest (sha256) | b84116bac7e05e169e9227bf2749fb42524fe3affe8403a2a2aff9734e4f35a1 |
| Size | 1.39 KB |
| Modification time | Thu, 18 Jul 2024 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gnatcoll-readline-devel-2:24.0.0-3.fc41.riscv64.rpm |