Tue, 12 Nov 2024 22:25:49 UTC | login

Information for file /usr/share/texlive/texmf-dist/makeindex/mkgrkindex

Name/usr/share/texlive/texmf-dist/makeindex/mkgrkindex
Digest (sha256)
Size0.00 B
Modification timeSat, 23 Jun 2018 09:01:55 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMtexlive-makeindex-7:20180414-12.0.riscv64.fc29.riscv64.rpm