>>> Printing information for: portage://sci-mathematics/smtinterpol-2.5_p20211018-r1


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Interpolating SMT-solver computing Craig interpolants for various theories
homepage : 
   https://ultimate.informatik.uni-freiburg.de/smtinterpol/ https://github.com/ultimate-pa/smtinterpol/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   LGPL-3
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   [not set]
required_use : 
   [not set]
keywords : 
   stable(amd64)
properties : 
   [not set]
eclasses : 
   java-utils-2
   java-pkg-2
defined_phases : 
   compile
   install
   preinst
   prepare
   setup
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   smtinterpol-2.5_p20211018.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   >=dev-java/ant-1.10.14-r3:0

depend : 
   >=virtual/jdk-1.8:*
   >=dev-java/java-config-2.2.0-r3

idepend : 
   [not set]

rdepend : 
   >=virtual/jre-1.8:*
   >=dev-java/java-config-2.2.0-r3

pdepend : 
   [not set]