DEFINED_PHASES=compile configure install test DEPEND=dev-ml/zarith || ( dev-ml/num =dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Proof assistant written in O'Caml EAPI=7 HOMEPAGE=http://coq.inria.fr/ INHERIT=desktop findlib IUSE=gtk debug +ocamlopt doc +ocamlopt KEYWORDS=~amd64 ~x86 LICENSE=LGPL-2.1 RDEPEND=dev-ml/zarith || ( dev-ml/num coq-8.13.0.tar.gz _eclasses_=desktop 7eb20ad915a0a318176d51bc2508ff5c findlib d8fa93cf137156660d0b72144b1e31d9 _md5_=cf095aa4b2685a05dc9a994fa9bd075f