sci-mathematics/easycrypt – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
2024.01 : 0/2024.01	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?ppc	?ppc64	?riscv	?sparc
2023.09 : 0/2023.09	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?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