portage-ng / portage / sci-mathematics / psmt2-frontend / 0.4.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
▶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/dune-3.23.1 download install run
USE
-emacs -test
dune-3.23.1.tar.gz3.5 MBfetch
▶dev-ml/menhir-20250912 download install run
USE
+ocamlopt
menhir-20250912.tar.bz21.2 MBfetch
▶sci-mathematics/psmt2-frontend-0.4.0 download install run
USE
+ocamlopt -test
psmt2-frontend-0.4.0.tar.gz69 KBfetch
download
install / :update / :reinstall / :downgrade
run
unmask
keyword
useflag
BDEPEND
DEPEND
RDEPEND
RDEPEND (ignored)
PDEPEND
IDEPEND
same pkg