>>> Printing information for: portage://sci-mathematics/why3-1.8.0


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Platform for deductive program verification
homepage : 
   https://www.why3.org/
maintainer : 
   fx.carton91@gmail.com
   ml@gentoo.org
   sci-mathematics@gentoo.org
license : 
   LGPL-2
eapi : 
   8
slot : 
   0
subslot : 
   1.8.0

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   coq
   doc
   emacs
   gtk
   +ocamlopt
   re
   sexp
   stackify
   zip
   +ocamlopt
required_use : 
   [not set]
keywords : 
   unstable(amd64)
properties : 
   [not set]
eclasses : 
   gnuconfig
   toolchain-funcs
   libtool
   autotools
   findlib
defined_phases : 
   compile
   configure
   install
   prepare
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   why3-1.8.0.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   use doc
      dev-python/sphinx
      dev-python/sphinxcontrib-bibtex
      media-gfx/graphviz
      dev-texlive/texlive-latex
      dev-texlive/texlive-fontsrecommended
      dev-texlive/texlive-latexextra
   sys-devel/gnuconfig
   >=app-portage/elt-patches-20250306
   any 
      >=dev-build/automake-1.19:1.19
      >=dev-build/automake-1.18.1:1.18
   any 
      >=dev-build/autoconf-2.73:2.73
      >=dev-build/autoconf-2.72-r1:2.72
   >=dev-build/libtool-2.4.7-r3

depend : 
   [weak block] sci-mathematics/why3-for-spark
   >=dev-ml/menhir-20170418:=
   dev-ml/num:=
   dev-ml/zarith:=
   use coq
      >=sci-mathematics/coq-8.15:=
      >=sci-mathematics/flocq-4.2.1
   use emacs
      app-editors/emacs:*
   use gtk
      dev-ml/lablgtk:= [ sourceview ocamlopt? ]
   use re
      dev-ml/re:=
   use sexp
      dev-ml/ppx_deriving:= [ ocamlopt? ]
      dev-ml/ppx_sexp_conv:= [ ocamlopt? ]
      dev-ml/sexplib:= [ ocamlopt? ]
   use stackify
      dev-ml/ocamlgraph:= [ ocamlopt? ]
   use zip
      dev-ml/camlzip:=
   >=dev-ml/findlib-1.0.4-r1 [ ocamlopt? ]

idepend : 
   [not set]

rdepend : 
   [weak block] sci-mathematics/why3-for-spark
   >=dev-ml/menhir-20170418:=
   dev-ml/num:=
   dev-ml/zarith:=
   use coq
      >=sci-mathematics/coq-8.15:=
      >=sci-mathematics/flocq-4.2.1
   use emacs
      app-editors/emacs:*
   use gtk
      dev-ml/lablgtk:= [ sourceview ocamlopt? ]
   use re
      dev-ml/re:=
   use sexp
      dev-ml/ppx_deriving:= [ ocamlopt? ]
      dev-ml/ppx_sexp_conv:= [ ocamlopt? ]
      dev-ml/sexplib:= [ ocamlopt? ]
   use stackify
      dev-ml/ocamlgraph:= [ ocamlopt? ]
   use zip
      dev-ml/camlzip:=
   dev-lang/ocaml:= [ ocamlopt? ]

pdepend : 
   [not set]