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/repository/20201214/archive.tar.gz
md5=888ae1ae315c82ca8d56bc115cfa40c2
sha512=e91077407c97ea9dadec533c78c3caf970d63a7504277367d985c469c51970ab9084eafe9332a91eccb378af86606d2d30da789db92e5cc99aaaf1458c200c92
StatisticsInstalled 3386 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/menhirSdk/menhirSdk.20201214/opam
Required by