ipopt: update

This commit is contained in:
Nikolay Amiantov 2015-03-29 05:03:10 +03:00
parent aa652e09d2
commit d5d8efa0b8

View File

@ -1,12 +1,12 @@
{ stdenv, fetchurl, unzip, blas, liblapack, gfortran }: { stdenv, fetchurl, unzip, blas, liblapack, gfortran }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "3.12.0"; version = "3.12.1";
name = "ipopt-${version}"; name = "ipopt-${version}";
src = fetchurl { src = fetchurl {
url = "http://www.coin-or.org/download/source/Ipopt/Ipopt-${version}.zip"; url = "http://www.coin-or.org/download/source/Ipopt/Ipopt-${version}.zip";
sha256 = "18p1ad64mpliba1hf6jkyyrd0srxsqivwbcnbrr09jfpn4jn4bbr"; sha256 = "0x0wcc21d2bfs3zq8nvhva1nv7xi86wjbyixvvxvcrg2kqjlybdy";
}; };
preConfigure = '' preConfigure = ''