···

       
13
       
13
       
 
       
  version = "1.0.0-beta6";

     

       
14
       
14
       
 
       


     

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

     

       
16
       
16
       
-
       
  scipVersion = "9.2.2";

     

       
16
       
16
       
+
       
  scipVersion = "9.2.3";

     

       
17
       
17
       
 
       


     

       
18
       
18
       
 
       
  # Take the SCIPOptSuite source since no other source exists publicly.

     

       
19
       
19
       
 
       
  src = fetchzip {