···

       
19
       
 
       
      [ rocq-core.rocq-version ]

     

       
20
       
 
       
      [

     

       
21
       
 
       
        {

     

       
22
       
-
       
          cases = [ (range "9.0" "9.0") ];

     

       
23
       
 
       
          out = "0.3.0";

     

       
24
       
 
       
        }

     

       
25
       
 
       
      ]

     

···

       
19
       
 
       
      [ rocq-core.rocq-version ]

     

       
20
       
 
       
      [

     

       
21
       
 
       
        {

     

       
22
       
+
       
          cases = [ (range "9.0" "9.1") ];

     

       
23
       
 
       
          out = "0.3.0";

     

       
24
       
 
       
        }

     

       
25
       
 
       
      ]