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-20220210GPL-2 LGPL-2-with-linking-exception
download~amd64 ~x86gentoo