Binary: minisat

certmaster cube r.mode kni_keycontrol puzzle-diff mk-query-profiler picprog ext_framebuffer_multisample-alpha-to-coverage-dual-src-blend tex-border-1 qmlviewer-qt5 qrun caja-file-management-properties chasen makeuucpneighbors ecaccess-association-list gr_plot_char tca_correct ipescript marc2dc mojomojo_server.pl polarssl_pk_encrypt binhex exact-tandems nxt_server ramaze s5 sdas6808 swfrender checkmol xbmc