Gentoo Portage Overlays - dev-ml/coq-menhirlib

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-ml/coq-menhirlib

A support library for verified Coq parsers produced by Menhir

Screenshots

http://gallium.inria.fr/~fpottier/menhir/

coq-menhirlib-20240715

~amd64 ~x86

+ocamlopt

View

Download

Browse License: GPL-2 LGPL-2-with-linking-exception

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

USE Flags

+ocamlopt

* This flag is undocumented *