Tue, 03 Dec 2024 14:36:26 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, 21 Nov 2020 16:48:03 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-makeindex-7:20200327-18.1.riscv64.fc33.riscv64.rpm