| Type | DIST |
|---|---|
| File | eventb-animate-6.4.jar |
| Size | 98579298 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 01514342a5bb13104d395ca22ce2192f958b8bb1354b21470abb04ffa6652cdf9537fe69a9d3f8a35f89f965d050c1f7d842b7779884be5729f89c85cb1c6efd |
| SHA512 | e28f9fa7cdfa74cc3caa16d00bd4bf77b092ffe3e7a4e0e83d1152118b30c21dd78afc6d53fa437ed3068548b091c1637db97f3c70f9fcd6fd0f364cf53b6050 |