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 | Fri, 16 Oct 2020 21:05:38 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ahven-devel-2.8-12.fc42.riscv64.rpm |
