c27df69f27789b321aa16b1c34283193f2e4e2c7828d1878063945cbcfd9b9ef *mosektoolsosx64x86.tar.bz2