Raffael Mancini 3878472f02 ipopt: fix build after minor gcc update (close #5519) ... The configure script only checks for a specific version to enable a fix in finding cstdlib and cstring.		2015-01-01 11:12:19 +01:00
..
default.nix	…