>>> Printing information for: portage://sci-mathematics/otter-3.3-r4


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   An Automated Deduction System
homepage : 
   http://www.cs.unm.edu/~mccune/otter/
maintainer : 
   sci@gentoo.org
license : 
   otter
eapi : 
   7
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   [not set]
required_use : 
   [not set]
keywords : 
   stable(amd64)
   unstable(ppc)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   toolchain-funcs
   flag-o-matic
defined_phases : 
   compile
   configure
   install
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   otter-3.3.tar.gz

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

depend : 
   x11-libs/libX11
   x11-libs/libXaw
   x11-libs/libXt

idepend : 
   [not set]

rdepend : 
   x11-libs/libX11
   x11-libs/libXaw
   x11-libs/libXt

pdepend : 
   [not set]