| Package | Pre | Step 1 | Step 2 | Step 3 | Step 4 | Step 5 | Step 6 | |||
|---|---|---|---|---|---|---|---|---|---|---|
| ▶sci-mathematics/proverif-9999 | keyword | download | install | run | ||||||
|
USE
-emacs
+ocamlopt
|
||||||||||
| ▶dev-lang/ocaml-5.5.1 | download | install | run | |||||||
|
USE
-emacs
-flambda
-latex
+ocamlopt
-test
-xemacs
|
|
|||||||||
| ▶dev-ml/findlib-1.9.8-r1 | download | install | ||||||||
|
USE
-doc
+ocamlopt
-tk
|
|