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

USE Flags

ocamlopt
Global: Enables ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)