| Type | DIST |
|---|---|
| File | eventb-animate-6.2.jar |
| Size | 98581904 bytes |
| Type | Value |
|---|---|
| BLAKE2B | e3ffc00fd780beeb287a28029dcf43b7ff9b1516fee778eb5d5f7c3db5dcd696eafdc5c7663eb8a2c30f3ef820a27aeb7d7f205818cfe4432fe04efb5539e8c2 |
| SHA512 | d85073000ba5360abb0445a68ce49d4d34f11ad6e93f4fe02b36176d1a57ee5ff04dcabb843c23dad67d4458758664eb83d47abfbff95e23d1904fedacf6241f |