545c37d1f817f993b0edc959194170bd5892d4465b19a935dfe014b93592c42c *mosektoolsosx64x86.tar.bz2