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> |
|---|---|
| Published | |
| Homepage | http://gitlab.inria.fr/fpottier/menhir |
| Issue Tracker | menhir@inria.fr |
| Maintainer | francois.pottier@inria.fr |
| Dependencies | |
| Conflicts |
|
| Source [http] | https://gitlab.inria.fr/fpottier/menhir/-/archive/20210310/archive.tar.gz md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhirSdk/menhirSdk.20210310/opam |
Required by
- cairn
- js_of_ocaml-compiler>=3.10.0
- menhir=20210310
- merlindev & (>=3.5.0 & <4.6-414 | >=4.7-412 & <4.7-414)
- merlin-libdev
- ocamlformat>=0.17.0 & <0.25.1
- ocamlformat-lib
- ocamlformat-rpc<0.21.0
- ometrics<0.2.0
