Sun, 08 Nov 2026 12:33:02 UTC Log in

/usr/bin/platex-dev

6.00 B lrwxrwxrwx

RPM 2067

File

Name: /usr/bin/platex-dev
Digest (sha256)
Size: 6.00 B
Modification time: Mon, 08 Jun 2026 00:00:00 UTC
Flags: none
RPM: texlive-ptex-12:svn77830-112.fc45.riscv64.rpm