Gentoo Portage Overlays - dev-ml/coq-menhirlib

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

Bugs

Bug #	Severity	Platform	Status	Description

These bugs were grabbed from http://bugs.gentoo.org and have only passed a preliminary search using the package title, to do a more through search please visit: http://bugs.gentoo.org.