dev-ml/coq-menhirlib – Gentoo Packages

Packages

Get Gentoo!

Version 20260209 is available upstream. Please consider updating!
It seems that version 20260209 is available upstream, while the latest version in the Gentoo tree is 20240715.
You think this warning is false? Read more about it here.

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
20240715 : 0/20240715 EAPI 8	~amd64	~x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Package Metadata

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

External Resources

Package Contents

CI Report (verbose)

Open Pull Requests

Git repository browser

Codeberg repository browser

Git log (short)