>>> Printing information for: portage://sci-mathematics/twelf-1.7.1-r2


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Implementation of the logical framework LF
homepage : 
   https://twelf.org/
maintainer : 
   [not set]
license : 
   BSD-2
eapi : 
   8
slot : 
   0
subslot : 
   1.7.1

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   doc
   emacs
   examples
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   elisp-common
   toolchain-funcs
   flag-o-matic
defined_phases : 
   compile
   install
   postinst
   postrm
   prepare
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   twelf-src-1.7.1.tar.gz

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

depend : 
   >=dev-lang/mlton-20180207
   use doc
      virtual/latex-base
      app-text/texi2html
   use emacs
      >=app-editors/emacs-23.1:*

idepend : 
   [not set]

rdepend : 
   >=dev-lang/mlton-20180207
   use doc
      virtual/latex-base
      app-text/texi2html
   use emacs
      >=app-editors/emacs-23.1:*

pdepend : 
   [not set]