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/repository/20201216/archive.tar.gz md5=f27f8f5dedd316eff4c02d9130fced49 sha512=50f86fb2f55184f43c4be9c572ada4feb2208eb350ef64b2651351934a1b48a0b7e98c8c752c3c22e95676c5a0f38b0e638b3f845e53ecff1740dad95b50918c |
| Statistics | Installed 24218 times last month. |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhirSdk/menhirSdk.20201216/opam |
Required by
- menhir>=20201216
