···

       
9
       
9
       
 
       
depends: [

     

       
10
       
10
       
 
       
  "dune" {>= "2.0"}

     

       
11
       
11
       
 
       
  "ocaml" {>= "4.08"}

     

       
12
       
12
       
-
       
  "z3"

     

       
12
       
12
       
+
       
  "z3" {>= "4.8.1"}

     

       
13
       
13
       
 
       
  "tezt" {with-test & >= "2.0"}

     

       
14
       
14
       
 
       
  "dedukti" {= version}

     

       
15
       
15
       
 
       
]