portage-ng / portage / sci-mathematics / easycrypt / 2026.05
version « ‹ 2026.05 › »
graphs detail deptree gantt
cli --merge --fetchonly --info
security glsa bugs
legacy emerge pmerge
portage-ng gantt
USE ▶ +ocamlopt
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 Step 25 Step 26 Step 27 Step 28 Step 29 Step 30 Step 31 Step 32 Step 33 Step 34 Step 35 Step 36 Step 37
▶dev-libs/libev-4.33 download install run
USE
-static-libs
libev-4.33.tar.gz556 KBfetch
▶dev-libs/libpcre-8.45-r4 download install run
USE
+bzip2 +cxx +jit -libedit +pcre16 -pcre32 +readline -static-libs +unicode -valgrind +zlib
pcre-8.45.tar.bz21.5 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/dune-3.23.1 download install run
USE
-emacs -test
dune-3.23.1.tar.gz3.5 MBfetch
▶dev-ml/findlib-1.9.8-r1 download install run
USE
-doc +ocamlopt -tk
findlib-1.9.8.tar.gz268 KBfetch
▶dev-ml/num-1.6-r1 download install run
USE
+ocamlopt
num-1.6.tar.gz66 KBfetch
▶dev-ml/zarith-1.14 download install run
USE
-doc +ocamlopt
zarith-1.14.tar.gz90 KBfetch
▶dev-ml/camlzip-1.14 download install run
USE
+ocamlopt
camlzip-1.14.tar.gz32 KBfetch
▶dev-ml/ocamlbuild-0.16.1 download install run
USE
+ocamlopt
ocamlbuild-0.16.1.tar.gz198 KBfetch
▶dev-ml/result-1.5 download install run
USE
+ocamlopt
result-1.5.tar.gz2 KBfetch
▶dev-ml/camlp-streams-5.0.1 download install run
USE
+ocamlopt
camlp-streams-5.0.1.tar.gz17 KBfetch
▶dev-ml/menhir-20250912 download install run
USE
+ocamlopt
menhir-20250912.tar.bz21.2 MBfetch
▶dev-ml/re-1.14.0 download install run
USE
+ocamlopt -test
ocaml-re-1.14.0.gh.tar.gz108 KBfetch
▶dev-ml/sexplib0-0.17.0-r2 download install run
USE
+ocamlopt
sexplib0-0.17.0.tar.gz23 KBfetch
▶dev-ml/stdlib-shims-0.3.0 download install run
USE
+ocamlopt
stdlib-shims-0.3.0.tbz10 KBfetch
▶dev-ml/yojson-3.0.0 download install run
USE
-examples +ocamlopt -test
yojson-3.0.0.gh.tar.gz55 KBfetch
▶dev-ml/bigarray-compat-1.1.0 download install run
USE
+ocamlopt
bigarray-compat-1.1.0.tar.gz2 KBfetch
▶dev-ml/dune-build-info-3.21.1 download install run
USE
+ocamlopt
dune-3.21.1.tar.gz3.3 MBfetch
▶dev-ml/ocaml-compiler-libs-0.17.0 download install run
USE
+ocamlopt
ocaml-compiler-libs-0.17.0.tar.gz5 KBfetch
▶dev-ml/ocaml_intrinsics_kernel-0.17.0 download install run
USE
+ocamlopt
ocaml_intrinsics_kernel-0.17.0.tar.gz12 KBfetch
▶dev-ml/patch-3.1.2 download install run
USE
+ocamlopt -test
patch-3.1.2.tar.gz29 KBfetch
▶dev-ml/pp-2.0.0 download install run
USE
+ocamlopt -test
pp-2.0.0.tbz11 KBfetch
▶dev-ml/ppx_derivers-1.2.1 download install run
USE
+ocamlopt
ppx_derivers-1.2.1.tar.gz2 KBfetch
▶dev-ml/swhid_core-0.1 download install run
USE
+ocamlopt
swhid_core-0.1.tar.gz45 KBfetch
▶dev-ml/cppo-1.8.0 download install
USE
+ocamlopt
cppo-1.8.0.tar.gz43 KBfetch
▶dev-ml/uchar-0.0.2-r1 download install run
USE
+ocamlopt
uchar-0.0.2.tar.gz21 KBfetch
▶dev-ml/topkg-1.1.1 download install
USE
+ocamlopt
topkg-1.1.1.tar.gz119 KBfetch
▶dev-ml/batteries-3.11.0 download install run
USE
+ocamlopt -test
batteries-3.11.0.tar.gz778 KBfetch
▶dev-ml/csexp-1.5.2-r1 download install run
USE
+ocamlopt -test
csexp-1.5.2.tbz11 KBfetch
▶dev-ml/integers-0.8.0 download install run
USE
+ocamlopt
integers-0.8.0.tar.gz14 KBfetch
▶dev-ml/opam-file-format-2.2.0-r1 download install run
USE
+ocamlopt -test
opam-file-format-2.2.0.tar.gz31 KBfetch
▶dev-ml/mmap-1.2.0-r1 download install run
USE
+ocamlopt
mmap-1.2.0.tar.gz15 KBfetch
▶dev-ml/ocaml-sha-1.15.4 download install run
USE
+ocamlopt -test
sha-1.15.4.tbz17 KBfetch
▶sci-mathematics/why3-1.8.2 download install run
USE
-coq -doc -emacs -gtk +ocamlopt -re -sexp -stackify -zip
why3-1.8.2.tar.gz7.0 MBfetch
▶dev-ml/ocplib-endian-1.2 download install run
USE
+ocamlopt
ocplib-endian-1.2.tar.gz18 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/dune-site-3.21.1-r1 download install run
USE
+ocamlopt
dune-3.21.1.tar.gz3.3 MBfetch
▶dev-ml/uutf-1.0.4-r1 download install run
USE
-doc +ocamlopt
uutf-1.0.4.tbz22 KBfetch
▶dev-ml/ppxlib-0.39.0 download install run
USE
+ocamlopt -test
ppxlib-0.39.0.gh.tar.gz686 KBfetch
▶dev-ml/base-0.17.3 download install run
USE
+ocamlopt
base-0.17.3.tar.gz467 KBfetch
▶dev-ml/graphics-5.2.0-r1 download install run
USE
+ocamlopt
graphics-5.2.0.tar.gz65 KBfetch
▶dev-ml/ocaml-ctypes-0.24.0 download install run
USE
+ocamlopt -test
ocaml-ctypes-0.24.0.tar.gz195 KBfetch
▶dev-ml/pcre2-ocaml-8.0.3-r1 download install run
USE
+ocamlopt -test
pcre2-ocaml-8.0.3.tar.gz43 KBfetch
▶dev-ml/jsonm-1.0.2 download install run
USE
+ocamlopt
jsonm-1.0.2.tbz22 KBfetch
▶dev-ml/luv-0.5.14-r1 download install run
USE
+ocamlopt -test
luv-0.5.14.tar.gz830 KBfetch
▶dev-ml/ocamlgraph-2.2.0 download install run
USE
+ocamlopt
ocamlgraph-2.2.0.tbz310 KBfetch
▶dev-ml/ppx_here-0.17.0-r1 download install run
USE
+ocamlopt
ppx_here-0.17.0.tar.gz5 KBfetch
▶dev-ml/stdio-0.17.0-r2 download install run
USE
+ocamlopt
stdio-0.17.0.tar.gz8 KBfetch
▶dev-ml/opam-common-2.5.2 download install run
USE
+ocamlopt
opam-2.5.2.tar.gz1.2 MBfetch
▶dev-ml/pcre-ocaml-7.5.0 download install run
USE
-examples +ocamlopt
pcre-ocaml-7.5.0.tbz40 KBfetch
▶dev-ml/ppx_let-0.17.1 download install run
USE
+ocamlopt
ppx_let-0.17.1.tar.gz15 KBfetch
▶dev-ml/opam-installer-2.5.2 download install
USE
+ocamlopt
opam-2.5.2.tar.gz1.2 MBfetch
▶dev-ml/ocaml-inifiles-1.2 download install run
USE
+ocamlopt
ocaml-inifiles_1.2.orig.tar.gz11 KBfetch
▶dev-ml/react-1.2.2-r1 download install run
USE
-test
react-1.2.2.tbz39 KBfetch
▶dev-ml/lwt-5.9.2 download install run
USE
+ocamlopt -test
lwt-5.9.2.tar.gz304 KBfetch
▶dev-ml/markup-1.0.3 download install run
USE
+ocamlopt -test
markup-1.0.3.tar.gz275 KBfetch
▶dev-ml/tyxml-4.6.0_p20260130 download install run
USE
+ocamlopt -test
tyxml-4.6.0_p20260130.gh.tar.gz127 KBfetch
▶dev-ml/ocaml-markdown-0.2.1 download install run
USE
+ocamlopt -test
ocaml-markdown-0.2.1.gh.tar.gz9 KBfetch
▶sci-mathematics/easycrypt-2026.05 download install run
USE
+ocamlopt
easycrypt-2026.05.gh.tar.gz1.5 MBfetch
download
install / :update / :reinstall / :downgrade
run
unmask
keyword
useflag
BDEPEND
DEPEND
RDEPEND
RDEPEND (ignored)
PDEPEND
IDEPEND
same pkg