Mon, 02 Dec 2024 15:32:00 UTC | login

Information for file /usr/bin/mkgrkindex

Name/usr/bin/mkgrkindex
Digest (sha256)
Size59.00 B
Modification timeSat, 18 Jan 2020 11:05:42 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMtexlive-mkgrkindex-7:20190410-8.0.riscv64.fc32.noarch.rpm