06ba7a821a845898983449918f50e0c42c9bc9c6d120d5fd42f2483f91df12ac *mosektoolsosx64x86.tar.bz2