a24b52fdb30a21e60b80b895fe0d775c5ef9037514bbafe457364ce4cc214af8 *mosektoolslinux64x86.tar.bz2