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/20210310/archive.tar.gz
md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a
sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f
StatisticsInstalled 938 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/menhirSdk/menhirSdk.20210310/opam
Required by