portage-ng / portage / sci-mathematics / kind2 / 1.9.0
portage-ng gantt
USE ▶ +ocamlopt -test
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
▶net-libs/zeromq-4.3.5-r1 download install run
USE
-doc -drafts +libbsd +sodium -static-libs -test -unwind
zeromq-4.3.5.tar.gz2.4 MBfetch
▶dev-lang/ocaml-5.5.1 download install run
USE
-emacs -flambda -latex +ocamlopt -test -xemacs
ocaml-5.5.1.tar.gz6.3 MBfetch
▶dev-ml/findlib-1.9.8-r1 download install
USE
-doc +ocamlopt -tk
findlib-1.9.8.tar.gz268 KBfetch
▶dev-ml/dune-3.23.1 download install run
USE
-emacs -test
dune-3.23.1.tar.gz3.5 MBfetch
▶dev-ml/dune-build-info-3.21.1 download install
USE
+ocamlopt
dune-3.21.1.tar.gz3.3 MBfetch
▶dev-ml/num-1.6-r1 download install run
USE
+ocamlopt
num-1.6.tar.gz66 KBfetch
▶dev-ml/menhir-20250912 download install run
USE
+ocamlopt
menhir-20250912.tar.bz21.2 MBfetch
▶dev-ml/result-1.5 download install run
USE
+ocamlopt
result-1.5.tar.gz2 KBfetch
▶dev-ml/yojson-3.0.0 download install run
USE
-examples +ocamlopt -test
yojson-3.0.0.gh.tar.gz55 KBfetch
▶dev-ml/csexp-1.5.2-r1 download install run
USE
+ocamlopt -test
csexp-1.5.2.tbz11 KBfetch
▶dev-ml/dune-configurator-3.21.1 download install
USE
+ocamlopt
dune-3.21.1.tar.gz3.3 MBfetch
▶dev-ml/zmq-5.3.0 download install run
USE
+ocamlopt -test
ocaml-zmq-5.3.0.tar.gz34 KBfetch
▶sci-mathematics/kind2-1.9.0 download install run
USE
+ocamlopt -test
kind2-1.9.0.tar.gz1.9 MBfetch
download
install / :update / :reinstall / :downgrade
run
unmask
keyword
useflag
BDEPEND
DEPEND
RDEPEND
RDEPEND (ignored)
PDEPEND
IDEPEND
same pkg