Binary: dfg2tptp

Debian packages that has this binary:

Package: spass

/usr/bin/dfg2tptp

Random binary cloud:

s390x-linux-gnu-strip byobu-tmux torero mkfs.ext4dev d.save dasdcat translate tvtk_doc soapsuds mpif77 glsl-fs-texturecube-2 tap2deb unit2 newgem.tt chkstow csv2po xwininfo xvile-to-html ls coqtop.byte dictfmt update-distcc-symlinks rebaseextract dteval.o gnupod_INIT muse pytest3 openstack-generate-pot pysnmptrap texifyc