| DEFINED_PHASES=compile configure install |
| DEPEND=>=dev-lang/ocaml-3.10[ocamlopt?] >=dev-ml/camlp5-5.09[ocamlopt?] gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] ) doc? ( virtual/latex-base dev-tex/hevea dev-tex/xcolor || ( dev-texlive/texlive-pictures app-text/ptex ) || ( dev-texlive/texlive-mathextra app-text/ptex ) ) |
| DESCRIPTION=Coq is a proof assistant written in O'Caml |
| EAPI=2 |
| HOMEPAGE=http://coq.inria.fr/ |
| IUSE=norealanalysis gtk debug +ocamlopt doc |
| KEYWORDS=amd64 ppc sparc x86 |
| LICENSE=LGPL-2.1 |
| RDEPEND=>=dev-lang/ocaml-3.10[ocamlopt?] >=dev-ml/camlp5-5.09[ocamlopt?] gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] ) |
| SLOT=0 |
| SRC_URI=http://coq.inria.fr/distrib/V8.2pl1/files/coq-8.2pl1.tar.gz |
| _eclasses_=eutils c89e7605f1414fa0f33eae391db1b5d3 multilib d9b509f8ec69d5fd4789bd320d50e6d0 portability 0be430f759a631e692678ed796e09f5c toolchain-funcs 39ac4a2f99e342286758b5e753f4fb8b |
| _md5_=fe52d0563d338a8f5d18e635148ab9fd |