Mon, 02 Dec 2024 14:40:08 UTC | login

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

Name/usr/share/man/man1/ptftopl.1.gz
Digest (sha256)d3853517d2fa3845e2b7a968538db56c7ae63b0d00a97ee1582107e0a849c747
Size1.10 KB
Modification timeSat, 18 Jan 2020 11:09:12 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-ptex-7:20190410-8.0.riscv64.fc32.riscv64.rpm