diff options
Diffstat (limited to 'sci-mathematics/easycrypt/Manifest')
| -rw-r--r-- | sci-mathematics/easycrypt/Manifest | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest index 1749074e5478..a7ee523a06ad 100644 --- a/sci-mathematics/easycrypt/Manifest +++ b/sci-mathematics/easycrypt/Manifest @@ -1,3 +1,2 @@ -DIST easycrypt-2025.10.gh.tar.gz 1388382 BLAKE2B c49d8b60dfb3248d1291d14841f79373be50c2ee77848afc49f09eb02a97bde2203208d7567d1cff971e86e16e74d169b1bc88aeee7053c7ba16497e999113c4 SHA512 d1136aa0e2a389ff38b665bc729e070de6f8e8970eeac1b92a4ad9afc1f03d2d2464ac224fec2e3fef4745906b41e2f3a8d48937545c51949c76dbaf471acb08 -DIST easycrypt-2025.11.gh.tar.gz 1434098 BLAKE2B dad0b25c40499b81acdf68025c7cc70ee34a5e407a3b4d25807b6684b153d18dfc60f8871dda2efded01435d049e9a228d1fe33f8540e6c9bdb6ad9d020dc137 SHA512 18eafb0d0934009fcfa1bfafeb6d69660b708dbc3c0bce9ef73543763367b7fea7e00e452dec7b517dffb5f65420643f7a1ee6d84729f10758cb19d93af70948 DIST easycrypt-2026.03.gh.tar.gz 1497269 BLAKE2B 0391f3fc0c33d921d380863ebb064731ef043ec3a62275c302c67f194fe2894081ed3a992e25fd585af7c7b376ecc1b3fe4aee63bfc77ff9913fc45babd39197 SHA512 619cfe0a695f77b37dcefef819a8e6c9fe58434c03d7cadbde30d00ae7919c7293486909e9d498698e8cd7f45d83f2a40dcb8820c95a871e81637c3c4a13dda1 +DIST easycrypt-2026.05.gh.tar.gz 1543636 BLAKE2B 864c842adb50b237d1a1f95d354904238040bd37f9ed598048ceb605c656a70a9bcc063980a79bb2b2f81fd3421c80dc4062092b606329ff5377d67f18e6c3f4 SHA512 ae4289b9def8ecbb42e78e1e1aad1ff002ad46f4090b630dda44a68b026910c47fb3af69cd66693b293f239e6bfcad0662dd202fd4ad5b8b7a430805f40669fd |