menhirSdkversion
Compile-time library for auxiliary tools related to Menhir
Authors | François Pottier <francois.pottier@inria.fr> and Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr> |
---|---|
License | LGPL-2.0-only WITH OCaml-LGPL-linking-exception |
Published | |
Homepage | http://gitlab.inria.fr/fpottier/menhir |
Issue Tracker | https://gitlab.inria.fr/fpottier/menhir/-/issues |
Maintainer | francois.pottier@inria.fr |
Dependencies | |
Conflicts |
|
Source [http] | https://gitlab.inria.fr/fpottier/menhir/-/archive/20250903/archive.tar.gz md5=5ecb7f71cf374147d3d3137c6e2fe382 sha512=66393a5b9ba49baf65cac10ec85b0da16dfcf8e7cf55ffeb847b9339f310dfe65e2b3e2b33e215de7b074466adc7f0c43234f476f6fd31cab9fb75f71bd8b2ac |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhirSdk/menhirSdk.20250903/opam |
Required by
- cairn
- js_of_ocaml-compiler>=3.10.0
- menhir>=20250903
- merlindev & <4.14-500
- merlin-libdev
- ocamlformat>=0.17.0 & <0.25.1
- ocamlformat-lib
- ocamlformat-mlx-lib
- ocamlformat-rpc<0.21.0
- ocamlmig
- ometrics<0.2.0
- wasm_of_ocaml-compiler