| Type | DIST |
|---|---|
| File | eventb-animate-5.1.jar |
| Size | 98365831 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 71a567a2b22c5a73736f2513d723c9342cb3a2d8a8b9ef775464ba078aac22d38a72c5b828e30ae956b334b93acf426060b2898cbbc05a93a12991854b334a2c |
| SHA512 | 0e2da04f42d3d866d626b6603090eb478c2f7030a91d79f3587024663c40559bf3d6ec316c42b7e04886e3efe421608186d383d718f0846ac514ab4a5125fec1 |