Binary: dfg2tptp

GraphicsMagick++-config r.slope.aspect v.class matchbox-window-manager mnemo-convert-to-utf8 pyrsa-decrypt-bigfile-2 sial mount.aufs ld.gold asc2log cvschroot drtext fastaq_interleave gcj hamexam i3-sensible-editor lamclean lava-tool linkextractor lprng_index_certs mate-gsettings-toggle nat-traverse qpdldecode guidata-tests qt-qconf datemail rings3d shinken-discovery tomcat-juli.jar FeatureFinderRaw