| Type | DIST |
|---|---|
| File | eventb-animate-6.1.jar |
| Size | 98504393 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 557acd892bfd18a3c2ce76813c9097236e58488cb4e1400607339bb82d50bed9dd0d648940e0a6af0f8e15b32690d152c3b3de8562a1295bf6d520beed947002 |
| SHA512 | 55df1b137c962606df291b49c720ec6e618f9ac00db87d24eaadbf182e74c1f65a885c234d400f62864622ff6544c16482b405acf654551a0f13299bf062e79c |