dd44aabe785dbb3b73b1bc1613592b0c7749201eeff49301a257acdb56afb950 *mosektoolsosx64x86.tar.bz2