Information for file aaai-named.tar.xz
| Name | aaai-named.tar.xz |
|---|---|
| Digest (sha256) | 9c2dce5da7e17fc841e2f5094d284735f9a9e638fad5fe815b66cde39642cc87 |
| Size | 5.05 KB |
| Modification time | Mon, 04 May 2020 17:17:55 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | texlive-11:2023-71.fc40.src.rpm |
