anil.recoil.org / opam-repository
this repo has no description
fork atom

kind2.1.5.0 is not compatible with -strict-formats

Kate a9222375 972b5a39

options
unified split
Changed files
+1 -1
packages
kind2
kind2.1.5.0
opam
+1 -1
packages/kind2/kind2.1.5.0/opam 
···

       
15

       
 

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


     

       
16

       
 

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


     

       
17

       
 

       
depends: [


     

       
18

       
-

       
  "ocaml" {>= "4.09"}


     

       
19

       
 

       
  "dune" {>= "2.7"}


     

       
20

       
 

       
  "dune-build-info"


     

       
21

       
 

       
  "menhir" {< "20211215"}


     
···

       
15

       
 

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


     

       
16

       
 

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


     

       
17

       
 

       
depends: [


     

       
18

       
+

       
  "ocaml" {>= "4.09" & < "5.1"}


     

       
19

       
 

       
  "dune" {>= "2.7"}


     

       
20

       
 

       
  "dune-build-info"


     

       
21

       
 

       
  "menhir" {< "20211215"}