minizincide: 2.8.2 -> 2.8.3
This commit is contained in:
parent
775b2f0fa6
commit
5760460e24
@ -5,13 +5,13 @@ let
|
||||
in
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "minizinc-ide";
|
||||
version = "2.8.2";
|
||||
version = "2.8.3";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "MiniZinc";
|
||||
repo = "MiniZincIDE";
|
||||
rev = version;
|
||||
hash = "sha256-3L/hulNI7e2wE9gMt2h3mS0ubHZ4kcVpwALCmWQtv7A=";
|
||||
hash = "sha256-/x4mWjAk24s6Ax22Q15WUPLLwm7YrzwaoMIINjQr5zU=";
|
||||
fetchSubmodules = true;
|
||||
};
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user