Sat, 23 Nov 2024 16:15:39 CET | login

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

Name/usr/share/texmf/tex/texinfo/txi-de.tex
Digest (sha256)15c7dcc377df045f426c639b881165aebe3c3991e242cb3dcdad57e0e00f3ddd
Size2551
Modification timeSat, 23 Feb 2013 01:11:26 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMtexinfo-tex-5.1-5.el7.x86_64.rpm