···

       
31
       
 
       
    defaultVersion = lib.switch rocq-core.rocq-version [

     

       
32
       
 
       
      {

     

       
33
       
 
       
        case = "9.0";

     

       
34
       
-
       
        out = "2.5.1";

     

       
35
       
 
       
      }

     

       
36
       
 
       
    ] null;

     

       
37
       
-
       
    release."2.5.1".sha256 = "sha256-vw18iPPoI44tM8C05Wj4YvFAi1jjfyjZ90dbxX4NgQM=";

     

       
38
       
 
       
    releaseRev = v: "v${v}";

     

       
39
       
 
       


     

       
40
       
 
       
    mlPlugin = true;

     

···

       
31
       
 
       
    defaultVersion = lib.switch rocq-core.rocq-version [

     

       
32
       
 
       
      {

     

       
33
       
 
       
        case = "9.0";

     

       
34
       
+
       
        out = "2.5.2";

     

       
35
       
 
       
      }

     

       
36
       
 
       
    ] null;

     

       
37
       
+
       
    release."2.5.2".sha256 = "sha256-lLzjPrbVB3rrqox528YiheUb0u89R84Xmrgkn0oplOs=";

     

       
38
       
 
       
    releaseRev = v: "v${v}";

     

       
39
       
 
       


     

       
40
       
 
       
    mlPlugin = true;