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/20250912/archive.tar.gz md5=b8f83df02226419f99e49f1b637dcb11 sha512=72c85ec63104d6a7c7b6305b4642b86909fcad2e46561427ad596e37e686b3c94cd382da440f058d32800a15b157b80a8242df8043440a209ba73d209657ea84 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhirSdk/menhirSdk.20250912/opam |
Required by
- cairn
- js_of_ocaml-compiler>=3.10.0
- menhir>=20250912
- 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
