Gentoo Packages

dev-ml/coq-menhirlib (gentoo)

Search

Install

Install this package:

emerge -a dev-ml/coq-menhirlib

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask dev-ml/coq-menhirlib

Or alternatively:

emerge --autounmask-write -a dev-ml/coq-menhirlib

Package Information

Description:
A support library for verified Coq parsers produced by Menhir
Homepage:
http://gallium.inria.fr/~fpottier/menhir/
License:
GPL-2 LGPL-2-with-linking-exception

Versions

Version EAPI Keywords Slot
20240715 8 ~amd64 ~x86 0/20240715

Metadata

Maintainers

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="project">
		<email>ml@gentoo.org</email>
		<name>ML</name>
	</maintainer>
</pkgmetadata>

Lint Warnings

USE Flags

Manage flags for this package: euse -i <flag> -p dev-ml/coq-menhirlib | euse -E <flag> -p dev-ml/coq-menhirlib | euse -D <flag> -p dev-ml/coq-menhirlib

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

Manifest

Type File Size Versions
DIST menhir-20240715.tar.bz2 1245971 bytes 20240715
Unmatched Entries
Type File Size