mini-distribution/cross-opt — pull request #3 by kallelampila (2014-07-04 11:54:19+00:00)
Title: fixes sourceforge source urls

Seem that sometimes there some change sourceforge mirrors. so it is best
use url main download site that direct to working mirror.

Signed-off-by: Kalle Lampila