sci-mathematics/easycrypt – Gentoo Packages

Packages

Get Gentoo!

Version 2025.03 is available upstream. Please consider updating!
It seems that version 2025.03 is available upstream, while the latest version in the Gentoo tree is 2025.02.
You think this warning is false? Read more about it here.

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
2025.02 : 0/2025.02 EAPI 8	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc
2024.09 : 0/2024.09 EAPI 8	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Package Metadata

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

External Resources

CI Report (verbose)

Open Pull Requests

Git repository browser

Git log (short)