Thu, 12 Dec 2024 09:59:48 UTC | login

Information for file /usr/bin/platex-dev

Name/usr/bin/platex-dev
Digest (sha256)
Size5.00 B
Modification timeSun, 22 Nov 2020 10:24:19 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMtexlive-ptex-7:20200327-18.4.riscv64.fc33.riscv64.rpm