cudaMiner 2013-12-18 erschienen