>>> Printing information for: portage://sci-mathematics/coq-8.20.0-r1


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Proof assistant written in O'Caml
homepage : 
   https://rocq-prover.org https://github.com/rocq-prover/rocq/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   LGPL-2.1
eapi : 
   8
slot : 
   0
subslot : 
   8.20.0

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   debug
   doc
   gui
   +ocamlopt
   test
required_use : 
   [not set]
keywords : 
   stable(amd64)
   unstable(arm64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   check-reqs
   desktop
   edob
   edo
   multiprocessing
   dune
defined_phases : 
   compile
   configure
   install
   prepare
   pretend
   setup
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   coq-8.20.0.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   dev-ml/findlib
   use doc
      >=dev-java/antlr-4.7:4
      dev-python/antlr4-python3-runtime
      dev-python/beautifulsoup4
      dev-python/pexpect
      dev-python/sphinx-rtd-theme
      dev-python/sphinxcontrib-bibtex
      dev-tex/latexmk
      dev-texlive/texlive-fontsextra
      dev-texlive/texlive-latexextra
      dev-texlive/texlive-xetex
      media-fonts/freefont
   use test
      dev-ml/ounit2
   <dev-lang/ocaml-5
   dev-lang/ocaml
   dev-ml/dune

depend : 
   dev-ml/num:=
   dev-ml/zarith:=
   use gui
      >=dev-ml/lablgtk-3.1.2:3= [ sourceview ocamlopt? ]
      >=dev-ml/lablgtk-sourceview-3.1.2:3= [ ocamlopt? ]
   dev-lang/ocaml:= [ ocamlopt? ]
   dev-ml/dune:=

idepend : 
   [not set]

rdepend : 
   dev-ml/num:=
   dev-ml/zarith:=
   use gui
      >=dev-ml/lablgtk-3.1.2:3= [ sourceview ocamlopt? ]
      >=dev-ml/lablgtk-sourceview-3.1.2:3= [ ocamlopt? ]
   dev-lang/ocaml:= [ ocamlopt? ]
   dev-ml/dune:=

pdepend : 
   [not set]