Wed, 11 Dec 2024 17:50:26 UTC | login

Information for file /usr/bin/dvitodvi

Name/usr/bin/dvitodvi
Digest (sha256)7178a2efe0149bf1fb4f15ea3c182d623ced88e08ebe3fdaf02664d36de9f366
Size30.88 KB
Modification timeFri, 24 Aug 2018 13:30:09 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMtexlive-seetexk-7:20180414-19.0.riscv64.fc29.riscv64.rpm