| Type | DIST |
|---|---|
| File | eventb-animate-6.6.jar |
| Size | 98326654 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 12e260e9a7601f0f8e91faadb0e57f6fef7c82a37d6969b6221438d0ef40fdc2a1580734fefbaa52b019a3cda82c151963b4215d19ba558c6a64feda12f1af7b |
| SHA512 | 0e985934fcbca64a49abd9267a4c5251da324232bb2a69df65757efa5baf05c6699953d427c8e4e64fa7107ea3fad74e59a2b7b204b1040eeaaac5a37e011159 |