>>> Printing information for: portage://sci-mathematics/prover9-2009.11a-r2


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Automated theorem prover for first-order and equational logic
homepage : 
   https://www.cs.unm.edu/~mccune/mace4/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   GPL-2
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   examples
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   toolchain-funcs
defined_phases : 
   compile
   install
   prepare
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   LADR-2009-11A.tar.gz
   LADR-2009-11A-makefile.patch.xz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   [not set]

depend : 
   [not set]

idepend : 
   [not set]

rdepend : 
   [not set]

pdepend : 
   [not set]