sci-mathematics/easycrypt – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
2025.10 : 0/2025.10 EAPI 8	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc
2025.08 : 0/2025.08 EAPI 8	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc
2025.03 : 0/2025.03 EAPI 8	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Upstream
Bugs-To https://github.com/EasyCrypt/easycrypt/issues/
Remote-Id https://github.com/EasyCrypt/easycrypt
Full description
EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs.
USE flags
Global Use Flags
- +ocamlopt
License
MIT
Maintainer(s)
ML , Gentoo Mathematics Project

Bugs-To	https://github.com/EasyCrypt/easycrypt/issues/
Remote-Id	https://github.com/EasyCrypt/easycrypt