portage-ng / portage / sci-mathematics / coq-serapi / 0.20.0
version « ‹ 0.20.0 › »
graphs detail deptree gantt
cli --merge --fetchonly --info
security glsa bugs
legacy emerge pmerge
portage-ng gantt
USE ▶ -emacs +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 Step 17 Step 18 Step 19 Step 20 Step 21 Step 22 Step 23 Step 24
▶dev-lang/ocaml-4.14.2 download install run
USE
-emacs -flambda -latex +ocamlopt -xemacs
ocaml-4.14.2.tar.gz5.3 MBfetch
▶dev-ml/findlib-1.9.8 download install run
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/num-1.6-r1 download install run
USE
+ocamlopt
num-1.6.tar.gz66 KBfetch
▶dev-ml/ocamlbuild-0.16.1 download install run
USE
+ocamlopt
ocamlbuild-0.16.1.tar.gz198 KBfetch
▶dev-ml/zarith-1.14 download install run
USE
-doc +ocamlopt
zarith-1.14.tar.gz90 KBfetch
▶dev-ml/result-1.5 download install run
USE
+ocamlopt
result-1.5.tar.gz2 KBfetch
▶dev-ml/ocaml-compiler-libs-0.12.4-r2 download install run
USE
+ocamlopt
ocaml-compiler-libs-0.12.4.tar.gz5 KBfetch
▶dev-ml/ocaml-migrate-parsetree-2.4.0-r1 download install run
USE
+ocamlopt -test
ocaml-migrate-parsetree-2.4.0.tar.gz202 KBfetch
▶dev-ml/ppx_derivers-1.2.1 download install run
USE
+ocamlopt
ppx_derivers-1.2.1.tar.gz2 KBfetch
▶dev-ml/sexplib0-0.16.0 download install run
USE
+ocamlopt
sexplib0-0.16.0.tar.gz22 KBfetch
▶dev-ml/yojson-3.0.0 download install run
USE
-examples +ocamlopt -test
yojson-3.0.0.gh.tar.gz55 KBfetch
▶dev-ml/stdlib-shims-0.3.0 download install run
USE
+ocamlopt
stdlib-shims-0.3.0.tbz10 KBfetch
▶dev-ml/cppo-1.8.0 download install
USE
+ocamlopt
cppo-1.8.0.tar.gz43 KBfetch
▶dev-ml/topkg-1.1.1 download install
USE
+ocamlopt
topkg-1.1.1.tar.gz119 KBfetch
▶sci-mathematics/coq-8.20.0-r1 download install run
USE
-debug -doc -gui +ocamlopt -test
coq-8.20.0.tar.gz7.5 MBfetch
▶dev-ml/ppxlib-0.30.0-r2 download install run
USE
+ocamlopt -test
ppxlib-0.30.0.tar.gz560 KBfetch
▶dev-ml/csexp-1.5.2-r1 download install run
USE
+ocamlopt -test
csexp-1.5.2.tbz11 KBfetch
▶dev-ml/ppx_tools-6.6-r1 download install run
USE
+ocamlopt
ppx_tools-6.6.tar.gz19 KBfetch
▶dev-ml/cmdliner-2.1.0 download install run
USE
+ocamlopt
cmdliner-2.1.0.tbz96 KBfetch
▶dev-ml/dune-configurator-3.21.1 download install run
USE
+ocamlopt
dune-3.21.1.tar.gz3.3 MBfetch
▶dev-ml/ppx_import-1.11.0-r1 download install run
USE
+ocamlopt -test
ppx_import-1.11.0.tar.gz14 KBfetch
▶dev-ml/ppx_deriving-5.2.1-r2 download install run
USE
+ocamlopt -test
ppx_deriving-5.2.1.tar.gz45 KBfetch
▶dev-ml/base-0.16.3-r1 download install run
USE
+ocamlopt
base-0.16.3.tar.gz432 KBfetch
▶dev-ml/ppx_deriving_yojson-3.10.0 download install run
USE
+ocamlopt -test
ppx_deriving_yojson-3.10.0.gh.tar.gz21 KBfetch
▶dev-ml/ppx_compare-0.16.0 download install run
USE
+ocamlopt
ppx_compare-0.16.0.tar.gz14 KBfetch
▶dev-ml/ppx_sexp_conv-0.16.0-r2 download install run
USE
+ocamlopt
ppx_sexp_conv-0.16.0.tar.gz65 KBfetch
▶dev-ml/parsexp-0.16.0 download install run
USE
+ocamlopt
parsexp-0.16.0.tar.gz56 KBfetch
▶dev-ml/ppx_hash-0.16.0 download install run
USE
+ocamlopt
ppx_hash-0.16.0.tar.gz28 KBfetch
▶dev-ml/sexplib-0.16.0-r1 download install run
USE
+ocamlopt
sexplib-0.16.0.tar.gz54 KBfetch
▶sci-mathematics/coq-serapi-0.20.0 download install run
USE
-emacs +ocamlopt -test
coq-serapi-0.20.0.tar.gz178 KBfetch
download
install / :update / :reinstall / :downgrade
run
unmask
keyword
useflag
BDEPEND
DEPEND
RDEPEND
RDEPEND (ignored)
PDEPEND
IDEPEND
same pkg