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=382b76757ae8343f42bca7de3bd70efb
sha512=d5cf05b9174fff08922b8a815188cc353ae756dd2ea50df634d407e3bc13c083765b756f484ad08545e8fade36b622f8c498ebb13d0398d724e87bf8bcdfd580

Description

Published: 09 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 = "20200525"
  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