5d5824d8df65895e4b83454e1063f1ebf22b0fc2c40accf256112543d5cc6bf2 *mosektoolslinuxaarch64.tar.bz2