minizincide: 2.8.6 -> 2.8.7 (#352457)

2024-11-06 09:18:51 -05:00
parent 6c0890c6e7 603e07da41
commit 1df6505d13
1 changed files with 2 additions and 2 deletions
@@ -5,13 +5,13 @@ let
 in
 stdenv.mkDerivation rec {
  pname = "minizinc-ide";
-  version = "2.8.6";
+  version = "2.8.7";

  src = fetchFromGitHub {
    owner = "MiniZinc";
    repo = "MiniZincIDE";
    rev = version;
-    hash = "sha256-B164KCY06SQRxv4eD9yuCKyGRRrMZfJRuaQ+OEmQC5k=";
+    hash = "sha256-mlLW7RHwO+VHWJdKhDjIWYoRpdTrt7QpPKp0EiHGkEs=";
    fetchSubmodules = true;
  };