Information for file /usr/share/texlive/texmf-dist/scripts/texdef/texdef.pl
| Name | /usr/share/texlive/texmf-dist/scripts/texdef/texdef.pl |
|---|---|
| Digest (sha256) | a214bca95f73d3fb24b55f1e1839e072e2850599fe505714db841fb3bb714918 |
| Size | 32.26 KB |
| Modification time | Mon, 08 Jun 2026 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | texlive-texdef-12:svn74067-112.fc45.noarch.rpm |
