Binary: dfg2tptp

amcleanup jigloo.class ceph_streamtest runrc.cmd euca-modify-vpc-attribute avr32-linux-gnu-cpp i.photo.rectify vboxputty lvmdiskscan pbmtopsg3 pptp-portslave sqlalchemy-migrate-repository syncqt.pl rpmargs vala-gen-introspect aranym-jit fillRSA dtc-xen_migrate maskambignuc fio2gnuplot frama-c-gui freefoam-interDyM freefoam-moveDynamicMesh gitview gnunet-directory mypaint fmttest pt-fk-error-logger shared_phylotypes.py ufiformat