Gentoo Packages
Gentoo Packages
>
gentoo
>
Categories
>
sci-mathematics
>
easycrypt
> Manifest > easycrypt-2025.10.gh.tar.gz
sci-mathematics
/
easycrypt
- Manifest: easycrypt-2025.10.gh.tar.gz
Details
Type
DIST
File
easycrypt-2025.10.gh.tar.gz
Size
1388382 bytes
Hashes
Type
Value
BLAKE2B
c49d8b60dfb3248d1291d14841f79373be50c2ee77848afc49f09eb02a97bde2203208d7567d1cff971e86e16e74d169b1bc88aeee7053c7ba16497e999113c4
SHA512
d1136aa0e2a389ff38b665bc729e070de6f8e8970eeac1b92a4ad9afc1f03d2d2464ac224fec2e3fef4745906b41e2f3a8d48937545c51949c76dbaf471acb08
Versions
2025.10
Source URLs
https://github.com/EasyCrypt/easycrypt/archive/r2025.10.tar.gz