dev-ml / coq-menhirlib

A support library for verified Coq parsers produced by Menhir

Official package sites : http://gallium.inria.fr/~fpottier/menhir/ ·

v20220210 :: 0/20220210 :: gentoo

Modified
License
GPL-2 LGPL-2-with-linking-exception
Keywords
~amd64 ~x86
USE flags
ocamlopt

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / dune : A composable build system for OCaml

dev-ml / menhir : LR(1) parser generator for the OCaml language

sci-mathematics / coq : Proof assistant written in O'Caml

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / dune : A composable build system for OCaml

dev-ml / menhir : LR(1) parser generator for the OCaml language

sci-mathematics / coq : Proof assistant written in O'Caml

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/coq-menhirlib: new package; add 20220210
Closes: https://bugs.gentoo.org/888075 Signed-off-by: Maciej Barć <xgqt@gentoo.org>