| 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 | Step 15 | Step 16 | Step 17 | |||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ▶dev-build/b2-5.5.3 | download | install | ||||||||||||||||||
|
USE
-examples
|
|
|||||||||||||||||||
| ▶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-libs/boost-1.91.0-r2 | download | install | run | |||||||||||||||||
|
USE
+bzip2
+context
-debug
-doc
-icu
-lzma
-mpi
+nls
-numpy
+python
+stacktrace
-test
-test-full
-tools
+zlib
-zstd
|
|
|||||||||||||||||||
| ▶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
|
|
|||||||||||||||||||
| ▶sci-mathematics/gappa-1.4.2 | download | install | run | |||||||||||||||||
|
USE
-doc
|
|
|||||||||||||||||||
| ▶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
|
|
|||||||||||||||||||
| ▶sci-mathematics/flocq-4.2.1 | download | install | run | |||||||||||||||||
|
||||||||||||||||||||
| ▶sci-mathematics/gappalib-coq-1.5.3 | download | install | run | |||||||||||||||||
|
USE
-ocamlopt
|
|