| Type | DIST |
|---|---|
| File | eventb-animate-6.3.jar |
| Size | 98581903 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 762f03b389c32335240d197059336f81aff1660dcaccc68e4c8385cacaf3b44292669634f5590ab788dfef49c845566c2657af9299293c7210539312e771c881 |
| SHA512 | a4dc821a6e01474fb6d5e6530047003b753eb07e84692d10e5be8d0f822d0eed501f1e74ae18711df61566d6a42663494d9f958ecdb391f99132b200858da74b |