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

Information for file /usr/share/texlive/texmf-dist/scripts/texfot/texfot.pl

Name/usr/share/texlive/texmf-dist/scripts/texfot/texfot.pl
Digest (sha256)d814f989d36e87670cbecb19263ea58ff7d2dda78ebe84315582ff212630d7fb
Size13.85 KB
Modification timeMon, 08 Jun 2020 20:54:01 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMtexlive-texfot-7:20200327-6.1.riscv64.fc33.noarch.rpm