diff options
author | ndowens <ndowens04@gmail.com> | 2017-03-12 16:21:13 -0500 |
---|---|---|
committer | ndowens <ndowens04@gmail.com> | 2017-03-12 16:21:13 -0500 |
commit | d80cb1b08019ed5f93ae45a0a5fb27577d433323 (patch) | |
tree | c40e1c042608bfb5fa28eae48b29fe4e97a5d8f6 /pkgs/development/libraries/gecode | |
parent | 45cfd3969ae954da8b7f804df6e9ec2833c5eb7f (diff) | |
download | nixpkgs-d80cb1b08019ed5f93ae45a0a5fb27577d433323.tar nixpkgs-d80cb1b08019ed5f93ae45a0a5fb27577d433323.tar.gz nixpkgs-d80cb1b08019ed5f93ae45a0a5fb27577d433323.tar.bz2 nixpkgs-d80cb1b08019ed5f93ae45a0a5fb27577d433323.tar.lz nixpkgs-d80cb1b08019ed5f93ae45a0a5fb27577d433323.tar.xz nixpkgs-d80cb1b08019ed5f93ae45a0a5fb27577d433323.tar.zst nixpkgs-d80cb1b08019ed5f93ae45a0a5fb27577d433323.zip |
gecode: 4.4.0 -> 5.0.0
Diffstat (limited to 'pkgs/development/libraries/gecode')
-rw-r--r-- | pkgs/development/libraries/gecode/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/libraries/gecode/default.nix b/pkgs/development/libraries/gecode/default.nix index ee7b12de502..5d683de404d 100644 --- a/pkgs/development/libraries/gecode/default.nix +++ b/pkgs/development/libraries/gecode/default.nix @@ -2,13 +2,14 @@ stdenv.mkDerivation rec { name = "gecode-${version}"; - version = "4.4.0"; + version = "5.0.0"; src = fetchurl { url = "http://www.gecode.org/download/${name}.tar.gz"; - sha256 = "0akqjzy6pd229mn0lhpdbyc4wbazhprkd5ijqs99z68bj3b9h0s3"; + sha256 = "0yz7m4msp7g2jzsn216q74d9n7rv6qh8abcv0jdc1n7y2nhjzzzl"; }; + enableParallelBuilding = true; buildInputs = [ perl ]; meta = with stdenv.lib; { |