···

       
15
       
15
       
 
       


     

       
16
       
16
       
 
       
stdenv.mkDerivation (finalAttrs: {

     

       
17
       
17
       
 
       
  pname = "minizinc";

     

       
18
       
18
       
-
       
  version = "2.8.7";

     

       
18
       
18
       
+
       
  version = "2.9.0";

     

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
  src = fetchFromGitHub {

     

       
21
       
21
       
 
       
    owner = "MiniZinc";

     

       
22
       
22
       
 
       
    repo = "libminizinc";

     

       
23
       
23
       
 
       
    rev = finalAttrs.version;

     

       
24
       
24
       
-
       
    sha256 = "sha256-2JCTOgnzGeh106YBkLPM46MgnB4XHZmdMXNn1P0OBqA=";

     

       
24
       
24
       
+
       
    sha256 = "sha256-uRSAlt72+kiqJeNcJ3aI5I3Jd4EJMfAq4IlO5+TntZk=";

     

       
25
       
25
       
 
       
  };

     

       
26
       
26
       
 
       


     

       
27
       
27
       
 
       
  nativeBuildInputs = [