Thu, 12 Dec 2024 09:53:29 UTC | login

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

Name/usr/share/man/man1/pdfjadetex.1.gz
Digest (sha256)2c8db5eba061d3c6753244d6a29094013e9777aa5e5da2f2aa90522e1ac71812
Size2.36 KB
Modification timeSun, 22 Nov 2020 10:27:05 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-jadetex-7:20200327-18.4.riscv64.fc33.noarch.rpm