commit 22822b1b9516890afac9dd74b7f2dd4504b4750e · pyrox.dev/nixpkgs

+2 -2

pkgs/development/tools/minizinc/ide.nix

···

       21
        
       in

     

       22
        
       stdenv.mkDerivation rec {

     

       23
        
         pname = "minizinc-ide";

     

       24
       -
         version = "2.9.3";

     

       25
        
       

     

       26
        
         src = fetchFromGitHub {

     

       27
        
           owner = "MiniZinc";

     

       28
        
           repo = "MiniZincIDE";

     

       29
        
           rev = version;

     

       30
       -
           hash = "sha256-wYS46keOPPQLs0fFeSeb2wz+VX6A1UUGjiGzHZhPxVk=";

     

       31
        
           fetchSubmodules = true;

     

       32
        
         };

     

       33

···

       21
        
       in

     

       22
        
       stdenv.mkDerivation rec {

     

       23
        
         pname = "minizinc-ide";

     

       24
       +
         version = "2.9.4";

     

       25
        
       

     

       26
        
         src = fetchFromGitHub {

     

       27
        
           owner = "MiniZinc";

     

       28
        
           repo = "MiniZincIDE";

     

       29
        
           rev = version;

     

       30
       +
           hash = "sha256-ZESd83aqXr4vxEt9PvgarnELPi9BaEf68IUALYaTfzI=";

     

       31
        
           fetchSubmodules = true;

     

       32
        
         };

     

       33