Tue, 03 Dec 2024 14:41:50 UTC | login

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

Name/usr/share/man/man1/ptex.1.gz
Digest (sha256)e51e83b12effd9832ae4705f40a72a76b24dfe3075cf6e87a6fe89c7f0222b06
Size1.29 KB
Modification timeFri, 24 Aug 2018 13:27:20 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-ptex-7:20180414-19.0.riscv64.fc29.riscv64.rpm