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

Calculating dependencies ... done!
Dependency resolution took 0.99 s (backtrack: 0/20).

[ebuild  N     ] dev-lang/ocaml-5.5.1:0/5.5.1::gentoo  USE="ocamlopt -emacs -flambda -latex -test -xemacs" 6457 KiB
[ebuild  N     ] dev-ml/findlib-1.9.8-r1:0/1::gentoo  USE="ocamlopt -doc -tk" 269 KiB
[ebuild  N     ] sci-mathematics/proverif-2.05::gentoo  USE="ocamlopt -emacs" 958 KiB

Total: 3 packages (3 new), Size of downloads: 7683 KiB