Binary: ptex2tex

true sh64-linux-gnu-gcc gpvo mmroff h5repart gsstool hp-doctor krunner rpmmd2solv stylus arb_clear_buffer_object-zero-size rpmargs sg stap-prep acl2 adt-buildvm-ubuntu-cloud bareos-tray-monitor btmaketorrentgui cdfstdevw clit divxcomp ramp.itt gcj-wrapper-4.9 lie lxc-test-cgpath rmic parcimonie-torified-gpg whups-convert-to-utf8 odf2xhtml timbl