dev-ml/coq-menhirlib (gentoo)

Search

Package Information

Description:
A support library for verified Coq parsers produced by Menhir
Homepage:
http://gallium.inria.fr/~fpottier/menhir/

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

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