sci-mathematics/easycrypt
Computer-Aided Cryptographic Proofs
Screenshots
View
Download
BrowseRuntime Dependencies
easycrypt-2024.01
>=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-2023.09
>=dev-lang/ocaml-4.08.0:=[ocamlopt?
]
>=sci-mathematics/why3-1.6:=
<sci-mathematics/why3-1.7:=
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:=
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=