
* ipopt: use url_for_version to handle different urls for 3.13.4 onwards * ipopt: new versions: 3.14.1, 3.14.2, 3.14.3, 3.14.4 * fix indent
* ipopt: use url_for_version to handle different urls for 3.13.4 onwards * ipopt: new versions: 3.14.1, 3.14.2, 3.14.3, 3.14.4 * fix indent