package menhirSdk

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

Install

Dune Dependency

gitlab.inria.fr 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=eb1c13439a00195ee01e4a2e83b3e991
sha512=c94ddc2b2d8b9f5d05d8493a3ccd4a32e4512c3bd19ac8948905eb64bb6f2fd9e236344d2baf3d2ebae379d08d5169c99aa5e721c65926127e22ea283eba6167

Description

Published: 12 Jun 2020

Dependencies (2)

  1. dune >= "2.0.0"
  2. ocaml >= "4.02.3"

Dev Dependencies

None

Used by (6)

  1. cairn
  2. js_of_ocaml-compiler >= "3.10.0"
  3. menhir = "20200612"
  4. merlin >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
  5. merlin-lib < "4.8~5.1preview"
  6. ometrics < "0.2.0"

Conflicts (1)

  1. menhir != version