| Package | Step 1 | Step 2 | Step 3 | Step 4 | Step 5 | Step 6 | Step 7 | Step 8 | Step 9 | Step 10 | |||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ▶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
|
|
||||||||||||
| ▶dev-ml/dune-3.23.1 | download | install | run | ||||||||||
|
USE
-emacs
-test
|
|
||||||||||||
| ▶dev-ml/num-1.6-r1 | download | install | run | ||||||||||
|
USE
+ocamlopt
|
|
||||||||||||
| ▶dev-ml/zarith-1.14 | download | install | run | ||||||||||
|
USE
-doc
+ocamlopt
|
|
||||||||||||
| ▶dev-ml/menhir-20250912 | download | install | run | ||||||||||
|
USE
+ocamlopt
|
|
||||||||||||
| ▶sci-mathematics/why3-1.7.2 | download | install | run | ||||||||||
|
USE
-coq
-doc
-emacs
-gtk
+ocamlopt
-re
-sexp
-stackify
+zarith
-zip
|
|