Sat, 15 Jun 2024 22:41:46 UTC | login

Information for file /usr/bin/dtxgen

Name/usr/bin/dtxgen
Digest (sha256)
Size51.00 B
Modification timeSat, 18 Jan 2020 11:05:43 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMtexlive-dtxgen-7:20190410-8.0.riscv64.fc32.noarch.rpm