Information for file /usr/bin/platex-dev
Name | /usr/bin/platex-dev |
---|---|
Digest (sha256) | |
Size | 5.00 B |
Modification time | Sun, 23 Oct 2022 21:08:30 UTC |
User | root |
Group | root |
Mode | lrwxrwxrwx |
Flags | |
RPM | texlive-ptex-9:20210325-52.1.riscv64.fc37.riscv64.rpm |