···

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "dune" {>= "3.6"}

     

       
22
       
22
       
 
       
  "ocaml" {>= "4.10"}

     

       
23
       
23
       
-
       
  "goblint-cil" {>= "2.0.2"}

     

       
23
       
23
       
+
       
  "goblint-cil" {>= "2.0.2" & < "2.0.4"}

     

       
24
       
24
       
 
       
  "batteries" {>= "3.5.0"}

     

       
25
       
25
       
 
       
  "zarith" {>= "1.8"}

     

       
26
       
26
       
 
       
  "yojson" {>= "2.0.0"}

     

···

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "dune" {>= "3.7"}

     

       
22
       
22
       
 
       
  "ocaml" {>= "4.10"}

     

       
23
       
23
       
-
       
  "goblint-cil" {>= "2.0.3"}

     

       
23
       
23
       
+
       
  "goblint-cil" {>= "2.0.3" & < "2.0.4"}

     

       
24
       
24
       
 
       
  "batteries" {>= "3.5.0"}

     

       
25
       
25
       
 
       
  "zarith" {>= "1.8"}

     

       
26
       
26
       
 
       
  "yojson" {>= "2.0.0"}