sci-mathematics/easycrypt
Computer-Aided Cryptographic Proofs
Screenshots
View
Download
BrowseRuntime Dependencies
easycrypt-2024.09
<dev-ml/num-1.5:=
>=dev-lang/ocaml-4.08.0:=[ocamlopt?
]
dev-ml/batteries:=
dev-ml/camlp-streams:=
dev-ml/camlzip:=
dev-ml/dune-build-info:=
dev-ml/dune-site:=
dev-ml/ocaml-inifiles:=
dev-ml/pcre-ocaml:=
dev-ml/yojson:=
dev-ml/zarith:=
sci-mathematics/why3:=
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
>=dev-lang/ocaml-4.08.0:=[ocamlopt?
]
dev-ml/batteries:=
dev-ml/camlp-streams:=
dev-ml/camlzip:=
dev-ml/dune-build-info:=
dev-ml/dune-site:=
dev-ml/ocaml-inifiles:=
dev-ml/pcre-ocaml:=
dev-ml/yojson:=
dev-ml/zarith:=
sci-mathematics/why3:=
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
easycrypt-2024.01-r1
<dev-ml/num-1.5:=
>=dev-lang/ocaml-4.08.0:=[ocamlopt?
]
dev-ml/batteries:=
dev-ml/camlp-streams:=
dev-ml/camlzip:=
dev-ml/dune-build-info:=
dev-ml/dune-site:=
dev-ml/ocaml-inifiles:=
dev-ml/pcre-ocaml:=
dev-ml/yojson:=
dev-ml/zarith:=
sci-mathematics/why3:=
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
>=dev-lang/ocaml-4.08.0:=[ocamlopt?
]
dev-ml/batteries:=
dev-ml/camlp-streams:=
dev-ml/camlzip:=
dev-ml/dune-build-info:=
dev-ml/dune-site:=
dev-ml/ocaml-inifiles:=
dev-ml/pcre-ocaml:=
dev-ml/yojson:=
dev-ml/zarith:=
sci-mathematics/why3:=
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=