Information for file /usr/bin/dvitodvi
Name | /usr/bin/dvitodvi |
---|---|
Digest (sha256) | 4647824ed49f58f72002580bc3d205f0030ee0dc1073cc86118cc534e769181c |
Size | 33.13 KB |
Modification time | Wed, 06 Dec 2023 00:00:00 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | texlive-seetexk-11:svn57972-77.1.riscv64.fc40.riscv64.rpm |