a6862954137493b74f55c0f2745b7f1672e602cfe9cd8974a95feaf9993f06bf *mosektoolslinux64x86.tar.bz2