Wed, 11 Dec 2024 20:51:13 UTC | login

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

Name/usr/share/texlive/texmf-dist/tex/texinfo/txi-is.tex
Digest (sha256)c219d9c000c066f996f7d65c1661c5a671305fd9b078b51ec01dcb356c0d0582
Size2.34 KB
Modification timeWed, 09 Aug 2023 20:10:43 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMtexinfo-tex-7.1-2.fc40.riscv64.rpm