Binary: dfg2tptp

xbm2pla dirmngr kdesu_stub cvsforwardport ntfsdump_logfile glsl-getactiveuniform-array-size glsl-vs-if-bool glx-create-context-default-major-version unpigz moc supybot-test bosixnet_daemon c++decl scot enfuse fastx_quality_stats fdmount gtags jgit x86_64-linux-gnu-python3.4-config templates2ada lrsfourier mia-2deval-transformquantity mincgen install-xpi t1c2pfb gout texdoctk tidy-proxy zpool