Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-ml/
coq-menhirlib

A support library for verified Coq parsers produced by Menhir

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

Available Versions

Versionamd64x86alphaarmarm64hppamipsppcppc64riscvsparc
20240715  : 0/20240715 EAPI 8 ~amd64 ~x86?alpha?arm?arm64?hppa?mips?ppc?ppc64?riscv?sparc
20231231-r1  : 0/20231231 EAPI 8 ~amd64 ~x86?alpha?arm?arm64?hppa?mips?ppc?ppc64?riscv?sparc

Package Metadata

  • USE flags
    Global Use Flags
  • License
    GPL-2 LGPL-2-with-linking-exception
  • Maintainer(s)
    ML