Sat, 23 Nov 2024 15:48:05 CET | login

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

Name/usr/share/texmf/tex/texinfo/txi-is.tex
Digest (sha256)c219d9c000c066f996f7d65c1661c5a671305fd9b078b51ec01dcb356c0d0582
Size2400
Modification timeTue, 19 Feb 2013 23:25:28 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMtexinfo-tex-5.1-5.el7.x86_64.rpm