>>> Printing information for: portage://sci-mathematics/alt-ergo-2.4.3-r3


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Automatic theorem prover
homepage : 
   https://alt-ergo.ocamlpro.com https://github.com/OCamlPro/alt-ergo/
maintainer : 
   ml@gentoo.org
   sci-mathematics@gentoo.org
license : 
   CeCILL-C
eapi : 
   8
slot : 
   0
subslot : 
   2.4.3

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   examples
   gui
   +ocamlopt
required_use : 
   ocamlopt
keywords : 
   stable(amd64)
   unstable(arm64)
properties : 
   [not set]
eclasses : 
   edob
   edo
   multiprocessing
   dune
defined_phases : 
   compile
   configure
   install
   prepare
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   alt-ergo-2.4.3.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   dev-ml/dune-build-info
   dev-ml/dune-configurator
   dev-lang/ocaml
   dev-ml/dune

depend : 
   >=sci-mathematics/psmt2-frontend-0.4.0:=
   <dev-ml/ocplib-simplex-0.5:=
   >=dev-ml/cmdliner-1.1.0:=
   >=dev-ml/menhir-20181006:=
   dev-ml/camlzip:=
   dev-ml/num:=
   dev-ml/stdlib-shims:=
   dev-ml/zarith:=
   use gui
      dev-ml/lablgtk:3
      dev-ml/lablgtk-sourceview:3
   dev-lang/ocaml:= [ ocamlopt? ]
   dev-ml/dune:=

idepend : 
   [not set]

rdepend : 
   >=sci-mathematics/psmt2-frontend-0.4.0:=
   <dev-ml/ocplib-simplex-0.5:=
   >=dev-ml/cmdliner-1.1.0:=
   >=dev-ml/menhir-20181006:=
   dev-ml/camlzip:=
   dev-ml/num:=
   dev-ml/stdlib-shims:=
   dev-ml/zarith:=
   use gui
      dev-ml/lablgtk:3
      dev-ml/lablgtk-sourceview:3
   dev-lang/ocaml:= [ ocamlopt? ]
   dev-ml/dune:=

pdepend : 
   [not set]