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

Runtime Dependencies

coq-menhirlib-20240715

>=dev-ml/menhir-20240715:=
sci-mathematics/coq:=

>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=

coq-menhirlib-20231231-r1

<sci-mathematics/coq-8.20.0:=
>=dev-ml/menhir-20231231:=

>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=