Mosek-src not found, no such repository #89
Description
After making relevant changes in Cmakelist for the eigen library, make gets stuck at mosek git clone and after searching for this repo, it's seems that this repo has been removed. What to do now?