| Type | DIST |
|---|---|
| File | eventb-animate-7.0.jar |
| Size | 98328506 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 305b94542cbd45c1aeec5fa48971075feed510b2a3ec50db34527fc8b651e98bdda255a1ca324eb7435c346165b743980a0c7e468a6384cd03a9a638d1786fbb |
| SHA512 | 3231f1e86825fdfa8ba3c3dec6d22289a65ba65bd84abe05bcc3815a4d938f2f77362e4369f5791c4987e922523a53f202d99cb912c0c148d7684d9e51b072c5 |