minisat-debian
maven
maven2
32bit-fix
