Information for file /usr/bin/dvitodvi
Name | /usr/bin/dvitodvi |
---|---|
Digest (sha256) | b9fa3a7be9ab8e30d71d9b547923f5601a06d5630419585199833064231cb46e |
Size | 29.34 KB |
Modification time | Mon, 08 Jun 2020 20:56:33 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | texlive-seetexk-7:20200327-6.1.riscv64.fc33.riscv64.rpm |