>>> Printing information for: portage://sci-mathematics/z3-5.3.0


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   An efficient theorem prover
homepage : 
   https://github.com/Z3Prover/z3/
maintainer : 
   mgorny@gentoo.org
   sci@gentoo.org
license : 
   MIT
eapi : 
   8
slot : 
   0
subslot : 
   5.3

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   doc
   examples
   gmp
   isabelle
   java
   python
   abi_x86_32
   abi_x86_64
   abi_x86_x32
   abi_mips_n32
   abi_mips_n64
   abi_mips_o32
   abi_s390_32
   abi_s390_64
   java
   python_single_target_python3_12
   python_single_target_python3_13
   python_single_target_python3_14
   python_single_target_python3_15
required_use : 
   one 
      python_single_target_python3_12
      python_single_target_python3_13
      python_single_target_python3_14
      python_single_target_python3_15
keywords : 
   unstable(amd64)
   unstable(arm)
   unstable(arm64)
   unstable(loong)
   unstable(mips)
   unstable(ppc)
   unstable(ppc64)
   unstable(riscv)
   unstable(sparc)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   toolchain-funcs
   flag-o-matic
   multiprocessing
   ninja-utils
   xdg-utils
   cmake
   out-of-source-utils
   multibuild
   multilib
   multilib-build
   multilib-minimal
   cmake-multilib
   java-utils-2
   java-pkg-opt-2
   eapi9-pipestatus
   python-utils-r1
   python-single-r1
defined_phases : 
   compile
   configure
   install
   postinst
   postrm
   preinst
   prepare
   setup
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   z3-5.3.0.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   use doc
      app-text/doxygen [ dot ]
   app-alternatives/ninja
   >=dev-build/cmake-3.28.5

depend : 
   use python_single_target_python3_12
      dev-lang/python:3.12
   use python_single_target_python3_13
      dev-lang/python:3.13
   use python_single_target_python3_14
      dev-lang/python:3.14
   use python_single_target_python3_15
      dev-lang/python:3.15
   use gmp
      dev-libs/gmp:0= [ cxx(+) abi_x86_32(-)? abi_x86_64(-)? abi_x86_x32(-)? abi_mips_n32(-)? abi_mips_n64(-)? abi_mips_o32(-)? abi_s390_32(-)? abi_s390_64(-)? ]
   use java
      >=virtual/jdk-1.8
   use java
      >=dev-java/java-config-2.2.0-r3

idepend : 
   [not set]

rdepend : 
   use python_single_target_python3_12
      dev-lang/python:3.12
   use python_single_target_python3_13
      dev-lang/python:3.13
   use python_single_target_python3_14
      dev-lang/python:3.14
   use python_single_target_python3_15
      dev-lang/python:3.15
   use gmp
      dev-libs/gmp:0= [ cxx(+) abi_x86_32(-)? abi_x86_64(-)? abi_x86_x32(-)? abi_mips_n32(-)? abi_mips_n64(-)? abi_mips_o32(-)? abi_s390_32(-)? abi_s390_64(-)? ]
   use java
      >=dev-java/java-config-2.2.0-r3

pdepend : 
   [not set]