3b5bea66078449dac58f42c8690e4ab5d637c0a77d2e02151cb97b9c1c008b87 *mosektoolsosx64x86.tar.bz2