···

       
11
       
11
       
 
       
depends: [

     

       
12
       
12
       
 
       
  "dune" {>= "3.16"}

     

       
13
       
13
       
 
       
  "catt"

     

       
14
       
14
       
-
       
  "coq" {>= "8.20"}

     

       
14
       
14
       
+
       
  "coq" {>= "8.20" & < "9.0"}

     

       
15
       
15
       
 
       
  "odoc" {with-doc}

     

       
16
       
16
       
 
       
]

     

       
17
       
17
       
 
       
build: [

     

···

       
39
       
39
       
 
       


     

       
40
       
40
       
 
       
depends: [

     

       
41
       
41
       
 
       
  "conf-autoconf" {build & dev}

     

       
42
       
42
       
-
       
  "coq" {>= "8.16"}

     

       
42
       
42
       
+
       
  "coq" {>= "8.16" & < "9.0"}

     

       
43
       
43
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
44
       
44
       
 
       
  "ocamlfind" {build}

     

       
45
       
45
       
 
       
  "why3" {= version}