Tue, 03 Dec 2024 12:37:43 UTC | login

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

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