Geoffrey Oxberry 3025f9d303 ipopt 3.12.7 (#4490) ... * ipopt: update version to 3.12.7 * ipopt: add +coinhsl option * ipopt: add +metis option		2017-06-13 18:09:12 -07:00
..
spack	ipopt 3.12.7 (#4490)	2017-06-13 18:09:12 -07:00