| Package | Step 1 | Step 2 | Step 3 | Step 4 | Step 5 | Step 6 | Step 7 | Step 8 | Step 9 | Step 10 | Step 11 | Step 12 | |||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ▶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/camlzip-1.14 | download | install | run | ||||||||||||
|
USE
+ocamlopt
|
|
||||||||||||||
| ▶dev-ml/num-1.6-r1 | download | install | run | ||||||||||||
|
USE
+ocamlopt
|
|
||||||||||||||
| ▶dev-ml/zarith-1.14 | download | install | run | ||||||||||||
|
USE
-doc
+ocamlopt
|
|
||||||||||||||
| ▶dev-ml/yojson-3.0.0 | download | install | run | ||||||||||||
|
USE
-examples
+ocamlopt
-test
|
|
||||||||||||||
| ▶sci-mathematics/coq-9.2.0 | download | install | run | ||||||||||||
|
USE
-debug
-gui
-native-compiler
+ocamlopt
-test
|
|
||||||||||||||
| ▶sci-mathematics/coq-stdlib-9.0.0-r1 | download | install | run | ||||||||||||
|
USE
+ocamlopt
|
|