Wed, 11 Dec 2024 18:23:46 UTC | login

Information for file /usr/bin/dtxgen

Name/usr/bin/dtxgen
Digest (sha256)
Size51.00 B
Modification timeSun, 22 Nov 2020 10:24:18 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMtexlive-dtxgen-7:20200327-18.4.riscv64.fc33.noarch.rpm