Merge pull request #6388 from nathanielbaxter/dev/gecode

gecode: update from 4.3.0 to 4.3.3
This commit is contained in:
vbgl 2015-02-17 11:05:53 +01:00
commit 82312e3b7b
1 changed files with 2 additions and 2 deletions

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "gecode-${version}"; name = "gecode-${version}";
version = "4.3.0"; version = "4.3.3";
src = fetchurl { src = fetchurl {
url = "http://www.gecode.org/download/${name}.tar.gz"; url = "http://www.gecode.org/download/${name}.tar.gz";
sha256 = "18a1nd6sxqqh05hd9zwcgq9qhqrr6hi0nbzpwpay1flkv5gvg2d7"; sha256 = "1nxcv32pqmf7fsdpa8zp482i8a1nhrfppqaimymcxvxjgxzmpj1i";
}; };
buildInputs = [ perl ]; buildInputs = [ perl ];