b2553425d4bbe347936aee05fe83436fb6c0fbf13fc674febdd097b0b28999cc *mosektoolsosx64x86.tar.bz2