Gentoo-Portage.com

Search Portage:
Login     Register     Language Tools

sci-mathematics/coq

Coq is a proof assistant written in O'Caml

Screenshots

  • coq-8.1_p3
    amd64 ppc sparc x86
    norealanalysis ide debug +ocamlopt
    View      Download      License: LGPL-2.1

Runtime Dependencies

coq-8.1_p3

||

      (
            ( >=dev-lang/ocaml-3.10 >=dev-ml/camlp5-5.01 )
       <dev-lang/ocaml-3.10 )

>=dev-lang/ocaml-3.08

ide?
      ( >=dev-ml/lablgtk-2.2.0 )