···

       
14
       
14
       
 
       
  version = "362";

     

       
15
       
15
       
 
       


     

       
16
       
16
       
 
       
  # To correlate scipVersion and version, check: https://scipopt.org/#news

     

       
17
       
17
       
-
       
  scipVersion = "9.2.2";

     

       
17
       
17
       
+
       
  scipVersion = "9.2.3";

     

       
18
       
18
       
 
       


     

       
19
       
19
       
 
       
  src = fetchFromGitHub {

     

       
20
       
20
       
 
       
    owner = "scipopt";