Gentoo Portage Overlays - sci-mathematics/easycrypt

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/easycrypt

Computer-Aided Cryptographic Proofs

Screenshots

https://github.com/EasyCrypt/easycrypt/

easycrypt-2024.01

~amd64

+ocamlopt

View

Download

Browse License: MIT

Overlay: gentoo

easycrypt-2023.09

~amd64

+ocamlopt

View

Download

Browse License: MIT

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

USE Flags

+ocamlopt

* This flag is undocumented *