| Type | DIST |
|---|---|
| File | eventb-animate-6.5.jar |
| Size | 98600251 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 777687d60609977b2a2f31b9abee6528edb6d2c934ab143357b430a5e7e79a9184f2b282118f9151db75fa2ef2574f3b70fe23b4ad0feeeb6c68d0f48799fcba |
| SHA512 | c3de01cfc534f5e27d7a55eb644c9e37e7224ba8b6c5b020090fd5bbe9592baa635269168a93d8471b511a199c40e0bdf446a0d5cf59268f61eaa8186fc8caff |