Binary: dfg2tptp

ld.bfd dtestcm dpkg-shlibdeps r.li.mps kquitapp solid-powermanagement neotoppm nex scissor-stencil-clear vxi11-cli-2.6 sss_userdel xmodmap xpaint upgradedb ed bacula-console-qt check_postgres_new_version_cp ciderwebmail_cgi.pl cinnamon-sound-applet featcopy i686-w64-mingw32-gnatfind-win32 gpiv_piv2vec nvassemble notangle sweepgen tcptrace teem-tend nikon-curve setwimsd ZamCompX2