Sun, 16 Jun 2024 05:05:07 UTC | login

Information for file /usr/bin/makeinfo

Name/usr/bin/makeinfo
Digest (sha256)
Size8.00 B
Modification timeSun, 29 Jul 2018 21:31:45 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMtexinfo-6.5-8.fc29.riscv64.rpm