diff options
author | R. RyanTM <ryantm-bot@ryantm.com> | 2019-03-02 00:25:31 -0800 |
---|---|---|
committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2019-03-03 20:48:18 +0100 |
commit | 56e1fa2ad41a93697bee2f03f909283ae40b2a37 (patch) | |
tree | 73dfbb37426ace699490da64fdec89dcde2e6f3c /pkgs/development/libraries/gecode | |
parent | 37182b20a624c0021358049b5c64431414adffbb (diff) |
gecode: 6.1.0 -> 6.1.1
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/gecode/versions
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 2d5556b350219..22e159d821a09 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.0"; + version = "6.1.1"; src = fetchFromGitHub { owner = "Gecode"; repo = "gecode"; rev = "release-${version}"; - sha256 = "1ijjy8ppx7djnkrkawsd00rmlf24qh1z13aap0h1azailw1pbrg4"; + sha256 = "07jyx17qsfx3wmd2zlcs0rxax8h3cs2g9aapxkdjdcsmfxsldqb7"; }; enableParallelBuilding = true; |