package menhirSdk

  1. Overview
  2. Docs
Compile-time library for auxiliary tools related to Menhir

Install

Dune Dependency

gitlab.inria.fr LGPL-2.0-only WITH OCaml-LGPL-linking-exception License Edit opam file Versions (21)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. Y
    Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=ff8b8c4c58b1365128d0d2aeaad85d1c
sha512=361d4d81ac92fbe78a88ca731e8ec7e3287bf536b430949c88f87a7dca63e0d65ec30130331e5f00692b7cbbfcec8f3b2a7733cf023fe71067419bcc38ced91e

Description

Published: 31 Dec 2021

Dependencies (2)

  1. dune >= "2.8.0"
  2. ocaml >= "4.03.0"

Dev Dependencies

None

Used by (9)

  1. cairn
  2. js_of_ocaml-compiler >= "3.10.0"
  3. menhir = "20211230"
  4. merlin >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
  5. merlin-lib
  6. ocamlformat >= "0.17.0" & < "0.25.1"
  7. ocamlformat-lib
  8. ocamlformat-rpc < "0.21.0"
  9. ometrics < "0.2.0"

Conflicts (1)

  1. menhir != version