Thu, 12 Dec 2024 10:17:13 UTC | login

Information for file /usr/bin/dvitomp

Name/usr/bin/dvitomp
Digest (sha256)
Size5.00 B
Modification timeFri, 17 Jan 2020 22:21:20 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMtexlive-metapost-7:20190410-7.0.riscv64.fc32.riscv64.rpm