menhirSdkversion

Compile-time library for auxiliary tools related to Menhir

AuthorsFrançois Pottier <francois.pottier@inria.fr> and Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
Published
Homepagehttp://gitlab.inria.fr/fpottier/menhir
Issue Trackermenhir@inria.fr
Maintainerfrancois.pottier@inria.fr
Dependencies
Conflicts
Source [http] https://gitlab.inria.fr/fpottier/menhir/-/archive/20200612/archive.tar.gz
md5=eb1c13439a00195ee01e4a2e83b3e991
sha512=c94ddc2b2d8b9f5d05d8493a3ccd4a32e4512c3bd19ac8948905eb64bb6f2fd9e236344d2baf3d2ebae379d08d5169c99aa5e721c65926127e22ea283eba6167
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/menhirSdk/menhirSdk.20200612/opam
Required by