| DEFINED_PHASES=compile configure install prepare |
| DEPEND=>=dev-lang/ocaml-3.10[ocamlopt?] >=dev-ml/camlp5-5.09[ocamlopt?] gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] ) |
| DESCRIPTION=Coq is a proof assistant written in O'Caml |
| EAPI=2 |
| HOMEPAGE=http://coq.inria.fr/ |
| IUSE=norealanalysis gtk debug +ocamlopt |
| 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?] ) |
| RESTRICT=strip installsources |
| SLOT=0 |
| SRC_URI=http://coq.inria.fr/V8.1pl4/files/coq-8.1pl4.tar.gz |
| _eclasses_=eutils c89e7605f1414fa0f33eae391db1b5d3 multilib d9b509f8ec69d5fd4789bd320d50e6d0 portability 0be430f759a631e692678ed796e09f5c toolchain-funcs 39ac4a2f99e342286758b5e753f4fb8b |
| _md5_=7bd84abad7e808375f200f8760546c09 |
