Fedora Packages

coq-menhirlib Subpackage of ocaml-menhir

Support library for verified Coq parsers produced by Menhir

The Menhir parser generator, in --coq mode, can produce Coq parsers. These parsers must be linked against this library, which provides both an interpreter (which allows running the generated parser) and a validator (which allows verifying, at parser construction time, that the generated parser is correct and complete with respect to the grammar).

Releases Overview

Release Stable Testing
Fedora Rawhide 20211223-1.fc36 -
Fedora 35 20210419-2.fc35 -
Fedora 34 20201216-1.fc34 -
Package Info
Related Packages

You can contact the maintainers of this package via email at ocaml-menhir dash maintainers at fedoraproject dot org.



Sources on Pagure