Binary: platex-pl

signset-editor imvirt gcj-dbtool idevicebackup pmi_proxy nacl-sha256 nawk pmlogmv pdfflip sginfo Xorg drumstick-dumpwrk e2mv erlc impwagent cdr2xhtml polarssl_dh_server setup lybniz perceptualdiff plait nova quot sbcast tau_treemerge.pl texifyidl ttserver SpectraFilterSqrtMower wmressel zapping