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=eb1c13439a00195ee01e4a2e83b3e991
sha512=c94ddc2b2d8b9f5d05d8493a3ccd4a32e4512c3bd19ac8948905eb64bb6f2fd9e236344d2baf3d2ebae379d08d5169c99aa5e721c65926127e22ea283eba6167

Description

Tags

date:2020-06-12 logpath:MenhirLib

Published: 12 Jun 2020

Dependencies (1)

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

Dev Dependencies

None

Used by (4)

  1. coq-compcert >= "3.7+8.12~coq_platform~open_source" & < "3.15"
  2. coq-compcert-32
  3. coq-compcert-64 >= "3.7+8.12~coq_platform~open_source"
  4. coq-mi-cho-coq

Conflicts (2)

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