package coq-menhirlib

  1. Overview
  2. No Docs
A support library for verified Coq parsers produced by Menhir

Install

Dune Dependency

gitlab.inria.fr Edit opam file Versions (27)

Authors

  1. J
    Jacques-Henri Jourdan <jacques-henri.jourdan@lri.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=677f1997fb73177d5a00fa1b8d61c3ef
sha512=ea8a9a6d773529cf6ac05e4c6c4532770fbb8e574c9b646efcefe90d9f24544741e3e8cfd94c8afea0447e34059a8c79c2829b46764ce3a3d6dcb3e7f75980fc

Description

Tags

date:2019-09-24 logpath:MenhirLib

Published: 25 Sep 2019

Dependencies (1)

  1. coq >= "8.7" & < "8.12"

Dev Dependencies

None

Used by (4)

  1. coq-compcert >= "3.7~coq-platform" & != "3.7" & < "3.15"
  2. coq-compcert-32
  3. coq-compcert-64 != "3.7"
  4. coq-mi-cho-coq

Conflicts (2)

  1. coq-native
  2. menhir != "20190924"