>>> Printing information for: portage://sci-mathematics/spin-6.5.2-r1


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   An efficient logic-model checker for the verification of multi-threaded code
homepage : 
   https://spinroot.com/ https://github.com/nimble-code/Spin
maintainer : 
   [not set]
license : 
   BSD
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   doc
   examples
   graphviz
   tk
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(riscv)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   desktop
   toolchain-funcs
defined_phases : 
   compile
   install
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   spin-6.5.2.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   app-alternatives/yacc

depend : 
   [not set]

idepend : 
   [not set]

rdepend : 
   sys-devel/gcc
   use tk
      dev-lang/tk
      use graphviz
         media-gfx/graphviz

pdepend : 
   [not set]