42392f68c83a23f805662158114c2ac94da5df06979d4f35e0b279b28025a7ee *mosektoolsosx64x86.tar.bz2