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/20201122/archive.tar.gz
md5=9ad6a5f88aab6ec677b970e0d9de1763
sha512=9174e74cfb2336c5008c7461411ba79190e673d310da99117e363f60782bcf9a4bb26a04f6448cf6f3ed7888aa2b5b04d38c32e6d86594accfaadbbb72528068
StatisticsInstalled 4656 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/menhirSdk/menhirSdk.20201122/opam
Required by