Tue, 12 Nov 2024 22:23:07 UTC | login

Information for file /usr/share/man/man1/makeindex.1.gz

Name/usr/share/man/man1/makeindex.1.gz
Digest (sha256)66682a4acca915a562b94ea080cab159a7db8a475f6f633afe5d6f0abae53f0c
Size9.37 KB
Modification timeSat, 23 Jun 2018 09:02:16 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-makeindex-7:20180414-12.0.riscv64.fc29.riscv64.rpm