Links for casadi
casadi-3.7.2.tar.gz