Mon, 02 Dec 2024 21:45:37 UTC | login

Information for file /usr/bin/dtxgen

Name/usr/bin/dtxgen
Digest (sha256)
Size51.00 B
Modification timeSat, 21 Nov 2020 16:45:17 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMtexlive-dtxgen-7:20200327-18.1.riscv64.fc33.noarch.rpm