Information for file /usr/include/ahven/ahven-astrings.ads
| Name | /usr/include/ahven/ahven-astrings.ads |
|---|---|
| Digest (sha256) | e8a0de1c378d72b38a5e90ed17c91e86d190315fb8de6cccdff24e1290c261d8 |
| Size | 922.00 B |
| Modification time | Sat, 17 Oct 2020 05:05:38 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ahven-devel-2.8-11.fc41.riscv64.rpm |