Binary: ptex2tex

powerpc64-linux-gnu-c++filt e2undo gcjh gc makekdewidgets4 solv hiz-stencil-read-window-depth0 pq2-ls system-config-printer reload xpr ltsp-arch-debian-edu fwb_ipf makepattern i686-w64-mingw32-gnat-win32 r.quantile kismet ldaprenameuser universal ltrsift nfctool treedist pyspread fix_arb_fasta.py insegt tucd tos-decode-flid TMTAnalyzer vbinterpolate yahoo2mbox