ad604f520f495c401a3132b52dc5884cef8086b402ad048d867b19842104279c *mosektoolsosx64x86.tar.bz2