Binary: ptex2tex

bfin-linux-gnu-readelf euwatch-describe-alarms grib_copy jack_bufsize kfontinst mail-touchlock pvdisplay picosat.trace gl-2.0-edgeflag ripmime ldiff xfmountdev4 objdump camlp5r.opt cdfstats dacslist drbl-rm-user drbl-syslinux-netinstall fts hvol lives_avi_encoder3 lsh-make-seed pcl_openni_mobile_server dropdb designate swift maildir2mbox racc2y rpld-import zita-j2n