Binary: dfg2tptp

BackupPC_dump lppasswd kaddprinterwizard mpitests-osu_scatter tdevice tpm_sealdata schema-reload actionaz aevol_misc_view_generation arm-linux-gnueabihf-objdump ranlib Configurator.java bleachbit dh_configpackage cowpoke gendarme git-remote-bzr hxcount heimdal-history stag-drawtree jconv postfix-to-mailman.py mcxi lpsxsim pavucontrol serve-biom gmtst-int64 screenlets-packager pdfmex runzope