Binary: tptp2dfg

Debian packages that has this binary:

Package: spass

/usr/bin/tptp2dfg

Random binary cloud:

pwdhash-bin ld dgsop ecryptfs-insert-wrapped-passphrase-into-keyring glogg icon-slicer ipmaddr pmfunc razor-report dlist-fdo3129-02 query.wsgi x2goshowblocks xmag dn2rdn 4g8 mftext aws gnupod_search jgit marco-theme-viewer crlupdate import_tracks vldb_check poc-2250 qemu-system-aarch64 memcacheSync.php tempest_for_mp3 debugvmfs vbhdr ftff