Commit c846f1d0 authored by R. RyanTM's avatar R. RyanTM
Browse files

minizincide: 2.8.5 -> 2.8.6

parent e09e0b5a

pkgs/development/tools/minizinc/ide.nix

+2 −2
Original line number Diff line number Diff line
@@ -5,13 +5,13 @@ let 
in

stdenv.mkDerivation rec {

  pname = "minizinc-ide";

  version = "2.8.5";

  version = "2.8.6";



  src = fetchFromGitHub {

    owner = "MiniZinc";

    repo = "MiniZincIDE";

    rev = version;

    hash = "sha256-rE3Mq2lEcO5s4S8RMW7mQyp04gYwKW+e8cWnWqfVq9E=";

    hash = "sha256-B164KCY06SQRxv4eD9yuCKyGRRrMZfJRuaQ+OEmQC5k=";

    fetchSubmodules = true;

  };