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 |
| Size | 13.85 KB |
| Modification time | Sat, 21 Nov 2020 16:48:05 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | texlive-texfot-7:20200327-18.1.riscv64.fc33.noarch.rpm |
