Binary: ptex2tex

tile-linux-gnu-addr2line chemtool dpkg-genchanges man5x gdal-config-32 iprop-log jabber-roster kdontchangethehostname dbcolsplittocols glx-tfp hiz-stencil-test-window-depth0 sg_rmsn strace xmonad-start moka printcal blogilo darktable-viewer hmmc2 gdcminfo orte_wrapper_script med-rehabilitation mhc2palm upnpc xsp4 serve_image photo-upload trim_sff_primers.py ql-dynamic-tgt-lun-disc sponsor-patch