Binary: ptex2tex

graver conf2ael avr32-linux-gnu-ranlib kxterm ppdhtml euare-instanceprofileremoverole glib-gettextize globus-job-status hal-set-property x86_64-w64-mingw32-objdump modclusterd myproxy-change-pass-phrase arb_internalformat_query-minmax arb_transform_feedback3-draw_using_invalid_stream_index scotch_amk_hy varnishtop acr cvs-debc freebsd-mkdep germinate-pkg-diff git-pull-request jalv wakeup-latency-report fpick monav mxallowd neutron-debug xrandr_cycle movie-compare-dvd imsmooth