···

       
10
       
10
       
 
       
doc: "https://kind.cs.uiowa.edu/kind2_user_doc"

     

       
11
       
11
       
 
       
bug-reports: "https://github.com/kind2-mc/kind2/issues"

     

       
12
       
12
       
 
       
depends: [

     

       
13
       
13
       
-
       
  "ocaml" {>= "4.07"}

     

       
13
       
13
       
+
       
  "ocaml" {>= "4.07" & < "5.0"}

     

       
14
       
14
       
 
       
  "dune" {>= "2.0"}

     

       
15
       
15
       
 
       
  "dune-build-info"

     

       
16
       
16
       
 
       
  "menhir" {< "20211215"}

     

···

       
10
       
10
       
 
       
doc: "https://kind.cs.uiowa.edu/kind2_user_doc"

     

       
11
       
11
       
 
       
bug-reports: "https://github.com/kind2-mc/kind2/issues"

     

       
12
       
12
       
 
       
depends: [

     

       
13
       
13
       
-
       
  "ocaml" {>= "4.07"}

     

       
13
       
13
       
+
       
  "ocaml" {>= "4.07" & < "5.0"}

     

       
14
       
14
       
 
       
  "dune" {>= "2.0"}

     

       
15
       
15
       
 
       
  "dune-build-info"

     

       
16
       
16
       
 
       
  "menhir" {< "20211215"}

     

···

       
15
       
15
       
 
       
doc: "https://kind.cs.uiowa.edu/kind2_user_doc"

     

       
16
       
16
       
 
       
bug-reports: "https://github.com/kind2-mc/kind2/issues"

     

       
17
       
17
       
 
       
depends: [

     

       
18
       
18
       
-
       
  "ocaml" {>= "4.07"}

     

       
18
       
18
       
+
       
  "ocaml" {>= "4.07" & < "5.0"}

     

       
19
       
19
       
 
       
  "dune" {>= "2.0"}

     

       
20
       
20
       
 
       
  "dune-build-info"

     

       
21
       
21
       
 
       
  "menhir" {< "20211215"}