gecode: update from 4.3.0 to 4.3.3

This commit is contained in:
Nathaniel Baxter 2015-02-15 21:22:08 +11:00
parent aeb0db3def
commit b19da5ba23

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