>>> Printing information for: portage://sci-mathematics/proverif-2.05


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Cryptographic protocol verifier in the formal model
homepage : 
   https://bblanche.gitlabpages.inria.fr/proverif/ https://gitlab.inria.fr/bblanche/proverif/
maintainer : 
   ml@gentoo.org
   sci-mathematics@gentoo.org
license : 
   GPL-2+
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   emacs
   +ocamlopt
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   edob
   edo
   elisp-common
   findlib
defined_phases : 
   compile
   install
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   proverif2.05.tar.gz

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

depend : 
   dev-lang/ocaml:= [ ocamlopt ]
   use emacs
      >=app-editors/emacs-25:*
   >=dev-ml/findlib-1.0.4-r1 [ ocamlopt? ]

idepend : 
   [not set]

rdepend : 
   dev-lang/ocaml:= [ ocamlopt ]
   use emacs
      >=app-editors/emacs-25:*
   dev-lang/ocaml:= [ ocamlopt? ]

pdepend : 
   [not set]