gpo.zugaina.org

Search Portage & Overlays:

dev-ml/coq-menhirlib

A support library for verified Coq parsers produced by Menhir

Screenshots

  • coq-menhirlib-20240715
    ~amd64 ~x86
    +ocamlopt

    View      Download      Browse     License: GPL-2 LGPL-2-with-linking-exception   
    Overlay: gentoo
  • coq-menhirlib-20231231-r1
    ~amd64 ~x86
    +ocamlopt

    View      Download      Browse     License: GPL-2 LGPL-2-with-linking-exception   
    Overlay: gentoo