Information for file aaai-named.tar.xz
| Name | aaai-named.tar.xz |
|---|---|
| Digest (sha256) | 9c2dce5da7e17fc841e2f5094d284735f9a9e638fad5fe815b66cde39642cc87 |
| Size | 5.05 KB |
| Modification time | Tue, 05 May 2020 01:17:55 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | texlive-11:2023-76.fc42.src.rpm |