···

       
56
       
56
       
 
       
bug-reports: "mailto:binsec@saxifrage.saclay.cea.fr"

     

       
57
       
57
       
 
       
depends: [

     

       
58
       
58
       
 
       
  "dune" {>= "3.0"}

     

       
59
       
59
       
-
       
  "ocaml" {>= "4.13"}

     

       
59
       
59
       
+
       
  "ocaml" {>= "4.13" & < "5"}

     

       
60
       
60
       
 
       
  "menhir" {build & >= "20181113"}

     

       
61
       
61
       
 
       
  "ocamlgraph" {>= "1.8.5"}

     

       
62
       
62
       
 
       
  "zarith" {>= "1.4"}