Gentoo Packages
Gentoo Packages
>
gentoo
>
Categories
>
sci-mathematics
>
easycrypt
> Manifest > easycrypt-2025.11.gh.tar.gz
sci-mathematics
/
easycrypt
- Manifest: easycrypt-2025.11.gh.tar.gz
Details
Type
DIST
File
easycrypt-2025.11.gh.tar.gz
Size
1434098 bytes
Hashes
Type
Value
BLAKE2B
dad0b25c40499b81acdf68025c7cc70ee34a5e407a3b4d25807b6684b153d18dfc60f8871dda2efded01435d049e9a228d1fe33f8540e6c9bdb6ad9d020dc137
SHA512
18eafb0d0934009fcfa1bfafeb6d69660b708dbc3c0bce9ef73543763367b7fea7e00e452dec7b517dffb5f65420643f7a1ee6d84729f10758cb19d93af70948
Versions
2025.11
Source URLs
https://github.com/EasyCrypt/easycrypt/archive/r2025.11.tar.gz