b0c93546314009a21b8eaf3443aa4f3ec8878abd55caca4406aa176c380615ab *mosektoolsosx64x86.tar.bz2