Wed, 04 Dec 2024 16:35:27 UTC | login

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

Name/usr/share/man/man1/jadetex.1.gz
Digest (sha256)6d5fec26936f78ee32f99c0a4864664c2976288a6b028ae7b0631b7fea9706ef
Size773.00 B
Modification timeWed, 06 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-jadetex-11:svn63654-77.1.riscv64.fc40.noarch.rpm