gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/gappalib-coq

Allows the certificates Gappa generates to be imported by the Coq

Screenshots

  • gappalib-coq-1.5.3
    ~amd64 ~x86
    ocamlopt

    View      Download      Browse     License: LGPL-3+   
    Overlay: gentoo
  • gappalib-coq-1.5.2-r1
    ~amd64 ~x86
    ocamlopt

    View      Download      Browse     License: LGPL-3+   
    Overlay: gentoo

Runtime Dependencies

gappalib-coq-1.5.3


dev-lang/ocaml:=[ocamlopt?
]
>=sci-mathematics/coq-8.12:=
sci-mathematics/flocq:=
sci-mathematics/gappa

gappalib-coq-1.5.2-r1


dev-lang/ocaml:=[ocamlopt?
]
>=sci-mathematics/coq-8.12:=
sci-mathematics/flocq:=
sci-mathematics/gappa