Wed, 11 Dec 2024 18:27:08 UTC | login

Information for file /usr/share/texlive/texmf-dist/doc/otherformats/xmltex/base/manual.xml

Name/usr/share/texlive/texmf-dist/doc/otherformats/xmltex/base/manual.xml
Digest (sha256)92cea9d50a0c7b8e388cdf7d3c59e3a3e6f1dfd3d8bebd390311770727a09187
Size33.99 KB
Modification timeFri, 17 Jan 2020 22:25:29 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-xmltex-7:20190410-7.0.riscv64.fc32.noarch.rpm