Sat, 30 Nov 2024 09:39:32 UTC | login

Information for file /usr/share/texlive/texmf-dist/tex/texinfo/txi-de.tex

Name/usr/share/texlive/texmf-dist/tex/texinfo/txi-de.tex
Digest (sha256)151e481535895b1a46129bcaa5aa76e3af924b2527c5adcf7d019d5b1ebbf714
Size2.44 KB
Modification timeFri, 11 Feb 2022 21:56:59 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMtexinfo-tex-7.0.1-1.fc38.riscv64.rpm