Binary: dfg2tptp

v.db.connect jcuber-config-frontend kttsd superkaramba mk-parallel-dump probe sldtoppm pacat xqodem virt-v2v unber clang-tidy-3.4 e4defrag ecaccess-event-clear.bat efingerd filepp gpiv_imgproc r.contour etf2ly getmesh encapsulate foo2lava-wrapper nit pysnmpset task_manager_pyscientific mount.s3ql ccache-swig3.0 tsserve urlwatch src2def