menhirSdk

Compile-time library for auxiliary tools related to Menhir
Description
Install
Published
10 Feb 2022
Sources
archive.tar.gz
md5=e3cef220f676c4b1c16cbccb174cefe3
sha512=3063fec1d8b9fe092c8461b0689d426c7fe381a2bf3fd258dc42ceecca1719d32efbb8a18d94ada5555c38175ea352da3adbb239fdbcbcf52c3a5c85a4d9586f
Dependencies
dune
>= "2.8.0"
ocaml
>= "4.03.0"
Reverse Dependencies
menhir
>= "20220210"
merlin
>= "3.5.0" & < "4.6-414"
ocamlformat
>= "0.17.0"
ometrics
< "0.2.0"