>>> Emerging : portage://sci-mathematics/proverif-9999:run?{[]}

These are the packages that would be merged, in order:

Calculating dependencies... done!

 └─step  1─┤ keyword portage://sci-mathematics/proverif-9999 (**)

 └─step  2─┤ download  portage://dev-lang/ocaml-5.5.1
             │           └─ file ─┤ 6.30 Mb  	 ocaml-5.5.1.tar.gz
             │ download  portage://dev-ml/findlib-1.9.8-r1
             │           └─ file ─┤ 268.23 Kb  	 findlib-1.9.8.tar.gz
             │ download  portage://sci-mathematics/proverif-9999
             │           └─ live ─┤ live   	 git repository

 └─step  3─┤ install   portage://dev-lang/ocaml-5.5.1
             │           └─ conf ─┤ USE = "ocamlopt -emacs -flambda -latex -test -xemacs"
             │                    │ SLOT = "0/5.5.1"

 └─step  4─┤ run       portage://dev-lang/ocaml-5.5.1

 └─step  5─┤ install   portage://dev-ml/findlib-1.9.8-r1
             │           └─ conf ─┤ USE = "ocamlopt -doc -tk"
             │                    │ SLOT = "0/1"

 └─step  6─┤ install   portage://sci-mathematics/proverif-9999 (**)
             │           └─ conf ─┤ USE = "ocamlopt -emacs"

 └─step  7─┤ run     portage://sci-mathematics/proverif-9999

Total: 9 actions (1 keyword, 3 downloads, 3 installs, 2 runs), grouped into 7 steps.
       6.57 Mb to be downloaded.


>>> Assumptions taken during proving & planning:

  Keyword acceptance (1 package):
  Add to /etc/portage/package.accept_keywords:
    sci-mathematics/proverif **