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/20201201/archive.tar.gz
md5=ca1047954bfe8c857425dc67eee46272
sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/menhirSdk/menhirSdk.20201201/opam
Required by