5ca4d7b37b862a80ad32ac6c1822d0bbd968202d22a3874e94b31c50e77f3249 *mosektoolsosx64x86.tar.bz2