| Type | DIST |
|---|---|
| File | eventb-animate-5.0.jar |
| Size | 98365093 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 38b2a4cdf21c6d8b59259112a9e4aff44fc3765383b2fc802a54db562164aed3e459d6d15f36d817a23093c27fc3f02ac018653ae944a51c5a22d07f4c7b9a80 |
| SHA512 | 3d3b045817b72d78e9f535af9c9a1a2043fbba1ed75f08686f010dceb7b5cd7f1b66e3cd919a54b030c275d3817fae39621afb76f346bdfbde5bd52a13123a5b |