diff options
author | Renaud <c0bw3b@users.noreply.github.com> | 2019-04-24 20:42:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-24 20:42:59 +0200 |
commit | 59660bb4764b8a94f62d49158f56d9e6ad5eb7e1 (patch) | |
tree | 96654a0c937c6c652312bd8a3cb122a153165020 /pkgs/development/libraries/gecode | |
parent | 9f26d537e8e8f184e39ab6d4d1cc81e47ff32b0d (diff) | |
parent | f901019706ef7721def1950706d3ea5c72a16b61 (diff) | |
download | nixlib-59660bb4764b8a94f62d49158f56d9e6ad5eb7e1.tar nixlib-59660bb4764b8a94f62d49158f56d9e6ad5eb7e1.tar.gz nixlib-59660bb4764b8a94f62d49158f56d9e6ad5eb7e1.tar.bz2 nixlib-59660bb4764b8a94f62d49158f56d9e6ad5eb7e1.tar.lz nixlib-59660bb4764b8a94f62d49158f56d9e6ad5eb7e1.tar.xz nixlib-59660bb4764b8a94f62d49158f56d9e6ad5eb7e1.tar.zst nixlib-59660bb4764b8a94f62d49158f56d9e6ad5eb7e1.zip |
Merge pull request #59510 from r-ryantm/auto-update/gecode
gecode: 6.1.1 -> 6.2.0
Diffstat (limited to 'pkgs/development/libraries/gecode')
-rw-r--r-- | pkgs/development/libraries/gecode/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/gecode/default.nix b/pkgs/development/libraries/gecode/default.nix index af47ccd358b0..9a6b5d9cf273 100644 --- a/pkgs/development/libraries/gecode/default.nix +++ b/pkgs/development/libraries/gecode/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { name = "gecode-${version}"; - version = "6.1.1"; + version = "6.2.0"; src = fetchFromGitHub { owner = "Gecode"; repo = "gecode"; rev = "release-${version}"; - sha256 = "07jyx17qsfx3wmd2zlcs0rxax8h3cs2g9aapxkdjdcsmfxsldqb7"; + sha256 = "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk"; }; enableParallelBuilding = true; |