···

       
36
       
36
       
 
       
depends: [

     

       
37
       
37
       
 
       
  "dune" {>= "3.7"}

     

       
38
       
38
       
 
       
  "ocaml" {>= "4.14"}

     

       
39
       
39
       
-
       
  "goblint-cil" {>= "2.0.4"}

     

       
39
       
39
       
+
       
  "goblint-cil" {>= "2.0.4" & < "2.0.5"}

     

       
40
       
40
       
 
       
  "batteries" {>= "3.5.1"}

     

       
41
       
41
       
 
       
  "zarith" {>= "1.10"}

     

       
42
       
42
       
 
       
  "yojson" {>= "2.0.0"}