Binary: minisat+

ack mergelocales.py autotrace fedora-review orbit-name-server pear-dh-compile-translationfile arb_sample_shading-api qcollectiongenerator sugar-settings-manager read ccd2iso deja-dup-preferences ewfmount gm_ctl_client horst opj_jpip_transcode rmf microdc2 otrs.CheckSum.pl pcp_promote_node pike7.8 x86_64-pc-linux-gnu-pkg-config powstatd pydhcp quitcount ruby_parse rep_sep atk6-toobig6 PILISIdentification unicoverage