gentoo.mahdi.cz
dev-ml
:coq-menhirlib
A support library for verified Coq parsers produced by Menhir
http://gallium.inria.fr/~fpottier/menhir/
coq-menhirlib-20220210
GPL-2 LGPL-2-with-linking-exception
download
~amd64 ~x86
gentoo