Wed, 04 Dec 2024 16:33:01 UTC | login

Information for file /usr/bin/mkgrkindex

Name/usr/bin/mkgrkindex
Digest (sha256)
Size59.00 B
Modification timeFri, 17 Jan 2020 22:21:20 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMtexlive-mkgrkindex-7:20190410-7.0.riscv64.fc32.noarch.rpm