Tue, 25 Jun 2024 20:37:15 UTC | login

Information for file /usr/bin/texdef

Name/usr/bin/texdef
Digest (sha256)
Size54.00 B
Modification timeSat, 10 Mar 2018 16:15:38 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMtexlive-texdef-bin-6:svn21802.0-42.20160520.0.riscv64.fc28.noarch.rpm