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/20201201/archive.tar.gz md5=ca1047954bfe8c857425dc67eee46272 sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhirSdk/menhirSdk.20201201/opam |
Required by
- cairn
- js_of_ocaml-compiler>=3.10.0
- menhir=20201201
- merlindev & (>=3.5.0 & <4.6-414 | >=4.7-412 & <4.7-414)
- merlin-libdev & <4.8~5.1preview
- ocamlformat>=0.17.0 & <0.19.0~4.13preview
- ocamlformat-rpc<0.19.0
- ometrics<0.2.0
