| 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 | Step 13 | Step 14 | |||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ▶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/menhir-20250912 | download | install | run | ||||||||||||||
|
USE
+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.1.0 | download | install | run | ||||||||||||||
|
USE
+ocamlopt
|
|
||||||||||||||||
| ▶dev-ml/coq-menhirlib-20240715 | download | install | run | ||||||||||||||
|
USE
+ocamlopt
|
|