Binary: ptex2tex

clang-tblgen darcs umount.davfs dfbinfo grib_ls dcraw_emu mpicc ppmtojpeg hpiinv restorefont uux handler.py ceph_test_rados_api_aio clang-3.4 exifcom frama-c-gui gshhg gnome-disk-image-mounter grub-mkfont mia-raw2image removeSbeFromMipe mpg123-strip network-config osgposter module_resource odf2mht steadymark snarf umockdev-wrapper unburden-home-dir