>>> Printing information for: portage://sci-mathematics/why3-for-spark-2023.12.13-r2


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   SPARK 2014 repository for the Why3 verification platform
homepage : 
   https://www.why3.org/ https://github.com/AdaCore/why3
maintainer : 
   ada@gentoo.org
license : 
   GPL-3
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   coq
   doc
   emacs
   gtk
   html
   hypothesis-selection
   +ocamlopt
   sexp
   zarith
   zip
   +ocamlopt
required_use : 
   use html
      doc
   ocamlopt
keywords : 
   stable(amd64)
   unstable(arm64)
properties : 
   [not set]
eclasses : 
   gnuconfig
   toolchain-funcs
   libtool
   autotools
   findlib
defined_phases : 
   compile
   configure
   install
   prepare
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   why3-for-spark-2023.12.13.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   use doc
      dev-python/sphinx
      dev-python/sphinxcontrib-bibtex
      dev-tex/rubber
      media-gfx/graphviz
   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 : 
   dev-ml/menhir:= [ ocamlopt? ]
   dev-ml/num:= [ ocamlopt? ]
   dev-ml/re:= [ ocamlopt? ]
   dev-ml/yojson:=
   use coq
      <sci-mathematics/coq-8.18
   use emacs
      app-editors/emacs:*
   use gtk
      dev-ml/lablgtk:= [ sourceview ]
   use html
      dev-tex/hevea:=
   use hypothesis-selection
      dev-ml/ocamlgraph:=
   dev-ml/ppx_deriving:= [ ocamlopt? ]
   dev-ml/ppx_sexp_conv:= [ ocamlopt? ]
   dev-ml/sexplib:= [ ocamlopt? ]
   use zarith
      dev-ml/zarith:= [ ocamlopt? ]
   use zip
      dev-ml/camlzip:= [ ocamlopt? ]
   >=dev-ml/findlib-1.0.4-r1 [ ocamlopt? ]

idepend : 
   [not set]

rdepend : 
   dev-ml/menhir:= [ ocamlopt? ]
   dev-ml/num:= [ ocamlopt? ]
   dev-ml/re:= [ ocamlopt? ]
   dev-ml/yojson:=
   use coq
      <sci-mathematics/coq-8.18
   use emacs
      app-editors/emacs:*
   use gtk
      dev-ml/lablgtk:= [ sourceview ]
   use html
      dev-tex/hevea:=
   use hypothesis-selection
      dev-ml/ocamlgraph:=
   dev-ml/ppx_deriving:= [ ocamlopt? ]
   dev-ml/ppx_sexp_conv:= [ ocamlopt? ]
   dev-ml/sexplib:= [ ocamlopt? ]
   use zarith
      dev-ml/zarith:= [ ocamlopt? ]
   use zip
      dev-ml/camlzip:= [ ocamlopt? ]
   dev-lang/ocaml:= [ ocamlopt? ]

pdepend : 
   [not set]