>>> Printing information for: portage://sci-mathematics/easycrypt-2026.05


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Computer-Aided Cryptographic Proofs
homepage : 
   https://github.com/EasyCrypt/easycrypt/
maintainer : 
   ml@gentoo.org
   sci-mathematics@gentoo.org
license : 
   MIT
eapi : 
   8
slot : 
   0
subslot : 
   2026.05

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   +ocamlopt
required_use : 
   [not set]
keywords : 
   unstable(amd64)
properties : 
   [not set]
eclasses : 
   edob
   edo
   multiprocessing
   dune
defined_phases : 
   compile
   install
   prepare
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   easycrypt-2026.05.gh.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   dev-lang/ocaml
   dev-ml/dune

depend : 
   >=sci-mathematics/why3-1.8.0:=
   >=dev-ml/batteries-3:=
   >=dev-ml/camlp-streams-5:=
   >=dev-ml/pcre2-ocaml-8:=
   >=dev-ml/zarith-1.10:=
   dev-ml/camlzip:=
   dev-ml/dune-build-info:=
   dev-ml/dune-site:=
   dev-ml/num:=
   dev-ml/ocaml-inifiles:=
   dev-ml/ocaml-markdown:=
   dev-ml/tyxml:=
   dev-ml/yojson:=
   dev-lang/ocaml:= [ ocamlopt? ]
   dev-ml/dune:=

idepend : 
   [not set]

rdepend : 
   >=sci-mathematics/why3-1.8.0:=
   >=dev-ml/batteries-3:=
   >=dev-ml/camlp-streams-5:=
   >=dev-ml/pcre2-ocaml-8:=
   >=dev-ml/zarith-1.10:=
   dev-ml/camlzip:=
   dev-ml/dune-build-info:=
   dev-ml/dune-site:=
   dev-ml/num:=
   dev-ml/ocaml-inifiles:=
   dev-ml/ocaml-markdown:=
   dev-ml/tyxml:=
   dev-ml/yojson:=
   dev-lang/ocaml:= [ ocamlopt? ]
   dev-ml/dune:=

pdepend : 
   [not set]